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