Re: Ravenscar - Multiple Protected Entries

[Stephan Heinemann <zombie@cs.tu-berlin.de>]

> All compilers have to implement the core language, and section 9 is part 
> of the core language. Annex D (Real-Time Systems) is an optional annex 
> that a compiler vendor can choose not to implement, to implement 
> partially, or to implement completely. If your compiler implements Annex 
> D and you don't mind being limited to compilers that implement Annex D, 
> then you can rely on the entry that appears first in the protected 
> unit's specification. If you want to be portable to all compilers, you 
> can only count on the things in the core language. This appears to be 
> the intention of Ravenscar, since it limits protected objects to a 
> single entry to avoid non-determinism.

But without Annex D, there would be no monotonic time which is an integral
part of Ravenscar...

Totally confused,
Stephan