ミューテックス

ミューテックス () とは、コンピュータプログラミングにおける技術用語。クリティカルセクションでアトミック性を確保するための排他制御や同期機構の一種である。「」という語は「」 (相互排他、排他制御) の省略形である。ここでは、狭義の排他制御について述べる。
概要.
セマフォをクリティカルセクションの排他制御に用いる時、セマフォでは（初期値が1でなければ）複数のタスクがクリティカルセクションに入ることを許可するのに対し、ミューテックスでは同時に一つのタスクのみがクリティカルセクションに入ることを許可する（ここで言うタスクとは、スレッドまたはプロセスを指す）。挙動はセマフォ変数の初期値を1にする事と等価。このようなタスク優先度とリンクしないミューテックスを、バイナリセマフォと呼ぶ場合もある。
狭義には、ミューテックスの場合にそれをロック（P操作）したタスクのみがアンロック（V操作）できるのに対して、セマフォではその様な制約はない。また、ミューテックスには、優先度逆転を防止するための優先度継承 (Priority Inheritance) 機能や、デッドロックを防止するための優先度上限プロトコル (Priority Ceiling Protocol) 機能などが拡張されていることがある。
一般的には異なるタスク間で排他制御を行いたい時に使用するが、マルチタスク環境ではプロセスの多重起動を防止する用途にも使える。
ミューテックスの起源はディジタル・イクイップメント・コーポレーションにおける、機材の使用管理が由来である。使用可能な機材の上には小さな旗が置かれ、その旗を手にいれた者がその機材の使用権利を獲得する。この排他制御からヒントを得たVMS開発チームはVMSの排他制御にミューテックスを実現した。そしてその技術はデヴィッド・カトラーを筆頭としたVMS開発チームと共にMicrosoft Windows NTにも移された（著:戦うプログラマーより）。
POSIXスレッド (Pthreads) のミューテックスは、VMSやWin32と違い、自らP操作したミューテックスをさらにP操作するとデッドロックを起こす（そして誰もロックを解除できなくなる）。そのため若干取り扱いは不便である。再帰ロックを許可する場合は、ミューテックスの初期化時にcodice_1を設定した属性を使用する必要がある。
ミューテックスを実現する方法は様々あり、大きくハードウェアによる方式とソフトウェアによる方式に分けられる。ソフトウェアによる方式にも、様々なアルゴリズムが提案されている。詳しくは、排他制御の実施を参照。
ミューテックスの使用.
ミューテックス機構を使用するには、プログラムでミューテックスオブジェクトを作成する必要がある。ミューテックスオブジェクトはシグナルおよび非シグナルの二つの状態を持ち、それぞれミューテックスオブジェクトが所有可能および所有不可能である事を表す。
クリティカルセクションへの進入.
クリティカルセクションに入るにはミューテックスオブジェクトの所有を行う。所有というのはインスタンスの作成という意味ではなく、クリティカルセクションへの進入権を得るという事である。この時、ミューテックスオブジェクトの状態によってクリティカルセクションに入れるかどうかが異なる。
クリティカルセクションからの離脱.
クリティカルセクションから抜ける時はミューテックスオブジェクトを解放する。解放されたミューテックスオブジェクトは非シグナル状態からシグナル状態に戻り、これによって後続のタスクはミューテックスオブジェクトを所有する事が可能になる。
環境ごとの使用法.
POSIX.
プロセス間の場合.
Pthreadsのミューテックスオブジェクトを初期化する際に使用する属性codice_2に対して、codice_3関数にてcodice_4を指定する。ただしサポートされない環境もある。
プロセス内（スレッド間）の場合.
Pthreadsのミューテックスオブジェクトcodice_5を使う。
Windows.
プロセス間の場合.
プロセス間の排他制御には、以下の方法がある。
プロセス内（スレッド間）の場合.
プロセス間でミューテックスを共有する必要がない場合は、以下の方法がある。
MFCにはC++のコンストラクタ/デストラクタによるRAII機構を利用した、Win32同期オブジェクトのラッパークラスcodice_9やcodice_10が用意されている（実際にはcodice_11と組み合わせて使用することが多い）。
C++.
PthreadsやWin32 APIを直接使用するか、あるいは以下に述べるようなポータブルなライブラリを使用する。
プロセス間の場合.
Boost C++ライブラリのcodice_12などを使う。内部的には共有メモリやメモリマップトファイルを使って実装されている。
プロセス内（スレッド間）の場合.
Boost C++ライブラリのcodice_13や、C++11以降で標準化されたcodice_14を使う。再帰ロックを許可する場合は、codice_15やcodice_16を使う。通常はcodice_17やcodice_18といったロック管理クラスと組み合わせて使用することが多い。
.NET.
プロセス間の場合.
codice_19クラスを使う。
プロセス内（スレッド間）の場合.
codice_20クラスが用意されているが、このクラスを使用した言語組み込みの同期機能も用意されている。例えばC#では codice_21 ステートメント、Visual Basic .NETでは codice_22 ステートメントで、クリティカルセクションを任意のロックオブジェクトにより相互排他ロックすることが可能である。ただし、codice_23オブジェクトやcodice_24インスタンスなど、ロックに使用してはいけないとされているオブジェクトもある。また、メソッド全体を包含する場合は、codice_25属性を適用することができる（Javaのsynchronizedメソッドに相当）。ただしC# 5.0/VB.NET 11で追加されたawait/Await演算子を含むコードブロックをlock/SyncLockでロックすることはできず、codice_26クラスなどを使用する必要がある。
C++/CLI向けにはRAIIを応用したcodice_27クラスが用意されている。
Java.
Javaにはミューテックスクラスが存在せず、パーミッション数1で初期化したクラスで代用する。また、スレッドの同期機構が言語仕様に組み込んであり、codice_28ブロックにて任意のオブジェクトをロックオブジェクト（ミューテックス）として使用できる。codice_28メソッドではcodice_23オブジェクトもしくはがロックに使われる。プロセス間で使用可能なミューテックスは直接サポートされておらず、ファイルロック (, ) を利用する必要がある。
μITRON仕様.
3.0仕様以前には、ミューテックスは存在しない。広義のミューテックスはセマフォで代用することは可能であるが、優先度逆転を防げない。
しかしながら、3.0仕様準拠OSでも、実装独自に優先度逆転を防止できるミューテックスが存在する可能性はある。
4.0仕様以降では、優先度上限および優先度継承をサポートするミューテックスオブジェクトが追加された。しかし、スタンダードプロファイルには含まれておらず、実質オプション扱いである。