An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems,
- 7 Citations
- 796 Downloads
Abstract
Coordination is frequently associated with shared data spaces employing Linda coordination. But in practice, communication between parallel and distributed processes is carried out with message exchange patterns. What, actually, do shared data spaces contribute beyond these? In this paper we present a formal representation for a definition of shared spaces by introducing an “extensible tuple model”, based on existing research on Linda coordination, some Linda extensions, and virtual shared memory. The main enhancements of the extensible tuple model comprise: means for structuring of spaces, Internet- compatible addressing of resources, more powerful coordination capabilities, a clear separation of user data and coordination information, support of symmetric peer application architectures, and extensibility through programmable aspects. The advantages of the extensible tuple model (XTM) are that it allows for a specification of complex coordination patterns.
Keywords
Operational Semantic Shared Space Tuple Space Protocol Message Abstract Data TypePreview
Unable to display preview. Download preview PDF.
References
- 1.Bal, H.E., Kaashoek, M.F., Tanenbaum, A.S.: Orca: a language for parallel programming of distributed systems. IEEE Transactions on Software Engineering 18(3), 190–205 (1992)CrossRefGoogle Scholar
- 2.Carriero, N., Gelernter, D.: Linda in context. Commun. ACM 32(4), 444–458 (1989)CrossRefGoogle Scholar
- 3.Ciancarini, P.: Distributed programming with logic tuple spaces. New Gen. Comput. 12(3), 251–284 (1994)CrossRefzbMATHGoogle Scholar
- 4.Ciancarini, P.: Coordination models and languages as software integrators. ACM Comput. Surv. 28(2), 300–302 (1996)CrossRefGoogle Scholar
- 5.Ecker, S.: Communication protocols in XVSM - design and implementation. Master’s thesis, Vienna University of Technology, E185/1 (2005)Google Scholar
- 6.Franklin, S.: Coordination without communication. Technical report, Inst. For Intelligent Systems, Univ. of Memphis (April 2008)Google Scholar
- 7.Freeman, E., Arnold, K., Hupfer, S.: JavaSpaces Principles, Patterns, and Practice. Addison-Wesley Longman Ltd., Essex (1999)Google Scholar
- 8.Gelernter, D.: Generative communication in linda. ACM Trans. Program. Lang. Syst. 7(1), 80–112 (1985)CrossRefzbMATHGoogle Scholar
- 9.Hohpe, G., Woolf, B.: Enterprise Integration Patterns: Designing, Building, and Deploying Messaging Solutions. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)Google Scholar
- 10.Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Akşit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220–242. Springer, Heidelberg (1997)CrossRefGoogle Scholar
- 11.Kühn, E.: Virtual Shared Memory for Distributed Architecture. Nova Science Publishers (2001)Google Scholar
- 12.Kühn, E.: The zero-delay data warehouse: mobilizing heterogeneous database. In: Proceedings of the 29th international conference on Very large data bases (VLDB 2003), pp. 1035–1040 (2003)Google Scholar
- 13.Kühn, E., Fessl, G., Schmied, F.: Aspect-oriented programming with runtime-generated subclass proxies and net dynamic methods. Journal of NET Technologies 4, 1801–2108 (2006)Google Scholar
- 14.Kühn, E., Riemer, J., Mordinyi, R., Lechner, L.: Integration of XVSM spaces with the web to meet the challenging interaction demands in pervasive scenarios. Ubiquitous Computing And Communication Journal (UbiCC), special issue on Coordination in Pervasive Environments 3 (2008)Google Scholar
- 15.Lehman, T.J., McLaughry, S.W., Wycko, P.: T-spaces: The next wave. In: HICSS (1999)Google Scholar
- 16.Malone, T.W., Crowston, K.: The interdisciplinary study of coordination. ACM Comput. Surv. 26(1), 87–119 (1994)CrossRefGoogle Scholar
- 17.Martin, D., Wutke, D., Scheibler, T., Leymann, F.: An eai pattern-based comparison of spaces and messaging. In: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), Washington, DC, USA, p. 511. IEEE Computer Society Press, Los Alamitos (2007)CrossRefGoogle Scholar
- 18.Mor, M., Mordinyi, R., Riemer, J.: Using space-based computing for more efficient group coordination and monitoring in an event-based work management system. In: The Second International Conference on Availability, Reliability and Security (ARES 2007), pp. 1116–1123 (April 2007)Google Scholar
- 19.Mordinyi, R.: Shared virtual space distribution manager - SVSDM - design and implementation. Master’s thesis, Vienna University of Technology, E185/1 (2005)Google Scholar
- 20.Murphy, A.L., Picco, G.P., Roman, G.-C.: Lime: A coordination model and middleware supporting mobility of hosts and agents. ACM Trans. Softw. Eng. Methodol. 15(3), 279–328 (2006)CrossRefGoogle Scholar
- 21.Picco, G.P., Murphy, A.L., Roman, G.-C.: Lime: Linda meets mobility. In: ICSE 1999: Proceedings of the 21st international conference on Software engineering, pp. 368–377. IEEE Computer Society Press, Los Alamitos (1999)Google Scholar
- 22.Semini, L., Montangero, C.: A refinement calculus for tuple spaces. Science of Computer Programming 34(2), 79–140 (1999)MathSciNetCrossRefzbMATHGoogle Scholar
- 23.MozartSpaces WebSite (2008), http://www.mozartspaces.org
- 24.SWIS WebSite (2008), http://www.isis.tuwien.ac.at/node/4841
- 25.XVSM WebSite (2008), http://www.xvsm.org
- 26.Weigand, H., van der Poll, F., de Moor, A.: Coordination through communication. In: Proc. of the 8th International Working Conference on the Language-Action Perspective on Communication Modelling (LAP 2003), pp. 1–2 (2003)Google Scholar
- 27.Welsh, M., Culler, D.: Overload management as a fundamental service design primitive. In: EW10: Proceedings of the 10th workshop on ACM SIGOPS European workshop, pp. 63–69. ACM Press, New York (2002)CrossRefGoogle Scholar
- 28.Welsh, M., Culler, D., Brewer, E.: Seda: an architecture for well-conditioned, scalable internet services. SIGOPS Oper. Syst. Rev. 35(5), 230–243 (2001)CrossRefGoogle Scholar
- 29.Zhen, L., Parashar, M.: Comet: a scalable coordination space for decentralized distributed environments. In: Second International Workshop on Hot Topics in Peer-to-Peer Systems (HOT-P2P 2005), 21 July 2005, pp. 104–111 (2005)Google Scholar