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