Cache memory coherence protocol for distributed systems Protocolo de coherencia de memoria cache para sistemas distribuidos
This work proposes a protocol which manages 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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidad del Zulia
2007-08-01
|
| Series: | Revista Técnica de la Facultad de Ingeniería |
| Subjects: | |
| Online Access: | http://wwww.scielo.org.ve/scielo.php?script=sci_arttext&pid=S0254-07702007000200008 |
| _version_ | 1818616193625358336 |
|---|---|
| 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 manages 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 machine and the Spin tool<br>Este trabajo propone un protocolo que gestiona la coherencia a nivel de la memoria cache en sistemas con memoria distribuida. La memoria cache se encuentra distribuida a través de los diferentes nodos del sistema, por lo que se debe mantener coherente la información almacenada en ellas. El protocolo se validó utilizando una metodología basada en la descripción formal, utilizando una máquina de estados finitos y la herramienta de software Spin |
| first_indexed | 2024-12-16T16:45:55Z |
| format | Article |
| id | doaj.art-6781ca6e9a68497fa12bd506772af933 |
| institution | Directory Open Access Journal |
| issn | 0254-0770 |
| language | English |
| last_indexed | 2024-12-16T16:45:55Z |
| publishDate | 2007-08-01 |
| publisher | Universidad del Zulia |
| record_format | Article |
| series | Revista Técnica de la Facultad de Ingeniería |
| spelling | doaj.art-6781ca6e9a68497fa12bd506772af9332022-12-21T22:24:10ZengUniversidad del ZuliaRevista Técnica de la Facultad de Ingeniería0254-07702007-08-01302170178Cache memory coherence protocol for distributed systems Protocolo de coherencia de memoria cache para sistemas distribuidosJosé Lisandro Aguilar CastroRodolfo Leonardo Sumoza MatosThis work proposes a protocol which manages 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 machine and the Spin tool<br>Este trabajo propone un protocolo que gestiona la coherencia a nivel de la memoria cache en sistemas con memoria distribuida. La memoria cache se encuentra distribuida a través de los diferentes nodos del sistema, por lo que se debe mantener coherente la información almacenada en ellas. El protocolo se validó utilizando una metodología basada en la descripción formal, utilizando una máquina de estados finitos y la herramienta de software Spinhttp://wwww.scielo.org.ve/scielo.php?script=sci_arttext&pid=S0254-07702007000200008Memoria cacheprotocolos de coherenciasistemas distribuidosCache memorycoherence protocolsdistributed Systems |
| spellingShingle | José Lisandro Aguilar Castro Rodolfo Leonardo Sumoza Matos Cache memory coherence protocol for distributed systems Protocolo de coherencia de memoria cache para sistemas distribuidos Revista Técnica de la Facultad de Ingeniería Memoria cache protocolos de coherencia sistemas distribuidos Cache memory coherence protocols distributed Systems |
| title | Cache memory coherence protocol for distributed systems Protocolo de coherencia de memoria cache para sistemas distribuidos |
| title_full | Cache memory coherence protocol for distributed systems Protocolo de coherencia de memoria cache para sistemas distribuidos |
| title_fullStr | Cache memory coherence protocol for distributed systems Protocolo de coherencia de memoria cache para sistemas distribuidos |
| title_full_unstemmed | Cache memory coherence protocol for distributed systems Protocolo de coherencia de memoria cache para sistemas distribuidos |
| title_short | Cache memory coherence protocol for distributed systems Protocolo de coherencia de memoria cache para sistemas distribuidos |
| title_sort | cache memory coherence protocol for distributed systems protocolo de coherencia de memoria cache para sistemas distribuidos |
| topic | Memoria cache protocolos de coherencia sistemas distribuidos Cache memory coherence protocols distributed Systems |
| url | http://wwww.scielo.org.ve/scielo.php?script=sci_arttext&pid=S0254-07702007000200008 |
| work_keys_str_mv | AT joselisandroaguilarcastro cachememorycoherenceprotocolfordistributedsystemsprotocolodecoherenciadememoriacacheparasistemasdistribuidos AT rodolfoleonardosumozamatos cachememorycoherenceprotocolfordistributedsystemsprotocolodecoherenciadememoriacacheparasistemasdistribuidos |