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

fYear

1989

fDate

5-9 Jun 1989

Firstpage

61

Lastpage

68

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Distributed Computing Systems, 1989., 9th International Conference on

Conference_Location

Newport Beach, CA

Print_ISBN

0-8186-1953-8

Type

conf

DOI

10.1109/ICDCS.1989.37931

Filename

37931