Module 12: "Multiprocessors on a Snoopy Bus"
  Lecture 24: "Write Serialization in a Simple Design"
 


Multiprocessors on A Snoopy Bus

Agenda

Correctness goals

A simple design

Cache controller

Snoop logic

Writebacks

A simple design

Inherently non-atomic

Write serialization

Fetch deadlock

Livelock

Starvation

More on LL/SC

Multi-level caches

[From Chapter 6 of Culler, Singh, Gupta]