CVS difference for 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