122 search results - page 3 / 25 » Memory models for open-nested transactions |
IPPS
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
SIGOPS
2010
13 years 4 months ago
2010
One of the main challenges to harness the potential of Cloud computing is the design of programming models that simplify the development of large-scale parallel applications and t...
PPOPP
2010
ACM
14 years 3 months ago
2010
ACM
Transactional memory promises to make parallel programming easier than with fine-grained locking, while performing just as well. This performance claim is not always borne out bec...
IPPS
2010
IEEE
13 years 3 months ago
2010
IEEE
Software Transactional Memories (STMs) are emerging as a highly attractive programming model, thanks to their ability to mask concurrency management issues to the overlying applic...
ICDCN
2012
Springer
12 years 1 months ago
2012
Springer
Synchronization in distributed systems is expensive because, in general, threads must stall to obtain a lock or to operate on volatile data. Transactional memory, on the other hand...