Keeping time and synchronizing with others has long been a difficult problem. The visible rhythms of the sun and moon are not regular, and the various instruments invented over the ages were not very accurate: clepsydra, hourglasses, spring or pendulum clocks, etc. The first truly accurate watch (a few seconds on an Atlantic crossing) was designed by John Harrisson in 1773. The first truly accurate watch (a few seconds on an Atlantic crossing) was designed by John Harrisson in 1773, to win the British Admiralty competition opened following the sinking of part of the English fleet in the Isles of Scilly in 1714. This sinking was a direct result of poor weather measurement, leading to an inaccurate estimate of longitude. Later, with the arrival of the train, mistimings led to serious rail collisions. The situation only really improved in the second half of the 20th century, with the widespread use of the telegraph, which harmonized local times and created time zones. Today, much greater precision can be achieved thanks to the atomic clocks embedded in GPS satellites, for example, and the computer protocols that synchronize the clocks of computers and computerized objects of all kinds.
As Edward Lee has already explained in his January 11 seminar (see link below), precise synchronization of remote computer clocks now plays a critical role in many new application areas, ranging from cyber-physical systems controlling complex objects or processes, to real-time replication of large distributed databases, to large sensor and actuator networks or energy management. We will show that fine-grained time control is essential to ensure the global determinism of these distributed applications, which is more often than not a prerequisite for them. We will study two standardized protocols for remote time synchronization: PTP (Precise Time Protocol), a highly accurate protocol based on communication with atomic clocks on the ground or embedded in GPS satellites, but which requires networks with predictable latency; and NTP (Network Time Protocol), less accurate but adapted to asynchronous Internet-type networks and used by all modern computers.