Concurrency control with data coloring

Luis Ceze, Christoph Von Praun, Cǎlin Caşcaval, Pablo Montesinos, Josep Torrellas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish (US)
Title of host publicationProc. 2008 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, MSPC 2008, Held with 13th Int. Conf. Architectural Support for Programming Languages and Operating Systems, ASPLOS '08
Pages6-10
Number of pages5
DOIs
StatePublished - 2008
Event2008 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, MSPC 2008, Held in Conjunction with the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '08 - Seattle, WA, United States
Duration: Mar 2 2008Mar 2 2008

Publication series

NameInternational Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Other

Other2008 ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, MSPC 2008, Held in Conjunction with the 13th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS '08
Country/TerritoryUnited States
CitySeattle, WA
Period3/2/083/2/08

Keywords

  • concurrency control
  • data coloring
  • programming model

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Hardware and Architecture

Fingerprint

Dive into the research topics of 'Concurrency control with data coloring'. Together they form a unique fingerprint.

Cite this