《Linux0.11内核完全注释》读后小结 --- 进程调度与信号

schedule.c 是关于进程调度的。

schedule 函数是核心，先检查task列表中，有没有收到信号的，有的话处理之。

/* check alarm, wake up any interruptible tasks that have got a signal */ for(p = &LAST_TASK ; p > &FIRST_TASK ; --p) if (*p) { if ((*p)->alarm && (*p)->alarm < jiffies) { (*p)->signal |= (1<<(SIGALRM-1)); (*p)->alarm = 0; } if (((*p)->signal & ~(_BLOCKABLE & (*p)->blocked)) && (*p)->state==TASK_INTERRUPTIBLE) (*p)->state=TASK_RUNNING; }
遍历整个任务列表，找出counter最大的任务。然后switch_to

/* this is the scheduler proper: */ while (1) { c = -1; next = 0; i = NR_TASKS; p = &task[NR_TASKS]; while (--i) { if (!*--p) continue; if ((*p)->state == TASK_RUNNING && (*p)->counter > c) c = (*p)->counter, next = i; } if (c) break; for(p = &LAST_TASK ; p > &FIRST_TASK ; --p) if (*p) (*p)->counter = ((*p)->counter >> 1) + (*p)->priority; } switch_to(next);

switch_to 汇编写的指令，切换到计算出的进程。最后一个汇编指令。CLTS - 清除CR0 中的任务切换标志

void sleep_on(struct task_struct **p)

void interruptible_sleep_on(struct task_struct **p)

void wake_up(struct task_struct **p)

这是理解进程调度的关键：

current指向了当前的取得CPU时间片的进程，进程一旦执行到schedule函数，进程的控制权（时间片）就交出了，重新进行调度。所以，当schedule 返回时，证明schedule又调度到了这个进程。这个进程又获取到了时间片。这个很有意思，不是普通的函数返回。而是，从一个进程切换回到了这个进程。

进程收到一个信号：

信号是一种软中断：0x80中断。

1. 忽略该信号

2. 捕获该信号

3. 默认操作。

关键是信号如何得到处理的：

do_signal()函数是内核系统调用(0x80)中断处理程序中对信号的预处理程序。在进程每次调用系统调用或者发生时钟等中断时，若进程已收到信号，则该函数就会把信号的处理句柄（即对应的信号处理函数）插入到用户程序堆栈中。这样，在当前系统调用结束返回后就会立即执行信号句柄程序，然后再继续执行用户的程序。

这样，一个信号出现两次，只会响应一次。

在system_call.s 中

ret_from_sys_call: movl current,%eax# task[0] cannot have signals cmpl task,%eax je 3f cmpw $0x0f,CS(%esp)# was old code segment supervisor ? jne 3f cmpw $0x17,OLDSS(%esp)# was stack segment = 0x17 ? jne 3f movl signal(%eax),%ebx movl blocked(%eax),%ecx notl %ecx andl %ebx,%ecx bsfl %ecx,%ecx je 3f btrl %ecx,%ebx movl %ebx,signal(%eax) incl %ecx pushl %ecx //------------------------------------- call do_signal //------------------------------------- popl %eax 3: popl %eax popl %ebx popl %ecx popl %edx pop %fs pop %es pop %ds iret

会调用do_signal 函数，进行处理信号。处理信号，就是把eip指向处理信号的函数。