Cache memory coherence protocol for distributed systems
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.
Descargas
La descarga de datos todavía no está disponible.
Cómo citar
Aguilar Castro, J. L. y 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). Disponible en: https://mail.produccioncientificaluz.org/index.php/tecnica/article/view/6144 (Accedido: 25diciembre2024).
Número
Sección
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
_2.04__.27_p__._m__.__.png)
