Adam DePrince <[EMAIL PROTECTED]> writes:
> On Mon, 2004-12-06 at 06:21, Duncan Grisby 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
On Mon, 2004-12-06 at 06:21, Duncan Grisby 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.
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
