ICT 6544 Distributed Systems Lecture 7

Transcription

1 ICT 6544 Distributed Systems Lecture 7 Hossen Asiful Mustafa

2 Structured Naming

3 Name Spaces (1) Figure 5-9. A general naming graph with a single root node.

4 Name Spaces (2) Figure The general organization of the UNIX file system implementation on a logical disk of contiguous disk blocks.

5 Linking and Mounting (1) Figure The concept of a symbolic link explained in a naming graph.

6 Linking and Mounting (2) Information required to mount a foreign name space in a distributed system The name of an access protocol. The name of the server. The name of the mounting point in the foreign name space.

7 Linking and Mounting (3) Figure Mounting remote name spaces through a specific access protocol.

8 Name Space Distribution Figure An example partitioning of the DNS name space, including Internet-accessible files, into three layers.

9 Implementation of Name Resolution (1) Figure The principle of iterative name resolution.

10 Implementation of Name Resolution (2) Figure The principle of recursive name resolution.

11 Example: The Domain Name System Figure The comparison between recursive and iterative name resolution with respect to communication costs.

12 The DNS Name Space Figure The most important types of resource records forming the contents of nodes in the DNS name space.

13 DNS Implementation (1) Figure An excerpt from the DNS database for the zone cs.vu.nl.

14 DNS Implementation (2) Figure An excerpt from the DNS database for the zone cs.vu.nl.

15 Attribute-based Naming

16 Hierarchical Implementations: LDAP (1) Figure A simple example of an LDAP directory entry using LDAP naming conventions.

17 Hierarchical Implementations: LDAP (2) Figure (a) Part of a directory information tree.

18 Hierarchical Implementations: LDAP (3) Figure (b) Two directory entries having Host_Name as RDN.

19 Chapter 6 Synchronization

20 What is Synchronization? Does all the watches have the same time? Does the clocks in all the computers have the same time? Keeping the time in different devices exactly the same is called synchronization

21 Clock Synchronization Figure 6-1. When each machine has its own clock, an event that occurred after another event may nevertheless be assigned an earlier time.

22 Clock Synchronization Algorithms Figure 6-5. The relation between clock time and UTC when clocks tick at different rates.

23 Network Time Protocol Figure 6-6. Getting the current time from a time server. Θ = T3 + ((T2-T1) + (T4-T3))/2 T4 = ((T2-T1) + (T3-T4))/2

24 The Berkeley Algorithm (1) Figure 6-7. (a) The time daemon asks all the other machines for their clock values.

25 The Berkeley Algorithm (2) Figure 6-7. (b) The machines answer.

26 The Berkeley Algorithm (3) Figure 6-7. (c) The time daemon tells everyone how to adjust their clock.

27 Clock Synchronization in Wireless Networks Reference Broadcast Synchronization (RBS) Aims at internally synchronizing the clocks Does not provide UTC time to nodes Only synchronizes the receiver Sender broadcasts a reference message to the receivers for adjusting their clocks

28 LOGICAL CLOCKS

29 Lamport s Logical Clocks (1) The "happens-before" relation can be observed directly 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 another process, then a b

30 Lamport s Logical Clocks (2) Figure 6-9. (a) Three processes, each with its own clock. The clocks run at different rates.

31 Lamport s Logical Clocks (3) Figure 6-9. (b) Lamport s algorithm corrects the clocks.

32 Lamport s Logical Clocks (4) Figure The positioning of Lamport s logical clocks in distributed systems.

33 Lamport s Logical Clocks (5) Updating counter C i for process P i 1. Before executing an event P i executes C i C i When process P i sends a message m to P j, it sets m s timestamp ts (m) equal to C i after having executed the previous step. 3. Upon the receipt of a message m, process P j adjusts its own local counter as C j max{c j, ts (m)}, after which it then executes the first step and delivers the message to the application.

34 Example: Totally Ordered Multicasting Figure Updating a replicated database and leaving it in an inconsistent state.

35 Vector Clocks (1) Figure Concurrent message transmission using logical clocks.

36 Vector Clocks (2) Vector clocks are constructed by letting each process P i maintain a vector VC i with the following two properties: 1. VC i [ i ] is the number of events that have occurred so far at P i. In other words, VC i [ i ] is the local logical clock at process P i. 2. If VC i [ j ] = k then P i knows that k events have occurred at P j. It is thus P i s knowledge of the local time at P j.

37 Vector Clocks (3) Steps carried out to accomplish property 2 of previous slide: 1. Before executing an event P i executes VC i [ i ] VC i [i ] When process P i sends a message m to P j, it sets m s (vector) timestamp ts (m) equal to VC i after having executed the previous step. 3. Upon the receipt of a message m, process P j adjusts its own vector by setting VC j [k ] max{vc j [k ], ts (m)[k ]} for each k, after which it executes the first step and delivers the message to the application.