Groups > comp.lang.java.programmer > #3118

Re: What's the deal with deadlocks

Path	csiph.com!x330-a1.tempe.blueboxinc.net!feeder1.hal-mli.net!nx02.iad01.newshosting.com!newshosting.com!news-out.readnews.com!news-xxxfer.readnews.com!postnews.google.com!news3.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From	Ian Collins <ian-news@hotmail.com>
Newsgroups	comp.lang.java.programmer, comp.lang.c++
Subject	Re: What's the deal with deadlocks
Date	Tue, 19 Apr 2011 09:53:50 +1200
Lines	31
Message-ID	<913q7eFpdlU3@mid.individual.net> (permalink)
References	<23020668-d86c-489a-988b-7b379f34851c@j13g2000pro.googlegroups.com> <Xns9ECAEFF0160FEmyfirstnameosapriee@216.196.109.131> <575d7b43-51c4-4905-ba16-15fe9b78373e@t16g2000vbi.googlegroups.com> <ioi6hl$bvq$1@news.albasani.net> <ioi731$pc3$1@dont-email.me>
Mime-Version	1.0
Content-Type	text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding	7bit
X-Trace	individual.net Nph/TDbaUE9wd6Ifw325vg1USV2KAY2dyoq5es7qo2omVBqVUY
Cancel-Lock	sha1:oQi7IrcwOlkNCbZUjvtV/VJQ3VQ=
User-Agent	Mozilla/5.0 (X11; U; SunOS i86pc; en-US; rv:1.9.2.9) Gecko/20101021 Lightning/1.0b2 Thunderbird/3.1.4
In-Reply-To	<ioi731$pc3$1@dont-email.me>
Xref	x330-a1.tempe.blueboxinc.net comp.lang.java.programmer:3118 comp.lang.c++:3984

Cross-posted to 2 groups.

Show key headers only | View raw

On 04/19/11 08:32 AM, Alf P. Steinbach /Usenet wrote:
> * Lew, on 18.04.2011 22:22:
>> Joe Snodgrass wrote:
>>> Here's how NASA handles race conditions.
>>>
>>> http://tinyurl.com/42p2t5f
>>>
>>> I searched Dr. Dobbs J, and got ten pages of matches.
>>
>> That link was worth ten times the expected maximum value for a Usenet link.
>>
>> Not least because it led to http://www.usingcsp.com/cspbook.pdf, /Communicating
>> Sequential Processes/, by C. A. R. "Tony" Hoare, with foreword by Edsger W.
>> Dijkstra.
>
> I have that in hardcover.
>
> Some other interesting old books:
>
>     Parallell Programming in ANSI Standard ADA  - George W. Cherry
>     Lucid, the Dataflow Language - William W. Wadge&  Edward A. Ashcroft
>     OCCAM Programming Manual - INMOS Limited
>
> OCCAM was sort of a language designed to express more or less directly Hoare's
> concepts.

Someone else who has used OCCAM in anger?  Wow I thought I was the only 
one left!

-- 
Ian Collins

Back to comp.lang.java.programmer | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

What's the deal with deadlocks Joe Snodgrass <joe.snod@yahoo.com> - 2011-04-17 09:15 -0700
  Re: What's the deal with deadlocks markspace <-@.> - 2011-04-17 09:35 -0700
    Re: What's the deal with deadlocks Lew <noone@lewscanon.com> - 2011-04-17 13:14 -0400
  Re: What's the deal with deadlocks Patricia Shanahan <pats@acm.org> - 2011-04-17 09:45 -0700
  Re: What's the deal with deadlocks Robert Klemme <shortcutter@googlemail.com> - 2011-04-17 19:30 +0200
  Re: What's the deal with deadlocks Paavo Helde <myfirstname@osa.pri.ee> - 2011-04-17 15:35 -0500
    Re: What's the deal with deadlocks Ian Collins <ian-news@hotmail.com> - 2011-04-18 08:41 +1200
    Re: What's the deal with deadlocks Joe Snodgrass <joe.snod@yahoo.com> - 2011-04-18 11:59 -0700
      Re: What's the deal with deadlocks Lew <noone@lewscanon.com> - 2011-04-18 16:22 -0400
        Re: What's the deal with deadlocks "Alf P. Steinbach /Usenet" <alf.p.steinbach+usenet@gmail.com> - 2011-04-18 22:32 +0200
          Re: What's the deal with deadlocks Ian Collins <ian-news@hotmail.com> - 2011-04-19 09:53 +1200
            Re: What's the deal with deadlocks "Alf P. Steinbach /Usenet" <alf.p.steinbach+usenet@gmail.com> - 2011-04-19 01:21 +0200
            Re: What's the deal with deadlocks Joe Snodgrass <joe.snod@yahoo.com> - 2011-04-19 14:10 -0700
              Re: What's the deal with deadlocks Lew <noone@lewscanon.com> - 2011-04-19 23:01 -0400
                Re: What's the deal with deadlocks Joe Snodgrass <joe.snod@yahoo.com> - 2011-04-20 17:00 -0700
                Re: What's the deal with deadlocks Lew <noone@lewscanon.com> - 2011-04-21 00:29 -0400
              Re: What's the deal with deadlocks Patricia Shanahan <pats@acm.org> - 2011-04-19 21:18 -0700
        Re: What's the deal with deadlocks Tom Anderson <twic@urchin.earth.li> - 2011-04-19 00:50 +0100
  Re: What's the deal with deadlocks Roedy Green <see_website@mindprod.com.invalid> - 2011-04-17 14:01 -0700
  Re: What's the deal with deadlocks Noah Roberts <dont@email.me> - 2011-04-18 16:59 -0700

csiph-web