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=-2.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM, MAILING_LIST_MULTI autolearn=unavailable autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,9fbc059a74d74032 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-05-30 11:31:28 PST Path: archiver1.google.com!newsfeed.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed00.sul.t-online.de!t-online.de!fr.usenet-edu.net!usenet-edu.net!enst!enst.fr!not-for-mail From: Wilhelm.Spickermann@t-online.de (Wilhelm Spickermann) Newsgroups: comp.lang.ada Subject: Re: Leap Seconds Date: Wed, 30 May 2001 20:20:24 +0200 (CEST) Organization: ENST, France Sender: comp.lang.ada-admin@ada.eu.org Message-ID: Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 8bit X-Trace: avanie.enst.fr 991247485 36348 137.194.161.2 (30 May 2001 18:31:25 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Wed, 30 May 2001 18:31:25 +0000 (UTC) To: comp.lang.ada@ada.eu.org Return-Path: X-Mailer: XFMail 1.4.0 on Linux X-Priority: 3 (Normal) In-Reply-To: <9f0jpb$lnm$1@nh.pace.co.uk> X-Sender: 0211750756-0001@t-dialin.net Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.0.4 Precedence: bulk List-Help: List-Post: List-Subscribe: , List-Id: comp.lang.ada mail<->news gateway List-Unsubscribe: , List-Archive: Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org Xref: archiver1.google.com comp.lang.ada:7889 Date: 2001-05-30T20:20:24+02:00 On 29-May-01 Marin David Condic wrote: > Well, its actually a "requirement" that is spelled out in a standards > document that is not (yet) accepted by the FCC (AFIK). WRT > "event_start_time", the standard says: "A 32-bit unsigned integer quantity > representing the start time of this alert event as the number of seconds > since 00 hours UTC, January 6th, 1980 with the count of interleaving leap > seconds included." > > The situation is this: The source *may* be able to produce that time base & > interleaving leap seconds. It would require a leap-second table that is > periodically updated as new leap seconds happen - with the possibility that > there is some delay between the leap-second and the table update. (In this > app it isn't critical, but it might one day be critical in some other > area...) The local time base is different and won't have access to any sort > of leap-second update table. (Again, in this situation being off by a few > seconds is not a big deal - but it might be in other parts of the > application.) I can correct with a constant plus a "tuning" value sent from > the source - if available - that represents leap seconds & hence we can be > on the same time base. Hence a solution does exist. I fail to see the problem here. "event_start_time" allows to operate a clock which just counts _every_ second and to compute correct time differences without using any tables or corrections from outside. Its only problems are conversions to and from human readable form -- but if noone is there to install new leap second tables, then noone will request such conversions there. All time stamps used in communication with the outside world would be "event_start_time" values. One pitfall remains: Someone asking for something to be done every day precisely at noon. Then you will have to convince her or him that a precisely _regular_ interval would be much better... :-)) Ada support is found in Ada.Real_Time. If I interpret the ARM correctly, Real_Time counts each and every second and so it has to count added leap seconds and it may not count omitted leap seconds. So it just has an offset to the event_start_time and perhaps some (solvable) computational problems as real_time spans have a small guaranteed range (1 hour) compared to real_time stamps (50 years from program start-up). Wilhelm