Run-Time Detection of Communication (97)

Download:

by S. Noguchi, M. Ota (eds, Jianjun Zhao, Hiroaki Abe, Yoshinari Nomura, Jingde Cheng, Kazuo Ushijima

http://www.fit.ac.jp/~zhao/pub/ps/occam96.deadlock.ps.gz

Add To MetaCart

Abstract:

Abstract. A novel approach to detection of communication deadlocks in occam 2 programs is proposed. The main feature of the approach is to monitor the interprocess communications of a target occam 2 program at runtime and detect communication deadlocks in the program by operating a Process-Wait-For Graph (PWFG) of the program. The PWFG is a formal representation of the synchronization waiting situation in an occam 2 program. In addition to the principle of detecting communication deadlocks in occam 2 programs, some issues on implementation of the monitor are also discussed. 1

Citations

43	Occam 2 Reference manual – Ltd - 1988
13	Understanding parallel program behavior through petri net models – Balbo, Donatelli, et al. - 1992
3	A Survey of Tasking Deadlock Detection Methods – Cheng - 1991
3	A Tasking Deadlock Detector for Ada Programs – Cheng - 1991
3	Monitoring for Deadlock and Blocking in Ada Tasking – German - 1984
2	A Deadlock Detection Tool for Occam – Joosen, Verbaeten - 1989
1	Naming Ada Tasks at Run-Time – Cheng - 1989
1	Partial Order Transparency: A Minimum Requirement for Monitoring Concurrent Systems – Cheng - 1989
1	Analysis of the Communication Structure of Occam 2 Programs Using Petri Nets – Johnen, Mourlin - 1992
1	Detecting Communication Deadlocks in Occam – Melchert - 1991
1	A Static Analysis of Occam Channel Communication Using Petri Net – Park - 1991
1	de Vel, "Petri Net Modeling of Occam Programs for Detecting Indeterminacy, Non-termination and Deadlock Anomalies – Xu, O - 1991
1	A Graph Tool for Parallel Programming in Occam – Xu, Vel, et al. - 1989

View or Download | Add to My Collection | Correct Errors

Run-Time Detection of Communication (97)

Popular Tags

BibTeX | Add To MetaCart

Abstract:

Citations