【golang詳解】go語言GMP(GPM)原理和調(diào)度

Goroutine調(diào)度是一個(gè)很復(fù)雜的機(jī)制，下面嘗試用簡單的語言描述一下Goroutine調(diào)度機(jī)制，想要對(duì)其有更深入的了解可以去研讀一下源碼。

創(chuàng)新互聯(lián)建站是一家專注于成都網(wǎng)站制作、網(wǎng)站建設(shè)、外貿(mào)網(wǎng)站建設(shè)與策劃設(shè)計(jì),密云網(wǎng)站建設(shè)哪家好?創(chuàng)新互聯(lián)建站做網(wǎng)站,專注于網(wǎng)站建設(shè)十載,網(wǎng)設(shè)計(jì)領(lǐng)域的專業(yè)建站公司;建站業(yè)務(wù)涵蓋:密云等地區(qū)。密云做網(wǎng)站價(jià)格咨詢:13518219792

首先介紹一下GMP什么意思：

G ----------- goroutine: 即Go協(xié)程，每個(gè)go關(guān)鍵字都會(huì)創(chuàng)建一個(gè)協(xié)程。

M ---------- thread內(nèi)核級(jí)線程，所有的G都要放在M上才能運(yùn)行。

P ----------- processor處理器，調(diào)度G到M上，其維護(hù)了一個(gè)隊(duì)列，存儲(chǔ)了所有需要它來調(diào)度的G。

Goroutine 調(diào)度器P和 OS 調(diào)度器是通過 M 結(jié)合起來的，每個(gè) M 都代表了 1 個(gè)內(nèi)核線程，OS 調(diào)度器負(fù)責(zé)把內(nèi)核線程分配到 CPU 的核上執(zhí)行

模型圖：

避免頻繁的創(chuàng)建、銷毀線程，而是對(duì)線程的復(fù)用。

1）work stealing機(jī)制

當(dāng)本線程無可運(yùn)行的G時(shí)，嘗試從其他線程綁定的P偷取G，而不是銷毀線程。

2）hand off機(jī)制

當(dāng)本線程M0因?yàn)镚0進(jìn)行系統(tǒng)調(diào)用阻塞時(shí)，線程釋放綁定的P，把P轉(zhuǎn)移給其他空閑的線程執(zhí)行。進(jìn)而某個(gè)空閑的M1獲取P，繼續(xù)執(zhí)行P隊(duì)列中剩下的G。而M0由于陷入系統(tǒng)調(diào)用而進(jìn)被阻塞，M1接替M0的工作，只要P不空閑，就可以保證充分利用CPU。M1的來源有可能是M的緩存池，也可能是新建的。當(dāng)G0系統(tǒng)調(diào)用結(jié)束后，根據(jù)M0是否能獲取到P，將會(huì)將G0做不同的處理：

如果有空閑的P，則獲取一個(gè)P，繼續(xù)執(zhí)行G0。

如果沒有空閑的P，則將G0放入全局隊(duì)列，等待被其他的P調(diào)度。然后M0將進(jìn)入緩存池睡眠。

如下圖

GOMAXPROCS設(shè)置P的數(shù)量，最多有GOMAXPROCS個(gè)線程分布在多個(gè)CPU上同時(shí)運(yùn)行

在Go中一個(gè)goroutine最多占用CPU 10ms，防止其他goroutine被餓死。

具體可以去看另一篇文章

【Golang詳解】go語言調(diào)度機(jī)制 搶占式調(diào)度

當(dāng)創(chuàng)建一個(gè)新的G之后優(yōu)先加入本地隊(duì)列，如果本地隊(duì)列滿了，會(huì)將本地隊(duì)列的G移動(dòng)到全局隊(duì)列里面，當(dāng)M執(zhí)行work stealing從其他P偷不到G時(shí)，它可以從全局G隊(duì)列獲取G。

協(xié)程經(jīng)歷過程

我們創(chuàng)建一個(gè)協(xié)程 go func()經(jīng)歷過程如下圖：

說明：

這里有兩個(gè)存儲(chǔ)G的隊(duì)列，一個(gè)是局部調(diào)度器P的本地隊(duì)列、一個(gè)是全局G隊(duì)列。新創(chuàng)建的G會(huì)先保存在P的本地隊(duì)列中，如果P的本地隊(duì)列已經(jīng)滿了就會(huì)保存在全局的隊(duì)列中；處理器本地隊(duì)列是一個(gè)使用數(shù)組構(gòu)成的環(huán)形鏈表，它最多可以存儲(chǔ) 256 個(gè)待執(zhí)行任務(wù)。

G只能運(yùn)行在M中，一個(gè)M必須持有一個(gè)P，M與P是1：1的關(guān)系。M會(huì)從P的本地隊(duì)列彈出一個(gè)可執(zhí)行狀態(tài)的G來執(zhí)行，如果P的本地隊(duì)列為空，就會(huì)想其他的MP組合偷取一個(gè)可執(zhí)行的G來執(zhí)行；

一個(gè)M調(diào)度G執(zhí)行的過程是一個(gè)循環(huán)機(jī)制；會(huì)一直從本地隊(duì)列或全局隊(duì)列中獲取G

上面說到P的個(gè)數(shù)默認(rèn)等于CPU核數(shù)，每個(gè)M必須持有一個(gè)P才可以執(zhí)行G，一般情況下M的個(gè)數(shù)會(huì)略大于P的個(gè)數(shù)，這多出來的M將會(huì)在G產(chǎn)生系統(tǒng)調(diào)用時(shí)發(fā)揮作用。類似線程池，Go也提供一個(gè)M的池子，需要時(shí)從池子中獲取，用完放回池子，不夠用時(shí)就再創(chuàng)建一個(gè)。

work-stealing調(diào)度算法：當(dāng)M執(zhí)行完了當(dāng)前P的本地隊(duì)列隊(duì)列里的所有G后，P也不會(huì)就這么在那躺尸啥都不干，它會(huì)先嘗試從全局隊(duì)列隊(duì)列尋找G來執(zhí)行，如果全局隊(duì)列為空，它會(huì)隨機(jī)挑選另外一個(gè)P，從它的隊(duì)列里中拿走一半的G到自己的隊(duì)列中執(zhí)行。

如果一切正常，調(diào)度器會(huì)以上述的那種方式順暢地運(yùn)行，但這個(gè)世界沒這么美好，總有意外發(fā)生，以下分析goroutine在兩種例外情況下的行為。

Go runtime會(huì)在下面的goroutine被阻塞的情況下運(yùn)行另外一個(gè)goroutine：

用戶態(tài)阻塞/喚醒

當(dāng)goroutine因?yàn)閏hannel操作或者network I/O而阻塞時(shí)（實(shí)際上golang已經(jīng)用netpoller實(shí)現(xiàn)了goroutine網(wǎng)絡(luò)I/O阻塞不會(huì)導(dǎo)致M被阻塞，僅阻塞G，這里僅僅是舉個(gè)栗子），對(duì)應(yīng)的G會(huì)被放置到某個(gè)wait隊(duì)列(如channel的waitq)，該G的狀態(tài)由_Gruning變?yōu)開Gwaitting，而M會(huì)跳過該G嘗試獲取并執(zhí)行下一個(gè)G，如果此時(shí)沒有可運(yùn)行的G供M運(yùn)行，那么M將解綁P，并進(jìn)入sleep狀態(tài)；當(dāng)阻塞的G被另一端的G2喚醒時(shí)（比如channel的可讀/寫通知），G被標(biāo)記為，嘗試加入G2所在P的runnext（runnext是線程下一個(gè)需要執(zhí)行的 Goroutine。）， 然后再是P的本地隊(duì)列和全局隊(duì)列。

系統(tǒng)調(diào)用阻塞

當(dāng)M執(zhí)行某一個(gè)G時(shí)候如果發(fā)生了阻塞操作，M會(huì)阻塞，如果當(dāng)前有一些G在執(zhí)行，調(diào)度器會(huì)把這個(gè)線程M從P中摘除，然后再創(chuàng)建一個(gè)新的操作系統(tǒng)的線程(如果有空閑的線程可用就復(fù)用空閑線程)來服務(wù)于這個(gè)P。當(dāng)M系統(tǒng)調(diào)用結(jié)束時(shí)候，這個(gè)G會(huì)嘗試獲取一個(gè)空閑的P執(zhí)行，并放入到這個(gè)P的本地隊(duì)列。如果獲取不到P，那么這個(gè)線程M變成休眠狀態(tài)， 加入到空閑線程中，然后這個(gè)G會(huì)被放入全局隊(duì)列中。

隊(duì)列輪轉(zhuǎn)

可見每個(gè)P維護(hù)著一個(gè)包含G的隊(duì)列，不考慮G進(jìn)入系統(tǒng)調(diào)用或IO操作的情況下，P周期性的將G調(diào)度到M中執(zhí)行，執(zhí)行一小段時(shí)間，將上下文保存下來，然后將G放到隊(duì)列尾部，然后從隊(duì)列中重新取出一個(gè)G進(jìn)行調(diào)度。

除了每個(gè)P維護(hù)的G隊(duì)列以外，還有一個(gè)全局的隊(duì)列，每個(gè)P會(huì)周期性地查看全局隊(duì)列中是否有G待運(yùn)行并將其調(diào)度到M中執(zhí)行，全局隊(duì)列中G的來源，主要有從系統(tǒng)調(diào)用中恢復(fù)的G。之所以P會(huì)周期性地查看全局隊(duì)列，也是為了防止全局隊(duì)列中的G被餓死。

除了每個(gè)P維護(hù)的G隊(duì)列以外，還有一個(gè)全局的隊(duì)列，每個(gè)P會(huì)周期性地查看全局隊(duì)列中是否有G待運(yùn)行并將其調(diào)度到M中執(zhí)行，全局隊(duì)列中G的來源，主要有從系統(tǒng)調(diào)用中恢復(fù)的G。之所以P會(huì)周期性地查看全局隊(duì)列，也是為了防止全局隊(duì)列中的G被餓死。

M0

M0是啟動(dòng)程序后的編號(hào)為0的主線程，這個(gè)M對(duì)應(yīng)的實(shí)例會(huì)在全局變量rutime.m0中，不需要在heap上分配，M0負(fù)責(zé)執(zhí)行初始化操作和啟動(dòng)第一個(gè)G，在之后M0就和其他的M一樣了

G0

G0是每次啟動(dòng)一個(gè)M都會(huì)第一個(gè)創(chuàng)建的goroutine，G0僅用于負(fù)責(zé)調(diào)度G，G0不指向任何可執(zhí)行的函數(shù)，每個(gè)M都會(huì)有一個(gè)自己的G0，在調(diào)度或系統(tǒng)調(diào)用時(shí)會(huì)使用G0的棧空間，全局變量的G0是M0的G0

一個(gè)G由于調(diào)度被中斷，此后如何恢復(fù)？

中斷的時(shí)候?qū)⒓拇嫫骼锏臈Ｐ畔?，保存到自己的G對(duì)象里面。當(dāng)再次輪到自己執(zhí)行時(shí)，將自己保存的棧信息復(fù)制到寄存器里面，這樣就接著上次之后運(yùn)行了。

我這里只是根據(jù)自己的理解進(jìn)行了簡單的介紹，想要詳細(xì)了解有關(guān)GMP的底層原理可以去看Go調(diào)度器 G-P-M 模型的設(shè)計(jì)者的文檔或直接看源碼

參考： ()

()

go語言的出現(xiàn)非常奇怪，有幾個(gè)問題請(qǐng)高手答案一下~~~~？？

1：go與c語言相比，go有垃圾回收，不會(huì)造成內(nèi)存泄露問題，go的語法簡潔優(yōu)美，同樣的c++100行代碼go大概50行可以做到，go的目標(biāo)是能做C++能做的事，雖然目前可能不太實(shí)際

2：go的并行機(jī)制并不是一般的線程，通過channel和goroutine來實(shí)現(xiàn)，比線程還要輕量級(jí)很多，所以go適合高并發(fā)的服務(wù)器端

3：go是系統(tǒng)級(jí)別的語言，相當(dāng)于c語言，java c#都是算比較高級(jí)的語言，這個(gè)不太好比，效率的話目前確實(shí)是要高一些，而且不需要外部依賴，所以go還是很強(qiáng)大的

【golang】海量數(shù)據(jù)去重-布隆過濾器

在做域名爆破中，遇到了把一個(gè)300G的子域名json文件進(jìn)行去重，一開始是考慮使用字典進(jìn)行去重，但是數(shù)據(jù)量大了，會(huì)造成內(nèi)存泄露。看網(wǎng)上資料介紹了一種方案，就是使用布隆過濾器。

布隆過濾器是一種數(shù)據(jù)結(jié)構(gòu)，概率型數(shù)據(jù)結(jié)構(gòu)，特定是高效插入和查詢，可以用來告訴你“某一值一定不存在或者kennel存在”。

相比于傳統(tǒng)的map、set等數(shù)據(jù)結(jié)構(gòu)，占用空間更少，但其返回結(jié)果是概率型的，不確定。

布隆過濾器內(nèi)部維護(hù)一個(gè)bitArray(位數(shù)組)，開始所有數(shù)據(jù)為0，當(dāng)一個(gè)元素過來時(shí)，能過多個(gè)哈希函數(shù)（hash1、hash2、hash3）計(jì)算不同的hash值，并通過hash值找到bitArray的下標(biāo)，將里面的值改為由0變?yōu)?。布隆過濾器有一個(gè)誤判率，誤判率越低，數(shù)組越長，所在空間越大，誤判率越高，數(shù)組越小，所占空間越小。

這里貼上一個(gè)技術(shù)大牛的博客地址，里面對(duì)布隆過濾器用法以及在redis里面處理緩存穿透問題的詳細(xì)介紹。

為什么 Go 語言的性能還不如java

Go語言自亮相以來并沒有展示一個(gè)明確的方向，Google員工將Go語言稱為一個(gè)“試驗(yàn)性語言”，稱其試圖融合Python等動(dòng)態(tài)語言的開發(fā)速度和C或C++等編譯語言的性能和安全。一位Go語言的支持者概括而言Go語言如下：簡單、快速、安全、并發(fā)、快樂編程、開源；但Go語言缺乏方向以及其“集大成者”的嘗試很容易會(huì)導(dǎo)致其學(xué)貓不成學(xué)狗也不成，淪為四不像。盡管如此，編者仍然覺得Go語言有相當(dāng)大的潛力：很多開發(fā)者對(duì)它感興趣——不僅它的最初設(shè)計(jì)者陣容強(qiáng)大，而且在參與修改源代碼的人群中也不乏大牛級(jí)人物。這很有可能幫助Go語言找到適合自己的方向，開拓系統(tǒng)編程的新方向。

駁狗屎文 "我為什么放棄Go語言

此篇文章流傳甚廣, 其實(shí)里面沒啥干貨， 而且里面很多觀點(diǎn)是有問題的. 這個(gè)文章在 golang-china 很早就討論過了.

最近因?yàn)?Rust 1.0 和 1.1 的發(fā)布, 導(dǎo)致這個(gè)文章又出來毒害讀者.

所以寫了這篇反駁文章, 指出其中的問題.

有好幾次，當(dāng)我想起來的時(shí)候，總是會(huì)問自己：我為什么要放棄Go語言？這個(gè)決定是正確的嗎？是明智和理性的嗎？其實(shí)我一直在認(rèn)真思考這個(gè)問題。

開門見山地說，我當(dāng)初放棄Go語言（golang），就是因?yàn)閮蓚€(gè)“不爽”：第一，對(duì)Go語言本身不爽；第二，對(duì)Go語言社區(qū)里的某些人不爽。毫無疑問，這是非常主觀的結(jié)論。但是我有足夠詳實(shí)的客觀的論據(jù)，用以支撐這個(gè)看似主觀的結(jié)論。

文末附有本文更新日志。

確實(shí)是非常主觀的結(jié)論, 因?yàn)槔锩嬗胁簧儆袉栴}的觀點(diǎn)(用來忽悠Go小白還行).

第0節(jié)：我的Go語言經(jīng)歷

先說說我的經(jīng)歷吧，以避免被無緣無故地當(dāng)作Go語言的低級(jí)黑。

2009年底，Go語言（golang）第一個(gè)公開版本發(fā)布，籠罩著“Google公司制造”的光環(huán)，吸引了許多慕名而來的嘗鮮者，我（Liigo）也身居其中，籠統(tǒng)的看了一些Go語言的資料，學(xué)習(xí)了基礎(chǔ)的教程，因?qū)ζ湔Z法中的分號(hào)和花括號(hào)不滿，很快就遺忘掉了，沒拿它當(dāng)一回事。

在2009年Go剛發(fā)布時(shí), 確實(shí)是因?yàn)椤癎oogle公司制造”的光環(huán)而吸引了(包括文章作者和諸多IT記者)很多低級(jí)的嘗鮮者.

還好, 經(jīng)過5年的發(fā)展, 這些純粹因?yàn)楣猸h(huán)來的投機(jī)者所剩已經(jīng)不多了(Google趨勢).

目前, 真正的Go用戶早就將Go用于實(shí)際的生產(chǎn)了.

說到 其語法中的分號(hào)和花括號(hào)不滿, 我想說這只是你的 個(gè)人主觀感受, 還有很多人對(duì)Go的分號(hào)和花括號(hào)很滿意,

包括水果公司的的 Swift 的語言設(shè)計(jì)者也很滿意這種風(fēng)格(Swift中的分號(hào)和花括號(hào)和Go基本相同).

如果只談 個(gè)人主觀感受, 我也可以說 Rust 的 fn 縮寫也很蛋疼!

兩年之后，2011年底，Go語言發(fā)布1.0的計(jì)劃被提上日程，相關(guān)的報(bào)道又多起來，我再次關(guān)注它，重新評(píng)估之后決定深入?yún)⑴cGo語言。我訂閱了其users、nuts、dev、commits等官方郵件組，堅(jiān)持每天閱讀其中的電子郵件，以及開發(fā)者提交的每一次源代碼更新，給Go提交了許多改進(jìn)意見，甚至包括修改Go語言編譯器源代碼直接參與開發(fā)任務(wù)。如此持續(xù)了數(shù)月時(shí)間。

這個(gè)到是事實(shí), 在 golang-china 有不少吵架的帖子, 感興趣的可以去挖下, 我就不展開說了.

到2012年初，Go 1.0發(fā)布，語言和標(biāo)準(zhǔn)庫都已經(jīng)基本定型，不可能再有大幅改進(jìn)，我對(duì)Go語言未能在1.0定型之前更上一個(gè)臺(tái)階、實(shí)現(xiàn)自我突破，甚至帶著諸多明顯缺陷走向1.0，感到非常失望，因而逐漸疏遠(yuǎn)了它（所以Go 1.0之后的事情我很少關(guān)心）。后來看到即將發(fā)布的Go 1.1的Release Note，發(fā)現(xiàn)語言層面沒有太大改變，只是在庫和工具層面有所修補(bǔ)和改進(jìn)，感到它尚在幼年就失去成長的動(dòng)力，越發(fā)失望。外加Go語言社區(qū)里的某些人，其中也包括Google公司負(fù)責(zé)開發(fā)Go語言的某些人，其態(tài)度、言行，讓我極度厭惡，促使我決絕地離棄Go語言。

真的不清楚樓主說的可以在 Go1.0 之前短時(shí)間內(nèi)能實(shí)現(xiàn)的 重大改進(jìn)和諸多明顯缺陷 是什么.

如果是樓主說前面的 其語法中的分號(hào)和花括號(hào)不滿 之類的重大改進(jìn), 我只能說這只是你的 個(gè)人主觀感受 而已,

你的很多想法只能說服你自己, 沒辦法說服其他絕大部分人(不要以為像C++或Rust那樣什么特性都有就NB了, 各種NB特性加到一起只能是 要你命3000, 而絕對(duì)不會(huì)是什么 銀彈).

Go 1.1的Release Note，發(fā)現(xiàn)語言層面沒有太大改變. 語言層沒有改變是是因?yàn)?Go1 作出的向后兼容的承諾. 對(duì)于工業(yè)級(jí)的語言來說, Go1 這個(gè)只能是優(yōu)點(diǎn). 如果連語言層在每個(gè)版本都會(huì)出現(xiàn)諸多大幅改進(jìn), 那誰還敢用Go語言來做生產(chǎn)開發(fā)呢(我承認(rèn)Rust的改動(dòng)很大膽, 但也說明了Rust還處于比較幼稚和任性的階段)?

說 Go語言社區(qū)里的某些人固執(zhí) 的觀點(diǎn)我是同意的. 但是這些 固執(zhí) 的人是可以講道理的, 但是他們對(duì)很多東西的要求很高(特別是關(guān)于Go的設(shè)計(jì)哲學(xué)部分).

只要你給的建議有依據(jù)(語言的設(shè)計(jì)哲學(xué)是另外一回事情), 他們絕對(duì)不會(huì)盲目的拒絕(只是討論的周期會(huì)比較長).

關(guān)于樓主提交的給Go文件添加BOM的文章, 需要補(bǔ)充說明下.

在Go1.0發(fā)布的時(shí)候, Go語言的源文件(.go)明確要求必須是UTF8編碼的, 而且是無BOM的UTF8編碼的.

注意: 這個(gè) 無BOM的UTF8編碼 的限制僅僅是 針對(duì) Go語言的源文件(.go).

這個(gè)限制并不是說不允許用戶處理帶BOM的UTF8的txt文件!

我覺得對(duì)于寫Go程序來說, 這個(gè)限制是沒有任何問題的, 到目前為止, 我還從來沒有使用過帶BOM的.go文件.

不僅是因?yàn)閹OM的.go文件沒有太多的意義, 而且有很多的缺陷.

BOM的原意是用來表示編碼是大端還是小端的, 主要用于UTF16和UTF32. 對(duì)于 UTF8 來說, BOM 沒有任何存在的意義(正是Go的2個(gè)作者發(fā)明了UTF8, 徹底解決了全球的編碼問題).

但是, 在現(xiàn)實(shí)中, 因?yàn)镸S的txt記事本, 對(duì)于中文環(huán)境會(huì)將txt(甚至是C/C++源文件)當(dāng)作GBK編碼(GBK是個(gè)爛編碼),

為了區(qū)別到底是GBK還是UTF8, MS的記事本在前面加了BOM這個(gè)垃圾(被GBK占了茅坑), 這里的bom已經(jīng)不是表示字節(jié)序本意了. 不知道有沒有人用ms的記事本寫網(wǎng)頁, 然后生成一個(gè)帶bom的utf8網(wǎng)頁肯定很有意思.

這是MS的記事本的BUG: 它不支持生成無BOM的UTF8編碼的文本文件!

這些是現(xiàn)實(shí)存在的帶BOM的UTF8編碼的文本文件, 但是它們肯定都不是Go語言源文件!

所以說, Go語言的源文件即使強(qiáng)制限制了無BOM的UTF8編碼要求, 也是沒有任何問題的(而且我還希望有這個(gè)限制).

雖然后來Go源文件接受帶BOM的UTF8了, 但是運(yùn)行 go fmt 之后, 還是會(huì)刪除掉BOM的(因?yàn)锽OM就是然并卵). 也就是說 帶 BOM 的 Go 源文件是不符合 Go語言的編碼風(fēng)格的, go fmt 會(huì)強(qiáng)制刪除 BOM 頭.

前面說了BOM是MS帶來的垃圾, 但是BOM的UTF8除了然并卵之外還有很多問題, 因?yàn)锽OM在string的開頭嵌入了垃圾,

導(dǎo)致正則表達(dá)式, string的鏈接運(yùn)算等操作都被會(huì)被BOM這個(gè)垃圾所污染. 對(duì)于.go語言, 即使代碼完全一樣, 有BOM和無BOM會(huì)導(dǎo)致文件的MD5之類的校驗(yàn)碼不同.

所以, 我覺得Go用戶不用糾結(jié)BOM這個(gè)無關(guān)緊要的東西.

在上一個(gè)10年，我（Liigo）在我所屬的公司里，深度參與了兩個(gè)編程語言項(xiàng)目的開發(fā)。我想，對(duì)于如何判斷某個(gè)編程語言的優(yōu)劣，或者說至少對(duì)于如何判斷某個(gè)編程語言是否適合于我自己，我應(yīng)該還是有一點(diǎn)發(fā)言權(quán)的。

第1節(jié)：我為什么對(duì)Go語言不爽？

Go語言有很多讓我不爽之處，這里列出我現(xiàn)在還能記起的其中一部分，排名基本上不分先后。讀者們耐心地看完之后，還能淡定地說一句“我不在乎”嗎？

1.1 不允許左花括號(hào)另起一行

關(guān)于對(duì)花括號(hào)的擺放，在C語言、C++、Java、C#等社區(qū)中，十余年來存在持續(xù)爭議，從未形成一致意見。在我看來，這本來就是主觀傾向很重的抉擇，不違反原則不涉及是非的情況下，不應(yīng)該搞一刀切，讓程序員或團(tuán)隊(duì)自己選擇就足夠了。編程語言本身強(qiáng)行限制，把自己的喜好強(qiáng)加給別人，得不償失。無論傾向于其中任意一種，必然得罪與其對(duì)立的一群人。雖然我現(xiàn)在已經(jīng)習(xí)慣了把左花括號(hào)放在行尾，但一想到被禁止其他選擇，就感到十分不爽。Go語言這這個(gè)問題上，沒有做到“團(tuán)結(jié)一切可以團(tuán)結(jié)的力量”不說，還有意給自己樹敵，太失敗了。

我覺得Go最偉大的發(fā)明是 go fmt, 從此Go用戶不會(huì)再有花括弧的位置這種無聊爭論了(當(dāng)然也少了不少灌水和上tiobe排名的機(jī)會(huì)).

是這優(yōu)點(diǎn), Swift 語言也使用和 Go 類似的風(fēng)格(當(dāng)然樓主也可能鄙視swift的作者).

1.2 編譯器莫名其妙地給行尾加上分號(hào)

對(duì)Go語言本身而言，行尾的分號(hào)是可以省略的。但是在其編譯器（gc）的實(shí)現(xiàn)中，為了方便編譯器開發(fā)者，卻在詞法分析階段強(qiáng)行添加了行尾的分號(hào)，反過來又影響到語言規(guī)范，對(duì)“怎樣添加分號(hào)”做出特殊規(guī)定。這種變態(tài)做法前無古人。在左花括號(hào)被意外放到下一行行首的情況下，它自動(dòng)在上一行行尾添加的分號(hào)，會(huì)導(dǎo)致莫名其妙的編譯錯(cuò)誤（Go 1.0之前），連它自己都解釋不明白。如果實(shí)在處理不好分號(hào)，干脆不要省略分號(hào)得了；或者，Scala和JavaScript的編譯器是開源的，跟它們學(xué)學(xué)怎么處理省略行尾分號(hào)可以嗎？

又是樓主的 個(gè)人主觀感受, 不過我很喜歡這個(gè)特性. Swift 語言也是類似.

1.3 極度強(qiáng)調(diào)編譯速度，不惜放棄本應(yīng)提供的功能

程序員是人不是神，編碼過程中免不了因?yàn)榇笠饣蚴韬龇敢恍╁e(cuò)。其中有一些，是大家集體性的很容易就中招的錯(cuò)誤（Go語言里的例子我暫時(shí)想不起來，C++里的例子有“基類析構(gòu)函數(shù)不是虛函數(shù)”）。這時(shí)候編譯器應(yīng)該站出來，多做一些檢查、約束、核對(duì)性工作，盡量阻止常規(guī)錯(cuò)誤的發(fā)生，盡量不讓有潛在錯(cuò)誤的代碼編譯通過，必要時(shí)給出一些警告或提示，讓程序員留意。編譯器不就是機(jī)器么，不就是應(yīng)該多做臟活累活雜活、減少人的心智負(fù)擔(dān)么？編譯器多做一項(xiàng)檢查，可能會(huì)避免數(shù)十萬程序員今后多年內(nèi)無數(shù)次犯同樣的錯(cuò)誤，節(jié)省的時(shí)間不計(jì)其數(shù)，這是功德無量的好事。但是Go編譯器的作者們可不這么想，他們不愿意自己多花幾個(gè)小時(shí)給編譯器增加新功能，覺得那是虧本，反而減慢了編譯速度。他們以影響編譯速度為由，拒絕了很多對(duì)編譯器改進(jìn)的要求。典型的因噎廢食。強(qiáng)調(diào)編譯速度固然值得贊賞，但如果因此放棄應(yīng)有的功能，我不贊成。

編譯速度是很重要的, 如果編譯速度夠慢, 語言再好也不會(huì)有人使用的.

比如C/C++的增量編譯/預(yù)編譯頭文件/并發(fā)編譯都是為了提高編譯速度.

Rust1.1 也號(hào)稱 比 1.0 的編譯時(shí)間減少了32% (注意: 不是運(yùn)行速度).

當(dāng)然, Go剛面世的時(shí)候, 編譯速度是其中的一個(gè)設(shè)計(jì)目標(biāo).

不過我想樓主, 可能想說的是因?yàn)榫幾g器自己添加分號(hào)而導(dǎo)致的編譯錯(cuò)誤的問題.

我覺得Go中 { 不能另起一行是語言特性, 如果修復(fù)這個(gè)就是引入了新的錯(cuò)誤.

其他的我真想不起來還有哪些 調(diào)編譯速度，不惜放棄本應(yīng)提供的功能 (不要提泛型, 那是因?yàn)檫€沒有好的設(shè)計(jì)).

1.4 錯(cuò)誤處理機(jī)制太原始

在Go語言中處理錯(cuò)誤的基本模式是：函數(shù)通常返回多個(gè)值，其中最后一個(gè)值是error類型，用于表示錯(cuò)誤類型極其描述；調(diào)用者每次調(diào)用完一個(gè)函數(shù)，都需要檢查這個(gè)error并進(jìn)行相應(yīng)的錯(cuò)誤處理：if err != nil { /*這種代碼寫多了不想吐么*/ }。此模式跟C語言那種很原始的錯(cuò)誤處理相比如出一轍，并無實(shí)質(zhì)性改進(jìn)。實(shí)際應(yīng)用中很容易形成多層嵌套的if else語句，可以想一想這個(gè)編碼場景：先判斷文件是否存在，如果存在則打開文件，如果打開成功則讀取文件，如果讀取成功再寫入一段數(shù)據(jù)，最后關(guān)閉文件，別忘了還要處理每一步驟中出現(xiàn)錯(cuò)誤的情況，這代碼寫出來得有多變態(tài)、多丑陋？實(shí)踐中普遍的做法是，判斷操作出錯(cuò)后提前return，以避免多層花括號(hào)嵌套，但這么做的后果是，許多錯(cuò)誤處理代碼被放在前面突出的位置，常規(guī)的處理邏輯反而被掩埋到后面去了，代碼可讀性極差。而且，error對(duì)象的標(biāo)準(zhǔn)接口只能返回一個(gè)錯(cuò)誤文本，有時(shí)候調(diào)用者為了區(qū)分不同的錯(cuò)誤類型，甚至需要解析該文本。除此之外，你只能手工強(qiáng)制轉(zhuǎn)換error類型到特定子類型（靜態(tài)類型的優(yōu)勢沒了）。至于panic - recover機(jī)制，致命的缺陷是不能跨越庫的邊界使用，注定是一個(gè)半成品，最多只能在自己的pkg里面玩一玩。Java的異常處理雖然也有自身的問題（比如Checked Exceptions），但總體上還是比Go的錯(cuò)誤處理高明很多。

話說, 軟件開發(fā)都發(fā)展了半個(gè)世紀(jì), 還是無實(shí)質(zhì)性改進(jìn). 不要以為弄一個(gè)異常的語法糖就是革命了.

我只能說錯(cuò)誤和異常是2個(gè)不同的東西, 將所有錯(cuò)誤當(dāng)作異常那是SB行為.

正因?yàn)橛挟惓＿@個(gè)所謂的銀彈, 導(dǎo)致很多等著別人幫忙擦屁股的行為(注意 shit 函數(shù)拋出的絕對(duì)不會(huì)是一種類型的 shit, 而被其間接調(diào)用的各種 xxx_shit 也可能拋出各種類型的異常, 這就導(dǎo)致 catch 失控了):

int main() {

try {

shit();

} catch( /* 到底有幾千種 shit ? */) {

...

}

}

Go的建議是 panic - recover 不跨越邊界, 也就是要求正常的錯(cuò)誤要由pkg的處理掉.

這是負(fù)責(zé)任的行為.

再說Go是面向并發(fā)的編程語言, 在海量的 goroutine 中使用 try/catch 是不是有一種不倫不類的感覺呢?

1.5 垃圾回收器（GC）不完善、有重大缺陷

在Go 1.0前夕，其垃圾回收器在32位環(huán)境下有內(nèi)存泄漏，一直拖著不肯改進(jìn)，這且不說。Go語言垃圾回收器真正致命的缺陷是，會(huì)導(dǎo)致整個(gè)進(jìn)程不可預(yù)知的間歇性停頓。像某些大型后臺(tái)服務(wù)程序，如游戲服務(wù)器、APP容器等，由于占用內(nèi)存巨大，其內(nèi)存對(duì)象數(shù)量極多，GC完成一次回收周期，可能需要數(shù)秒甚至更長時(shí)間，這段時(shí)間內(nèi)，整個(gè)服務(wù)進(jìn)程是阻塞的、停頓的，在外界看來就是服務(wù)中斷、無響應(yīng)，再牛逼的并發(fā)機(jī)制到了這里統(tǒng)統(tǒng)失效。垃圾回收器定期啟動(dòng)，每次啟動(dòng)就導(dǎo)致短暫的服務(wù)中斷，這樣下去，還有人敢用嗎？這可是后臺(tái)服務(wù)器進(jìn)程，是Go語言的重點(diǎn)應(yīng)用領(lǐng)域。以上現(xiàn)象可不是我假設(shè)出來的，而是事實(shí)存在的現(xiàn)實(shí)問題，受其嚴(yán)重困擾的也不是一家兩家了（2013年底ECUG Con 2013，京東的劉奇提到了Go語言的GC、defer、標(biāo)準(zhǔn)庫實(shí)現(xiàn)是性能殺手，最大的痛苦是GC；美團(tuán)的沈鋒也提到Go語言的GC導(dǎo)致后臺(tái)服務(wù)間隔性停頓是最大的問題。更早的網(wǎng)絡(luò)游戲仙俠道開發(fā)團(tuán)隊(duì)也曾受Go垃圾回收的沉重打擊）。在實(shí)踐中，你必須努力減少進(jìn)程中的對(duì)象數(shù)量，以便把GC導(dǎo)致的間歇性停頓控制在可接受范圍內(nèi)。除此之外你別無選擇（難道你還想自己更換GC算法、甚至砍掉GC？那還是Go語言嗎？）。跳出圈外，我近期一直在思考，一定需要垃圾回收器嗎？沒有垃圾回收器就一定是歷史的倒退嗎？（可能會(huì)新寫一篇博客文章專題探討。）

這是說的是32位系統(tǒng), 這絕對(duì)不是Go語言的重點(diǎn)應(yīng)用領(lǐng)域!! 我可以說Go出生就是面向64位系統(tǒng)和多核心CPU環(huán)境設(shè)計(jì)的. (再說 Rust 目前好像還不支持 XP 吧, 這可不可以算是影響巨大?)

32位當(dāng)時(shí)是有問題, 但是對(duì)實(shí)際生產(chǎn)影響并不大(請(qǐng)問樓主還是在用32位系統(tǒng)嗎, 還只安裝4GB的內(nèi)存嗎). 如果是8位單片機(jī)環(huán)境, 建議就不要用Go語言了, 直接C語言好了.

而且這個(gè)問題早就不存在了(大家可以去看Go的發(fā)布日志).

Go的出生也就5年時(shí)間, GC的完善和改進(jìn)是一個(gè)持續(xù)的工作, 2015年8月將發(fā)布的 Go1.5將采用并行GC.

關(guān)于GC的被人詬病的地方是會(huì)導(dǎo)致卡頓, 但是我以為這個(gè)主要是因?yàn)镚C的實(shí)現(xiàn)還不夠完美而導(dǎo)致的.

如果是完美的并發(fā)和增量的GC, 那應(yīng)該不會(huì)出現(xiàn)大的卡頓問題的.

當(dāng)然, 如果非要實(shí)時(shí)性, 那用C好了(實(shí)時(shí)并不表示性能高, 只是響應(yīng)時(shí)間可控).

對(duì)于Rust之類沒有GC的語言來說, 想很方便的開發(fā)并發(fā)的后臺(tái)程序那幾乎是不可能的.

不要總是吹Rust能代替底層/中層/上層的開發(fā), 我們要看有誰用Rust真的做了什么.

1.6 禁止未使用變量和多余import

Go編譯器不允許存在被未被使用的變量和多余的import，如果存在，必然導(dǎo)致編譯錯(cuò)誤。但是現(xiàn)實(shí)情況是，在代碼編寫、重構(gòu)、調(diào)試過程中，例如，臨時(shí)性的注釋掉一行代碼，很容易就會(huì)導(dǎo)致同時(shí)出現(xiàn)未使用的變量和多余的import，直接編譯錯(cuò)誤了，你必須相應(yīng)的把變量定義注釋掉，再翻頁回到文件首部把多余的import也注釋掉，……等事情辦完了，想把剛才注釋的代碼找回來，又要好幾個(gè)麻煩的步驟。還有一個(gè)讓人蛋疼的問題，編寫數(shù)據(jù)庫相關(guān)的代碼時(shí)，如果你import某數(shù)據(jù)庫驅(qū)動(dòng)的pkg，它編譯給你報(bào)錯(cuò)，說不需要import這個(gè)未被使用的pkg；但如果你聽信編譯器的話刪掉該import，編譯是通過了，運(yùn)行時(shí)必然報(bào)錯(cuò)，說找不到數(shù)據(jù)庫驅(qū)動(dòng)；你看看程序員被折騰的兩邊不是人，最后不得不請(qǐng)出大神：import _。對(duì)待這種問題，一個(gè)比較好的解決方案是，視其為編譯警告而非編譯錯(cuò)誤。但是Go語言開發(fā)者很固執(zhí)，不容許這種折中方案。

這個(gè)問題我只能說樓主的吐槽真的是沒水平.

為何不使用的是錯(cuò)誤而不是警告? 這是為了將低級(jí)的bug消滅在編譯階段(大家可以想下C/C++的那么多警告有什么卵用).

而且, import 即使沒有使用的話, 也是用副作用的, 因?yàn)?import 會(huì)導(dǎo)致 init 和全局變量的初始化.

如果某些代碼沒有使用, 為何要執(zhí)行 init 這些初始化呢?

如果是因?yàn)檎{(diào)試而添加的變量, 那么調(diào)試完刪除不是很正常的要求嗎?

如果是因?yàn)檎{(diào)試而要導(dǎo)入fmt或log之類的包, 刪除調(diào)試代碼后又導(dǎo)致 import 錯(cuò)誤的花,

樓主難道不知道在一個(gè)獨(dú)立的文件包裝下類似的輔助調(diào)試的函數(shù)嗎?

import (

"fmt"

"log"

)

func logf(format string, a ...interface{}) {

file, line := callerFileLine()

fmt.Fprintf(os.Stderr, "%s:%d: ", file, line)

fmt.Fprintf(os.Stderr, format, a...)

}

func fatalf(format string, a ...interface{}) {

file, line := callerFileLine()

fmt.Fprintf(os.Stderr, "%s:%d: ", file, line)

fmt.Fprintf(os.Stderr, format, a...)

os.Exit(1)

}

import _ 是有明確行為的用法, 就是為了執(zhí)行包中的 init 等函數(shù)(可以做某些注冊(cè)操作).

將警告當(dāng)作錯(cuò)誤是Go的一個(gè)哲學(xué), 當(dāng)然在樓主看來這是白癡做法.

1.7 創(chuàng)建對(duì)象的方式太多令人糾結(jié)

創(chuàng)建對(duì)象的方式，調(diào)用new函數(shù)、調(diào)用make函數(shù)、調(diào)用New方法、使用花括號(hào)語法直接初始化結(jié)構(gòu)體，你選哪一種？不好選擇，因?yàn)闆]有一個(gè)固定的模式。從實(shí)踐中看，如果要?jiǎng)?chuàng)建一個(gè)語言內(nèi)置類型（如channel、map）的對(duì)象，通常用make函數(shù)創(chuàng)建；如果要?jiǎng)?chuàng)建標(biāo)準(zhǔn)庫或第三方庫定義的類型的對(duì)象，首先要去文檔里找一下有沒有New方法，如果有就最好調(diào)用New方法創(chuàng)建對(duì)象，如果沒有New方法，則退而求其次，用初始化結(jié)構(gòu)體的方式創(chuàng)建其對(duì)象。這個(gè)過程頗為周折，不像C++、Java、C#那樣直接new就行了。

C++的new是狗屎. new導(dǎo)致的問題是構(gòu)造函數(shù)和普通函數(shù)的行為不一致, 這個(gè)補(bǔ)丁特性真的沒啥優(yōu)越的.

我還是喜歡C語言的 fopen 和 malloc 之類構(gòu)造函數(shù), 構(gòu)造函數(shù)就是普通函數(shù), Go語言中也是這樣.

C++中, 除了構(gòu)造不兼容普通函數(shù), 析構(gòu)函數(shù)也是不兼容普通函數(shù). 這個(gè)而引入的坑有很多吧.

1.8 對(duì)象沒有構(gòu)造函數(shù)和析構(gòu)函數(shù)

沒有構(gòu)造函數(shù)還好說，畢竟還有自定義的New方法，大致也算是構(gòu)造函數(shù)了。沒有析構(gòu)函數(shù)就比較難受了，沒法實(shí)現(xiàn)RAII。額外的人工處理資源清理工作，無疑加重了程序員的心智負(fù)擔(dān)。沒人性啊，還嫌我們程序員加班還少嗎？C++里有析構(gòu)函數(shù)，Java里雖然沒有析構(gòu)函數(shù)但是有人家finally語句啊，Go呢，什么都沒有。沒錯(cuò)，你有個(gè)defer，可是那個(gè)defer問題更大，詳見下文吧。

defer 可以覆蓋析構(gòu)函數(shù)的行為, 當(dāng)然 defer 還有其他的任務(wù). Swift2.0 也引入了一個(gè)簡化版的 defer 特性.

1.9 defer語句的語義設(shè)定不甚合理

Go語言設(shè)計(jì)defer語句的出發(fā)點(diǎn)是好的，把釋放資源的“代碼”放在靠近創(chuàng)建資源的地方，但把釋放資源的“動(dòng)作”推遲（defer）到函數(shù)返回前執(zhí)行。遺憾的是其執(zhí)行時(shí)機(jī)的設(shè)置似乎有些不甚合理。設(shè)想有一個(gè)需要長期運(yùn)行的函數(shù)，其中有無限循環(huán)語句，在循環(huán)體內(nèi)不斷的創(chuàng)建資源（或分配內(nèi)存），并用defer語句確保釋放。由于函數(shù)一直運(yùn)行沒有返回，所有defer語句都得不到執(zhí)行，循環(huán)過程中創(chuàng)建的大量短暫性資源一直積累著，得不到回收。而且，系統(tǒng)為了存儲(chǔ)defer列表還要額外占用資源，也是持續(xù)增加的。這樣下去，過不了多久，整個(gè)系統(tǒng)就要因?yàn)橘Y源耗盡而崩潰。像這類長期運(yùn)行的函數(shù)，http.ListenAndServe()就是典型的例子。在Go語言重點(diǎn)應(yīng)用領(lǐng)域，可以說幾乎每一個(gè)后臺(tái)服務(wù)程序都必然有這么一類函數(shù)，往往還都是程序的核心部分。如果程序員不小心在這些函數(shù)中使用了defer語句，可以說后患無窮。如果語言設(shè)計(jì)者把defer的語義設(shè)定為在所屬代碼塊結(jié)束時(shí)（而非函數(shù)返回時(shí)）執(zhí)行，是不是更好一點(diǎn)呢？可是Go 1.0早已發(fā)布定型，為了保持向后兼容性，已經(jīng)不可能改變了。小心使用defer語句！一不小心就中招。

前面說到 defer 還有其他的任務(wù), 也就是 defer 中執(zhí)行的 recover 可以捕獲 panic 拋出的異常.

還有 defer 可以在 return 之后修改命名的返回值.

上面2個(gè)工作要求 defer 只能在函數(shù)退出時(shí)來執(zhí)行.

樓主說的 defer 是類似 Swift2.0 中 defer 的行為, 但是 Swift2.0 中 defer 是沒有前面2個(gè)特性的.

Go中的defer是以函數(shù)作用域作為觸發(fā)的條件的, 是會(huì)導(dǎo)致樓主說的在 for 中執(zhí)行的錯(cuò)誤用法(哪個(gè)語言沒有坑呢?).

不過 for 中 局部 defer 也是有辦法的 (Go中的defer是以函數(shù)作用域):

for {

func(){

f, err := os.Open(...)

defer f.Close()

}()

}

在 for 中做一個(gè)閉包函數(shù)就可以了. 自己不會(huì)用不要怪別人沒告訴你.

1.10 許多語言內(nèi)置設(shè)施不支持用戶定義的類型

for in、make、range、channel、map等都僅支持語言內(nèi)置類型，不支持用戶定義的類型(?)。用戶定義的類型沒法支持for in循環(huán)，用戶不能編寫像make、range那樣“參數(shù)類型和個(gè)數(shù)”甚至“返回值類型和個(gè)數(shù)”都可變的函數(shù)，不能編寫像channel、map那樣類似泛型的數(shù)據(jù)類型。語言內(nèi)置的那些東西，處處充斥著斧鑿的痕跡。這體現(xiàn)了語言設(shè)計(jì)的局限性、封閉性、不完善，可擴(kuò)展性差，像是新手作品——且不論其設(shè)計(jì)者和實(shí)現(xiàn)者如何權(quán)威。延伸閱讀：Go語言是30年前的陳舊設(shè)計(jì)思想，用戶定義的東西幾乎都是二等公民（Tikhon Jelvis）。

說到底, 這個(gè)是因?yàn)閷?duì)泛型支持的不完備導(dǎo)致的.

Go語言是沒啥NB的特性, 但是Go的特性和工具組合在一起就是好用.

這就是Go語言NB的地方.

1.11 沒有泛型支持，常見數(shù)據(jù)類型接口丑陋

沒有泛型的話，List、Set、Tree這些常見的基礎(chǔ)性數(shù)據(jù)類型的接口就只能很丑陋：放進(jìn)去的對(duì)象是一個(gè)具體的類型，取出來之后成了無類型的interface{}（可以視為所有類型的基礎(chǔ)類型），還得強(qiáng)制類型轉(zhuǎn)換之后才能繼續(xù)使用，令人無語。Go語言缺少min、max這類函數(shù)，求數(shù)值絕對(duì)值的函數(shù)abs只接收/返回雙精度小數(shù)類型，排序接口只能借助sort.Interface無奈的回避了被比較對(duì)象的類型，等等等等，都是沒有泛型導(dǎo)致的結(jié)果。沒有泛型，接口很難優(yōu)雅起來。Go開發(fā)者沒有明確拒絕泛型，只是說還沒有找到很好的方法實(shí)現(xiàn)泛型（能不能學(xué)學(xué)已經(jīng)開源的語言呀）?，F(xiàn)實(shí)是，Go 1.0已經(jīng)定型，泛型還沒有，那些丑陋的接口為了保持向后兼容必須長期存在著。

Go有自己的哲學(xué), 如果能有和目前哲學(xué)不沖突的泛型實(shí)現(xiàn), 他們是不會(huì)反對(duì)的.

如果只是簡單學(xué)學(xué)(或者叫抄襲)已經(jīng)開源的語言的語法, 那是C++的設(shè)計(jì)風(fēng)格(或者說C++從來都是這樣設(shè)計(jì)的, 有什么特性就抄什么), 導(dǎo)致了各種腦裂的編程風(fēng)格.

編譯時(shí)泛型和運(yùn)行時(shí)泛型可能是無法完全兼容的, 看這個(gè)例子:

type AdderT interface {

Add(a, b T) T

}

本文題目：go語言導(dǎo)致內(nèi)存泄露 go語言內(nèi)存占用
標(biāo)題來源：http://jinyejixie.com/article30/dosdcpo.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián)，為您提供搜索引擎優(yōu)化、網(wǎng)站策劃、虛擬主機(jī)、品牌網(wǎng)站制作、網(wǎng)站收錄、網(wǎng)站制作

廣告

聲明：本網(wǎng)站發(fā)布的內(nèi)容（圖片、視頻和文字）以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主，如果涉及侵權(quán)請(qǐng)盡快告知，我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場，如需處理請(qǐng)聯(lián)系客服。電話：028-86922220；郵箱：631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載，或轉(zhuǎn)載時(shí)需注明來源： 創(chuàng)新互聯(lián)