Golang內(nèi)存分配機制詳解
內(nèi)存分配的基本原理
在計算機科學(xué)中,內(nèi)存分配是指為程序中的變量和數(shù)據(jù)結(jié)構(gòu)分配存儲空間的過程。在 Golang 中,內(nèi)存分配主要由 Go 運行時系統(tǒng)(runtime)負責(zé),主要包括以下兩個方面:
- 堆內(nèi)存分配:堆內(nèi)存是用于動態(tài)分配的內(nèi)存區(qū)域,主要用于存儲程序運行過程中創(chuàng)建的對象和數(shù)據(jù)結(jié)構(gòu)。通過 new、make 等函數(shù)或者使用指針進行內(nèi)存分配時,都會在堆上分配內(nèi)存。
- 棧內(nèi)存分配:棧內(nèi)存是用于存放函數(shù)調(diào)用時的局部變量和返回地址等信息的內(nèi)存區(qū)域?;绢愋停ㄈ缯汀⒏↑c型、布爾型等)和小對象(通常小于 64 字節(jié))的內(nèi)存分配通常發(fā)生在棧上。
Go 使用了一個稱為“tcmalloc”(thread-caching malloc)的內(nèi)存分配器,最初由 Google 開發(fā)。tcmalloc 的設(shè)計目標(biāo)是減少全局鎖的競爭,提高多線程程序的性能。Go 的內(nèi)存分配器是基于 tcmalloc 概念的一個實現(xiàn),有幾個關(guān)鍵的組成部分:
- M: 代表操作系統(tǒng)線程(machine)。
- P: 代表處理器(processor),管理著一組本地緩存。
- G: 代表 goroutine,是 Go 程序執(zhí)行的最小單位。
每個 P 都有自己的內(nèi)存緩存(mcache),用于小對象的快速分配。當(dāng) mcache 用完時,P 會從中心緩存(mcentral)獲取內(nèi)存。如果 mcentral 也不足,內(nèi)存分配器會向操作系統(tǒng)請求更多內(nèi)存。
Golang 內(nèi)存分配的機制
- 小對象分配,小對象(一般小于 32KB)的分配是通過 P 的 mcache 來進行的。mcache 包含了一系列固定大小的內(nèi)存塊,稱為“span”。每個 span 專門用于一種大小的對象。當(dāng)一個 goroutine 需要分配一個小對象時,就會查找對應(yīng)大小的 span,并從中分配一塊內(nèi)存。
- 大對象分配,大對象(一般大于 32KB)的分配不經(jīng)過 mcache,而是直接從堆上分配。這是因為大對象的分配和回收比小對象更少,直接在堆上操作可以減少碎片和管理的復(fù)雜性。
- 內(nèi)存分配優(yōu)化,為了減少內(nèi)存分配的成本,Go 的內(nèi)存分配器會進行一些優(yōu)化:
- 大小類分配:為了減少內(nèi)存碎片和提高內(nèi)存重用,Go 將對象分為不同的大小類。每個大小類的對象都會分配到對應(yīng)的 span 中。
- 對象對齊:Go 保證對象在內(nèi)存中對齊,有助于提高 CPU 緩存的效率。
- 批量分配:當(dāng) mcache 中的 span 用完時,不是一次只獲取一個新的 span,而是批量地從 mcentral 獲取多個 span,可以減少與 mcentral 的交互次數(shù)。
垃圾回收(GC)
Go 的垃圾回收器是一個并發(fā)的、標(biāo)記-清除(mark-sweep)垃圾回收器。垃圾回收分為幾個階段:
- 標(biāo)記階段:垃圾回收器會停止所有的 goroutine(STW - stop the world),快速掃描棧和全局變量,標(biāo)記所有可達的對象。
- 并發(fā)標(biāo)記:goroutine 被恢復(fù)執(zhí)行,同時垃圾回收器在后臺并發(fā)地完成標(biāo)記工作。
- 清除階段:清除未被標(biāo)記的對象,通常也是并發(fā)進行的。
Go 的垃圾回收器設(shè)計為低延遲,會盡量減少對程序執(zhí)行的干擾。
內(nèi)存逃逸
在 Go 中,編譯器會盡量在棧上分配內(nèi)存,因為棧上的內(nèi)存分配和回收非???。然而,并不是所有的內(nèi)存分配都可以在棧上完成。當(dāng)編譯器無法保證對象的生命周期僅限于其定義的作用域時,會將這些對象分配到堆上,這個過程稱為“內(nèi)存逃逸”。
內(nèi)存分配的影響因素
內(nèi)存分配的性能可能受到多種因素的影響,包括以下幾個方面:
- 內(nèi)存分配頻率:頻繁的內(nèi)存分配和回收會增加垃圾回收器的工作量,從而影響性能。
- 對象大?。捍髮ο蟮姆峙渫ǔ1刃ο舐驗椴唤?jīng)過 mcache。
- 對象生命周期:長生命周期的對象可能會導(dǎo)致內(nèi)存占用增加,因為不會被頻繁回收。
內(nèi)存分配的最佳實踐
為了優(yōu)化內(nèi)存分配,可以從以下幾個方面著手:
- 重用對象:通過重用對象來減少分配次數(shù)。
- 池化資源:使用 sync.Pool 來池化可重用的對象。
- 避免內(nèi)存逃逸:通過減少指針的使用和閉包捕獲來避免不必要的內(nèi)存逃逸。
- 合理的數(shù)據(jù)結(jié)構(gòu):選擇合適的數(shù)據(jù)結(jié)構(gòu)來減少內(nèi)存的占用和碎片。
小結(jié)
Go 的內(nèi)存分配器是為并發(fā)和多線程設(shè)計的,通過一系列優(yōu)化來提供高效的內(nèi)存分配。內(nèi)存分配的性能不僅取決于分配器本身,還取決于程序的設(shè)計和編碼方式。在日常開發(fā)中,可以使用工具(如 pprof)來分析和優(yōu)化程序的內(nèi)存使用情況。通過實踐和分析,更深入地理解和掌握 Go 的內(nèi)存管理機制。
以上就是Golang內(nèi)存分配機制詳解的詳細內(nèi)容,更多關(guān)于Golang內(nèi)存分配機制的資料請關(guān)注腳本之家其它相關(guān)文章!
相關(guān)文章
淺析Go語言中的緩沖區(qū)及其在fmt包中的應(yīng)用
這篇文章主要為大家詳細介紹了Go語言中的緩沖區(qū)及其在fmt包中的應(yīng)用的相關(guān)知識,文中的示例代碼講解詳細,感興趣的小伙伴可以了解一下2024-01-01Go語言處理超大字符串型整數(shù)加減經(jīng)典面試詳解
這篇文章主要為大家介紹了Go語言處理超大字符串型整數(shù)加減經(jīng)典面試示例詳解,有需要的朋友可以借鑒參考下,希望能夠有所幫助,祝大家多多進步,早日升職加薪2023-10-10