為了兼容操作系統上層軟件，本文僅修改“請求”函數的代碼而不改變現有信號量的數據結構，將圖1虛直線上部分描述的新信號量策略映射到虛直線下，把優先級隊列和先進先出隊列融合到一個隊列中，隊列的前半部分是優先級隊列，由指針FLINK指定，后半部分為先進先出隊列，由指針BLINK指定，這種復合型隊列同時具備優先級和先進先出隊列的優點，體現了“一個隊列兩種策略”。線程請求資源后，若信號量計數器小于0，且線程的優先級小于16，按照先進先出策略將線程排在BLINK指向的先進先出隊列隊尾；若線程的優先級大于等于16，則將線程按照優先級策略在FLINK指向的優先級隊列中搜索相應的位置，找到小于優先級隊列中的線程并放在該線程之后。當線程釋放資源時，若信號量計數器小于0，由于線程已經根據策略放入恰當的位置，內核只需要從KSEMAPHORE→WaitList→FLINK取出第一個線程送往線程調度隊列即可。為了最小化修改范圍，用下述代碼替換內核\base\ntos\ke\wait.c文件中KeWaitForSingleObject()函數的部分代碼以實現新策略：
if (KeQueryPriorityThread(Thread) < 16)
{InsertTailList(&Objectx->Header.WaitListHead,
&WaitBlock->WaitListEntry);}
else {ListHead1 = &Objectx->Header.WaitListHead;
WaitEntry1 = ListHead1->Flink;
while(WaitEntry1 != ListHead1) {
WaitBlock1 = CONTAINING_RECORD(WaitEntry1,
KWAIT_BLOCK, WaitListEntry);
if(KeQueryPriorityThread(Thread) >
KeQueryPriorityThread(WaitBlock1->Thread))
{break;}
WaitEntry1 = WaitEntry1->Flink;}
InsertTailList(WaitEntry1, &WaitBlock->
WaitListEntry);}

根據C規范[4]設計一個應用程序測試內核修改后的性能指標，由于NT內核對于一個特定的進程只能有一個特定的優先級類，進程內的所有線程只能屬于該優先級，程序應該第一次進程化為實時類型的主控進程，生成信號量和掛在信號量上的實時線程，第二次進程化為一般類型的客戶進程，生成掛在信號量上的一般線程，主線程釋放實時線程和一般線程。應用程序中有4個參量：一般線程數NrTh、實時線程數RtTh；信號量Seph及資源爭奪時間RunT。實驗中,固定Seph=1，RunT=10 000 ms，改變NrTh和RtTh的值，分別在表1所列的內核上運行，結果如表1所示。

從表1可以看出：1～12行的調度結果和前述分析的各種策略的優缺點一致，對于FIFO，無論不同優先級線程的比例是多少，它們被調度的次數幾乎完全相同。對于LIFO，從數據可以看出，兩個優先級為8、一個優先級為6和優先級為26、25、24的線程處在等待隊列的前端，而且幾乎每次都是這幾個線程被調度。對于Priority，無論是否有實時類線程，只要優先級高，被調度的次數就多。對于新策略（Priority and FIFO），有實時線程就按優先級調度，若只有一般線程就按照FIFO調度，既有FIFO的特性（比較第2行和第11行）也有Priority的特性（比較第1行和第4行），而其他策略則只具有一種特性。應用程序在其他操作系統測試結果見14～22行，比較可以看出，14～22行的數據與10～12行的數據幾乎完全一致，由此可以推斷Windows 7操作系統的信號量等待隊列也是先進先出策略。