Articles
Toward a Programming Model for Building Reliable Systems with Distributed State

https://doi.org/10.1016/S1571-0661(05)80376-7Get rights and content
Under a Creative Commons license
open access

Abstract

We present the preliminary design of a programming model for building reliable systems with distributed state from collections of potentially unreliable components. Our transactor model provides constructs for maintaining consistency among the states of distributed components. Our intention is that transactors should support key aspects of both traditional distributed transactions, e.g., for electronic commerce, and systems with weaker consistency requirements, e.g., peer-to-peer file- and process-sharing systems. In this paper, we motivate the need for language support for maintenance of distributed state, describe the design goals for the transactor model, provide an operational semantics for a simple transactor calculus, and provide several examples of applications of the transactor model in a higher-level language.

The authors would like to thank James Leifer for detailed comments on previous drafts of this paper, and the anonymous FOCLASA referees for helpful feedback.

Cited by (0)