到昨天為止，yfgc中的核心代碼，我覺得是看完了。
從gc_malloc中，了解到分配出來的內(nèi)存如何進(jìn)行管理；
從gc_link中，了解到如何在兩塊內(nèi)存之間建立引用依賴關(guān)系；
從gc_enter和gc_leave中，了解到通過gc_malloc分配出來的自由內(nèi)存是如何在調(diào)用堆棧上記錄的；
從gc_collect中，整合了以上所有的內(nèi)容，了解到整個(gè)依賴樹是如何建立固定部分和自動(dòng)部分，以及如何標(biāo)記出垃圾和非垃圾內(nèi)存的區(qū)別并進(jìn)行回收的。
不過，在gc_collect的實(shí)現(xiàn)中，還是有些WEAK_CONTAINER的內(nèi)容無法理解，因此今晚就來看看weak table吧。

weak table我譯為弱表，什么是弱表呢？弱表可以看作一個(gè)容器，容器內(nèi)的元素為其他內(nèi)存的指針，也就是容器和其他內(nèi)存之間建立了引用依賴關(guān)系。只是這種引用是弱引用，其依賴關(guān)系通常會(huì)在gc_collect的時(shí)候被系統(tǒng)自動(dòng)解除，以便于將容器中所指向的內(nèi)存進(jìn)行回收（如果這些內(nèi)存沒有在其他地方被強(qiáng)引用的話）。因此弱表引用的內(nèi)存通常不能直接持有，因?yàn)槠渖谑菦]有保證的，只能通過弱表進(jìn)行查找訪問。我的解釋可能不太準(zhǔn)確，有興趣的同學(xué)自己google一下吧。
解釋了概念，接下來看看代碼

首先，gc_weak_table的成員變量node_id，用來保存他在 E.pool中的索引。保存這個(gè)的作用是，用來定位弱表中所引用的內(nèi)存的存放位置，看gc_weak_next的時(shí)候就知道了。
至于gc_weak_table函數(shù)的實(shí)現(xiàn)非常熟悉，其實(shí)就是gc_malloc，再加上一些特殊代碼罷了。第9行，對(duì)自身內(nèi)存的id賦值。第10行，用WEAK_CONTAINER將自己的節(jié)點(diǎn)標(biāo)記為弱表節(jié)點(diǎn)，這樣在gc_collect的時(shí)候就會(huì)得到特殊照顧了，這點(diǎn)后面再說。

gc_weak_next用來遍歷弱表中所有引用的內(nèi)存，參數(shù)cont即弱表本身，參數(shù)iter為弱表所引用的內(nèi)存的位置索引，通常初始值為1，被gc_weak_next遞增改變。
從第5行可知，其實(shí)弱表所引用的內(nèi)存就在children中。第10行的for循環(huán)體，遍歷children查找一塊還有效的引用內(nèi)存。第20行將他stack_push，因?yàn)檫@是要return的，最少會(huì)被外部所持有，因此壓入自由內(nèi)存堆棧，稍微延長生命期。
剩下的代碼，是用來刪除已經(jīng)被回收的child內(nèi)存（對(duì)應(yīng)的chidren[i]=0），稍微看看就能理解了。

弱表的代碼就這么多，通過gc_weak_next的實(shí)現(xiàn)，可以得知，仍舊是通過gc_link來將內(nèi)存添加到弱表中的，只要弱表是parent即可。
好了，現(xiàn)在可以回頭看看在gc_collect中和弱表有關(guān)的代碼了，如果沒有弱表，整個(gè)gc庫的if、else什么的會(huì)少得多。
在gc_mark對(duì)依賴關(guān)系做標(biāo)記的時(shí)候，有一個(gè)關(guān)于WEAK_CONTAINER的分支判斷，對(duì)弱表所引用的內(nèi)存節(jié)點(diǎn)執(zhí)行的是gc_mark_weak，而gc_mark_weak的實(shí)現(xiàn)則是將節(jié)點(diǎn)的mark賦值為E.mark。這也就解釋了為什么在gc_collect的時(shí)候，會(huì)存在E.pool[i].mark == E.mark的情形，這是弱表所引用的內(nèi)存被標(biāo)記的結(jié)果，因此弱表所引用的內(nèi)存，在gc_collect的時(shí)候就被回收，不過并沒有用node_free釋放對(duì)應(yīng)的內(nèi)存節(jié)點(diǎn)，而是做了一個(gè)標(biāo)記
這樣這些節(jié)點(diǎn)不會(huì)在下一次gc_collect的時(shí)候被回收。因?yàn)槿醣淼腸hildren還引用著他們，維護(hù)著依賴關(guān)系，即使分配的內(nèi)存已經(jīng)回收了。只有用gc_weak_next遍歷了弱表之后，這些廢棄的管理節(jié)點(diǎn)才會(huì)從children中被刪除，最終在gc_collect的時(shí)候被回收。
為啥非要主動(dòng)遍歷弱表才能這樣呢。。。。

<rt id="qwqaq"></rt>

<rt id="qwqaq"></rt>