Abstract
The Java Virtual Machine computing model implements a multi-threading paradigm but its computing model does not define and does not verify the distribution paradigm of the threads over set of JVM instances. Without a distribution paradigm the Java Virtual Machine computing model cannot get any advantage from the theory of parallel Turing Machines. This work formally specifies and verifies the JVM computing model distribution paradigm. An intrinsic transparent thread distribution mechanism over many JVMs relying on different communication technology such as Peer to Peer is an important outcome of the presented solution. Other consequences, such as distributed JVM run-time location, aggregation and reachability, are achieved. Moreover the creation of Virtual Farms of JVMs for Multi-threading applications computing is made possible.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bouchenak, S., Hagimont, S.: Zero overhead java thread migration. Technical Report 0261, INRIA (2002)
Clemments, P.T., Edwards, J.: Aglets: Enabling the virtual enterprise. In: Proceedings of the Managing Enterprises - Stakeholders, Engineering, Logistics, and Achievement (1997)
Wong, D., Paciorek, N., Walsh, T., DiCelie, J., Young, M., Peet, B.: Concordia: An infrastructure for collaborating mobile agents. In: Mobile Agents: Proceedings of the First International Workshop (1997)
Jul, E., Steensgaard, B.: Object and native code thread mobility among heterogeneous computers. In: Proceedings of the 15th Symposium on Operating System Principles (1995)
Douglis, F., Ousterhout, J.K.: Transparent process migration: Design alternatives and the sprite implementation. Software - Practice and Experience 21(8), 757–785 (1991)
Artsy, Y., Finkel, R.: Designing a process migration facility: The charlotte experience. Computer 22(9), 47–56 (1989)
Gurevich, Y.: Evolving algebras: An attempt to discover semantics. Current Trends in Theoretical Computer Science, 266–292 (1993)
Stark, R.F., Borger, E., Shmid, J.: Java and the Java VirtualMachine: Definition, Verification, Validation. Springer, Heidelberg (2001)
Gong, L.: Project jxta: a technology overview (2002), http://www.jxta.org/
Moro, G., Ouksel, A.M., Sartori, C.: Agents and peer-to-peer computing: A promising combination of paradigms. In: Moro, G., Koubarakis, M. (eds.) AP2PC 2002. LNCS (LNAI), vol. 2530, pp. 1–14. Springer, Heidelberg (2003)
Cavarra, A., Riccobene, E., Scandurra, P.: A framework to simulate uml models: moving from a semi-formal to a formal environment. In: SAC 2004: Proceedings of the 2004 ACM symposium on Applied computing, pp. 1519–1523. ACM Press, New York (2004)
Harel, G.T.: The general, the abstract, and the generic in advanced mathematics. For the Learning of Mathematics 11(1), 38–42 (2001)
Zhu, W., Fang, W., Wang, C.L., Lau, F.C.: High Performance Computing on Clusters: The Distributed JVM Approach. John Wiley and Sons, Inc., Chichester (2004)
Aridor, Y., Factor, M., Teperman, A.: Cjvm: a single system image of a jvm on a cluster. In: Proceedings of the International Conference on Parallel Processing (1999)
Ma, M., Wang, C., Lau, F., Xu, Z.: Jessica: Java-enabled single-system-image computing architecture. In: International Conference on Parallel and Distributed Processing Techniques and Applications (1999)
Antoniu, G., Boug, L., Hatcher, P., MacBeth, M., McGuigan, K., Namyst, R.: The hyperion system: Compiling multithreaded java bytecode for distributed execution. In: Parallel Computing (2001)
Yu, W., Cox, A.: Java/dsm: A platform for heterogeneous computing. In: Concurrency - Practice and Experience (1997)
Foster, I., Carl Kesselman, S.T.: The nexus approach to integrating multithreading and communication (1996)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ambrosi, E., Bianchi, M., Gaibisso, C., Gambosi, G., Lombardi, F. (2005). Transparent Java Threads Migration Protocol over Peer2Peer. In: Pan, Y., Chen, D., Guo, M., Cao, J., Dongarra, J. (eds) Parallel and Distributed Processing and Applications. ISPA 2005. Lecture Notes in Computer Science, vol 3758. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11576235_97
Download citation
DOI: https://doi.org/10.1007/11576235_97
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29769-7
Online ISBN: 978-3-540-32100-2
eBook Packages: Computer ScienceComputer Science (R0)