From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,5dc0152fc17e5f2c
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news.glorb.com!border1.nntp.dca.giganews.com!nntp.giganews.com!local1.nntp.dca.giganews.com!nntp.megapath.net!news.megapath.net.POSTED!not-for-mail
NNTP-Posting-Date: Wed, 28 Jul 2004 20:03:24 -0500
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
References: <opsbp6g9xzp4pfvb@bram-2> <2mjr94Fnc903U1@uni-berlin.de>
 <opsbsytrf6p4pfvb@bram-2> <2mnfg2Fpcd2uU1@uni-berlin.de>
 <opsbuptvw4p4pfvb@bram-2>
Subject: Re: Deadlock resolution
Date: Wed, 28 Jul 2004 20:04:01 -0500
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 5.50.4807.1700
X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4910.0300
Message-ID: <-rednYpd8PFB0ZXcRVn-sA@megapath.net>
NNTP-Posting-Host: 64.32.209.38
X-Trace: 
 sv3-qYARvdKa1nGp2XxJHcjjvA2l1osij9QWO/Ua9FkGb6MdMQ3klJdjFcuCC0YlftqJgYUAXMTUDhP1l79!Xh8QPQgIp0o6cnBg6d+Jv7uYZ06UGFKFQlLYGXo+3qfwK0UylzymKLppXB4b8iKd4Iftpg3c/t4I
X-Complaints-To: abuse@megapath.net
X-DMCA-Complaints-To: abuse@megapath.net
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.3.13
Xref: g2news1.google.com comp.lang.ada:2452
Date: 2004-07-28T20:04:01-05:00
List-Id: <comp.lang.ada>

"Nick Roberts" <nick.roberts@acm.org> wrote in message
news:opsbuptvw4p4pfvb@bram-2...
> On Tue, 27 Jul 2004 18:52:11 +0200, Jano <notelacreas@porfavor.no> wrote:
>
> > ...
> > If I were extra paranoid about certain tasks and were to detect
> > deadlocks, as a first though I suppose I would use the ATC
> > construct, ...
>
> I think there is generally great value in using an ATC to provide
> a timeout to a call to a service which is external (to the program
> or module), since this helps to ensure that your program or module
> is not stymied by something outside its control, as well as
> protecting against 'big ring' deadlock.

In the implementation of Claw, we use timed entry calls in places where
Windows might leave us deadlocked. While the problem is usually a mistake by
the user of Claw, we figured people would figure out a lot quicker if they
got Message_Error instead of their program stopping unexpectedly!

                          Randy.