在 Go 的 GMP（goroutine, system thread, context）模型中，一個 goroutine 可能會產生許多對象并將它們放在 P（堆內存？）中，P 上的所有數據在停放時是否會復制到 G 的堆棧中？如果是這樣，G 的?？赡軙兊梅浅４?，這使得 P 的設計顯得毫無意義，但如果不是，調度器如何解決多個 G 的數據同時存儲在 P 中的問題呢？如果 G 想在另一個 P 上執行，那是不可能的。我的問題是當g停放時，所有數據都會復制到G'堆棧嗎？為什么在執行 G 時不把所有數據都放在 G 上？
1 回答
翻翻過去那場雪
TA貢獻2065條經驗 獲得超14個贊
您的問題存在一個基本的誤解：mcache不是堆棧的占位符，而是堆上小分配的捷徑。它擁有預先分配的內存塊，可以分配給特定的 goroutine，避免鎖定。
編譯器決定是否必須在堆上分配特定變量。一旦這樣做，這將永遠不會被復制回 stack。
現在的問題是如何盡可能有效地從堆中分配內存。這就是mcache,mcentral和mheap進來的地方。
mcache是各種大小的預分配塊列表，mcache每個處理器P一個。由于P一次運行一個 goroutine G，因此分配mcache不需要鎖定。如果
mcache用完預分配的塊，則請求更多塊，這些塊在Pmcentral之間共享。如果
mcentral用完，則會請求更多塊，mheap而這些塊又可能會向操作系統請求更多內存。如果請求的塊足夠大，則直接從
mheap.
所有這一切的重點是避免在小內存分配期間鎖定。但是從 獲得的所有內存部分mcache，mcentral并且mheap是堆的一部分，無論在哪個P上運行，它們都可以被G使用，并且在不再使用時必須進行垃圾回收。
- 1 回答
- 0 關注
- 155 瀏覽
添加回答
舉報
0/150
提交
取消