-
Seminar: Automatically Comparing Memory Consistency Models
Seminar: Automatically Comparing Memory Consistency Models
S-REPLS Seminar Slides Speaker name: Dr. John Wickerson Abstract A memory consistency model (MCM) is the part of a programming language or computer architecture specification that defines which values can legally be read when a thread in a concurrent program reads from a shared memory location. Because MCMs have to take into account various optimisations employed... Read more »