再帰ロック（ミューテックス）と非再帰ロック（ミューテックス） 質問する

再帰的ミューテックスと非再帰的ミューテックスの違いは、所有権に関係しています。再帰的ミューテックスの場合、カーネルは、再帰と、代わりにブロックする必要がある別のスレッドの違いを検出できるように、最初にミューテックスを実際に取得したスレッドを追跡する必要があります。別の回答で指摘されているように、このコンテキストを保存するためのメモリと、コンテキストを維持するために必要なサイクルの両方に関して、追加のオーバーヘッドの問題があります。

ただし、ここでは他の考慮事項も関係しています。

再帰ミューテックスには所有権の感覚があるため、ミューテックスを取得するスレッドはミューテックスを解放するスレッドと同じである必要があります。非再帰ミューテックスの場合、所有権の感覚はなく、どのスレッドが最初にミューテックスを取得したかに関係なく、どのスレッドでもミューテックスを解放できます。多くの場合、このタイプの「ミューテックス」は実際にはセマフォ アクションであり、ミューテックスを排他デバイスとして使用する必要はなく、2 つ以上のスレッド間の同期またはシグナリング デバイスとして使用します。

ミューテックスの所有権の感覚に伴うもう 1 つの特性は、優先度の継承をサポートする機能です。カーネルはミューテックスを所有するスレッドとすべてのブロッカーの ID を追跡できるため、優先度スレッド システムでは、現在ミューテックスを所有しているスレッドの優先度を、現在ミューテックスをブロックしている最も優先度の高いスレッドの優先度にエスカレートすることが可能になります。この継承により、このような場合に発生する可能性がある優先度の逆転の問題が防止されます (すべてのシステムがこのようなミューテックスの優先度の継承をサポートしているわけではありませんが、これは所有権の概念によって可能になるもう 1 つの機能です)。

従来の VxWorks RTOS カーネルを参照すると、次の 3 つのメカニズムが定義されています。

• ミューテックス- 再帰をサポートし、オプションで優先度の継承もサポートします。このメカニズムは、データの重要なセクションを一貫した方法で保護するためによく使用されます。
• バイナリ セマフォ- 再帰なし、継承なし、単純な排他、受け取り側と受け取り側が同じスレッドである必要はなく、ブロードキャスト リリースが利用可能。このメカニズムはクリティカル セクションを保護するために使用できますが、スレッド間の一貫したシグナリングや同期にも特に役立ちます。
• カウント セマフォ- 再帰や継承はなく、任意の初期カウントからの一貫したリソース カウンターとして機能し、スレッドはリソースに対するネット カウントがゼロの場合にのみブロックされます。

繰り返しになりますが、これはプラットフォームによって、特にこれらを何と呼ぶか​​によって多少異なりますが、ここで示されているのは、使用されている概念やさまざまなメカニズムの代表例です。