？

1:47 PM

インクリメントして、結果をもらうところまでがアトミックです

1:47 PM

デクリメントして0になるスレッドはひとつだけだから

1:47 PM

0かどうか観察する分岐はロックしない