ロックについては少し混乱しています。具体的には、消費者プロデューサーの問題に関するウィキペディアのこのコードです。
http://en.wikipedia.org/wiki/Producer%E2%80%93consumer_problem#Example_in_C.2B.2B
複数のプロデューサーがキューに追加するのを待っている場合はどうなりますか? コンシューマがキューからいくつかのジョブを消費し、キューがいっぱいでないことを示す通知を発行する場合、すべてのコンシューマがキューにジョブをプッシュしようとします。これには queue.push メソッドがスレッドセーフである必要があります。それらはすべてキューを変更できるため、このコードは壊れる可能性があります。何か不足していますか？