糸温鉛厩庄一の赫遺をのぞいてみた
- 1. dalvik の GC をのぞいてみた @akachochin
- 6. 魁挑の廚瀘檗△気い芥`。
- 11. おさらい1 - GCとヒ`プ ヒ`プとは、プログラムが強恬嶄に駅勣に鬉犬謄瓮皀蠅圀しくなったときに聞うためのメモリ糟囃である。
- 14. おさらい2 - もしGCがなかったら 赫遺がない桟廠でヒ`プが圀しくなった魁栽、苧幣議にヒ`プ護り輝て勣箔(掘恰.馨温鉛鉛看界())を佩い、ヒ`プが駅勣なくなった扮泣で苧幣議に盾慧(韓姻艶艶())する。
- 22. ヒ`プ坪で聞われているオブジェクトを冥して咫をつけます。 ヒ`プ坪のオブジェクトの歌孚を桑にたどって、咫をつけていき ( マ`クフェ`ズ ) ??? 咫 咫 咫 咫
- 23. 念戻1 -マ`クΕ好ぉ`プ- ヒ`プをサ`チして、聞われてないヒ`プを盾慧(スイ`プフェ`ズ)する。 ヒ`プを枠^からサ`チし、咫のついてないヒ`プを盾慧していきます。 ☆ サ`チの^殻で仝咫々はしますが、蹐里錣りやすさのため、仝咫々を火しています。 咫 咫 咫 咫 盾慧 盾慧 盾慧
- 24. 念戻2 C ル`ト - 枠の仝マ`クフェ`ズ々で仝聞われているオブジェクトを桑にたどって々ときました。
- 28. grep -ri concurrent *
- 29. すると、參和のw侭をk需する。
- 30. vm/alloc/HeapSource.c: dvmCollectGarbageInternal(false, GC_CONCURRENT);
- 31. GCをしているのはどこ? つけたw侭はstatic void *乙界禽温艶馨看稼意鞄姻艶温糸()というv方の嶄。
- 37. ソ`スを靖めてみると、 GC を柵び竃した尖喇によってI尖を笋┐討い襦書指は GC_CONCURRENT なケ`スにスポットを輝ててh苧します。
- 40. 2.GC のI尖嶄に VM 坪の麿のスレッド ( ミュ`テ`タ ) が咾韻襪茲Δ砲垢I尖 (dvmResumeAllThreads(SUSPEND_FOR_GC);) がある。
- 41. -> 噸宥は GC を佩う栽、 VM 坪の麿のスレッドがメモリの彜Bを笋┐酉しくないので、 GC を佩うスレッド參翌の咾を峭めたいはず。
- 42. dvmCollectGarbageInternal けれど、 13 ペ`ジにいた 2 つのI尖によって麿のスレッドが咾韻襪茲Δ砲覆襪燭瓠⇒┳の VM のに仝I尖が耕まる々護栽がpる。
- 43. 宥械の GC のイメ`ジ
- 44. コンカレントな GC のイメ`ジ 宥械I尖 宥械I尖 GC 宥械I尖 宥械I尖 宥械I尖
- 45. ここで融隼 ここで匯稀 dvmCollectGarbageInternal をxれて、 メモリ護り輝てのv方(dvmMalloc())をiんでみます。
- 50. dvmMalloc() dvmMalloc() -> tryMalloc() ->dvmHeapSourceAlloc()をコ`ルします。
- 51. この嶄で柵ばれている屈つのv方
- 52. mspace_calloc()
- 58. GCにvSしたデ`タ夛 GcHeap 夛悶 グロ`バルなヒ`プにvする秤 HeapSource MarkContext GcMarkContext 夛悶 F壓やっているGCの彜B HeapSource 夛悶 ヒ`プ腎gにvする秤 liveBits markBits liveBits MarkContext bitmap stack finger この2つのビット マップがとても嶷勣
- 59. bitmap狼デ`タ夛 ビットマップ (liveBits,MarkBits) の光ビットと仝ヒ`プ坪を 8byte ごとに曝俳った腎g々がそれぞれ蹐里茲Δ鬉靴討い襦 これによって、 8byte ごとの光ヒ`プ腎gの彜rをhする。 liveBits MarkBits ヒ`プI囃 ひとつのビットは ヒ`プ8byteI囃に 鬉靴討い ???? ????
- 61. 箭えば子弼のヒ`プ24byteを護り輝てた栽はliveBitsは參和のになる。 1 liveBits ヒ`プI囃 護り輝てたI囃の 枠^に鬉靴 ビットを1にする ????
- 64. とにかく、 ヒ`プを護り輝てると、 liveBits を羨てる、というのが嶷勣 。
- 65. 壅び dvmCollectGarbageInternal ( I尖古勣 1) dvmCollectGarbageInternalはおおよそ、參和のことを佩ってコンカレントGCを佩っている。
- 71. 壅び dvmCollectGarbageInternal ( I尖古勣 2) 6.麿スレッドを咾韻覆い茲Δ砲垢(suspend) 7.壅業ル`トをチェックして咫をつける 8.壅業マ`クのついたオブジェクトからたどって咫をつける 9.音勣なヒ`プを盾慧する。 10.麿スレッドが咾韻襪茲Δ砲垢(resume)
- 72. 壅び dvmCollectGarbageInternal ( の撹 ) これからは、參和の撹でをMめてみます。
- 77. dvmCollectGarbageInternal ( ル`トのみに咫をつける ) dvmHeapMarkRootSet()をコ`ルして、ル`トに咫をつける。
- 80. dvmCollectGarbageInternal ( ル`トのみに咫をつける ) markClassObject()はdvmMarkObjectNonNull - markObjectNonNullを柵び竃す。 この嶄では、setAndReturnMarkBit()にmarkbitとobjを局す。objのアドレスに鬉靴markbitに咫をつける(1を羨てる) 1 MarkBits ヒ`プI囃 聞われているI囃の 枠^に鬉靴 ビットを 1 にする ????
- 81. dvmCollectGarbageInternal ( ル`トのみに咫をつける ) dvmCollectGarbageInternal() から dvmClearCardTable() を柵び竃し、 CardTable を 0 クリアする。このr泣ではは護曚靴泙垢、兀えてほしいポイントは屈つ。 1. ひとつの cardTable はある蒙協のヒ`プメモリ 128byte に鬉垢襦
- 82. 2. ヒ`プメモリ貧のオブジェクトが隠隔する麿のオブジェクト歌孚の筝などの並鵑k伏すると、鬉垢 cardTable は仝 Darty 々な彜Bになる。
- 83. dvmCollectGarbageInternal ( ル`トのみに咫をつける ) cardtable と livebit のvS cardTable ???? liveBits アドレス秤鵑筝 などでヒ`プ貧の オブジェクトが筝 されると仝Darty々 な彜Bになる ???? livebit16(ヒ`プ 128byte)が匯つの CardTableに鬉垢
- 84. dvmCollectGarbageInternal ( 咫のついたオブジェクトをたどる ) dvmHeapScanMarkedObjects()を柵び竃す。
- 90. (仝朔指し々の吭龍はあとで。)
- 91. dvmCollectGarbageInternal ( 咫のついたオブジェクトをたどる ) dvmHeapBitmapScanWalk()
- 92. まず恷兜にmarkBitをたどって咫のついたw侭をつけます。 1 markBits ヒ`プI囃 LiveBitをたどって 1をつけた ????
- 93. dvmCollectGarbageInternal ( 咫のついたオブジェクトをたどる ) 肝にそのI囃の枠^をみます。箭えばJavaオブジェクトの栽は參和のとおりです。 ヒ`プI囃 ???? ヒ`プの eI囃 ヒ`プの eI囃 Javaオブジェクトの 栽、光メンバへの アドレスを隠隔して いる。
- 94. dvmCollectGarbageInternal ( 咫のついたオブジェクトをたどる ) つけたヒ`プアドレスが、F壓冥沫鵑離勞`プアドレス (finger) よりも寄きなアドレス､栽、 markBits の鬋咼奪箸 1 を羨てる。 ヒ`プI囃 ???? 1 markBits F壓碧鵑 肝のビットは 仝finger々という markBitsの輝 ビットに咫 ???? 1 歌孚
- 95. dvmCollectGarbageInternal ( 咫のついたオブジェクトをたどる ) 輝I囃坪でつけたヒ`プアドレスが、 finger よりも弌さなアドレス､栽、 markbit のビットに 1 を羨てないで、 stack というデ`タ夛坪にアドレスを隠贋する。 ヒ`プI囃 ???? markBits finger markBitsの輝 ビットに 咫を つけない ???? 1 歌孚
- 96. dvmCollectGarbageInternal ( 瘁指しにしたオブジェクトに咫 ) StackにAめてあるアドレスに鬉靴markBitに咫をつけていきます。
- 101. dvmCollectGarbageInternal ( 瘁指しにしたオブジェクトに咫 ) stack デ`タ夛 ヒ`プI囃 麿のアドレスを 歌孚しているか {べる 1 markBits アドレス 麿I囃を歌孚する アドレス アドレス､鬚劼箸槌，螻す つけたアドレス､鰺擦筑zむ アドレス､魏燐佞靴討い栽
- 102. dvmCollectGarbageInternal ( 壅業咫をつける ) 31ペ`ジから36ペ`ジのI尖を佩っているgはミュ`テ`タが咾韻襪燭瓠▲勞`プの彜Bが笋錣訖苗榻圓ある。
- 104. dvmCollectGarbageInternal ( 壅業咫をつける ) dvmHeapReMarkRootSet()を柵び竃す。
- 106. dvmCollectGarbageInternal ( 壅業咫をつける ) dvmHeapReScanMarkedObjects()を柵び竃し、ル`ト參翌のヒ`プのうち、筝のあったw侭に咫をつけます。
- 109. dvmCollectGarbageInternal ( 壅業咫をつける ) 29ペ`ジ、30ペ`ジでh苧したcardTableをえていますか 嘔の蹐里茲Δ法鬉垢襯勞`プメモリ128byte貧にあるオブジェクトのアドレス秤鵑筝されるなどすると、cardTableはDartyになります。 A B C 書までオブジェクトBを歌孚して いたが、書業はオブジェクトB でなくオブジェクトCを歌孚 するようになった。
- 110. dvmCollectGarbageInternal ( 壅業咫をつける ) 參和の蹐里茲Δ筝された辛嬬來の互いヒ`プI囃を原だし、輝I囃坪の畠てのオブジェクトに壅業咫をつけなおします。 ?????? ??? cardTable 筝された I囃k ??? オブジェクト をサ`チ markbits
- 111. dvmCollectGarbageInternal ( 壅業咫をつける ) こうすることで、畠てのmarkbitをたどらなくてもよくなるため、筝された辛嬬來のあるオブジェクトをより富ない返gでgりzめます。
- 112. dvmCollectGarbageInternal ( 音勣なヒ`プを盾慧する ) これでいよいよ音勣なヒ`プを盾慧する笋できました。
- 115. dvmCollectGarbageInternal ( 音勣なヒ`プを盾慧する ) ここでもう匯業畽。 ??? markbits ??? livebits 護り輝てgみメモリ の枠^アドレスにあたる ビットは1 GCのr泣で聞われている メモリI囃は1
- 116. dvmCollectGarbageInternal ( 音勣なヒ`プを盾慧する ) この屈つのビットマップを聞って仝護り輝てされたけど、書は聞われていない々ヒ`プ了崔を護り竃します。そのために參和のようなビット處麻を佩います。
- 117. live & ~mark live ~mark & 吭龍 0 0 0 兜めから護り輝てられていない もしくは護り輝てられたI囃の余嶄 0 1 0 これはありえない 1 0 0 護り輝てられて、書も聞われている 1 1 1 護り輝てられたけど、書は聞われていない
- 118. dvmCollectGarbageInternal ( 音勣なヒ`プを盾慧する ) 46ペ`ジで仟たに恬撹したビットマップで1が羨っているw侭に鬉靴織▲疋譽垢鯒鵑瓩(DECODE_BITSマクロ)、ビットが羨っているw侭にして盾慧I尖を柵び竃す。
- 121. まとめ DalvikのGCはMark & 皆敬艶艶沿でした。