Distributed evaluation: a tool for constructing distributed detection programs

Abstract

Methodological design of distributed programs is of major concern to master parallelism. Due to their role in distributed systems, the class of observation or detection programs, whose aim is to observe or detect properties of an observed program, is very important. The detection of a property generally rests upon consistent evaluations of a predicate; such a predicate can be global, i.e. involve states of several processes and channels of the observed program. Unfortunately, in a distributed system, the consistency of an evaluation cannot be trivially obtained. This is a central problem in distributed evaluations. This paper addresses the problem of distributed evaluation, as a basic tool for the design of a general distributed detection program.

This work was supported by French Research Program C³ on Parallelism and Distributed Computing

This article was processed using the LAT_EX macro package with LLNCS style