1. Lockfree List

3. 挿入処理 A B C D リストの繋ぎ替え処理が一瞬で片付くように工夫して、検索処理の邪魔をしない CompareAndSwap( 以下 CAS) でポインタを差し替える

4. 挿入処理 A B C D リストの繋ぎ替え処理が一瞬で片付くように工夫して、検索処理の邪魔をしない CompareAndSwap( 以下 CAS) でポインタを差し替える CAS

5. 挿入処理 A B C D リストの繋ぎ替え処理が一瞬で片付くように工夫して、検索処理の邪魔をしない CompareAndSwap( 以下 CAS) でポインタを差し替える 成功

6. 挿入処理 A B C D CAS を使う事によって、同一の場所に同時に複数の挿入が発生しても CAS E CAS

7. 挿入処理 A B C D 片方が必ず失敗する 失敗 E 成功

8. 挿入処理 A B C D 失敗したらもう一度接続先を改めてやりなおす E 失敗したのでやりなおし

9. 挿入処理 A B C D 失敗したらもう一度接続先を改めてやりなおす E CAS

10. 挿入処理 A B C D これで直列化できる E 成功

11. 削除処理 A B C 挿入処理と同様に、ポインタを CAS で繋ぎ変える 削除

12. 削除処理 A B C 挿入処理と同様に、ポインタを CAS で繋ぎ変える CAS

13. 削除処理 A C B こうして追い出した後に B を delete - CASのおかげで、複数のスレッドが一つのノードを取り合っても複数回deleteせずに済む delete

14. 削除処理 A C こうして追い出した後に B を delete - CASのおかげで、複数のスレッドが一つのノードを取り合っても複数回deleteせずに済む

24. そうなると？ A B C D α ：ここまでイタレーションし削除マーキング

25. そうなると？ A B C D α ：そして CAS による削除を試みる CAS

26. そうなると？ A B C D α ：成功したなら良し

46. ABA問題って？ A B C D α ：ここまでイタレーションし削除マーキング

47. ABA問題って？ A B C D α ：そのまましばらく休眠

48. ABA問題って？ A B C D α ：そのまましばらく休眠 β ：別の用事でイタレーションしてくる

49. ABA問題って？ A B C D α ：そのまましばらく休眠 β ：マークを確認したので削除

50. ABA問題って？ A B C D α ：そのまましばらく休眠 β ：マークを確認したので削除

51. ABA問題って？ A B C D α ：そのまましばらく休眠 γ ： B の後に新規ノード X を挿入する

52. ABA問題って？ A B X D α ：そのまましばらく休眠 γ ：挿入時に運悪く α が参照中のノードを使いまわしてしまう

53. ABA問題って？ A B X D α ：やっと目覚める

54. ABA問題って？ A B X D α ： C の削除を再開する

55. ABA問題って？ A B X D α ： CAS を発行 CAS C が保存されていた時と同じポインタを指してしまっている

56. ABA問題って？ A B X D α ：アドレスが一致しているので CAS 成功 削除する気の無かった X が削除されてしまう