Filter Results:
- Full text PDF available (19)
Publication Year
1994
2019
- This year (3)
- Last 5 years (9)
- Last 10 years (34)
Publication Type
Co-author
Journals and Conferences
Learn More
We propose a new form of software transactional memory (STM) designed to support dynamic-sized data structures, and we describe a novel non-blocking implementation. The non-blocking property we… (More)
- Maurice Herlihy, Victor Luchangco, Mark Moir
- OOPSLA
- 2006
We describe DSTM2, a Java™ software library that provides a flexible framework for implementing object-based software transactional memory (STM). The library uses transactional factories to transform… (More)
- Peter Damron, Alexandra Fedorova, Yossi Lev, Victor Luchangco, Mark Moir, Daniel Nussbaum
- ASPLOS
- 2006
Transactional memory (TM) promises to substantially reduce the difficulty of writing correct, efficient, and scalable concurrent programs. But "bounded" and "best-effort" hardware TM proposals impose… (More)
- Eric Allen, David R. Chase, +4 authors Sam Tobin-Hochstadt
- 2007
A method declaration in a trait declaration of an api might in clude anabstract modifier, indicating that an object of the traitdoes notinherit the definition of the method from that trait. See Chap… (More)
- Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William N. Scherer, Nir Shavit
- Parallel Processing Letters
- 2006
List-based implementations of sets are a fundamental building block of many concurrent algorithms. A skiplist based on the lock-free list-based set algorithm of Michael will be included in the Java… (More)
- Maurice Herlihy, Victor Luchangco, Mark Moir
- 23rd International Conference on Distributed…
- 2003
We introduce obstruction-freedom, a new nonblocking property for shared data structure implementations. This property is strong enough to avoid the problems associated with locks, but it is weaker… (More)
We describe ongoing work in which we aim to formally specify a correctness condition for transactional memory (TM) called Weakest Reasonable Condition (WRC), and to facilitate fully formal and… (More)
- Faith Ellen, Yossi Lev, Victor Luchangco, Mark Moir
- PODC
- 2007
We introduce the SNZI shared object, which is related to traditional shared counters, but has weaker semantics. We also introduce a resettable version of SNZI called SNZI-R. We present… (More)
- Alan Fekete, David Gupta, Victor Luchangco, Nancy A. Lynch, Alexander A. Shvartsman
- Theor. Comput. Sci.
- 1999
Abstract Data replication is used in distributed systems to improve availability, increase throughput and eliminate single points of failures. The cost of replication is that significant care and… (More)
- Simon Doherty, Lindsay Groves, Victor Luchangco, Mark Moir
- FORTE
- 2004
We describe a semi-automated verification of a slightly optimised version of Michael and Scott’s lock-free FIFO queue implementation. We verify the algorithm with a simulation proof consisting of two… (More)