From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,ad970f7416a0587e,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2001-07-30 15:04:56 PST
Path: archiver1.google.com!news2.google.com!postnews1.google.com!not-for-mail
From: adam@irvine.com (Adam Beneschan)
Newsgroups: comp.lang.ada
Subject: Asynchronous select and requeue
Date: 30 Jul 2001 15:04:56 -0700
Organization: http://groups.google.com/
Message-ID: <b4682ab7.0107301404.3db2ee11@posting.google.com>
NNTP-Posting-Host: 63.206.153.98
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 996530696 17555 127.0.0.1 (30 Jul 2001 22:04:56
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 30 Jul 2001 22:04:56 GMT
Xref: archiver1.google.com comp.lang.ada:10789
Date: 2001-07-30T22:04:56+00:00
List-Id: <comp.lang.ada>

I'm a bit confused about one aspect of Asynchronous Transfer of
Control:

select
    T1.E1;    -- entry call
then abort
    ...
end select;

9.7.3(9) says "If the triggering_statement [in this case, the entry
call] completes other than due to cancellation, the abortable_part is
aborted...".  I'm a little confused about just what "completes" means
in the case that the triggering_statement is an entry call, as above,
and the entry call is requeued.

What is supposed to happen if the entry call is requeued with abort? 
Does the abortable part continue executing, or is it aborted?  If the
abortable part is aborted, I presume the calling task is now blocked
until the entry is complete?

What is supposed to happen if the entry call is requeued *without*
abort?  Does the abortable part continue executing, or is it aborted? 
If it's not aborted, and it completes, then the RM says an attempt to
cancel the entry call is made (9.7.3(8))---but I presume that in this
case the entry call is not canceled, and the task is now blocked until
the entry completes?

Can someone enlighten me on this?

				-- thanks, Adam