我们在之前的讲解了如何自己实现临界区以及什么是Windows自旋锁,这两种同步方案在线程无法进入临界区时都会让当前线程进入等待状态,一种是通过Sleep函数实现的,一种是通过让当前的CPU"空转”实现的,但这两种等待方式都有局限性:
- 通过Sleep函数进行等待,等待时间该如何确定呢?
- 通过“空转”的方式进行等待,只有等待时间很短的情况下才有意义,否则对CPU资源是种浪费。而且自旋锁只能在多核的环境下才有意义。
有没有更加合理的等待方式呢?只有在条件成熟的时候才将当前线程唤醒?
等待与唤醒机制
在Windows中,一个线程可以通过等待一个或者多个可等待对象,从而进入等待状态,另一个线程可以在某些时刻唤醒等待这些对象的其他线程。
A线程用WaitForSingleObject 或者 WaitForMultipleObjects进入等待状态,B线程用SetEvent将线程唤醒,A线程与B线程就是通过 可等待对象 联系到一起的。
可等待对象
在Windbg中查看如下结构体:
进程 dt KPROCESS
线程 dt KTHREAD
定时器 dt_ KTIMER
信号量 dt KSEMAPHOREI
事件 dt KEVENT
互斥体 dt KMUTANT
文件 dt FILE OBJECT
可等待对象都有一个共同的特点,他们的第一个成员都是一个结构体:_DISPATCHER_HEADER。但是有一些结构体并不是比如说文件就不是。
只要结构体中有_DISPATCHER_HEADER就是可等待对象。
kd> dt _DISPATCHER_HEADER
nt!_DISPATCHER_HEADER
+0x000 Type //该对象类型
+0x001 Absolute
+0x002 Size
+0x003 Inserted
+0x004 SignalState //该分发器信号状态 (值大于0就是有信号 分发器对象也称为同步对象)
+0x008 WaitListHead //双向链表头,链着所有等待块(此链表包含了所有正在等待该分发器对象的线程)
可等待对象的差异
WaitForSingleObject(3环)
NtWaitorSingleObject(内核)
1)通过3环用户提供的句柄,找到等待对象的内核地址。
2)如果是以_DISPATCHER-HEADER开头,直接使用。
3)如果不是以DISPATC