Monitoring Functions on Global States of
โ
Alexander I. Tomlinson; Vijay K. Garg
๐
Article
๐
1997
๐
Elsevier Science
๐
English
โ 605 KB
The domain of a global function is the set of all global states of an execution of a distributed program. We show how to monitor a program in order to determine if there exists a global state in which the sum x 1 + x 2 + 1 1 1 + x N exceeds some constant K, where x i is defined in process i. We exam