Subj : Re: Deadlock theorem
To   : comp.programming.threads
From : David Schwartz
Date : Thu May 05 2005 06:24 pm


"David Hopwood" <david.nospam.hopwood@blueyonder.co.uk> wrote in message 
news:uTxee.30847$Cq2.12290@fe2.news.blueyonder.co.uk...

> For the latter, what you really want is a static analysis, which by
> definition has no runtime cost (although it could be quite complicated).

    I don't believe that. Dynamic behavior is unpredictable.

    DS

.