The code of many colors: relating threads to code and shared state

Authors:
Dean F. Sutherland;Aaron Greenhouse;William L. Scherlis
Affiliations:
Carnegie Mellon University, Pittsburgh, PA;Carnegie Mellon University, Pittsburgh, PA;Carnegie Mellon University, Pittsburgh, PA
Venue:
Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Year:
2002

Citing 14
Cited 3

Static analysis of low-level synchronization

PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel

SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Promises: limited specifications for analysis and manipulation

Proceedings of the 20th international conference on Software engineering
Data flow analysis for checking properties of concurrent Java programs

Proceedings of the 21st international conference on Software engineering
An efficient algorithm for computing MHP information for concurrent Java programs

ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Type-based race detection for Java

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Syntactic type abstraction

ACM Transactions on Programming Languages and Systems (TOPLAS)
Alias burying: unique variables without destructive reads

Software—Practice & Experience - Special issue on aliasing in object-oriented systems
Enforcing high-level protocols in low-level software

Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation
The SLAM project: debugging system software via static analysis

POPL '02 Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Adoption and focus: practical linear types for imperative programming

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Extended static checking for Java

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Behavioral Specifications of Businesses and Systems

Behavioral Specifications of Businesses and Systems
Assuring and evolving concurrent programs: annotations and policy

Proceedings of the 24th International Conference on Software Engineering

Thread coloring: a scheduler proposal from user to hardware threads

ACM SIGOPS Operating Systems Review
Observations on the assured evolution of concurrent Java programs

Science of Computer Programming - Special issue: Concurrency and synchronization in Java programs
SPIN: Service Performance Isolation Infrastructure in Multi-tenancy Environment

ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce a thread colors model as a way to express design intent concerning the relationships between threads, executable code, and shared state. By expressing the model as annotations in code, it is possible to formally link the model with source code and to analyze the consistency of model and code in a composable manner. By using annotations as cut-points, APIs can be annotated and compliance with library threading policies can be evaluated. This is illustrated using case study examples from published code that show how thread coloring models can assist in assuring policy compliance and in identifying concurrency errors.