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