Path: csiph.com!x330-a1.tempe.blueboxinc.net!usenet.pasdenom.info!news.albasani.net!.POSTED!not-for-mail From: Lew Newsgroups: comp.lang.java.programmer,comp.lang.c++ Subject: Re: What's the deal with deadlocks Date: Mon, 18 Apr 2011 16:22:17 -0400 Organization: albasani.net Lines: 20 Message-ID: References: <23020668-d86c-489a-988b-7b379f34851c@j13g2000pro.googlegroups.com> <575d7b43-51c4-4905-ba16-15fe9b78373e@t16g2000vbi.googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Trace: news.albasani.net nBX/kGxPfNShsOT+F4CdmW4hZ7MZuvqiSf9aae4/C6QIcfptlLtlfHnHQNp+iSwfA+9jSZRgxNVss56tHPYNEGtbDAoQ9ub+FY+ca9hUuN3TrIvM4b4NwH6G0F2t8lDO NNTP-Posting-Date: Mon, 18 Apr 2011 20:22:13 +0000 (UTC) Injection-Info: news.albasani.net; logging-data="hOnJNTLM+yV9NkfAWSeFcBsR1abe/OFPhfEweEV08c6LPT9/deeXMnxY4VlMDCZl7IbKf4KQ/RnzPNM+Kq3poZhCnkK9ugqPuRSQpLRQC1+YgFdDhWX1MiHrsXTuVLbu"; mail-complaints-to="abuse@albasani.net" User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.14) Gecko/20110223 Thunderbird/3.1.8 In-Reply-To: <575d7b43-51c4-4905-ba16-15fe9b78373e@t16g2000vbi.googlegroups.com> Cancel-Lock: sha1:v6wz+RLeAMtgqmZwlMGqrvqu6dg= Xref: x330-a1.tempe.blueboxinc.net comp.lang.java.programmer:3114 comp.lang.c++:3972 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. -- Lew "For a variety of reasons, this is a book eagerly awaited by all who knew it was in the making; to say that their patience has been rewarded would be an understatement." - Edsger W. Dijkstra, in the foreword to /Communicating Sequential Processes/, by C. A. R. "Tony" Hoare.