Example: Cache Coherance in a Multiprocessor System
Model: Multiprocessor System
Model: A Multiprocessor System
Anatomy of a Write
Anatomy of a Read
Processor
Cache Controller
Cache (For an Address)
Directory+Main Memory +Arbiter
Simplifying Assumptions
Properties
Exercise
Exercise(cont)
A Few Pointers