Re: [art] Predictable Internet Time

Nico Williams <nico@cryptonector.com> Wed, 29 March 2017 00:06 UTC

Return-Path: <nico@cryptonector.com>
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 ACCCB126E3A for <art@ietfa.amsl.com>; Tue, 28 Mar 2017 17:06:10 -0700 (PDT)
X-Virus-Scanned: amavisd-new at amsl.com
X-Spam-Flag: NO
X-Spam-Score: -4.796
X-Spam-Level:
X-Spam-Status: No, score=-4.796 tagged_above=-999 required=5 tests=[BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_NONE=-0.0001, RCVD_IN_MSPIKE_H2=-2.796] autolearn=ham autolearn_force=no
Authentication-Results: ietfa.amsl.com (amavisd-new); dkim=pass (1024-bit key) header.d=cryptonector.com
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 jSqQA9QuM01s for <art@ietfa.amsl.com>; Tue, 28 Mar 2017 17:06:08 -0700 (PDT)
Received: from homiemail-a31.g.dreamhost.com (sub4.mail.dreamhost.com [69.163.253.135]) (using TLSv1.1 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by ietfa.amsl.com (Postfix) with ESMTPS id 719F2128B44 for <art@ietf.org>; Tue, 28 Mar 2017 17:06:06 -0700 (PDT)
Received: from homiemail-a31.g.dreamhost.com (localhost [127.0.0.1]) by homiemail-a31.g.dreamhost.com (Postfix) with ESMTP id 615E01406B1F; Tue, 28 Mar 2017 17:06:05 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=cryptonector.com; h=date :from:to:cc:subject:message-id:references:mime-version :content-type:in-reply-to; s=cryptonector.com; bh=ms+p0gHO3zxNHw 1PpZeL+K3kp2I=; b=ihLQEOXOSY8Z0bA7mLPGJuw8NLGyWNoOiH9EHfdlQ4DiFR 0qtl8BGAVmvjMGeRI9llK5GwiEiqnYfEW+c7kFvvL+Musfg25VOwUz6xDMgddwUQ iALt7cwpX+o9Z7LHpaaSJJwVmhkOJInLK8Amoj/RGE/zRDcMon5qhqgRY60ek=
Received: from localhost (cpe-70-123-158-140.austin.res.rr.com [70.123.158.140]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) (Authenticated sender: nico@cryptonector.com) by homiemail-a31.g.dreamhost.com (Postfix) with ESMTPSA id C05FB1406B21; Tue, 28 Mar 2017 17:06:04 -0700 (PDT)
Date: Tue, 28 Mar 2017 19:06:02 -0500
From: Nico Williams <nico@cryptonector.com>
To: Joe Touch <touch@isi.edu>
Cc: Stewart Bryant <stewart.bryant@gmail.com>, art@ietf.org
Message-ID: <20170329000601.GK7490@localhost>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-Disposition: inline
In-Reply-To: <9ddcde60-a915-a03d-dfc3-2c2c451c398c@isi.edu>
User-Agent: Mutt/1.5.24 (2015-08-30)
Archived-At: <https://mailarchive.ietf.org/arch/msg/art/Sr-iFZor1D5epSlou4ttaFVpkn0>
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:06:11 -0000

On Tue, Mar 28, 2017 at 04:02:46PM -0700, Joe Touch wrote:
> On 3/28/2017 3:40 PM, Nico Williams wrote:
> > Did I.. say otherwise?
> Yes, below....

You're picking non-nits.

> >> There is no simple conversion between Unix time and UTC. Conversion
> >> requires accurate assessment of the local Unix clock vs SI to determine
> >> a rate conversion as well as knowing the table of leap seconds since the
> >> Unix epoch.
> > You're complicating things.  Forget the local clock.  To convert a time_t
> > value to UTC requires just a list of leap seconds (and some arithmetic).
>
> 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".

> 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.

> 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.

> > 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?

Nico
--