ELMO: extending (sequential) languages with migratable objects-compiler support

Efficient task migration is an important feature in parallel and distributed programs, in particular to support checkpointing and recovery for fault tolerance. It is also very useful in distributed environments like networks of workstations where external loads are often unpredictable and dynamic in nature. We propose simple language extensions (ELMO) to existing sequential programming languages like C, Fortran or C++, that provide an object based task parallel execution model. Tasks may be dynamically created, are location transparent, and may be migrated or check pointed transparently by the system. ELMO's language features, together with the requisite compiler support is presented.