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