go面试：说说你对 Go 里的抢占式调度的理解

抢占式调度是指操作系统或运行时环境能够主动暂停正在运行的任务（或线程），以便让其他任务得以执行。在 Go 语言中，抢占式调度是由 Go 的运行时（runtime）实现的，这使得 Go 在并发编程方面非常高效和灵活。

Go 的调度模型

Go 语言采用了独特的调度模型，主要基于以下几个概念：

G、M、P 三个组件：

1. G（Goroutine）：是 Go 语言的轻量级线程，每个 Goroutine 的栈空间可动态增长，最初小于 2KB，内存开销非常小。
2. M（Machine）：表示操作系统线程，Go 的运行时会将 Goroutines 分配到系统线程上执行。
3. P（Processor）：一个处理器的抽象，代表了 Go 运行时的调度器，它负责管理多个 Goroutine 的执行。每个 P 一次只能有一个 G 在运行。

调度器：Go 的调度器采用的是工作窃取算法，其中每个 M 可以从 P 上取走等待执行的 G，从而在负载不均的情况下实现高效的并发和性能。

抢占式调度的工作原理

Go 的调度器会定期（例如每 10ms）检查正在运行的 Goroutine 是否有机会被抢占。在以下几种情况下，Goroutine 会被抢占：

时间片到达：每个 Goroutine 在运行时会被分配一个时间片，若时间片到达，调度器会暂停该 Goroutine 的执行，转而调度其他 Goroutine。

系统调用或阻塞操作：如果 Goroutine 执行到某个阻塞操作（如等待读取数据），调度器会自动挂起该 Goroutine，并尝试调度其他可运行的 Goroutine。

手动让出控制：在 Goroutine 的代码中，可以使用 runtime.Gosched() 来手动让出 CPU 控制权，允许其他 Goroutine 获得执行机会。

抢占式调度的优势

提高 CPU 使用率：通过抢占式调度，多个 Goroutines 可以更高效地利用 CPU 资源，减少长时间运行的 Goroutines 对其他 Goroutines 的影响。

响应性：在需要处理大量并发任务时，抢占式调度能够快速响应新的任务，提高应用的响应能力。

简化开发：开发人员不必担心 G 是否被长时间阻塞，而可以专注于实现业务逻辑。

实际应用

在我的工作中，我们常常会需要处理高并发请求，例如在微服务架构中，我们使用 Goroutine 来处理每一个请求，而 Go 的抢占式调度确保即使某个请求因为某些原因耗时较长，也不会阻塞其他请求的处理。

例如，在一个 API 服务中，如果某个请求在执行数据库查询时被阻塞，抢占式调度会使得其他请求得到执行，从而保证服务的高可用性和良好的用户体验。

Go 中的抢占式调度模型是其高效并发特性的核心之一。通过这种调度机制，Go 让开发者可以轻松编写高并发的程序，同时管理和调度 Goroutines 的复杂性大大减少。这使得 Go 成为处理并发工作负载的优秀语言。