AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants

Authors:
Shan Lu;Joseph Tucek;Feng Qin;Yuanyuan Zhou
Affiliations:
University of Illinois at Urbana-Champaign;University of Illinois at Urbana-Champaign;University of Illinois at Urbana-Champaign;University of Illinois at Urbana-Champaign
Venue:
IEEE Micro
Year:
2007

Citing 12
Cited 7

Improving the accuracy of data race detection

PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Transactional memory: architectural support for lock-free data structures

ISCA '93 Proceedings of the 20th annual international symposium on computer architecture
Eraser: a dynamic data race detector for multithreaded programs

ACM Transactions on Computer Systems (TOCS)
Quickly detecting relevant program invariants

Proceedings of the 22nd international conference on Software engineering
Tracking down software bugs using automatic anomaly detection

Proceedings of the 24th International Conference on Software Engineering
Hybrid dynamic data race detection

Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
ReEnact: using thread-level speculation mechanisms to debug data races in multithreaded codes

Proceedings of the 30th annual international symposium on Computer architecture
Language support for lightweight transactions

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Atomizer: a dynamic atomicity checker for multithreaded programs

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants

Proceedings of the 37th annual IEEE/ACM International Symposium on Microarchitecture
A serializability violation detector for shared-memory server programs

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
AVIO: detecting atomicity violations via access interleaving invariants

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems

On-the-fly race detection in multi-threaded programs

PADTAD '08 Proceedings of the 6th workshop on Parallel and distributed systems: testing, analysis, and debugging
Unit testing for multi-threaded Java programs

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
A randomized scheduler with probabilistic guarantees of finding bugs

Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems
RADBench: a concurrency bug benchmark suite

HotPar'11 Proceedings of the 3rd USENIX conference on Hot topic in parallelism
Tiddle: a trace description language for generating concurrent benchmarks to test dynamic analyses

WODA '09 Proceedings of the Seventh International Workshop on Dynamic Analysis
Cooperative crug isolation

WODA '09 Proceedings of the Seventh International Workshop on Dynamic Analysis
Automated inference of atomic sets for safe concurrent execution

Proceedings of the 11th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

This article proposes an innovative concurrent-program invariant that captures programmers' atomicity assumptions. It describes a tool with two implementations, one in software and the other using hardware support, that can automatically extract such invariants and detect atomicity bugs.