Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  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
Sarita V. Adve
University of Illinois at Urbana-Champaign
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