Monitoring Functions on Global States of Distributed Programs

✍ Scribed by Alexander I. Tomlinson; Vijay K. Garg

• Publisher: Elsevier Science
• Year: 1997
• Tongue: English
• Weight: 605 KB
• Volume: 41
• Category: Article
• ISSN: 0743-7315
• DOI: 10.1006/jpdc.1996.1298

✦ Synopsis

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 examine the cases where x i is an integer variable for N = 2 and where x i is a boolean variable for general N. For both cases we provide algorithms, prove their correctness, and analyze their complexity.