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!
|
| Summary: | 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 |
|---|