Lock-Free Data Structures

ロックを一切使わずに、どうやって複数スレッドで同じデータを書き換えるのか：ロックフリー処理とABA問題の科学