Goroutine和操作系统线程在Golang并发模型中的根本区别

Goroutine是用户态轻量级线程，由Go运行时管理，相比内核态操作系统线程，其创建、切换和销毁开销更小。Goroutine调度器采用M:N模型，将多个Goroutine映射到少量操作系统线程上执行，其中M代表线程，P代表逻辑处理器并持有本地队列，G代表Goroutine。调度流程为：Goroutine创建后加入P的本地队列，M绑定P并执行其队列中的Goroutine；当Goroutine阻塞时，M将其移出并继续执行其他任务，阻塞结束后Goroutine被重新入队等待调度；若某P队列为空，可从其他P窃取任务，实现负载均衡。上下文切换在用户态完成，仅需保存少量寄存器，开销远低于操作系统线程的内核态切换。为避免阻塞线程，Goroutine使用非阻塞I/O，将I/O操作注册至网络轮询器，完成后由调度器唤醒对应Goroutine。Goroutine堆栈初始2KB，按需动态扩缩，既节省内存又支持深度递归。这些机制共同提升了Go的并发效率。

Goroutine本质上是用户态的轻量级线程，由Go运行时管理，而操作系统线程是内核态线程，由操作系统内核管理。这种差异导致了Goroutine在创建、切换和销毁方面的效率远高于操作系统线程，从而实现了更高效的并发。

Goroutine和操作系统线程的区别体现在资源占用、调度方式和上下文切换等方面。理解这些差异对于编写高效的并发Go程序至关重要。

Goroutine调度器的工作原理

Goroutine调度器（也称为M:N调度器）是Go运行时的一个核心组件，负责将Goroutine映射到操作系统线程上执行。它采用了一种混合模型，即多个Goroutine可以复用少量操作系统线程。这种方式极大地提高了并发性能，同时降低了资源消耗。

立即学习“go语言免费学习笔记（深入）”；

具体来说，Goroutine调度器包含以下几个关键组件：

• M (Machine): 代表一个操作系统线程。每个M都与一个操作系统线程绑定，负责执行Goroutine。
• P (Processor): 代表一个逻辑处理器。每个P都拥有一个本地的Goroutine队列，用于存放待执行的Goroutine。P的数量通常等于CPU核心数，以充分利用多核处理器的性能。
• G (Goroutine): 代表一个Goroutine。每个G都包含一个函数及其执行所需的上下文信息。

调度器的工作流程大致如下：

1. Goroutine被创建后，会被放入某个P的本地队列中。
2. M从P的本地队列中获取Goroutine并执行。
3. 当Goroutine发生阻塞（例如，等待I/O）时，M会将该Goroutine从P的队列中移除，并将其放入全局队列或网络轮询器中。
4. M会继续从P的本地队列中获取其他Goroutine执行。
5. 当阻塞的Goroutine解除阻塞时，它会被放回P的本地队列或全局队列中，等待再次被调度执行。
6. 如果某个P的本地队列为空，它可以从其他P的本地队列中"窃取"Goroutine，以保持所有M的繁忙状态。

这种调度方式使得Goroutine的切换非常快速和高效，因为切换发生在用户态，无需陷入内核态。此外，M:N调度器还能够根据程序的运行情况动态调整Goroutine的调度策略，以实现最佳的并发性能。

操作系统线程的上下文切换开销

豆包大模型

字节跳动自主研发的一系列大型语言模型

834

查看详情

操作系统线程的上下文切换涉及保存和恢复线程的完整状态，包括寄存器、堆栈和内存映射等。这个过程需要陷入内核态，由操作系统内核完成。由于涉及到大量的状态保存和恢复操作，以及内核态和用户态的切换，因此操作系统线程的上下文切换开销相对较大。

相比之下，Goroutine的上下文切换仅需保存和恢复少量的寄存器信息，并且发生在用户态，无需陷入内核态。因此，Goroutine的上下文切换开销远小于操作系统线程。

Goroutine如何避免阻塞操作系统线程

Goroutine通过使用非阻塞I/O和异步操作来避免阻塞操作系统线程。当一个Goroutine需要执行I/O操作时，它不会直接调用阻塞的系统调用，而是使用Go提供的非阻塞I/O接口。这些接口会将I/O操作注册到网络轮询器中，然后立即返回。当I/O操作完成时，网络轮询器会通知相应的Goroutine，使其继续执行。

此外，Go还提供了

select

select

Goroutine的堆栈管理机制

Goroutine的堆栈采用动态增长和收缩的机制。当一个Goroutine被创建时，它会被分配一个初始大小的堆栈（通常为2KB）。如果Goroutine的堆栈空间不足以满足其运行需求，Go运行时会自动扩展堆栈的大小。当Goroutine的堆栈空间使用率较低时，Go运行时也会自动收缩堆栈的大小，以节省内存。

这种动态堆栈管理机制使得Goroutine可以高效地利用内存资源，避免了浪费。同时，它也使得Goroutine可以处理复杂的递归调用和大数据结构，而无需担心堆栈溢出的问题。

以上就是Goroutine和操作系统线程在Golang并发模型中的根本区别的详细内容，更多请关注php中文网其它相关文章！