Similar to デッドアンロックシステム
ゾーイ・ウィーズ
Zoe Weesアトミックコミット
Atomic commitグローバル並行性制御
Global concurrency controlクロック同期
Clock synchronization合意 (情報工学)
Consensus (computer science)スケーラビリティ
Scalabilityビザンチン将軍問題
Byzantine fault分散並行性制御
Distributed concurrency controlベクトル化
Image tracingリーダー選出
Leader electionケンブリッジ・アナリティカ
Cambridge Analytica並行性
Concurrency (computer science)ABA問題
ABA problemCommunicating Sequential Processes
Communicating sequential processesTLA+
TLA+アクターモデル
Actor model一貫性モデル (ソフトウェア)
Consistency model居眠り床屋問題
Sleeping barber problem食事する哲学者の問題
Dining philosophers problem同期 (計算機科学)
Synchronization (computer science)投機的実行
Speculative executionプロセス計算
Process calculus並行性制御
Concurrency control並行論理プログラミング言語
ペトリネット
Petri netマルチプロセッシング
Multiprocessingメモリモデル (プログラミング)
Memory model (programming)ライブネス
Liveness