アトミック命令
CPUの命令セットが提供する，アトミック処理であることが保証されている命令のこと．
たとえばIntel x86なら単一のレジスタの内容を他のレジスタにコピーするmov命令はアトミック．
だが，movとcmpは二命令からなるのでアトミックではない．
この二つをアトミックに実行できなければ，複数スレッド間での排他を行うのが難しい．（できるけど）
そこで，これを一命令で行うCompare and Swap(CAS)という命令が提供されている．
によれば，Compare and SwapがなければWait-freeアルゴリズムは作れないらしい．まあ，そういう気はする