11 search results - page 1 / 3 » Towards transactional memory semantics for C |
141
click to vote
SPAA
2009
ACM
16 years 4 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...
144
Voted
ISLPED
2010
ACM
15 years 2 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...
127
Voted
TLDI
2009
ACM
16 years 13 days 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 ...
126
Voted
PPOPP
2009
ACM
16 years 4 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 ...
109
Voted
POPL
2010
ACM
16 years 29 days 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 ...