A cache coherence protocol for distributed memory platforms

Abstract:

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. © 2011 CRL Publishing Ltd.

Año de publicación:

2011

Keywords:

• Distributed memory systems
• cache memory
• Coherence protocols

Fuente:

scopus