Linux中sys_brk是否会导致数据区与主线程栈重叠？含历史版本疑问

brk系统调用核心工作机制 #

• 系统调用封装代码：void *sys_brk(void *desired_break) { return (void*)syscall(SYS_brk, desired_break); }
• 内存调整逻辑：通过扩展或收缩进程的可读可写数据区，修改虚拟内存映射。其中break指数据区的末尾位置；若要获取数据区起始地址（位于存放全局变量的.data和.bss段之后），可在程序启动时调用sys_brk(NULL)。
• 返回值规则：无论调用成功或失败，都会返回新的break值（可能与传入的desired_break不一致）；调用失败时，原break位置保持不变。

相关代码注释引用 #

针对可能跨越栈的有缺陷brk实现进行防御。
——musl-1.1.16/src/malloc/expand_heap.c

技术问题与解答 #

问题 #

Linux的brk系统调用是否会创建与主线程栈重叠的数据区？早期Linux版本中是否存在这种重叠情况？若存在，该问题何时被修复？

注：不关注仅在地址随机化或使用动态加载器（如/lib/ld-linux.so.2）时出现的内核bug。本人正在编写基于sys_brk的Linux专属极简malloc实现，希望精简代码，若数据区与栈无重叠则无需相关检查。

解答 #

早期Linux内核（2.0.x及更早版本）确实存在brk越界导致数据区与主线程栈重叠的问题——当时内核未对brk的扩展范围做严格校验，允许进程将break指针推进到栈所在的虚拟地址区间。

该问题在Linux 2.2.x版本中被彻底修复：内核开始严格维护数据区（brk段）与栈段的地址边界，当brk尝试扩展至栈区域时会直接调用失败，返回当前有效的break值，不会出现内存区域重叠的情况。

对于2.2及之后的所有现代Linux系统，完全无需在基于brk的malloc实现中添加栈重叠检查——内核会自动拦截此类越界操作，确保数据区与栈始终相互隔离。

内容的提问来源于stack exchange，提问作者pts