Language Support for Lightweight Transactions (2003)
Cached
Download Links
by
Tim Harris
,
Keir Fraser
| Citations: | 402 - 15 self |
BibTeX
@MISC{Harris03languagesupport,
author = {Tim Harris and Keir Fraser},
title = {Language Support for Lightweight Transactions},
year = {2003}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Concurrent programming is notoriously di#cult. Current abstractions are intricate and make it hard to design computer systems that are reliable and scalable. We argue that these problems can be addressed by moving to a declarative style of concurrency control in which programmers directly indicate the safety properties that they require.
