KiSelectReadyThread函数分析之nt!KiPriorityMask数组和nt!KiFindFirstSetLeft数组的关系
第0部分：
VOID
KiQuantumEnd (
VOID
)
{
} else {
Thread->Quantum = Process->ThreadQuantum;
//
// Compute the new thread priority and attempt to reschedule the
// current processor.
//
// N.B. The new priority will never be greater than the previous
// priority.
//
Thread->Priority = KiComputeNewPriority(Thread, 1);
if (Prcb->NextThread == NULL) {
if ((NewThread = KiSelectReadyThread(Thread->Priority, Prcb)) != NULL) {
第1部分：
FORCEINLINE
PKTHREAD
KiSelectReadyThread (
IN KPRIORITY LowPriority,
IN PKPRCB Prcb
)
{
ULONG HighPriority;
PRLIST_ENTRY ListEntry;
ULONG PrioritySet;
PKTHREAD Thread;
//
// Compute the set of priority levels that should be scanned in an attempt
// to find a thread that can run on the current processor.
//
PrioritySet =**KiPriorityMask[**LowPriority] & Prcb->ReadySummary;
Thread = NULL;
if (PrioritySet != 0) {
KeFindFirstSetLeftMember(PrioritySet, &HighPriority);
第2部分：
0: kd> x nt!KiPriorityMask
80a05f30 nt!KiPriorityMask = unsigned long []
80a05f30 nt!KiPriorityMask = unsigned long [32]
80a05f30 nt!KiPriorityMask = unsigned long []
0: kd> dx -r1 (*((ntkrnlmp!unsigned long (*)[32])0x80a05f30))
(*((ntkrnlmp!unsigned long (*)[32])0x80a05f30)) [Type: unsigned long [32]]
0\] : 0xffffffff \[Type: unsigned long
1\] : 0xfffffffe \[Type: unsigned long
2\] : 0xfffffffc \[Type: unsigned long
3\] : 0xfffffff8 \[Type: unsigned long
4\] : 0xfffffff0 \[Type: unsigned long
5\] : 0xffffffe0 \[Type: unsigned long
6\] : 0xffffffc0 \[Type: unsigned long
7\] : 0xffffff80 \[Type: unsigned long
8\] : 0xffffff00 \[Type: unsigned long
9\] : 0xfffffe00 \[Type: unsigned long
10\] : 0xfffffc00 \[Type: unsigned long
11\] : 0xfffff800 \[Type: unsigned long
12\] : 0xfffff000 \[Type: unsigned long
13\] : 0xffffe000 \[Type: unsigned long
14\] : 0xffffc000 \[Type: unsigned long
15\] : 0xffff8000 \[Type: unsigned long
16\] : 0xffff0000 \[Type: unsigned long
17\] : 0xfffe0000 \[Type: unsigned long
18\] : 0xfffc0000 \[Type: unsigned long
19\] : 0xfff80000 \[Type: unsigned long
20\] : 0xfff00000 \[Type: unsigned long
21\] : 0xffe00000 \[Type: unsigned long
22\] : 0xffc00000 \[Type: unsigned long
23\] : 0xff800000 \[Type: unsigned long
24\] : 0xff000000 \[Type: unsigned long
25\] : 0xfe000000 \[Type: unsigned long
26\] : 0xfc000000 \[Type: unsigned long
27\] : 0xf8000000 \[Type: unsigned long
28\] : 0xf0000000 \[Type: unsigned long
29\] : 0xe0000000 \[Type: unsigned long
30\] : 0xc0000000 \[Type: unsigned long
31\] : 0x80000000 \[Type: unsigned long
0: kd> dt kTHREAD 8999e620
CSRSRV!KTHREAD
+0x05b Priority : 13 '' 当前线程的优先级为13
13\] : 0xffffe000 \[Type: unsigned long
1111 1111 1111 1111 1110 0000 0000 0000 正好13个0。
从第13位到31位的，都可以选到。优先级为13到优先级31的线程都能被选到。
第3部分：找到一个32位整数的第一个为1的位的位置索引。
KeFindFirstSetLeftMember
#define KeFindFirstSetLeftMember(Set, Member) { \
ULONG _Mask; \
ULONG _Offset = 16; \
if ((_Mask = Set >> 16) == 0) { \
_Offset = 0; \
_Mask = Set; \
} \
if (_Mask >> 8) { \
_Offset += 8; \
} \
*(Member) = KiFindFirstSetLeft[Set >> _Offset] + _Offset; \
}
例子：0x10 00 00 00
0001 0000 0000 0000 0000 0000 0000 0000
第一步判断在高16位还是低16位，右移16位为0说明在低16位，_offset应该设置为0，否则在高16位，不用变化_offset。
if ((_Mask = Set >> 16) == 0) { \ 表示Set变量右移16为赋值给_Mask变量，[Set变量不会有变化]。
_Offset = 0; \
_Mask = Set; \
}
不符合条件，说明在高16位，_Offset = 16，不变。
_Mask=0x10 00
第一步判断选出来的mask中在高8位还是低8位
if (_Mask >> 8) { \
_Offset += 8; \
}
_Mask >> 8后为0x10，_offset=24
0x10
0001 0000
KiFindFirstSetLeft[0x10]=04 0001 0000最左边第一个为1的位是第四位。
KiFindFirstSetLeft[0x11]=04 0001 0001最左边第一个为1的位是第四位。
KiFindFirstSetLeft[0x12]=04 0001 0010最左边第一个为1的位是第四位。
KiFindFirstSetLeft[0x13]=04 0001 0011最左边第一个为1的位是第四位。
KiFindFirstSetLeft[0x14]=04 0001 0100最左边第一个为1的位是第四位。
KiFindFirstSetLeft[0x15]=04 0001 0101最左边第一个为1的位是第四位。
KiFindFirstSetLeft[0x16]=04 0001 0110最左边第一个为1的位是第四位。
KiFindFirstSetLeft[0x17]=04 0001 0111最左边第一个为1的位是第四位。
KiFindFirstSetLeft[0x18]=04 0001 1000最左边第一个为1的位是第四位。
KiFindFirstSetLeft[0x19]=04 0001 1001最左边第一个为1的位是第四位。
KiFindFirstSetLeft[0x1a]=04 0001 1010最左边第一个为1的位是第四位。
KiFindFirstSetLeft[0x1b]=04 0001 1011最左边第一个为1的位是第四位。
KiFindFirstSetLeft[0x1c]=04 0001 1100最左边第一个为1的位是第四位。
KiFindFirstSetLeft[0x1d]=04 0001 1101最左边第一个为1的位是第四位。
KiFindFirstSetLeft[0x1e]=04 0001 1110最左边第一个为1的位是第四位。
KiFindFirstSetLeft[0x1f]=04 0001 1111最左边第一个为1的位是第四位。
KiFindFirstSetLeft[0x20]=05
0: kd> x nt!KiFindFirstSetLeft
80a05db0 nt!KiFindFirstSetLeft = char [256] ""
0: kd> dx -r1 (*((ntkrnlmp!char (*)[256])0x80a05db0))
(*((ntkrnlmp!char (*)[256])0x80a05db0)) : "" [Type: char [256]]
0: kd> db 80a05db0
80a05db0 00 00 01 01 02 02 02 02-03 03 03 03 03 03 03 03 ................
80a05dc0 04 04 04 04 04 04 04 04-04 04 04 04 04 04 04 04 ................
80a05dd0 05 05 05 05 05 05 05 05-05 05 05 05 05 05 05 05 ................
80a05de0 05 05 05 05 05 05 05 05-05 05 05 05 05 05 05 05 ................
80a05df0 06 06 06 06 06 06 06 06-06 06 06 06 06 06 06 06 ................
80a05e00 06 06 06 06 06 06 06 06-06 06 06 06 06 06 06 06 ................
80a05e10 06 06 06 06 06 06 06 06-06 06 06 06 06 06 06 06 ................
80a05e20 06 06 06 06 06 06 06 06-06 06 06 06 06 06 06 06 ................
0: kd> db 80a05db0+80
80a05e30 07 07 07 07 07 07 07 07-07 07 07 07 07 07 07 07 ................
80a05e40 07 07 07 07 07 07 07 07-07 07 07 07 07 07 07 07 ................
80a05e50 07 07 07 07 07 07 07 07-07 07 07 07 07 07 07 07 ................
80a05e60 07 07 07 07 07 07 07 07-07 07 07 07 07 07 07 07 ................
80a05e70 07 07 07 07 07 07 07 07-07 07 07 07 07 07 07 07 ................
80a05e80 07 07 07 07 07 07 07 07-07 07 07 07 07 07 07 07 ................
80a05e90 07 07 07 07 07 07 07 07-07 07 07 07 07 07 07 07 ................
80a05ea0 07 07 07 07 07 07 07 07-07 07 07 07 07 07 07 07 ................
2个 2个 4个 8个 16个 32个 64个 128个
0 1 2 3 4 5 6 7
最终结果是24+4=28位，正确。
0 0 0 1 0 0 0 0
31位 30位 29位 28位