Article,

A Lightweight Reliable Object Migration Protocol

, , , and .
Internet Programming Languages, (1999)

Abstract

This paper presents a lightweight reliable object migration protocol that preserves the centralized object semantics, allows for precise prediction ofnet work behavior, and permits construction of fault tolerance abstractions in the language. Eachobject has a “home site” to which all migration requests are directed. Compared to the standard technique of creating andcollapsing forwarding chains, this gives a better worst-case network behavior and it limits dependencies on third-party sites.The protocol de.nes “freely mobile” objects that have the interesting property of always executing locally, i.e., each methodexecutes in the thread that invokes it. This makes them dual, in a precise sense, to stationary objects. The protocol is designedto be as efficient as a nonreliable protocol in the common case of no failure, and to provide sufficient hooks so that commonfault tolerance algorithms can be programmed completely in the Oz language. The protocol is fully implemented in the networklayer of the Mozart platform for distributed application development, which implements Oz (see http://www.mozart-oz.org).This paper defines the protocol in an intuitive yet precise way using the concept of distribution graph to model distributed execution oflanguage entities. Formalization and proofofproto col properties are done elsewhere.

Tags

Users

  • @gron

Comments and Reviews