Cache memory coherence protocol for distributed systems

• José Lisandro Aguilar Castro Universidad de Los Andes-Venezuela
• Rodolfo Leonardo Sumoza Matos Universidad Simón Bolívar-Venezuela

Resumen

This work proposes a protocol which man ages 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 ma chine and the Spin tool.