A Design That Incorporates Adaptive Reservation into Mixed-Criticality Systems

Algorithm 5

(1)  function SLACK_DONATION

(2)    while do

(3)      

(4)      

(5)      

(6)      if then

(7)       if then

(8)        

(9)        

(10)        

(11)        

(12)       else

(13)        

(14)        

(15)       end if

(16)      else if then

(17)      if then

(18)        

(19)        

(20)       else if then

(21)        

(22)        

(23)       else if then

(24)        

(25)        

(26)       else

(27)        

(28)        

(29)       end if

(30)       else if then

(31)       

(32)       

(33)       else

(34)       

(35)       end if

(36)    end while

(37)    

(38)  end function