ASP: Abstraction Subspace Partitioning for Detection of Atomicity Violations with an Empirical Study

Dynamic concurrency bug detectors predict and then examine suspicious instances of atomicity violations from executions of multithreaded programs. Only few predicted instances are real bugs. Prioritizing such instances can make the examinations cost-effective, but is there any design factor exhibiti...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on parallel and distributed systems 2016-03, Vol.27 (3), p.724-734
Hauptverfasser:	Wu, Shangru, Yang, Chunbai, Jia, Changjiang, Chan, W. K.
Format:	Artikel
Sprache:	eng
Schlagworte:	abstraction Atomicity violations Benchmark testing Benchmarks Computer bugs Concurrency Concurrent computing Context Design factors Detectors Dynamics Empirical analysis Instruction sets multithreaded programs Partitioning Subspaces testing and debugging
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!