接著昨天的cache_flush，首先進(jìn)入以此開(kāi)頭的這個(gè)代碼塊
這個(gè)代碼塊主要是處理一些取消內(nèi)存關(guān)系的cache節(jié)點(diǎn)，并預(yù)估需要重新分配的children大小。這里有一個(gè)先決條件是，cache是按child_id升序排序的，同樣children也是升序排序的。

從上面可以看出，如果是取消內(nèi)存關(guān)系的cache節(jié)點(diǎn)，之前統(tǒng)計(jì)的cache節(jié)點(diǎn)數(shù)量sz就要減一。估計(jì)有些人會(huì)納悶為什么還要減一，畢竟當(dāng)初統(tǒng)計(jì)節(jié)點(diǎn)數(shù)量的時(shí)候，就沒(méi)有把UNSET_MASK的cache節(jié)點(diǎn)算進(jìn)去。這是因?yàn)閟z的作用并不是用來(lái)表示節(jié)點(diǎn)的數(shù)量，而是表示children需要拓展的尺寸，由于標(biāo)記UNSET_MASK的child要從children中刪除，那么children數(shù)組中就有空閑的位置，所以需要拓展的尺寸也就減少，sz就減一了。

再看
如果cache中的所有節(jié)點(diǎn)都是UNSET_MASK的話，就會(huì)跳到copy_next處，移動(dòng)children的其他部分來(lái)填充被刪除的那些child_id。copy_next的代碼我就不貼了。

如果進(jìn)入這個(gè)判斷，則說(shuō)明cache中不全是UNSET_MASK節(jié)點(diǎn)，還包含添加新關(guān)系的節(jié)點(diǎn)存在。雖然這個(gè)判斷不直觀，但是鑒于他們都是升序排序的，這樣的判斷也就行得通了。

進(jìn)入下面的代碼，就是利用上面計(jì)算出來(lái)的sz拓展children的時(shí)候了。
其中的link_expand就是拓展數(shù)組的地方，里面的實(shí)現(xiàn)基本上就是realloc，策略不同而已。
拓展之后，用移動(dòng)內(nèi)存的方式，在children數(shù)組中留個(gè)空缺，容納還沒(méi)有處理的cache節(jié)點(diǎn)。空缺要留得足夠大，搞不好剩下的cache節(jié)點(diǎn)都是添加的。

接下來(lái)有再進(jìn)入一個(gè)代碼塊
這個(gè)while循環(huán)和上面講述的有點(diǎn)像，不過(guò)其任務(wù)不再是計(jì)算需要拓展的空間。
第1個(gè)if，仍舊是從children中刪除關(guān)系的。但是第2個(gè)if，則不再是一個(gè)break了
新添加的child_id，放到剛才拓展children時(shí)騰出來(lái)的空間中去，并保持children升序排序，這一點(diǎn)很重要。

剩下的代碼就沒(méi)什么了，就是復(fù)制child_id到children中，無(wú)論child_id來(lái)自children還是cache，總之要保證他們升序排序。

看起來(lái)，cache_flush是看完了。但是仍舊覺(jué)得這個(gè)函數(shù)無(wú)比爛，有太多的地方，需要用人類有限的處理能力去進(jìn)行分析和維護(hù)。
明天，是應(yīng)該看看之前那些暫時(shí)略過(guò)不看的代碼了。到這里為止，只是跟著程序一條分支看看而已，還有其他分支呢。