Re: Barrier re-evaluation issue with GNAT 4.3.2

[Reto Buerki <reet@codelabs.ch>]

John B. Matthews wrote:
> I get the same result with FSF GNAT 4.3.4. I revised your code to follow 
> the "protected Event" example seen here:
> 
> <http://www.adaic.com/standards/95rat/RAThtml/rat95-p1-2.html#9>
> 
> It seems to work. The compiler warns, "potentially blocking operation in 
> protected operation" in Wakeup, although the Signal barrier is always 
> true. I'm not sure the extra entries _should_ be required, but I think 
> it might be more reliable in the face of multiple threads calling Wait. 
> I don't know a reason why it wouldn't work under 4.3.2.

Thanks for your effort in confirming the issue with GNAT 4.3.4 and for
the "protected Event" example.

We will see how we can integrate your idea into our project as a
workaround for the re-evaluation problem.