Concurrency & I/O

["Ed Colbert" <colbert@abssw.com>]

Hi All,

Can someone confirm that it's still implementation defined whether I/O
operations (Put, Get, 'Write, 'Read) are atomic, blocking, or subject to
Priority_Ceiling.  In quick review of the manual & rational, I found the
following:

1) File_Type's and Root_Stream_Type are not publically defined using pragma
Atomic.
2) Get_Immediate is non-blocking according Rationale section A.1.
3) A.10.7(24) Says Get_Immediate doesn't wait for end of line.
4) Annex H provides NO_IO pragma to disallow use of standard IO packages
(and Ravenscare requires this pragma).
5) Annex D doesn't mention I/O.

I don't see a specific statement about the semanics of I/O operations in a
concurrent environment.

Take Care,
Ed