代码的中断级[转]
这是除了多线程安全性之外,常常困扰初学者的另一个问题。在用户态编程中,没有中断级的概念,这是因为用户态程序都运行在同一中断级。但是在内核编程中,就常常出现运行的代码处在不同的中断级的情况。
本书不探讨中断级的本质,只说明中断级的判断方法。读者现在需要了解的中断级主要有Passive级和Dispatch级两种,Dispatch级比Passive级高。在实际编程时,许多具有比较复杂功能的内核API都要求必须在Passive级执行,这一点在WDK的文档上有说明。比如下面的例子:
Callers of IoCreateFile must be running at IRQL?= PASSIVE_LEVEL. |
只有比较简单的函数能在Dispatch级执行。调用任何一个内核API之前,必须查看WDK文档,了解这个内核API的中断级要求。那么如何判断我们正在编写的代码可能的中断级呢?读者暂时可以简单地根据下面的规则来处理,可以处理大部分情况;遇到特殊情况再特殊处理。
规则1:如果在调用路径上没有特殊的情况(导致中断级的提高或者降低),则一个函数执行时的中断级和它的调用源的中断级相同。
规则2:如果在调用路径上有获取自旋锁,则中断级随之升高;如果调用路径上有释放自旋锁,则中断级随之下降。
和判断多线程安全性一样,读者会发现当前代码的中断级基本上取决于调用源的中断级和调用路径。表2-7列出了内核代码主要调用源的运行中断级。
表2-7 内核代码主要调用源的运行中断级
调用源 |
一般的运行中断级 |
DriverEntry,DriverUnload |
Passive级 |
各种分发函数 |
Passive级 |
完成函数 |
Dispatch级 |
各种NDIS回调函数 |
Dispatch级 |
有些读者可能会问,如果当前代码确实是运行在Dispatch级,但是又必须调用一个只能运行在Passive级的内核API,应该怎么办?可以使用内核API来强制降低当前中断级吗?请注意,这是不可以的。Windows的代码都运行在规范的中断级上,任意的降低中断级都会导致系统产生不可预料的后果。
这样的问题有很多种方法可以解决,比如生成一个线程专门去执行要执行的Passive级的代码(参见本书的第7章)。读者会在本书后面章节的例子中逐步了解这些特殊的编程技巧。