Services on Demand
Journal
Article
Article in xml format
Article references
Automatic translation
Send this article by e-mailIndicators
Cited by SciELO 
Access statistics
Related links
Similars in
SciELO
Share
Permalink
Revista Técnica de la Facultad de Ingeniería Universidad del Zulia
Print version ISSN 0254-0770
Abstract
AGUILAR CASTRO, José Lisandro and SUMOZA MATOS, Rodolfo Leonardo. Cache memory coherence protocol for distributed systems. Rev. Téc. Ing. Univ. Zulia [online]. 2007, vol.30, n.2, pp.170-178. ISSN 0254-0770.
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
Keywords : Cache memory; coherence protocols; distributed Systems.
