Presentation is loading. Please wait.

Presentation is loading. Please wait.

CSCE 668 DISTRIBUTED ALGORITHMS AND SYSTEMS Fall 2011 Prof. Jennifer Welch CSCE 668 Set 18: Wait-Free Simulations Beyond Registers 1.

Similar presentations


Presentation on theme: "CSCE 668 DISTRIBUTED ALGORITHMS AND SYSTEMS Fall 2011 Prof. Jennifer Welch CSCE 668 Set 18: Wait-Free Simulations Beyond Registers 1."— Presentation transcript:

1 CSCE 668 DISTRIBUTED ALGORITHMS AND SYSTEMS Fall 2011 Prof. Jennifer Welch CSCE 668 Set 18: Wait-Free Simulations Beyond Registers 1

2 Data Types Beyond Registers CSCE 668Set 18: Wait-Free Simulations Beyond Registers 2  Registers support the operations read and write  We've seen wait-free simulations of one kind of register out of another kind  different numbers of values, readers, writers  What about (wait-free) simulating a significantly different kind of data type out of registers?  More generally, what about (wait-free) simulating an object of type X out of objects of type Y ?

3 Key Insight CSCE 668Set 18: Wait-Free Simulations Beyond Registers 3  Ability of objects of type Y to be used to simulate an object of type X is related to the ability of those data types to solve consensus!  We are focusing on systems that are  asynchronous  shared memory  wait-free

4 FIFO Queue Example CSCE 668Set 18: Wait-Free Simulations Beyond Registers 4  Sequential specification of a FIFO queue:  operation with invocation enq(x) and response ack  operation with invocation deq and response return(x)  a sequence of operations is allowable iff each deq returns the oldest enqueued value that has not yet been dequeued (returns  if queue is empty)

5 Consensus Algorithm for n = 2 Using FIFO Queue CSCE 668Set 18: Wait-Free Simulations Beyond Registers 5 Initially Q = [0] and Prefer[i] =  Prefer[i] := p i 's input val := deq(Q) if val = 0 then decide on p i 's input else temp := Prefer[1 - i] decide temp one shared FIFO queue two shared registers write my input into my register use shared queue to arbitrate between the 2 procs: first one to dequeue the initial 0 wins, decision value is its input loser obtains decision value from other proc's register

6 Implications of Consensus Algorithm Using FIFO Queue CSCE 668Set 18: Wait-Free Simulations Beyond Registers 6  Suppose we want to wait-free simulate a FIFO queue using read/write registers.  Is this possible?  No! If it were possible, we could solve consensus:  simulate a FIFO queue using registers  use simulated queue and previous algorithm to solve consensus

7 Extend Algorithm to More Procs? CSCE 668Set 18: Wait-Free Simulations Beyond Registers 7  Can we use FIFO queues to solve consensus with more than 2 procs?  The ability to atomically dequeue a value was key to the 2-proc alg:  one proc. learns it is the winner  the other learns it is the loser, therefore the id of the winner is obvious  Not clear how to handle 3 procs.  Suppose we have a different data type:

8 Compare & Swap Specification CSCE 668Set 18: Wait-Free Simulations Beyond Registers 8 compare&swap(X : shared memory address, old: value, new: value) previous := X // previous is a local var. if previous = old then X := new return previous X old new

9 Consensus Algorithm Using Compare- and-Swap CSCE 668Set 18: Wait-Free Simulations Beyond Registers 9 Initially First =  val := compare&swap(First, , my input) if val =  then decide on my input else decide val one shared C&S object simultaneously indicate the winner and the value to be decided by all the losers if First =  then replace with my input

10 Impossibility of 3-Proc Consensus with FIFO Queue CSCE 668Set 18: Wait-Free Simulations Beyond Registers 10 Theorem (15.3): Wait-free consensus is impossible using FIFO queues and registers if n > 2. Proof: Same structure as for registers. Key difference is when considering situation when  C is bivalent  p 0 (C) is 0-valent and p 1 (C) is 1-valent.

11 Impossibility of 3-Proc Consensus with FIFO Queues CSCE 668Set 18: Wait-Free Simulations Beyond Registers 11  p 0 and p 1 must be accessing the same FIFO queue. Case 1: Both steps are deq's. p 0 deq'sp 1 deq's C 0/101 p 1 deq's p 0 deq's 01 look same to p 2

12 Impossibility Proof CSCE 668Set 18: Wait-Free Simulations Beyond Registers 12 Case 2: p 0 deq's and p 1 enq's. Case 2.1: The queue is not empty in C p 0 deq'sp 1 enq's C 0/101 p 1 enq'sp 0 deq's ?

13 Impossibility Proof CSCE 668Set 18: Wait-Free Simulations Beyond Registers 13 Case 2: p 0 deq's and p 1 enq's. Case 2.2: The queue is empty in C p 0 deq's  p 1 enq's C 0/101 look the same to p 2 p 0 deq's 1 queue is empty again queue is empty queue is still empty

14 Impossibility Proof CSCE 668Set 18: Wait-Free Simulations Beyond Registers 14 Case 3: Both p 0 and p 1 enq (on same queue). p 0 enq's Ap 1 enq's B C 0/101 p 1 enq's Bp 0 enq's A  : p 0 takes steps until deq'ing A  : p 1 takes steps until deq'ing B  : p 0 takes steps until deq'ing B  : p 1 takes steps until deq'ing A 01 look the same to p 2 why do  and  exist?

15 Impossibility Proof CSCE 668Set 18: Wait-Free Simulations Beyond Registers 15 Case 3 cont'd: Suppose  does not exist: p 0 enq's Ap 1 enq's B C 0/101 p 1 enq's Bp 0 enq's A p 0 takes steps until deciding but never deq's A; decides 0 p 0 takes same number of steps as on the left; never deq's B; also decides 0 01

16 Impossibility Proof CSCE 668Set 18: Wait-Free Simulations Beyond Registers 16 Case 3 cont'd: Prove existence of  similarly. Thus there is no wait-free algorithm for consensus with 3 procs using FIFO queues and registers.

17 Implications CSCE 668Set 18: Wait-Free Simulations Beyond Registers 17  Suppose we want to wait-free simulate a compare&swap object using FIFO queues (and registers).  Is this possible?  Not if n > 2! If it were possible, we could solve consensus using FIFO queues (and registers):  simulate a compare&swap object using FIFO queues (and registers)  use simulated compare&swap object and c&s algorithm to solve consensus

18 Generalize these Arguments CSCE 668Set 18: Wait-Free Simulations Beyond Registers 18  Previous results concerning FIFO queues and compare&swap suggest a criterion for determining if wait-free simulations exist:  based on ability of the data types to solve consensus for a certain number of procs.

19 Consensus Number CSCE 668Set 18: Wait-Free Simulations Beyond Registers 19 Data type X has consensus number n if n is the largest number of procs. for which consensus can be solved using only objects of type X and read/write registers. data typeconsensus number read/write register1 FIFO queue2 compare&swap∞

20 Using Consensus Numbers CSCE 668Set 18: Wait-Free Simulations Beyond Registers 20 Theorem (15.5): If data type X has consensus number m and data type Y has consensus number n with n > m, then there is no wait-free simulation of an object of type Y using objects of type X and read/write registers in a system with more than m procs. XXX … reg … Y

21 Using Consensus Numbers CSCE 668Set 18: Wait-Free Simulations Beyond Registers 21 Proof: Suppose in contradiction there is a wait-free simulation S of Y using X and registers in a system with k procs, where m < k ≤ n.  Construct consensus algorithm for k > m procs using objects of type X (and registers):  Use S to simulate some objects of type Y using objects of type X (and registers)  Use the (simulated) type Y objects (and registers) in the k- proc consensus algorithm that exists since CN(Y) = n.

22 Corollaries CSCE 668Set 18: Wait-Free Simulations Beyond Registers 22  There is no wait-free simulation of any object with consensus number > 1 using just read/write registers.  There is no wait-free simulation of any object with consensus number > 2 using just FIFO queues and read/write registers.

23 Universality CSCE 668Set 18: Wait-Free Simulations Beyond Registers 23  Let's now consider positive results relating to consensus number.  A data type is universal if objects of that type (together with read/write registers) can wait-free simulate any data type.  Theorem: If data type X has consensus number n, then it is universal in a system with at most n procs.

24 Proving Universality Result CSCE 668Set 18: Wait-Free Simulations Beyond Registers 24 1.Describe an algorithm that simulates any data type  uses compare&swap (instead of any object with consensus number n)  simulation is only non-blocking, weaker than wait-free 2.Modify to use any object with consensus number n 3.Modify to be wait-free 4.Modify to bound shared memory used

25 Non-Blocking CSCE 668Set 18: Wait-Free Simulations Beyond Registers 25  Non-blocking vs. wait-free is analogous to no- deadlock vs. no-lockout for mutual exclusion.  Non-blocking simulation: at any point in an execution, if at least one operation is pending (response is not yet ready to be done), then there is a finite sequence of steps by a single proc that completes one of the pending operations.  Does not ensure that every pending operation is eventually completed.

26 Universal Construction CSCE 668Set 18: Wait-Free Simulations Beyond Registers 26  Keep history of operations that have been applied to the simulated object as a shared linked list.  To apply an operation on the simulated object, the invoking proc. must insert an appropriate "node" into the linked list:  it is convenient to put the newest node at the head of the list  A compare&swap object is used to keep track of the head of the list

27 Details on Linked List CSCE 668Set 18: Wait-Free Simulations Beyond Registers 27 Each linked list node has  operation invocation  new state of the simulated object  operation response  pointer to previous node (previous op) invocation state response before invocation state response before  initial state   anchor Head

28 Simulation CSCE 668Set 18: Wait-Free Simulations Beyond Registers 28 Initially Head points to anchor node  represents initial state of simulated object When inv is invoked: allocate a new linked list node in shared memory, pointed to by local var point point.inv := inv repeat h := Head // h is a local var point.state, point.response := apply(inv,h.state) point.before := h until compare&swap(Head,h,point) = h do the output indicated by point.response depends on simulated data type if Head still points to same node h points to, then make Head point to new node.

29 Simulation Figure CSCE 668Set 18: Wait-Free Simulations Beyond Registers 29 invocation state response before Head … pipi point h invocation state response before if compare&swap indicates that Head has moved on, then try again to insert the new node, at the new location

30 Strengthenings of Algorithm CSCE 668Set 18: Wait-Free Simulations Beyond Registers 30  To replace compare&swap object with any object with consensus number n (the number of procs):  define a consensus object (data type version of consensus problem)  get around the difficulty that a consensus object can only be used once by adding a consensus object to each linked list node that points to next node in the list

31 Strengthenings of Algorithm CSCE 668Set 18: Wait-Free Simulations Beyond Registers 31  To get a wait-free implementation, use idea of helping: procs help each other to finish pending operations (not just their own)  To reduce the size of the linked list (so it doesn't grow without bound), need to keep track of which list nodes can be recycled.

32 Effect of Randomization CSCE 668Set 18: Wait-Free Simulations Beyond Registers 32  Suppose we relax the liveness condition for linearizable shared memory:  operations must terminate with high probability  Now a randomized consensus algorithm can be used to simulate any data type out of any other data type, including read/write registers  I.e., hierarchy collapses.


Download ppt "CSCE 668 DISTRIBUTED ALGORITHMS AND SYSTEMS Fall 2011 Prof. Jennifer Welch CSCE 668 Set 18: Wait-Free Simulations Beyond Registers 1."

Similar presentations


Ads by Google