A Design That Incorporates Adaptive Reservation into Mixed-Criticality Systems

Algorithm 3

(1)  Function GLOBAL_SCHEDULE()

(2)   If then

(3)    Return

(4)   else if

    then

(5)    Return

(6)   else if

    then

(7)    

(8)    TaskReadyQueue = IdleServer.TaskReadyQueue

(9)   else

(10)    CurrentRunningServer = ServerReadyQueue.HeadServer

(11)    TaskReadyQueue = CurrentRunningServer.TaskReadyQueue

(12)   end of

(13)  end function