Affiliation:
1. Division of Engineering Brown University, Providence Rhode Island 02912
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.
Subject
Computer Graphics and Computer-Aided Design,Modelling and Simulation,Software
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献