刚接触 go,了解到切换协程仅需保存 3 个寄存器,那么剩余的怎么办呢,比如 ecx, eax 等

2022-07-09 13:47:05 +08:00
 jdz

go 只保存了,pc ,sp 和 dx

3584 次点击
所在节点    Go 编程语言
8 条回复
jdz
2022-07-09 14:01:35 +08:00
是因为 go 与 java 一样都是基于栈的虚拟机?
qbqbqbqb
2022-07-09 14:52:16 +08:00
应该是和 go 的调用约定有关,只保存被调用者保存( callee-saved )的寄存器,调用者保存( caller-saved )的寄存器是由函数本身生成的代码自己负责的。

因为协程不是像线程那样由 OS 强行抢占的,是只有在特定的切换点才能切换,可以把这个切换的过程理解成一个特殊的函数调用 [而且 go 里面就有这么一个函数 runtime.Gosched()] 。caller-saved 寄存器如果需要保存的话,编译器会生成相应的代码,不用协程调度器保存。
dearmymy
2022-07-09 15:10:14 +08:00
这个跟 go 无关把。你协程本来也应该在函数内,其他寄存器在进入函数前都 pushall 了,只要协程能找回栈信息就能恢复把。
GeruzoniAnsasu
2022-07-09 16:42:20 +08:00
我有个印象,可能记错别太当真,就是,golang 会把函数内所有变量和参数都复制到栈上,所以可能只要 sp 指回来整个栈帧就能恢复
iceheart
2022-07-09 17:51:02 +08:00
分版本,go1.15 之前用栈传参,go1.16 之后用寄存器传参了
stach
2022-07-09 18:43:37 +08:00
我认为:剩余的寄存器,比如 ecx ,eax 等,协程切换时,保存在 go 的栈上。(不管是老的,还是新的调用规约)
lovelylain
2022-07-09 19:40:30 +08:00
eax ebx ecx edx 这些数据寄存器本来就不会跨函数吧,所以这几个是不需要保存的,不然每次函数调用也需要保存,代价太高。
iamzuoxinyu
2022-07-11 10:55:44 +08:00
Goroutine 中的寄存器并不是实际物理寄存器,Go 使用的寄存器是从 Plan 9 继承来的寄存器规范,跟物理寄存器并非 1:1 严格映射的。

这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/865099

V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX