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

Año de publicación:

2010

Keywords:

• cache memory
• Coherence protocols
• Distributed memory systems

Fuente:

scopus