ミューテックス(mutex)
mutual exclusion(相互排他)の略。クリティカルセクション(共有資源を扱う処理区間)に、同時に1つのタスク/スレッドしか入れないようにする排他制御・同期機構。 #concurrency #kernel
セマフォとの違い: 所有権
セマフォは複数タスクが同時にクリティカルセクションに入ることを許容できるカウンタ機構で、ロックする側とアンロックする側が別のスレッドであっても構わない。
一方ミューテックスには「所有者」の概念がある。ロックをかけたスレッドだけがそのロックを解除(アンロック)できる。この所有権の有無が、ミューテックスとセマフォを区別する最も重要な違い。
資源数が1のセマフォ(バイナリセマフォ)は動作としてはミューテックスに近いが、所有権を持たない点で厳密には異なる。