A cache coherence protocol for distributed memory platforms

摘要

This work proposes a Cache Memory protocol that manages the coherence for systems with distributed memory. The Cache Memory is distributed through the different nodes of the system, reason why the information stored in them must be coherent. The protocol was validated using a methodology based on its formal description using a finite states machine and the software Spin. Additionally, the protocol has been compared with MESI and MSI protocols.