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