Abstract
Automatic distribution of sequential code is of great concern in applying networks of low cost computers to run computationally intensive code. A major difficulty is to prove that the final distributed code is equivalent with the original sequential code. To achieve this, a formal specification of structure and behavior of the distributed and a formal proof of the equivalence of the operational semantics of the sequential with the final distributed code is presented. To support platform and distributing middleware independence a new architecture is presented.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Parsa, S., Khalilpoor, V.: Automatic Distribution of Sequential Code Using JavaSymphony Middleware. In: Wiedermann, J., Tel, G., Pokorný, J., Bieliková, M., Štuller, J. (eds.) SOFSEM 2006. LNCS, vol. 3831, pp. 440–450. Springer, Heidelberg (2006)
Parsa, S., Bushehrian, O.: Automatic Translation of Serial to Distributed Code Using CORBA Event Channels. In: Yolum, p., Güngör, T., Gürgen, F., Özturan, C. (eds.) ISCIS 2005. LNCS, vol. 3733, pp. 152–161. Springer, Heidelberg (2005)
Diaconescu, R.E., Wang, L., Franz, M.: Automatic Distribution of Java ByteCode Based on Dependence Analysis, Technical Report No. 03-18, School of Information and Computer Science, University of California, Irvine (October 2003)
Diaconescu, R., Wang, L., Mouri, Z., Chu, M.: A Compiler and Runtime Infrastructure for Automatic Program Distribution. In: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), IEEE, Los Alamitos (2005)
Attali, I., Caromel, D., Guider, R.: A Step Toward Automatic Distribution of Java Programs. In: 4th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000), Stanford, California, USA (2000)
Mohammad, M., Fuad, M.J.: Oudshoorn: AdJava-Automatic Distribution of Java Applications. In: 25th Australasian Computer Science Conference (ACSC 2002), Monash University, Melbourne (2002)
Felber, P.A.: Semi-automatic parallelization of java applications. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, vol. 2888, pp. 1369–1383. Springer, Heidelberg (2003)
Tatsubori, M., Sasaki, T., Chiba, S., Itano, K.: A Bytecode Translator for Distributed Execution of Legacy Java Software. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 236–255. Springer, Heidelberg (2001)
Spiegel, A.: Pangaea: An Automatic Distribution Front-End for Java. In: 4th IEEE Workshop on High-Level Parallel Programming Models and SupportiveEnvironments (HIPS 1999), April 1999, San Juan, Puerto Rico (1999)
Parsa, S., Bushehrian, O.: The Design and Implementation of a Tool for Automatic Software Modularization. Journal of Supercomputing 32(1) (April 2005)
TanenBaum, A.S., Van Steen, M.: Distributed Systems Principles and Paradigms. Prentice-Hall, Englewood Cliffs (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bushehrian, O., Parsa, S. (2006). Formal Description of a Runtime Infrastructure for Automatic Distribution of Programs. In: Levi, A., Savaş, E., Yenigün, H., Balcısoy, S., Saygın, Y. (eds) Computer and Information Sciences – ISCIS 2006. ISCIS 2006. Lecture Notes in Computer Science, vol 4263. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11902140_83
Download citation
DOI: https://doi.org/10.1007/11902140_83
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-47242-1
Online ISBN: 978-3-540-47243-8
eBook Packages: Computer ScienceComputer Science (R0)