[PDF][PDF] Noninvasive concurrency with Java STM
In this paper we present a complete, compiler independent, Java STM framework called
Deuce, intended as a development platform for scalable concurrent applications and as a …
Deuce, intended as a development platform for scalable concurrent applications and as a …
VMKit: a substrate for managed runtime environments
Managed Runtime Environments (MREs), such as the JVM and the CLI, form an attractive
environment for program execution, by providing portability and safety, via the use of a …
environment for program execution, by providing portability and safety, via the use of a …
BulkCompiler: High-performance sequential consistency through cooperative compiler and hardware support
A platform that supported Sequential Consistency (SC) for all codes---not only the well-
synchronized ones---would simplify the task of programmers. Recently, several hardware …
synchronized ones---would simplify the task of programmers. Recently, several hardware …
Transactional locking with read-write locks in transactional memory systems
D Dice, NN Shavit - US Patent 8,973,004, 2015 - Google Patents
(57) ABSTRACT A system and method for transactional memory using read write locks is
disclosed. Each of a plurality of shared memory areas is associated with a respective read …
disclosed. Each of a plurality of shared memory areas is associated with a respective read …
A runtime system for software lock elision
The advent of multi-core processors means that exploiting parallelism is key to increasing
the performance of programs. Many researchers have studied the use of atomic blocks as a …
the performance of programs. Many researchers have studied the use of atomic blocks as a …
Concurrency control using slotted read-write locks
D Dice, NN Shavit - US Patent 8,539,168, 2013 - Google Patents
(57) ABSTRACT A system and method for concurrency control may use slotted read-write
locks. A slotted read-write lock is a lock data structure associated with a shared memory …
locks. A slotted read-write lock is a lock data structure associated with a shared memory …
Nepaltm: design and implementation of nested parallelism for transactional memory systems
Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel
programming: NePalTM: design and implementa Page 1 NePaLTM: Design and …
programming: NePalTM: design and implementa Page 1 NePaLTM: Design and …
Transactional memory should be an implementation technique, not a programming interface
HJ Boehm - 2009 - usenix.org
Transactional memory is often advocated as an easier-to-use replacement for locks that
avoids any possibility of deadlock. Recently, as more care has been exercised in precisely …
avoids any possibility of deadlock. Recently, as more care has been exercised in precisely …
Cooperative types for controlling thread interference in Java
Multithreaded programs are notoriously prone to unintended interference between
concurrent threads. To address this problem, we argue that yield annotations in the source …
concurrent threads. To address this problem, we argue that yield annotations in the source …
Optimistic concurrency control for real-world go programs
We present a source-to-source transformation framework, Gocc, that consumes lock-based
pessimistic concurrency programs in the Go language and transforms them into optimistic …
pessimistic concurrency programs in the Go language and transforms them into optimistic …