Monitoring Functions on Global States of Distributed Programs

@article{Tomlinson1997MonitoringFO,
  title={Monitoring Functions on Global States of Distributed Programs},
  author={Alexander I. Tomlinson and Vijay K. Garg},
  journal={J. Parallel Distrib. Comput.},
  year={1997},
  volume={41},
  pages={173-189}
}
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 sumx1+x2+ \cdots +xNexceeds some constantK, wherexiis defined in processi. We examine the cases wherexiis an integer variable forN= 2 and wherexiis a boolean variable for generalN. For both cases we provide algorithms, prove their correctness, and analyze their complexity. 

Topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 25 CITATIONS

References

Publications referenced by this paper.
SHOWING 1-10 OF 13 REFERENCES