Sciweavers

2 search results - page 1 / 1
» AtomTracker: A Comprehensive Approach to Atomic Region Infer...
Sort
View
MICRO
2010
IEEE
161views Hardware» more  MICRO 2010»
13 years 2 months ago
AtomTracker: A Comprehensive Approach to Atomic Region Inference and Violation Detection
A particularly insidious type of concurrency bug is atomicity violations. While there has been substantial work on automatic detection of atomicity violations, each existing techn...
Abdullah Muzahid, Norimasa Otsuki, Josep Torrellas
ASPLOS
2006
ACM
13 years 10 months ago
AVIO: detecting atomicity violations via access interleaving invariants
Concurrency bugs are among the most difficult to test and diagnose of all software bugs. The multicore technology trend worsens this problem. Most previous concurrency bug detect...
Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou