为何汇编.bss段预留非0内存不崩溃，仅预留0字节才触发段错误？

你的核心猜想完全正确：Linux等现代操作系统的内存分配是以内存页为最小粒度的（通常一页大小为4KB/4096字节），这是导致你看到的现象的根本原因。下面具体拆解细节：

1. .bss段的内存分配逻辑 #

.bss段用于存放未初始化的全局/静态变量，属于进程虚拟地址空间的一部分。当你在汇编中用resb 1仅预留1字节时：

• 汇编器和链接器只会记录cpuname符号在.bss段中的起始地址，但不会限制操作系统的内存分配行为。
• 操作系统加载程序时，会将整个.bss段对应的虚拟内存区域标记为可写，并以页为单位分配物理内存。只要你写入的字节数没有超出当前页的范围（比如你写49字节，远小于4KB），即使超出了resb声明的大小，这些写入操作依然在合法的进程内存页内，不会触发段错误。

2. 为什么C语言中溢出容易触发段错误？ #

你觉得C语言中1字节溢出就会崩溃，其实是场景差异导致的：

• 栈变量场景：C中局部变量默认在栈上，栈的增长方向是向下的，溢出1字节可能直接覆盖栈帧的返回地址、栈保护字段（编译器默认开启的Stack Guard机制），立刻触发崩溃。
• 全局/静态变量场景：如果是.bss/.data段的全局变量，和你汇编中的情况本质一样——只要溢出范围在同一个内存页内，也不会立刻触发段错误，只是可能破坏其他变量导致后续逻辑异常，但不一定马上崩溃。你感受到的“容易触发”，大多是栈变量的情况，而非全局变量。

3. 你的实验验证了内存页机制 #

当你在.bss段先预留4080字节空白内存，再声明1字节的cpuname时：

• 4080 + 49 = 4129字节，已经超过了4KB的页大小。此时写入cpuname的后续字节会跨越到下一个未分配的内存页，操作系统会因为进程访问了未授权的虚拟内存，触发页错误（即段错误）。
• 而resb 0的情况，链接器不会为cpuname分配合法的.bss段地址，写入操作直接指向非法内存区域，因此立刻触发段错误。

总结 #

汇编中resb只是符号位置的标记，不会在运行时做边界检查；而操作系统的内存分配是页粒度的，只要写入范围在已分配的内存页内，就不会触发段错误。这和C语言的差异主要是场景（栈vs全局）以及编译器保护机制导致的，而非内存分配逻辑的本质不同。

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