Cooperative concurrency for a multicore world

Authors:
Jaeheon Yi;Caitlin Sadowski;Stephen N. Freund;Cormac Flanagan
Affiliations:
University of California at Santa Cruz;University of California at Santa Cruz;Williams College;University of California at Santa Cruz
Venue:
RV'11 Proceedings of the Second international conference on Runtime verification
Year:
2011

Citing 16
Cited 0

Eraser: a dynamic data race detector for multithreaded programs

ACM Transactions on Computer Systems (TOCS)
Shared Memory Consistency Models: A Tutorial

Computer
Hybrid dynamic data race detection

Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
Runtime Analysis of Atomicity for Multithreaded Programs

IEEE Transactions on Software Engineering
Types for safe locking: Static race detection for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
Effective static race detection for Java

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
LOCKSMITH: context-sensitive correlation analysis for race detection

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Types for atomicity: Static checking and inference for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)
Monitoring Atomicity in Concurrent Programs

CAV '08 Proceedings of the 20th international conference on Computer Aided Verification
Effects for cooperable and serializable threads

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation
PACER: proportional detection of data races

PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
FastTrack: efficient and precise dynamic race detection

Communications of the ACM
Effective data-race detection for the kernel

OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
User evaluation of correctness conditions: a case study of cooperability

Evaluation and Usability of Programming Languages and Tools
Cooperative reasoning for preemptive execution

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Developing reliable multithreaded software is notoriously difficult, due to the potential for unexpected interference between concurrent threads. Even a familiar construct such as "x++" has unfamiliar semantics in a multithreaded setting, where it must in general be considered a non-atomic read-modify-write sequence, rather than a simple atomic increment. Understanding where thread interference may occur is a critical first step in understanding or validating a multithreaded software system.