In this paper, we present a generalization of the threshold model for process replication for a model of dependent process failures. This model is based on two abstractions, called cores and survivor sets. We show two equivalent properties that assume cores and survivor sets, and use these properties to derive lower bounds for process replication. We also conjecture that a class of protocols in distributed computing can be be automatically translated to our model by simply modifying predicates in these protocols.
The authors of these documents have submitted their reports to this technical report series for the purpose of non-commercial dissemination of scientific work. The reports are copyrighted by the authors, and their existence in electronic format does not imply that the authors have relinquished any rights. You may copy a report for scholarly, non-commercial purposes, such as research or instruction, provided that you agree to respect the author's copyright. For information concerning the use of this document for other than research or instructional purposes, contact the authors. Other information concerning this technical report series can be obtained from the Computer Science and Engineering Department at the University of California at San Diego, firstname.lastname@example.org.
[ Search ]