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: 
 g2news1.google.com!news3.google.com!feeder.news-service.com!94.75.214.39.MISMATCH!aioe.org!news.tornevall.net!.POSTED!not-for-mail
From: Jeffrey Carter <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Ada.Execution_Time
Date: Thu, 16 Dec 2010 11:17:31 -0700
Organization: TornevallNET - http://news.tornevall.net
Message-ID: <iedlcp$g7d$1@tornado.tornevall.net>
References: <ie1ih9$d02$1@news.eternal-september.org>
 <ie2v2k$aps$1@tornado.tornevall.net> <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>
 <iebp66$4tl$1@news.eternal-september.org>
NNTP-Posting-Host: 3d926e8351ce7e72cfd3c819fbbc61da
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: ac2e494a7a85c0e5e1d3b90190700ebd
X-Complaints-To: abuse@tornevall.net
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US;
 rv:1.9.2.13) Gecko/20101208 Thunderbird/3.1.7
X-Complaints-Language: Spoken language is english or swedish - NOT ITALIAN,
 FRENCH, GERMAN OR ANY OTHER LANGUAGE!
In-Reply-To: <iebp66$4tl$1@news.eternal-september.org>
X-UserIDNumber: 1738
X-Validate-Post: 
 http://news.tornevall.net/validate.php?trace=ac2e494a7a85c0e5e1d3b90190700ebd
X-Complaints-Italiano: Non abbiamo padronanza della lingua italiana - se
 mandate una email scrivete solo in Inglese, grazie
X-Posting-User: 0243687135df8c4b260dd4a9a93c79bd
Xref: g2news1.google.com comp.lang.ada:15988
Date: 2010-12-16T11:17:31-07:00
List-Id: <comp.lang.ada>

On 12/15/2010 06:14 PM, BrianG wrote:
>
> One of my problems is that difference (and sum) isn't provided between
> CPU_Time's, only with a Time_Span. But you can only convert a portion of a
> CPU_Time to Time_Span. When is that useful (as opposed to Splitting both
> CPU_Times)?
>
> A function "-" (L, R : CPU_Time) return Time_Span (or better, Duration) would be
> required for what you describe above (actually, if what you say is true, then
> that and Clock are all that's required).

> But that is not provided - that would require a "-" between two CPU_Time's
> returning a Time_Span. Unless all CPU_Time's are always less than a second, you
> can't get there easily.

 From ARM D.14:

function "-"  (Left : CPU_Time; Right : CPU_Time)  return Time_Span;

-- 
Jeff Carter
"Clear? Why, a 4-yr-old child could understand this
report. Run out and find me a 4-yr-old child. I can't
make head or tail out of it."
Duck Soup
94