Category:並行性

マルチプロセッシング
Multiprocessing
ライブネス
Liveness
並行性制御
Concurrency control
デッドアンロックシステム

並行論理プログラミング言語

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