Similar to 並行性
居眠り床屋問題
Sleeping barber problem
食事する哲学者の問題
Dining philosophers problemデッドロック
Deadlock (computer science)
排他制御
Mutual exclusion
エドガー・ダイクストラ
Edsger W. Dijkstra▲1 trends
Goto文
Goto
Guarded Command Language
Guarded Command Language
THEマルチプログラミングシステム
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
