mutexの所有権は、ロック解除の前にロックを要求したスレッドにのみ厳密に渡されますか？

Question

状況：

1. スレッド1は現在、ミューテックスを所有しています。
2. スレッド1はmutexの所有権を保持しますが、スレッド2は同じロックを要求します。
3. スレッド1はロックを解除します。

この時点で、別のスレッド（スレッド3など）がロックを要求して取得することができます（下記参照）。あるいは、POSIXは、mutexのロックを解除する瞬間に、すでにそのmutexを待っているスレッドがmutexを取得することを保証していますか？

pthread_mutex_unlock()状態のマニュアルページ -

pthread_mutex_unlockの（）が使用可能 なってミューテックス、その結果、呼び出されたときに、ミューテックス によって参照ミューテックスオブジェクトでブロックされたスレッドが存在する場合スケジューリング方針は、どのスレッドがmutexを獲得するかを決定するものとする。

これは、私が完全に保証されていないにもかかわらず、スレッド3が襲撃されてミューテックスを得ることができないと言います。

Answer 1

ロック解除の時点で、mutexの変更状態をBLOCKEDからREADYにロックしようとしていたすべてのスレッド。特定の実装では、それらのスレッドのうちの1つだけがミューテックスを取得することができますが、その時点で、どのスレッドもミューテックスを試行してロックする可能性があります。

スレッド3は、いくつかの実装で誰かの前にmutexをスワップインして得ることができるかもしれません。

Answer 2

トレッドに要求された順序でロックが付与されるという保証はありません。

Answer 3

保証はありません。

状況は、スレッド1のロック解除がスレッド3のロックでレースされている場合にのみ発生する可能性があります。その状況では、ロック解除の少し前または少し後にロックが実際には違いはありません。