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: a07f3367d7,385c146dd3112519
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,CP1252
Path: 
 g2news1.google.com!news1.google.com!goblin1!goblin.stu.neva.ru!news.tornevall.net!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Private or public task ?
Date: Fri, 05 Feb 2010 20:29:16 -0700
Organization: TornevallNET - http://news.tornevall.net
Message-ID: <hkiobn$vhf$1@tornado.tornevall.net>
References: 
 <a35584dd-8693-484d-918d-758940dccfe8@d37g2000yqa.googlegroups.com>
 	<1rvjt99u2jqa8.1okqcvf62hlc8$.dlg@40tude.net>
 <809d051b-5f55-4e7c-b21e-94c0a508e161@k19g2000yqc.googlegroups.com>
NNTP-Posting-Host: 7b7128bba47943ab42193e0d19bbfea4
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: 4247fe44fe2de8291cb6a2b63a4c42f4
X-Complaints-To: abuse@tornevall.net
X-Complaints-Language: Spoken language is english or swedish - NOT ITALIAN,
 FRENCH, GERMAN OR ANY OTHER LANGUAGE!
In-Reply-To: 
 <809d051b-5f55-4e7c-b21e-94c0a508e161@k19g2000yqc.googlegroups.com>
X-Validate-Post: 
 http://news.tornevall.net/validate.php?trace=4247fe44fe2de8291cb6a2b63a4c42f4
X-SpeedUI: 1738
X-Complaints-Italiano: Parlo la lingua non � italiano
User-Agent: Thunderbird 2.0.0.23 (X11/20090817)
X-Posting-User: 0243687135df8c4b260dd4a9a93c79bd
Xref: g2news1.google.com comp.lang.ada:8932
Date: 2010-02-05T20:29:16-07:00
List-Id: <comp.lang.ada>

Hibou57 (Yannick Duch�ne) wrote:
> 
> � If the bounded error is detected, Program_Error is raised. If not
> detected, the bounded error might result in deadlock or a (nested)
> protected action on the same target object. �
> 
> So it is not guaranteed to be a bounded error, as nested protected
> action may succeed.

No, it is a bounded error. A bounded error has a finite set of possible effects. 
One of the possible effects of this particular bounded error is that the 
operation will complete normally.

See also pragma Detect_Blocking (ARM H.5); without it an implementation may 
choose to never detect potentially blocking operations and never raise 
Program_Error. This seems to be the way GNAT handles these.

-- 
Jeff Carter
"He didn't get that nose from playing ping-pong."
Never Give a Sucker an Even Break
110