選択肢イの解説に↓と記載がありますが、よくわかりません。
「T1，T2ともにデータaのアンロック後にデータbをロックしているため条件を満たしません」

また手元の解説書にはT1→T2→T1が実行可能だから2plを満たしていないと書いてありますが、これも何が言いたいのか…

解説お願いします

選択肢イの場合、初期値を(a=0,b=0)とし、T1→T2の順に実行すると、
T1終了後に(a=3,b=5)、T2終了後に(a=6,b=10)となりますが、
並行して実行された場合、T1についてUNLOCK aの後、変数bの加算処理を実行している最中に
T2側で変数aの加算処理が行われ、T1終了後には(a=6,b=5)となっている可能性がある事を意味します。