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,cae92f92d6a1d4b1 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news3.google.com!feeder.news-service.com!94.75.214.39.MISMATCH!aioe.org!news.tornevall.net!news.jacob-sparre.dk!pnx.dk!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Ada.Execution_Time Date: Mon, 3 Jan 2011 15:33:25 -0600 Organization: Jacob Sparre Andersen Message-ID: References: <4d05e737$0$6980$9b4e6d93@newsspool4.arcor-online.net> <1wmsukf0wglz3$.odnzonrpayly.dlg@40tude.net><6n1c5myuf2uz$.10jl3ln7il3aq.dlg@40tude.net><8n0mgnFv2sU1@mid.individual.net><1n3o55xjdjr9t.1u33kb75y2jfl$.dlg@40tude.net><8n1142Fto2U1@mid.individual.net><1o5cbm4b1l20d$.19winbma6k5qw.dlg@40tude.net><8n4mskF7mmU1@mid.individual.net><8nm30fF7r9U1@mid.individual.net> <8o0p0lF94rU1@mid.individual.net> <8o4k3tFko2U1@mid.individual.net> NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net X-Trace: munin.nbi.dk 1294090407 20504 69.95.181.76 (3 Jan 2011 21:33:27 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Mon, 3 Jan 2011 21:33:27 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.5931 Xref: g2news2.google.com comp.lang.ada:17282 Date: 2011-01-03T15:33:25-06:00 List-Id: "Simon Wright" wrote in message news:m2zkrk62ms.fsf@pushface.org... > "Randy Brukardt" writes: > >> Your discussion of real-time scheduling using this still seems to me >> to be more in the realm of academic exercise than something >> practical. I'm sure that it works in very limited circumstances, but >> those circumstances are getting less and less likely by the year. > > Sounds as if you don't agree with the !problem section of AI-00307? Pretty much. Keep in mind that the IRTAW proposals tend to get put into the language without much resistance from the majority of the ARG. Most of us don't have a enough real-time experience to really be able to have a strong opinion on a topic. So we don't generally oppose the basic reason for a proposal. We simply spend time on polishing the proposals into acceptable RM language (which is usually a large job by itself; the proposals tend to be very sloppy). Rarely do we object to the proposal itself, in large part because we simply don't have enough energy to think in great detail about every proposal. It's best to think of the Annex D stuff as designed and proposed separately by a small subgroup. (There's a similar dynamic for some other areas as well, numerics coming to mind.) That small subgroup may have a different world-view than the rest of us. Randy.