comp.lang.ada
 help / color / mirror / Atom feed
From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Ensuring resource cleanup
Date: Mon, 08 Feb 2010 15:47:51 -0500
Date: 2010-02-08T15:47:51-05:00	[thread overview]
Message-ID: <wccmxzjpi88.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: 87tytr7f7h.fsf@mid.deneb.enyo.de

Florian Weimer <fw@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



      reply	other threads:[~2010-02-08 20:47 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-02-08 14:16 Ensuring resource cleanup Florian Weimer
2010-02-08 15:29 ` Jean-Pierre Rosen
2010-02-08 15:31 ` Robert A Duff
2010-02-08 16:01   ` Florian Weimer
2010-02-08 16:18     ` Robert A Duff
2010-02-08 18:30       ` Florian Weimer
2010-02-08 20:47         ` Robert A Duff [this message]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox