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