Re: requeue with abort and timed call

["Jeffrey R. Carter" <spam.jrcarter.not@spam.acm.org>]

Dmitry A. Kazakov wrote:
> 
> No, it is perfectly legal to use Put_Line in protected actions *with* GNAT.
> 
> GNAT implementation explicitly permits this use. So Jeffrey's comment was
> irrelevant here.

No, the use of Ada.Text_IO.Put_Line in a protected action is a bounded error 
with *all* compilers, GNAT included. A bounded error is an error, therefore this 
use is an error for all compilers.

What happens in the case of a bounded error is compiler dependent. GNAT 6.1.1 
gives me a warning if I use a delay statement in a protected operation, but 
otherwise allows it. Another compiler might choose to raise Program_Error at run 
time.

> Pedantically, you should have added pragma Atomic (Z), because you access
> it from different tasks. And probably Volatile (Z) to prevent loop
> optimization.

It's more than pedantic if you have multiple processors.

>    for I in Unsigned_64'Range loop
>       exit when Clock >= T;
>    end loop;

loop
    exit when ...
end loop;

-- 
Jeff Carter
"Hello! Smelly English K...niggets."
Monty Python & the Holy Grail
08