Proposta de Implementação de Memória Compartilhada Dinâmica Tolerante a Falhas
Abstract
Quorum systems are useful tools for implementing consistent and available storage in the presence of failures. These systems usually comprise a static set of servers that provide a fault-tolerant read/write register accessed by a set of clients. This paper proposes an implementation for FREESTORE, a set of fault-tolerant protocols that emulates a register in dynamic systems in which processes are able to join/leave the servers set by reconfigurations. A set of experiments analyses the performance of the implementation and brings some light to the shared memory reconfiguration procedure.
References
Aguilera, M. (2004). A pleasant stroll through the land of infinitely many creatures. SIGACT News, 35(2).
Aguilera, M. K., Keidar, I., and Malkhi A. Shraer, D. (2011). Dynamic atomic storage without consensus. Journal of the ACM, 58:7:1–7:32.
Alchieri, E., Bessani, A., Greve, F., and Fraga, J. (2014). Reconfiguração modular de sistemas de quóruns. In Anais do 32o Simpósio Brasileiro de Redes de Computadores.
Attiya, H., Bar-Noy, A., and Dolev, D. (1995). Sharing memory robustly in message-passing systems. Journal of the ACM, 42(1):124–142.
Castro, M. and Liskov, B. (2002). Practical Byzantine fault-tolerance and proactive recovery. ACM Transactions on Computer Systems, 20(4):398–461.
Dwork, C., Lynch, N. A., and Stockmeyer, L. (1988). Consensus in the presence of partial synchrony. Journal of ACM, 35(2):288–322.
Fischer, M. J., Lynch, N. A., and Paterson, M. S. (1985). Impossibility of distributed consensus with one faulty process. Journal of the ACM, 32(2):374–382.
Gifford, D. (1979). Weighted voting for replicated data. In 7th ACM Symposium on Operating Systems Principles.
Gilbert, S., Lynch, N., and Shvartsman, A. (2010). Rambo: A robust, reconfigurable atomic memory service for dynamic networks. Distributed Computing, 23(4).
Lamport, L. (1986). On interprocess communication (part II). Distributed Computing, 1(1):203–213.
Lamport, L. (1998). The part-time parliament. ACM Transactions Computer Systems, 16(2):133–169.
Lamport, L. (2001). Paxos Made Simple. ACM SIGACT News, 32(4):18–25.
Malkhi, D. and Reiter, M. (1998). Secure and scalable replication in Phalanx. In 17th Symposium on Reliable Distributed Systems, pages 51–60.
Martin, J.-P. and Alvisi, L. (2004). A Framework for Dynamic Byzantine Storage. In 34th International Conference on Dependable Systems and Networks.
White, B., Lepreau, J., Stoller, L., Ricci, R., Guruprasad, S., Newbold, M., Hibler, M., Barb, C., and Joglekar, A. (2002). An Integrated Experimental Environment for Distributed Systems and Networks. In Proc. of 5th Symposium on Operating Systems Design and Implementations.
Aguilera, M. K., Keidar, I., and Malkhi A. Shraer, D. (2011). Dynamic atomic storage without consensus. Journal of the ACM, 58:7:1–7:32.
Alchieri, E., Bessani, A., Greve, F., and Fraga, J. (2014). Reconfiguração modular de sistemas de quóruns. In Anais do 32o Simpósio Brasileiro de Redes de Computadores.
Attiya, H., Bar-Noy, A., and Dolev, D. (1995). Sharing memory robustly in message-passing systems. Journal of the ACM, 42(1):124–142.
Castro, M. and Liskov, B. (2002). Practical Byzantine fault-tolerance and proactive recovery. ACM Transactions on Computer Systems, 20(4):398–461.
Dwork, C., Lynch, N. A., and Stockmeyer, L. (1988). Consensus in the presence of partial synchrony. Journal of ACM, 35(2):288–322.
Fischer, M. J., Lynch, N. A., and Paterson, M. S. (1985). Impossibility of distributed consensus with one faulty process. Journal of the ACM, 32(2):374–382.
Gifford, D. (1979). Weighted voting for replicated data. In 7th ACM Symposium on Operating Systems Principles.
Gilbert, S., Lynch, N., and Shvartsman, A. (2010). Rambo: A robust, reconfigurable atomic memory service for dynamic networks. Distributed Computing, 23(4).
Lamport, L. (1986). On interprocess communication (part II). Distributed Computing, 1(1):203–213.
Lamport, L. (1998). The part-time parliament. ACM Transactions Computer Systems, 16(2):133–169.
Lamport, L. (2001). Paxos Made Simple. ACM SIGACT News, 32(4):18–25.
Malkhi, D. and Reiter, M. (1998). Secure and scalable replication in Phalanx. In 17th Symposium on Reliable Distributed Systems, pages 51–60.
Martin, J.-P. and Alvisi, L. (2004). A Framework for Dynamic Byzantine Storage. In 34th International Conference on Dependable Systems and Networks.
White, B., Lepreau, J., Stoller, L., Ricci, R., Guruprasad, S., Newbold, M., Hibler, M., Barb, C., and Joglekar, A. (2002). An Integrated Experimental Environment for Distributed Systems and Networks. In Proc. of 5th Symposium on Operating Systems Design and Implementations.
Published
2014-05-05
How to Cite
BRAGA, Mateus; ALCHIERI, Eduardo.
Proposta de Implementação de Memória Compartilhada Dinâmica Tolerante a Falhas. In: FAULT TOLERANCE WORKSHOP (WTF), 15. , 2014, Florianópolis/SC.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2014
.
p. 102-115.
ISSN 2595-2684.
DOI: https://doi.org/10.5753/wtf.2014.22950.
