排他制御 の履歴(No.3)

• 履歴一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• 排他制御 へ行く。
  • 1 (2022-08-14 (日) 13:48:59)
  • 2 (2022-08-24 (水) 20:00:38)
  • 3 (2022-08-25 (木) 08:06:29)

排他制御†

ロックとアンロック†

デッドロック†

• 複数のプロセスが無秩序にロック・アンロックをすることで、お互いで資源の解放を待つ状態になること

クリティカルセクション†

• 他のプロセスによる処理を許すと、正しいし結果が得られなくなる部分のこと

セマフォ†

• semaphore
• 排他制御のメカニズム

• セマフォ変数(資源の残量を示す変数)と、資源の解放を待っているプロセスの待ち行列で構成される
• P操作：
  • クリティカルセクションに入る前に行う。
  • セマフォ変数から1減纂する
  • 減纂後のセマフォ変数が負になった場合、プロセスの実行を中断して待ち行列に入れる
• V操作：
  • クリティカルセクションに入るタイミングで行う。
  • セマフォ変数に1加算する
  • 増加前のセマフォ変数が負の場合、待ち行列の先頭プロセスを実行可能状態にする

• 2値セマフォ
• ゼネラルセマフォ

関連用語†

• プロセス
• デッドロック