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