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=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no 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!news4.google.com!feeder.news-service.com!193.201.147.88.MISMATCH!feeder8.cambrium.nl!feeder4.cambrium.nl!feed.tweaknews.nl!193.141.40.65.MISMATCH!npeer.de.kpn-eurorings.net!npeer-ng1.de.kpn-eurorings.net!news.netcologne.de!newsfeed-hp2.netcologne.de!newsfeed.arcor.de!newsspool2.arcor-online.net!news.arcor.de.POSTED!not-for-mail From: "Dmitry A. Kazakov" Subject: Re: requeue with abort and timed call Newsgroups: comp.lang.ada User-Agent: 40tude_Dialog/2.0.15.1 MIME-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Reply-To: mailbox@dmitry-kazakov.de Organization: cbb software GmbH References: <2a60b044-6a5c-4ce6-93e6-6eeefc8806c3@l33g2000pri.googlegroups.com> <1f6rcb1qwt7vx.1mckzyk9ucohf.dlg@40tude.net> <84c56781-1cb1-4d86-be14-e66fc9fdade6@w1g2000prk.googlegroups.com> <4c7abc6f-d6d3-4265-8311-1bbb40cc0c0a@z27g2000prd.googlegroups.com> <94gmm8tk6t6c$.1ngnma4ovauei.dlg@40tude.net> <64b95078-2931-40b6-b4f5-6a014d2123e1@g1g2000pra.googlegroups.com> Date: Mon, 29 Dec 2008 13:27:34 +0100 Message-ID: NNTP-Posting-Date: 29 Dec 2008 13:27:37 CET NNTP-Posting-Host: fc28960c.newsspool3.arcor-online.net X-Trace: DXC=AZg>EDkAK\Hgj[ZPFj7ehOMcF=Q^Z^V3H4Fo<]lROoRA^YC2XCjHcbI1obUf_i?@_GDNcfSJ;bb[EIRnRBaCd5 On Mon, 29 Dec 2008 03:17:32 -0800 (PST), christoph.grein@eurocopter.com wrote: > On 29 Dez., 11:55, "Dmitry A. Kazakov" > wrote: >> My understanding is that for the observer (the caller) servicing is >> semantically an atomic operation which ends with the last rendzevous or >> protected action. It is not abortable during a rendezvous or a protected >> action, but between them it well is (unless it was requeued without abort). > > But this is exactly what I meant to say. > > Time line is like following; > 0.0 The call of Original_Call > *1.0 The expiration time of original call, so no abort, because in > rendezvous > 3.0 Complete Original_Call > *3.0 Queued on Requeued_Call, which is never serviced, but which is > also not abortable (no delay active). > > So I do not see a problem with the behavious as shown in the OP's > example. > > *3.0 Queued on Requeued_Call - hm, you think the delay is still > active? We need a language lawyer to enlighten us. Yes, that is another way to say it. In my view the delay is always active, because the caller cannot distinguish original and following calls. There is only one call which can be logically aborted at any time before its completion. Rendezvous and protected actions are considered semantically instant for the caller. So servicing for the caller semantically consists solely out of waiting for completion, there is no other visible components in it. A dual case is how internal protected actions are dealt with. When an internal protected action is requeued to a closed entry, that ends the action and will start a new one when the entry will open. The caller's delay alternative can be selected before this new action start. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de