从Unix分层内核栈以及中断处理看Linux内核的另类

如果你一开始就读linux内核，那么你的思路会变得非常开阔，如果你读过unix内核，那么你会惊叹于linux内核的巧妙，如果你连NT的内核也了解，那么你会发现linux内核真是个另类，本文从内核栈的角度来简要说明linux为何另类。
了解操作系统原理和计算机体系结构的都知道在应用程序陷入内核的时候要将用户栈切换到内核栈，而引起陷入的有三种方式：1.系统调用；2.硬件中断；3.异常。但是如果执行续本来就在内核而发生了中断，那么怎么办呢？unix，nt，linux的处理是不同的：
1.unix的方式：
  unix中的进程的内核上下文有静态部分和动态部分，其中静态部分就是区表，进程表项和U区，本文我们不考虑，动态部分最重要的就是内核栈，unix按照 系统支持的中断级别种类将进程的内核栈分为多个层，每个中断级别对应一个层，这个中断级别的概念和nt的irql有些类似，其实它们的作用还真的一样，用 来屏蔽同优先级或下优先级的中断，由此来保证多层的中断栈不会使上下文乱掉，栈的层次是单向提高或者降低的。具体过程就是：用户空间的进程进行系统调用或者被中断，那么系统切换到第0层内核栈，开始执行处理程序代码，此时有一个更高级别的中断发生，那么系统切换到第1层内核栈，....系统切换到第n层内核栈，如果采用硬件屏蔽中断的方式，那么第n层以及第n层以下对应级别的中断根本就不会发生了，如果不是硬件屏蔽，那么可能还会发生，只不过不会执行中断处理代码，而只是将低优先级的中断pending，等到以后中断级别降低后再延迟执行，和linux软中断类似，只不过unix对待中断的方式更加统一 了，每个中断级别对应一个栈；
2.NT的方式：
在NT内核，系统定义了irql的概念，和unix的类似，只是没有分层的内核栈，中断完全借用当前线程的内核栈，因此nt的中断都是在任意上下文执行的，unix是同步的，意思是说虽然用了中断级别的概念，但是也就对“真正”的中断有用，而nt将很多可能的操作都往irql框架填，以“假”中断--软 中断的方式执行。某种意义上，nt也是和unix一样以一种统一的方式处理中断，不同的是unix对待当前进程和中断的方式更加仁慈，多层内核栈保证了一 切，nt就不那么仁慈了，直接借用了当前进程的内核栈，造成中断和当前进程鱼龙混杂的局面；
3.Linux的方式：
  Linux的方式对于高手是轻松的，对于思维僵化的人是沉重的，它的实现相当灵活，毅然抛弃了硬件都建议的中断优先级的概念，从而也就抛弃了处理器中断级别的概念，所有中断一视同仁，完全可嵌套；另外linux没有那么多所谓的“层次”，效率绝对有优势，对于中断上下文，和nt一样，借用当前进程上下文， 采用硬件中断发布软中断的方式，这个也和nt一样，但是却没有出现混乱，linux内核尽量减少硬件中断处理时间，而且也不过分执行软中断，过多的软中断在ksoftirqd的进程上下文执行，它有自己的内核栈。你不能说linux没有内核栈是它的弱点，linux内核是高度可配置的，linux内核也可 以配置独立的内核中断栈，反正不管你怎么说，linux都是可以做到unix或nt能做到的事情，linux内核是典型的“两面三刀”，呵呵，不过我喜欢。
谈完上面的三点，我想linux为何另类的原因就不用多说了，linux没有规则，没有规则就是灵活，而且总是毫不留情的抛弃硬件的建议，按照自己的方式 进行处理，其强大的内核机制保证不会发生混乱，而强大的内核机制竟然出自一个个小巧的数据结构，其一眼望去不是那么华丽，但是却是深不可测，毫无定法。
说linux不规则，仅仅从系统结构的角度来说，它处理问题的方式却比unix和windows更规则，比如对于陷入内核的进程，和没有陷入的一样接受同样的调度，linux只是简单的区分交互进程来使得睡眠过久的进程提升优先级而不会像unix的sysyem v那样将唤醒优先级和睡眠原因硬性联系起来也不会像nt那样规定不允许这也不允许那。
综上，如果你仅读过linux，那么你会想当然认为所有内核都那样，有这种想法的原因就在于linux内核设计原则就是按照现实世界的原则设计的，它的开 发人员极端复杂，本来就是三教九流，就难怪内核的两面三刀了。别的内核可能就不是那么“现实”了，它们都是为了开发“内核”而开发内核的，和现实的联系没 有linux内核那么大，开发过程很规则，要经过总体构思和设计。这个世界，只要经过组织全盘设计过的东西，十有八九没有独侠的东西更具杀伤力，看过金庸的小说吗？里面那个武林高手是属于军队的！？招无定法才是武林至尊，不要看外表多华丽，不要看内在多合逻辑，那还看什么，什么也不要看，只要默默品味就可 以了。