Re: [art] Predictable Internet Time

Joe Touch <touch@isi.edu> Wed, 29 March 2017 00:16 UTC

Return-Path: <touch@isi.edu>
X-Original-To: art@ietfa.amsl.com
Delivered-To: art@ietfa.amsl.com
Received: from localhost (localhost [127.0.0.1]) by ietfa.amsl.com (Postfix) with ESMTP id 94FD4127871 for <art@ietfa.amsl.com>; Tue, 28 Mar 2017 17:16:27 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -1.901
X-Spam-Level:
X-Spam-Status: No, score=-1.901 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, RP_MATCHES_RCVD=-0.001] autolearn=ham autolearn_force=no
Received: from mail.ietf.org ([4.31.198.44]) by localhost (ietfa.amsl.com [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id qZjPSBpN8uGn for <art@ietfa.amsl.com>; Tue, 28 Mar 2017 17:16:26 -0700 (PDT)
Received: from nitro.isi.edu (nitro.isi.edu [128.9.208.207]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id ED487126BFD for <art@ietf.org>; Tue, 28 Mar 2017 17:16:25 -0700 (PDT)
Received: from [128.9.184.151] ([128.9.184.151]) (authenticated bits=0) by nitro.isi.edu (8.13.8/8.13.8) with ESMTP id v2T0FwrE027194 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NOT); Tue, 28 Mar 2017 17:15:59 -0700 (PDT)
To: Nico Williams <nico@cryptonector.com>
References: <504e2cea0d1668c31486b05fec0a967a4446aefe@webmail.weijax.net> <CAMm+Lwi_jU6gjdtdM6a2n_9_89tUvWBNXxnMtSjTEA++h1D4Ew@mail.gmail.com> <e0a43370-751f-808c-3719-9716f9cd57d1@isi.edu> <alpine.DEB.2.11.1701031348430.7102@grey.csi.cam.ac.uk> <f94415b6-d9f7-0a03-cf5b-ce39c109aa71@isi.edu> <f9429571-b9d5-75d4-9b46-b877a189a7bf@gmail.com> <20170328173916.GE7490@localhost> <e73d5c15-1ba3-8162-f7df-555e2e8588a6@isi.edu> <20170328224041.GJ7490@localhost> <9ddcde60-a915-a03d-dfc3-2c2c451c398c@isi.edu> <20170329000601.GK7490@localhost>
Cc: Stewart Bryant <stewart.bryant@gmail.com>, art@ietf.org
From: Joe Touch <touch@isi.edu>
Message-ID: <96ad09b7-7dc2-20e8-2aa4-793310d184f6@isi.edu>
Date: Tue, 28 Mar 2017 17:15:58 -0700
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101 Thunderbird/45.8.0
MIME-Version: 1.0
In-Reply-To: <20170329000601.GK7490@localhost>
Content-Type: text/plain; charset="windows-1252"
Content-Transfer-Encoding: 7bit
X-MailScanner-ID: v2T0FwrE027194
X-ISI-4-69-MailScanner: Found to be clean
X-MailScanner-From: touch@isi.edu
Archived-At: <https://mailarchive.ietf.org/arch/msg/art/X-_F5aA0bZYl4RMeg99LCyjiBzg>
Subject: Re: [art] Predictable Internet Time
X-BeenThere: art@ietf.org
X-Mailman-Version: 2.1.22
Precedence: list
List-Id: Applications and Real-Time Area Discussion <art.ietf.org>
List-Unsubscribe: <https://www.ietf.org/mailman/options/art>, <mailto:art-request@ietf.org?subject=unsubscribe>
List-Archive: <https://mailarchive.ietf.org/arch/browse/art/>
List-Post: <mailto:art@ietf.org>
List-Help: <mailto:art-request@ietf.org?subject=help>
List-Subscribe: <https://www.ietf.org/mailman/listinfo/art>, <mailto:art-request@ietf.org?subject=subscribe>
X-List-Received-Date: Wed, 29 Mar 2017 00:16:27 -0000


On 3/28/2017 5:06 PM, Nico Williams wrote:
> ...
>> time_t does not access a SI reference or frankly any other stable reference.
> The Open Group man pages I'm looking at don't reference SI, but so
> bloody what.  If it says "seconds", it means "seconds".
That's the trouble - seconds in SI are not seconds defined as 86400/day.
If the units don't match,  then a conversion needs to be included. If
the units aren't known, you can't convert accurately.

>
>> If you don't have a stable time unit, accurate conversion isn't possible.
> Sure, but POSIX time clearly uses the only definition of seconds that
> matters.
>
> Also, time is relative.  These seconds are seconds at mean sea level on
> Earth, but they might vary nonetheless.  At some point precision is not
> so interesting, but knowing 1490745768 is 2017-03-29T00:02:48Z, that's
> kinda important, and that will be true in any local frame of reference,
> even in space, far from Earth, and under large accelerations.  Sure, two
> such observers won't agree as to current time because of relativistic
> effects, but they will agree that 1490745768 is 2017-03-29T00:02:48Z.
2017 is 1.4e9 seconds after the Unix epoch. If the Unix and SI "seconds"
unit is off by one part in a (US) billion, then you're off by 1.5 seconds.

>
>> If you do have a stable time unit, you need the ratio of that time unit
>> to SI.
> It's very safe to assume it's 1.  Anything else would be insane.
s/insane/undefined/

That's the problem. I appreciate it would be nice if there were a
definition (as a start), and if the defined unit were SI, but it isn't,
AFAICT. If you have a ref to the contrary, I'd be more than glad to
include it and correct the doc accordingly.

>
>>> It's really the main one, IMO.  In any case, smearing seems very wrong:
>>> you end up with more problems because you go from roughly two kinds of
>>> time (UTC vs TAI-ish) to three kinds of time (UTC vs TAI-ish vs the new
>>> thing).  If people had a hard time interoperating with two kinds of
>>> time, imagine how it would be with THREE kinds of time.  And if the
>>> smearing formula ever needs updating, then we'd be in trouble.  (Earth's
>>> rotation normally _slows_ over time, but the 2004 earthquake _sped up_
>>> Earth's rotation.  A few big ones and we might need negative leap
>>> seconds.  PIT's formula can't predict these events.)
>>>
>>> Just specify, in each protocol, the use of TAI (x)or UTC.  Done.
>> I agree.
> Isn't that the important bit of information here?
To you and me, perhaps, but there are others on this thread that are
misled by what POSIX is and how easy/hard it is to convert to TAI/UTC...

Joe