Go并发性能领域聚合建模：GMP模型原理与P数量调优 - 第1节

1. 并发编程基础：进程、线程与协程的概念对比

在深入 Go 语言的并发模型之前，必须先厘清操作系统与编程语言层面的三个核心抽象：进程、线程与协程。这三者构成了并发执行的基本单元，理解它们的差异是掌握 Go 高性能并发的基石。

1.1 概念定义与层级关系

• 进程：操作系统资源分配的最小单位。每个进程拥有独立的地址空间、文件描述符、堆栈等资源。进程间切换开销最大。
• 线程：CPU 调度的最小单位。线程隶属于进程，共享进程的地址空间和资源，但拥有独立的栈和寄存器上下文。线程间切换开销小于进程。
• 协程：用户态轻量级线程，由编程语言或运行时管理。协程的调度不依赖操作系统内核，完全在用户空间完成，切换开销极低（纳秒级）。

1.2 三要素对比表

1.3 进程、线程与协程的调度关系图

下图展示了从操作系统到用户态的三层调度关系，以及 Go 运行时在其中扮演的角色：

2. Go 语言并发模型概述

Go 语言的并发模型建立在 CSP（Communicating Sequential Processes，通信顺序进程）理论之上，核心思想是：“不要通过共享内存来通信，而应通过通信来共享内存”。Go 通过 goroutine 和 channel 两个原语，将并发编程的复杂度大幅降低。

2.1 Go 并发模型的核心组件

• Goroutine：Go 的协程实现，由 go 关键字启动。一个 goroutine 对应一个并发执行的任务。
• Channel：goroutine 之间的通信管道，支持有缓冲和无缓冲两种模式。Channel 是类型安全的，且天然支持同步。
• Select：多路复用机制，允许一个 goroutine 同时等待多个 channel 操作。
• Sync 包：提供传统的互斥锁（Mutex）、读写锁（RWMutex）、等待组（WaitGroup）等同步原语，用于需要共享内存的场景。

2.2 Go 并发模型架构图

下图展示了 Go 并发模型的核心架构，包括 goroutine、channel 以及底层的 GMP 调度器关系：

2.3 Go 并发编程的基本模式

以下代码展示了 Go 并发编程中最基础的 goroutine + channel 模式：

package main

import (
    "fmt"
    "time"
)

func worker(id int, jobs <-chan int, results chan<- int) {
    for job := range jobs {
        fmt.Printf("Worker %d 开始处理任务 %d\n", id, job)
        time.Sleep(100 * time.Millisecond) // 模拟耗时操作
        results <- job * 2
    }
}

func main() {
    const numJobs = 5
    jobs := make(chan int, numJobs)
    results := make(chan int, numJobs)

    // 启动 3 个 worker goroutine
    for w := 1; w <= 3; w++ {
        go worker(w, jobs, results)
    }

    // 发送任务
    for j := 1; j <= numJobs; j++ {
        jobs <- j
    }
    close(jobs)

    // 收集结果
    for r := 1; r <= numJobs; r++ {
        <-results
    }
    fmt.Println("所有任务完成")
}

2.4 Go 并发模型的优势总结