所有的unix内核都是可重入的,这意味着若干个进程可以同时在内核态下执行。在单处理器系统上只有一个进程真正执行,但是有许多进程可能在等待cpu或某一个I/O操作完成时在内核态下被阻塞。例如,当内核代表某一进程发出一个读磁盘的请求后,就让磁盘控制器处理这个请求,并恢复执行其他进程。当设备满足了读请求时,有一个中断就会通知内核,从而恢复以前的进程。
提供可重入内核的一种方式就是编写函数,以便这些函数只能修改局部变量的值,而不能改变全局数据结构,这样的函数叫可重入函数。但是可重入内核并不局限于这样的可重入函数。相反,可重入内核可以包含非可重入函数,并且利用锁机制保证一次只有一个进程执行非重入函数。
当一个硬件中断发生时,可重入内核能挂起当前正在执行的进程,即使这个进程处于内核态。这有利于提高设备吞吐量。
现在让我们看一下内核的重入性以及它对内核组织的影响。内核控制路径表示内核处理系统调用、异常或中断所执行的指令序列。
当下述条件之一发生时,cpu交错执行内核控制路径:
1、运行在用户态下的进程调用一个系统调用,但相应的内核控制路径证实这个请求无法立即得到满足;然后,内核控制路径调用调度程序选择一个新的进程投入运行。结果进程切换发生,第一个内核控制路径还没完成,而CPU又开始执行其他的内核控制路径。在这种情况下,两条控制路径代表两个不同的进程在执行。
2、当cpu运行一个内核控制路径时,cpu检测到一个异常。第一个控制路径挂起,而cpu开始执行合适的过程。
3、当cpu正在运行一个启用中断的内核控制路径时,一个硬件中断发生。第一个控制路径还没完成,cpu又开始执行另一个内核控制路径进行中断处理。当中断处理程序完成后,第一个内核路径恢复,在这种情况下,两个内核控制路径运行在同一上下文中,所花费的时间都算给这个进程。然而,中断处理程序无需代表这个进程执行。