abort statement and exception handlers

abort statement and exception handlers

["", Mats Weber]

Question on the design of the abort statement:

From LRM 9.10:

The completion of any other abnormal task need not happen before completion
of the abort statement.  It must happen no later  than  when  the  abnormal
task  reaches a synchronization point that is one of the following: the end
of its activation;  a point where it causes the activation of another task;
an entry call; the start or the end  of  an  accept  statement;   a  select
statement;   a  delay  statement;   an  exception  handler;   or  an  abort
                                    ^^^^^^^^^^^^^^^^^^^^^^
statement.  [....]. 

Does anybody know why exception handlers were included in this list ?

All other items in the list have something to do with tasking (that is, 
they require a call to the run time system), but an exeption handler might 
very well be supported by hardware.

Mats Weber
Swiss Federal Institute of Technology
EPFL DI LGL
1015 Lausanne
Switzerland

E-mail : madmats@elcgl.epfl.ch
phone  : +41 21 693 52 92
fax    : +41 21 693 39 09