Persistence + Undoability = Transactions (1992)
| Venue: | In Proc. of HICSS-25 |
| Citations: | 21 - 9 self |
BibTeX
@INPROCEEDINGS{Nettles92persistence+,
author = {Scott M. Nettles and Jeannette M. Wing},
title = {Persistence + Undoability = Transactions},
booktitle = {In Proc. of HICSS-25},
year = {1992},
pages = {832--843},
publisher = {IEEE}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Persistence means objects live potentially forever. Undoability means that any change to a program's store can potentially be undone. In our design and implementation of support for single-threaded nested transactions in Standard ML of New Jersey (SML/NJ), we provide persistence and undoability as orthogonal features and combine them in a simple and elegant manner. We provide support for persistence through an SML interface that lets users manipulate a set of persistent roots and provides a save function that causes all data reachable from the persistent roots to be moved into the persistent heap. We provide support for undoability through an SML interface that exports two functions: checkpoint, which checkpoints the current store, and restore, which undoes all changes made to the previously checkpointed store. Finally, we succinctly define a higher-order function transact completely in terms of the interfaces for persistence and undoability. 1 Motivation 1.1 Revisiting Transactions ...
