goroutine 是 go 并發的核心，它比線程更輕量高效。1.goroutine 默認棧僅 2kb，創建成本低、切換效率高；2.調度在用戶態完成，減少系統調用開銷；3.gmp 模型通過 p 控制并行度，m 執行 g 的任務；4.m 阻塞時釋放 p，允許其他 m 搶占執行；5.實際開發應避免主線程阻塞、合理控制 goroutine 數量；6.使用 pprof 工具分析性能問題，配合 channel 調節并發節奏。這些設計使 go 在高并發場景下表現出色。
Goroutine 是 Go 語言并發的核心機制，它比操作系統線程更輕量、更高效。Go 的調度器采用了 GMP 模型（Goroutine、M（machine）、P（processor））來實現對大量并發任務的高效管理。簡單來說，GMP 模型通過 P 來控制并行度，讓 M 去執行 G 上的任務，從而實現了高性能的并發調度。
Goroutine 和線程的區別
傳統的多線程編程中，每個線程都需要較大的內存開銷（通常幾MB），而且線程切換代價高。而 Goroutine 更輕量，默認棧大小只有2KB，并且會自動擴展。
- 創建成本低：啟動成千上萬個 Goroutine 并不罕見。
- 切換效率高：由 Go 調度器負責上下文切換，而不是操作系統。
- 用戶態調度：調度邏輯在運行時完成，減少了系統調用開銷。
這種設計使得 Go 在處理高并發場景時表現優異。
立即學習“go語言免費學習筆記（深入）”；
GMP 模型的基本組成
GMP 是 Go 調度器的核心模型：
- G（Goroutine）：代表一個并發任務，也就是我們寫的 go func() 啟動的那個函數。
- M（Machine）：代表系統線程，是真正執行代碼的“工人”。
- P（Processor）：處理器，用于協調 G 和 M 的關系，控制最大并行度（GOMAXPROCS）。
它們之間的關系可以理解為：
- 每個 M 必須綁定一個 P 才能執行 G。
- 每個 P 管理一個本地的可運行 G 隊列。
- 當某個 M 阻塞（比如等待 IO）時，P 可以被其他 M 搶占繼續工作。
調度流程簡析
Go 的調度器會在程序運行時動態地進行調度決策，主要流程如下：
- 新建的 Goroutine 會被放入全局隊列或某個 P 的本地隊列。
- M 綁定 P 后，從本地隊列取 G 執行；如果本地隊列空了，就去全局隊列或其他 P 的隊列“偷”任務。
- 如果某個 G 發生阻塞（如系統調用），當前 M 會釋放 P，允許其他 M 使用該 P 執行其他任務。
- 阻塞結束后，G 會嘗試重新獲取 P 繼續執行。
這個過程完全是用戶態完成的，不需要頻繁陷入內核態，因此效率很高。
實際應用中需要注意的點
雖然 Go 的調度器非常智能，但我們在寫代碼時還是要注意一些細節：
- 盡量避免長時間阻塞主線程（比如在 main 函數里沒有 go 關鍵字直接調用耗時函數）。
- 對于 CPU 密集型任務，適當限制 Goroutine 數量，避免資源競爭和過多上下文切換。
- 如果你發現程序并發性能不如預期，可以使用 pprof 工具分析調度情況。
例如，在做批量數據處理時，合理設置 Goroutine 數量，配合 channel 控制并發節奏，往往比盲目開啟大量 Goroutine 效果更好。
基本上就這些。GMP 模型的設計讓 Go 的并發變得既強大又易用，雖然底層機制復雜，但開發者只需要理解基本原理，就能寫出高效的并發程序。
