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