|
|
The Adaptive Transactional Memory Test Platform: A Tool for Experimenting with Transactional Code for Rock
ATMTP is available as open source; click here for more information.
Mark Moir, Kevin Moore and Dan Nussbaum
TRANSACT 2008
Applications of the Adaptive Transactional Memory Test Platform
Dave Dice, Maurice Herlihy, Doug Lea, Yossi Lev, Victor Luchangco, Wayne Mesard, Mark Moir, Kevin Moore and Dan Nussbaum
TRANSACT 2008
Split
Hardware Transactions: True Nesting of Transactions Using Best-Effort
Hardware Transactional Memory (slides)
Yossi Lev and Jan-Willem Maessen
PPoPP 2008
Toward High Performance Nonblocking Software Transactional Memory
Virendra Marathe and Mark Moir
PPoPP 2008
Integrating Transactional Memory into C++
Lawrence Crowl, Yossi Lev, Victor Luchangco, Mark Moir, and Dan Nussbaum
TRANSACT 2007
PhTM: Phased Transactional Memory
Yossi Lev, Mark Moir, and Dan Nussbaum
TRANSACT 2007
NZTM: Nonblocking, Zero-Indirection Transactional Memory
Fuad Tabba, Cong Wang, James R. Goodman, and Mark Moir
TRANSACT 2007
SNZI: Scalable Non-Zero Indicators
Faith Ellen, Yossi Lev, Victor Luchangco, and Mark Moir
PODC 2007
A Provably Correct Scalable Skiplist (Brief Announcement)
Yossi Lev, Maurice Herlihy, Victor Luchangco, and Nir Shavit
OPODIS 2006
A Flexible Framework for Implementing Software Transactional Memory (latest source code available from here)
Maurice Herlihy, Victor Luchangco, and Mark Moir
OOPSLA 2006
Hybrid Transactional Memory (slides)
Peter Damron, Alexandra Fedorova, Yossi Lev, Victor Luchangco, Mark Moir, and Dan Nussbaum
ASPLOS 2006
Transactional Locking II (source code available from tl2-feedback@sun.com)
Dave Dice, Ori Shalev, and Nir Shavit
DISC 2006
A Non-Work-Conserving Operating System Scheduler for SMT Processors
Alexandra Fedorova, Margo Seltzer, and Mike Smith
WIOSCA 2006
What Really Makes Transactions Faster
Dave Dice and Nir Shavit
TRANSACT 2006
Debugging with Transactional Memory
Yossi Lev and Mark Moir
TRANSACT 2006
Formal Verification of a Lazy Concurrent List-Based Set
Rob Colvin, Lindsay Groves, Victor Luchangco, and Mark Moir
CAV 2006
Predictive Log Synchronization
Ori Shalev and Nir Shavit
EuroSys 2006
Towards a Topological Approach to Asynchronous Complexity
Gunnar Hoest and Nir Shavit
SIAM Journal on Computing 2006
Composite Abortable Locks
Virendra Marathe, Mark Moir, and Nir Shavit
IPDPS 2006
Obstruction-Free Algorithms Can Be Practically Wait-Free
Faith Fich, Victor Luchangco, Mark Moir, and Nir Shavit
DISC 2005
Obstruction-Free Step Complexity: Lock-Free DCAS as an Example (Brief announcement)
Faith Fich, Victor Luchangco, Mark Moir, and Nir Shavit
DISC 2005
A Hierarchical CLH Queue Lock
Victor Luchangco, Daniel Nussbaum and Nir Shavit
EuroPar 2005
Hybrid Transactional Memory
Mark Moir
July, 2005
Transaction Synchronizers
Victor Luchangco and Virendra Marathe
SCOOL 2005
Towards a Safer Interaction with Transactional Memory
Yossi Lev and Jan-Willem Maessen
SCOOL 2005
A Lazy Concurrent List-Based Set Algorithm
Steve Heller, Maurice Herlihy, Victor Luchangco, Mark Moir, William Scherer and Nir Shavit
OPODIS 2005
Linear Lower Bounds on Real-World Implementations of Concurrent Objects
Faith Fich, Danny Hendler and Nir Shavit
FOCS 2005
Virtual Leashing: Internet Based Software Protection
Maurice Herlihy and Nir Shavit
ICDCS 2005
Using Elimination to Implement Scalable and Lock-Free FIFO Queues
Mark Moir, Daniel Nussbaum, Ori Shalev and Nir Shavit
SPAA 2005
Dynamic Circular Work-Stealing Deque
David Chase and Yossi Lev
SPAA 2005
Fast Read Sharing Mechanism For Software Transactional Memory (poster)
Yossi Lev and Mark Moir
PODC 2005 poster session
A High-Performance Cache Model
Alexandra Fedorova
Invited talk at the University of Toronto, June, 2005.
A Dynamic-Sized Nonblocking Workstealing Deque
Danny Hendler, Yossi Lev, Mark Moir and Nir Shavit
Distributed Computing 2006.
Dynamic Memory ABP Work-Stealing (see also journal version)
Danny Hendler, Yossi Lev and Nir Shavit
DISC 2004
Nonblocking Memory Management Support for Dynamic-Sized Data Structures
Maurice Herlihy, Victor Luchangco, Paul Martin and Mark Moir
ACM Transactions on Computing Systems, April 2004
Formal Verification of a Practical Lock-free Queue Algorithm
Victor Luchangco, Mark Moir, Simon Doherty and Lindsay Groves
FORTE 2004
CASC: A Cache-Aware Scheduler For Multithreaded Chip Multiprocessors
Alexandra Fedorova, Margo Seltzer, Michael Smith, and Christopher Small
Sun Labs Technical Report , March, 2005
An Optimistic Approach to Lock-Free FIFO Queues
Edya Ladan-Mozes and Nir Shavit
DISC 2004
On the Inherent Weakness of Conditional Synchronization Primitives
Faith Fich, Danny Hendler and Nir Shavit
PODC 2004
Bringing Practical Lock-Free Synchronization to 64-bit Applications
Simon Doherty, Maurice Herlihy, Victor Luchangco and Mark Moir
PODC 2004
Implementing An Operating System Scheduler For Multithreaded Chip Multiprocessor
Alexandra Fedorova, Margo Seltzer, Christpher Small, Daniel Nussbaum and Michael D. Smith
Work in progress session of OSDI 2004
Performance of Chip Multithreading Processors and Implications for Operating System Design
Alexandra Fedorova, Margo Seltzer, Christopher Small, and Daniel Nussbaum
A shorter version appeared in Usenix 2005 (slides).
Chip Multithreading Systems Need a New Operating System Scheduler (slides)
Alexandra Fedorova, Christopher Small, Daniel Nussbaum and Margo Seltzer
SIGOPS European Workshop 2004
The Sam CMT Simulator Toolkit
Daniel Nussbaum, Alexandra Fedorova and Christopher Small
February, 2004
DCAS is not a Silver Bullet for Nonblocking Synchronization
Simon Doherty, David Detlefs, Lindsay Groves, Christine Flood, Victor Luchangco, Paul Martin, Mark Moir, Nir Shavit, and Guy Steele
SPAA 2004
On the Uncontended Complexity of Consensus
Victor Luchangco, Mark Moir, and Nir Shavit
DISC 2003
Software Transactional Memory for Dynamic-Sized Data Structures
Maurice Herlihy, Victor Luchangco, Mark Moir, and Bill Scherer
PODC 2003
Dynamic
Software Transactional Memory source code has been superseded
by the DSTM2 package, the latest version of which is available from
Non-blocking k-Compare-Single-Swap
Victor Luchangco, Mark Moir, and Nir Shavit
SPAA 2003
Obstruction-Free Synchronization: Double-Ended Queues as an Example
Maurice Herlihy, Victor Luchangco, and Mark Moir
ICDCS 2003
Space- and Time-Adaptive Nonblocking Data Structures
Maurice Herlihy, Victor Luchangco, and Mark Moir
CATS 2003
The Repeat Offender Problem: A Mechanism for Supporting Dynamic-Sized, Lock-Free Data Structures
Maurice Herlihy, Victor Luchangco, and Mark Moir
DISC 2002
Brief Announcement: Dynamic-Sized Lock-Free Data Structures
Maurice Herlihy, Victor Luchangco, and Mark Moir
PODC 2002
The Repeat Offender Problem: A Mechanism for Supporting Dynamic-sized Lock-free Data Structures
Maurice Herlihy, Victor Luchangco and Mark Moir
Report Number: TR-2002-112
DCAS-based Concurrent Deques Supporting Bulk Allocation
Paul Martin, Mark Moir and Guy Steele
Report Number: TR-2002-111
Dynamic-sized Lock-Free Data Structures
Maurice Herlihy, Victor Luchangco, Paul Martin and Mark Moir
Report Number: TR-2002-110
Lock-Free Reference Counting
David L. Detlefs, Paul A. Martin, Mark Moir, Guy L. Steele Jr.
Distributed Computing, 15(4), 2002.
Lock-Free Reference Counting
David L. Detlefs, Paul A. Martin, Mark Moir, Guy L. Steele Jr.
PODC 2001
Modeling Weakly Consistent Memories with Locks
Victor Luchangco
SPAA 2001
DCAS-Based Concurrent Deques
Ole Agesen, David L. Detlefs, Christine H. Flood, Alexander
T. Garthwaite, Paul A. Martin, Mark Moir, Nir N. Shavit, and Guy L. Steele Jr.
Theory of Computing Systems, 35, 2002. On-line appendix: mechanical proof of correctness.
Even Better DCAS-Based Concurrent Deques
David L. Detlefs, Christine H. Flood, Alexander
T. Garthwaite, Paul A. Martin, Nir N. Shavit, and Guy L. Steele Jr.
DISC 2000
(LNCS, Springer-Verlag)
Skiplist-Based Concurrent Priority Queues
Itay Lotan and Nir Shavit
IPDPS2000.
|
