Goroutine 栈增长机制新提案：用缺页中断替代栈检查？Rob Pike 亲自下场“劝退”
💡
原文中文，约3000字，阅读约需8分钟。
📝
内容提要
Go语言的goroutine以轻量和高效著称，但其动态增长栈的机制存在性能开销。开发者Arseny Samoylov提议用“缺页中断”替代现有的栈检查，可能提升3%-5%的性能。此提案引发社区讨论，创始人Rob Pike认为实现复杂且成本被夸大，最终未被采纳，反映了Go社区的活力与探索精神。
🎯
关键要点
- Go语言的goroutine以轻量和高效著称，但动态增长栈的机制存在性能开销。
- 开发者Arseny Samoylov提议用“缺页中断”替代现有的栈检查，可能提升3%-5%的性能。
- 当前的栈增长机制在每个非叶子函数入口插入栈检查指令，导致CPU开销和代码体积膨胀。
- 提案的核心思想是为goroutine预留虚拟地址空间，触发缺页中断时再分配物理内存。
- 社区讨论中指出中断处理的开销、区分中断原因的复杂性和虚拟地址空间的消耗等问题。
- Rob Pike认为提案者夸大了栈检查的成本，并指出实现的复杂性和可移植性问题。
- 这场讨论体现了Go社区的活力与探索精神，尽管提案未被采纳，但推动了技术思考。
➡️
