128 search results - page 7 / 26 » Atomizer: a dynamic atomicity checker for multithreaded prog... |
105
click to vote
ASPLOS
2010
ACM
15 years 6 months ago
2010
ACM
In this paper we evaluate the atomic region compiler abstraction by incorporating it into a commercial system. We find that atomic regions are simple and intuitive to integrate i...
95
Voted
PPOPP
2009
ACM
16 years 5 days 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 ...
101
click to vote
ISCA
2007
IEEE
15 years 6 months ago
2007
IEEE
Speculative compiler optimizations are effective in improving both single-thread performance and reducing power consumption, but their implementation introduces significant compl...
114
click to vote
JCPHY
2011
14 years 2 months ago
2011
The calculation of radial distribution functions (RDFs) from molecular dynamics trajectory data is a common and computationally expensive analysis task. The rate limiting step in ...
117
click to vote
EUROSYS
2010
ACM
15 years 8 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...