發送短信 : Formalising Priority Ceiling Protocol with Dynamic Adjustment of Serialization Order in Real Time Databases

            _____               _____     _____   
    ___    |  ___||     ___    |  ___||  / ____|| 
   /   ||  | ||__      /   ||  | ||__   / //---`' 
  | [] ||  | ||__     | [] ||  | ||__   \ \\___   
   \__ ||  |_____||    \__ ||  |_____||  \_____|| 
    -|_||  `-----`      -|_||  `-----`    `----`  
     `-`                 `-`