Integrando uma Semântica de Falhas Consistente na Comunicação Assíncrona de Objetos Distribuídos
Abstract
The current technologies for distributed systems development do not match the needs of complex systems and that maintains several connections opened at the same time in a node. Asynchronous communication support for distributed objects helps the implementation of these systems. In this paper, we define four requirements for a consistent semantic of failures for this kind of communication support. Moreover, we designed and formally verified a Connection Protocol which meets these requirements. We also describe the architecture of a middleware that supports asynchronous distributed objects and uses this Connection Protocol.
References
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.
Published
2009-08-31
How to Cite
MIRANDA, Rodrigo; BRASILEIRO, Francisco.
Integrando uma Semântica de Falhas Consistente na Comunicação Assíncrona de Objetos Distribuídos. In: FAULT TOLERANCE WORKSHOP (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.
