溫馨提示×
您好，登錄后才能下訂單哦！
點擊 登錄注冊 即表示同意《億速云用戶服務條款》
您好，登錄后才能下訂單哦！
這篇文章將為大家詳細講解有關golang垃圾回收中如何實現刪除寫屏障，小編覺得挺實用的，因此分享給大家做個參考，希望大家閱讀完這篇文章后可以有所收獲。
首先聲明，golang 沒有直接實現過刪除寫屏障，golang 的內存寫屏障是由插入寫屏障到混合寫屏障過渡的。不過，雖然 golang 從來沒有直接使用刪除寫屏障，但是混合寫屏障卻用到了刪除寫屏障的思路。
刪除寫屏障：也叫做基于其實快照的解決方案（snapshot-at-the-begining）。顧名思義，就是在開始 gc 之前，必須 STW ，對整個根做一次起始快照。當賦值器（業務線程）從灰色或者白色對象中刪除白色指針時候，寫屏障會捕捉這一行為，將這一行為通知給回收器。這樣，基于起始快照的解決方案保守地將其目標對象當作存活的對象，這樣就絕對不會有被誤回收的對象，但是有掃描工作量浮動放大的風險。術語叫做追蹤波面的回退。
刪除寫屏障（基于起始快照的寫屏障）有一個前提條件，就是起始的時候，把整個根部掃描一遍，讓所有的可達對象全都在灰色保護下（根黑，下一級在堆上的全灰），之后利用刪除寫屏障捕捉內存寫操作，確保弱三色不變式不被破壞，就可以保證垃圾回收的正確性。
偽代碼如下：
atomic Write(src, i, ref) shade(src[i]) src[i] <- ref
復習一下一些概念：
賦值器的顏色
插入寫屏障對應的是灰色賦值器，刪除寫屏障對應的是黑色賦值器。
三色不變式
強三色不變式的框架下：要求黑色賦值器的根只能引用灰色或者黑色對象，不能引用白色對象（因為黑色賦值器不再被掃描，引用白色）。
弱三色不變式的框架下：允許黑色賦值器的根引用白色對象，但前提是白色對象必須處于灰色保護下。
獲取賦值器的快照，意味著回收器需要掃描其根并將其置為黑色。我們必須在回收起始階段完成賦值器快照的獲取，并保證其不持有任何白色對象。否則一旦賦值器持有某白色對象的唯一引用并將其寫入黑色對象，然后再拋棄該指針，則會違背弱三色不變式的要求。當然，為黑色對象增加寫屏障可以捕捉這一內存寫操作，但如此一來，該方案將退化到強三色不變式的框架下。因此，基于其實快照的解決方案將只允許黑色賦值器的存在。
刪除寫屏障怎么保證弱三色不變式，如下示意圖：
我們看到第三張圖顯示，黑色指向白色沒問題，只要最后 delete 指針的時候 Z 對象置灰色，那么回收的正確性就可以保證。
關于“golang垃圾回收中如何實現刪除寫屏障”這篇文章就分享到這里了，希望以上內容可以對大家有一定的幫助，使各位可以學到更多知識，如果覺得文章不錯，請把它分享出去讓更多的人看到。
免責聲明：本站發布的內容（圖片、視頻和文字）以原創、轉載和分享為主，文章觀點不代表本網站立場，如果涉及侵權請聯系站長郵箱：is@yisu.com進行舉報，并提供相關證據，一經查實，將立刻刪除涉嫌侵權內容。
