maurice herlihy(1993年)は、cas命令が単なるリード、ライトやテスト・アンド・セットでは実装できないことを示した。