为什么 Golang 在切换上下文时仅保存 %rsp、%rip 和 %rbp 寄存器？

哈喽！大家好，很高兴又见面了，我是golang学习网的一名作者，今天由我给大家带来一篇《为什么 Golang 在切换上下文时仅保存 %rsp、%rip 和 %rbp 寄存器？》，本文主要会讲到等等知识点，希望大家一起学习进步，也欢迎大家关注、点赞、收藏、转发! 下面就一起来看看吧！

在一般的用户线程上下文切换实现中（如 setjmp/longjmp 和 函数 return 方式），我们保存和恢复被调用者保存的寄存器，但 golang 只保存和恢复 %rsp、%rip 和 %rbp哥布夫。

以x86_64为例，golang通过runtime.gosave保存goroutine上下文，通过runtime.gogo恢复goroutine上下文。

那么为什么golang要这样做呢？

解决方案

显然，GoLang 仍然使用低效的调用约定，其中唯一的调用保留（也称为非易失性）寄存器是 RSP 和 RBP。

对于编译器来说，对 runtime.gosave 的调用就像任何其他函数调用一样（即，它在完成一些操作后最终返回，并且不会修改其自己的堆栈帧之上的任何内容）。与任何其他函数调用一样，调用者必须假设它销毁了所有被调用破坏的（易失性）寄存器（除了 RSP 和 RBP 之外的所有寄存器）。因此，它想要在调用中幸存的任何值都必须溢出到堆栈槽（或它们所属的其他内存位置）。

出于同样的原因，C setjmp 只需保存调用保留的寄存器。内核上下文切换功能是相同的。

这个 2017 google groups post 说这就是它的调用约定/ABI 的工作原理，从链接的代码来看，它看起来仍然没有得到改进。

Go 的调用约定也无法有效地传递堆栈上的所有参数，这与 x86-64 System V ABI 不同，后者在寄存器中传递前 6 个整数参数（以及前 8 个 FP）。

到这里，我们也就讲完了《为什么 Golang 在切换上下文时仅保存 %rsp、%rip 和 %rbp 寄存器？》的内容了。个人认为，基础知识的学习和巩固，是为了更好的将其运用到项目中，欢迎关注golang学习网公众号，带你了解更多关于的知识点！