Mutexを実現するLockアルゴリズム 参考 https://hpincket.com/explain-the-filter-lock.html The Art of Multiprocessor Programmingで解説がある