Subj : Re: Deadlock Calculator
To   : comp.programming.threads
From : Sergei Organov
Date : Tue May 17 2005 02:03 pm

"Uenal Mutlu" <520001085531-0001@t-online.de> writes:
> "Uenal Mutlu" wrote
> >
> > Here's an interactive deadlock calculator/detector (C++ source using STL):
> > http://www.nogashi.com/um/DeadlockDetect.cpp
[...]
>     What it does:
>       In http://groups-beta.google.com/group/comp.programming.threads/msg/4e3f2c3a3452889d?dmode=source&hl=en
>       a theorem was formulated about deadlock prevention and
>       detection.

Is the proof of the theorem available? Are you working on the proof or
is it in fact an axiom?

-- 
Sergei.

.