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-7-bit Path: g2news1.google.com!postnews.google.com!v39g2000pro.googlegroups.com!not-for-mail From: ishikawa@arielworks.com Newsgroups: comp.lang.ada Subject: Re: requeue with abort and timed call Date: Tue, 30 Dec 2008 07:54:57 -0800 (PST) Organization: http://groups.google.com Message-ID: <3465eb8c-adee-4a87-b8c3-52865b50e3b2@v39g2000pro.googlegroups.com> 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> <9j9ajg.3a7.ln@hunter.axlog.fr> <2a0a1de3-6736-4478-9378-50b8895fa20d@r15g2000prh.googlegroups.com> <0f9bf864-927b-442c-a435-1713c40cfd30@r15g2000prh.googlegroups.com> NNTP-Posting-Host: 121.108.39.92 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Trace: posting.google.com 1230652497 3500 127.0.0.1 (30 Dec 2008 15:54:57 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Tue, 30 Dec 2008 15:54:57 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: v39g2000pro.googlegroups.com; posting-host=121.108.39.92; posting-account=UO0ZfgoAAAAg-AJ8SR3KlCGoe1tEbkJa User-Agent: G2/1.0 X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.5; en-US; rv:1.9.0.5) Gecko/2008120121 Firefox/3.0.5,gzip(gfe),gzip(gfe) Xref: g2news1.google.com comp.lang.ada:3128 Date: 2008-12-30T07:54:57-08:00 List-Id: Thank you very much for all responses. On Dec 29, 7:23 pm, christoph.gr...@eurocopter.com wrote: > I think this is very idea behind a timed entry call - to be aborted, a > call must be queued when the delay expires; when it executes, it will > not be aborted. I thought the same way as you said once. But I was not sure about that idea and it seemed repugnant (because delay takes even negative delays). On Dec 30, 10:18 pm, christoph.gr...@eurocopter.com wrote: > So what you say here is that the delay is still active in the time > line I gave in a previous post and Requeued_Call must be aborted? If > so, GNAT is definitively in error. I think Requeued_Call should be aborted. Because RM-9.5.4(16) says; >if the original entry call was timed (or conditional), then the original expiration time is the expiration time for the requeued call. This sentence means that delay is still active on requeueing, I believe. (Of course I'm not a language lawyer, so I could be wrong.) On Dec 30, 6:05 am, sjw wrote: > The whole example is far from clear to me. If I were reviewing this > design I would have great difficulty understanding what the designer > was trying to do and whether the code achieved it. I'm sorry. My example code and messages might be bad to understand. I've never used "requeue" in my codes and I found it on RM this time. Wrote some codes to understand how "requeue" works, I got the question. The problem is why Requeued_Call is not aborted. Magic numbers in the codes (e.g. delay "3.0" or "1.0") does not have any special meanings. "delay 3.0" is there just to make Original_Call take enough time over the expiration time. On Dec 30, 10:18 pm, christoph.gr...@eurocopter.com wrote: > I guess this should be put to Ada-Comment for a definitive answer by > Ada mainainers (Randy, Tuck, etc.). Ok, I try to do. I'll report the response to this thread when get it.