mutexを保持した状態でpthread_cond_broadcastを呼び出しますか？

Question

pthread_cond_tではmutexを関連付ける必要があります。条件を通知するときは、

などのコードを見たことがあります。

pthread_mutex_lock(&mutex); 

//code that makes condition true 

pthread_cond_broadcast(&cond); 
pthread_mutex_unlock(&mutex); 

と

pthread_mutex_lock(&mutex); 

//code that makes condition true 

pthread_mutex_unlock(&mutex); 
pthread_cond_broadcast(&cond); 

どちらが適切ですか？ （それは重要ですか？）

Answer 1

シンクが何をしているのか（および他のソース）によって異なります。

2番目のコードサンプルでは、​​アンロックとブロードキャストの間に、他のスレッドの束が来て、条件を再びfalseにするいくつかの組み合わせを行う可能性があります。あなたは無意識に放送します。条件を変更したときと同じウェイターのセットを持っているとは限りません。これはあなたのデザインに影響するかもしれません。

まともなシンクは、特にブロードキャストを使用している場合に、目が覚まれ、条件が偽であるかどうかに気を付けるべきではありません。 「true」への条件の変更がブロードキャストに続いている限り、適切に書かれたシンクでは、ロックの有無にかかわらず条件変数をブロードキャストできます。

私はそれが本当に問題ではないと思っていますが、個人的にはそれを心配することを避けるために、ロックを保持して放送していました。 「原子の変化と信号」は、「変化した後、ある時間後、信号」と比較して、ホワイトボード上の状態図を単純化するかもしれません。

どちらも適切です（ミューテックスを使わずに待機しているのとは異なりますが、許可されていません）が、2番目のケースで間違っている可能性が出てくるのは難しくないと思います。最初は間違っています。彼らはおそらく若干の珍しいものをやっているウェイターを関与させなければならないでしょう。

仕様では、「予測可能なスケジューリング動作が必要な場合、そのミューテックスはpthread_cond_broadcast（）またはpthread_cond_signal（）を呼び出すスレッドによってロックされます。

http://www.opengroup.org/onlinepubs/009695399/functions/pthread_cond_signal.html