Re: Barrier re-evaluation issue with GNAT 4.3.2

[Reto Buerki <reet@codelabs.ch>]

Dmitry A. Kazakov wrote:
> On Mon, 28 Sep 2009 11:38:18 -0700, Jeffrey R. Carter wrote:
> 
>> An entry call is always potentially blocking, regardless of its barrier; see ARM 
>> 9.5.1. Technically, this code contains a bounded error. Since the potentially 
>> blocking operation was detected, your program should raise Program_Error; GNAT 
>> pretends that it hasn't detected that the operation is potentially blocking and 
>> lets you get away with only a warning. Other compilers (and even other versions 
>> of GNAT) may actually raise Program_Error.
> 
> A small addition to above. If you wanted to call to an entry from inside a
> protected procedure you have two options:
> 
> 1. the callee is made a protected procedure (can be factored out);

This does not work in our case because of the compiler bug: barriers are
only re-evaluated if the callee is an entry.

> 2. the caller is made an entry, and the call replaced with requeue.

We will look into this. Since access types to protected entries are not
allowed, we need to rewrite some alarm timer code first.