alexgpg/mpp

Multiprocessor programming

Multiprocessor programming

Books

• C++ Concurrency in Action by Anthony Williams

• Java Concurrency in Practice by Brian Goetz, Tim Peierls, Joshua Bloch, Joseph Bowbeer, David Holmes, and Doug Lea

Topics

Memory barriers

Memory model

• So what is a memory model? And how to cook it?

C++ memory model

• Mark Batty. The C11 and C++11 Concurrency Model

• Video The C++ Memory Model - Valentin Ziegler @ Meeting C++ 2014 slides

• (RU) Video Модель памяти C++ - Андрей Янковский slides C++, memory barriers, memory model

x86 memory model

• A better x86 memory model: x86-TSO

• x86-TSO: A rigorous and usable programmer’s model for x86 multiprocessors.

Sequential consistency

• Leslie Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, 28(9):690–691, September 1979. Link

Glossary

TSO - Total store ordering

Sync primitives

Spinlock

https://www.kernel.org/doc/Documentation/locking/spinlocks.txt