Formal specification and implementation of an environment for automatic distribution

Authors:
Saeed Parsa;Omid Bushehrian
Affiliations:
Faculty of Computer Engineering, Iran University of Science and Technology;Faculty of Computer Engineering, Iran University of Science and Technology
Venue:
GPC'07 Proceedings of the 2nd international conference on Advances in grid and pervasive computing
Year:
2007

Citing 10
Cited 0

A step toward automatic distribution of Java programs

Fourth International Conference on Formal methods for open object-based distributed systems IV
Distributed Systems: Principles and Paradigms

Distributed Systems: Principles and Paradigms
AdJava: automatic distribution of Java applications

ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
JavaSymphony: new directives to control and synchronize locality, parallelism, and load balancing for cluster and GRID-computing

JGI '02 Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande
PANGAEA: An Automatic Distribution Front-End for JAVA

Proceedings of the 11 IPPS/SPDP'99 Workshops Held in Conjunction with the 13th International Parallel Processing Symposium and 10th Symposium on Parallel and Distributed Processing
A Bytecode Translator for Distributed Execution of ``Legacy'' Java Software

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
J-Orchestra: Automatic Java Application Partitioning

ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Run-Time Support for the Automatic Parallelization of Java Programs

The Journal of Supercomputing
A Compiler and Runtime Infrastructure for Automatic Program Distribution

IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Papers - Volume 01
Formal description of a runtime infrastructure for automatic distribution of programs

ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences

Quantified Score

Hi-index	0.00

Visualization

Abstract

It is desirable to replace supercomputers with low cost networks of computers to run computationally intensive programs. To alleviate the burden of writing distributed programs, automatic translation of sequential to distributed programs is highly recommended. In this paper a new architecture to support automatic translation of sequential to distributed programs is offered. A formal specification of the structure and behavior of the architecture components is presented. The applicability of the specified architecture is demonstrated by presenting its implementation details and evaluating the performance of the resultant distributed program.