Learning from mistakes: a comprehensive study on real world concurrency bug characteristics

S Lu, S Park, E Seo, Y Zhou - … of the 13th international conference on …, 2008 - dl.acm.org
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately,
writing correct concurrent programs is difficult. Addressing this challenge requires advances …

NOrec: streamlining STM by abolishing ownership records

L Dalessandro, MF Spear, ML Scott - ACM Sigplan Notices, 2010 - dl.acm.org
Drawing inspiration from several previous projects, we present an ownership-record-free
software transactional memory (STM) system that combines extremely low overhead with …

[图书][B] Transactional memory

JR Larus, R Rajwar - 2022 - books.google.com
The advent of multicore processors has renewed interest in the idea of incorporating
transactions into the programming model used to write parallel programs. This approach …

Open nesting in software transactional memory

Y Ni, VS Menon, AR Adl-Tabatabai… - Proceedings of the 12th …, 2007 - dl.acm.org
Transactional memory (TM) promises to simplify concurrent programming while providing
scalability competitive to fine-grained locking. Language-based constructs allow …

Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack

D Christie, JW Chung, S Diestelhorst… - Proceedings of the 5th …, 2010 - dl.acm.org
AMD's Advanced Synchronization Facility (ASF) is an x86 instruction set extension proposal
intended to simplify and speed up the synchronization of concurrent programs. In this paper …

[PDF][PDF] GPCAD: A tool for CMOS op-amp synthesis

M del Mar Hershenson, SP Boyd, TH Lee - Proceedings of the 1998 …, 1998 - dl.acm.org
Abstract\Ve present a method for optimizing and automating component and transistor sizing
for CMOS operational amplifiers. lVe observe that a wide variety of performance measura …

[图书][B] Shared-memory synchronization

ML Scott, T Brown - 2013 - Springer
This monograph grows out of nearly 40 years of experience in synchronization and
concurrent data structures. Though written primarily from the perspective of systems …

TxLinux: Using and managing hardware transactional memory in an operating system

CJ Rossbach, OS Hofmann, DE Porter… - Proceedings of twenty …, 2007 - dl.acm.org
TxLinux is a variant of Linux that is the first operating system to use hardware transactional
memory (HTM) as a synchronization primitive, and the first to manage HTM in the scheduler …

Towards formally specifying and verifying transactional memory

S Doherty, L Groves, V Luchangco, M Moir - Formal Aspects of Computing, 2013 - Springer
Over the last decade, great progress has been made in developing practical transactional
memory (TM) implementations, but relatively little attention has been paid to precisely …

Fractal: An execution model for fine-grain nested speculative parallelism

S Subramanian, MC Jeffrey, M Abeydeera… - Proceedings of the 44th …, 2017 - dl.acm.org
Most systems that support speculative parallelization, like hardware transactional memory
(HTM), do not support nested parallelism. This sacrifices substantial parallelism and …