Distributed systems Spring 2007

LH 6

2. Fig. 7-16 describes the behavior of an implementation of virtual synchrony.
   a) "Prove" the correctness of the algorithm. Especially, describe what
       happens, when during a multicast operation
       - a new node joins the group
       - a receiving node disappears
       - the sending node crashes.
   b) In Chapter 5 we had an algorithm which implemented a "distributed
      snapshot" (Fig. 5-10). In what way (if in any) are these algorithms
      related?


3. a) Describe the behavior of the two-phase commit protocol in cases where
        - the coordinator suffers a (temporary) crash,
        - the participant suffers a (temporary) crash.
      For what purposes are the different states needed?
      The algorithm presented in Tanenbaum's book does not contain any
      "haveCommitted" message. Is this message necessary at all?
   b) Using unreliable e-mail Alice and Bob tried, in vain, to agree upon
      meeting in a lunch restaurant. Why does the two-phase commit algorithm
      work in a satisfactory way when Alice and Bob cannot agree upon a lunch?
      Could you think that under certain circumstances the two-phase commit
      would work even in the case "Alice and Bob"?
      If Alice and Bob would have used the normal old-fashioned telephone
      there would not have been any problems. Why not? (Hint: the reason is
      NOT the slightly longer delay in message passing!)
      (The stroy of Alice and Bob, see the slides or the article: Turek,J.,
      Shasha,S., The many faces of Consensus in Distributed Systems; Computer
      25,6 pp 8-17; June 1992).

3.  a) What kinds of failure types can you expect in
        - a Local Area Network
        - UDP transport service
        - on the air link in GPRS?
   b) How can you detect such failures and how can you mask them? Is it
      possible tha the masking process leads to new failures?
   c) What is the use of establishing failure classifications? Use RPC
      implementations as examples to clarify your points.

4.  Does NFS implement entry consistency? What about release consistency?
   NFS implements the remote access model to file handling. It can be
   argued that it also supports the upload/download model. Explain why.

Check the last 2 home excersices!

Give feedback throught the evaluation interface at ...