Go 语言编程 — 并发 — Goroutine 协程

最新推荐文章于 2025-06-22 22:06:06 发布

范桂飓

最新推荐文章于 2025-06-22 22:06:06 发布

阅读量1.8k

点赞数

CC 4.0 BY-SA版权

分类专栏： Golang 文章标签： golang 开发语言后端

本文链接：https://blog.csdn.net/Jmilk/article/details/107164612

Golang 专栏收录该内容

51 篇文章

订阅专栏

本文深入探讨了Golang的协程概念及其背后的GMP模型，详细解释了Goroutine、Machine和Processor的工作原理，以及它们如何共同协作以实现高效的并发执行。通过实例代码展示了go关键字的使用，帮助读者理解Goroutine的创建和调度。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

Golang 的协程

Golang 的协程被称为 Goroutine。因为操作系统内核是不感知协程的，也就是说 Golang 需要自己实现一个协程的调度器，就是 GMP 模型。

G（Goroutine）：每个 Gotoutine 对应一个 G 结构体，G 存储 Goroutine 的运行堆栈，状态，以及任务函数，可重用函数实体 G 需要保存到 P 的队列或者全局队列才能被调度执行。
M（Machine）：M 是线程的抽象，代表真正执行计算的资源，在绑定有效的 P 后，进入调度执行循环，M 会从 P 的本地队列来执行。对 M 来说，P 提供了相关的执行环境，入内存分配状态，任务队列等。
P（Processor）：P 是一个抽象的概念，不是物理上的 CPU 而是表示逻辑处理器。当一个 P 有任务，需要创建或者唤醒一个系统线程 M 去处理它队列中的任务。P 决定了同时执行的任务的数量，GOMAXPROCS 限制系统线程执行用户层面的任务的数量。

在这里插入图片描述

GMP 模型的基本运行过程：

首先创建一个 G，然后 G 被保存在 P 的本地队列或者全局队列。
这时 P 会唤醒一个 M，M 寻找一个空闲的 P 将 G 移动到它自己，然后 M 执行一个调度循环：调用 G 对象 => 执行 => 清理线程 => 继续寻找 Goroutine。
在 M 的执行过程中，上下文切换随时发生。当切换发生，任务的执行现场需要被保护，这样在下一次调度执行可以进行现场恢复。
M 的栈保存在 G 对象，只有现场恢复需要的寄存器（SP，PC 等），需要被保存到 G 对象。

在这里插入图片描述

go 关键字

Golang 原生支持并发，体现在 Golang 提供了 go 关键字。

格式：

go 函数名(形参列表)

go 语句会直接开启一个新的运行时线程，即：Goroutine。Goroutine 的调度由 Go Runtime Scheduler 完成，同一个程序中所有的 Goroutine 共享同一个地址空间。

package main

import (
    "fmt"
    "time"
)

func say(s string) {
    for i := 0; i < 5; i++ {
        time.Sleep(100 * time.Millisecond)
        fmt.Println(s)
    }
}

func main() {
    go say("world")
    say("hello")
}