Extensions to Standard ML to Support Transactions (1992)
by
Jeannette M. Wing
,
Manuel Faehndrich
,
J. Gregory Morrisett
,
Scott Nettles
| Citations: | 13 - 1 self |
BibTeX
@MISC{Wing92extensionsto,
author = {Jeannette M. Wing and Manuel Faehndrich and J. Gregory Morrisett and Scott Nettles},
title = {Extensions to Standard ML to Support Transactions},
year = {1992}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A transaction is a control abstraction that lets programmers treat a sequence of operations as an atomic ("all-or-nothing") unit. This paper describes our progress on on-going work to extend SML with transactions. What is novel about our work on transactions is support for multi-threaded concurrent transactions. We use SML's modules facility to reflect explicitly orthogonal concepts heretofore inseparable in other transaction-based programming languages.
Citations
| 435 | Nested Transactions: An Approach to Reliable Distributed Computing - Moss - 1985 |
| 208 | Guardians and actions: linguistic support for robust distributed programs - Liskov, Scheifler - 1983 |
| 58 | Adding threads to standard ML - Cooper, Morrisett - 1990 |
| 50 | Camelot and Avalon: A Distributed Transaction Facility - Eppinger, Mummert, et al. - 1991 |
| 43 | Debugging standard ML without reverse engineering - Tolmach, Appel - 1990 |
| 41 | Inheritance of synchronization and recovery properties in Avalon/C - Detlefs, Herlihy, et al. - 1988 |
| 21 | Persistence + undoability = transactions - Nettles, Wing |
| 19 | et al., “CODA: A Highly Available File System for a Distributed Workstation Environment - Satyanarayanan - 1990 |
| 7 | et al. Support for distributed transactions in the TABS prototype - Spector - 1985 |
