Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics
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
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 …
[КНИГА][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 …
[PDF][PDF] GPCAD: A tool for CMOS op-amp synthesis
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 …
TxLinux: Using and managing hardware transactional memory in an operating system
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
Over the last decade, great progress has been made in develo** 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 …
Parallel nested transactions in transactional memory
MM Magruder, D Detlefs, JJ Duffy, G Graefe… - US Patent …, 2011 - Google Patents
2008-08-07 Assigned to MICROSOFT CORPORATION reassignment MICROSOFT
CORPORATION ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR …
CORPORATION ASSIGNMENT OF ASSIGNORS INTEREST (SEE DOCUMENT FOR …