Lock-freeとWait-freeアルゴリズム