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