Title :
Simultaneous regions: a framework for the consistent monitoring of distributed systems
Author :
Spezialetti, M. ; Kearns, J.P.
Author_Institution :
Dept. of Comput. Sci., Pittsburgh Univ., PA
Abstract :
A technique is presented by which state information can be organized into unified, consistent representations of the system state through the creation of simultaneous regions. This method provides a general, yet efficient means of establishing the simultaneous relationship necessary for the monitoring and recognition of event occurrences. The types of events for which a computation can be monitored are described. The methods of utilizing logical clocks and global snapshots are then presented and the reasons why they are not appropriate for use in event evaluation are discussed. The technique for establishing simultaneous regions is then presented and the behaviour of the monitoring and recognition protocol is examined in the context of specific monitoring examples. The correctness of the protocol is proved
Keywords :
distributed processing; protocols; behaviour; consistent monitoring; consistent representations; correctness; distributed systems; event evaluation; event occurrences; event types; global snapshots; logical clocks; protocol; recognition; simultaneous regions; simultaneous relationship; state information; system state; unified; Clocks; Computer science; Concurrent computing; Distributed computing; Event detection; Information analysis; Monitoring; NASA; Reflection; Testing;
Conference_Titel :
Distributed Computing Systems, 1989., 9th International Conference on
Conference_Location :
Newport Beach, CA
Print_ISBN :
0-8186-1953-8
DOI :
10.1109/ICDCS.1989.37931
