Implementação de Difusão Atômica Baseada em Diagnóstico com Testes Imperfeitos
Resumo
Este trabalho descreve duas implementações da difusão atômica em um conjunto de processos identificados como estáveis. A primeira implementação da difusão atômica é baseada no algoritmo de consenso Paxos. A segunda implementação assume um processo estável como sequenciador fixo. Os processos estáveis são identificados e mantidos por meio de uma estratégia de testes definida em um novo modelo de diagnóstico em nível de sistema que se apoia em testes ditos imperfeitos. Este trabalho descreve a implementação da estratégia de testes. Resultados de simulação mostram o desempenho da estrat égia de seleção de nodos estáveis, bem como uma comparação experimental do número de mensagens e a latência das duas implementações da difusão atômica.
Referências
Defago, Schiper, and Urban (2004). Total order broadcast and multicast algorithms: Taxonomy and survey. CSURV: Computing Surveys, 36.
Duarte, E. P., Ziwich, R. P., and Albini, L. C. P. (2011). A survey of comparison-based system-level diagnosis. ACM Comput. Surv, 43(3):22.
Guerraoui, R., Cachin, C., and Rodrigues, L. (2011). Introduction to Reliable and Secure Distributed Programming (2. ed.). Springer.
Jacobson, V. and Karels, M. J. (1988). Congestion avoidance and control. ACM Computer Communications Review, 18(4):314–329.
Lamport (2001). Paxos made simple. SIGACTN: SIGACT News (ACM Special Interest Group on Automata and Computability Theory), 32.
MacDougall, M. H. (1987). Simulating Computer Systems. Techniques and Tools. Computer Systems Series. MIT. Discrete Event Simulation mittels SMPL.
Marandi, P. J., Primi, M., Schiper, N., and Pedone, F. (2014). Ring paxos: Highthroughput atomic broadcast. CoRR, abs/1401.6015.
Preparata, Metze, and Chen (1967). On the connection assignment problem of diagnosable systems. In IEEE Transactions on Electronic Computers, volume 16.
Duarte, E. P., Ziwich, R. P., and Albini, L. C. P. (2011). A survey of comparison-based system-level diagnosis. ACM Comput. Surv, 43(3):22.
Guerraoui, R., Cachin, C., and Rodrigues, L. (2011). Introduction to Reliable and Secure Distributed Programming (2. ed.). Springer.
Jacobson, V. and Karels, M. J. (1988). Congestion avoidance and control. ACM Computer Communications Review, 18(4):314–329.
Lamport (2001). Paxos made simple. SIGACTN: SIGACT News (ACM Special Interest Group on Automata and Computability Theory), 32.
MacDougall, M. H. (1987). Simulating Computer Systems. Techniques and Tools. Computer Systems Series. MIT. Discrete Event Simulation mittels SMPL.
Marandi, P. J., Primi, M., Schiper, N., and Pedone, F. (2014). Ring paxos: Highthroughput atomic broadcast. CoRR, abs/1401.6015.
Preparata, Metze, and Chen (1967). On the connection assignment problem of diagnosable systems. In IEEE Transactions on Electronic Computers, volume 16.
Publicado
28/07/2014
Como Citar
DE CAMARGO, Edson; DUARTE JR., Elias; CASSOU-PIETNICZKA, Weyne.
Implementação de Difusão Atômica Baseada em Diagnóstico com Testes Imperfeitos. In: CONCURSO DE TRABALHOS DE INICIAÇÃO CIENTÍFICA DA SBC (CTIC-SBC), 33. , 2014, Brasília.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2014
.
p. 21-30.
