comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: An Example for Ada.Execution_Time
Date: Fri, 31 Dec 2010 22:40:32 +0000
Date: 2010-12-31T22:40:32+00:00	[thread overview]
Message-ID: <m28vz57ehr.fsf@pushface.org> (raw)
In-Reply-To: m2d3oi6qkd.fsf@pushface.org

Simon Wright <simon@pushface.org> writes:

> "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de> writes:

>> I think this is the core of misunderstanding. The thing you have in
>> mind is "time interval since the task start according to the
>> execution time clock."  It is not Ada.Execution_Time.Clock, it is:
>>
>>    Ada.Execution_Time.Clock - CPU_Time_First
>
> I don't _think_ that CPU_Time_First is actually defined as the value
> of Clock when the task starts (is initialized, put on the ready queue,
> whatever).

I think (from having had a look at GNAT GPL 2010's sources) that you are
right to suggest Time_Of (0) in place of CPU_Time_First (in GNAT's
implementation, the latter is Duration'First!).

Or Niklas's suggestion of the missing CPU_Time_Zero.



  parent reply	other threads:[~2010-12-31 22:40 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-12-27 18:26 An Example for Ada.Execution_Time anon
2010-12-28  2:31 ` BrianG
2010-12-28 13:43   ` anon
2010-12-29  3:10   ` Randy Brukardt
2010-12-30 23:51     ` BrianG
2010-12-31  9:11       ` Dmitry A. Kazakov
2010-12-31 12:42         ` Niklas Holsti
2010-12-31 14:15           ` Dmitry A. Kazakov
2010-12-31 18:57             ` Niklas Holsti
2011-01-01 13:39               ` Dmitry A. Kazakov
2011-01-01 20:25                 ` Niklas Holsti
2011-01-03  8:50                   ` Dmitry A. Kazakov
2010-12-31 13:05         ` Simon Wright
2010-12-31 14:14           ` Dmitry A. Kazakov
2010-12-31 14:24           ` Robert A Duff
2010-12-31 22:40           ` Simon Wright [this message]
2011-01-01  0:07       ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox