Abstract
The issue of correctness of complex asyn chronorcs distributed algorithms imple mented on loosely coupled parallel processor systemsis difficult to address given the lack of effective debugging tools. In such systems, messages propagate asynchronously over physical connections and precise knowledge of the state of every message in the system at any instant of time is difficult to obtain. For a particular class of asynchronous distrib uted algorithrns [1,2,5] that may be charac terized by independent models that execute asynchronously on the processors and interact with one another only through explicit messages, the following reasoning applies. Information on the flow and content of messages and the activity of the processors is significant towards under standing the functional correctness of the implementation.
This paper proposes a new approach , MADCAPP, to measure and analyze high- level message communication and the activity level of the processors.
Get full access to this article
View all access options for this article.