Cache memory coherence protocol for distributed systems
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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad del Zulia
2010-05-01
|
| Series: | Revista Técnica de la Facultad de Ingeniería |
| Online Access: | https://www.produccioncientificaluz.org/index.php/tecnica/article/view/6144 |
| _version_ | 1811201891254665216 |
|---|---|
| author | José Lisandro Aguilar Castro Rodolfo Leonardo Sumoza Matos |
| author_facet | José Lisandro Aguilar Castro Rodolfo Leonardo Sumoza Matos |
| author_sort | José Lisandro Aguilar Castro |
| collection | DOAJ |
| description | 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.
|
| first_indexed | 2024-04-12T02:29:34Z |
| format | Article |
| id | doaj.art-076ed4fadf0a43b1a430e1c8269d60e4 |
| institution | Directory Open Access Journal |
| issn | 0254-0770 2477-9377 |
| language | English |
| last_indexed | 2024-04-12T02:29:34Z |
| publishDate | 2010-05-01 |
| publisher | Universidad del Zulia |
| record_format | Article |
| series | Revista Técnica de la Facultad de Ingeniería |
| spelling | doaj.art-076ed4fadf0a43b1a430e1c8269d60e42022-12-22T03:51:51ZengUniversidad del ZuliaRevista Técnica de la Facultad de Ingeniería0254-07702477-93772010-05-01302Cache memory coherence protocol for distributed systemsJosé Lisandro Aguilar Castro0Rodolfo Leonardo Sumoza Matos1Universidad de Los Andes-VenezuelaUniversidad Simón Bolívar-Venezuela 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. https://www.produccioncientificaluz.org/index.php/tecnica/article/view/6144 |
| spellingShingle | José Lisandro Aguilar Castro Rodolfo Leonardo Sumoza Matos Cache memory coherence protocol for distributed systems Revista Técnica de la Facultad de Ingeniería |
| title | Cache memory coherence protocol for distributed systems |
| title_full | Cache memory coherence protocol for distributed systems |
| title_fullStr | Cache memory coherence protocol for distributed systems |
| title_full_unstemmed | Cache memory coherence protocol for distributed systems |
| title_short | Cache memory coherence protocol for distributed systems |
| title_sort | cache memory coherence protocol for distributed systems |
| url | https://www.produccioncientificaluz.org/index.php/tecnica/article/view/6144 |
| work_keys_str_mv | AT joselisandroaguilarcastro cachememorycoherenceprotocolfordistributedsystems AT rodolfoleonardosumozamatos cachememorycoherenceprotocolfordistributedsystems |