Similar to 食事する哲学者の問題
居眠り床屋問題
Sleeping barber problem並行性
Concurrency (computer science)デッドロック
Deadlock (computer science)
排他制御
Mutual exclusion
問題
Problem
食事する暗号学者の問題
Dining cryptographers problem伝達問題
読者への挑戦
ドクター・スミス問題
デッドアンロックシステム
ABA問題
ABA problemCommunicating Sequential Processes
Communicating sequential processesTLA+
TLA+
アクターモデル
Actor model
一貫性モデル (ソフトウェア)
Consistency model
競合状態
Race conditionグローバルインタプリタロック
Global interpreter lock
同期 (計算機科学)
Synchronization (computer science)
投機的実行
Speculative execution
プロセス計算
Process calculus
並行性制御
Concurrency control
並行論理プログラミング言語
ペトリネット
Petri net
マルチプロセッシング
Multiprocessing
メモリモデル (プログラミング)
Memory model (programming)ライブネス
Livenessリソーススタベーション
Starvation (computer science)
エドガー・ダイクストラ
Edsger W. Dijkstra
