Peterson's algorithm
2スレッドのみでうまくいく
nスレッド以上に一般化したのがFilter lock