Integrando uma Semântica de Falhas Consistente na Comunicação Assíncrona de Objetos Distribuídos
Resumo
As tecnologias disponíveis para o desenvolvimento sistemas distribuídos não atendem perfeitamente à classe de sistemas complexos e que precisa manter diversas conexões abertas simultaneamente em um nó. A comunicação assíncrona de objetos distribuídos facilita a construção destes sistemas. Neste trabalho, definimos quatro requisitos para uma semântica de falhas consistente para este tipo de comunicação. Além disso, projetamos e verificamos formalmente um Protocolo de Conexão que atende a esses requisitos. Por fim, descrevemos a arquitetura de uma plataforma para objetos distribuídos assíncrona que usa este Protocolo de Conexão.
Referências
Basu, S., Costa, L., Brasileiro, F., Banerjee, S., Sharma, P., and Lee, S.-J. (2009). Nodewiz: Fault-tolerant grid information service. Peer-to-Peer Networking and Applications.
Brasileiro, F., Greve, F., Tronel, F., Hurfin, M., and Narzul, J.-P. L. (2001). Eva: An event-based framework for developing specialized communication protocols. In NCA ’01: Proceedings of the IEEE International Symposium on Network Computing and Applications (NCA’01), page 108, Washington, DC, USA. IEEE Computer Society.
Cirne, W., Brasileiro, F., Andrade, N., Costa, L., Andrade, A., Novaes, R., and Mowbray, M. (2006). Labs of the world, unite!!! Journal of Grid Computing, 4(3):225–246.
Coulouris, G. and Dollimore, J. (2005). Distributed systems: concepts and design. Addison-Wesley Longman Publishing Co., Boston, MA, USA.
Holzmann, G. J. (2003). The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional.
Iosif, R. (1998). The promela language, [link].
Lima, A. (2006). Combinando objetos distribuídos e arquiteturas orientadas a eventos em uma infra-estrutura de comunicação para sistemas distribuídos. Master’s thesis, UFCG.
Lima, A., Cirne, W., Brasileiro, F., and Fireman, D. (2006). A case for event-driven distributed objects. In 8th International Symposium on Distributed Objects and Applications (DOA), pages 1705–1721, Berlin / Heidelberg. Springer.
McLean, S., Naftel, J., and Williams, K. (2002). Microsoft.NET Remoting. Microsoft Press.
OMG (2004). Corba 3.0.3, common object request broker architecture (core specification).
Schmidt, D. C., Rohnert, H., Stal, M., and Schultz, D. (2000). Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects. John Wiley & Sons.
Sun Microsystems (2009). Threading, [link], acessado em 16/06/2009.
Wollrath, A., Riggs, R., and Waldo, J. (1996). A distributed object model for the java system. In Conference on Object-Oriented Technologies, pages 219–232, Toronto, Canada.
XMPP Standards Foundation (2007). (XMPP), http://www.xmpp.org.
Brasileiro, F., Greve, F., Tronel, F., Hurfin, M., and Narzul, J.-P. L. (2001). Eva: An event-based framework for developing specialized communication protocols. In NCA ’01: Proceedings of the IEEE International Symposium on Network Computing and Applications (NCA’01), page 108, Washington, DC, USA. IEEE Computer Society.
Cirne, W., Brasileiro, F., Andrade, N., Costa, L., Andrade, A., Novaes, R., and Mowbray, M. (2006). Labs of the world, unite!!! Journal of Grid Computing, 4(3):225–246.
Coulouris, G. and Dollimore, J. (2005). Distributed systems: concepts and design. Addison-Wesley Longman Publishing Co., Boston, MA, USA.
Holzmann, G. J. (2003). The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional.
Iosif, R. (1998). The promela language, [link].
Lima, A. (2006). Combinando objetos distribuídos e arquiteturas orientadas a eventos em uma infra-estrutura de comunicação para sistemas distribuídos. Master’s thesis, UFCG.
Lima, A., Cirne, W., Brasileiro, F., and Fireman, D. (2006). A case for event-driven distributed objects. In 8th International Symposium on Distributed Objects and Applications (DOA), pages 1705–1721, Berlin / Heidelberg. Springer.
McLean, S., Naftel, J., and Williams, K. (2002). Microsoft.NET Remoting. Microsoft Press.
OMG (2004). Corba 3.0.3, common object request broker architecture (core specification).
Schmidt, D. C., Rohnert, H., Stal, M., and Schultz, D. (2000). Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects. John Wiley & Sons.
Sun Microsystems (2009). Threading, [link], acessado em 16/06/2009.
Wollrath, A., Riggs, R., and Waldo, J. (1996). A distributed object model for the java system. In Conference on Object-Oriented Technologies, pages 219–232, Toronto, Canada.
XMPP Standards Foundation (2007). (XMPP), http://www.xmpp.org.
Publicado
31/08/2009
Como Citar
MIRANDA, Rodrigo; BRASILEIRO, Francisco.
Integrando uma Semântica de Falhas Consistente na Comunicação Assíncrona de Objetos Distribuídos. In: WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF), 10. , 2009, João Pessoa/PB.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2009
.
p. 48-61.
ISSN 2595-2684.
DOI: https://doi.org/10.5753/wtf.2009.23133.
