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