Skip to main content

Formal Specification and Implementation of an Environment for Automatic Distribution

  • Conference paper
  • 812 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4459))

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.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Chan, B., Abdelrahman, T.S.: Run-Time Support for the Automatic Parallelization of Java Programs. The Journal of Supercomputing, 91–117 (2004)

    Google Scholar 

  2. 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 

  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 (2003)

    Google Scholar 

  4. Diaconescu, R., et al.: A Compiler and Runtime Infrastructure for Automatic Program Distribution. In: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), IEEE Computer Society Press, Los Alamitos (2005)

    Google Scholar 

  5. Fuad, M.M., Oudshoorn, M.J.: AdJava-Automatic Distribution of Java Applications. In: 25th Australasian Computer Science Conference (ACSC2002), Monash University, Melbourne (2002)

    Google Scholar 

  6. Tatsubori, M., et al.: 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)

    Chapter  Google Scholar 

  7. Tilevich, E., Smaragdakis, Y.: J-Orchestra: Automatic Java Application Partitioning. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol. 2374, Springer, Heidelberg (2002)

    Google Scholar 

  8. Spiegel, A.: Pangaea: An Automatic Distribution Front-End for Java. In: 4th IEEE Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS ’99), San Juan, Puerto Rico (April 1999)

    Google Scholar 

  9. TanenBaum, A.S., Van Steen, M.: Distributed Systems Principles and Paradigms. Prentice-Hall, Englewood Cliffs (2002)

    Google Scholar 

  10. Fahringer, T., Jugravu, A.: JavaSymphony: New Directives to Control and Synchronize Locality, Parallelism, and Load Balancing for Cluster and GRID-Computing. In: Proceedings of Joint ACM Java Grande - ISCOPE 2002 Conference, Seattle, Washington (Nov. 2002)

    Google Scholar 

  11. Bushehrian, O., Parsa, S.: Formal Description of a Runtime Infrastructure for Automatic Distribution of Programs. In: Levi, A., et al. (eds.) ISCIS 2006. LNCS, vol. 4263, pp. 793–802. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Christophe Cérin Kuan-Ching Li

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Parsa, S., Bushehrian, O. (2007). Formal Specification and Implementation of an Environment for Automatic Distribution. In: Cérin, C., Li, KC. (eds) Advances in Grid and Pervasive Computing. GPC 2007. Lecture Notes in Computer Science, vol 4459. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72360-8_46

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-72360-8_46

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-72359-2

  • Online ISBN: 978-3-540-72360-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics