Atomic Data Abstractions in a Distributed Collaborative Editing System (Extended Abstract)
Name
MIT-LCS-TM-295.pdf
Size
5.04 MB
Format
Adobe PDF
Checksum (MD5)
54284251f995aa123b007a42e58a26ac
Author(s) • •
Greif, Irene
Selinger, Robert
Weihl, William
Date Issued
November 1985
Series/Report no.
MIT-LCS-TM-295
Abstract
This paper describes our experience implementing CES, a distributed Collaborative Editing System written in Argus, a language that includes facilities for managing long-lived distributed data. Argus provides atomic actions, which simplify the handling of concurrency and failures, and t the mechanisms for implementing atomic data types, which ensure serializability and recoverability of actions that use them. This paper focuses on the support for atomicity in Argus, especially the support for building new atomic types. Overall the mechanisms in Argus made it relatively easy to build CES; however, we encountered interesting problems in several areas. For example, much of the processing of an atomic action in Argus is handled automatically by the run-time system; several examples are presented that illustrate areas where more explicit control in the implementations of atomic types would be useful.
Persistent DSpace Link