From: Florian Weimer on
* Robert A. Duff:

> To get rid of aborts, I think you need both No_Abort_Statements
> and Max_Asynchronous_Select_Nesting => 0. I believe this will
> cause the overhead of abort deferral to go away, but to be sure,
> you should try it.

Max_Asynchronous_Select_Nesting => 0 does indeed the trick. I would
never have guessed that, thanks.
From: Robert A Duff on
Florian Weimer <fw(a)deneb.enyo.de> writes:

> * Robert A. Duff:
>
>> To get rid of aborts, I think you need both No_Abort_Statements
>> and Max_Asynchronous_Select_Nesting => 0. I believe this will
>> cause the overhead of abort deferral to go away, but to be sure,
>> you should try it.
>
> Max_Asynchronous_Select_Nesting => 0 does indeed the trick.

Don't you need No_Abort_Statements as well?

>...I would
> never have guessed that, thanks.

You're welcome. What goes on at run time for a select-then-abort
is very similar to what goes on for aborting a task. Deferring
aborts applies to both.

- Bob