Matt writes: On page 61, I found the sentence,
"No thread will ever be running if another thread with higher priority is not running, but is in the runnable state."
to be confusing. I think something like
"A thread will never run if another thread, with higher priority and in the runnable state, is not running."
would be more clear.
However, I am not convinced Matt's suggestion is actually an improvement. How about "A thread will never be running if another runnable thread has higher priority."?
Actually, I don't like my suggestion either because it isn't correct for scheduling multiple processors. This needs further thought.