CVS difference for ais/ai-00421.txt

Differences between 1.1 and version 1.2
Log of other versions for file 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
 !status received
@@ -14,8 +14,8 @@
 
 !problem
 
-The second paragraph of the dynamic semantics of H6 described in AI-265 is
-unclear.
+The second and third paragraphs of the dynamic semantics of H.6
+described in AI-265 are unclear.
 
 !proposal
 
@@ -23,28 +23,35 @@
 
 !wording
 
-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
-of steps:
+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
-      deferred.
-
-   *  The environment task is then suspended while the library tasks are
-      activated.
-
-   *  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.
-
 !discussion
 
-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.
 
 !example
 

Questions? Ask the ACAA Technical Agent