11 search results - page 1 / 3 » Towards transactional memory semantics for C |
SPAA
2009
ACM
14 years 5 months ago
2009
ACM
Transactional memory (TM) eliminates many problems associated with lock-based synchronization. Over recent years, much progress has been made in software and hardware implementati...
ISLPED
2010
ACM
13 years 3 months ago
2010
ACM
The shift towards multicore processors and the well-known drawbacks imposed by lock-based synchronization have forced researchers to devise new alternatives for building concurren...
TLDI
2009
ACM
14 years 1 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 ...
PPOPP
2009
ACM
14 years 5 months ago
2009
ACM
This paper introduces a new way to provide strong atomicity in an implementation of transactional memory. Strong atomicity lets us offer clear semantics to programs, even if they ...
POPL
2010
ACM
14 years 1 months ago
2010
ACM
Traditional transactional memory systems suffer from overly conservative conflict detection, yielding so-called false conflicts, because they are based on fine-grained, low-level ...