Sciweavers

352 search results - page 5 / 71
» Good Programming in Transactional Memory
Sort
View
SPAA
2010
ACM
15 years 4 months 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
15 years 8 months ago
Debugging programs that use atomic blocks and transactional memory
Ferad Zyulkyarov, Tim Harris, Osman S. Unsal, Adri...
PLDI
2010
ACM
15 years 2 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
15 years 6 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
15 years 12 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...