高度な排他制御
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/02/25 08:45 UTC 版)
これまでに説明した方式を使い、次のような同期プリミティブが構築できる。 ロックスピンロック ミューテックス - 単純な相互排除 セマフォ - k-相互排除 モニタ メッセージパッシング 排他制御の多くの形式には副作用がある。例えば、古典的セマフォはデッドロックを引き起こしうる。あるプロセスがあるセマフォを獲得し、別のプロセスが別のセマフォを獲得した状態で、互いに相手の獲得したセマフォが解放されるのを待ち続けることが考えられる。よくある副作用としてリソーススタベーションがあり、その場合プロセスは処理を完遂するのに十分な資源を決して得られない。また、優先順位の逆転は低優先度のスレッドのせいで高優先度のスレッドが待たされる現象であり、レイテンシが長くなり、割り込みへの反応が悪くなる。 排他制御に関する研究の多くはそういった副作用を排除することを目的としており、例えばLock-freeとWait-freeアルゴリズムはブロッキングされずに処理が進行することを保証する。完璧な方法はまだ見つかっていない。
※この「高度な排他制御」の解説は、「排他制御」の解説の一部です。
「高度な排他制御」を含む「排他制御」の記事については、「排他制御」の概要を参照ください。
ウィキペディア小見出し辞書の「高度な排他制御」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 高度な排他制御のページへのリンク
