A CUSTOMIZABLE VERSION OF THE TERMINATION DETECTION ALGORITHM FOR THE INDIGO FRAMEWORK

Анотація

This paper presents a customizable version of the termination detection algorithm for distributed systems. We follow an approach developed for designing general purpose distributed algorithms customizable to a specic operational context within the InDiGO framework [1]. To customize such algorithms, they must be expressed in a form amenable to customization. We present a mechanism which allows a designer to expose the design
knowledge related to the communication structure of an algorithm. This involves identifying interaction sets used for communication in an algorithm, and dening the semantics of these sets in terms of queries supported by the analysis infrastructure of the InDiGO framework. The benets of customizable versions of distributed algorithms are presented using an example of a customizable version of the termination detection algorithm