Contents   Index   Previous   Next


D.6 Preemptive Abort

1
   [This clause specifies requirements on the immediacy with which an aborted construct is completed.]

Dynamic Semantics

2
   On a system with a single processor, an aborted construct is completed immediately at the first point that is outside the execution of an abort-deferred operation.

Documentation Requirements

3
   On a multiprocessor, the implementation shall document any conditions that cause the completion of an aborted construct to be delayed later than what is specified for a single processor.
3.a
Implementation defined: On a multiprocessor, any conditions that cause the completion of an aborted construct to be delayed later than what is specified for a single processor.

Metrics

4
   The implementation shall document the following metrics:
5
6
7
8

Implementation Advice

9
   Even though the abort_statement is included in the list of potentially blocking operations (see 9.5.1), it is recommended that this statement be implemented in a way that never requires the task executing the abort_statement to block.
10
    On a multi-processor, the delay associated with aborting a task on another processor should be bounded; the implementation should use periodic polling, if necessary, to achieve this.
NOTES
11
27  Abortion does not change the active or base priority of the aborted task.
12
28  Abortion cannot be more immediate than is allowed by the rules for deferral of abortion during finalization and in protected actions.

Contents   Index   Previous   Next   Legal