concurrency - OS は、ブロックされたプロセスのスケジューリングについてどの程度スマートですか?

Question

セマフォ S1 と S2 が原因でブロックされている 2 つのプロセス P1 と P2 を考えてみましょう。3 番目のプロセスが来て、セマフォ S2 のブロックを解除すると、オペレーティング システムは、P2 の実行をスケジュールする必要があることを認識します。S1 がブロックされていることを再度確認し、別のスケジュールを設定しようとします。