Abstract

AGUILAR CASTRO, José Lisandro  and  SUMOZA MATOS, Rodolfo Leonardo. Protocolo de coherencia de memoria cache para sistemas distribuidos. Rev. Téc. Ing. Univ. Zulia [online]. 2007, vol.30, n.2, pp.170-178. ISSN 0254-0770.

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

Keywords : Memoria cache; protocolos de coherencia; sistemas distribuidos.