Synchronisons nos montres : la synchronisation d'horloges matérielles et logicielles en environnement distribué

Ce cours est directement relié à la conférence donnée le 11 décembre 2013 par Edward Lee (UV Berkeley) et intitulée « Cyber-Physical Systems: A Fundamental  Intellectual Challenge ».

Il est conseillé de visionner cette conférence avant le cours.

Résumé

Avoir l’heure et se synchroniser avec d’autres est longtemps resté un problème difficile. Les rythmes visibles du soleil et de la lune ne sont pas réguliers, et les divers instruments inventés au cours des âges étaient peu précis : clepsydre, sablier, horloges à ressort ou à balancier, etc. La première montre vraiment précise (quelques secondes sur une traversée de l’Atlantique) a été conçue par John Harrisson en 1773, pour gagner le concours de l’amirauté britannique ouvert à la suite du naufrage d’une partie de la flotte anglaise aux îles Scilly en 1714. Ce naufrage était directement dû à une mauvaise mesure du temps conduisant à une mauvaise estimation de la longitude. Plus tard, avec l’arrivée du train, des ratages de synchronisations temporelles ont conduit à de graves collisions ferroviaires. La situation ne s’est réellement améliorée que dans la seconde moitié du XX^e siècle avec la généralisation du télégraphe, qui a permis l’harmonisation des heures locales et la création des fuseaux horaires. Aujourd’hui, il est possible d’atteindre une précision bien plus grande grâce aux horloges atomiques qui sont embarquées par exemple dans les satellites GPS et aux protocoles informatiques qui synchronisent les horloges des ordinateurs ou objets informatisés de toutes sortes.