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

Abstract

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.

Downloads

Download data is not yet available.
How to Cite
Aguilar Castro, J. L. and Sumoza Matos, R. L. (1) “Cache memory coherence protocol for distributed systems”, Revista Técnica de la Facultad de Ingeniería. Universidad del Zulia, 30(2). Available at: https://mail.produccioncientificaluz.org/index.php/tecnica/article/view/6144 (Accessed: 26December2024).
Issue
Vol. 30 No. 2
Section
Artículos de Investigación

 

Copyright

La Revista Técnica de la Facultad de Ingeniería declara que los derechos de autor de los trabajos originales publicados, corresponden y son propiedad intelectual de sus autores. Los autores preservan sus derechos de autoría y publicación sin restricciones, según la licencia pública internacional no comercial ShareAlike 4.0