This VivioJS animation is designed to help you understand the MESI cache coherency protocol. A multiprocessor system is depicted comprising 3 CPUs with local caches and main memory. For simplicity, main memory comprises 4 locations a0, a1, a2 and a3. The caches are direct mapped and contain two sets. The even addresses (a0 and a2) map to set 0 whilst the odd addresses (a1 and a3) map to set 1. NB: in order to simplify this animation, the size of a cache line and that of a CPU read/write operation are identical. On a write miss, however, the CPU reads memory even though it will completely overwrite the cache line. This simulates the behaviour of real caches where the size of the cache line is usually larger than that of a CPU read/write operation. |
||||||||||||||||||||||||||||||
Click on diagram to activate animation or here for a full screen version. | ||||||||||||||||||||||||||||||
Each CPU contains buttons which initiate read or write transactions on the specified memory location. A "CPU write" writes an incrementing value (initially 1) to "memory". The idea is to press the buttons and see if you can follow the actions and state transitions which occur. It is possible to introduce bugs into the animation by pressing the "bug free" button in the top right hand corner. See if you can determine what the bugs are! The direction of the traffic on the address and data busses are indicated by blue and red arrows respectively. The cache lines and memory location involved in the transaction are coloured green. Stale memory locations are coloured gray. A cache line can be in one of 4 states. INVALID: cache line NOT present in cache. EXCLUSIVE: cache line present in this cache ONLY and identical to copy in memory. MODIFIED: cache line present in this cache ONLY and memory copy out of date (stale). SHARED: cache line in this cache and possibly other caches, ALL copies identical to memory copy. Writes to SHARED cache lines are write through whereas writes to EXCLUSIVE cache lines are write-back. If a cache observes a bus transaction for an address which it contains, it asserts the SHARED bus line. MESI is an invalidate cache coherency protocol. Here is the state transition diagram for a cache line:
Sample sequence to try [from RESET]
|