Concurrency control with data coloring

Authors:
Luis Ceze;Christoph von Praun;Călin Caşcaval;Pablo Montesinos;Josep Torrellas
Affiliations:
University of Washington;IBM T.J. Watson Research Center;IBM T.J. Watson Research Center;University of Illinois at Urbana-Champaign;University of Illinois at Urbana-Champaign
Venue:
Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance and correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08)
Year:
2008

Citing 12
Cited 4

Transactional memory: architectural support for lock-free data structures

ISCA '93 Proceedings of the 20th annual international symposium on computer architecture
Selecting locking designs for parallel programs

Pattern languages of program design 2
Monitors: an operating system structuring concept

Communications of the ACM
A type and effect system for atomicity

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Software transactional memory for dynamic-sized data structures

Proceedings of the twenty-second annual symposium on Principles of distributed computing
Transactional Memory Coherence and Consistency

Proceedings of the 31st annual international symposium on Computer architecture
Associating synchronization constraints with data in an object-oriented language

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Autolocker: synchronization inference for atomic sections

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
McRT-STM: a high performance software transactional memory system for a multi-core runtime

Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Compiler and runtime support for efficient software transactional memory

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Open nesting in software transactional memory

Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming
Colorama: Architectural Support for Data-Centric Synchronization

HPCA '07 Proceedings of the 2007 IEEE 13th International Symposium on High Performance Computer Architecture

Reflective parallel programming: extensible and high-level control of runtime, compiler, and application interaction

HotPar'10 Proceedings of the 2nd USENIX conference on Hot topics in parallelism
A time-aware type system for data-race protection and guaranteed initialization

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
A type system for data-centric synchronization

ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
A data-centric approach to synchronization

ACM Transactions on Programming Languages and Systems (TOPLAS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such as locks and transactional memory, simplifying concurrency control has proved elusive. In this paper we introduce the Data Coloring programming model, based on the principles of our previous work on architecture support for data-centric synchronization. The main idea is to group data structures into consistency domains and mark places in the control flow where data should be consistent. Based on these annotations, the system dynamically infers transaction boundaries. An important aspect of data coloring is that the occurrence of a synchronization defect is typically determinate and leads to a violation of liveness rather than to a safety violation. Finally, this paper includes empirical data that shows that most of the critical sections in large applications are used in a data-centric manner.