Hi All,

I got a reply from my posting of this message that suggested that I should
have taken more time to phrase my question more clearly.  I need to know
what does the Ada LRM specifies.  The following paragraphs describe the
question I asked and the Ada language level issues:

1) Are Put(X), T'Write(X), Get(X), and T'Read(X) required to be atomic?

2) Are Put(X), T'Write(X), Get(X), and T'Read(X) required to be blocking?  I
should have asked if these operations are required to be dispatching points.

3) Are Put(X), T'Write(X), Get(X), and T'Read(X) subject to
Priority_Ceiling?  I should have asked if these operations are required to
be protected operations?

I expect that all of three of these issues are implementation defined since
the Real-Time Annex (D) doesn't appear to mention I/O; the Safety Critical
Annex (H) provides a pragma to disallow the use of standard I/O packages;
and the Ravenscare safety-critical profile requires the use of pragma
NO_IO..

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