Skip to search formSkip to main contentSkip to account menu
Software transactional memory for dynamic-sized data structures
TLDR
A new form of software transactional memory designed to support dynamic-sized data structures, and a novel non-blocking implementation of this STM that uses modular contention managers to ensure progress in practice.
View on ACM
A flexible framework for implementing software transactional memory
TLDR
DSTM2, a Java™ software library that provides a flexible framework for implementing object-based software transactional memory (STM), is described, providing a substantial improvement over the awkward programming interface of the previous DSTM library.
View on ACM
Hybrid transactional memory
TLDR
Using a simulated multiprocessor with HTM support, the viability of the HyTM approach is demonstrated: it can provide performance and scalability approaching that of an unbounded HTM implementation, without the need to support all transactions with complicatedHTM support.
View on ACM
Obstruction-free synchronization: double-ended queues as an example
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…
View on IEEE
A Lazy Concurrent List-Based Set Algorithm
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.…
View via Publisher
The Fortress Language Specification Version 1.0
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
TLDR
TMS1 (Transactional Memory Specification 1), a precise specification of correct behaviour of a TM runtime library, is presented and a simulation proof that TMS2 implements TMS1 is presented, thus showing that to prove that an implementation satisfies T MS1, it suffices to proved that it satisfies TMS 2.
View on Springer
SNZI: scalable NonZero indicators
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…
View on ACM
The Fortress Language Specification
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
TLDR
Novel techniques are introduced that allow lock-free data structures to allocate and free memory dynamically using any thread-safe memory management library, and it is shown that the overhead introduced is moderate, and is negligible under low contention.
View on ACM
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License