SynchronizationPart 1.ppt

1、1,Synchronization Part 1,REKs adaptation of Claypools adaptation of Tanenbaums Distributed Systems Chapter 5,Distributed Computing Systems,2,Outline,Clock Synchronization Clock Synchronization Algorithms Logical Clocks Election Algorithms Mutual Exclusion Distributed Transactions Concurrency Control

2、,Distributed Computing Systems,3,Clock Synchronization make example,When each machine has its own clock, an event that occurred after another event may nevertheless be assigned an earlier time.,Same holds when using NFS mount Can all clocks in a distributed system be synchronized?,Distributed Comput

3、ing Systems,4,Physical Clocks,It is impossible to guarantee that crystals in different computers all run at exactly the same frequency. This difference in time values is clock skew. “Exact” time was computed by astronomers The difference between two transits of the sun is termed a solar day. Divide

4、a solar day by 24*60*60 yields a solar second. However, the earth is slowing! (35 days less in a year over 300 million years) There are also short-term variations caused by turbulence deep in the earths core. A large number of days (n) were used used to the average day length, then dividing by 86,40

5、0 to determine the mean solar second.,Distributed Computing Systems,5,Physical Clocks,Computation of the mean solar day.,Distributed Computing Systems,6,Physical Clocks,Physicists take over from astronomers and count the transitions of cesium 133 atom 9,192,631,770 cesium transitions = 1 solar secon

6、d 50 International labs have cesium 133 clocks. The Bureau Internationale de lHeure (BIH) averages reported clock ticks to produce the International Atomic Time (TAI). The TAI is mean number of ticks of cesium 133 clocks since midnight on January 1, 1958 divided by 9,192,631,770 .,Distributed Comput

7、ing Systems,7,Physical Clocks,To adjust for lengthening of mean solar day, leap seconds are used to translate TAI into Universal Coordinated Time (UTC). UTC is broadcast by NIST from Fort Collins, Colorado over shortwave radio station WWV. WWV broadcasts a short pulses at the start of each UTC secon

8、d. accuracy 10 msec. GEOS (Geostationary Environment Operational Satellite) also offer UTC service. accuracy 0.5 msec.,Distributed Computing Systems,8,Outline,Clock Synchronization Clock Synchronization Algorithms Logical Clocks Election Algorithms Mutual Exclusion Distributed Transactions Concurren

9、cy Control,Distributed Computing Systems,9,Clock Synchronization Algorithms,Computer timers go off H times/sec, and increment the count of ticks (interrupts) since an agreed upon time in the past. This clock value is C. Using UTC time, the value of clock on machine p is Cp(t). For a perfect time, Cp

10、(t) = t and dC/dt = 1. For an ideal timer, H =60, should generate 216,000 ticks per hour.,Distributed Computing Systems,10,Clock Synchronization Algorithms,But typical errors, 105, so the range of ticks per second will vary from 215,998 to 216,002. Manufacturer specs can give you the maximum drift r

11、ate (). Every t seconds, the worst case drift between two clocks will be at most 2t. To guarantee two clocks never differ by more than , the clocks must re-synchronize every /2 seconds using one of the various clock synchronization algorithms.,Distributed Computing Systems,11,Centralized Algorithms

12、Cristians Algorithm (1989) Berkeley Algorithm (1989) Decentralized Algorithms Averaging Algorithms (e.g. NTP) Multiple External Time Sources,Clock Synchronization Algorithms,Distributed Computing Systems,12,Cristians Algorithm,Assume one machine (the time server) has a WWV receiver and all other mac

13、hines are to stay synchronized with it. Every /2 seconds, each machine sends a message to the time server asking for the current time. Time server responds with message containing current time, CUTC.,Distributed Computing Systems,13,Cristians Algorithm,Getting the current time from a time server,Dis

14、tributed Computing Systems,14,Cristians Algorithm,A major problem the client clock is fast arriving value of CUTC will be smaller than clients current time, C. What to do? One needs to gradually slow down client clock by adding less time per tick.,Distributed Computing Systems,15,Cristians Algorithm

15、,Minor problem the one-way delay from the server to client is “significant” and may vary considerably. What to do? Measure this delay and add it to CUTC. The best estimate of delay is (T1 T0)/2. In cases when T1 T0 is above a threshold, then ignore the measurement. outliers Can subtract off I (the s

16、erver interrupt handling time). Can use average delay measurement or relative latency (shortest recorded delay).,Distributed Computing Systems,16,The Berkeley Algorithm,The time daemon asks all the other machines for their clock values. The machines answer and the time daemon computes the average. T

17、he time daemon tells everyone how to adjust their clock.,Distributed Computing Systems,17,Averaging Algorithms,Every R seconds, each machine broadcasts its current time. The local machine collects all other broadcast time samples during some time interval, S. The simple algorithm: the new local time

18、 is set as the average of the value received from all other machines.,Distributed Computing Systems,18,Averaging Algorithms,A slightly more sophisticated algorithm : Discard the m highest and m lowest to reduce the effect of a set of faulty clocks. Another improved algorithm : Correct each message b

19、y adding to the received time an estimate of the propagation time from the ith source. extra probe messages are needed to use this scheme. One of the most widely used algorithms in the Internet is the Network Time Protocol (NTP). Achieves worldwide accuracy in the range of 1-50 msec.,Distributed Com

20、puting Systems,19,Outline,Clock Synchronization Clock Synchronization Algorithms Logical Clocks Election Algorithms Mutual Exclusion Distributed Transactions Concurrency Control,Distributed Computing Systems,20,Logical Clocks,For a certain class of algorithms, it is the internal consistency of the c

21、locks that matters. The convention in these algorithms is to speak of logical clocks. Lamport showed clock synchronization need not be absolute. What is important is that all processes agree on the order in which events occur.,Distributed Computing Systems,21,Lamport Timestamps 1978,Lamport defined

22、a relation ”happens before”. a b a happens before b. Happens before is observable in two situations: If a and b are events in the same process, and a occurs before b, then a b is true. If a is the event of a message being sent by one process, and b is the event of the message being received by anoth

23、er process, then a b is also true.,Distributed Computing Systems,22,Lamport Timestamps,Each processes with own clock with different rates. Lamports algorithm corrects the clocks. Can add machine ID to break ties,Distributed Computing Systems,23,Example: Totally-Ordered Multicasting,San Fran customer

24、 adds $100, NY bank adds 1% interest San Fran will have $1,111 and NY will have $1,110 Updating a replicated database and leaving it in an inconsistent state. Can use Lamports to totally order,Distributed Computing Systems,24,Totally-Ordered Multicast,A multicast operation by which all messages are

25、delivered in the same order to each receiver. Lamport Details: Each message is timestamped with the current logical time of its sender. Multicast messages are conceptually sent to the sender. Assume all messages sent by one sender are received in the order they were sent and that no messages are los

26、t.,Distributed Computing Systems,25,Totally-Ordered Multicast,Lamport Details (cont): Receiving process puts a message into a local queue ordered according to timestamp. The receiver multicasts an ACK to all other processes. Key Point from Lamport: the timestamp of the received message is lower than the timestamp of the ACK. All processes will eventually have the same copy of the local queue consistent global ordering.,