一尘不染

在AMD64上不必要地拆分堆栈

go

似乎有人认为,在64位体系结构上不需要使用“拆分堆栈”运行时模型。我说的似乎是,因为我还没有看到任何人真的这么说,只在它周围跳舞:

由于每个线程不需要最坏情况的堆栈大小,因此典型的多线程程序的内存使用量可能会大大减少。在32位地址空间中运行数百万个线程(完整的NPTL线程或协程序)成为可能。-
伊恩·兰斯·泰勒Ian Lance
Taylor)

…暗示一个64位地址空间已经可以处理它。

和…

…拆分堆栈的持续开销和狭窄的用例(在32位体系结构上生成大量I / O绑定任务)是不可接受的…-
bstrie

两个问题:这是他们在说什么吗?其次,如果是这样,为什么它们在64位体系结构上是不必要的?


阅读 209

收藏
2020-07-02

共1个答案

一尘不染

是的,这就是他们的意思。

(当前)在64位体系结构上不需要拆分堆栈,因为64位虚拟地址空间是如此之大,它可以包含数百万个堆栈地址范围,如果需要,每个地址范围都可以与整个32位地址空间一样大。

在当今使用的平面存储器模型中,从虚拟地址到物理存储器位置的转换是在硬件MMU的支持下完成的。在amd64上,最好将64位虚拟地址空间的大块保留给正在创建的每个新堆栈,这更好(意味着总体上更快),而仅将第一页(4kB)映射到实际RAM。这样,堆栈将能够根据需要在连续的虚拟地址上进行增长和收缩(这意味着每个函数序言中的代码更少,这是一个很大的优化),同时操作系统重新配置MMU以将虚拟地址的每个页面映射到实际的地址。
RAM的空闲页,只要堆栈在某些可配置的阈值之上/之下增长或缩小。

通过明智地选择阈值(例如,参见动态数组的理论),您可以在平均堆栈操作上实现O(1)复杂性,同时保留数百万个堆栈的好处,这些堆栈可以根据需要增长并仅消耗内存他们使用。

PS:当前的Go实施远不及以下任何一项:-)

2020-07-02