Share This Author
Software transactional memory for dynamic-sized data structures
- M. Herlihy, Victor Luchangco, Mark Moir, William N. Scherer
- Computer SciencePODC '03
- 13 July 2003
TLDR
A flexible framework for implementing software transactional memory
- M. Herlihy, Victor Luchangco, Mark Moir
- Computer ScienceOOPSLA '06
- 16 October 2006
TLDR
Hybrid transactional memory
- P. Damron, Alexandra Fedorova, Yossi Lev, Victor Luchangco, Mark Moir, Daniel Nussbaum
- Computer ScienceASPLOS XII
- 23 October 2006
TLDR
Obstruction-free synchronization: double-ended queues as an example
- M. Herlihy, Victor Luchangco, Mark Moir
- Computer Science23rd International Conference on Distributed…
- 19 May 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…
A Lazy Concurrent List-Based Set Algorithm
- S. Heller, M. Herlihy, Victor Luchangco, Mark Moir, William N. Scherer, N. Shavit
- Computer ScienceParallel Process. Lett.
- 12 December 2005
We present a novel “lazy” list-based implementation of a concurrent set object. It is based on an optimistic locking scheme for inserts and removes and includes a simple wait-free membership test.…
The Fortress Language Specification Version 1.0
- Eric E. Allen, David R. Chase, Sam Tobin-Hochstadt
- Psychology
- 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…
Towards formally specifying and verifying transactional memory
- Simon Doherty, L. Groves, Victor Luchangco, Mark Moir
- Computer ScienceFormal Aspects of Computing
- 1 December 2009
TLDR
SNZI: scalable NonZero indicators
- Faith Ellen, Yossi Lev, Victor Luchangco, Mark Moir
- Computer SciencePODC '07
- 12 August 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…
The Fortress Language Specification
- Eric E. Allen, David R. Chase, Cheryl McCosh
- Physics
- 2007
fill(f : I → E) : ReadableArrayJE, IK abstract fill(v :E) : ReadableArrayJE, IK abstract copy() : ReadableArrayJE, IK Create a fresh array structurally identical to the present one, but holding…
Nonblocking memory management support for dynamic-sized data structures
- M. Herlihy, Victor Luchangco, P. Martin, Mark Moir
- Computer ScienceTOCS
- 1 May 2005
TLDR
...
...