Re: Overriding discriminants perplexes GNAT 3.14p

[adam@irvine.com (Adam Beneschan)]

Dmitry A.Kazakov <mailbox@dmitry-kazakov.de> wrote in message news:<amerh4$5b11r$2@ID-77047.news.dfncis.de>...
> Adam Beneschan wrote:

> > I think GNAT's behavior is legitimate here.  Protected entry calls and
> > external requeues start new "protected actions" on the target
> > protected object (9.5.3(8), 9.5.4(11)).  Thus, when
> > Objects.Object1.Point1 is called, a new protected action is started on
> > Object1.  When this requeues to Object2.Point1, a new protected action
> > is started on Object2; however, the protected action on Object1 does
> > not complete (AI95-00148). 
> 
> Really? 9.5.4(10) says explicitly (for an internal requeue) that the 
> ongoing action continues., but following it 9.5.4(11) keeps silence about 
> that. From which I would assume that the ongoing action is replaced by a 
> new one. If not, then a task may simultaneously perform an unlimited number 
> of protected actions! I see no sense in that, and moreover, it would make 
> external requeues almost useless.

See http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00148.TXT?rev=1.2
for the official word on the matter.

				-- Adam