[PDF][PDF] Noninvasive concurrency with Java STM

G Korland, N Shavit, P Felber - Third Workshop on …, 2010 - people.csail.mit.edu
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 …

VMKit: a substrate for managed runtime environments

N Geoffray, G Thomas, J Lawall, G Muller… - ACM Sigplan …, 2010 - dl.acm.org
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 …

BulkCompiler: High-performance sequential consistency through cooperative compiler and hardware support

W Ahn, S Qi, M Nicolaides, J Torrellas, JW Lee… - Proceedings of the …, 2009 - dl.acm.org
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 …

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 …

A runtime system for software lock elision

A Roy, S Hand, T Harris - Proceedings of the 4th ACM European …, 2009 - dl.acm.org
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 …

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 …

Nepaltm: design and implementation of nested parallelism for transactional memory systems

H Volos, A Welc, AR Adl-Tabatabai… - Proceedings of the 14th …, 2009 - dl.acm.org
Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel
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 …

Cooperative types for controlling thread interference in Java

J Yi, T Disney, SN Freund, C Flanagan - Proceedings of the 2012 …, 2012 - dl.acm.org
Multithreaded programs are notoriously prone to unintended interference between
concurrent threads. To address this problem, we argue that yield annotations in the source …

Optimistic concurrency control for real-world go programs

Z Zhang, M Chabbi, A Welc, T Sherwood - 2021 USENIX Annual …, 2021 - usenix.org
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 …