Abstract
The reverse engineering of a skeleton based programming environment and redesign to distribute management activities of the system and thereby remove a potential single point of failure is considered. The Orc notation is used to facilitate abstraction of the design and analysis of its properties. It is argued that Orc is particularly suited to this role as this type of management is essentially an orchestration activity. The Orc specification of the original version of the system is modified via a series of semi-formally justified derivation steps to obtain a specification of the decentralized management version which is then used as a basis for its implementation. Analysis of the two specifications allows qualitative prediction of the expected performance of the derived version with respect to the original, and this prediction is borne out in practice.
This research is carried out under the FP6 Network of Excellence CoreGRID funded by the European Commission (Contract IST-2002-004265).
Chapter PDF
Similar content being viewed by others
References
Danelutto, M.: QoS in parallel programming through application managers. In: Proc. of Intl. Euromicro PDP: Parallel Distributed and network-based Processing, Lugano, Switzerland, pp. 282–289. IEEE, Los Alamitos (2005)
Danelutto, M., Dazzi, P.: Joint structured/non structured parallelism exploitation through data flow. In: Alexandrov, V.N., van Albada, G.D., Sloot, P.M.A., Dongarra, J.J. (eds.) ICCS 2006. LNCS, vol. 3994, Springer, Heidelberg (2006)
Danelutto, M.: Dynamic run time support for skeletons. In: Proc. of Intl. PARCO 99: Parallel Computing. Parallel Computing Fundamentals & Applications, pp. 460–467. Imperial College Press, London, UK (EU) (1999)
Kephart, J.O., Chess, D.M.: The vision of autonomic computing. IEEE Computer 36, 41–50 (2003)
White, S., Hanson, J., Whalley, I., Chess, D., Kephart, J.: An architectural approach to autonomic computing. In: Proc. of the Intl. Conference on Autonomic Computing, pp. 2–9 (2004)
Parashar, M., Liu, H., Li, Z., Matossian, V., Schmidt, C., Zhang, G., Hariri, S.: AutoMate: Enabling autonomic applications on the Grid. Cluster Computing 9, 161–174 (2006)
Kennedy, K., et al.: Toward a framework for preparing and executing adaptive Grid programs. In: Proc. of NSF Next Generation Systems Program Workshop (IPDPS 2002) (2002)
Stewart, A., Gabarró, J., Clint, M., Harmer, T.J., Kilpatrick, P., Perrott, R.: Managing grid computations: An orc-based approach. In: Guo, M., Yang, L.T., Di Martino, B., Zima, H.P., Dongarra, J., Tang, F. (eds.) ISPA 2006. LNCS, vol. 4330, pp. 278–291. Springer, Heidelberg (2006)
Misra, J., Cook, W.R.: Computation orchestration: A basis for a wide-area computing. Software and Systems Modeling (2006), doi: 10.1007/s10270-006-0012-1
Aldinucci, M., Danelutto, M.: Skeleton based parallel programming: functional and parallel semantic in a single shot. Computer Languages, Systems and Structures 33, 179–192 (2007)
Milner, R.: Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, Cambridge (1999)
Agerholm, S., Larsen, P.G.: A lightweight approach to formal methods. In: Hutter, D., Traverso, P. (eds.) Applied Formal Methods - FM-Trends 98. LNCS, vol. 1641, pp. 168–183. Springer, Heidelberg (1999)
Cole, M.: Bringing skeletons out of the closet: A pragmatic manifesto for skeletal parallel programming. Parallel Computing 30, 389–406 (2004)
Kuchen, H.: The Muesli home page (2006), http://www.wi.uni-muenster.de/PI/forschung/Skeletons/
Stewart, A., Gabarró, J., Clint, M., Harmer, T.J., Kilpatrick, P., Perrott, R.: Estimating the reliability of web and grid orchestrations. In: Integrated Reserach in Grid Computing, Kraków, Poland, CoreGRID, Academic Computer Centre CYFRONET AGH, pp. 141–152 (2006)
Aldinucci, M., Danelutto, M., Kilpatrick, P.: Adding metadata to Orc to support reasoning about grid programs. In: Priol, T., Vanneschi, M. (eds.) Grid and Peer-To-Peer Technologies (Proc. of the CoreGRID Symposium 2007), Springer, Heidelberg (2007)
Kilpatrick, P., Danelutto, M., Aldinucci, M.: Deriving Grid Applications from Abstract Models. Technical Report TR-85, CoreGRID (2007), available at http://www.coregrid.net
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aldinucci, M., Danelutto, M., Kilpatrick, P. (2007). Management in Distributed Systems: A Semi-formal Approach. In: Kermarrec, AM., Bougé, L., Priol, T. (eds) Euro-Par 2007 Parallel Processing. Euro-Par 2007. Lecture Notes in Computer Science, vol 4641. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74466-5_69
Download citation
DOI: https://doi.org/10.1007/978-3-540-74466-5_69
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74465-8
Online ISBN: 978-3-540-74466-5
eBook Packages: Computer ScienceComputer Science (R0)