2つ目のパラメーターは公平性の指定です
Proc2実行中に、Proc1、Proc3の順に呼ばれて待機したとします。
公平性 true の場合、Proc2のrelease後に先に順番待ちをしていたProc1のacquireが復帰することが保証されます。
公平性 false の場合、Proc1、Proc3の待機順は考慮されません。つまり、後から待機したProc3のacquireが先に復帰する可能性もあります。

Proc2とProc1だけ（待機するスレッドが1つだけ）なら公平性はtrueでもfalseでも影響ありません