读Kernel感悟-伪装现场-fork()系统调用

TopEmbedded

墨衍会员 · AI 创作全网分发码龄18年

关注

原创最新推荐文章于 2025-09-06 21:44:10 发布 1k 阅读 AI 写同款· GEO 优化 ›

A Mathematical Framework for Transformer Circuits—(二) transformer数学理论框架阅读详情

文章来源：http://www.top-e.org/jiaoshi/class/

不仅进入系统调用时要伪装现场，fork系统调用时返回时也需要伪装现场。因为是“无中生有”。

例如在fork创建新进程时，系统要保证新进程与旧进程一样，从相同的代码开始执行。比如：

#include<stdio.h>

#include<unistd.h>

int main()

{

pid_t pid;

if((pid=fork())>0)

{

printf("parent/n");

}

else if(pid==0)

{

printf("child/n");

}

else

printf("error/n");

return 0;

}

在fork()处，也就是执行call指令的过程中，产生了一个新进程。

80483f0: e8 ef fe ff ff call 80482e4 <fork@plt>

执行完fork()后，新旧两个进程都执行相同的指令：

80483f5: 89 45 fc mov %eax,0xfffffffc(%ebp)

80483f8: 83 7d fc 00 cmpl $0x0,0xfffffffc(%ebp)

给人的感觉是新进程和旧进程一样，也是从main函数开始执行，只是执行到fork()处，返回值不一样而已。内核是如何做到的呢？当内核执行fork()系统调用时，内核堆栈里保存有很多寄存器的值。其中包括了eax等几个通用寄存器。通过SAVE_ALL和RESTORE_ALL这两个宏，pt_regs结构体里的变量与对应的寄存器建立了一一对应关系。只要修改pt_regs结构体里的变量，就可以达到修改系统调用结束后，进程执行那一刹那的寄存器值。

这样就简单了，因为fork()时首先把PCB复制了一份(sys_fork()->do_fork()->copy_process->dup_task_struct)。所以内核堆栈pt_regs结构体里的值也跟着复制了一份。之后，在copy_thread()中，把新进程的pt_regs的eax，也就是新进程的返回值设置为0，eip不变。这样当新进程返回到用户态时，就仿佛刚执行完fork()返回0。

这是伪装用户态的现场。还有内核态的现场呢？

copy_thread()中有以下代码：

468 childregs = (struct pt_regs *) ((unsigned long) childregs - 8);

469 *childregs = *regs;

470 childregs->eax = 0;

471 childregs->esp = esp;

472

473 p->thread.esp = (unsigned long) childregs;

当子进程被调度到时，子进程处于内核态。经过switch_to（）进程切换，eip设置为thread.eip，esp设置为thread.esp。 eip是ret_from_fork，esp是 childregs。伪装成刚执行完系统调用fork准备从内核态返回到用户态。

474 p->thread.esp0 = (unsigned long) (childregs+1);

thread.esp0在switch_to()->__switch_to()中，会通过load_esp0设置为tss_struct中的esp0。这个字段是在CPU运行状态变化时（如系统调用从用户态进入内核态）保存0级也就是内核态的堆栈指针。这样的话不是有两个地方有内核态堆栈指针了么？不过他们不矛盾。thread.esp在进程切换时使用。thread.esp0在CPU运行状态变化时使用。当子进程返回到用户态后又发生中断或者系统调用。这时使用的是 esp0，内核堆栈是空的。正好指向(unsigned long) (childregs+1)。

如何同步，我也不清楚。

475

476 p->thread.eip = (unsigned long) ret_from_fork;

p->thread中保存了进程切换所需的很多信息。包括内核态的esp，eip

伪装的现场，给人的感觉是新进程在内核态正好快执行到 ret_from_fork时由于中断等原因被抢占，所以在fork()完毕后可能进行的进程调度中，新进程可能被调度到，在执行完ret_from_fork中的一些代码，返回到用户态后，开始执行fork()之后的代码。

文章来源：http://www.top-e.org/jiaoshi/class/