whidev

前書き 本： 原著： 参考： 1章：コンピュータアーキテクチャの基礎 ノイマン型コンピューターからの拡張 通常のレジスタ r: 64bit rax e: 下位32bit eax なし: 下位16bit ax l : 下位8bit axl h...

Mutual exclusion Mutual exclusion"相互排他”とは、とあるアルゴリズムで１つのリソースが複数のスレッドによって同時に変更されることがないことである。 この章の目標 相互排他を証明する推論の種類を知る。また、ロ...