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!news1.google.com!Xl.tags.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local2.nntp.dca.giganews.com!news.giganews.com.POSTED!not-for-mail NNTP-Posting-Date: Thu, 16 Dec 2010 07:08:45 -0600 Date: Thu, 16 Dec 2010 08:08:31 -0500 From: "Peter C. Chapin" Organization: Vermont Technical College User-Agent: Mozilla/5.0 (Windows; U; Windows NT 6.1; en-US; rv:1.9.2.13) Gecko/20101207 Lightning/1.0b2 Thunderbird/3.1.7 MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Ada.Execution_Time References: <4d05e737$0$6980$9b4e6d93@newsspool4.arcor-online.net> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Message-ID: X-Usenet-Provider: http://www.giganews.com X-Trace: sv3-0XOmUWRi/wPKAUylDDr8HH6I6KgWpudt4aR9LBjN+8Tzcd0+IvrySDWwizmRFQrsZhugtKtE0SARfcZ!mWCV7vL8Ml4Rac6ZHoFKfciXsnbTuFDTH1YwfVsGz4FJoxa1Ftgd6HXfwSGERZU= X-Complaints-To: abuse@giganews.com X-DMCA-Notifications: http://www.giganews.com/info/dmca.html X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly X-Postfilter: 1.3.40 X-Original-Bytes: 2314 Xref: g2news2.google.com comp.lang.ada:16952 Date: 2010-12-16T08:08:31-05:00 List-Id: On 2010-12-15 20:14, BrianG wrote: > Then the package is misnamed too - How is "Execution_Time" not a time? > Wouldn't tying it explicitly to Real_Time imply some relation to "real > time" (whether that makes sense or not)? Using Duration could help > that, since it's implementation-defined. To me "execution time" sounds like a measure of how long a program has run (in some sense). In other words it sounds like some kind of time interval. "The execution time of this process was 10.102 seconds." However, people often use "time" to refer to some sort of absolute clock. "What time is it? It is now 8:07am on 2010-12-16." The basic confusion is that the term "time" is extremely ambiguous in ordinary usage. Not only is it used both for time intervals and absolute time values, but there are several different kinds of time one might talk about. Peter