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