Similar to 並行性制御
TLA+
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
マルチプロセッシング
Multiprocessing
メモリモデル (プログラミング)
Memory model (programming)リソーススタベーション
Starvation (computer science)
トランザクション処理
Transaction processing
COMMIT (SQL)
COMMIT (SQL)Oracle Coherence
Oracle Coherence
PRAM一貫性
PRAM consistency
アトミックコミット
Atomic commit一貫性 (データベース)
Consistency (database systems)
コミット (データ管理)
Commit (data management)
3相コミット
Three-phase commit protocol
時刻印ロック
Timestamp-based concurrency control
スケーラビリティ
Scalability
スケジュール (コンピュータ科学)
Database transaction scheduleリリース一貫性
Release consistency
