Specification and Implementation of Atomic Data Types

Maintaining the consistency of long-lived, on-line data is a difficult task, particularly in a distributed system. This dissertation focuses on atomicity as a fundamental organizational concept for such systems. It explores an approach in which

Bibliographic Details
Main Author: Weihl, William Edward
Other Authors: Liskov, Barbara H.
Published: 2023
Online Access:https://hdl.handle.net/1721.1/149588
_version_ 1826199612729327616
author Weihl, William Edward
author2 Liskov, Barbara H.
author_facet Liskov, Barbara H.
Weihl, William Edward
author_sort Weihl, William Edward
collection MIT
description Maintaining the consistency of long-lived, on-line data is a difficult task, particularly in a distributed system. This dissertation focuses on atomicity as a fundamental organizational concept for such systems. It explores an approach in which
first_indexed 2024-09-23T11:22:43Z
id mit-1721.1/149588
institution Massachusetts Institute of Technology
last_indexed 2024-09-23T11:22:43Z
publishDate 2023
record_format dspace
spelling mit-1721.1/1495882023-03-30T03:53:37Z Specification and Implementation of Atomic Data Types Weihl, William Edward Liskov, Barbara H. Maintaining the consistency of long-lived, on-line data is a difficult task, particularly in a distributed system. This dissertation focuses on atomicity as a fundamental organizational concept for such systems. It explores an approach in which 2023-03-29T15:10:11Z 2023-03-29T15:10:11Z 1984-03 https://hdl.handle.net/1721.1/149588 MIT-LCS-TR-314 application/pdf
spellingShingle Weihl, William Edward
Specification and Implementation of Atomic Data Types
title Specification and Implementation of Atomic Data Types
title_full Specification and Implementation of Atomic Data Types
title_fullStr Specification and Implementation of Atomic Data Types
title_full_unstemmed Specification and Implementation of Atomic Data Types
title_short Specification and Implementation of Atomic Data Types
title_sort specification and implementation of atomic data types
url https://hdl.handle.net/1721.1/149588
work_keys_str_mv AT weihlwilliamedward specificationandimplementationofatomicdatatypes