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