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,72daad0d97829ad6
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!border1.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!cyclone1.gnilink.net!spamkiller.gnilink.net!gnilink.net!trnddc06.POSTED!c2bfcbcf!not-for-mail
From: Ed Falis <falis@verizon.net>
Subject: Re: Tasking, protected objects, Ada 95 RM
Newsgroups: comp.lang.ada
Message-ID: <PM000418DCB63800B1@tilopa.unknown.dom>
References: <1153235397.700369.134780@35g2000cwc.googlegroups.com>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Content-Type: text/plain; charset=ISO-8859-1
User-Agent: Pineapple News 0.9.13 [PLAID BETA], BeOS (Intel) 6.2.0
X-Program-URL: http://www.platinumball.net/pineapple/news/beos/
X-Registered-To: Edward Falis
Date: Tue, 18 Jul 2006 15:22:32 GMT
NNTP-Posting-Host: 70.19.223.226
X-Complaints-To: abuse@verizon.net
X-Trace: trnddc06 1153236152 70.19.223.226 (Tue, 18 Jul 2006 11:22:32 EDT)
NNTP-Posting-Date: Tue, 18 Jul 2006 11:22:32 EDT
Xref: g2news2.google.com comp.lang.ada:5768
Date: 2006-07-18T15:22:32+00:00
List-Id: <comp.lang.ada>

ldb wrote:

> During the Task initilization, they have an "accept" statement from
> the
> main program that will point them to a buffer from which to read data.
> Inside this "accept" statement, they make a call to the buffer.connect
> function.
>
> This, in essence, is an atmoic "accept" statement making a calling to
> a
> protected types "entry" statement. This leads to the following
> alarming
> statement in the ada 95 RM:
>
> From: http://www.grammatech.com/rm95html-1.0/rm9x-09-05-01.html
>> During a protected action, it is a bounded error to invoke an
> operation that is potentially blocking.

An accept statement is not a protected action in the technical jargon of
the RM.  So calling connect from there is not potentially blocking.  Now
if you were to call an entry from within connect, that would be a
different story.

- Ed