Similar to 並行性
居眠り床屋問題
Sleeping barber problem食事する哲学者の問題
Dining philosophers problemデッドロック
Deadlock (computer science)排他制御
Mutual exclusionエドガー・ダイクストラ
Edsger W. Dijkstra▲1 trendsGoto文
GotoGuarded Command Language
Guarded Command LanguageTHEマルチプログラミングシステム
THE multiprogramming system関心の分離
Separation of concerns銀行家のアルゴリズム
Banker's algorithm述語変換意味論
Predicate transformer semantics操車場アルゴリズム
Shunting yard algorithmソフトウェア危機
Software crisisダイクストラ法
Dijkstra's algorithm▲1 trendsデッカーのアルゴリズム
Dekker's algorithmプリム法
Prim's algorithm並行計算
Concurrent computingデッドアンロックシステム
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