Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Foundations of the C++ Concurrency Memory Model Hans-J. Boehm
 

Summary: Foundations of the C++ Concurrency Memory Model
Hans-J. Boehm
HP Laboratories
Hans.Boehm@hp.com
Sarita V. Adve
University of Illinois at Urbana-Champaign
sadve@cs.uiuc.edu
Abstract
Currently multi-threaded C or C++ programs combine a single-
threaded programming language with a separate threads library.
This is not entirely sound [7].
We describe an effort, currently nearing completion, to address
these issues by explicitly providing semantics for threads in the
next revision of the C++ standard. Our approach is similar to
that recently followed by Java [25], in that, at least for a well-
defined and interesting subset of the language, we give sequentially
consistent semantics to programs that do not contain data races.
Nonetheless, a number of our decisions are often surprising even to
those familiar with the Java effort:
· We (mostly) insist on sequential consistency for race-free pro-

  

Source: Adve, Sarita - Department of Computer Science, University of Illinois at Urbana-Champaign
Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences