为何人们认为 Go 是部分抢占式的？

最近发现不少小伙伴都对Golang很感兴趣，所以今天继续给大家介绍Golang相关的知识，本文《为何人们认为 Go 是部分抢占式的？》主要内容涉及到等等知识点，希望能帮到你！当然如果阅读本文时存在不同想法，可以在评论中表达，但是请勿使用过激的措辞~

我试图在 Go 的背景下更好地理解抢占式和合作式的定义。 Wiki 声明抢占式多任务处理

在计算中，抢占是暂时中断正在执行的任务的行为，以便稍后恢复它。该中断由外部调度程序完成，无需任务的协助或配合。

Wiki 指出“外部调度程序”。我想这意味着调度程序更加具体，因为调度程序只负责选择队列中的下一个进程。

Go 通常被称为部分抢占式，因为同步点/抢占点仅出现在函数调用处，而不出现在任何给定的指令处。这就说得通了。但正如 wiki 定义所述，抢占是由外部调度程序完成的。

但是，不是每个进程或任务都是抢占式的，因为 CPU 可以在执行过程中停止执行任何进程，以便切换到另一个进程？任何澄清表示赞赏！

附录

我能想到的唯一解释是我们谈论不同的抢占级别。一种用于进程，一种用于内核/用户线程。在这种情况下，CPU 调度程序选择下一个进程，但 Go 调度程序负责 goroutine/线程。

正确答案

您的附录是正确的。有不同的调度程序在这里工作。一个是操作系统调度程序，另一个是应用程序级别的调度程序。查看 this article。这正是您要找的：

正如我们在第一篇文章中讨论的那样，操作系统调度程序是抢占式调度程序。 [...] 内核正在做出决策，一切都是不确定的。

还有这个：

Go 调度程序是 Go 运行时的一部分，Go 运行时内置于您的应用程序中。这意味着 Go 调度程序在内核之上的用户空间中运行。目前Go调度器的实现不是抢占式调度器，而是协作式调度器。作为一个协作调度程序意味着调度程序需要在代码中的安全点发生明确定义的用户空间事件来做出调度决策。

结论，有两种不同的调度程序。一个用于进程，一个用于 Goroutines。

我的答案建立在 Andrew 和 Daniel 的答案之上，并且完全基于 this talk。

从 go 1.14 开始，go 调度器是非合作抢占式的。每个 go 例程都会在某个时间片后被抢占。这是 10ms in go 1.19.1。

在我之前提到的演讲中，从 20:35 开始，您可以找到有关调度程序如何在 1.0 中使用纯合作抢占的历史记录，然后编译器在 go 1.2 中使用抢占，最后是当前的性质——非合作性先发制人。

今天带大家了解了的相关知识，希望对你有所帮助；关于Golang的技术知识我们会一点点深入介绍，欢迎大家关注golang学习网公众号，一起学习编程~