ハードウェアによる方式

割り込み
割り込みハンドラ
プリエンプション
システム時刻
μITRON
プリエンプション
ディスパッチ
ビジーウェイト
マルチプロセッサ
不可分
テスト・アンド・セット
コンペア・アンド・スワップ
wait free
ソフトウェアによる方式

ビジーウェイト
デッカーのアルゴリズム
ピーターソンのアルゴリズム
ランポートのパン屋のアルゴリズム
[3]
[2]
アウト・オブ・オーダー実行
メモリバリア
[4]
コンテキストスイッチ
レイテンシ
スピンロック
高度な排他制御

ロック
スピンロック
ミューテックス
セマフォ
モニタ
メッセージパッシング
セマフォ
デッドロック
リソーススタベーション
優先順位の逆転
Lock-freeとWait-freeアルゴリズム
留意すべき現象と性質

デッドロック
ライブロック（livelock）

リソーススタベーション
フェアネス（fairness）

k-バイパス（k-bypass）

コンボイ（Convoy）

スピンロック
優先度上限プロトコル
優先度継承
[5]
^
Solution of a problem in concurrent programming control
a
b
The Black-White Bakery Algorithm
^
A new solution of Dijkstra’s concurrent programming problem
^
The Design of a Multicore Extension of the SPIN Model Checker
^
参考文献

ISBN 0-262-18119-3
ISBN 0-8186-3380-8
ISBN 0-13-016164-0
ISBN 0-13-197259-6
関連項目

不可分操作
並行性制御
セマフォ
食事する哲学者の問題
インターロック (安全技術)
外部リンク

Common threads: POSIX threads explained - The little things called mutexes
Mutual Exclusion Petri Net
Mutual Exclusion with Locks - an Introduction
Mutual exclusion variants in OpenMP
The Black-White Bakery Algorithm