RM D 6 9-10 Preemptive Abort (GNAT Reference Manual)

### 6.54 RM D.6(9-10): Preemptive Abort ¶

> “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.”

Followed.

> “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.”

Followed.