semaphore - 単一セマフォによるマルチプロセス同期

Question

私が受講しているクラスでは、マルチスレッド プログラミングについて説明しています。教授は、私が理解しようとして無駄に試みていたおまけの質問を提供しました：

プロセス P0、P1、P2、および P3 のそれぞれは、他の 3 つのプロセスがコード内の特定の同期ポイントを通過または到達するまで待機する必要があり、その後でのみ、そのプロセスは自身の同期ポイントを通過できます。

私はすでに 4 つのセマフォで質問に答える方法を知っていますが、難しいのは 1 つのセマフォだけでそれを行うことです。

続行する方法に関する提案やヒントはありますか?

Answer 1

教授は、1 つではなく 2 つのセマフォを使用できると言うつもりだったことがわかりました。彼は、私がこの問題についてしばらく考えた後でそうするように、単一のセマフォでそれを行うことは不可能だと考えています。

Answer 2

ソリューションに課せられた制約について少し理解していますが、The Little Book of Semaphoresを参照し、バリアに関するセクションを読んでください。それはあなたにいくつかのアイデアを与えるはずです。

Answer 3

セマフォがバイナリでない場合は、セマフォを -4 で初期化してください。