Formal Description of a Runtime Infrastructure for Automatic Distribution of Programs
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.
Unable to display preview. Download preview PDF.
- 3.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)Google Scholar
- 4.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)Google Scholar
- 5.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)Google Scholar
- 6.Mohammad, M., Fuad, M.J.: Oudshoorn: AdJava-Automatic Distribution of Java Applications. In: 25th Australasian Computer Science Conference (ACSC 2002), Monash University, Melbourne (2002)Google Scholar
- 9.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)Google Scholar
- 10.Parsa, S., Bushehrian, O.: The Design and Implementation of a Tool for Automatic Software Modularization. Journal of Supercomputing 32(1) (April 2005)Google Scholar