Subj : Re: Deadlock Calculator
To   : comp.programming.threads
From : Uenal Mutlu
Date : Tue May 17 2005 02:05 pm

"Sergei Organov" wrote
> "Uenal Mutlu"
> > "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?

Currently the theorem must be seen as an axiom.
I'm quite sure I can present a proof, but this will take some weeks.

OTOH the program above is independent of the theorem. Ie. it does
not try to prove the theorem; it must be seen as beta and can have bugs.

.