[ntp:questions] Leap second to be introduced in June

Mike S mikes at flatsurface.com
Wed Jan 21 03:32:33 UTC 2015


On 1/20/2015 6:14 PM, Jochen Bern wrote:
> So, what*function*  might people be thinking of when they assert those
> properties to apply (or not) to timescales?

TAI = UTC(x) and UTC = TAI(x). And that's part of the problem.

There seems to be the thought that if you do that across a leap second, 
and use a UTC time series (or timestamps, if that makes it more clear), 
but use a TAI-like scale, there will be discontinuities on the graph, 
where points (23:59:60) can't be plotted (or the other way, where points 
make stepwise jumps).

But of course, that's wrong, because both scales increase linearly, and 
there is no discontinuity in either. Both account for every bit of time 
- linearly, continuously, and monotonically (UTC+x = time+x, if you 
will). Time+1 in one simply maps to time+1 in the other. The only change 
is to what that value is called, not the value itself.

The real problem is systems (POSIX, particularly), which incorrectly 
handle time, despite having over 40 years to get it right. They try to 
please everyone, while pleasing no one. POSIX tracks and does 
calculations on determinate intervals (seconds since 1/1/1970, and every 
minute has 60 seconds), and also tries to handle civil time, which has 
indeterminate intervals (unpredictable 61 second minutes). So it fails 
by trying to do two mutually exclusive things.

It's not a particularly difficult problem to solve (timezone info is 
regularly updated because of civil changes, historical leap seconds 
could be, too), but requires thought about whether specific future 
events should be considered as intervals or absolute time values.

(Also, in English, it's "monotonic," not "monotonous". "Monotonous" 
means uninteresting or boring, which this likely is)


More information about the questions mailing list