子进程复用父进程栈引发的段错误问题解析

关键前提：区分glibc包装函数与内核clone系统调用 #

你遇到的问题核心，是没搞清楚glibc提供的clone()包装函数和内核真正的clone系统调用的执行差异，以及COW（写时复制）的生效时机。

问题发生的完整流程 #

当你把与父进程栈地址重叠的静态缓冲区作为子进程栈传给clone()时，执行顺序如下：

1. 父进程先修改共享栈区域：glibc的clone()包装函数不会直接调用内核，它会先在你传入的缓冲区（也就是父进程自己的栈）上写入子进程启动必需的元数据——比如入口函数的参数、返回地址等。这一步完全在父进程地址空间内完成，此时子进程还未创建，不存在COW机制的触发。
2. 内核创建子进程（COW生效）：包装函数调用内核clone系统调用，内核为子进程创建父进程地址空间的COW副本，其中包括那个已经被写入元数据的栈缓冲区。
3. 父进程破坏子进程栈数据：内核返回后，父进程的clone()包装函数会清理之前写入的元数据，同时父进程会继续执行自身代码，进行正常的栈操作（比如函数返回时弹出栈帧）。这些操作直接修改的是父进程的栈，而子进程的栈正是这个栈区域的COW副本——当父进程修改这些页面时，子进程栈指针指向的关键数据（如sleep()返回后的跳转地址）已经被父进程覆盖。
4. 子进程崩溃：当子进程从sleep()返回时，需要从栈上读取关键执行数据，但这些数据已经被父进程的栈操作破坏，最终触发SIGSEGV信号。

修复方案的原理 #

• 堆分配独立栈：每个子进程的栈位于堆空间，和父进程的栈区域完全分离。父进程的clone()包装函数写入元数据后，父进程后续的栈操作不会触及这个区域，子进程的栈数据能保持完整。
• 独立静态缓冲区：这类缓冲区位于全局数据段，同样与父进程栈无重叠，父进程的栈操作不会影响子进程的栈空间。

你之前的误区 #

你误以为子进程创建时就立刻拥有了完全独立的栈副本，但实际上：

• 子进程创建前，父进程已经在修改那个“共享”的栈区域；
• 子进程创建后，父进程仍在持续使用并修改自己的栈（也就是子进程的栈区域），导致子进程执行时栈内关键数据被破坏。

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