TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

Use Proportional Font
Show Text Part by Default
Show All Mail Headers

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

Print Reply
Edward Colbert <[log in to unmask]>
Thu, 28 Jun 2001 11:07:25 -0700
text/plain (42 lines)
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

ATOM RSS1 RSS2