comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: An Example for Ada.Execution_Time
Date: Mon, 3 Jan 2011 09:50:08 +0100
Date: 2011-01-03T09:50:04+01:00	[thread overview]
Message-ID: <wy5tdqcq97.18g3ap16zt7bv$.dlg@40tude.net> (raw)
In-Reply-To: 8o9gtqFbuvU1@mid.individual.net

On Sat, 01 Jan 2011 22:25:30 +0200, Niklas Holsti wrote:

> Perhaps you mean that CPU_Time is unrelated to Ada.Real_Time.Time over 
> longer periods during which the task is sometimes executing, sometimes 
> not.

I mean that

1. The corresponding clocks can be different. Ada cannot influence this.

2. The clocks are not synchronized, i.e. T1 on the Ada.Real_Time.Clock
cannot be translated into T2 on the Ada.Execution_Time.Clock.

> One of the differences between Ada.Real_Time.Time and 
> Ada.Execution_Time.CPU_Time is that the epoch for the former is not 
> specified in the RM. It follows that even if Ada.Real_Time.Time had a 
> visibly numeric value, its meaning would be unknown to the program.
> 
> In contrast, the epoch for CPU_Time is specified in the RM: the creation 
> of the task, a point in real time known to the program.

That does not define it either. An epoch cannot be defined otherwise than
in terms of other clock. The task start time according to
Ada.Real_Time.Time or Ada.Calendar.Time is unknown.

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



  reply	other threads:[~2011-01-03  8:50 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 [this message]
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
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