Maximilian Stark (mail@dakror.de), WS2019

Stand: 09.11.2019

Programming Languages

Concurrency: Memory Consistency

Memory Model

Strict Consistency

Happened-Before Relation

Ordering

Sequential Consistency

MESI Protocol

Out-Of-Order Stores

TSO (total store order)

TSO Example: x86

PSO (partial store order)

RMO (relaxed store order)

Explicit Synchronization: Memory barriers

Dekker Algorithm

Future Many-Core Systems