ウが適切なのは、二重線による並列処理の同期が、Aの実行後にBとCのどちらか一方、あるいは両方が実行される可能性を示唆しているためです。もしBとCが独立して無限ループに陥る場合、Aが完了しても全体として確定した状態に至りません。しかし、二重線による同期は、BとCが並列に処理されつつも、何らかの条件で互いに待機することなく、または互いの完了を待って進むことを意味します。Aの後にBとCが実行される順序は、BCでもCBでも構わず、それが繰り返されるという記述は、並列処理の性質と同期メカニズムを考慮すると最も妥当な動作となります。
読み込み中...