後半戦、メインディッシュは検証関係になります。より簡単に並列化できるようになったため、並列化まわりの検証が重要になっています。しろ」程度しか書かれておらず正直このpragmaが何をやるべきか何をやっているのかさっぱりわかりません。GNATでも実装はされていて何かしら追加のチェックをしているっぽいです。何をやっているのかはドキュメント化されていません。Janus/Adaには実装されていないようです。いうふたつのアスペクトが追加されました。このふたつは排他です。両方同時に指定することはできません。どちらも指定されていない場合はブロッキングするかどうかはわからないという意味ですね。サブプログラムしか呼べません。付けてコンパイルが通っている限りはスレッド関係はノータッチであり少なくともそこでデッドロックはしないと確信できます。付いたサブプログラムを呼ぶ必要があります。if文等で迂回するのは駄目です。助けになるかもしれませんしならないかもしれません。サブプログラムの他、型やパッケージにも付けられます。型に付けた場合はRAII経由でブロッキングしないという意味です。パッケージに付けた場合はその中の全ての型やサブプログラムに適用されます。サブプログラムにのみ付けられます。ところで高階関数ではこれらの性質をその場では決定できません。