排他制御
mutual exclusion, Mutex
複数のプロセスが同時に同じリソースを操作しないようにする仕組みのこと
race conditionを防ぐ
#wip
代表的な排他制御の方法
ロック(Lock)
リソースを使う前にロックをかけ、他の処理がアクセスできないようにする
処理が終わったらロックを解除する
e.g.
セマフォ
アトミック操作
一つの操作を途中で割り込まれないようにする
個々の処理が小さい
e.g.
compare-and-swap (CAS)
トランザクション
ACID特性
https://ja.wikipedia.org/wiki/排他制御
即時性
デッドロック防止
公平性
Dekkerのアルゴリズム
ソフトウェアのみで2つのプロセスの排他制御を行うアルゴリズム
1995年
要素
Interest
配列
Priority
変数
https://ja.wikipedia.org/wiki/デッカーのアルゴリズム
https://zenn.dev/satoru_takeuchi/articles/e0636407a0040c