Foundations of the C++ concurrency memory model

HJ Boehm, SV Adve - ACM SIGPLAN Notices, 2008 - dl.acm.org
… Specifically, there are three main issues we discuss in this paper: (1) Sequentially consistent
atomics: The data-race-free models require that all operations that are not ordinary data …

[LIVRE][B] C++ concurrency in action

A Williams - 2019 - books.google.com
… in your application may well depend on the amount of hardware concurrency available. This
is covered in chapter 8, where I discuss the issues involved in designing concurrent code in …

Mathematizing C++ concurrency

M Batty, S Owens, S Sarkar, P Sewell, T Weber - ACM SIGPLAN Notices, 2011 - dl.acm.org
… In developing our semantics, we identified a number of issues in several drafts of the C++0x
standard, discussed these with members of the concurrency subgroup, and made …

Concurrent C++: Concurrent programming with class (es)

NH Gehani, WD Roome - Software: Practice and Experience, 1988 - Wiley Online Library
… programming facilities, and Concurrent C does not provide … concurrent programs, we did
not provide them in Concurrent C … discuss the issues in integrating C+ + and Concurrent C and …

Operational aspects of C/C++ concurrency

A Podkopaev, I Sergey, A Nanevski - arXiv preprint arXiv:1606.01400, 2016 - arxiv.org
… of C11 standard and to deal only with particular sets of allowed concurrent behaviors. …
Section 3 demonstrates more advanced aspects of C11 concurrency expressed in our framework. …

An extensive empirical study on C++ concurrency constructs

D Wu, L Chen, Y Zhou, B Xu - Information and Software Technology, 2016 - Elsevier
… respect to the usage of concurrency constructs, the management … concurrency constructs
and third-party concurrency constructs, and the difference of applications in using concurrency

A concurrency control mechanism for C++ objects

H Saleh, P Gautron - European Conference on Object-Oriented …, 1991 - Springer
… integrate concurrency without interference with other language behaviors. Then, we present
a model of concurrency … This paper discusses concurrency control issues. Different existing …

An efficient and flexible C++ library for concurrent programming

A Poggi, G Rimassa - Software: Practice and Experience, 1998 - Wiley Online Library
… limits of other approaches to synchronization in concurrent objectoriented systems. We
then present our object model and describe library design issues in our solution, adding some …

Clarifying and compiling C/C++ concurrency: from C++ 11 to POWER

M Batty, K Memarian, S Owens, S Sarkar… - ACM SIGPLAN …, 2012 - dl.acm.org
… a formal semantics for C++11 concurrency [BOS+11]. In discussion with members of the
WG21 concurrency subgroup, we identified various issues with earlier drafts [BOS+10], propos…

[PDF][PDF] Fall-12: Using C++ 11 to teach concurrency and parallelism concepts

DM Rao - Proc. Third NSF/TCPP Workshop on Parallel and …, 2013 - tcpp.cs.gsu.edu
… focus on concepts related to concurrency and parallelism. In addition … to many standard
multithreading and synchronization issues. … application of concurrency and parallelism concepts. …