Groups > comp.programming.threads > #1430

deadlock detection

X-Received	by 10.224.189.78 with SMTP id dd14mr3766244qab.0.1363344373241; Fri, 15 Mar 2013 03:46:13 -0700 (PDT)
X-Received	by 10.49.41.65 with SMTP id d1mr475959qel.11.1363344373217; Fri, 15 Mar 2013 03:46:13 -0700 (PDT)
Path	csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!t2no3374089qal.0!news-out.google.com!k8ni188qas.0!nntp.google.com!dd2no1297376qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups	comp.programming.threads
Date	Fri, 15 Mar 2013 03:46:13 -0700 (PDT)
Complaints-To	groups-abuse@google.com
Injection-Info	glegroupsg2000goo.googlegroups.com; posting-host=69.246.219.113; posting-account=MQ3pigoAAACeFzUFjVAePnOjOJMNlvq9
NNTP-Posting-Host	69.246.219.113
User-Agent	G2/1.0
MIME-Version	1.0
Message-ID	<1d1a06b6-7e30-4f08-9d1b-7c64d3d4daaf@googlegroups.com> (permalink)
Subject	deadlock detection
From	Aaron Brady <castironpi@gmail.com>
Injection-Date	Fri, 15 Mar 2013 10:46:13 +0000
Content-Type	text/plain; charset=ISO-8859-1
Xref	csiph.com comp.programming.threads:1430

Show key headers only | 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