Re: Ravenscar - Multiple Protected Entries

[Jeffrey Carter <spam@spam.com>]

Stephan Heinemann wrote:
>>Suppose 2 tasks have the same priority, are blocked on 2 entries of a 
>>protected object, and both barriers become True at the same time. How do 
>>you determine which of the 2 tasks executes next?
> 
> 
> The one which suspended first - FIFO_Within_Priorities. But which one
> suspended first? ...

FIFO_Within_Priorities has nothing to do with it. There are 2 queues, 
and each has only 1 task in it, so each task is at the head of its 
queue. Each task is next to execute when its respective barrier becomes 
True. And the language rules do not specify which task executes first. 
So it is non-deterministic which task will execute next.

-- 
Jeff Carter
"All citizens will be required to change their underwear
every half hour. Underwear will be worn on the outside,
so we can check."
Bananas