Language Support for Lightweight Transactions

Language Support for Lightweight Transactions (2003)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Tim Harris , Keir Fraser

Citations:

393 - 14 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.

Citations

3835	Computer Architecture: A Quantitative Approach - Hennessy, Patterson - 2006
694	Transactional memory: Architectural support for lock-free data structures - Herlihy, Moss - 1993
487	Software transactional memory - Shavit, Touitou - 1995
335	Shared Memory Consistency Models: A Tutorial - Adve, Gharachorloo - 1996
312	Software transactional memory for dynamic-sized data structures - Herlihy, Luchangco, et al. - 2003
177	Dynamic Class Loading in the Java Virtual Machine - LIANG, BRACHA - 1998
157	Obstruction-Free Synchronization: Double-Ended Queues as an Example - Herlihy, Luchangco, et al. - 2003
143	Concurrent programming: Principles and practice - Andrews - 1991
106	Towards a theory of parallel programming - Hoare - 1972
77	Process structuring, synchronization, and recovery using atomic actions - LOMET - 1977
71	Types for atomicity - Flanagan, Qadeer - 2003
64	An efficient meta-lock for implementing ubiquitous synchronization - Agesen, Detlefs, et al.
64	A practical multi-word compare-and-swap operation - Harris, Fraser, et al. - 2002
59	Safe memory reclamation for dynamic lock-free objects using atomic reads and writes - Michael
51	Transparent Support for Wait-Free Transactions - Moir - 1997
50	The repeat offender problem: A mechanism for supporting dynamic-sized, lock-free data structures - Herlihy, Luchangco, et al. - 2002
47	Distributed Processes: A Concurrent Programming Concept - Hansen - 1978
42	Java Virtual Machine Specification, 2nd ed - Lindholm, Yellin - 1999
38	Correction of a memory management method for lock-free data structures - Michael, Scott - 1995
33	Core semantics of multithreaded Java - Manson, Pugh - 2001
19	Language support for loosely coupled distributed programs - Scott - 1987
18	Edison: A Multiprocessor Language - Hansen, P - 1980
9	Design choices for language-based transactions - Harris - 2003
4	Guardians and actions: linguistic aupport for robust, distributed programs - Liskov, Scheifler - 1983
4	On the efficient implementation of conditional critical regions and the construction of monitors - Schmid - 1976
2	Introducing Microsoft .NET,2nded - Platt - 2002