comp.lang.ada
 help / color / mirror / Atom feed
From: Florian Weimer <fw@deneb.enyo.de>
Subject: Re: Ensuring resource cleanup
Date: Mon, 08 Feb 2010 19:30:26 +0100
Date: 2010-02-08T19:30:26+01:00	[thread overview]
Message-ID: <87tytr7f7h.fsf@mid.deneb.enyo.de> (raw)
In-Reply-To: wcceikvk8f1.fsf@shell01.TheWorld.com

* 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.



  reply	other threads:[~2010-02-08 18:30 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 [this message]
2010-02-08 20:47         ` Robert A Duff
replies disabled

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