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