Draft Specification of Transactional Language Constructs for C++

Torvald Riegel, Red Hat

This specification is a joint work by contributors from several
companies (IBM, Intel, Oracle, as well as HP and Red Hat). It proposes
to extend C++ primarily via transaction statements, whose
synchronization semantics are specified in terms of extensions to the
C++0x memory model. Compilers such as GCC target this specification in
their implementations.
I will give an overview of the new transactional language constructs and
discuss how transactions integrate with the C++0x memory model, and why
it makes sense to specify C++ transactions based on this model.