Identifying Useless States in Non-FIFO Distributed Computations by Using Pseudo Timestamps

Author

Chen, Iung-Pin ; Ho, Meng-Yuan ; Hong, Jhen-You

Author_Institution

Dept. of Comput. Sci. & Inf. Eng., Tunghai Univ., Tai-Chung, Taiwan

fYear

2009

fDate

14-16 Dec. 2009

Firstpage

52

Lastpage

56

Abstract

In a distributed system, a monitor process collects the execution states and invokes a detection procedure to test and debug the program. This paper investigates the global state analyzing problems for the non-FIFO distributed environments. In this paper, the states unknown to the monitor process are represented by using the pseudo states. Based on this technique, this paper develops an algorithm capable of identifying the maximum number of useless states for the programs run in an non-FIFO distributed environment.

Keywords

distributed programming; program debugging; detection procedure; distributed system; global state analyzing problem; non-FIFO distributed computation; program debugging; pseudo states; pseudo timestamps; Acceleration; Computer networks; Computer science; Computerized monitoring; Debugging; Detection algorithms; Distributed computing; Logic testing; Pervasive computing; System testing; Distributed debugging; Distributed program; Global predicate; Global state; Timestamp;

fLanguage

English

Publisher

ieee

Conference_Titel

Pervasive Systems, Algorithms, and Networks (ISPAN), 2009 10th International Symposium on

Conference_Location

Kaohsiung

Print_ISBN

978-1-4244-5403-7

Type

conf

DOI

10.1109/I-SPAN.2009.27

Filename

5381972