21 search results - page 3 / 5 » Subtleties of Transactional Memory Atomicity Semantics |
OPODIS
2008
13 years 7 months ago
2008
It has been widely suggested that memory transactions should behave as if they acquired and released a single global lock. Unfortunately, this behavior can be expensive to achieve...
POPL
2008
ACM
14 years 6 months ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
HOTOS
2009
IEEE
13 years 9 months ago
2009
IEEE
Operating systems can efficiently provide system transactions to user applications, in which user-level processes can execute a series of system calls atomically and in isolation ...
TLDI
2009
ACM
14 years 2 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
ISCA
2006
IEEE
13 years 11 months ago
2006
IEEE
Transactional Memory (TM) simplifies parallel programming by allowing for parallel execution of atomic tasks. Thus far, TM systems have focused on implementing transactional stat...