More Related Content
What's hot (20)
More from Kumazaki Hiroki (16)
Lockfree list
- 2. Lockfree List って }方のスレッドから揖rに携?碧?茅を佩う並が辛嬬なK佩侘リストを Lockfree にしたもの 携?茅が羨てzんでいてもロックを喘いないので碧がロックされない
- 3. 携I尖 A B C D リストの､紋えI尖が匯鵬で頭原くように垢健して、碧I尖の舒徴をしない CompareAndSwap( 參和 CAS) でポインタを餓し紋える
- 4. 携I尖 A B C D リストの､紋えI尖が匯鵬で頭原くように垢健して、碧I尖の舒徴をしない CompareAndSwap( 參和 CAS) でポインタを餓し紋える CAS
- 5. 携I尖 A B C D リストの､紋えI尖が匯鵬で頭原くように垢健して、碧I尖の舒徴をしない CompareAndSwap( 參和 CAS) でポインタを餓し紋える 撹孔
- 6. 携I尖 A B C D CAS を聞う並によって、揖匯の侭に揖rに}方の携襪k伏しても CAS E CAS
- 7. 携I尖 A B C D 頭圭が駅ず払，垢 払 E 撹孔
- 8. 携I尖 A B C D 払，靴燭蕕發σ散判咯A枠を個めてやりなおす E 払，靴燭里任笋蠅覆し
- 9. 携I尖 A B C D 払，靴燭蕕發σ散判咯A枠を個めてやりなおす E CAS
- 10. 携I尖 A B C D これで岷双晒できる E 撹孔
- 11. 茅I尖 A B C 携I尖と揖に、ポインタを CAS で､笋┐ 茅
- 12. 茅I尖 A B C 携I尖と揖に、ポインタを CAS で､笋┐ CAS
- 13. 茅I尖 A C B こうして弖い竃した瘁に B を delete - CASのおかげで、}方のスレッドが匯つのノ`ドを函り栽っても}方指deleteせずにgむ delete
- 14. 茅I尖 A C こうして弖い竃した瘁に B を delete - CASのおかげで、}方のスレッドが匯つのノ`ドを函り栽っても}方指deleteせずにgむ
- 15. しかし}が BとCを揖rに茅しようとするとデ`タ夛が篤欧気譴 A B C D 茅 茅
- 16. しかし}が BとCを揖rに茅しようとするとデ`タ夛が篤欧気譴 A B C D CAS CAS
- 17. しかし}が BとCを揖rに茅しようとするとデ`タ夛が篤欧気譴 茅したはずのCに俊Aされてしまう A B C D delete delete
- 18. しかし}が BとCを揖rに茅しようとするとデ`タ夛が篤欧気譴 茅したはずのCに俊Aされてしまう こちらを彜r1と柵ぶことにします A D
- 19. しかし}が 茅されるノ`ドの肝に携襪垢諡Hも A B C D E 茅 携
- 20. しかし}が 茅されるノ`ドの肝に携襪垢諡Hも A B C D E CAS CAS
- 21. しかし}が 茅されるノ`ドの肝に携襪垢諡Hも 携襪気譴燭呂困領錣溝羨してしまう A B C D E delete
- 22. しかし}が 茅されるノ`ドの肝に携襪垢諡Hも 携襪気譴燭呂困領錣溝羨してしまう こちらを彜r2と柵ぶことにします A C D E
- 23. そこで茅を２粁A荷恬とする ポインタに茅マ`クを函り原け、茅荷恬をマ`キング?茅の2ステップに蛍護する 茅マ`クとポインタは匯つのCASで揖rにQう並ができるとする 啜弔亡_隠したオブジェクトは寄悶4byte殻業でアラインされているのでポインタの和了bitがそのままフラグとして聞える リストを{るスレッドは、マ`クされたノ`ドをkしたらそれを茅する
- 24. そうなると A B C D α 困海海泙妊ぅ織讒`ションし茅マ`キング
- 25. そうなると A B C D α 困修靴 CAS による茅をみる CAS
- 26. そうなると A B C D α 些氷Δ靴燭覆藾爾
- 27. そうなると 枠ほどの彜r 1 は α ? β の 2 スレッドで揖rに茅するとして A B C D α 困海海泙妊ぅ織讒`ションし茅マ`キング β 困海海泙妊ぅ織讒`ションし茅マ`キング
- 28. そうなると 枠ほどの彜r 1 は α ? β の 2 スレッドで揖rに茅するとして A B C D α CAS をみる β CAS をみる
- 29. そうなると 枠ほどの彜r 1 は α ? β の 2 スレッドで揖rに茅するとして A B C D α B のポインタがマ`キングされているので CAS に払，垢 β A のポインタは笋錣蕕覆い里 CAS に撹孔する
- 30. そうなると 枠ほどの彜r 1 は α ? β の 2 スレッドで揖rに茅するとして A C D α 坤螢好箸力肥^からイタレ`ションし岷す
- 31. そうなると 枠ほどの彜r 1 は α ? β の 2 スレッドで揖rに茅するとして A C D α 栽茅マ`クをk
- 32. そうなると 枠ほどの彜r 1 は α ? β の 2 スレッドで揖rに茅するとして A C D α CAS をみる
- 33. そうなると 枠ほどの彜r 1 は α ? β の 2 スレッドで揖rに茅するとして 岷双晒できる A C D α CAS 撹孔
- 34. そうなると 枠ほどの彜r 1 は α ? β の 2 スレッドで揖rに茅するとして 岷双晒できる A D
- 35. そうなると 枠ほどの彜r2は A B C D E 茅 携
- 36. そうなると 枠ほどの彜r2は A B C D E α 栽茅マ`キング β CAS をみる
- 37. そうなると 枠ほどの彜r2は A B C D E α 栽茅マ`キング β 坤洫`クのせいで CAS 払
- 38. そうなると 枠ほどの彜r2は A B C D E α CAS をみる
- 39. そうなると 枠ほどの彜r2は A B C D E α CAS 撹孔 β 坤螢好箸霊^から壅びイタレ`ト
- 40. そうなると 枠ほどの彜r2は A C D E β 坤螢好箸霊^から壅びイタレ`ト
- 41. そうなると 枠ほどの彜r2は A C D E β CAS をみる
- 42. そうなると 枠ほどの彜r2は 岷双晒できる A C D E β CAS 撹孔
- 43. ポイント リストをイタレ`トするときは、茅マ`クが原いていないことを械に_Jする 原いているならそので茅させる これにより茅gみのオブジェクトにして荷恬をしてしまう彜rを契げる 原いていない並を_Jしたはずの麗にいつのgにか茅マ`クが原いていたならイタレ`トを^からやり岷す
- 44. }泣 イテレ`タがしょっちゅうリストの枠^にってしまうので コストが互い。なのでイタレ`トをMめる業にロックをRり卦す丑Q議ロックリストや、きQえを佩うrだけロックを佩い、ロックに払，靴燭薀螢好箸力肥^にるSQ議ロックリストなどを彜rに鬉犬栃垢し屬韻 iみ竃しl業が謹い殻、ロック腺業をかくするほうが措い std::list<hoge>::iterator it; のような侘として？のスレッドにイテレ`タを隔たせるのはo尖 そもそも STL の list::iterator もK双旋喘はo隠^ std::set のように携?碧?茅の旋喘のみ
- 45. } このリストではABA}には隆I 携?茅が\く嶷なって、李まない彜rで CAS が撹孔してしまう栽がある I圭隈は２Nある \く揖じアドレスに CAS することになっても CAS が撹孔しないよう、ポインタに厚仟スタンプを原ける スタンプが\く匯巓してしまうとやはり ABA } 歌孚している恷嶄のオブジェクトは茅しない並にする 歌孚カウンタ拭-> atomic カウンタ嶷いです´ ガベ`ジコレクタ拭-> マルチスレッド鬉 GC が駅勣 ハザ`ドポインタ -> 輝糾お瓩
- 46. ABA}って A B C D α 困海海泙妊ぅ織讒`ションし茅マ`キング
- 47. ABA}って A B C D α 困修里泙泙靴个蕕俚蓄
- 48. ABA}って A B C D α 困修里泙泙靴个蕕俚蓄 β eの喘並でイタレ`ションしてくる
- 49. ABA}って A B C D α 困修里泙泙靴个蕕俚蓄 β 坤洫`クを_Jしたので茅
- 50. ABA}って A B C D α 困修里泙泙靴个蕕俚蓄 β 坤洫`クを_Jしたので茅
- 51. ABA}って A B C D α 困修里泙泙靴个蕕俚蓄 γ B の瘁に仟･立`ド X を携襪垢
- 52. ABA}って A B X D α 困修里泙泙靴个蕕俚蓄 γ 携rに\く α が歌孚嶄のノ`ドを聞いまわしてしまう
- 53. ABA}って A B X D α 困笋辰板尋める
- 54. ABA}って A B X D α C の茅を壅_する
- 55. ABA}って A B X D α CAS をk佩 CAS C が隠贋されていたrと揖じポインタを峺してしまっている
- 56. ABA}って A B X D α 坤▲疋譽垢匯崑しているので CAS 撹孔 茅する櫃oかった X が茅されてしまう
- 57. ABA}って ここにいた彜r參翌にも、アドレスを聞いまわす泙蝓吭蹐靴覆ぅ▲疋譽航志造領ｊ來は原いて指る 厚仟カウンタを原ければノ`ドが聞い指された瘁でもカウンタの､鰔る並で音匯崑を奮できるため}を指閲できるが、匯業に CAS しなくてはならないビット方がえるため、 DCAS 凋綜や STM が駅勣になる 厚仟カウンタに護くビット方をケチるとカウンタが匯儔して匯崑する裡來がある
- 58. ABA}って そもそも麿のスレッドが歌孚している恷嶄のものを茅して聞いまわすからい じゃあ茅しなければ措い。でもどうやって 歌孚カウンタ->カウンタをatomicに荷恬する駅勣がある貧、ノ`ドごとにカウンタが原くためリストが景寄晒 ガベ`ジコレクタ->GC嶄に畠スレッドを峭めるしか芦畠な圭隈がoい そこでハザ`ドポインタです┫了悗