1、垃圾收集器将存儲器視為一張有向可達圖(reachability graph)。

2、Mark%Sweep垃圾收集器由标記(mark)階段和清除(sweep)階段組成。标記階段标記出根節點的所有可達的和已配置設定的後繼,而後面的清除階段釋放每個被标記的已配置設定塊。典型地,塊頭部中空閑的低位中的一位來表示這個塊是否被标記了。
Note that the arrows in this example denote memory references, and not free list pointers.
3、在10.11中,講述了與存儲器相關的錯誤,值得一讀。
如:指針的算術運算是以它們指向的對象的大小為機關來進行的。