Goroutine調(diào)度是一個很復雜的機制，下面嘗試用簡單的語言描述一下Goroutine調(diào)度機制，想要對其有更深入的了解可以去研讀一下源碼。
創(chuàng)新互聯(lián)專業(yè)為企業(yè)提供甌海網(wǎng)站建設、甌海做網(wǎng)站、甌海網(wǎng)站設計、甌海網(wǎng)站制作等企業(yè)網(wǎng)站建設、網(wǎng)頁設計與制作、甌海企業(yè)網(wǎng)站模板建站服務，十多年甌海做網(wǎng)站經(jīng)驗，不只是建網(wǎng)站，更提供有價值的思路和整體網(wǎng)絡服務。
首先介紹一下GMP什么意思：
G ----------- goroutine: 即Go協(xié)程，每個go關(guān)鍵字都會創(chuàng)建一個協(xié)程。
M ---------- thread內(nèi)核級線程，所有的G都要放在M上才能運行。
P ----------- processor處理器，調(diào)度G到M上，其維護了一個隊列，存儲了所有需要它來調(diào)度的G。
Goroutine 調(diào)度器P和 OS 調(diào)度器是通過 M 結(jié)合起來的，每個 M 都代表了 1 個內(nèi)核線程，OS 調(diào)度器負責把內(nèi)核線程分配到 CPU 的核上執(zhí)行
模型圖：
避免頻繁的創(chuàng)建、銷毀線程，而是對線程的復用。
1）work stealing機制
當本線程無可運行的G時，嘗試從其他線程綁定的P偷取G，而不是銷毀線程。
2）hand off機制
當本線程M0因為G0進行系統(tǒng)調(diào)用阻塞時，線程釋放綁定的P，把P轉(zhuǎn)移給其他空閑的線程執(zhí)行。進而某個空閑的M1獲取P，繼續(xù)執(zhí)行P隊列中剩下的G。而M0由于陷入系統(tǒng)調(diào)用而進被阻塞，M1接替M0的工作，只要P不空閑，就可以保證充分利用CPU。M1的來源有可能是M的緩存池，也可能是新建的。當G0系統(tǒng)調(diào)用結(jié)束后，根據(jù)M0是否能獲取到P，將會將G0做不同的處理：
如果有空閑的P，則獲取一個P，繼續(xù)執(zhí)行G0。
如果沒有空閑的P，則將G0放入全局隊列，等待被其他的P調(diào)度。然后M0將進入緩存池睡眠。
如下圖
GOMAXPROCS設置P的數(shù)量，最多有GOMAXPROCS個線程分布在多個CPU上同時運行
在Go中一個goroutine最多占用CPU 10ms，防止其他goroutine被餓死。
具體可以去看另一篇文章
【Golang詳解】go語言調(diào)度機制 搶占式調(diào)度
當創(chuàng)建一個新的G之后優(yōu)先加入本地隊列，如果本地隊列滿了，會將本地隊列的G移動到全局隊列里面，當M執(zhí)行work stealing從其他P偷不到G時，它可以從全局G隊列獲取G。
協(xié)程經(jīng)歷過程
我們創(chuàng)建一個協(xié)程 go func()經(jīng)歷過程如下圖：
說明：
這里有兩個存儲G的隊列，一個是局部調(diào)度器P的本地隊列、一個是全局G隊列。新創(chuàng)建的G會先保存在P的本地隊列中，如果P的本地隊列已經(jīng)滿了就會保存在全局的隊列中；處理器本地隊列是一個使用數(shù)組構(gòu)成的環(huán)形鏈表，它最多可以存儲 256 個待執(zhí)行任務。
G只能運行在M中，一個M必須持有一個P，M與P是1：1的關(guān)系。M會從P的本地隊列彈出一個可執(zhí)行狀態(tài)的G來執(zhí)行，如果P的本地隊列為空，就會想其他的MP組合偷取一個可執(zhí)行的G來執(zhí)行；
一個M調(diào)度G執(zhí)行的過程是一個循環(huán)機制；會一直從本地隊列或全局隊列中獲取G
上面說到P的個數(shù)默認等于CPU核數(shù)，每個M必須持有一個P才可以執(zhí)行G，一般情況下M的個數(shù)會略大于P的個數(shù)，這多出來的M將會在G產(chǎn)生系統(tǒng)調(diào)用時發(fā)揮作用。類似線程池，Go也提供一個M的池子，需要時從池子中獲取，用完放回池子，不夠用時就再創(chuàng)建一個。
work-stealing調(diào)度算法：當M執(zhí)行完了當前P的本地隊列隊列里的所有G后，P也不會就這么在那躺尸啥都不干，它會先嘗試從全局隊列隊列尋找G來執(zhí)行，如果全局隊列為空，它會隨機挑選另外一個P，從它的隊列里中拿走一半的G到自己的隊列中執(zhí)行。
如果一切正常，調(diào)度器會以上述的那種方式順暢地運行，但這個世界沒這么美好，總有意外發(fā)生，以下分析goroutine在兩種例外情況下的行為。
Go runtime會在下面的goroutine被阻塞的情況下運行另外一個goroutine：
用戶態(tài)阻塞/喚醒
當goroutine因為channel操作或者network I/O而阻塞時（實際上golang已經(jīng)用netpoller實現(xiàn)了goroutine網(wǎng)絡I/O阻塞不會導致M被阻塞，僅阻塞G，這里僅僅是舉個栗子），對應的G會被放置到某個wait隊列(如channel的waitq)，該G的狀態(tài)由_Gruning變?yōu)開Gwaitting，而M會跳過該G嘗試獲取并執(zhí)行下一個G，如果此時沒有可運行的G供M運行，那么M將解綁P，并進入sleep狀態(tài)；當阻塞的G被另一端的G2喚醒時（比如channel的可讀/寫通知），G被標記為，嘗試加入G2所在P的runnext（runnext是線程下一個需要執(zhí)行的 Goroutine。）， 然后再是P的本地隊列和全局隊列。
系統(tǒng)調(diào)用阻塞
當M執(zhí)行某一個G時候如果發(fā)生了阻塞操作，M會阻塞，如果當前有一些G在執(zhí)行，調(diào)度器會把這個線程M從P中摘除，然后再創(chuàng)建一個新的操作系統(tǒng)的線程(如果有空閑的線程可用就復用空閑線程)來服務于這個P。當M系統(tǒng)調(diào)用結(jié)束時候，這個G會嘗試獲取一個空閑的P執(zhí)行，并放入到這個P的本地隊列。如果獲取不到P，那么這個線程M變成休眠狀態(tài)， 加入到空閑線程中，然后這個G會被放入全局隊列中。
隊列輪轉(zhuǎn)
可見每個P維護著一個包含G的隊列，不考慮G進入系統(tǒng)調(diào)用或IO操作的情況下，P周期性的將G調(diào)度到M中執(zhí)行，執(zhí)行一小段時間，將上下文保存下來，然后將G放到隊列尾部，然后從隊列中重新取出一個G進行調(diào)度。
除了每個P維護的G隊列以外，還有一個全局的隊列，每個P會周期性地查看全局隊列中是否有G待運行并將其調(diào)度到M中執(zhí)行，全局隊列中G的來源，主要有從系統(tǒng)調(diào)用中恢復的G。之所以P會周期性地查看全局隊列，也是為了防止全局隊列中的G被餓死。
除了每個P維護的G隊列以外，還有一個全局的隊列，每個P會周期性地查看全局隊列中是否有G待運行并將其調(diào)度到M中執(zhí)行，全局隊列中G的來源，主要有從系統(tǒng)調(diào)用中恢復的G。之所以P會周期性地查看全局隊列，也是為了防止全局隊列中的G被餓死。
M0
M0是啟動程序后的編號為0的主線程，這個M對應的實例會在全局變量rutime.m0中，不需要在heap上分配，M0負責執(zhí)行初始化操作和啟動第一個G，在之后M0就和其他的M一樣了
G0
G0是每次啟動一個M都會第一個創(chuàng)建的goroutine，G0僅用于負責調(diào)度G，G0不指向任何可執(zhí)行的函數(shù)，每個M都會有一個自己的G0，在調(diào)度或系統(tǒng)調(diào)用時會使用G0的棧空間，全局變量的G0是M0的G0
一個G由于調(diào)度被中斷，此后如何恢復？
中斷的時候?qū)⒓拇嫫骼锏臈Ｐ畔?，保存到自己的G對象里面。當再次輪到自己執(zhí)行時，將自己保存的棧信息復制到寄存器里面，這樣就接著上次之后運行了。
我這里只是根據(jù)自己的理解進行了簡單的介紹，想要詳細了解有關(guān)GMP的底層原理可以去看Go調(diào)度器 G-P-M 模型的設計者的文檔或直接看源碼
參考： ()
()
在開始之前，希望你計算一下 Part1 共占用的大小是多少呢？
輸出結(jié)果：
這么一算， Part1 這一個結(jié)構(gòu)體的占用內(nèi)存大小為 1+4+1+8+1 = 15 個字節(jié)。相信有的小伙伴是這么算的，看上去也沒什么毛病
真實情況是怎么樣的呢？我們實際調(diào)用看看，如下：
輸出結(jié)果：
最終輸出為占用 32 個字節(jié)。這與前面所預期的結(jié)果完全不一樣。這充分地說明了先前的計算方式是錯誤的。為什么呢？
在這里要提到 “內(nèi)存對齊” 這一概念，才能夠用正確的姿勢去計算，接下來我們詳細的講講它是什么
有的小伙伴可能會認為內(nèi)存讀取，就是一個簡單的字節(jié)數(shù)組擺放
上圖表示一個坑一個蘿卜的內(nèi)存讀取方式。但實際上 CPU 并不會以一個一個字節(jié)去讀取和寫入內(nèi)存。相反 CPU 讀取內(nèi)存是 一塊一塊讀取 的，塊的大小可以為 2、4、6、8、16 字節(jié)等大小。塊大小我們稱其為 內(nèi)存訪問粒度 。如下圖：
在樣例中，假設訪問粒度為 4。 CPU 是以每 4 個字節(jié)大小的訪問粒度去讀取和寫入內(nèi)存的。這才是正確的姿勢
另外作為一個工程師，你也很有必要學習這塊知識點哦 :)
在上圖中，假設從 Index 1 開始讀取，將會出現(xiàn)很崩潰的問題。因為它的內(nèi)存訪問邊界是不對齊的。因此 CPU 會做一些額外的處理工作。如下：
從上述流程可得出，不做 “內(nèi)存對齊” 是一件有點 "麻煩" 的事。因為它會增加許多耗費時間的動作
而假設做了內(nèi)存對齊，從 Index 0 開始讀取 4 個字節(jié)，只需要讀取一次，也不需要額外的運算。這顯然高效很多，是標準的 空間換時間 做法
在不同平臺上的編譯器都有自己默認的 “對齊系數(shù)”，可通過預編譯命令 #pragma pack(n) 進行變更，n 就是代指 “對齊系數(shù)”。一般來講，我們常用的平臺的系數(shù)如下：
另外要注意，不同硬件平臺占用的大小和對齊值都可能是不一樣的。因此本文的值不是唯一的，調(diào)試的時候需按本機的實際情況考慮
輸出結(jié)果：
在 Go 中可以調(diào)用 unsafe.Alignof 來返回相應類型的對齊系數(shù)。通過觀察輸出結(jié)果，可得知基本都是 2^n ，最大也不會超過 8。這是因為我手提（64 位）編譯器默認對齊系數(shù)是 8，因此最大值不會超過這個數(shù)
在上小節(jié)中，提到了結(jié)構(gòu)體中的成員變量要做字節(jié)對齊。那么想當然身為最終結(jié)果的結(jié)構(gòu)體，也是需要做字節(jié)對齊的
接下來我們一起分析一下，“它” 到底經(jīng)歷了些什么，影響了 “預期” 結(jié)果
在每個成員變量進行對齊后，根據(jù)規(guī)則 2，整個結(jié)構(gòu)體本身也要進行字節(jié)對齊，因為可發(fā)現(xiàn)它可能并不是 2^n ，不是偶數(shù)倍。顯然不符合對齊的規(guī)則
根據(jù)規(guī)則 2，可得出對齊值為 8?，F(xiàn)在的偏移量為 25，不是 8 的整倍數(shù)。因此確定偏移量為 32。對結(jié)構(gòu)體進行對齊
Part1 內(nèi)存布局：axxx|bbbb|cxxx|xxxx|dddd|dddd|exxx|xxxx
通過本節(jié)的分析，可得知先前的 “推算” 為什么錯誤？
是因為實際內(nèi)存管理并非 “一個蘿卜一個坑” 的思想。而是一塊一塊。通過空間換時間（效率）的思想來完成這塊讀取、寫入。另外也需要兼顧不同平臺的內(nèi)存操作情況
在上一小節(jié)，可得知根據(jù)成員變量的類型不同，其結(jié)構(gòu)體的內(nèi)存會產(chǎn)生對齊等動作。那假設字段順序不同，會不會有什么變化呢？我們一起來試試吧 :-)
輸出結(jié)果：
通過結(jié)果可以驚喜的發(fā)現(xiàn)，只是 “簡單” 對成員變量的字段順序進行改變，就改變了結(jié)構(gòu)體占用大小
接下來我們一起剖析一下 Part2 ，看看它的內(nèi)部到底和上一位之間有什么區(qū)別，才導致了這樣的結(jié)果？
符合規(guī)則 2，不需要額外對齊
Part2 內(nèi)存布局：ecax|bbbb|dddd|dddd
通過對比 Part1 和 Part2 的內(nèi)存布局，你會發(fā)現(xiàn)兩者有很大的不同。如下：
仔細一看， Part1 存在許多 Padding。顯然它占據(jù)了不少空間，那么 Padding 是怎么出現(xiàn)的呢？
通過本文的介紹，可得知是由于不同類型導致需要進行字節(jié)對齊，以此保證內(nèi)存的訪問邊界
那么也不難理解，為什么 調(diào)整結(jié)構(gòu)體內(nèi)成員變量的字段順序 就能達到縮小結(jié)構(gòu)體占用大小的疑問了，是因為巧妙地減少了 Padding 的存在。讓它們更 “緊湊” 了。這一點對于加深 Go 的內(nèi)存布局印象和大對象的優(yōu)化非常有幫
具體步驟：
1、去官網(wǎng)下載go1.1.2的tarball,一般下載到tem目錄
2、打開終端cd /usr/local, tar -zxvf go1.1.2.linux-386.tar.gz
將源碼文件解壓縮到/usr/local目錄，如果解壓到其他目錄，需要自己設置GOROOT
3、安裝gcc工具,因為golang有些功能是使用c寫
sudo apt-get install bison gawk gcc libc6-dev make
4、$ cd go/src，$ ./all.bash
運行bash腳本，如果運行正常會獲得你的操作系統(tǒng)和cpu信息，自動編譯安裝
5、將export PATH=$PATH:/usr/local/go/bin 寫入$HOME/.profile
最后進行測試輸入go version 會顯示go1.1.2 linux/386
英文原文鏈接【Go, the unwritten parts】 發(fā)表于2017/05/22 作者JBD是Go語言開發(fā)小組成員
檢查程序的執(zhí)行路徑和當前狀態(tài)是非常有用的調(diào)試手段。核心文件（core file）包含了一個運行進程的內(nèi)存轉(zhuǎn)儲和狀態(tài)。它主要是用來作為事后調(diào)試程序用的。它也可以被用來查看一個運行中的程序的狀態(tài)。這兩個使用場景使調(diào)試文件轉(zhuǎn)儲成為一個非常好的診斷手段。我們可以用這個方法來做事后診斷和分析線上的服務（production services）。
在這篇文章中，我們將用一個簡單的hello world網(wǎng)站服務作為例子。在現(xiàn)實中，我們的程序很容易就會變得很復雜。分析核心轉(zhuǎn)儲給我們提供了一個機會去重構(gòu)程序的狀態(tài)并且查看只有在某些條件／環(huán)境下才能重現(xiàn)的案例。
作者注 : 這個調(diào)試流程只在Linux上可行。我不是很確定它是否在其它Unixs系統(tǒng)上工作。macOS對此還不支持。Windows現(xiàn)在也不支持。
在我們開始前，需要確保核心轉(zhuǎn)儲的ulimit設置在合適的范圍。它的缺省值是0，意味著最大的核心文件大小是0。我通常在我的開發(fā)機器上將它設置成unlimited。使用以下命令：
接下來，你需要在你的機器上安裝 delve 。
下面我們使用的 main.go 文件。它注冊了一個簡單的請求處理函數(shù)（handler）然后啟動了HTTP服務。
讓我們編譯并生產(chǎn)二進制文件。
現(xiàn)在讓我們假設，這個服務器出了些問題，但是我們并不是很確定問題的根源。你可能已經(jīng)在程序里加了很多輔助信息，但還是無法從這些調(diào)試信息中找出線索。通常在這種情況下，當前進程的快照會非常有用。我們可以用這個快照深入查看程序的當前狀態(tài)。
有幾個方式來獲取核心文件。你可能已經(jīng)熟悉了奔潰轉(zhuǎn)儲（crash dumps）。它們是在一個程序奔潰的時候?qū)懭氪疟P的核心轉(zhuǎn)儲。Go語言在缺省設置下不會生產(chǎn)奔潰轉(zhuǎn)儲。但是當你把 GOTRACEBACK 環(huán)境變量設置成“crash”，你就可以用 Ctrl+backslash 才觸發(fā)奔潰轉(zhuǎn)儲。如下圖所示：
上面的操作會使程序終止，將堆棧跟蹤（stack trace）打印出來，并把核心轉(zhuǎn)儲文件寫入磁盤。
另外個方法可以從一個運行的程序獲得核心轉(zhuǎn)儲而不需要終止相應的進程。 gcore 可以生產(chǎn)核心文件而無需使運行中的程序退出。
根據(jù)上面的操作，我們獲得了轉(zhuǎn)儲而沒有終止對應的進程。下一步就是把核心文件加載進delve并開始分析。
差不多就這些。delve的常用操作都可以使用。你可以backtrace，list，查看變量等等。有些功能不可用因為我們使用的核心轉(zhuǎn)儲是一個快照而不是正在運行的進程。但是程序執(zhí)行路徑和狀態(tài)全部可以訪問。
本教程介紹了使用 Godatabase/sql及其標準庫中的包訪問關(guān)系數(shù)據(jù)庫的基礎(chǔ)知識。
您將使用的database/sql包包括用于連接數(shù)據(jù)庫、執(zhí)行事務、取消正在進行的操作等的類型和函數(shù)。
在本教程中，您將創(chuàng)建一個數(shù)據(jù)庫，然后編寫代碼來訪問該數(shù)據(jù)庫。您的示例項目將是有關(guān)老式爵士樂唱片的數(shù)據(jù)存儲庫。
首先，為您要編寫的代碼創(chuàng)建一個文件夾。
1、打開命令提示符并切換到您的主目錄。
在 Linux 或 Mac 上：
在 Windows 上：
2、在命令提示符下，為您的代碼創(chuàng)建一個名為 data-access 的目錄。
3、創(chuàng)建一個模塊，您可以在其中管理將在本教程中添加的依賴項。
運行g(shù)o mod init命令，為其提供新代碼的模塊路徑。
此命令創(chuàng)建一個 go.mod 文件，您添加的依賴項將在其中列出以供跟蹤。
注意： 在實際開發(fā)中，您會指定一個更符合您自己需求的模塊路徑。有關(guān)更多信息，請參閱一下文章。
GO語言（二十五）：管理依賴項（上）
GO語言（二十六）：管理依賴項（中）
GO語言（二十七）：管理依賴項（下）
接下來，您將創(chuàng)建一個數(shù)據(jù)庫。
在此步驟中，您將創(chuàng)建要使用的數(shù)據(jù)庫。您將使用 DBMS 本身的 CLI 創(chuàng)建數(shù)據(jù)庫和表，以及添加數(shù)據(jù)。
您將創(chuàng)建一個數(shù)據(jù)庫，其中包含有關(guān)黑膠唱片上的老式爵士樂錄音的數(shù)據(jù)。
這里的代碼使用MySQL CLI，但大多數(shù) DBMS 都有自己的 CLI，具有類似的功能。
1、打開一個新的命令提示符。
在命令行，登錄到您的 DBMS，如下面的 MySQL 示例所示。
2、在mysql命令提示符下，創(chuàng)建一個數(shù)據(jù)庫。
3、切到您剛剛創(chuàng)建的數(shù)據(jù)庫，以便您可以添加表。
4、在文本編輯器的 data-access 文件夾中，創(chuàng)建一個名為 create-tables.sql 的文件來保存用于添加表的 SQL 腳本。
將以下 SQL 代碼粘貼到文件中，然后保存文件。
在此 SQL 代碼中：
（1）刪除名為album表。 首先執(zhí)行此命令可以讓您更輕松地稍后重新運行腳本。
（2）創(chuàng)建一個album包含四列的表：title、artist和price。每行的id值由 DBMS 自動創(chuàng)建。
（3）添加帶有值的四行。
5、在mysql命令提示符下，運行您剛剛創(chuàng)建的腳本。
您將使用以下形式的source命令：
6、在 DBMS 命令提示符處，使用SELECT語句來驗證您是否已成功創(chuàng)建包含數(shù)據(jù)的表。
接下來，您將編寫一些 Go 代碼進行連接，以便進行查詢。
現(xiàn)在你已經(jīng)有了一個包含一些數(shù)據(jù)的數(shù)據(jù)庫，開始你的 Go 代碼。
找到并導入一個數(shù)據(jù)庫驅(qū)動程序，該驅(qū)動程序會將您通過database/sql包中的函數(shù)發(fā)出的請求轉(zhuǎn)換為數(shù)據(jù)庫可以理解的請求。
1、在您的瀏覽器中，訪問SQLDrivers wiki 頁面以識別您可以使用的驅(qū)動程序。
2、使用頁面上的列表來識別您將使用的驅(qū)動程序。為了在本教程中訪問 MySQL，您將使用 Go-MySQL-Driver。
3、請注意驅(qū)動程序的包名稱 - 此處為github.com/go-sql-driver/mysql.
4、使用您的文本編輯器，創(chuàng)建一個用于編寫 Go 代碼的文件，并將該文件作為 main.go 保存在您之前創(chuàng)建的數(shù)據(jù)訪問目錄中。
5、進入main.go，粘貼以下代碼導入驅(qū)動包。
在此代碼中：
（1）將您的代碼添加到main包中，以便您可以獨立執(zhí)行它。
（2）導入 MySQL 驅(qū)動程序github.com/go-sql-driver/mysql。
導入驅(qū)動程序后，您將開始編寫代碼以訪問數(shù)據(jù)庫。
現(xiàn)在編寫一些 Go 代碼，讓您使用數(shù)據(jù)庫句柄訪問數(shù)據(jù)庫。
您將使用指向結(jié)構(gòu)的指針sql.DB，它表示對特定數(shù)據(jù)庫的訪問。
編寫代碼
1、進入 main.go，在import您剛剛添加的代碼下方，粘貼以下 Go 代碼以創(chuàng)建數(shù)據(jù)庫句柄。
在此代碼中：
（3）使用 MySQL 驅(qū)動程序Config和FormatDSN類型以收集連接屬性并將它們格式化為連接字符串的 DSN。
該Config結(jié)構(gòu)使代碼比連接字符串更容易閱讀。
（4）調(diào)用sql.Open 初始化db變量，傳遞 FormatDSN。
（5）檢查來自 的錯誤sql.Open。例如，如果您的數(shù)據(jù)庫連接細節(jié)格式不正確，它可能會失敗。
為了簡化代碼，您調(diào)用log.Fatal結(jié)束執(zhí)行并將錯誤打印到控制臺。在生產(chǎn)代碼中，您會希望以更優(yōu)雅的方式處理錯誤。
（6）調(diào)用DB.Ping以確認連接到數(shù)據(jù)庫有效。在運行時， sql.Open可能不會立即連接，具體取決于驅(qū)動程序。您在Ping此處使用以確認 database/sql包可以在需要時連接。
（7）檢查來自Ping的錯誤，以防連接失敗。
（8）Ping如果連接成功，則打印一條消息。
文件的頂部現(xiàn)在應該如下所示：
3、保存 main.go。
1、開始跟蹤 MySQL 驅(qū)動程序模塊作為依賴項。
使用go get 添加 github.com/go-sql-driver/mysql 模塊作為您自己模塊的依賴項。使用點參數(shù)表示“獲取當前目錄中代碼的依賴項”。
2、在命令提示符下，設置Go 程序使用的DBUSER和DBPASS環(huán)境變量。
在 Linux 或 Mac 上：
在 Windows 上：
3、在包含 main.go 的目錄中的命令行中，通過鍵入go run來運行代碼。
連接成功了！
接下來，您將查詢一些數(shù)據(jù)。
前段時間在golang-China讀到這個貼：
個人覺得golang十分適合進行網(wǎng)游服務器端開發(fā)，寫下這篇文章總結(jié)一下。
從網(wǎng)游的角度看：
要成功的運營一款網(wǎng)游，很大程度上依賴于玩家自發(fā)形成的社區(qū)。只有玩家自發(fā)形成一個穩(wěn)定的生態(tài)系統(tǒng)，游戲才能持續(xù)下去，避免鬼城的出現(xiàn)。而這就需要多次大量導入用戶，在同時在線用戶量達到某個臨界點的時候，才有可能完成。因此，多人同時在線十分有必要。
再來看網(wǎng)游的常見玩法，除了排行榜這類統(tǒng)計和數(shù)據(jù)匯總的功能外，基本沒有需要大量CPU時間的應用。以前的項目里，即時戰(zhàn)斗產(chǎn)生的各種傷害計算對CPU的消耗也不大。玩家要完成一次操作，需要通過客戶端-服務器端-客戶端這樣一個來回，為了獲得高響應速度，滿足玩家體驗，服務器端的處理也不能占用太多時間。所以，每次請求對應的CPU占用是比較小的。
網(wǎng)游的IO主要分兩個方面，一個是網(wǎng)絡IO，一個是磁盤IO。網(wǎng)絡IO方面，可以分成美術(shù)資源的IO和游戲邏輯指令的IO，這里主要分析游戲邏輯的IO。游戲邏輯的IO跟CPU占用的情況相似，每次請求的字節(jié)數(shù)很小，但由于多人同時在線，因此并發(fā)數(shù)相當高。另外，地圖信息的廣播也會帶來比較頻繁的網(wǎng)絡通信。磁盤IO方面，主要是游戲數(shù)據(jù)的保存。采用不同的數(shù)據(jù)庫，會有比較大的區(qū)別。以前的項目里，就經(jīng)歷了從MySQL轉(zhuǎn)向MongoDB這種內(nèi)存數(shù)據(jù)庫的過程，磁盤IO不再是瓶頸?？傮w來說，還是用內(nèi)存做一級緩沖，避免大量小數(shù)據(jù)塊讀寫的方案。
針對網(wǎng)游的這些特點，golang的語言特性十分適合開發(fā)游戲服務器端。
首先，go語言提供goroutine機制作為原生的并發(fā)機制。每個goroutine所需的內(nèi)存很少，實際應用中可以啟動大量的goroutine對并發(fā)連接進行響應。goroutine與gevent中的greenlet很相像，遇到IO阻塞的時候，調(diào)度器就會自動切換到另一個goroutine執(zhí)行，保證CPU不會因為IO而發(fā)生等待。而goroutine與gevent相比，沒有了python底層的GIL限制，就不需要利用多進程來榨取多核機器的性能了。通過設置最大線程數(shù)，可以控制go所啟動的線程，每個線程執(zhí)行一個goroutine，讓CPU滿負載運行。
同時，go語言為goroutine提供了獨到的通信機制channel。channel發(fā)生讀寫的時候，也會掛起當前操作channel的goroutine，是一種同步阻塞通信。這樣既達到了通信的目的，又實現(xiàn)同步，用CSP模型的觀點看，并發(fā)模型就是通過一組進程和進程間的事件觸發(fā)解決任務的。雖然說，主流的編程語言之間，只要是圖靈完備的，他們就都能實現(xiàn)相同的功能。但go語言提供的這種協(xié)程間通信機制，十分優(yōu)雅地揭示了協(xié)程通信的本質(zhì)，避免了以往鎖的顯式使用帶給程序員的心理負擔，確是一大優(yōu)勢。進行網(wǎng)游開發(fā)的程序員，可以將游戲邏輯按照單線程阻塞式的寫，不需要額外考慮線程調(diào)度的問題，以及線程間數(shù)據(jù)依賴的問題。因為，線程間的channel通信，已經(jīng)表達了線程間的數(shù)據(jù)依賴關(guān)系了，而go的調(diào)度器會給予妥善的處理。
另外，go語言提供的gc機制，以及對指針的保護式使用，可以大大減輕程序員的開發(fā)壓力，提高開發(fā)效率。
展望未來，我期待go語言社區(qū)能夠提供更多的goroutine間的隔離機制。個人十分推崇erlang社區(qū)的脆崩哲學，推動應用發(fā)生預期外行為時，盡早崩潰，再fork出新進程處理新的請求。對于協(xié)程機制，需要由程序員保證執(zhí)行的函數(shù)不會發(fā)生死循環(huán)，導致線程卡死。如果能夠定制goroutine所執(zhí)行函數(shù)的最大CPU執(zhí)行時間，及所能使用的最大內(nèi)存空間，對于提升系統(tǒng)的魯棒性，大有裨益。
重慶分公司
重慶分公司
