comp.lang.ada
 help / color / mirror / Atom feed
From: Marin David Condic <mcondic.auntie.spam@acm.org>
Subject: Re: Duration vs. Ada.Real_Time
Date: Fri, 26 Jan 2001 15:58:31 -0500
Date: 2001-01-26T20:59:41+00:00	[thread overview]
Message-ID: <3A71E4F6.6D7015AD@acm.org> (raw)
In-Reply-To: 94s5bl$r1r$1@nnrp1.deja.com

Ah! We appear to have here a good illustration of the difference between
accuracy and precision. Duration'Small represents the precision which
objects of type Duration can represent. The LSB has to be at least
20mSec. However, if the clock has accuracy no better than 1Sec, the LSBs
are meaningless. The precision exceeds the accuracy of the actual
device. (my misunderstanding of the original question.)

I would think that a reasonable implementation of Ada for realtime
systems would want to insure that the precision had some relationship to
the accuracy of the clock available. Obviously, for workstations/PCs
with a non-realtime OS, etc., you can't exactly insist that the platform
be changed for the language. But stating, for example, that the
precision of a time representation can go down to atto-seconds can
easily mislead one to believe that the measurement of time is going to
be something close to that precision.

Clearly, one needs to know two things: What is the accuracy of the
clock(s) available to me through the hardware/OS? (Talk to the hardware
manufacturer.) And what is the relationship between my hardware and the
Ada implementation I have? (Talk to the compiler vendor.) Id est, does
it do me any good to say "delay 0.020;" with a given compiler and target
system?

MDC

Robert Dewar wrote:

> This may be confusing, the question was not about precision
> of Duration, it was about resolution of the timer
>
> The value of Duration'Small is only an upper bound for
> resolution, there is nothing in the RM that forbids an
> implementation where clock only updates every second (and
> indeed do not be surprised if some Unix implementations
> are like this).

--
======================================================================
Marin David Condic - Quadrus Corporation - http://www.quadruscorp.com/
Send Replies To: m c o n d i c @ q u a d r u s c o r p . c o m
Visit my web site at:  http://www.mcondic.com/

    "I'd trade it all for just a little more"
        --  Charles Montgomery Burns, [4F10]
======================================================================





  reply	other threads:[~2001-01-26 20:58 UTC|newest]

Thread overview: 29+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <980495512.529981@edh3>
     [not found] ` <8mac6.9236$R5.473526@news1.frmt1.sfba.home.com>
2001-01-26 15:30   ` Duration vs. Ada.Real_Time Robert Dewar
     [not found] ` <3A71814B.7E8CCF60@acm.org>
2001-01-26 15:33   ` Robert Dewar
2001-01-26 20:58     ` Marin David Condic [this message]
2001-01-26 21:32       ` Ted Dennison
2001-01-27  5:01         ` Keith Thompson
2001-01-27 14:40           ` Marin David Condic
2001-01-27 14:34         ` Marin David Condic
2001-01-28  0:18           ` Robert Dewar
2001-01-29 14:54           ` Ted Dennison
2001-01-29 18:40             ` Marin David Condic
2001-02-08  3:32               ` Buz Cory
2001-02-08 15:34                 ` Marin David Condic
2001-02-10  3:08                   ` Steve Whalen
2001-01-28  0:13       ` Robert Dewar
2001-01-29 14:02         ` Marin David Condic
2001-01-30 14:33         ` Stephen Leake
2001-01-31 14:55           ` Marin David Condic
2001-01-31 16:03           ` Ted Dennison
2001-01-31 19:16             ` Marin David Condic
2001-01-31 20:53               ` Ted Dennison
2001-01-31 21:30                 ` tmoran
2001-01-31 21:47                 ` Marin David Condic
2001-02-01 14:18                   ` Ted Dennison
2001-01-28 19:32 ` Simon Wright
2001-01-31  6:13   ` Robert Dewar
2001-01-31 15:07     ` Marin David Condic
2001-02-01  5:43       ` Robert Dewar
2001-01-31  5:51 Christoph Grein
2001-02-01  6:27 ` Simon Wright
replies disabled

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