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-Thread: 103376,3e11ef4efc073f6b X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news2.google.com!news1.google.com!news.glorb.com!news2!news.ecp.fr!oleane.net!oleane!hunter.axlog.fr!nobody From: Jean-Pierre Rosen Newsgroups: comp.lang.ada Subject: Re: requeue with abort and timed call Date: Mon, 29 Dec 2008 11:42:43 +0100 Organization: Adalog Message-ID: <9j9ajg.3a7.ln@hunter.axlog.fr> References: <2a60b044-6a5c-4ce6-93e6-6eeefc8806c3@l33g2000pri.googlegroups.com> <1f6rcb1qwt7vx.1mckzyk9ucohf.dlg@40tude.net> <84c56781-1cb1-4d86-be14-e66fc9fdade6@w1g2000prk.googlegroups.com> <7p8onuvzdz18$.1m1dq8n3b52q5.dlg@40tude.net> NNTP-Posting-Host: mailhost.axlog.fr Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Trace: s1.news.oleane.net 1230541529 21235 195.25.228.57 (29 Dec 2008 09:05:29 GMT) X-Complaints-To: abuse@oleane.net NNTP-Posting-Date: Mon, 29 Dec 2008 09:05:29 +0000 (UTC) User-Agent: Thunderbird 2.0.0.18 (Windows/20081105) In-Reply-To: <7p8onuvzdz18$.1m1dq8n3b52q5.dlg@40tude.net> Xref: g2news1.google.com comp.lang.ada:3107 Date: 2008-12-29T11:42:43+01:00 List-Id: Dmitry A. Kazakov a �crit : > On Sun, 28 Dec 2008 07:53:44 -0800 (PST), christoph.grein@eurocopter.com > wrote: > >> I do not see a problem with aborting. Why should the entry call be >> aborted? > > Because the request remains *queued* after expiration of the timed entry > call. > There seems to be some confusion about terms here. For a timed entry call, the call is /cancelled/ if the it is not accepted within the given time span. If the call has been requeued, it is the beginning of the second accept that determines the deadline. However, there is no /abort/ in this example. The "with abort" in the requeue statement really means that the rendezvous will start over from scratch, implying that the queued task could be aborted (or cancelled by a timed entry call, or asynchronous transfer of control). Without the "with abort", the second queue is considered as within the first rendezvous, and a caller is abort-deferred during a rendezvous (and since it is the acceptance time that matters for timed entry call, it will be too late to cancel the call). Anyway, it is clear that the second call should be cancelled in this example. -- --------------------------------------------------------- J-P. Rosen (rosen@adalog.fr) Visit Adalog's web site at http://www.adalog.fr