Groups > comp.programming.threads > #1430

deadlock detection

Newsgroups	comp.programming.threads
Date	2013-03-15 03:46 -0700
Message-ID	<1d1a06b6-7e30-4f08-9d1b-7c64d3d4daaf@googlegroups.com> (permalink)
Subject	deadlock detection
From	Aaron Brady <castironpi@gmail.com>

Show all headers | View raw

Hello Group,

I don't know if this is the right group for this.  Apologies in advance if I cross-post someone in another group.

I have invented a deadlock detector.  The procedure is very simple and it would be very useful.  It must be broken or it would exist already.

The Wikipedia article claims it's impossible [1].  Microsoft SQL rolls back transactions upon discovering it [2].  Java terminates the entire process upon suspecting it [3].

[1] http://en.wikipedia.org/wiki/Deadlock#Avoidance
[2] http://msdn.microsoft.com/en-us/library/ms178104(v=sql.105).aspx
[3] http://publib.boulder.ibm.com/infocenter/javasdk/tools/index.jsp?topic=%2Fcom.ibm.java.doc.igaa%2F_1vg00011883cbec-11b5a842dea-7fff_1001.html

I would like to prove or disprove my method and discuss the implications: article including test and comments [4] and diagram [5].

[4] http://home.comcast.net/~castironpi-misc/irc-0085%20deadlock%20detection.py
[5] http://home.comcast.net/~castironpi-misc/irc-0085%20deadlock%20detection.png

Thanks in advance.

Back to comp.programming.threads | Previous | Next — Next in thread | Find similar

Thread

deadlock detection Aaron Brady <castironpi@gmail.com> - 2013-03-15 03:46 -0700
  Re: deadlock detection Michael Podolsky <michael.podolsky.69@gmail.com> - 2013-03-18 22:38 -0700
    Re: deadlock detection Robert Wessel <robertwessel2@yahoo.com> - 2013-03-19 01:03 -0500
      Re: deadlock detection Michael Podolsky <michael.podolsky.69@gmail.com> - 2013-03-19 19:14 -0700
      Re: deadlock detection Aaron Brady <castironpi@gmail.com> - 2013-03-21 22:59 -0700
    Re: deadlock detection Aaron Brady <castironpi@gmail.com> - 2013-03-19 17:17 -0700
      Re: deadlock detection Michael Podolsky <michael.podolsky.69@gmail.com> - 2013-03-19 19:09 -0700
        Re: deadlock detection Aaron Brady <castironpi@gmail.com> - 2013-03-20 09:07 -0700
  Re: deadlock detection Johann Klammer <klammerj@NOSPAM.a1.net> - 2013-03-19 20:24 +0100
  Re: deadlock detection Aaron Brady <castironpi@gmail.com> - 2013-03-26 17:18 -0700

csiph-web