为什么我编写的C代码中fork()创建的父子进程未表现出预期异步行为？

你对fork的核心认知没有本质偏差：父子进程确实是独立调度的执行流，内核没有任何强制规则要求二者的执行先后顺序。你跑20次都看到固定的父进程先输出，是两个实际运行层面的因素叠加导致的，不是fork逻辑理解错了：

• Linux默认调度的倾向性
  调用fork的时候，父进程本来就在CPU上运行，所有指令、数据都在CPU缓存里处于热状态，上下文切换几乎没有额外成本。现代Linux用的CFS调度器，在fork完成返回用户态的时候，通常会优先让父进程继续跑完当前的短执行片段，再调度子进程运行——如果刚fork就切到冷启动的子进程，CPU缓存全部失效带来的性能损耗是实打实的。
  你代码里的循环只有5次printf，执行时间短到微秒级，父进程一旦拿到CPU时间片，瞬间就能跑完整个循环退出，根本轮不到子进程抢调度机会。
• stdout缓冲机制的放大作用
  你代码里的printf输出走的是libc的标准输出缓冲区：
  当标准输出连接到交互式终端时，默认是行缓冲模式，但你每次printf输出的是带空格的短数字，本身不会触发立刻刷新缓冲区的操作。更关键的是，fork创建子进程的时候，会完整复制父进程用户空间的所有内容，包括当时还没刷新的stdout缓冲区内容。
  结合前面说的调度倾向，父进程拿到CPU后，会先把自己要输出的5个数字全部写入自己的stdout缓冲区，碰到循环后的换行符（注意你代码里写的是"/n"，应该是输入时笔误的"\n"），才一次性把缓冲区内容刷到终端。等父进程全部输出完成退出，内核才调度子进程运行，重复一样的输出流程，自然就出现了你看到的固定顺序。

怎么才能看到预期的交错输出 #

你可以通过几个简单的改动打破这种固定顺序：

• 在每次printf之后手动调用fflush(stdout)，强制把缓冲区内容立刻写入终端，不让缓冲机制掩盖调度的随机性
• 在两个进程进入循环前，加个随机长度的短暂sleep，打破父进程的调度优势，比如分别加usleep(rand() % 10000)
• 把循环的执行时间拉长，比如循环跑100万次简单计算，足够触发内核的时间片调度切换，输出自然就会出现交错

补充个常见误区：很多教程会说fork之后子进程先运行，这是几十年前早期BSD系统的调度逻辑，现在的Linux早就没有这个强制规则了。你现在看到的固定顺序，本质是代码执行路径太短，刚好被调度倾向和缓冲机制把本该随机的执行顺序给“锁死”了，换个长一点的执行路径，顺序自然就会变。

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