{"id":2570,"date":"2012-06-28T14:43:16","date_gmt":"2012-06-28T13:43:16","guid":{"rendered":"http:\/\/www.blaess.fr\/christophe\/?p=2570"},"modified":"2012-11-30T13:38:20","modified_gmt":"2012-11-30T12:38:20","slug":"une-petite-seconde-de-plus-en-juin","status":"publish","type":"post","link":"https:\/\/www.blaess.fr\/christophe\/2012\/06\/28\/une-petite-seconde-de-plus-en-juin\/","title":{"rendered":"Une petite seconde de plus en juin…"},"content":{"rendered":"

\"Leap-Second\"<\/a>Vous le savez peut-\u00eatre, l’IERS<\/a> (International Earth Rotation and Reference Systems Service<\/em>) a d\u00e9cid\u00e9 d’ajouter une seconde intercalaire<\/a> (leap second<\/em>) \u00e0 la fin de la derni\u00e8re minute du mois de juin. Ces secondes, que l’on ins\u00e8re tous les deux ou trois ans \u00e0 la fin du mois de d\u00e9cembre ou de juin (la derni\u00e8re date du 31\/12\/2008) servent \u00e0 ajuster l’heure officielle avec la rotation de la terre. Cela \u00e0 commenc\u00e9 il y a quarante ans, le 30 juin 1972.<\/p>\n

\n\n<\/p>\n

Cette seconde est ajout\u00e9e au m\u00eame instant dans le monde entier. Il y aura donc une seconde num\u00e9rot\u00e9e 23:59:60 le 30\/06\/2012 suivant l’heure UTC, ce qui se traduira en France par une heure 01:59:60 le dimanche 01\/07\/2012.<\/p>\n

Inutile de guetter votre montre num\u00e9rique, votre four \u00e0 micro-ondes ou votre r\u00e9veil-matin, ils n’en tiendront tr\u00e8s probablement pas compte (quand \u00e0 la Freebox… tout est possible !<\/a>). Votre PC sous Linux en revanche devrait normalement \u00eatre capable d’afficher la seconde intercalaire, pourvu qu’il soit correctement configur\u00e9. Je ne traite pas de la configuration d’un serveur NTP, mais simplement des commandes utilisateur courantes.<\/p>\n

Essayons tout d’abord de demander \u00e0 la commande date<\/code> d’afficher l’heure locale correspondant au timestamp<\/em> Unix (nombre de secondes \u00e9coul\u00e9es depuis le 01\/01\/1970) aux alentours de cette seconde. J’ai bien s\u00fbr t\u00e2tonn\u00e9 un peu pour trouver la valeur.<\/p>\n

$ date -d @1341100798<\/strong>\ndimanche 1 juillet 2012, 01:59:58 (UTC+0200)\n$ date -d @1341100799<\/strong>\ndimanche 1 juillet 2012, 01:59:59 (UTC+0200)\n$ date -d @1341100800<\/strong>\ndimanche 1 juillet 2012, 02:00:00 (UTC+0200)\n$ date -d @1341100801<\/strong>\ndimanche 1 juillet 2012, 02:00:01 (UTC+0200)\n$<\/pre>\n
Pas de seconde intercalaire en vue. Mon poste de travail est bas\u00e9 sur une distribution Ubuntu 12.04 standard. Il n’y a visiblement pas de support pour les leap seconds<\/em>. C’est traditionnellement le cas, le timestamp<\/em> est calcul\u00e9 sans tenir compte de ces secondes (ce qui fait qu’il est d\u00e9cal\u00e9 d’une vingtaine de secondes par rapport \u00e0 une horloge qui aurait r\u00e9ellement compt\u00e9 les secondes \u00e9coul\u00e9es depuis le 01\/01\/1970).<\/p>\n
Rien ne nous interdit toutefois d’ajouter un petit support pour cette seconde intercalaire \u00e0 venir.<\/p>\n
Compilation d’un fichier timezone<\/h1>\n
En r\u00e9alit\u00e9, l’interpr\u00e9tation de l’heure absolue (le timestamp<\/em>) d\u00e9pend d’un certain nombre de r\u00e8gles (le fuseau horaire, l’heure d’\u00e9t\u00e9, etc.) qui sont configur\u00e9es dans des fichiers timezone. Ces fichiers se trouvent dans \/usr\/share\/zoneinfo<\/code>.<\/p>\n
Si vous employez comme moi le fuseau Europe\/Paris<\/code> (d\u00e9crit dans le fichier \/etc\/timezone<\/code>), l’heure sera interpr\u00e9t\u00e9e suivant les r\u00e8gles d\u00e9crites dans \/usr\/share\/zoneinfo\/Europe\/Paris<\/code>.<\/p>\n
Or ce fichier ne connait vraisemblablement pas la seconde intercalaire du mois de juin. Nous pouvons l’y ajouter. Malheureusement, le fichier zoneinfo est un fichier binaire, compil\u00e9 \u00e0 partir d’une description en clair des r\u00e8gles d’interpr\u00e9tation, ceci gr\u00e2ce \u00e0 l’utilitaire zic<\/code>.<\/p>\n
Pour obtenir le fichier de r\u00e8gles \u00e0 compiler, on peut t\u00e9l\u00e9charger les sources de la Glibc et se rendre dans son sous-r\u00e9pertoire timezone\/<\/code>. On y trouve entre autre le fichier europe<\/code><\/a> ainsi qu’un fichier leapseconds<\/code>. Celui-ci n’est pas pris en compte pour g\u00e9n\u00e9rer les fichiers zoneinfo<\/code> d’Ubuntu.<\/p>\n
J’ai cr\u00e9\u00e9 un petit fichier leap-second<\/code><\/a> qui ne contient que notre seconde intercalaire \u00e0 venir.<\/p>\n
Leap\t2012\tJun\t30\t23:59:60\t+\tS<\/pre>\n
Je vais simplement compiler le fichier europe<\/code> avec zic<\/code>, en lui demandant de cr\u00e9er les fichiers dans le r\u00e9pertoire courant et non pas dans \/usr\/share\/zoneinfo<\/code>.<\/p>\n
$ ls<\/strong>\neurope  leap-second\n$ \/usr\/sbin\/zic -L leap-second -d . europe<\/strong> \n$ ls\nAfrica  America  Arctic  Asia  Atlantic  CET  EET  europe  Europe  leap-second  MET  WET\n$ ls -l Europe\/Paris<\/strong> \n-rw-r--r-- 1 cpb cpb 2965 juin  28 15:10 Europe\/Paris\n$<\/pre>\n
Installation<\/h1>\n
Nous allons remplacer le fichier Europe\/Paris<\/code> du syst\u00e8me par le n\u00f4tre<\/a> (apr\u00e8s avoir sauvegard\u00e9 le pr\u00e9c\u00e9dent).<\/p>\n
$ sudo cp \/usr\/share\/zoneinfo\/Europe\/Paris \/usr\/share\/zoneinfo\/Europe\/Paris-Bkup<\/strong>\n$ sudo cp .\/Europe\/Paris \/usr\/share\/zoneinfo\/Europe\/Paris<\/strong>\n$<\/pre>\n
Il faut alors utiliser le menu syst\u00e8me pour fixer \u00e0 nouveau le fuseau horaire. Ceci a pour effet de copier le fichier zoneinfo<\/code> correspondant (celui que nous venons d’installer) dans \/etc\/localtime<\/code>. C’est ce dernier fichier qui est en effet consult\u00e9 par la commande date<\/code>, sauf si on fixe explicitement auparavant la variable d’environnement TZ<\/code>.<\/p>\n
Essai<\/h1>\n
$ date -d @1341100798<\/strong>\ndimanche 1 juillet 2012, 01:59:58 (UTC+0200)\n$ date -d @1341100799<\/strong>\ndimanche 1 juillet 2012, 01:59:59 (UTC+0200)\n$ date -d @1341100800<\/strong>\ndimanche 1 juillet 2012, 01:59:60 (UTC+0200)\n$ date -d @1341100801<\/strong>\ndimanche 1 juillet 2012, 02:00:00 (UTC+0200)\n$<\/pre>\n
Et oui, \u00e7a fonctionne, nous avons bien une heure 01:59:60<\/strong><\/code>.<\/p>\n
Notez que si l’on fixe la variable TZ pour utiliser l’ancien fichier zoneinfo<\/code>, cela donne:<\/p>\n
$ export TZ=Europe\/Paris-Bkup<\/strong>\n$ date -d @1341100799<\/strong>\ndimanche 1 juillet 2012, 01:59:59 (UTC+0200)\n$ date -d @1341100800<\/strong>\ndimanche 1 juillet 2012, 02:00:00 (UTC+0200)\n$ date -d @1341100801<\/strong>\ndimanche 1 juillet 2012, 02:00:01 (UTC+0200)\n$<\/pre>\n
Conclusion<\/h1>\n
Je ne pense pas \u00eatre devant mon PC \u00e0 deux heures du matin dimanche, mais si c’est le cas, je ferai une capture d’\u00e9cran, c’est promis.<\/p>\n
PS: Si vous avez l’occasion d’observer cette seconde interm\u00e9diaire sur une set-top-box, un r\u00e9cepteur radio ou GPS, un serveur NTP, etc. cela m’int\u00e9resse de savoir s’ils ont affich\u00e9 01:59:60<\/em> comme nous l’avons vu.<\/p>\n
 <\/p>","protected":false},"excerpt":{"rendered":"
Vous le savez peut-être, l’IERS (International Earth Rotation and Reference Systems Service) a décidé d’ajouter une seconde intercalaire (leap second) à la fin de la dernière minute du mois de juin. Ces secondes, que l’on insère tous les deux ou trois ans à la fin du mois de décembre ou de juin (la dernière date […]<\/p>","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3,8],"tags":[],"class_list":["post-2570","post","type-post","status-publish","format-standard","hentry","category-actualite","category-linux-2"],"_links":{"self":[{"href":"https:\/\/www.blaess.fr\/christophe\/wp-json\/wp\/v2\/posts\/2570","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.blaess.fr\/christophe\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.blaess.fr\/christophe\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.blaess.fr\/christophe\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.blaess.fr\/christophe\/wp-json\/wp\/v2\/comments?post=2570"}],"version-history":[{"count":2,"href":"https:\/\/www.blaess.fr\/christophe\/wp-json\/wp\/v2\/posts\/2570\/revisions"}],"predecessor-version":[{"id":3237,"href":"https:\/\/www.blaess.fr\/christophe\/wp-json\/wp\/v2\/posts\/2570\/revisions\/3237"}],"wp:attachment":[{"href":"https:\/\/www.blaess.fr\/christophe\/wp-json\/wp\/v2\/media?parent=2570"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.blaess.fr\/christophe\/wp-json\/wp\/v2\/categories?post=2570"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.blaess.fr\/christophe\/wp-json\/wp\/v2\/tags?post=2570"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}