「ミューテックス」の版間の差分

削除された内容 追加された内容
ことを許されないは不適切。
→‎概要: 「……しか……しか……」は日本語として不適切。
2行目:
 
==概要==
[[セマフォ]]をクリティカルセクションの[[排他制御]]に用いる時、セマフォでは(初期値が1でなければ)複数のタスクがクリティカルセクション入ることを許可するのに対し、ミューテックスでは同時に一つのタスクしかのみがクリティカルセクションに入ることしかされない可する(ここで言うタスクとは、[[スレッド (コンピュータ)|スレッド]]または[[プロセス]]を指す)。挙動はセマフォ変数の初期値を1にする事と等価。このようなタスク優先度とリンクしないミューテックスを、バイナリセマフォと呼ぶ場合もある。
 
狭義には、ミューテックスの場合にそれをロック(P操作)したタスクのみがアンロック(V操作)できるのに対して、セマフォではその様な制約はない。また、ミューテックスには、[[優先順位の逆転|優先度逆転]]を防止するための[[優先度継承]] (Priority Inheritance) 機能や、[[デッドロック]]を防止するための[[優先度上限プロトコル]] (Priority Ceiling Protocol) 機能などが拡張されていることがある。