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