Seminar: Automatically Comparing Memory Consistency Models
Huxley Building, Room 217/218 Imperial College London, London, United KingdomS-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 »