3. M（机器线程）详解：M的结构、M的创建与销毁、M与系统线程的绑定

M（Machine）是 Go 调度器三要素中代表操作系统线程的核心抽象。它负责承载 P（逻辑处理器）和 G（Goroutine）的执行，是调度器与操作系统内核之间的桥梁。理解 M 的内部结构、生命周期以及它与系统线程的绑定关系，是掌握 Go 调度器底层运作机制的关键。

3.1 M 的核心结构

M 在 Go 运行时中由 runtime.m 结构体表示，该结构体包含了执行 Goroutine 所需的所有上下文信息。以下是其关键字段的归纳：

3.2 M 的创建与销毁

M 的创建和销毁是运行时根据工作负载动态调整线程数量的过程，遵循“按需创建、延迟销毁”的原则。

3.2.1 M 的创建流程

M 的创建通常由 newm() 函数触发，其核心步骤如下：

1. 触发条件：当调度器发现没有足够的 M 来处理可运行的 G，或者系统调用需要新的 M 来阻塞时，会调用 newm()。
2. 分配 M 结构体：从空闲 M 缓存链表（freem）中获取一个已释放的 m 结构体；如果链表为空，则通过 mheap 分配新的内存。
3. 初始化关键字段：设置 g0 的栈空间，初始化信号处理相关结构，并将 M 加入全局 M 链表（allm）。
4. 创建系统线程：调用操作系统 API（如 Linux 上的 clone() 或 pthread_create()）创建新的内核线程。
5. 线程入口函数：新线程启动后，执行 mstart() 函数，该函数会调用 schedule() 进入调度循环。

3.2.2 M 的销毁与回收

M 的销毁发生在以下场景：

• M 进入深度休眠：当 M 长时间找不到可运行的 G，且系统不需要它自旋时，会调用 mput() 将自身放入空闲 M 链表（sched.midle），并让底层线程休眠。
• 系统线程退出：当 M 绑定的 Goroutine 调用了 runtime.Goexit() 或发生不可恢复的错误时，M 会调用 threadexit() 销毁底层线程。
• M 结构体缓存：销毁后，m 结构体不会立即释放给操作系统，而是被放入 freem 链表，供后续 newm() 复用。

3.3 M 与系统线程的绑定

M 与操作系统线程是一对一的绑定关系。每个 M 在创建时都会对应一个内核线程，并且在整个生命周期中，这个绑定关系是固定的。这种设计简化了调度器的实现，但也带来了线程创建和上下文切换的开销。

3.3.1 绑定机制

绑定过程在 newm() 中完成：

// 简化后的 newm 逻辑
func newm(fn func(), pp *p, id int64) {
    // 1. 分配 m 结构体
    mp := allocm(pp, fn, id)
    // 2. 设置预绑定 P
    mp.nextp.set(pp)
    // 3. 创建系统线程，线程入口为 mstart
    newosproc(mp, unsafe.Pointer(mstart))
}

// 线程入口函数
func mstart() {
    // 获取当前 M
    mp := getg().m
    // 初始化 g0 栈
    mp.g0 = getg()
    // 进入调度循环
    schedule()
}

当 newosproc() 返回后，操作系统已经创建了一个新的内核线程，该线程的入口函数是 mstart()。从此，这个 M 和这个线程就绑定在一起了。

3.3.2 线程锁定的特殊场景

Go 提供了 runtime.LockOSThread() 和 runtime.UnlockOSThread() 函数，允许 Goroutine 与当前 M（以及其绑定的系统线程）锁定。这在以下场景中非常有用：

• CGO 调用：某些 C 库要求所有调用必须在同一个线程中执行。
• 操作系统线程局部存储：当 Goroutine 使用了线程局部存储（TLS）时，需要锁定线程以保证数据一致性。

锁定后，该 Goroutine 只能在这个特定的 M 上运行，直到调用 UnlockOSThread() 或 Goroutine 退出。

3.4 M 状态与生命周期 SVG 图

下图展示了 M 从创建到销毁的完整生命周期，以及在不同状态之间的转换关系：

3.5 M 与 P、G 的协作关系

M 不是孤立存在的，它必须与 P 和 G 协同工作才能完成 Goroutine 的执行。下图展示了 M、P、G 三者之间的绑定与协作关系：

3.6 关键设计原则与避坑指南