Cache memory coherence protocol for distributed systems
This work proposes a protocol which manages the coherence in the cache memory in systems with distributed memory. Cache memory is distributed in different systems 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
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Digital revista |
| Language: | English |
| Published: |
Facultad de Ingeniería, Universidad del Zulia
2007
|
| Online Access: | http://ve.scielo.org/scielo.php?script=sci_arttext&pid=S0254-07702007000200008 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
oai:scielo:S0254-07702007000200008 |
|---|---|
| record_format |
ojs |
| spelling |
oai:scielo:S0254-077020070002000082008-01-31Cache memory coherence protocol for distributed systemsAguilar Castro,José LisandroSumoza Matos,Rodolfo Leonardo Cache memory coherence protocols distributed Systems This work proposes a protocol which manages the coherence in the cache memory in systems with distributed memory. Cache memory is distributed in different systems 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 toolinfo:eu-repo/semantics/openAccessFacultad de Ingeniería, Universidad del ZuliaRevista Técnica de la Facultad de Ingeniería Universidad del Zulia v.30 n.2 20072007-08-01info:eu-repo/semantics/articletext/htmlhttp://ve.scielo.org/scielo.php?script=sci_arttext&pid=S0254-07702007000200008en |
| institution |
SCIELO |
| collection |
OJS |
| country |
Venezuela |
| countrycode |
VE |
| component |
Revista |
| access |
En linea |
| databasecode |
rev-scielo-ve |
| tag |
revista |
| region |
America del Sur |
| libraryname |
SciELO |
| language |
English |
| format |
Digital |
| author |
Aguilar Castro,José Lisandro Sumoza Matos,Rodolfo Leonardo |
| spellingShingle |
Aguilar Castro,José Lisandro Sumoza Matos,Rodolfo Leonardo Cache memory coherence protocol for distributed systems |
| author_facet |
Aguilar Castro,José Lisandro Sumoza Matos,Rodolfo Leonardo |
| author_sort |
Aguilar Castro,José Lisandro |
| title |
Cache memory coherence protocol for distributed systems |
| title_short |
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_sort |
cache memory coherence protocol for distributed systems |
| 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 systems 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 |
| publisher |
Facultad de Ingeniería, Universidad del Zulia |
| publishDate |
2007 |
| url |
http://ve.scielo.org/scielo.php?script=sci_arttext&pid=S0254-07702007000200008 |
| work_keys_str_mv |
AT aguilarcastrojoselisandro cachememorycoherenceprotocolfordistributedsystems AT sumozamatosrodolfoleonardo cachememorycoherenceprotocolfordistributedsystems |
| _version_ |
1756232929113014272 |