对linux 0.11版本中进程调度源码的理解

刚看到有关进程调度的源码，记录下。部分源码如下：

void schedule(void)
{
	int i,next,c;
	struct task_struct ** p;

/* 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;
		}

/* 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);
}

解读：

       代码首先进入一个循环，从最后一个任务开始遍历，当*p指向的任务描述符不为空时再去判断任务描述符里的alarm是否设置，并且判断alarm是否小于jiffies，其中jiffies记录自系统启动以来产生的节拍的总数，假如小于的话表示当前时间已经超过了设定的alarm时间，这时候就应该给该进程的信号位图里面置位，即调用(*p)->signal |= (1<<(SIGALRM-1));

       因为位图是32位，现在想让哪位置位就让1左移几位就好了，再将该进程中的alarm清零。但是这个信号是可能被屏蔽的，所以继续判断((*p)->signal& ~(_BLOCKABLE & (*p)->blocked))，这句话的意思就是看信号是否屏蔽掉，其中

#define _S(nr) (1<<((nr)-1))
#define _BLOCKABLE (~(_S(SIGKILL) | _S(SIGSTOP)))
  

      所以_BLOCKABLE代表默认的不能被屏蔽的信号，(*p)->blocked代表进程自己设置的屏蔽位，假如没有屏蔽掉，且进程状态为TASK_INTERRUPTIBLE，这时候就可以把该进程的状态调整为可运行状态。

    之后进入一个死循环，*p开始的时候指向最后一个任务描述符，假如指向的为空则跳过后续的步骤，接下来其实就是在所有可运行任务中找到一个counter最大的进程，并将next指向该进程，c代表最大的counter，如果这个counter不为0，则直接调用switch_to(next)来切换进程，如果这个counter为0的话说明所有可执行进程的时间片都用完了，就重新设置时间片，再重新执行上述过程。