A model for deadlock detection based on automata and languages theory

Jose R. González De Mendívil, Jose R. Garitagoitia
1993 Computers and Mathematics with Applications  
In this paper, a model for solving the deadlock detection problem is introduced by using the formalism of the Automata and Languages Theory. The abstraction allows one to model the wait-for-relations between processes as a string of symbols. The set of wait-for-strings, which represent deadlock situations, is a regular language and it is accepted by a Finite Automaton (FA). The periodical algorithm for deadlock detection based on this FA has a linear time complexity O(N). This algorithm is
more » ... ded to a non-periodical one by introducing, in the FA, the resource release operations of the processes. In this case, the detection time complexity is O(1).
doi:10.1016/0898-1221(93)90298-a fatcat:fu3iw4f325bifn32i2z5nem2fq