Lecture: memory consistency models

Preparation

Talk