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,cae92f92d6a1d4b1
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news3.google.com!fu-berlin.de!newsfeed.arcor.de!newsspool3.arcor-online.net!news.arcor.de.POSTED!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Ada.Execution_Time
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: <ie1ih9$d02$1@news.eternal-september.org>
 <ie3gjn$oj$1@news.eternal-september.org>
 <4d05e737$0$6980$9b4e6d93@newsspool4.arcor-online.net>
 <ie91co$cko$1@news.eternal-september.org> <iebe2t$eua$1@munin.nbi.dk>
 <1wmsukf0wglz3$.odnzonrpayly.dlg@40tude.net>
 <iedfud$ul1$1@news.eternal-september.org>
 <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>
 <bboyk178uyce.1jx52xgjoblk1$.dlg@40tude.net>
 <8nm30fF7r9U1@mid.individual.net> <ifb2ts$l0m$1@munin.nbi.dk>
 <8o0p0lF94rU1@mid.individual.net> <aooml6t0ezs4.4srxtfm9z00r.dlg@40tude.net>
 <C9411001.38D1%news@findlayw.plus.com>
 <jw9ocxiajasa.142oku2z0e6rx$.dlg@40tude.net>
 <C941431F.38E2%news@findlayw.plus.com>
Date: Wed, 29 Dec 2010 22:20:58 +0100
Message-ID: <xdzib16pw12u$.v5dybjo9t1sb.dlg@40tude.net>
NNTP-Posting-Date: 29 Dec 2010 22:20:57 CET
NNTP-Posting-Host: e9f01959.newsspool2.arcor-online.net
X-Trace: 
 DXC=_2N23ooO27Egj[ZPFj7ehOA9EHlD;3YcB4Fo<]lROoRA8kF<OcfhCOK2D1f2XPQoT@[6LHn;2LCVN[<mhadbfdUKQXHj<G9fk;CQZYdPI5N4kH
X-Complaints-To: usenet-abuse@arcor.de
Xref: g2news1.google.com comp.lang.ada:16238
Date: 2010-12-29T22:20:57+01:00
List-Id: <comp.lang.ada>

On Wed, 29 Dec 2010 19:57:19 +0000, (see below) wrote:

> They are implementation dependent in the best of
> circumstances, and so need to be specified by the implementer.

But Niklas seems to want more than merely documentation.

> I've no idea what "blocked without losing the CPU" means.

That is when you access something over the system bus from the task and
have to wait for the bus to become free.

There are also kernel times spend on some OS book keeping and for I/O
initiated by other task. It is impossible to tell what is done on task's
behalf and what is not. D 14(11/2) leaves everything to the implementation.

>> ARG defined Ada.Execution_Time in the most
>> *reasonable* way, in particular, allowing to deliver whatever garbage the
>> underlying OS service spits.
> 
> I agree. What else could they do?
> And if the implementation documents that, where is the harm?

To me no harm.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de