Replication Predicates for Dependent-Failure Algorithms

Abstract. To establish lower bounds on the amount of replication, there is a common partition argument used to construct indistinguishable executions such that one violates some property of interest. This violation leads to the conclusion that the lower bound on process replication is of the form n > kt/b , where t is the maximum number of process failures in any of these executions and k, b are positive integers. In this paper, we show how this argument can be extended to give bounds on replication when failures are dependent. We express these bounds in terms of our model of cores and survivors sets using set properties instead of predicates of the form n > kt/b . We give two different properties that express the same

• Type: Conference
• Year: 2005
• Where: EUROPAR
• Authors: Flavio Paiva Junqueira, Keith Marzullo
• Keywords: Common Partition Argument, EUROPAR 2005, Indistinguishable Executions, Lower Bound