Diagnosis system for automatic detection of deadlock in asynchronous concurrent distributed computing systems: using timed Petri net with stacks

Author

Chen, Jenn-Nan ; Chen, Peter

Author_Institution

Grad. Sch. of Resource Manage., Nat. Defence Manage. Coll., Taipei, Taiwan

fYear

1990

fDate

31 Oct-2 Nov 1990

Firstpage

658

Lastpage

664

Abstract

The authors show how to use the timed Petri net with stacks (TPNS-net) to describe asynchronous concurrent distributed computing systems (DCS) which are based on the environment of loosely coupled computing systems. They also present methods for detecting types of DCS deadlocks such as cycle waiting, hold and wait, and exclusive access. It is shown that TPNS-net permits a process to request more than one resource at a time, express the dynamic state of the system, and increase the system parallelism

Keywords

Petri nets; concurrency control; distributed processing; operating systems (computers); system recovery; DCS; TPNS-net; asynchronous concurrent distributed computing systems; cycle waiting; deadlocks; exclusive access; loosely coupled computing systems; system diagnosis; system parallelism; timed Petri net with stacks; Concurrent computing; Costs; Distributed computing; Distributed control; Graphics; Operating systems; Production systems; Programming; Resource management; System recovery;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1990. COMPSAC 90. Proceedings., Fourteenth Annual International

Conference_Location

Chicago, IL

Print_ISBN

0-8186-2054-4

Type

conf

DOI

10.1109/CMPSAC.1990.139456

Filename

139456