Sciweavers

352 search results - page 5 / 71
» Good Programming in Transactional Memory
Sort
View
SPAA
2010
ACM
14 years 9 days ago
Implementing and evaluating nested parallel transactions in software transactional memory
Transactional Memory (TM) is a promising technique that simplifies parallel programming for shared-memory applications. To date, most TM systems have been designed to efficientl...
Woongki Baek, Nathan Grasso Bronson, Christos Kozy...
PPOPP
2010
ACM
14 years 4 months ago
Debugging programs that use atomic blocks and transactional memory
Ferad Zyulkyarov, Tim Harris, Osman S. Unsal, Adri...
PLDI
2010
ACM
13 years 10 months ago
Parameterized Verification of Transactional Memories
We describe an automatic verification method to check whether transactional memories ensure strict serializability--a key property assumed of the transactional interface. Our main...
Michael Emmi, Rupak Majumdar, Roman Manevich
POPL
2009
ACM
14 years 2 months ago
Language constructs for transactional memory
Transactional memory (TM) provides a safer, more modular, and more scalable alternative to traditional lock-based synchronization. Implementing high performance TM systems has rec...
Tim Harris
HPCA
2005
IEEE
14 years 7 months ago
Unbounded Transactional Memory
Hardware transactional memory should support unbounded transactions: transactions of arbitrary size and duration. We describe a hardware implementation of unbounded transactional ...
C. Scott Ananian, Krste Asanovic, Bradley C. Kuszm...