pthread_cond_signalとスレッドの枯渇の可能性

Question

スレッドが条件変数で待機するスレッドが複数ある場合、pthread_cond_signalで目を覚ます順序は？私はpthread_cond_signalが必ずしも睡眠の順番で起きるとは限りません。これは飢えを引き起こすかもしれない...そうじゃない？

おかげ

Answer 1

それは公正であるために仮定されたスケジューリングポリシーによって決定されます。

スレッドがスケジューリングによって枯渇していない場合、スレッドはスケジューリングされていてはなりません。 specから

：

複数のスレッドが条件変数でブロックされている場合は、スケジューリングポリシーは、スレッドのブロックが解除される順序を決定します。

Answer 2

公正さは保証されていないため、常に飢餓状態になる可能性があります。 絶対的な公平性を確保するためには、到着順を追跡するためにキューを使用して独自のメカニズムを実装する必要があります。

Answer 3

この疑問は、条件変数の乱用を示唆しています。条件変数の使用は、状態が発生したことをスレッドに警告することです。スレッドを1つだけウェイクさせるときは、のいずれかのスレッドが条件を処理できるためである必要があります。どのスレッドが復帰したかに気を付けると、どのスレッドもその状態を処理できるわけではありません。

ほとんどの実装では、おそらくあなたが望むものが得られますが、何をしようとしているのかは、おそらくもっと良い方法でしょう。