A parallel virtual machine for programs composed of abstract data types

摘要

An abstract data type mechanism is provided by many modern programming languages, and is often employed during system development to promote modularity and reuse. This paper describes ARC, a parallel virtual machine designed for executing programs that use abstract data types (ADTs). The major contribution of ARC is that it supports Asynchronous Remote Procedure Call (ARPC), a model of parallel execution that works well for programs developed by layering ADTs. To support ARPC, ARC performs data synchronization, automatic parameter restoration, and dynamic load balancing.