Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers Conference Paper uri icon


  • In a dynamic distributed system, processes can join and leave the system. We consider such a system in which processes are subject to crash failures from which they may recover. Assuming a stochastic model for joining, leaving, crashing, and recovering of processes, we provide a probabilistic analysis of the long-term behavior of the system. As an example of the utility of our modeling, we provide a specification and implementation of an atomic register in such a system. The dynamic nature of the system can cause all active processes to leave or crash, leaving the system in a dormant state. We analyze the average time spent in dormant states that can give us some insight into the behavior of the register system. © 2012 Springer-Verlag.

author list (cited authors)

  • Bonomi, S., Klappenecker, A., Lee, H., & Welch, J. L.

citation count

  • 0

editor list (cited editors)

  • Baldoni, R., Flocchini, P., & Ravindran, B.

publication date

  • January 2012