昨天看完了cache_flush，有關gc_malloc的內容，就到此為止了。接下來，就是補看這一路上暫時略過的一些函數，順便引出對malloc出來但是沒有建立依賴關系的內存是如何管理的。
其實這一路過來，就忽略了兩個函數：map_id和stack_push。有關map_id的作用已經說過，仍打算繼續忽略下去。至于stack_push分別出現在了gc_malloc和gc_link中，在gc_link中作為解除內存依賴關系的一個步驟，可以以后再看，而在gc_malloc中，是在沒有提供parent參數的時候的一個執行分支，也就是新分配的內存沒有建立依賴關系而進行的另外一種管理，這種管理使得內存可以被gc_collect回收。

如果要看stack_push，就必須先看gc_enter和gc_leave，根據提供的說明，這兩個函數對必須在應用程序的每個函數的開始和結束調用，也可以只是簡單的放置在main loop中，而不必填充到每一個函數里。光介紹概念還是太抽象，直接看代碼來得實惠。

1void
2gc_enter()
3{
4    stack_expand();
5    E.stack.data[E.stack.top].number=E.stack.top-E.stack.current;
6    E.stack.current=E.stack.top++;
7}

忘了說，這一塊內容，其本質都是對stack進行操作，所以第4行，首先拓展stack的尺寸。stack_expand里面包含一個拓展策略，因為我看不懂，就不介紹了，總之，其結果就是保證了stack總是有足夠的空間而很少越界。

第5、6行，看起來還是要配上云風畫的圖可能更容易理解
/*    stack data
   +----------+
 0 | level 0  |                ----> level 0 / root ( node pack )
 1 | level 1  |                --+-> level 1 ( 1 node ref + node pack )
 2 | node ref | <-bottom       --+
 3 | 2 (lv.2) |
 4 | node ref |                --+-> level 2 ( 3 node ref )
 5 | node ref |                  |
 6 | node ref |                --+
 7 | 4 (lv.3) | <-current
 8 | node ref |                --+-> level 3 ( 2 node ref )
 9 | node ref |                --+
 10|   nil    | <-top
 11|   nil    |
   +----------+
 */
在top和current之間，保存的是在父函數中分配而沒有建立依賴關系的內存的id。所以第5行，就是把父函數中分配的自由內存的數量壓入堆棧。第6行則讓current指向這個位置。
結論也就是，相對當前的函數而言：
1.current指向的數據是爺爺函數中分配的自由內存的數量
2.top和current之間保存的是父函數中分配的自由內存的id
通過調用gc_enter，堆棧調整為：current指向的數據保存著父函數中分配的自由內存的數量，而現在top和current之間空無一物，用于存儲當前函數將要分配的自由內存id。

下面看看stack_push的代碼
參數handle就是新分配的內存的id。代碼就2行，首先是拓展stack，然后就是把內存id壓入堆棧，放在top和current之間。這也就解釋了上面的那個堆棧的布局結構如何而來。

最后，貼一下stack的定義。因為前兩個函數都有些簡單，以至于忘記看數據結構的定義了
stack即堆棧，內部用一個數組實現，即成員變量data。數組元素為stack_node。
由stack_node的定義可知，堆棧的一個元素可能表示3種用途：
1.stack，不知道
2.number，存儲父函數，爺爺函數等等的函數中分配自由內存的數量
3.handle，存儲某個函數分配出來的自由內存的id

that is today