Journal/Paper.thy
changeset 44 f676a68935a0
parent 43 45e1d324c493
child 45 fc83f79009bd
equal deleted inserted replaced
43:45e1d324c493 44:f676a68935a0
   152   highest remaining priority of the threads that it blocks. 
   152   highest remaining priority of the threads that it blocks. 
   153   A similar
   153   A similar
   154   error is made in the textbook \cite[Section 2.3.1]{book} which
   154   error is made in the textbook \cite[Section 2.3.1]{book} which
   155   specifies for a process that inherited a higher priority and exits a
   155   specifies for a process that inherited a higher priority and exits a
   156   critical section ``{\it it resumes the priority it had at the point
   156   critical section ``{\it it resumes the priority it had at the point
   157   of entry into the critical section}''.  The same error can also be
   157   of entry into the critical section}''.  This error can also be
   158   found in the more recent textbook \cite[Page 119]{Laplante11} where the
   158   found in the more recent textbook \cite[Page 119]{Laplante11} where the
   159   authors state: ``{\it when [the task] exits the critical section that caused
   159   authors state: ``{\it when [the task] exits the critical section that caused
   160   the block, it reverts to the priority it had when it entered that
   160   the block, it reverts to the priority it had when it entered that
   161   section}''. The textbook \cite[Page 286]{Liu00} contains a simlar
   161   section}''. The textbook \cite[Page 286]{Liu00} contains a simlar
   162   flawed specification and even goes on to develop pseudo-code based on this
   162   flawed specification and even goes on to develop pseudo-code based on this