Goroutine調(diào)度是一個(gè)很復(fù)雜的機(jī)制，下面嘗試用簡(jiǎn)單的語(yǔ)言描述一下Goroutine調(diào)度機(jī)制，想要對(duì)其有更深入的了解可以去研讀一下源碼。
成都創(chuàng)新互聯(lián)公司從2013年成立，是專業(yè)互聯(lián)網(wǎng)技術(shù)服務(wù)公司，擁有項(xiàng)目網(wǎng)站制作、網(wǎng)站設(shè)計(jì)網(wǎng)站策劃，項(xiàng)目實(shí)施與項(xiàng)目整合能力。我們以讓每一個(gè)夢(mèng)想脫穎而出為使命，1280元安慶做網(wǎng)站,已為上家服務(wù),為安慶各地企業(yè)和個(gè)人服務(wù),聯(lián)系電話: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ǔ)了所有需要它來(lái)調(diào)度的G。
Goroutine 調(diào)度器P和 OS 調(diào)度器是通過(guò) M 結(jié)合起來(lái)的，每個(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)本線程無(wú)可運(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的來(lái)源有可能是M的緩存池，也可能是新建的。當(dāng)G0系統(tǒng)調(diào)用結(jié)束后，根據(jù)M0是否能獲取到P，將會(huì)將G0做不同的處理：
如果有空閑的P，則獲取一個(gè)P，繼續(xù)執(zhí)行G0。
如果沒(méi)有空閑的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語(yǔ)言調(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)歷過(guò)程
我們創(chuàng)建一個(gè)協(xié)程 go func()經(jīng)歷過(guò)程如下圖：
說(shuō)明：
這里有兩個(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來(lái)執(zhí)行，如果P的本地隊(duì)列為空，就會(huì)想其他的MP組合偷取一個(gè)可執(zhí)行的G來(lái)執(zhí)行；
一個(gè)M調(diào)度G執(zhí)行的過(guò)程是一個(gè)循環(huán)機(jī)制；會(huì)一直從本地隊(duì)列或全局隊(duì)列中獲取G
上面說(shuō)到P的個(gè)數(shù)默認(rèn)等于CPU核數(shù)，每個(gè)M必須持有一個(gè)P才可以執(zhí)行G，一般情況下M的個(gè)數(shù)會(huì)略大于P的個(gè)數(shù)，這多出來(lái)的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來(lái)執(zhí)行，如果全局隊(duì)列為空，它會(huì)隨機(jī)挑選另外一個(gè)P，從它的隊(duì)列里中拿走一半的G到自己的隊(duì)列中執(zhí)行。
如果一切正常，調(diào)度器會(huì)以上述的那種方式順暢地運(yùn)行，但這個(gè)世界沒(méi)這么美好，總有意外發(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)開(kāi)Gwaitting，而M會(huì)跳過(guò)該G嘗試獲取并執(zhí)行下一個(gè)G，如果此時(shí)沒(méi)有可運(yùn)行的G供M運(yùn)行，那么M將解綁P，并進(jìn)入sleep狀態(tài)；當(dāng)阻塞的G被另一端的G2喚醒時(shí)（比如channel的可讀/寫(xiě)通知），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ù)用空閑線程)來(lái)服務(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)
可見(jiàn)每個(gè)P維護(hù)著一個(gè)包含G的隊(duì)列，不考慮G進(jìn)入系統(tǒng)調(diào)用或IO操作的情況下，P周期性的將G調(diào)度到M中執(zhí)行，執(zhí)行一小段時(shí)間，將上下文保存下來(lái)，然后將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的來(lái)源，主要有從系統(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的來(lái)源，主要有從系統(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的?？臻g，全局變量的G0是M0的G0
一個(gè)G由于調(diào)度被中斷，此后如何恢復(fù)？
中斷的時(shí)候?qū)⒓拇嫫骼锏臈Ｐ畔?，保存到自己的G對(duì)象里面。當(dāng)再次輪到自己執(zhí)行時(shí)，將自己保存的棧信息復(fù)制到寄存器里面，這樣就接著上次之后運(yùn)行了。
我這里只是根據(jù)自己的理解進(jìn)行了簡(jiǎn)單的介紹，想要詳細(xì)了解有關(guān)GMP的底層原理可以去看Go調(diào)度器 G-P-M 模型的設(shè)計(jì)者的文檔或直接看源碼
參考： ()
()
之前寫(xiě)過(guò)了Go語(yǔ)言gorm框架MySQL實(shí)踐，其中對(duì)gorm框架在操作MySQL的各種基礎(chǔ)實(shí)踐，下面分享一下如何使用gorm框架對(duì)MySQL直接進(jìn)行性能測(cè)試的簡(jiǎn)單實(shí)踐。
這里我使用了一個(gè)原始的Go語(yǔ)言版本的 FunTester 測(cè)試框架，現(xiàn)在只有一個(gè)基本的方法，實(shí)在是因?yàn)镚o語(yǔ)言特性太強(qiáng)了。框架設(shè)計(jì)的主要思路之一就是利用Go語(yǔ)言的閉包和方法參數(shù)特性，將一個(gè) func() 當(dāng)做性能測(cè)試的主題，通過(guò)不斷運(yùn)行這個(gè) func() 來(lái)實(shí)現(xiàn)性能測(cè)試。當(dāng)然還有另外一個(gè)思路就是運(yùn)行一個(gè)多線程任務(wù)類，類似 Java 版本的 com.funtester.base.constaint.ThreadBase 抽象類，這樣可以設(shè)置一些類的屬性，綁定一些測(cè)試資源，適配更多的測(cè)試場(chǎng)景。
下面演示select的性能測(cè)試，這里我用了隨機(jī)ID查詢的場(chǎng)景。
這里我使用從35開(kāi)始遞增的ID進(jìn)行刪除。
這里使用了select的用例部分，隨機(jī)ID，然后更新name字段，隨機(jī)10個(gè)長(zhǎng)度的字符串。
這里用到了 FunTester 字段都是隨機(jī)生成。
到這里可以看出，性能測(cè)試框架用到的都是gorm框架的基礎(chǔ)API使用，這里MySQL連接池的管理工作完全交給了gorm框架完成，看資料說(shuō)非常牛逼，我們只需要設(shè)置幾個(gè)參數(shù)。這個(gè)使用體現(xiàn)很像 HttpClient 設(shè)置 HTTP 連接池類似，這里我們也可以看出這些優(yōu)秀的框架使用起來(lái)都是非常簡(jiǎn)單的。
PS：關(guān)于gorm的基礎(chǔ)使用的請(qǐng)參考上一期的文章Go語(yǔ)言gorm框架MySQL實(shí)踐。
GO是編譯性語(yǔ)言，所以函數(shù)的順序是無(wú)關(guān)緊要的，為了方便閱讀，建議入口函數(shù) main 寫(xiě)在最前面，其余函數(shù)按照功能需要進(jìn)行排列
GO的函數(shù) 不支持嵌套，重載和默認(rèn)參數(shù)
GO的函數(shù) 支持 無(wú)需聲明變量，可變長(zhǎng)度，多返回值，匿名，閉包等
GO的函數(shù)用 func 來(lái)聲明，且左大括號(hào) { 不能另起一行
一個(gè)簡(jiǎn)單的示例：
輸出為：
參數(shù)：可以傳0個(gè)或多個(gè)值來(lái)供自己用
返回：通過(guò)用 return 來(lái)進(jìn)行返回
輸出為：
上面就是一個(gè)典型的多參數(shù)傳遞與多返回值
對(duì)例子的說(shuō)明：
按值傳遞：是對(duì)某個(gè)變量進(jìn)行復(fù)制，不能更改原變量的值
引用傳遞：相當(dāng)于按指針傳遞，可以同時(shí)改變?cè)瓉?lái)的值，并且消耗的內(nèi)存會(huì)更少，只有4或8個(gè)字節(jié)的消耗
在上例中，返回值 (d int, e int, f int) { 是進(jìn)行了命名，如果不想命名可以寫(xiě)成 (int,int,int){ ,返回的結(jié)果都是一樣的，但要注意:
當(dāng)返回了多個(gè)值，我們某些變量不想要，或?qū)嶋H用不到，我們可以使用 _ 來(lái)補(bǔ)位，例如上例的返回我們可以寫(xiě)成 d,_,f := test(a,b,c) ，我們不想要中間的返回值，可以以這種形式來(lái)舍棄掉
在參數(shù)后面以 變量 ... type 這種形式的，我們就要以判斷出這是一個(gè)可變長(zhǎng)度的參數(shù)
輸出為：
在上例中， strs ...string 中， strs 的實(shí)際值是b,c,d,e,這就是一個(gè)最簡(jiǎn)單的傳遞可變長(zhǎng)度的參數(shù)的例子，更多一些演變的形式，都非常類似
在GO中 defer 關(guān)鍵字非常重要，相當(dāng)于面相對(duì)像中的析構(gòu)函數(shù)，也就是在某個(gè)函數(shù)執(zhí)行完成后，GO會(huì)自動(dòng)這個(gè)；
如果在多層循環(huán)中函數(shù)里，都定義了 defer ,那么它的執(zhí)行順序是先進(jìn)后出；
當(dāng)某個(gè)函數(shù)出現(xiàn)嚴(yán)重錯(cuò)誤時(shí)， defer 也會(huì)被調(diào)用
輸出為
這是一個(gè)最簡(jiǎn)單的測(cè)試了，當(dāng)然還有更復(fù)雜的調(diào)用，比如調(diào)試程序時(shí)，判斷是哪個(gè)函數(shù)出了問(wèn)題，完全可以根據(jù) defer 打印出來(lái)的內(nèi)容來(lái)進(jìn)行判斷，非?？焖?，這種留給你們?nèi)?shí)現(xiàn)
一個(gè)函數(shù)在函數(shù)體內(nèi)自己調(diào)用自己我們稱之為遞歸函數(shù)，在做遞歸調(diào)用時(shí)，經(jīng)常會(huì)將內(nèi)存給占滿，這是非常要注意的，常用的比如，快速排序就是用的遞歸調(diào)用
本篇重點(diǎn)介紹了GO函數(shù)(func)的聲明與使用，下一篇將介紹GO的結(jié)構(gòu) struct
Go 語(yǔ)言較之 C 語(yǔ)言一個(gè)很大的優(yōu)勢(shì)就是自帶 GC 功能，可 GC 并不是沒(méi)有代價(jià)的。寫(xiě) C 語(yǔ)言的時(shí)候，在一個(gè)函數(shù)內(nèi)聲明的變量，在函數(shù)退出后會(huì)自動(dòng)釋放掉，因?yàn)檫@些變量分配在棧上。如果你期望變量的數(shù)據(jù)可以在函數(shù)退出后仍然能被訪問(wèn)，就需要調(diào)用 malloc 方法在堆上申請(qǐng)內(nèi)存，如果程序不再需要這塊內(nèi)存了，再調(diào)用 free 方法釋放掉。Go 語(yǔ)言不需要你主動(dòng)調(diào)用 malloc 來(lái)分配堆空間，編譯器會(huì)自動(dòng)分析，找出需要 malloc 的變量，使用堆內(nèi)存。編譯器的這個(gè)分析過(guò)程就叫做逃逸分析。
所以你在一個(gè)函數(shù)中通過(guò) dict := make(map[string]int) 創(chuàng)建一個(gè) map 變量，其背后的數(shù)據(jù)是放在?？臻g上還是堆空間上，是不一定的。這要看編譯器分析的結(jié)果。
可逃逸分析并不是百分百準(zhǔn)確的，它有缺陷。有的時(shí)候你會(huì)發(fā)現(xiàn)有些變量其實(shí)在棧空間上分配完全沒(méi)問(wèn)題的，但編譯后程序還是把這些數(shù)據(jù)放在了堆上。如果你了解 Go 語(yǔ)言編譯器逃逸分析的機(jī)制，在寫(xiě)代碼的時(shí)候就可以有意識(shí)地繞開(kāi)這些缺陷，使你的程序更高效。
Go 語(yǔ)言雖然在內(nèi)存管理方面降低了編程門檻，即使你不了解堆棧也能正常開(kāi)發(fā)，但如果你要在性能上較真的話，還是要掌握這些基礎(chǔ)知識(shí)。
這里不對(duì)堆內(nèi)存和棧內(nèi)存的區(qū)別做太多闡述。簡(jiǎn)單來(lái)說(shuō)就是， 棧分配廉價(jià)，堆分配昂貴。 棧空間會(huì)隨著一個(gè)函數(shù)的結(jié)束自動(dòng)釋放，堆空間需要時(shí)間 GC 模塊不斷地跟蹤掃描回收。如果對(duì)這兩個(gè)概念有些迷糊，建議閱讀下面 2 個(gè)文章：
這里舉一個(gè)小例子，來(lái)對(duì)比下堆棧的差別：
stack 函數(shù)中的變量 i 在函數(shù)退出會(huì)自動(dòng)釋放；而 heap 函數(shù)返回的是對(duì)變量 i 的引用，也就是說(shuō) heap() 退出后，表示變量 i 還要能被訪問(wèn)，它會(huì)自動(dòng)被分配到堆空間上。
他們編譯出來(lái)的代碼如下：
邏輯的復(fù)雜度不言而喻，從上面的匯編中可看到， heap() 函數(shù)調(diào)用了 runtime.newobject() 方法，它會(huì)調(diào)用 mallocgc 方法從 mcache 上申請(qǐng)內(nèi)存，申請(qǐng)的內(nèi)部邏輯前面文章已經(jīng)講述過(guò)。堆內(nèi)存分配不僅分配上邏輯比?？臻g分配復(fù)雜，它最致命的是會(huì)帶來(lái)很大的管理成本，Go 語(yǔ)言要消耗很多的計(jì)算資源對(duì)其進(jìn)行標(biāo)記回收（也就是 GC 成本）。
Go 編輯器會(huì)自動(dòng)幫我們找出需要進(jìn)行動(dòng)態(tài)分配的變量，它是在編譯時(shí)追蹤一個(gè)變量的生命周期，如果能確認(rèn)一個(gè)數(shù)據(jù)只在函數(shù)空間內(nèi)訪問(wèn)，不會(huì)被外部使用，則使用?？臻g，否則就要使用堆空間。
我們?cè)? go build 編譯代碼時(shí)，可使用 -gcflags '-m' 參數(shù)來(lái)查看逃逸分析日志。
以上面的兩個(gè)函數(shù)為例，編譯的日志輸出是：
日志中的 i escapes to heap 表示該變量數(shù)據(jù)逃逸到了堆上。
需要使用堆空間，所以逃逸，這沒(méi)什么可爭(zhēng)議的。但編譯器有時(shí)會(huì)將 不需要 使用堆空間的變量，也逃逸掉。這里是容易出現(xiàn)性能問(wèn)題的大坑。網(wǎng)上有很多相關(guān)文章，列舉了一些導(dǎo)致逃逸情況，其實(shí)總結(jié)起來(lái)就一句話：
多級(jí)間接賦值容易導(dǎo)致逃逸 。
這里的多級(jí)間接指的是，對(duì)某個(gè)引用類對(duì)象中的引用類成員進(jìn)行賦值。Go 語(yǔ)言中的引用類數(shù)據(jù)類型有 func , interface , slice , map , chan , *Type(指針) 。
記住公式 Data.Field = Value ，如果 Data , Field 都是引用類的數(shù)據(jù)類型，則會(huì)導(dǎo)致 Value 逃逸。這里的等號(hào) = 不單單只賦值，也表示參數(shù)傳遞。
根據(jù)公式，我們假設(shè)一個(gè)變量 data 是以下幾種類型，相應(yīng)的可以得出結(jié)論：
下面給出一些實(shí)際的例子：
如果變量值是一個(gè)函數(shù)，函數(shù)的參數(shù)又是引用類型，則傳遞給它的參數(shù)都會(huì)逃逸。
上例中 te 的類型是 func(*int) ，屬于引用類型，參數(shù) *int 也是引用類型，則調(diào)用 te(j) 形成了為 te 的參數(shù)(成員) *int 賦值的現(xiàn)象，即 te.i = j 會(huì)導(dǎo)致逃逸。代碼中其他幾種調(diào)用都沒(méi)有形成 多級(jí)間接賦值 情況。
同理，如果函數(shù)的參數(shù)類型是 slice , map 或 interface{} 都會(huì)導(dǎo)致參數(shù)逃逸。
匿名函數(shù)的調(diào)用也是一樣的，它本質(zhì)上也是一個(gè)函數(shù)變量。有興趣的可以自己測(cè)試一下。
只要使用了 Interface 類型(不是 interafce{} )，那么賦值給它的變量一定會(huì)逃逸。因?yàn)? interfaceVariable.Method() 先是間接的定位到它的實(shí)際值，再調(diào)用實(shí)際值的同名方法，執(zhí)行時(shí)實(shí)際值作為參數(shù)傳遞給方法。相當(dāng)于 interfaceVariable.Method.this = realValue
向 channel 中發(fā)送數(shù)據(jù)，本質(zhì)上就是為 channel 內(nèi)部的成員賦值，就像給一個(gè) slice 中的某一項(xiàng)賦值一樣。所以 chan *Type , chan map[Type]Type , chan []Type , chan interface{} 類型都會(huì)導(dǎo)致發(fā)送到 channel 中的數(shù)據(jù)逃逸。
這本來(lái)也是情理之中的，發(fā)送給 channel 的數(shù)據(jù)是要與其他函數(shù)分享的，為了保證發(fā)送過(guò)去的指針依然可用，只能使用堆分配。
可變參數(shù)如 func(arg ...string) 實(shí)際與 func(arg []string) 是一樣的，會(huì)增加一層訪問(wèn)路徑。這也是 fmt.Sprintf 總是會(huì)使參數(shù)逃逸的原因。
例子非常多，這里不能一一列舉，我們只需要記住分析方法就好，即，2 級(jí)或更多級(jí)的訪問(wèn)賦值會(huì) 容易 導(dǎo)致數(shù)據(jù)逃逸。這里加上 容易 二字是因?yàn)殡S著語(yǔ)言的發(fā)展，相信這些問(wèn)題會(huì)被慢慢解決，但現(xiàn)階段，這個(gè)可以作為我們分析逃逸現(xiàn)象的依據(jù)。
下面代碼中包含 2 種很常規(guī)的寫(xiě)法，但他們卻有著很大的性能差距，建議自己想下為什么。
Benchmark 和 pprof 給出的結(jié)果:
熟悉堆棧概念可以讓我們更容易看透 Go 程序的性能問(wèn)題，并進(jìn)行優(yōu)化。
多級(jí)間接賦值會(huì)導(dǎo)致 Go 編譯器出現(xiàn)不必要的逃逸，在一些情況下可能我們只需要修改一下數(shù)據(jù)結(jié)構(gòu)就會(huì)使性能有大幅提升。這也是很多人不推薦在 Go 中使用指針的原因，因?yàn)樗鼤?huì)增加一級(jí)訪問(wèn)路徑，而 map , slice , interface{} 等類型是不可避免要用到的，為了減少不必要的逃逸，只能拿指針開(kāi)刀了。
大多數(shù)情況下，性能優(yōu)化都會(huì)為程序帶來(lái)一定的復(fù)雜度。建議實(shí)際項(xiàng)目中還是怎么方便怎么寫(xiě)，功能完成后通過(guò)性能分析找到瓶頸所在，再對(duì)局部進(jìn)行優(yōu)化。
從語(yǔ)法講，重載是擴(kuò)展了函數(shù)（或方法）簽名，從只認(rèn)名字變?yōu)槊?參數(shù)類型，所以題主這個(gè)例子只要把不同參數(shù)的foo函數(shù)改成不同名字就好，比如foo1，foo2……
這個(gè)不支持按官方說(shuō)法，是為了保持語(yǔ)法簡(jiǎn)單，以及避免工程中遇到一些問(wèn)題，比如參數(shù)隱式轉(zhuǎn)換等等
而支持重載的語(yǔ)言也有它們的道理，有時(shí)候，函數(shù)或方法名字不是程序員自己能控制的，比如說(shuō)，如果java不支持重載，那么只能有一個(gè)構(gòu)造函數(shù)，通過(guò)不同輸入構(gòu)造對(duì)象就比較麻煩，需要弄成靜態(tài)方法create的方式：
大家好，我是小白，有點(diǎn)黑的那個(gè)白。
最近遇到一個(gè)問(wèn)題，因?yàn)闃I(yè)務(wù)需求，需要對(duì)接第三方平臺(tái).
而三方平臺(tái)提供的一些HTTP(S)接口都有統(tǒng)一的密鑰生成規(guī)則要求.
為此我們封裝了一個(gè)獨(dú)立的包 xxx-go-sdk 以便維護(hù)和對(duì)接使用.
其中核心的部分是自定義HTTP Client,如下:
一些平臺(tái)會(huì)要求appKey/appSecret等信息，所以Client結(jié)構(gòu)體就變成了這樣，這時(shí)參數(shù)還比較少, 而且是必填的參數(shù)，我們可以提供構(gòu)造函數(shù)來(lái)明確指定。
看起來(lái)很滿足，但是當(dāng)我們需要增加一個(gè) Timeout 參數(shù)來(lái)控制超時(shí)呢?
或許你會(huì)說(shuō)這還不簡(jiǎn)單，像下面一樣再加一個(gè)參數(shù)唄
那再加些其他的參數(shù)呢？那構(gòu)造函數(shù)的參數(shù)是不是又長(zhǎng)又串，而且每個(gè)參數(shù)不一定是必須的，有些參數(shù)我們又會(huì)考慮默認(rèn)值的問(wèn)題。
為此，勤勞但尚未致富的 gophers 們使用了總結(jié)一種實(shí)踐模式
首先提取所有需要的參數(shù)到一個(gè)獨(dú)立的結(jié)構(gòu)體 Options，當(dāng)然你也可以用 Configs 啥的.
然后為每個(gè)參數(shù)提供設(shè)置函數(shù)
這樣我們就為每個(gè)參數(shù)設(shè)置了獨(dú)立的設(shè)置函數(shù)。返回值 func(*Options) 看著有點(diǎn)不友好，我們提取下定義為單個(gè) Option 調(diào)整一下代碼
當(dāng)我們需要添加更多的參數(shù)時(shí)，只需要在 Options 添加新的參數(shù)并添加新參數(shù)的設(shè)置函數(shù)即可。
比如現(xiàn)在要添加新的參數(shù) Timeout
這樣后續(xù)不管新增多少參數(shù)，只需要新增配置項(xiàng)并添加獨(dú)立的設(shè)置函數(shù)即可輕松擴(kuò)展，并且不會(huì)影響原有函數(shù)的參數(shù)順序和個(gè)數(shù)位置等。
至此，每個(gè)選項(xiàng)是區(qū)分開(kāi)來(lái)了，那么怎么作用到我們的 Client 結(jié)構(gòu)體上呢?
首先，配置選項(xiàng)都被提取到了 Options 結(jié)構(gòu)體重，所以我們需要調(diào)整一下 Client 結(jié)構(gòu)體的參數(shù)
其次，每一個(gè)選項(xiàng)函數(shù)返回 Option,那么任意多個(gè)就是 ...Option，我們調(diào)整一下構(gòu)造函數(shù) NewClient 的參數(shù)形式，改為可變參數(shù)，不再局限于固定順序的幾個(gè)參數(shù)。
然后循環(huán)遍歷每個(gè)選項(xiàng)函數(shù)，來(lái)生成Client結(jié)構(gòu)體的完整配置選項(xiàng)。
那么怎么調(diào)用呢？對(duì)于調(diào)用方而已，直接在調(diào)用構(gòu)造函數(shù)NewClient()的參數(shù)內(nèi)添加自己需要的設(shè)置函數(shù)(WithXXX)即可
當(dāng)需要設(shè)置超時(shí)參數(shù)，直接添加 WithTimeout即可,比如設(shè)置3秒的超時(shí)
配置選項(xiàng)的位置可以任意設(shè)置，不需要受常規(guī)的固定參數(shù)順序約束。
可以看到，這種實(shí)踐模式主要作用于配置選項(xiàng)，利用函數(shù)支持的特性來(lái)實(shí)現(xiàn)的，為此得名 Functional Options Pattern，優(yōu)美的中國(guó)話叫做「函數(shù)選項(xiàng)模式」。
最后, 我們總結(jié)回顧一下在Go語(yǔ)言中函數(shù)選項(xiàng)模式的優(yōu)缺點(diǎn)
重慶分公司
重慶分公司
