From: "Vasiliy Molostov" <molostoff@gmail.com>
Subject: Re: Ada.Calendar and NTP (and Unix Epoch)
Date: Tue, 24 Jul 2012 23:43:49 +0400
Date: 2012-07-24T23:43:49+04:00 [thread overview]
Message-ID: <op.whyufbaska8ora@aspire.local> (raw)
In-Reply-To: xj4vgd2u4p5o$.1gbhsrnbf6gux.dlg@40tude.net
Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> писал(а) в своём письме Tue,
24 Jul 2012 22:28:27 +0400:
> Furthermore, operations like UTC_Time_Offset, Time_Of, Split for some
> distant time in the past, e.g. 1901 are most likely wrong, because
> OS/Ada's
> RTL cannot keep track of all political changes of all time zones in order
> to be able to evaluate the number of seconds from present time to 1901 in
> the time zone. It is *not* the number of years multiplied by the year's
> duration. (IANA Time Zone Database or alike is required for that)
>
> Calculating future times is absolutely impossible because that depends on
> future decisions of the corresponding governmental bodies having the
> authority over the time zone, from daylight saving time to changing the
> whole zone.
I took a look at
http://www.ada-auth.org/cgi-bin/cvsweb.cgi/ai05s/ai05-0119-1.txt
And I can say that there is a mis .... "misviewving" of the Time, UTC time
and Zoned Time (political)
While typical application takes time from some sort of monotonic time
source (e.g. clock), which is supposed to be one and authoritative for
such application, it is in the same moment this application also deals
with time representation, and a "political" time (zoned) is one of such
representations.
Probably and personally, I don't prefer to convert between representations
and catch one or two hour diffs, instead I prefer to do calculations
better done with monotonic time, and then convert result to the required
representation.
Converting from some representation into authoritative monotonic time is
"mission impossibe", since important data may be lost, because this
important data belongs entirely to the representation, and can not be
expressed in monotonic authoritative source.
Things like "ada.calendar is a fake" are just based on "speculative
cone-moving" between "time real value" and "time representation".
>
> This is why it is better not to touch Ada.Calendar.Time.
>
> Ada.Real_Time, Duration, Time_Span, some numeric type would be much
> better
> candidates.
>
--
Написано в почтовом клиенте браузера Opera: http://www.opera.com/mail/
next prev parent reply other threads:[~2012-07-26 15:46 UTC|newest]
Thread overview: 39+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-07-23 21:42 Ada.Calendar and NTP (and Unix Epoch) erlo
2012-07-23 22:07 ` Adam Beneschan
[not found] ` <5s8s08lv6dj1i4tkb99roq9roifsgr44vd@invalid.netcom.com>
2012-07-24 7:11 ` Dmitry A. Kazakov
2012-07-24 7:50 ` erlo.haugen
2012-07-24 8:14 ` Dmitry A. Kazakov
2012-07-24 8:34 ` erlo.haugen
2012-07-24 9:13 ` Dmitry A. Kazakov
2012-07-24 12:27 ` erlo.haugen
2012-07-24 13:02 ` Dmitry A. Kazakov
2012-07-24 14:10 ` erlo
2012-07-24 16:37 ` Adam Beneschan
2012-07-24 7:24 ` erlo.haugen
2012-07-24 16:26 ` Adam Beneschan
2012-07-24 18:28 ` Dmitry A. Kazakov
2012-07-24 19:07 ` Adam Beneschan
2012-07-24 20:17 ` Dmitry A. Kazakov
2012-07-24 19:43 ` Vasiliy Molostov [this message]
2012-07-24 20:29 ` Dmitry A. Kazakov
2012-07-24 21:22 ` Vasiliy Molostov
2012-07-25 6:32 ` Dmitry A. Kazakov
2012-07-25 7:04 ` Vasiliy Molostov
2012-07-25 7:33 ` Dmitry A. Kazakov
2012-07-25 8:05 ` Vasiliy Molostov
2012-07-25 8:30 ` Dmitry A. Kazakov
2012-07-25 8:45 ` Vasiliy Molostov
2012-07-25 9:30 ` Dmitry A. Kazakov
2012-07-24 20:33 ` Simon Wright
2012-07-25 10:14 ` Simon Wright
2012-07-25 13:16 ` Dmitry A. Kazakov
2012-07-24 7:37 ` erlo.haugen
2012-07-24 11:34 ` Simon Wright
2012-07-24 11:59 ` Nasser M. Abbasi
2012-07-24 15:08 ` Simon Wright
2012-07-24 16:59 ` Georg Bauhaus
2012-07-24 19:25 ` Simon Wright
2012-07-24 22:07 ` Georg Bauhaus
2012-07-24 19:17 ` John B. Matthews
2012-07-25 2:23 ` sla29970
2012-07-25 6:40 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox