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