程序8-8 linux/kernel/fork.c


  1 /*

  2  *  linux/kernel/fork.c

  3  *

  4  *  (C) 1991  Linus Torvalds

  5  */

  6

  7 /*

  8  *  'fork.c' contains the help-routines for the 'fork' system call

  9  * (see also system_call.s), and some misc functions ('verify_area').

 10  * Fork is rather simple, once you get the hang of it, but the memory

 11  * management can be a bitch. See 'mm/mm.c': 'copy_page_tables()'

 12  */

    /*

     * 'fork.c'中含有系统调�'fork'的辅助子程序(参�system_call.s),以及一�

     * 其他函数�'verify_area')。一旦你了解�fork,就会发现它是非常简单的,但

     * 内存管理却有些难度。参�'mm/memory.c'中的'copy_page_tables()'函数�

     */

 13 #include <errno.h>        // 错误号头文件。包含系统中各种出错号�

 14

 15 #include <linux/sched.h>  // 调度程序头文件,定义了任务结�task_struct、任�0的数据�

 16 #include <linux/kernel.h> // 内核头文件。含有一些内核常用函数的原形定义�

 17 #include <asm/segment.h>  // 段操作头文件。定义了有关段寄存器操作的嵌入式汇编函数�

 18 #include <asm/system.h>   // 系统头文件。定义了设置或修改描述符/中断门等的嵌入式汇编宏�

 19

    // 写页面验证。若页面不可写,则复制页靀定义在mm/memory.c 261行开始�

 20 extern void write_verify(unsigned long address);

 21

 22 long last_pid=0;          // 最新进程号,其值会�get_empty_process()生成�

 23

    //// 进程空间区域写前验证函数�

    // 对于80386 CPU,在执行特权�0代码时不会理会用户空间中的页面是否是页保护的,因�

    // 在执行内核代码时用户空间中数据页面保护标志起不了作用,写时复制机制也就失去了作用�

    // verify_area()函数就用于此目的。但对于80486或后来的CPU,其控制寄存�CR0中有一�

    // 写保护标�WP(位16),内核可以通过设置该标志来禁止特权�0的代码向用户空间只读

    // 页面执行写数据,否则将导致发生写保护异常。从�486以上CPU可以通过设置该标志来�

    // 到使用本函数同样的目的�

    // 该函数对当前进程逻辑地址� addr addr + size 这一段范围以页为单位执行写操作前

    // 的检测操作。由于检测判断是以页面为单位进行操作,因此程序首先需要找�addr所在页

    // 面开始地址start,然� start加上进程数据段基址,使这个start变换�CPU 4G线性空

    // 间中的地址。最后循环调�write_verify() 对指定大小的内存空间进行写前验证。若页面

    // 是只读的,则执行共享检验和复制页面操作(写时复制)�

 24 void verify_area(void * addr,int size)

 25 {

 26         unsigned long start;

 27

    // 首先将起始地址start调整为其所在页的左边界开始位置,同时相应地调整验证区域大小�

    // 下句中的 start & 0xfff 用来获得指定起始位置addr(也�start)在所在页面中的偏�

    // 值,原验证范� size 加上这个偏移值即扩展成以 addr 所在页面起始位置开始的范围值�

    // 因此� 30行上 也需要把验证开始位� start 调整成页面边界值。参见前面的图“内存验

    // 证范围的调整”�

 28         start = (unsigned long) addr;

 29         size += start & 0xfff;

 30         start &= 0xfffff000;               // 此时start是当前进程空间中的逻辑地址�

    // 下面� start 加上进程数据段在线性地址空间中的起始基址,变成系统整个线性空间中的地

    // 址位置。对�Linux 0.1x内核,其数据段和代码段在线性地址空间中的基址和限长均相同�

    // 然后循环进行写页面验证。若页面不可写,则复制页靀(mm/memory.c274行)

 31         start += get_base(current->ldt[2]);     // include/linux/sched.h277行�

 32         while (size>0) {

 33                 size -= 4096;

 34                 write_verify(start);

 35                 start += 4096;

 36         }

 37 }

 38

    // 复制内存页表�

    // 参数nr是新任务号;p是新任务数据结构指针。该函数为新任务在线性地址空间中设置代�

    // 段和数据段基址、限长,并复制页表�  由于Linux系统采用了写时复制(copy on write

    // 技术, 因此这里仅为新进程设置自己的页目录表项和页表项,而没有实际为新进程分配物�

    // 内存页面。此时新进程与其父进程共享所有内存页靀操作成功返�0,否则返回出错号�

 39 int copy_mem(int nr,struct task_struct * p)

 40 {

 41         unsigned long old_data_base,new_data_base,data_limit;

 42         unsigned long old_code_base,new_code_base,code_limit;

 43

    // 首先取当前进程局部描述符表中代码段描述符和数据段描述符项中的段限长(字节数)�

    // 0x0f是代码段选择符;0x17是数据段选择符。然后取当前进程代码段和数据段在线性地址

    // 空间中的基地址。由�Linux 0.12内核还不支持代码和数据段分立的情况,因此这里需�

    // 检查代码段和数据段基址是否都相同,并且要求数据段的长度至少不小于代码段的长�

    // (参见图5-12),否则内核显示出错信息,并停止运行�

    // get_limit()get_base()定义�include/linux/sched.h277行和279行处�

 44         code_limit=get_limit(0x0f);

 45         data_limit=get_limit(0x17);

 46         old_code_base = get_base(current->ldt[1]);

 47         old_data_base = get_base(current->ldt[2]);

 48         if (old_data_base != old_code_base)

 49                 panic("We don't support separate I&D");

 50         if (data_limit < code_limit)

 51                 panic("Bad data_limit");

    // 然后设置创建中的新进程在线性地址空间中的基地址等于�64MB * 其任务号),并用该�

    // 设置新进程局部描述符表中段描述符中的基地址。接着设置新进程的页目录表项和页表项,

    // 即复制当前进程(父进程)的页目录表项和页表项� 此时子进程共享父进程的内存页靀�

    // 正常情况�copy_page_tables()返回0,否则表示出错,则释放刚申请的页表项�

 52         new_data_base = new_code_base = nr * TASK_SIZE;

 53         p->start_code = new_code_base;

 54         set_base(p->ldt[1],new_code_base);

 55         set_base(p->ldt[2],new_data_base);

 56         if (copy_page_tables(old_data_base,new_data_base,data_limit)) {

 57                 free_page_tables(new_data_base,data_limit);

 58                 return -ENOMEM;

 59         }

 60         return 0;

 61 }

 62

 63 /*

 64  *  Ok, this is the main fork-routine. It copies the system process

 65  * information (task[nr]) and sets up the necessary registers. It

 66  * also copies the data segment in it's entirety.

 67  */

    /*

     * OK,下面是主要�fork子程序。它复制系统进程信息(task[n])

     * 并且设置必要的寄存器。它还整个地复制数据段(也是代码段)�

     */

    // 复制进程�

    // 该函数的参数是进入系统调用中断处理过程(sys_call.s)开始,直到调用本系统调用处�

    // 过程�sys_call.s208行)和调用本函数前(sys_call.s217行)逐步压入进程内核

    // 态栈的各寄存器的值。这些在sys_call.s程序中逐步压入内核态栈的值(参数)包�:

    // � CPU执行中断指令压入的用户栈地址ssesp、标�eflags和返回地址cseip

    // � 83--88行在刚进�system_call时入栈的段寄存器dsesfsedxecxedx

    // � 94行调�sys_call_tablesys_fork函数时入栈的返回地址(参�none表示);

    // � �212--216行在调用copy_process()之前入栈�gsesiediebpeaxnr)�

    // 其中参数nr是调�find_empty_process()分配的任务数组项号�

 68 int copy_process(int nr,long ebp,long edi,long esi,long gs,long none,

 69                 long ebx,long ecx,long edx, long orig_eax,

 70                 long fs,long es,long ds,

 71                 long eip,long cs,long eflags,long esp,long ss)

 72 {

 73         struct task_struct *p;

 74         int i;

 75         struct file *f;

 76

    // 首先为新任务数据结构分配内存。如果内存分配出错,则返回出错码并退出。然后将新任�

    // 结构指针放入任务数组�nr项中。其�nr为任务号,由前面find_empty_process()返回�

    // 接着把当前进程任务结构内容复制到刚申请到的内存页�p开始处�

 77         p = (struct task_struct *) get_free_page();

 78         if (!p)

 79                 return -EAGAIN;

 80         task[nr] = p;

 81         *p = *current/* NOTE! this doesn't copy the supervisor stack */

                            /* 注意!这样做不会复制超级用户堆栈(只复制进程结构�*/

    // 随后对复制来的进程结构内容进行一些修改,作为新进程的任务结构。先将新进程的状�

    // 置为不可中断等待状态,以防止内核调度其执行。然后设置新进程的进程号pid,并初始

    // 化进程运行时间片值等于其 priority值( 一般为15个嘀嗒)。接着复位新进程的信号

    // 位图、报警定时值、会话(session)领导标� leader� 进程及其子进程在内核和用�

    // 态运行时间统计值,还设置进程开始运行的系统时间start_time

 82         p->state = TASK_UNINTERRUPTIBLE;

 83         p->pid = last_pid;           // 新进程号。也�find_empty_process()得到�

 84         p->counter = p->priority;    // 运行时间片值(嘀嗒数)�

 85         p->signal = 0;               // 信号位图�

 86         p->alarm = 0;                // 报警定时值(嘀嗒数)�

 87         p->leader = 0;               /* process leadership doesn't inherit */

                                         /* 进程的领导权是不能继承的 */

 88         p->utime = p->stime = 0;     // 用户态时间和核心态运行时间�

 89         p->cutime = p->cstime = 0;   // 子进程用户态和核心态运行时间�

 90         p->start_time = jiffies;     // 进程开始运行时间(当前时间滴答数)�

    // 再修改任务状态段TSS 数据(参见列表后说明)。由于系统给任务结构 p分配�1页新

    // 内存,所� (PAGE_SIZE + (long) p) esp0正好指向该页顶端� ss0:esp0 用作程序

    // 在内核态执行时的栈。另外,在第3章中我们已经知道,每个任务在 GDT表中都有两个

    // 段描述符,一个是任务�TSS段描述符,另一个是任务�LDT表段描述符。下�111

    // 语句就是�GDT中本任务LDT段描述符的选择符保存在本任务的TSS段中。当CPU执行

    // 切换任务时,会自动从TSS中把LDT段描述符的选择符加载到ldtr寄存器中�

 91         p->tss.back_link = 0;

 92         p->tss.esp0 = PAGE_SIZE + (long) p;  // 任务内核态栈指针�

 93         p->tss.ss0 = 0x10;           // 内核态栈的段选择符(与内核数据段相同)�

 94         p->tss.eip = eip;            // 指令代码指针�

 95         p->tss.eflags = eflags;      // 标志寄存器�

 96         p->tss.eax = 0;              // 这是�fork()返回时新进程会返�0的原因所在�

 97         p->tss.ecx = ecx;

 98         p->tss.edx = edx;

 99         p->tss.ebx = ebx;

100         p->tss.esp = esp;

101         p->tss.ebp = ebp;

102         p->tss.esi = esi;

103         p->tss.edi = edi;

104         p->tss.es = es & 0xffff;     // 段寄存器�16位有效�

105         p->tss.cs = cs & 0xffff;

106         p->tss.ss = ss & 0xffff;

107         p->tss.ds = ds & 0xffff;

108         p->tss.fs = fs & 0xffff;

109         p->tss.gs = gs & 0xffff;

110         p->tss.ldt = _LDT(nr);       // 任务局部表描述符的选择符(LDT描述符在GDT中)�

111         p->tss.trace_bitmap = 0x80000000;       //(高16位有效)�

    // 如果当前任务使用了协处理器,就保存其上下文。汇编指�clts用于清除控制寄存�CR0

    // 中的任务已交换(TS)标志。每当发生任务切换,CPU都会设置该标志。该标志用于管理

    // 数学协处理器:如果该标志置位,那么每�ESC指令都会被捕获(异常7)。如果协处理

    // 器存在标�MP也同时置位的话,那么WAIT指令也会捕获。因此,如果任务切换发生在一

    // ESC指令开始执行之后,则协处理器中的内容就可能需要在执行新的ESC指令之前保存

    // 起来。捕获处理句柄会保存协处理器的内容并复位TS标志。指�fnsave用于把协处理�

    // 的所有状态保存到目的操作数指定的内存区域中(tss.i387)�

112         if (last_task_used_math == current)

113                 __asm__("clts ; fnsave %0 ; frstor %0"::"m" (p->tss.i387));

 

    // 接下来复制进程页表。即在线性地址空间中设置新任务代码段和数据段描述符中的基址

    // 和限长,并复制页表。如果出错(返回值不�0),则复位任务数组中相应项并释放�

    // 该新任务分配的用于任务结构的内存页�

114         if (copy_mem(nr,p)) {              // 返回不为0表示出错�

115                 task[nr] = NULL;

116                 free_page((long) p);

117                 return -EAGAIN;

118         }

    // 如果父进程中有文件是打开的,则将对应文件的打开次数�1。因为这里创建的子进�

    // 会与父进程共享这些打开的文件。将当前进程(父进程)的pwd, rootexecutable

    // 引用次数均增1。与上面同样的道理,子进程也引用了这�i节点�

119         for (i=0; i<NR_OPEN;i++)

120                 if (f=p->filp[i])

121                         f->f_count++;

122         if (current->pwd)

123                 current->pwd->i_count++;

124         if (current->root)

125                 current->root->i_count++;

126         if (current->executable)

127                 current->executable->i_count++;

128         if (current->library)

129                 current->library->i_count++;

    // 随后�GDT表中设置新任�TSS段和LDT段描述符项。这两个段的限长均被设置�104

    // 字节。参� include/asm/system.h52�66 行代码� 然后设置进程之间的关系链�

    // 指针,即把新进程插入到当前进程的子进程链表中。把新进程的父进程设置为当前进程�

    // 把新进程的最新子进程指针p_cptr 和年轻兄弟进程指�p_ysptr置空。接着让新进程

    // 的老兄进程指针p_osptr设置等于父进程的最新子进程指针。若当前进程却是还有其他

    // 子进程,则让比邻老兄进程的最年轻进程指针p_yspter 指向新进程。最后把当前进程

    // 的最新子进程指针指向这个新进程。然后把新进程设置成就绪态。最后返回新进程号�

    // 另外� set_tss_desc() set_ldt_desc() 定义� include/asm/system.h 文件中�

    // gdt+(nr<<1)+FIRST_TSS_ENTRY�是任�nrTSS描述符项在全局表中的地址。因�

    // 每个任务占用GDT表中2项,因此上式中要包括'(nr<<1)'

    // 请注意,在任务切换时,任务寄存器tr会由CPU自动加载�

130         set_tss_desc(gdt+(nr<<1)+FIRST_TSS_ENTRY,&(p->tss));

131         set_ldt_desc(gdt+(nr<<1)+FIRST_LDT_ENTRY,&(p->ldt));

132         p->p_pptr = current;               // 设置新进程的父进程指针�

133         p->p_cptr = 0;                     // 复位新进程的最新子进程指针�

134         p->p_ysptr = 0;                    // 复位新进程的比邻年轻兄弟进程指针�

135         p->p_osptr = current->p_cptr;      // 设置新进程的比邻老兄兄弟进程指针�

136         if (p->p_osptr)                    // 若新进程有老兄兄弟进程,则让其

137                 p->p_osptr->p_ysptr = p;   // 年轻进程兄弟指针指向新进程�

138         current->p_cptr = p;               // 让当前进程最新子进程指针指向新进程�

139         p->state = TASK_RUNNING;        /* do this last, just in case */

140         return last_pid;

141 }

142

    // 为新进程取得不重复的进程�last_pid。函数返回在任务数组中的任务�(数组�)

143 int find_empty_process(void)

144 {

145         int i;

146

    // 首先获取新的进程号。如�last_pid1后超出进程号的正数表示范围,则重新从1开�

    // 使用pid号� 然后在任务数组中搜索刚设置的pid号是否已经被任何任务使用。如果是�

    // 跳转到函数开始处重新获得一�pid号� 接着在任务数组中为新任务寻找一个空闲项,并

    // 返回项号� last_pid是一个全局变量,不用返回。如果此时任务数组中64个项已经被全

    // 部占用,则返回出错码�

147         repeat:

148                 if ((++last_pid)<0) last_pid=1;

149                 for(i=0 ; i<NR_TASKS ; i++)

150                         if (task[i] && ((task[i]->pid == last_pid) ||

151                                         (task[i]->pgrp == last_pid)))

152                                 goto repeat;

153         for(i=1 ; i<NR_TASKS ; i++)             // 任务0项被排除在外�

154                 if (!task[i])

155                         return i;

156         return -EAGAIN;

157 }

158