TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show HTML Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
From:
Edward Colbert <[log in to unmask]>
Reply To:
Edward Colbert <[log in to unmask]>
Date:
Thu, 28 Jun 2001 07:35:33 -0700
Content-Type:
text/plain
Parts/Attachments:
text/plain (37 lines)
Hi All,

Can someone confirm that it is 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 publicly 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 semantics of I/O operations in a
concurrent environment.

Take Care,
Ed

----------------------------------------------------------------------------
-----------
"Always do right.  It will please a few and astonish the rest."
 Mark Twain
----------------------------------------------------------------------------
-----------
Edward Colbert
President
Absolute Software Co., Inc.
1444 Sapphire Dr.
Carlsbad, CA 92009-1200
Phone:   (760) 929-0612
FAX:     (760) 929-0236
E-Mail:  [log in to unmask]
Website: www.abssw.com

ATOM RSS1 RSS2