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