Nir N. Shavit

Meta-transactional synchronization

Concurrent object management

Methods and systems for enhancing hardware transactions using hardware transactions in software slow-path

System and method for implementing NUMA-aware reader-writer locks

System and method for NUMA-aware locking using lock cohorts

System and method for enabling turbo mode in a processor

System and method for implementing hierarchical queue-based locks using flat combining

Efficient non-blocking K-compare-single-swap operation

Address level synchronization of shared data

Computer system and method for leasing memory location to allow predictable access to memory location

Address level log-based synchronization of shared data

System and method for tracking references to shared objects using byte-addressable per-thread reference counters

Composite abortable locks

Fast and efficient reacquisition of locks for transactional memory systems

Hierarchical queue-based locks

Sequentially performed compound compare-and-swap

Transactional locking with read-write locks in transactional memory systems

Bulk synchronization in transactional memory systems

Concurrency control using slotted read-write locks

Method for dynamically refining locks in resizable concurrent hashing

Dynamic memory work-stealing

System and method for transactional locking using reader-lists

Concurrent lock-free skiplist with wait-free contains operator

Optimistic semi-static transactional memory implementations

Maintaining a double-ended queue in a contiguous array with concurrent non-blocking insert and remove operations using a double compare-and-swap primitive

Simple optimistic skiplist

Controlling contention via transactional timers among conflicting transactions issued by processors operating in insistent or polite mode

Efficient implicit privatization of transactional memory

Concurrent extensible cuckoo hashing

Shared synchronized skip-list data structure and technique employing linearizable operations

Multiple-location read, single-location write operations using transient blocking synchronization support

Implementing optimistic concurrent data structures

Efficient non-blocking K-compare-single-swap operation

Extendable memory work-stealing

Shared lease instruction support for transient blocking synchronization

Method and apparatus for emulating linked-load/store-conditional synchronization

Efficient non-blocking K-compare-single-swap operation

Exclusive lease instruction support for transient blocking synchronization

Method and system for implementing a concurrent set of objects

Efficient non-blocking k-compare-single-swap operation

Predictive log synchronization

Fine-locked transactional memory

Efficient non-blocking k-compare-single-swap operation

Globally incremented variable or clock based methods and apparatus to implement parallel transactions

Methods and apparatus to implement parallel transactions

Methods and apparatus to implement parallel transactions

Methods and apparatus to implement parallel transactions

Methods and apparatus to implement parallel transactions

Methods and apparatus to implement parallel transactions

Ensuring progress in a system that supports execution of obstruction-free operations

Termination detection for shared-memory parallel programs

Load-balancing queues employing LIFO/FIFO work stealing

Scalable method for producer and consumer elimination

Maintaining a double-ended queue as a linked-list with sentinel nodes and delete flags with concurrent non-blocking insert and remove operations using a double compare-and-swap primitive

Globally distributed load balancing

Work stealing queues for parallel garbage collection