Similar to 居眠り床屋問題
Internet2
Internet2
IS-7
IS-7
ISBN
ISBN
ISO 3166-2:IM
ISO 3166-2:IMISO 3166-2:NF
ISO 3166-2:NFISO 3166-2:NU
ISO 3166-2:NU
デッドアンロックシステム
TLA+
TLA+
アクターモデル
Actor model
一貫性モデル (ソフトウェア)
Consistency model
競合状態
Race conditionグローバルインタプリタロック
Global interpreter lock
同期 (計算機科学)
Synchronization (computer science)
投機的実行
Speculative execution
プロセス計算
Process calculus
並行性制御
Concurrency control
並行論理プログラミング言語
ペトリネット
Petri net
マルチプロセッシング
Multiprocessing
メモリモデル (プログラミング)
Memory model (programming)ライブネス
Livenessリソーススタベーション
Starvation (computer science)
エドガー・ダイクストラ
Edsger W. Dijkstra
Goto文
GotoGuarded Command Language
Guarded Command Language
THEマルチプログラミングシステム
THE multiprogramming system
関心の分離
Separation of concerns
銀行家のアルゴリズム
Banker's algorithm