CVS difference for ais/ai-00148.txt

Differences between 1.3 and version 1.4
Log of other versions for file ais/ai-00148.txt

--- ais/ai-00148.txt	2004/04/06 19:56:55	1.3
+++ ais/ai-00148.txt	2004/05/29 00:38:33	1.4
@@ -1,4 +1,4 @@
-!standard 09.05.04 (07)                               04-03-23  AI95-00148/02
+!standard 09.05.04 (07)                               04-05-21  AI95-00148/03
 !class confirmation 96-06-06
 !status ARG Approved 5-0-4  04-03-05
 !status work item 00-02-14
@@ -13,8 +13,8 @@
 requires the protected action resulting from the requeue to be completed
 before the original protected action completes.
 
-If the entry that is the subject of the requeue executes immediately, then
-the "inner" protected objects completes and is left before the servicing
+If the entry that is the target of the requeue executes immediately, then
+the "inner" protected object completes and is left before the servicing
 of entry queues in the task that executed the requeue statement.
 
 !question
@@ -29,19 +29,22 @@
 of the protected operations that originated with the call have finished.
 
 Section 9.5.1(7) states
-    "After performing an operation on a protected object
-     other than a call on a protected function, but prior to completing the
-     associated protected action, the entry queues (if any) of the protected
-     object are serviced (see 9.5.3)."
+
+    After performing an operation on a protected object
+    other than a call on a protected function, but prior to completing the
+    associated protected action, the entry queues (if any) of the protected
+    object are serviced (see 9.5.3).
+
 and 9.5.3(13-18) says
-  13   "When a queued call is selected, it is removed from its entry queue.
+
+  13   When a queued call is selected, it is removed from its entry queue.
   Selecting a queued call from a particular entry queue is called servicing the
   entry queue. An entry with queued calls can be serviced under the following
   circumstances:
 
-   14  {N/A - on accept statements}
+  14 * {N/A - on accept statements}
 
-   15  If after performing, as part of a protected action on the
+  15 * If after performing, as part of a protected action on the
        associated protected object, an operation on the object other
        than a call on a protected function, the entry is checked and
        found to be open.
@@ -52,11 +55,11 @@
   corresponding accept_statement or entry_body is executed as above for an
   entry call that is selected immediately.
 
-  17  - N/A - on entry queueing polocies
+  17   {N/A - on entry queueing policies}
 
   18   For a protected object, the above servicing of entry queues continues
   until there are no open entries with queued calls, at which point the
-  protected action completes."
+  protected action completes.
 
 Any execution resources associated with the protected entry and any epilogue
 actions, such as evaluation of entry guards as a result of this protected
@@ -68,7 +71,7 @@
 operations in the same protected object that evaluate to TRUE and have queued
 calls on the entry.
 
-If the Protected Object that is the target of the requeue has a higher
+If the protected object that is the target of the requeue has a higher
 priority ceiling, or if the program is executing on a multiprocessor
 system, then the potential exists that the protected object's execution
 resource cannot be acquired. The potential exists in such situations that

Questions? Ask the ACAA Technical Agent