Mutex
#Multiprocessor_Programming
Mutual exclusion, 相互排除, 相互排他, 相互排他制御
異なるプロセスが、同時にアクセスすることがない。1度に1プロセスのみ。(Safety)
Critical sectionを作るのに便利なツール
Deadlock-freedomが求められる (Liveness)
あるプロセスがlock あるいは releaseを試みている場合、最終的に何処かのプロセスがロックを獲得またはリリースする
Starvation-freedomが求められる(Liveness)
lockあるいはreleaseを試みているすべてのプロセスは、最終的に成功する
アルゴリズム
Peterson's algorithm