User evaluation of correctness conditions: a case study of cooperability

Authors:
Caitlin Sadowski;Jaeheon Yi
Affiliations:
University of California at Santa Cruz, Santa Cruz, CA;University of California at Santa Cruz, Santa Cruz, CA
Venue:
Evaluation and Usability of Programming Languages and Tools
Year:
2010

Citing 10
Cited 4

Usability inspection methods

Usability inspection methods
Atomizer: a dynamic atomicity checker for multithreaded programs

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parallel Programmer Productivity: A Case Study of Novice Parallel Programmers

SC '05 Proceedings of the 2005 ACM/IEEE conference on Supercomputing
The Problem with Threads

Computer
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
A pilot study to compare programming effort for two parallel programming models

Journal of Systems and Software
Randomized active atomicity violation detection in concurrent programs

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Is transactional programming actually easier?

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming
Effects for cooperable and serializable threads

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation
An analysis of the dynamic behavior of JavaScript programs

PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation

Cooperative reasoning for preemptive execution

Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
Mental models and parallel program maintenance

Proceedings of the 33rd International Conference on Software Engineering
Cooperative types for controlling thread interference in Java

Proceedings of the 2012 International Symposium on Software Testing and Analysis
Cooperative concurrency for a multicore world

RV'11 Proceedings of the Second international conference on Runtime verification

Quantified Score

Hi-index	0.00

Visualization

Abstract

In order to find and fix concurrency bugs, programmers must reason about different possible thread interleavings -- context switches may occur at any program point, all with the potential for thread interference. To reduce the number of thread interference points to consider, the correctness criterion of cooperability ensures that code executes as if context switches may happen only at specific yield annotations. This paper provides empirical evidence that co-operability makes it easier to find concurrency bugs.