Introduce Satisfy Policies into Semaphore in WRK

Abstract

This paper describes an improved semaphore with policies in Windows operating system. We introduce policies to help operating system kernel select next process (or thread) in the waiting list queue to satisfy. The paper present five policies: first in first out (FIFO), first in last out (FILO), highest priority first out (HPFO), lowest priority first out (LPFO) and Random. We discuss the design and implement of semaphore with policies in Windows Research Kernel (WRK), and the results are the same as expected.