equal
deleted
inserted
replaced
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 |