sx_init(9)

sx, sx_init, sx_destroy, sx_slock, sx_xlock, sx_try_slock, sx_try_xlock, sx_sunlock, sx_xunlock, sx_try_upgrade, sx_downgrade, sx_assert, sx_unlock, SX_SYSINIT − カーネルの共有/排他ロック

#include <sys/param.h>
#include <sys/lock.h>
#include <sys/sx.h>

void

sx_init(struct sx *sx, const char *description);

void

sx_destroy(struct sx *sx);

void

sx_slock(struct sx *sx);

void

sx_xlock(struct sx *sx);

int

sx_try_slock(struct sx *sx);

int

sx_try_xlock(struct sx *sx);

void

sx_sunlock(struct sx *sx);

void

sx_xunlock(struct sx *sx);

int

sx_try_upgrade(struct sx *sx);

void

sx_downgrade(struct sx *sx);

void

sx_assert(struct sx *sx, int what);

sx ユーティリティマクロ

sx_unlock(struct sx *sx);

SX_SYSINIT(name, struct sx *sx, const char *description);

カーネルオプション

options INVARIANTS

options INVARIANT_SUPPORT

解説

共有/排他ロックは書き込まれるよりも、読み込まれる方が非常に多いデータを保 護するために使用されます。 mutex は本質的に共有/排他ロックよりも能率的な ので、共有/排他ロックは用心深く使用されるべきです。

共有/排他ロックは sx_init() を使用して作成されます。ここで sx は struct sx のための領域へのポインタで、 description はその共有/排他ロックを説明す るヌルで終端された文字列へのポインタです。共有/排他ロックは sx_destroy() を使用して破壊されます。スレッドは sx_slock() または sx_try_slock() およ び sx_sunlock() または sx_unlock() の呼び出しによって共有ロックを獲得およ び解放します。スレッドは sx_xlock() または sx_try_xlock() および sx_xunlock() または sx_unlock() の呼び出しによって排他ロックを獲得および 解放します。スレッドは sx_try_upgrade() の呼び出しによって、現在保有して いる共有ロックから排他ロックへのアップグレードを試みることが可能です。排 他ロックを持っているスレッドは、 sx_downgrade() の呼び出しによってその排 他ロックから共有ロックへのダウングレードが可能です。

sx_try_slock() および sx_try_xlock() は共有/排他ロックがすぐに獲得できな かった場合には 0 を返し、そうでない場合には共有/排他ロックが獲得され 0 で はない値が返されます。

sx_try_upgrade() は共有ロックをすぐに排他ロックにアップグレードできない場 合には 0 を返し、そうでない場合には排他ロックが獲得され 0 ではない値が返 されます。

options INVARIANTS および options INVARIANT_SUPPORT 付きでコンパイルされ たときには、 sx_assert() 関数は what に指定されたアサートのために sx をテ ストし、それらが合わなかった場合には panic します。以下のアサートがサポー トされています。

現在のスレッドが、最初の引数によって指されている sx ロック上 に、共有または排他ロックのいずれかを持っていることをアサート します。

SX_SLOCKED
現在のスレッドが、最初の引数によって指されている sx ロック上 に、共有ロックを持っていることをアサートします。

SX_XLOCKED
現在のスレッドが、最初の引数によって指されている sx ロック上 に、排他ロックを持っていることをアサートします。

SX_UNLOCKED
現在のスレッドが、最初の引数によって指されている sx ロック上 に、ロックを持っていないことをアサートします。

プログラミングを簡単にするために、 sx_sunlock() および sx_xunlock() 各々 の関数へのフロントエンドマクロとして sx_unlock() が提供されています。ロッ クがどの状態になっているかを知っているアルゴリズムは、小さなパフォーマン スの利益のために各々の 2 つの特定の関数を使用すべきです。

SX_SYSINIT() マクロはシステムスタートアップ時に与えられた sx ロックを初期 化するために sx_sysinit() の呼び出しを生成します。引数は sx_init() と同様 ですが、そのロックと sysinit ルーチンに関連付けられた構造体に関連した唯一 の変数名を生成する際に使用される追加の引数として name を持ちます。

スレッドは同じロック上に共有ロックと排他ロックを同時には持つことができま せん。同時に持つことはデッドロックを引き起こすことになるためです。

コンテキスト

スリープしている間に sx ロック上に共有ロックまたは排他ロックを所有するこ とは許可されます。その結果、ミューテックスを保持している間、 sx ロックは 獲得されないかもしれません。そうでなければ、ミューテックスを獲得した後に 同じ sx ロック上で別のスレッドがブロックされる間に、一つのスレッドが sx ロックを保持している間にスリープするなら、事実上、2 番目のスレッドは最後 には許可されていないミューテックスを保持している間にスリープすることにな るでしょう。

condvar(9), mtx_pool(9), mutex(9), panic(9), sema(9)

現在、ロックが保持されていないことをアサートする方法がありません。 WITNESS ではない場合には、このスレッドが共有ロックを保持していないことを アサートすることは不可能です。 WITNESS ではない場合には、 SX_LOCKED およ び SX_SLOCKED のアサートは、あるスレッドが共有ロックを保持していることを 単にチェックするに過ぎません。これらは、現在のスレッドが共有ロックを保持 していることを保証しません。

FreeBSD 10.0 August 14, 2001 FreeBSD 10.0