Cache memory coherence protocol for distributed systems

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 tool

Keywords

• memoria cache
• protocolos de coherencia
• sistemas distribuidos