3. M（机器线程）：M的结构体字段解析、M的创建与复用、M与系统线程的绑定关系

3.1 M 结构体核心字段解析

在 Go 运行时中，m 结构体代表一个操作系统线程（Machine）。它是调度器三大核心组件之一，负责承载 P（处理器）和 G（协程）的执行。M 本身并不执行代码，而是通过绑定系统线程来提供执行能力。

以下为 m 结构体在 src/runtime/runtime2.go 中的核心字段及其作用：

3.2 M 的创建与复用机制

Go 运行时不会为每个 G 都创建新的 M，而是采用“按需创建 + 空闲复用”的策略，以降低系统线程创建和销毁的开销。

3.2.1 M 的创建流程

M 的创建入口是 newm(fn, pp) 函数，调用链如下：

1. 触发条件：当调度器发现没有空闲 M 可用，且需要新的执行线程时（如启动新 P、处理系统调用阻塞等）。
2. 分配 m 结构体：调用 allocm() 从堆上分配 m 结构体，并初始化 g0 栈。
3. 创建系统线程：调用 newosproc(mp)，通过操作系统 API（如 Linux 的 clone）创建真正的内核线程。
4. 线程入口：新线程启动后执行 mstart()，进入调度循环。

3.2.2 M 的复用池

当 M 完成任务且没有 G 可执行时，它不会立即销毁，而是进入空闲链表等待复用。复用机制通过以下字段和函数实现：

复用流程如下：

• M 执行完所有 G 且无 P 可绑定 → 调用 mput 进入空闲链表。
• 调度器需要新 M → 先调用 mget 尝试获取空闲 M。
• 若获取成功 → 直接唤醒该 M 的系统线程，避免创建开销。
• 若获取失败 → 调用 newm 创建新 M。

3.3 M 与系统线程的绑定关系

M 与操作系统线程之间是 1:1 绑定 关系。每个 M 结构体在创建时都会对应一个真实的 OS 线程，直到 M 被销毁或线程退出。

3.3.1 绑定实现

在 newosproc 函数中，Go 运行时通过平台特定的系统调用创建线程，并将线程的入口函数设置为 mstart。线程启动后，其线程局部存储（TLS）中会保存 M 的指针，使得运行时可以随时通过 getg() 获取当前线程绑定的 M 和 G。

// 简化伪代码：Linux 下 newosproc 的实现
func newosproc(mp *m) {
    // 创建线程，栈大小为 2MB
    ret := clone(cloneFlags, stackTop, mp, &mstart)
    // 线程启动后，mp 被保存在 TLS 中
}

3.3.2 绑定生命周期

M 与系统线程的绑定从创建开始，到 M 被回收结束。期间 M 可以处于以下状态：

3.3.3 锁线程（LockOSThread）

当 G 调用 runtime.LockOSThread() 时，M 与 G 绑定，且该 M 不再被调度器复用。这种机制用于需要线程局部存储或特定线程亲和性的场景（如 CGO 回调、图形库绑定）。

// G 锁定当前 M
runtime.LockOSThread()
// 此时 lockedg 指向当前 G，该 M 不会进入空闲链表
// 直到 G 调用 UnlockOSThread() 或退出

3.4 M 与系统线程绑定关系图

下图展示了 M 结构体与系统线程之间的绑定关系，以及 M 在不同状态下的线程行为：

3.5 M 复用与创建流程图

下图展示了调度器在需要 M 时的决策流程，体现“优先复用、按需创建”的核心策略：

3.6 关键设计原则

• M 不执行代码，只提供执行上下文：M 本身只是一个结构体，真正的执行能力来自绑定的系统线程。
• M 与 P 解耦：M 可以绑定不同的 P，P 也可以绑定不同的 M，这种解耦使得调度器可以灵活地迁移执行资源。
• M 的复用减少系统调用：通过空闲链表复用 M，避免了频繁的线程创建和销毁，降低了操作系统负载。
• M 数量受控：通过 maxmcount 和自旋 M 计数，防止 M 数量过多导致系统资源耗尽。