Same states &
structure as the transition diagram for an individual
cache
2 actions: update of directory state & send
msgs to statisfy requests
Tracks all copies of memory block.
Also indicates an action that updates the sharing
set, Sharers, as well as sending a message.