Stochastic Modeling of Dynamic Distributed Systems with Crash Recovery and Its Application to Atomic Registers
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.
KeywordsStochastic Modeling Dynamic Distributed System Dynamic Atomic Register
Unable to display preview. Download preview PDF.
- 2.Aguilera, M., Keidar, I., Malkhi, D., Shraer, A.: Dynamic atomic storage without consensus. J. ACM 58(2), 7:1–7:32 (2011)Google Scholar
- 4.Baldoni, R., Bonomi, S., Kermarrec, A., Raynal, M.: Implementing a Register in a Dynamic Distributed System. In: 29th International Conference on Distributed Computing Systems, ICDCS 2009 (2009)Google Scholar
- 7.Brighten, G., Shenker, S., Stoica, I.: Minimizing churn in distributed systems. In: Proceedings of the 2006 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications, SIGCOMM 2006, pp. 147–158. ACM, New York (2006)Google Scholar
- 10.Gilbert, S., Lynch, N., Shvartsman, A.: Rambo ii: Rapidly reconfigurable atomic memory for dynamic networks. In: International Conference on Dependable Systems and Networks, DSN 2003, p. 259. IEEE Computer Society, Los Alamitos (2003)Google Scholar