未分類

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