Re: Tasking, protected objects, Ada 95 RM

[Ed Falis <falis@verizon.net>]

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