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 …
writing correct concurrent programs is difficult. Addressing this challenge requires advances …
NOrec: streamlining STM by abolishing ownership records
Drawing inspiration from several previous projects, we present an ownership-record-free
software transactional memory (STM) system that combines extremely low overhead with …
software transactional memory (STM) system that combines extremely low overhead with …
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 …
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 …
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 …
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 …
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 …
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 …
memory (TM) implementations, but relatively little attention has been paid to precisely …
Fractal: An execution model for fine-grain nested speculative parallelism
Most systems that support speculative parallelization, like hardware transactional memory
(HTM), do not support nested parallelism. This sacrifices substantial parallelism and …
(HTM), do not support nested parallelism. This sacrifices substantial parallelism and …