Name
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. |
Year | DOI | Venue |
|---|---|---|
2003 | 10.1016/S1571-0661(05)80376-7 | Electronic Notes in Theoretical Computer Science |
Keywords | Field | DocType |
programming model,distributed transactions,operational semantics,electronic commerce | Operational semantics,Programming language,Programming paradigm,Computer science,Theoretical computer science,Distributed transaction | Journal |
Volume | Issue | ISSN |
68 | 3 | 1571-0661 |
Citations | PageRank | References |
3 | 0.42 | 11 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| John Field | 1 | 76 | 4.92 |
| Carlos Varela | 2 | 47 | 4.85 |