Skudsekund 1 juli 2015!

Det ville lette situationen, hvis man indførte skudminutter i stedet for skudsekunder. Dem, der har brug for en nøjagtigere korrektion, kan jo sagtens indhente den hos myndighederne. I dag er det vel kun astronomer, der har brug for korektionerne.

Nu er det jo hverken ITU, Paven, eller FN der er der bestemmer over IETF, Linux, og BSD.

Måske kunne PHK lave noget lobby arbejde sammen med David Mills og ntp.org. Step 1: NTPv5 protokollen skal udvides til at kunne sende TAI samtidig med UTC, og PHK kunne måske lave et reference design?

Samarbejde mellem Linus og Theo :-) Step 2: Linux og BSD kernen skal udvides med et API'er til håndtering af monoton TAI tid.

Step 3: Der skal laves biblioteks funktioner til at arbejde på TAI tidsstempler. F.eks. formatering af TAI til lokal tz, og skudsekund.

Hvis virksomheden er Google, så ender man i det her problem. Deres løsning var at patche alle deres interne stratum 2 servere til at smeare skudsekundet ud over et vindue:

http://googleblog.blogspot.dk/2011/09/time-technology-and-leaping-seconds.html

Det virker nok, men kræver at du har umådeligt godt styr på om dine systemer nu også gør det rigtige i denne forbindelse. Specielt skal du a priori have testet og vide at dine systemer gør det rigtige.

Erlang har naturligvis support for smearing indbygget, da det oftest bliver benyttet til at køre systemer der ikke kan tåle at tages ned. Kaldet til "now/0" er garanteret monoton (Og strictly so). Men du skal stadig have tungen forbandet lige i munden. Et kald til "os:timestamp/0" har alle problemerne PHK hinter om. Så bare fordi du har værktøjet, så er det ikke ensbetydende med at systemet opfører sig ordentligt.

"Historisk gør op imod ¼ af alle NTP servere på nettet skudsekund"

Men det vel sikkert at formode, at Ntimed har helt styr på den sag. :-)

PHK har faktisk holdt et foredrag, hvor han på videnskabelig (og nørde-sjov) vis forklarer om skudsekunder.

Det er helt klart 3 kvarter værd at se det:

https://www.youtube.com/watch?v=5rmEDFFLoYU

Jeg er slet ikke sikker på at jeg kan nå at stille havemøblerne ind og tage dem ud igen på så kort tid!

Jeg har aldrig forstået skudsekunder. Jo, bevares jeg forstår godt at jordens rotation er uforudsigelig osv. Men hvorfor skal vi indføre skudsekunder af den grund? Langt de fleste mennesker i verden ville aldrig opdage det hvis vi ikke havde skudsekunder. Hvad med at astronomerne bare husker at tage højde for at jorden drejer lidt for langsomt og så lade resten af verden have et mere forudsigeligt tidssystem.

Alle godt designede systemer som behandler tid, for eksempel databaser, gemmer timestamps i universaltid, ikke i lokaltid. Universaltid har diverse fordele:

• Et universaltids-timestamp refererer til et unikt tidspunkt, hvor et lokaltids-timestamp kan betyde to tidspunkter i forbindelse med skift mellem vinter og sommertid.
• Universaltid går aldrig baglæns (sommer og vintertid), er kontinuert og monotont stigende.

Et godt designet system arbejder internt med en regulær tid, og konverterer kun til lokaltid når tiden skal vises til slutbrugeren.

Det samme burde være gældende for skudsekunder. Computere burde internt arbejde med antallet af sekunder siden 1970 (TAI), og så kun konvertere med skudsekunder og tidszone når resultatet skulle vises til slutbrugeren. Man kunne eventuelt få en liste over skudsekunder fra NTP-serveren. Når PHK foreslår at "Overvej at planlægge nedetid.", så er det et resultat af at NTP og diverse operativsystemer ikke bygger på TAI, men så og sige kører deres hardware-clock i "lokaltid". Med diverse bugs til følge når lokaltiden opfører sig mærkeligt i forbindelse med skud-tidsenheder.

Er det korrekt, at der i princippet kunne forkomme negative skudsekunder?

Hvis det er korrekt - har de så nogensinde forekommet?

Jeg påstår overhovedet ikke dette er forkert, og jeg ved ikke om min (ntp2.vlh.dk) håndterer det rigtigt. Men jeg går udfra/håber det er nok at downloade leap-seconds filen fra time.nist.gov og opdatere config -> reloade ntp?

(nej, det har jeg ikke gjort endnu - sker 1/4, så ntpq -c rv viser ikke noget leap endnu)

Det ville være en del enklere, hvis man bare lod tiden skride i forhold til solen. Den tidsforskydning, der vil komme mellem kl. 12 middag og solens højeste position er minimal, og det er alligevel ret få steder, hvor solen er i apex kl. 12.

Hvorfor indfører man et skudsekund d. 1 juli, og hvorfor bliver det først annonceret nu?

Umiddelbart ville jeg (som er totalt uvidende om skudsekunder..) tro at det letteste ville være at indkorporere det i slutningen af februar i forlængelse af et almindelige skudår. Ligeledes ville jeg tro at det var noget man havde styr på lang tid i forvejen, og ikke at der som her først kommer en meddelelse om det ½ år før.

Er der en god grund, eller er det bare sådan det er endt med at være?