Efficient Detection of Global Predicates by Using Pseudo Timestamps

Autor:	Meng-Yuan Ho, 何孟遠
Rok vydání:	2009
Druh dokumentu:	學位論文 ; thesis
Popis:	97 Detecting the global states is fundamental for testing and debugging the parallel and distributed program. However, evaluating all the global states is a time-consuming task due to the combinatorial nature. A common enhancement is to identify those useless states which can be disregarded without affecting the debugging result. In this paper, an algorithm is optimal if it not only identifies the useless states correctly, but also identifies as earlier as possible. A state is uncertain if itself is unknown, but its partial information can be induced from the existing known states. This paper uses the imaginary volatile states to represent the uncertain states. Based on this technique, an optimal algorithm for identifying the useless states is developed.
Databáze:	Networked Digital Library of Theses & Dissertations
Externí odkaz:	http://ndltd.ncl.edu.tw/handle/09735694141211263358 Zobrazit plný text záznamu