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