M$ddk对调用KeWaitForSingleObject接口有下面约定:
Callers of KeWaitForSingleObject must be running at IRQL <= DISPATCH_LEVEL.
However, if Timeout = NULL or *Timeout != 0, the caller must be running at IRQL <= APC_LEVEL and in a nonarbitrary thread context.
(If Timeout != NULL and *Timeout = 0, the caller must be running at IRQL <= DISPATCH_LEVEL.)
翻译过来就是以Timeout!=0调用KeWaitForSingleObject时,IRQL<DISPATCH_LEVEL,如果要在IRQL=DISPATCH_LEVEL运行级上调用KeWaitForSingleObject,必须保证Timeout=0.这段话短短几行,但是有3个重要的信息点,1.等待的超时时间在不同irql上该怎么设置;2.dpc过程中不能执行超时时间为非零等待;3.当IRQL>=DISPATCH_LEVEL时,也不能执行非零等待。本文将结合自己对Reactos的理解,对这3点进行解释。
1.IRQL>=DISPATCH_LEVEL时,超时时间必须==0?
KeWaitForSingleObject是个等待-醒来-再等待的循环过程,每次醒来会判断条件是否满足,不满足就继续等待。其中有一项参数就是Timeout是否超时。
NTSTATUS
NTAPI
KeWaitForSingleObject(IN PVOID Object,
IN KWAIT_REASON WaitReason,
IN KPROCESSOR_MODE WaitMode,
IN BOOLEAN Alertable,
IN PLARGE_INTEGER Timeout OPTIONAL)
{
for (;;)
{
if (Timeout)
{
/* Check if the timer expired */
InterruptTime.QuadPart = KeQueryInterruptTime();
if ((ULONGLONG)InterruptTime.QuadPart >=
Timer->DueTime.QuadPart)
{
/* It did, so we don't need to wait */
WaitStatus = STATUS_TIMEOUT;
goto DontWait;
}
/* It didn't, so activate it */
Timer->Header.Inserted = TRUE;
}
...
WaitStatus = KiSwapThread(Thread, KeGetCurrentPrcb());
WaitStart:
Thread->WaitIrql = KeRaiseIrqlToSynchLevel();
KxSingleThreadWait();
KiAcquireDispatcherLockAtDpcLevel();
} //end for(;;)
KiReleaseDispatcherLock(Thread->WaitIrql);
return WaitStatus;
DontWait:
KiReleaseDispatcherLockFromDpcLevel();
KiAdjustQuantumThread(Thread);
return WaitStatus;
}
代码显示,如果Timeout!=NULL,且只有已超时,就跳出for(;;)循环并从KeWaitForSingleObject函数中返回;否则,可能进入KiSwapThread(Thread, KeGetCurrentPrcb());进而切换线程,实现睡眠等待。 从上面这段代码摘要可以知道,调用KeWaitForSingleObject且Timeout!=NULL,会引起线程等待。为了使线程在DISPATCH_LEVEL上不被因睡眠而切换出去,只能让超时值==0,使得KeWaitForSingleObject立刻返回。这解释了ddk文档中关于Timeout的调用约定。
2.dpc过程中不能执行超时时间为非零等待?
网上一种主流的说法是:线程运行在DISPATCH_LEVEL级别以下,在IRQL==DISPATCH_LEVEL时 线程被挂起,OS开始调度和切换线程,等到IRQL重新下降到DISPATCH_LEVEL以下时,被调度的线程才继续运行。如果此时线程睡眠,会因为没法切换回来而导致BDOS。但是,这个说法有点牵强,首先,下降到DISPATCH_LEVEL级别一下是个很模糊的时机,是在下降沿切换还是下降完毕才切换?其次,难道线程通过执行RaiseIrql就被挂起了?更重要的,这句话容易引起误解:认为winos跟linux一样,存在专司线程调度的内核线程,该线程只有在DISPATCH_LEVEL时才调度和切换线程。然而,winos中不存在固定的调度线程,取而代之的,线程调度遍地都是,只要调用LowIrql/KiExitDispatcher都会引起线程调度(这是分布式调度的调调吗?)。 另外,如果仔细看KiSwapThread/SwapContext的实现就可以知道,被切换的线程在SwapContext中就已经恢复执行,而,IRQL下降只是提供线程切换的机会。因此,分析LowIrql(以及其他会降低cpu当前irql的操作)源码就显得很重要。
来看下LowIrql的代码:
VOID
HalpLowerIrql(KIRQL NewIrql)
{
if (NewIrql >= PROFILE_LEVEL)
{
KeGetPcr()->Irql = NewIrql;
return;
}
...
if (NewIrql >= DISPATCH_LEVEL)
{
KeGetPcr()->Irql = NewIrql;
return;
}
KeGetPcr()->Irql = DISPATCH_LEVEL;
if (((PKIPCR)KeGetPcr())->HalReserved[HAL_DPC_REQUEST])
{
((PKIPCR)KeGetPcr())->HalReserved[HAL_DPC_REQUEST] = FALSE;
KiDispatchInterrupt();
}
KeGetPcr()->Irql = APC_LEVEL;
if (NewIrql == APC_LEVEL)
{
return;
}
if (KeGetCurrentThread() != NULL &&
KeGetCurrentThread()->ApcState.KernelApcPending)
{
KiDeliverApc(KernelMode, NULL, NULL);
}
KeGetPcr()->Irql = PASSIVE_LEVEL;
}
如前所述,当IRQL级别下降时,可能会引起线程切换,它会调用KiDispatchInterrupt()执行dpc过程和软中断请求:
.func KiDispatchInterrupt@0
_KiDispatchInterrupt@0:
/* Deliver DPCs */
mov ecx, [ebx+KPCR_PRCB]
call @KiRetireDpcList@4
...
/* Set APC_LEVEL and do the swap */
mov cl, APC_LEVEL
call @KiSwapContextInternal@0
/* Restore registers */
mov ebp, [esp+0]
mov edi, [esp+4]
mov esi, [esp+8]
add esp, 3*4
Return:
/* All done */
ret
...
.endfunc
call KiRetireDpcList遍历Prcb->DpcData队列,出队并执行每个dpc过程。而call KiSwapContextInternal则完成线程切换的功能,具体的源码就不深入进去看了,可以参考毛德操的情景分析。值得一提的是,在KiSwapContextInternal里,实实在在的存在判断当前线程切换是不是在发生在dpc过程中:
.globl @KiSwapContextInternal@0
.func @KiSwapContextInternal@0, @KiSwapContextInternal@0
@KiSwapContextInternal@0:
...
/* DPC shouldn't be active */
cmp byte ptr [ebx+KPCR_PRCB_DPC_ROUTINE_ACTIVE], 0
jnz BugCheckDpc
汇编中KPCR_PRCB_DPC_ROUTINE_ACTIVE是prcb中的域,对应 Prcb->DpcRoutineActive。这里判断该域是否为0,非零就跳去蓝屏。那这个域是什么时候设置的?
正好在KiRetireDpcList准备调用执行Dpc过程中:
FASTCALL
KiRetireDpcList(IN PKPRCB Prcb)
{
...
DpcData = &Prcb->DpcData[DPC_NORMAL];
ListHead = &DpcData->DpcListHead;
/* Main outer loop */
do
{
/* Set us as active */
Prcb->DpcRoutineActive = TRUE;
...
DeferredRoutine(Dpc,
DeferredContext,
SystemArgument1,
SystemArgument2);
ASSERT(KeGetCurrentIrql() == DISPATCH_LEVEL);
...
Prcb->DpcRoutineActive = FALSE;
Prcb->DpcInterruptRequested = FALSE;
...
}
在出队Dpc对象并执行Dpc过程前后分别设置Prcb->DpcRoutineActive。这很好的解释了dpc过程中不能执行超时时间为非零等待:一旦执行等待,就会引起切换。一旦进入SwapContextInternal就会因为Prcb->DpcRoutineActive的缘故,引起蓝屏。
3.上面只解释了皮毛,为什么不能在Dispatcher_Level执行等待还是没有解释:
要解释这个,先得去看下我转载的文章:从IRQ到IRQL(PIC版),知道硬件上高IRQL怎么屏蔽低IRQL的执行。然后回过来继续往下看。不过,还得继续看KfLowerIrql。
.func @KfLowerIrql@4
_@KfLowerIrql@4:
@KfLowerIrql@4:
/* Save flags since we'll disable interrupts */
pushf
/* Validate IRQL */
movzx ecx, cl
#if DBG
cmp cl, PCR[KPCR_IRQL]
ja InvalidIrql
#endif
/* Disable interrupts and check if IRQL is below DISPATCH_LEVEL */
cmp dword ptr PCR[KPCR_IRQL], DISPATCH_LEVEL
cli
jbe SkipMask
/* Clear interrupt masks since there's a pending hardware interrupt */
mov eax, KiI8259MaskTable[ecx*4]
or eax, PCR[KPCR_IDR]
out 0x21, al
shr eax, 8
out 0xA1, al
SkipMask:
/* Set the new IRQL and check if there's a pending software interrupt */
mov PCR[KPCR_IRQL], ecx
mov eax, PCR[KPCR_IRR]
mov al, SoftIntByteTable[eax]
cmp al, cl
ja DoCall3
/* Restore interrupts and return */
popf
ret
SoftIntByteTable:
.byte PASSIVE_LEVEL /* IRR 0 */
.byte PASSIVE_LEVEL /* IRR 1 */
.byte APC_LEVEL /* IRR 2 */
.byte APC_LEVEL /* IRR 3 */
.byte DISPATCH_LEVEL /* IRR 4 */
.byte DISPATCH_LEVEL /* IRR 5 */
.byte DISPATCH_LEVEL /* IRR 6 */
.byte DISPATCH_LEVEL /* IRR 7 */
KeWaitForSingleObject调用KiSwapThread,KiSwapThread又调用KiSwapContext和KeLowerIrql,由于KiSwapContext把出于DISPATCH_LEVEL的线程切换出去,而KeLowerIrql又没有起到因有的再次调度线程的作用,(切换进来的线程未必会唤醒等待的线程)。这倒也没什么,更重要的是,载Dispatch_Level上由KeWaitForSingleObject调用KiSwapThread,KiSwapThread再调用KfLowerIrql时,传入的NewIrql也等于Dispatch_Level
NTSTATUS
FASTCALL
KiSwapThread(IN PKTHREAD CurrentThread,
IN PKPRCB Prcb)
{
....
WaitIrql = CurrentThread->WaitIrql;
...
ApcState = KiSwapContext(CurrentThread, NextThread);
...
if (ApcState)
{
/* Lower to APC_LEVEL */
KeLowerIrql(APC_LEVEL);
/* Deliver APCs */
KiDeliverApc(KernelMode, NULL, NULL);
ASSERT(WaitIrql == 0);
}
KeLowerIrql(WaitIrql);
}
当新切换的线程返回时,这个新线程其实也工作在Dispatch_Level.这没什么不好的?错了,副作用还没体现出来,除非这个线程主动降低当前CPU的IRQL级别(一般都是先把优先级升到Dispatch_level,保存原irql,下次恢复时再恢复到原有的irql。然而,很不幸,原来就在DISPATCH_LEVEL上,折腾半天IRQL一直没有变化,因此KeLowerIrql始终不能起到切换线程的作用),否则IRQL一直不会下降,这个线程IRQL得不到降低,KiExitDispatch之类的也得不到执行,于是,整个系统再也没有线程切换了,变成但任务系统了(除非线程时间片用完)。
至此,我认为很好的解释了在IRQL>=DISPATCH_LEVEL时和DPC过程中不能用KeWaitForSingleObject等待对象的原因!
文章浏览阅读738次,点赞10次,收藏12次。大,这里只是将部分目录截图出来,每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频**
文章浏览阅读665次,点赞6次,收藏15次。1.背景介绍数字化证券是一种基于数字技术的金融产品,它利用区块链、人工智能、大数据等技术,为金融市场创造了一种全新的交易体验。这种新型金融产品的出现,不仅为金融市场带来了更高的效率和安全性,还为金融市场的发展提供了新的动力。数字化证券的发展历程可以分为以下几个阶段:初期阶段:数字化证券的诞生。在这个阶段,数字化证券的主要特点是基于数字技术的金融产品,它们利用区块链、人工智能、大数据等...
文章浏览阅读4k次,点赞4次,收藏18次。MATLAB对于矩阵的使用1.单位矩阵eye(n)生成n*n的单位矩阵eye(n,m)生成n*m的单位矩阵eye(size(B))生成与B同样大小的单位矩阵2、全1矩阵ones (n) 生成n*n的全1矩阵ones (n,m) 生成n*m的全1矩阵ones(size(B)) 生成与B同样大小的全1矩阵ones(1,2)生成一行两列的..._logspace
文章浏览阅读1.6k次。自己的总结我们在写stm32的裸机项目时,是怎么写一个iic驱动和IIC设备驱动的,要写哪些内容?1.配置iic总线对应的引脚GPIO,2.iic是数据传输协议,所以要写实现IIC的读写函数,3.然后就是写iic设备的驱动,也就是调用IIC总线的读写函数实现设备的读写函数。4.一般情况下写设备驱动时,要先写设备初始化等等对比linux的平台总线驱动模型写得很好的一篇文章----------一定要看原文链接:https://blog.csdn.net/pengliang528/article_stm32.驱动程序是什么意思
文章浏览阅读783次,点赞18次,收藏20次。springboot是工具集,轻量级,整合了其他框架,方便开发,减少了配置约定大于配置Mybatis是一款持久层框架(Dao)框架,支持持久化SQL、存储过程及高级映射。Mybatis避免了几乎所有JDBC代码和手动设置参数以及获取结果集。MyBatis 可以使用简单的 XML 或注解来配置和映射原生信息,将接口和 Java 的 POJOs(Plain Ordinary Java Object,普通的 Java对象)映射成数据库中的记录。且有缓存机制,可以提高查询效率。
文章浏览阅读5k次,点赞8次,收藏143次。1 封装darknet框架为dll方式暂略2 封装TensorFlow或pytorch框架为dll方式暂略3 调用OpenCV中DNN模块方式3.0 需求说明在ROS系统下创建一个package目标检测程序,订阅realsense传感器的RGB流,进行行人检测,然后将检测结果信息发布出去。包和节点名称定义:该目标检测package名称为:detection_pkg 开展目标检测的节点名称为:yolo4 发布检测结果的节点名称为:yolo4_result接口定义:目标_detection_msgs
文章浏览阅读960次,点赞10次,收藏11次。然后java代码,一些相关注意的事项都在代码里有标出。springboot中引入相关依赖。_ceph java
文章浏览阅读7.7k次,点赞4次,收藏18次。针对element-ui时间选择器进行时间选择范围的控制,最终实现的效果如下图所示,灰色的区域为不能选择区域!<el-form-item label="日期:" prop="time"> <el-date-picker v-model="time" type="date" :picker-options="timeRange" placeholder="选择日期"></el-date-picker></el-form-item>export_element时间选择器限制只能选择整点半点
文章浏览阅读124次。C语言是非常流行的高级编程语言之一,是很多同学的入门编程语言,是建立编程思想的基础课程。 本视频课程是配合学生在学习了基本的理论课程的同时,进行编程实践,帮助初学者有效的进行上机实践,视频主要通过实例编程讲解C语言。 该课程适合学生在课堂学习了基本的理论后再进行实践学习。..._设计程序,用if…else
文章浏览阅读312次。本次就和大家分享到底要怎么学习大数据,以及怎么避免大数据学习的误区,以供参考。 (1)大数据学习要业务驱动,不要技术驱动:数据科学的核心能力是解决问题。大数据的核心目标是数据驱动的智能化,要解决具体的问题,不管是科学研究问题,还是商业决策问题,抑或是政府管理问题。所以学习之前要明确问题,理解问题,所谓问题导向、目标导向,这个明确之后再研究和选择合适的技术加以应用,这样才有针对性,言必had...
文章浏览阅读520次。2019独角兽企业重金招聘Python工程师标准>>> ..._multipartfile xmind
文章浏览阅读132次。1.安装JDK安装好JDK后,再配置JDK的环境变量:在“我的电脑”上点右键—>“属性”—>“高级”—> “环境变量(N)”。新建系统变量JAVA_HOME:C:/Program Files/Java/jdk1.5.0_06;新建系统变量CLASSPATH:.;%JAVA_HOME%/lib;(注意:点号表示当前目录,不能省略)在系统变量Path的值的前面加入..._新建 catalina_home:d:\jakarta-tomcat-5.0.30 在classpath 中加入 catalina_home