4. M（机器线程）管理：M的创建与复用、M的自旋与休眠、M与P的绑定关系

4.1 M 的核心定位与生命周期

M（Machine）是 Go 运行时对操作系统线程的抽象。每个 M 对应一个真实的 OS 线程，负责执行 Go 代码、原生代码或阻塞系统调用。M 的数量由运行时动态管理，上限由 GOMAXPROCS 和环境变量共同约束，但实际活跃 M 数通常远小于 OS 线程池上限。

4.2 M 的创建与复用机制

4.2.1 创建路径

M 的创建由 newm 函数触发，核心流程如下：

1. 检查空闲列表：运行时维护一个全局空闲 M 链表（sched.midle），优先复用已存在的 M。
2. 分配 M 结构体：若空闲列表为空，则分配 m 结构体并初始化信号栈、TLS（线程本地存储）。
3. 创建 OS 线程：调用 pthread_create（Linux）或 CreateThread（Windows）创建底层线程。
4. 绑定 P（可选）：若创建 M 是为了执行用户代码，则立即绑定一个 P；若仅用于处理系统调用，则暂不绑定。

// 简化伪代码：newm 核心逻辑
func newm(fn func(), pp *p, id int64) {
    // 1. 尝试从空闲列表获取
    mp := mget()
    if mp == nil {
        // 2. 分配新 m 结构
        mp = allocm(pp, fn, id)
        // 3. 创建 OS 线程
        newosproc(mp)
    } else {
        // 复用：重置状态
        mp.spinning = false
        mp.incidlelocked = 0
    }
    // 4. 绑定 P（如果传入）
    if pp != nil {
        mp.nextp.set(pp)
        notewakeup(&mp.park)
    }
}

4.2.2 复用策略

M 的复用通过以下两级缓存实现：

4.3 M 的自旋与休眠

4.3.1 自旋状态

当 M 绑定的 P 本地队列为空，且全局队列和网络轮询器均无待运行 G 时，M 进入自旋（spinning）状态。自旋的 M 会持续轮询，避免因线程休眠导致的调度延迟。

• 自旋条件：m.spinning == true 且 m.locks == 0。
• 自旋行为：循环调用 findrunnable()，尝试从全局队列、网络轮询器或其他 P 窃取 G。
• 自旋上限：运行时限制自旋 M 的数量不超过 GOMAXPROCS，避免 CPU 空转浪费。

4.3.2 休眠与唤醒

自旋 M 在以下条件下进入休眠：

1. 自旋超时：连续多次 findrunnable() 返回 nil，M 调用 mput() 将自己放入空闲列表。
2. 系统空闲：所有 P 队列均为空，运行时触发 stopm() 将 M 挂起。
3. 主动休眠：M 执行 gopark() 进入等待状态，等待事件唤醒。

休眠的 M 通过 notewakeup() 或 ready() 唤醒：

• 新 G 就绪：当有 G 变为可运行状态时，运行时从空闲列表取出一个 M 并绑定 P。
• 系统调用返回：阻塞在系统调用的 M 返回后，重新尝试绑定 P 并继续执行。
• 网络事件：网络轮询器检测到 I/O 就绪，唤醒等待的 M。

// 自旋与休眠切换示意
func findrunnable() (gp *g, inheritTime bool) {
    // ... 尝试从本地队列、全局队列、网络轮询器获取 G
    if gp == nil {
        // 自旋 M 尝试窃取
        if mp.spinning {
            gp = stealWork()
        }
        if gp == nil {
            // 进入休眠
            stopm()
            goto top
        }
    }
    return
}

4.4 M 与 P 的绑定关系

4.4.1 绑定规则

M 与 P 的绑定是 Go 调度模型的核心约束：

• 一对一绑定：一个 M 同一时刻只能绑定一个 P，一个 P 也只能绑定一个 M。
• 绑定前提：M 必须持有 P 才能执行 G；无 P 的 M 只能执行系统调用或自旋等待。
• 解绑时机：M 进入系统调用、M 休眠、M 被抢占时解绑 P。

4.4.2 绑定流程

M 绑定 P 的典型路径：

1. M 唤醒：从空闲列表取出 M，调用 acquirep() 获取一个空闲 P。
2. P 分配：从 sched.pidle 取出 P，设置 m.p 和 p.m 双向指针。
3. 状态更新：P 状态从 _Pidle 切换为 _Prunning，M 状态标记为 spinning=false。
4. 执行 G：M 从 P 的本地队列获取 G 并开始执行。

// acquirep 核心逻辑
func acquirep(pp *p) {
    // 确保当前 M 无绑定 P
    gp := getg()
    if gp.m.p != 0 {
        throw("acquirep: already in go")
    }
    // 绑定 P
    gp.m.p = pp
    pp.m = gp.m
    pp.status = _Prunning
}

4.4.3 解绑场景

4.5 M 管理状态机

下图展示了 M 在创建、自旋、休眠、绑定与解绑之间的完整状态转换：

4.6 M 管理审计清单

在系统审计或性能调优中，以下指标和配置项需要重点关注：

4.7 M 与 P 绑定的架构视图

下图展示了 M、P、G 三者之间的绑定关系及数据流：

4.8 常见问题与审计对策