Transparent java threads migration protocol over peer2peer

Authors:
Edgardo Ambrosi;Marco Bianchi;Carlo Gaibisso;Giorgio Gambosi;Flavio Lombardi
Affiliations:
Department of Computer Science, University of Florence, Florence, Italy;Department of Computer Science, University of L’Aquila, L’Aquila, Italy;IASI-CNR, Roma, Italy;Department of Computer Science, University of Rome Tor Vergata, Rome, Italy;CNR National Research Council, Rome, Italy
Venue:
ISPA'05 Proceedings of the Third international conference on Parallel and Distributed Processing and Applications
Year:
2005

Citing 9
Cited 0

Designing a Process Migration Facility: The Charlotte Experience

Computer
Transparent process migration: design alternatives and the sprite implementation

Software—Practice & Experience
Object and native code thread mobility among heterogeneous computers (includes sources)

SOSP '95 Proceedings of the fifteenth ACM symposium on Operating systems principles
Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom

Java and the Java Virtual Machine: Definition, Verification, Validation with Cdrom
The hyperion system: compiling multithreaded java bytecode for distributed execution

Parallel Computing
Concordia: An Infrastructure for Collaborating Mobile Agents

MA '97 Proceedings of the First International Workshop on Mobile Agents
cJVM: A Single System Image of a JVM on a Cluster

ICPP '99 Proceedings of the 1999 International Conference on Parallel Processing
A framework to simulate UML models: moving from a semi-formal to a formal environment

Proceedings of the 2004 ACM symposium on Applied computing
Agents and peer-to-peer computing: a promising combination of paradigms

AP2PC'02 Proceedings of the 1st international conference on Agents and peer-to-peer computing

Quantified Score

Hi-index	0.00

Visualization

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.