CVS difference for ais/ai-00421.txt
--- ais/ai-00421.txt 2005/03/31 02:12:42 1.1
+++ ais/ai-00421.txt 2005/05/06 01:43:40 1.2
@@ -1,4 +1,4 @@
-!standard H.06(01) 05-03-28 AI95-00421/01
+!standard H.06(01) 05-04-17 AI95-00421/02
!class amendment 05-03-28
!status work item
@@ -14,8 +14,8 @@
-The second paragraph of the dynamic semantics of H6 described in AI-265 is
+The second and third paragraphs of the dynamic semantics of H.6
+described in AI-265 are unclear.
@@ -23,28 +23,35 @@
-Replace the second paragraph of H.6 by
+Replace the second and third paragraphs of the dynamic semantics section of
+H.6 (as defined by AI-265) with
-If the partition elaboration policy is Sequential then task elaboration,
-activation, and interrupt attachment are performed in the following sequence
+If the partition elaboration policy is Sequential, all task activations
+for library-level tasks and all interrupt handler attachments for
+library-level interrupt handlers are deferred. The handler attachments
+occur after the elaboration of all library_items. Then the
+Environment task is suspended and all deferred activations are
+completed. The Environment task then calls the main program.
+If any deferred task activation fails, Tasking_Error is raised in the
+Environment task at the beginning of the sequence of statements
+of the main program. If a number of dynamic interrupt handler
+attachments for the same interrupt are deferred then the most
+recent call of Attach_Handler or Exchange_Handler determines which
+handler is attached.
+Add a new Note:
+If any task activation fails the Environment task is unable
+to handle Tasking_Error and will become completed immediately.
+With the standard partition elaboration policy this exception
+could be handled within a library unit.
- * All library level tasks are elaborated by the environment task. The
- activation of the tasks and the attachment of interrupt handlers is
- * The environment task is then suspended while the library tasks are
- * The interrupt handlers are then attached by the environment task in
- parallel with the executing library tasks.
- * The environment task then executes the main subprogram (if any) in
- parallel with the executing tasks.
-The essence of AI-265 was OK, just a bit vague.
+The essence of AI-265 was OK, just a bit vague. It is now clear that the
+sequential order is: library items, handler attachments, library task
+activations, main program.
Questions? Ask the ACAA Technical Agent