Making parallel programs reliable with stable multithreading

Authors:
Junfeng Yang;Heming Cui;Jingyue Wu;Yang Tang;Gang Hu
Affiliations:
Columbia University, New York;Columbia University, New York;Columbia University, New York;Columbia University, New York;Columbia University, New York
Venue:
Communications of the ACM
Year:
2014

Citing 22
Cited 0

Model checking

Model checking
Automatically validating temporal safety properties of interfaces

SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
The Problem with Threads

Computer
A Conversation with John Hennessy and David Patterson

Queue - Computer Architecture
Valgrind: a framework for heavyweight dynamic binary instrumentation

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics

Proceedings of the 13th international conference on Architectural support for programming languages and operating systems
Real-world concurrency

Communications of the ACM - Remembering Jim Gray
DMP: deterministic shared memory multiprocessing

Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
Kendo: efficient deterministic multithreading in software

Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
A view of the parallel computing landscape

Communications of the ACM - A View of Parallel Computing
A type and effect system for deterministic parallel Java

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
A few billion lines of code later: using static analysis to find bugs in the real world

Communications of the ACM
CoreDet: a compiler and runtime system for deterministic multithreaded execution

Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems
Finding and reproducing Heisenbugs in concurrent programs

OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
Bypassing races in live applications with execution filters

OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
Ad hoc synchronization considered harmful

OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
Stable deterministic multithreading through schedule memoization

OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
Dthreads: efficient deterministic multithreading

SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Efficient deterministic multithreading through schedule relaxation

SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Efficient system-enforced deterministic parallelism

Communications of the ACM
Sound and precise analysis of parallel programs through schedule specialization

Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation
Concurrency attacks

HotPar'12 Proceedings of the 4th USENIX conference on Hot Topics in Parallelism

Quantified Score

Hi-index	48.22

Visualization

Abstract

Stable multithreading dramatically simplifies the interleaving behaviors of parallel programs, offering new hope for making parallel programming easier.