Cache memory coherence protocol for distributed systems Protocolo de coherencia de memoria cache para sistemas distribuidos

Abstract

This work proposes a protocol which manages the coherence in the cache memory in systems with distributed memory. Cache memory is distributed in different system’s nodes, for this reason-stored information in them must to be maintained coherent. This protocol was proved using a methodology based on the formal description using a finites states machine and the Spin toolEste trabajo propone un protocolo que gestiona la coherencia a nivel de la memoria cache en sistemas con memoria distribuida. La memoria cache se encuentra distribuida a través de los diferentes nodos del sistema, por lo que se debe mantener coherente la información almacenada en ellas. El protocolo se validó utilizando una metodología basada en la descripción formal, utilizando una máquina de estados finitos y la herramienta de software Spin

Keywords

• Memoria cache
• protocolos de coherencia
• sistemas distribuidos
• Cache memory
• coherence protocols
• distributed Systems