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