Detecting data races on weak memory systems

Authors:
Sarita V. Adve;Mark D. Hill;Barton P. Miller;Robert H. B. Netzer
Affiliations:
Computer Sciences Department, University of Wisconsin, Madison, Wisconsin;Computer Sciences Department, University of Wisconsin, Madison, Wisconsin;Computer Sciences Department, University of Wisconsin, Madison, Wisconsin;Computer Sciences Department, University of Wisconsin, Madison, Wisconsin
Venue:
ISCA '91 Proceedings of the 18th annual international symposium on Computer architecture
Year:
1991

Citing 11
Cited 49

Memory access buffering in multiprocessors

ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
Automatic detection of nondeterminacy in parallel programs

PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
A general-purpose algorithm for analyzing concurrent programs

Communications of the ACM
An empirical comparison of monitoring algorithms for access anomaly detection

PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Improving the accuracy of data race detection

PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Race Frontier: reproducing data races in parallel-program debugging

PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Parallel program debugging with on-the-fly anomaly detection

Proceedings of the 1990 ACM/IEEE conference on Supercomputing
Compile-time detection of race conditions in a parallel program

ICS '89 Proceedings of the 3rd international conference on Supercomputing
Weak ordering—a new definition

ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
Memory consistency and event ordering in scalable shared-memory multiprocessors

ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
Time, clocks, and the ordering of events in a distributed system

Communications of the ACM

Detecting violations of sequential consistency

SPAA '91 Proceedings of the third annual ACM symposium on Parallel algorithms and architectures
Shared memory consistency conditions for non-sequential execution: definitions and programming strategies

SPAA '93 Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures
A bibliography of parallel debuggers, 1993 edition

PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
On testing cache-coherent shared memories

SPAA '94 Proceedings of the sixth annual ACM symposium on Parallel algorithms and architectures
Programming DEC-Alpha based multiprocessors the easy way (extended abstract)

SPAA '94 Proceedings of the sixth annual ACM symposium on Parallel algorithms and architectures
A comprehensive bibliography of distributed shared memory

ACM SIGOPS Operating Systems Review
RecPlay: a fully integrated practical record/replay system

ACM Transactions on Computer Systems (TOCS)
A Protocol-Centric Approach to on-the-Fly Race Detection

IEEE Transactions on Parallel and Distributed Systems
Object race detection

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Non-Intrusive Detection of Synchronization Errors Using Execution Replay

Automated Software Engineering
A Unified Formalization of Four Shared-Memory Models

IEEE Transactions on Parallel and Distributed Systems
Visual-MCM: Visualising Execution Histories on Multiple Memory Consistency Models

ParNum '99 Proceedings of the 4th International ACPC Conference Including Special Tracks on Parallel Numerics and Parallel Computing in Image Processing, Video Processing, and Multimedia: Parallel Computation
Efficient on-the-fly data race detection in multithreaded C++ programs

Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
Compactly representing parallel program executions

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
RaceTrack: efficient detection of data race conditions via adaptive tracking

Proceedings of the twentieth ACM symposium on Operating systems principles
On the correctness of program execution when cache coherence is maintained locally at data-sharing boundaries in distributed shared memory multiprocessors

International Journal of Parallel Programming
Effective static race detection for Java

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Testing implementations of transactional memory

Proceedings of the 15th international conference on Parallel architectures and compilation techniques
Conditional must not aliasing for static race detection

Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Flashback: a lightweight extension for rollback and deterministic replay for software debugging

ATEC '04 Proceedings of the annual conference on USENIX Annual Technical Conference
Automatically classifying benign and harmful data races using replay analysis

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Healing data races on-the-fly

Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging
Race directed random testing of concurrent programs

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Dynamic recognition of synchronization operations for improved data race detection

ISSTA '08 Proceedings of the 2008 international symposium on Software testing and analysis
Efficient Modeling of Concurrent Systems in BMC

SPIN '08 Proceedings of the 15th international workshop on Model Checking Software
Randomized active atomicity violation detection in concurrent programs

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Detecting and tolerating asymmetric races

Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming
FastTrack: efficient and precise dynamic race detection

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
LiteRace: effective sampling for lightweight data-race detection

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Detecting and Eliminating Potential Violations of Sequential Consistency for Concurrent C/C++ Programs

Proceedings of the 7th annual IEEE/ACM International Symposium on Code Generation and Optimization
Asserting and checking determinism for multithreaded programs

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Adversarial memory for detecting destructive races

PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
DRFX: a simple and efficient memory model for concurrent programming languages

PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races

Proceedings of the 37th annual international symposium on Computer architecture
FastTrack: efficient and precise dynamic race detection

Communications of the ACM
Data race avoidance and replay scheme for developing and debugging parallel programs on distributed shared memory systems

Parallel Computing
Thread contracts for safe parallelism

Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
Efficient processor support for DRFx, a memory model with exceptions

Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
A case for an SC-preserving compiler

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Efficient data race detection for distributed memory parallel programs

Proceedings of 2011 International Conference for High Performance Computing, Networking, Storage and Analysis
FlexSig: Implementing flexible hardware signatures

ACM Transactions on Architecture and Code Optimization (TACO) - HIPEAC Papers
GKLEE: concolic verification and test generation for GPUs

Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming
End-to-end sequential consistency

Proceedings of the 39th Annual International Symposium on Computer Architecture
Scaling data race detection for partitioned global address space programs

Proceedings of the 27th international ACM conference on International conference on supercomputing
Practical static race detection for Java parallel loops

Proceedings of the 2013 International Symposium on Software Testing and Analysis
Efficient and flexible GUI test execution via test merging

Proceedings of the 2013 International Symposium on Software Testing and Analysis
RedCard: redundant check elimination for dynamic race detectors

ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Race directed scheduling of concurrent programs

Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming

Quantified Score

Hi-index	0.02

Detecting data races on weak memory systems

Quantified Score

Visualization

Abstract