Académique Documents
Professionnel Documents
Culture Documents
de Chandy - Lamport
1 QU ES UN ESTADO GLOBAL?
El Estado Global puede definirse como el estado en que est el sistema
distribuido en su conjunto, son representados por cortes de estados donde se
representa cada proceso, dichos cortes deben ser consistentes, es decir, que si
un evento de recepcin de mensaje pertenece al corte, el evento de envo del
mismo mensaje tambin debe pertenecer al corte, esto se puede ejemplificar
con la siguiente imagen:
2 CUL ES SU UTILIDAD?
La principal utilidad de la determinacin de los estados globales sera
depurar errores (por ejemplo de consistencia), detectar interbloqueos o
determinar la terminacin de un conjunto de procesos.
4 REFERENCIAS