Re: Asynchronous Transfer of Control

[dewar@merv.cs.nyu.edu (Robert Dewar)]

James Squire says

"They have not released their implementation of Annex D yet.  I will
forward this on to them.  I think it would have been clearer to place
your sentence into the LRM to let people know that abort completion
points are only important if the compiler does not support preemptive
abort."

The RM is quite clear, in 9.8, we have

24   (40) Additional requirements associated with abort are given in D.6,
     ``Preemptive Abort''.

And in the referenced section D.6, we find

D.6 Preemptive Abort

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


I don't know where else you would look int the RM for semantics of abort
other than these two sections. Note that it is NOT the case that
abort completion points are only important if the compiler does not
support preemptive abort, I don't know where you got this idea. The
rule is that an abort CANNOT happen later than the point of an
abort completion point, and this absolute rule applies regardless
of the requirements in D.5(2-12) which do NOT contains this specific
requirement.