Studia Informatica
Volume XXXIX, Number 3 (1994)
pp. 57 - 66

Detecting Deadlocks in Multithreaded Applications

S.D. Iurian

Rezumat. - Detectarea impasului in aplicatii cu mai multe fire de executie. Este prezentata o modalitate de descriere a aplicatiilor cu fire de executie multiple, bazata pe retele Petri. Folosind acest model si rezultate din teoria retelelor Petri se da un algoritm de detectare a impasului intr-o astfel de aplicatie.

AMS Subject Classifications. 68Q05, 68Q10, 68Q60, 68Q90


Studia Universitatis "Babes-Bolyai" Cluj - Napoca