Re: Need a Sanity Check

Steve a écrit :
I believe the output you get from this program is dependent on the runtimes implementation of Text_IO.

The old ARM 9.5.1:
During a protected action, it is a bounded error to invoke an operation that is potentially blocking. The following are defined to be potientially blocking operations:

An accept statement is a potentially blocking operation, but it is *not* a protected operation, therefore it is safe to call Text_IO from within an accept statement (but an accept statement cannot be called from within a protected subprogram or entry).

--
---------------------------------------------------------
           J-P. Rosen (rosen@xxxxxxxxx)
Visit Adalog's web site at http://www.adalog.fr
.

Relevant Pages

  • Re: Barrier re-evaluation issue with GNAT 4.3.2
    ... this code contains a bounded error. ... the potentially blocking operation was detected, ... Thanks for the clarification and the pointer to the ARM. ...
    (comp.lang.ada)
  • Re: protected type interrupts
    ... Relay_Object.Isr a potentially blocking operation, ... subprograms or entries to get it. ... (and the protected action is supposed to complete very quickly). ...
    (comp.lang.ada)
  • Re: requeue with abort and timed call
    ... Dmitry A. Kazakov wrote: ... is not potentially blocking. ... protected action, ... I think the ARM gives the implementation the right to decide whether or not to raise an exception if it detects the problem. ...
    (comp.lang.ada)