HomeComputer Issuesvol. 28 no. 1 (1994)

Detection and Resolution of Deadlocks in Concurrent Processes Using Process Algebra

Caslon Chua | Manuel A. Lopez

Discipline: Mathematics, Information Technology, Computer Technology



An algorithm which uses process algebra, as a mathematical model, to detect and resolve deadlocks in concurrent processes in a distributed system environment is presented. The key idea is to allow a controller in each site to maintain a table of all processes in a particular site availing themselves of a specific resource. The main problem addressed involves a scheme to detect whether a deadlock, if any, exists. Moreover, if a deadlock exists, the algorithm determines which among the processes should be aborted. The selection of such a process is dictated by the objective of affecting as small a number of processes as possible.