Version 1.1 of ais/ai-00353.txt

Unformatted version of ais/ai-00353.txt version 1.1
Other versions for file ais/ai-00353.txt

!standard D.7 (10)          03-09-24 AI95-00353/01
!class amendment 02-09-24
!status work item 02-09-24
!status received 02-09-24
!priority High
!difficulty Medium
!subject New Restrictions identifier No_Synchronous_Control
!summary
A new Restricitions identifier is needed to specify that there are no dependencies on Ada.Synchronous_Task_Control to enable the development of runtime systems that do not include any part of an Ada tasking kernel.
!problem
In some implementations, the feature Ada.Synchronous_Task_Control requires the inclusion of a portion of the tasking module of an Ada runtime system. To enable the development of a minimal runtime system that eliminates all of the Ada tasking and scheduling features, a new restriction is needed to specify that there are no dependencies on Ada.Synchronous_Task_Control.
!proposal
The following new pragma Restrictions identifier is identified and applies to the alternative mode of operation defined by the ARINC_653_Processes Profile:
No_Synchronous_Control
There are no dependencies on Ada.Synchronous_Task_Control.
!wording
Following paragraph 10 of section D.7 add the following
No_Synchronous_Control
There are no dependencies on Ada.Synchronous_Task_Control.
!discussion
!example
--!corrigendum D.7(10)
!ACATS test
An ACATS test should be created for this pragma.
!appendix

From: Joyce Tokar
Sent: Wednesday, September 24, 2003  12:11 PM

Attached please find two candidate AIs that are a result of last week's IRTAW
meeting.  I am submitting these for consideration of the ARG at the next
meeting.

****************************************************************

Questions? Ask the ACAA Technical Agent