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
Condense Mail Headers

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

Print Reply
Sender:
"Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
Date:
Thu, 28 Jun 2001 11:07:25 -0700
Reply-To:
Edward Colbert <[log in to unmask]>
Subject:
MIME-Version:
1.0
Content-Transfer-Encoding:
7bit
In-Reply-To:
Content-Type:
text/plain; charset="iso-8859-1"
From:
Edward Colbert <[log in to unmask]>
Parts/Attachments:
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