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