Minix中fork函数的实现

 

参照《操作系统:设计与实现》。很多文字是从此书中直接摘抄下来的。之所以摘抄此文是为了加深自己的印象。
在创建和撤销进程时必须分配或释放内存、必须更新进程表,包括由内核和FS保存的部分。进程创建是由FORK完成的。执行步骤如下:
1.检查进程表是否满了。
2.试为子进程的数据和堆栈分配内存。
3.把父进程的数据和堆栈复制到子进程的内存中。
4.找到一个空闲的进程表项并把父进程的表项复制进去。
5.在进程表中输入子进程的内存映像。
6.为子进程选择一个子进程号。
7.告诉内核和文件系统子进程的情况。
8.向内核报告子进程的内存映像。
9.向父进程和子进程发送应答信息。
fork函数位于/src/mm/forkexit.c中。
源代码如下:
PUBLIC int do_fork()
{
/* The process pointed to by 'mp' has forked.  Create a child process. */
  register struct mproc *rmp; /* pointer to parent */
  register struct mproc *rmc; /* pointer to child */
  int i, child_nr, t;
  phys_clicks prog_clicks, child_base = 0;
  phys_bytes prog_bytes, parent_abs, child_abs; /* Intel only */
 /* If tables might fill up during FORK, don't even start since recovery half
  * way through is such a nuisance.
  */
  rmp = mp;
  /*判段启动的进程数是否超过了最大数*/
  if (procs_in_use == NR_PROCS) return(EAGAIN);
  if (procs_in_use >= NR_PROCS-LAST_FEW && rmp->mp_effuid != 0)return(EAGAIN);
 
  /* Determine how much memory to allocate.  Only the data and stack need to
   * be copied, because the text segment is either shared or of zero length.
   * 栈的虚地址就是栈的起始物理地址与栈的数据段的起始地址之差,此差即为数据段的大小,此数
   * 值加上栈的长度即为总共的数据区的大小,栈的长度即mp_seg[s].mem_len。新的正文段或为零或与
   * 其他进程映像共享。如果为零,那么需要在执行exec系统调用时为其分配正文段。
   */
  prog_clicks = (phys_clicks) rmp->mp_seg[S].mem_len;
  prog_clicks += (rmp->mp_seg[S].mem_vir - rmp->mp_seg[D].mem_vir);
#if (SHADOWING == 0)
  prog_bytes = (phys_bytes) prog_clicks << CLICK_SHIFT;
#endif
  /*调用alloc_mem从内存空洞表中为新的进程分配内存*/
  if ( (child_base = alloc_mem(prog_clicks)) == NO_MEM) return(ENOMEM);
#if (SHADOWING == 0)
  /* Create a copy of the parent's core image for the child.
   * 将父进程的数据区和堆栈区中的内容拷贝给新进程
   */
  child_abs = (phys_bytes) child_base << CLICK_SHIFT;
  parent_abs = (phys_bytes) rmp->mp_seg[D].mem_phys << CLICK_SHIFT;
  i = sys_copy(ABS, 0, parent_abs, ABS, 0, child_abs, prog_bytes);
  if (i < 0) panic("do_fork can't copy", i);
#endif
  /* Find a slot in 'mproc' for the child process.  A slot must exist.
   * 为新进程找到一个mproc内存进程表项。
   */
  for (rmc = &mproc[0]; rmc < &mproc[NR_PROCS]; rmc++)
     if ( (rmc->mp_flags & IN_USE) == 0) break;
 
  /* Set up the child and its memory map; copy its 'mproc' slot from parent.
   * 设置表项。
   */
  child_nr = (int)(rmc - mproc); /* slot number of the child */
  procs_in_use++;
  *rmc = *rmp;   /* copy parent's process slot to child's */
  rmc->mp_parent = who;  /* record child's parent */
  rmc->mp_flags &= ~TRACED; /* child does not inherit trace status */
#if (SHADOWING == 0)
  /* A separate I&D child keeps the parents text segment.  The data and stack
   * segments must refer to the new copy.
   * 设置子进程mp_seg[]表项中的数据段和栈,指向新的内存区,由于此处的数据段和正文段并未分开
   * ,而我们上面看到数据区中的内容完全是从父进程中拷贝过来的,所以mp_seg[T].mem_phys中指
   * 的新内存中的正文段中的内容和父进程中正文段中的内容是一致的。
   */
  if (!(rmc->mp_flags & SEPARATE)) rmc->mp_seg[T].mem_phys = child_base;
  rmc->mp_seg[D].mem_phys = child_base;
  rmc->mp_seg[S].mem_phys = rmc->mp_seg[D].mem_phys +
   (rmp->mp_seg[S].mem_vir - rmp->mp_seg[D].mem_vir);
#endif
  rmc->mp_exitstatus = 0;
  rmc->mp_sigstatus = 0;
  /* Find a free pid for the child and put it in the table.找到一个未用的pid */
  do {
 t = 0;   /* 't' = 0 means pid still free */
 next_pid = (next_pid < 30000 ? next_pid + 1 : INIT_PID + 1);
 for (rmp = &mproc[0]; rmp < &mproc[NR_PROCS]; rmp++)
  if (rmp->mp_pid == next_pid || rmp->mp_procgrp == next_pid) {
   t = 1;
   break;
  }
 rmc->mp_pid = next_pid; /* assign pid to child */
  } while (t);
  /* Tell kernel and file system about the (now successful) FORK. */
  sys_fork(who, child_nr, rmc->mp_pid, child_base); /* child_base is 68K only*/
  tell_fs(FORK, who, child_nr, rmc->mp_pid);
#if (SHADOWING == 0)
  /* Report child's memory map to kernel. */
  sys_newmap(child_nr, rmc->mp_seg);
#endif
  /* Reply to child to wake it up.向子进程发送消息,使其启动*/
  reply(child_nr, 0, 0, NIL_PTR);
  return(next_pid);   /* child's pid ,返回到父进程中*/
}
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值