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

Resumo

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

Não há dados estatísticos.
Como Citar
Aguilar Castro, J. L. e Sumoza Matos, R. L. (1) «Cache memory coherence protocol for distributed systems», Revista Técnica da Faculdade de Engenharia da de Zulia, 30(2). Disponível em: https://mail.produccioncientificaluz.org/index.php/tecnica/article/view/6144 (Acedido: 3Abril2025).
Edição
v. 30 n. 2
Secção
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