Plus rapidement : la mesure du temps est maintenant calée sur des horloges atomiques car c'est ce qu'il y a de plus précis (c'est le TAI1). Mais dans la vie de tous les jours on veut quelque chose qui soit plus ou moins calé sur la rotation de la terre et sa révolution autour du soleil (c'est UT1 et notre calendrier de manière plus générale), parce que c'est quand même plus pratique...
Le temps UTC est une mesure bâtarde entre les deux : il est calé sur UT1 tout en garantissant l'absolue régularité de la seconde du TAI (on a le meilleur des deux mondes). Pour arriver à ce résultat il faut de temps à autre rajouter une 61ème seconde (on a donc h:m:60 tout à fait légal, 2 fois par an), la seconde intercalaire.2
Le problème Posix est qu'il se cale sur UTC, mais ne représente pas l'heure sous la forme h:m:s, mais d'un unique nombre (donc impossible de rajouter cette fameuse seconde intercalaire). Il y a plusieurs solutions possibles pour résoudre le problème3 mais rien n'a été fait.
--
1 La conservation de l'énergie (l'une des plus importantes loi de la physique) est directement déductible de l'invariance par translation du temps. En ce sens le TAI est le seul temps physique qui vaille.
2 À noter que le cycle solaire connaît des variations plus importantes (±15 min. de souvenir) mais ces variations sont elle-mêmes cycliques (elles s'annulent au bout d'un an), et seule la dérive sur le temps long est prise en compte. UT1 est un temps lissé, ne subsiste que la dérive sur le temps long.
3 http://www.madore.org/~david/computers/unix-leap-seconds.html, donc non dans certains cas d'applications "faire confiance à la lib. écrite par des experts" n'est pas la bonne stratégie. Dans le même genre je ne compte plus la multiplication de l'usage des flottants en lieu et place des décimaux pour représenter des éléments de comptabilité...
[^] # Re: Volontaire ?
Posté par Computer (site web personnel) . En réponse au journal Pâques, le bug d'Excel et la difficile adaptation de LibreOffice. Évalué à 2.
Plus rapidement : la mesure du temps est maintenant calée sur des horloges atomiques car c'est ce qu'il y a de plus précis (c'est le TAI1). Mais dans la vie de tous les jours on veut quelque chose qui soit plus ou moins calé sur la rotation de la terre et sa révolution autour du soleil (c'est UT1 et notre calendrier de manière plus générale), parce que c'est quand même plus pratique...
Le temps UTC est une mesure bâtarde entre les deux : il est calé sur UT1 tout en garantissant l'absolue régularité de la seconde du TAI (on a le meilleur des deux mondes). Pour arriver à ce résultat il faut de temps à autre rajouter une 61ème seconde (on a donc h:m:60 tout à fait légal, 2 fois par an), la seconde intercalaire.2
Le problème Posix est qu'il se cale sur UTC, mais ne représente pas l'heure sous la forme h:m:s, mais d'un unique nombre (donc impossible de rajouter cette fameuse seconde intercalaire). Il y a plusieurs solutions possibles pour résoudre le problème3 mais rien n'a été fait.
--
1 La conservation de l'énergie (l'une des plus importantes loi de la physique) est directement déductible de l'invariance par translation du temps. En ce sens le TAI est le seul temps physique qui vaille.
2 À noter que le cycle solaire connaît des variations plus importantes (±15 min. de souvenir) mais ces variations sont elle-mêmes cycliques (elles s'annulent au bout d'un an), et seule la dérive sur le temps long est prise en compte. UT1 est un temps lissé, ne subsiste que la dérive sur le temps long.
3 http://www.madore.org/~david/computers/unix-leap-seconds.html, donc non dans certains cas d'applications "faire confiance à la lib. écrite par des experts" n'est pas la bonne stratégie. Dans le même genre je ne compte plus la multiplication de l'usage des flottants en lieu et place des décimaux pour représenter des éléments de comptabilité...