Mark S. Moir

Composite abortable locks

Facilitating transactional execution through feedback about misspeculation

Advice-based feedback for transactional execution

Read sharing using global conflict indication and semi-transparent reading in a transactional memory space

Practical implementation of arbitrary-sized LL/SC variables

Space-adaptive lock-free queue using pointer-sized single-target synchronization

Space-adaptive lock-free free-list using pointer-sized single-target synchronization

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

System and method for executing transactions

Avoiding locks by transactionally executing critical sections

Watchpoints on transactional variables

Shared lease instruction support for transient blocking synchronization

Exclusive lease instruction support for transient blocking synchronization

Method and system for implementing a concurrent set of objects

Breakpoints in a transactional memory-based representation of code

Delayed breakpoints

Replay debugging

Viewing and modifying transactional variables

Atomic groups for debugging

Coordinating accesses to shared objects using transactional memory mechanisms and non-transactional software mechanisms

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

System and method for supporting multiple alternative methods for executing transactions

Instruction set architecture employing conditional multistore synchronization

Conditional synchronization mechanisms allowing multiple store operations to become visible while a flagged memory location is owned and remains unchanged

Code preparation technique employing lock-free pointer operations

Obstruction-free data structures and mechanisms with separable and/or substitutable contention management mechanisms

Scalable method for producer and consumer elimination

Lightweight reference counting using single-target synchronization