mutexes so they can be tested for deadlocks. I've googled around but I
>> haven't found anything.
>
> In general, accurate deadlock detection is intractable. Like many
> problems of this class you have two choices - either reduce the scope of
> the problem to a non-gene
> haven't found anything.
In general, accurate deadlock detection is intractable. Like many
problems of this class you have two choices - either reduce the scope of
the problem to a non-general one or try a heuristic to guess.
As I recall, deadlock prevention is similar to the halti
In message <[EMAIL PROTECTED]>, Duncan
Grisby <[EMAIL PROTECTED]> writes
understood, and there are plenty of systems that do it. I just haven't
been able to find one for Python.
There is one at http://www.softwareverify.com as I mentioned in a
previous posting.
Stephen
--
Stephen Kellett
Object
In article <[EMAIL PROTECTED]>,
Josiah Carlson <[EMAIL PROTECTED]> wrote:
>
>Duncan Grisby <[EMAIL PROTECTED]> wrote:
>> Does anyone know of a deadlock detector for Python? I don't think it
>> would be too hard to hook into the threading module and instrument
>> mutexes so they can be tested for
(warning: pedantic and off-topic response) NP-Complete does not mean
"equivalent to the halting problem." It means "poly-time equivalent to
any other NP-Complete problem".
NP-Complete problems are "only" exponential-time. The halting problem
is much harder! And of course, just the fact that a prob
Duncan Grisby <[EMAIL PROTECTED]> wrote:
>
> Hi,
>
> Does anyone know of a deadlock detector for Python? I don't think it
> would be too hard to hook into the threading module and instrument
> mutexes so they can be tested for deadlocks. I've googled around but I
> haven't found anything.
I'm
>Does anyone know of a deadlock detector for Python? I don't think it
>would be too hard to hook into the threading module and instrument
>mutexes so they can be tested for deadlocks. I've googled around but I
>haven't found anything.
Software Verification have Python Thread Validator. Its not pu
Hi,
Does anyone know of a deadlock detector for Python? I don't think it
would be too hard to hook into the threading module and instrument
mutexes so they can be tested for deadlocks. I've googled around but I
haven't found anything.
Cheers,
Duncan.
--
-- Duncan Grisby --
-- [EMAI
