Subj : Re: Deadlock theorem
To   : comp.programming.threads
From : Peter Koch Larsen
Date : Tue May 03 2005 01:44 am


"Uenal Mutlu" <520001085531-0001@t-online.de> skrev i en meddelelse 
news:d568pn$nji$01>
> Please take a look at the example I'd posted (reposting it below).
> Especially what happens inside thread5 (But: it is by no means
> said that the deadlock actually will happen inside thread5! It only
> says that deadlock will happen for sure if not followed the theorem,
> or inversing this: no deadlock will happen for sure if the theorem is 
> applied.
>

So.... are you posting a theorem that argues that deadlock will happen for 
sure if you do not follow it? That is - if following it, you MIGHT get a 
deadlock, but also you might not?
First I am sceptical of that theorem: where is the proof?
Second (and far more important): what is the value of that theorem? I can 
find no value whastsoever.

/Peter

.