This preview shows pages 1–2. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: CSE4/586 (Spring 2009): Homework 6 Due by Apr 23 Thursday, in class. 1. (40 points) Consider the “synchronous agreement with crash faults” program we studied in Section 12.6. Modify this algorithm to design an earlystopping version of the algorithm that terminates within f + 1 rounds, where f , the actual number of crash faults, is less than f . Prove (argue for) the correctness of your algorithm. (Hint: Processes can track the other processes that failed, which is detectable by identi fying the processes from which no message was received.) Answer: Each node maintains a set called “alivenodeset”. Initially alivenodeset is equal to the set of all nodes in the system. At a round k , the node expects to hear a value from all the nodes in its alivenodeset. If that is the case, the node chooses the minimum value among these as its decision value tentatively. Else, if the node does not hear from all of the nodes in its alivenodeset, it continues on the next round and broadcasts its tentative decision, urging the other nodes to also continue on the next round. Consider the case where no faults occur, then all nodes hear from all the other nodes, and no node continues on the second round. When there is one crash in the first round, thenand no node continues on the second round....
View
Full
Document
This note was uploaded on 01/04/2010 for the course CSE 123 taught by Professor Qwerty during the Spring '09 term at École Normale Supérieure.
 Spring '09
 qwerty

Click to edit the document details