#Number
TR-PDS-1994-006
#Title
Monitoring Functions on Global States of Distributed Programs
#Author
Alexander I. Tomlinson
Vijay K. Garg
#Abstract
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 X1 + X2 + ... + XN exceeds some
constant K, where Xi is defined in process i. We examine the
cases where Xi is an integer variable and where Xi is a
boolean variable. For both cases we provide algorithms, prove
their correctness and analyze their complexity.
#Bib
@TechReport{,
author = "A.I. Tomlinson and V.K. Garg",
title = "Monitoring Functions on Global States
of Distributed Programs"
institution = "Parallel and Distributed Systems Laboratory, The
University of Texas at Austin",
year = 1994,
number = "TR-PDS-1994-006",
note = "available via ftp or WWW at maple.ece.utexas.edu"
}