comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: Allocators and memory reclamation
Date: Tue, 29 Jan 2008 13:50:19 +0100
Date: 2008-01-29T13:50:19+01:00	[thread overview]
Message-ID: <k5gkcpm8s0r0.1aulbryi5kgeo$.dlg@40tude.net> (raw)
In-Reply-To: mailman.30.1201604823.3834.comp.lang.ada@ada-france.org

On Tue, 29 Jan 2008 12:06:19 +0100, Grein, Christoph (Fa. ESG) wrote:

> Dmitry wrote:

>> In my understanding Deallocate is just not called. One can enforce this 
>> behavior when there is GC by applying the pragma Controlled, but not the 
>> reverse. 
> 
> No, just the reverse, pragma Controlled prevents automatic garbage
> collection, see RM 13.11.3(1).

Yes, that is what I meant

type My_Type_Ptr is access ...;
pragma Controlled (My_Type_Ptr);  -- No Deallocate ever implicitly called

Without the pragma it isn't called anyway, but it could be if there were GC
present.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de



  reply	other threads:[~2008-01-29 12:50 UTC|newest]

Thread overview: 15+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-01-29 11:06 Allocators and memory reclamation Grein, Christoph (Fa. ESG)
2008-01-29 12:50 ` Dmitry A. Kazakov [this message]
  -- strict thread matches above, loose matches on Subject: below --
2008-01-28 13:49 Maciej Sobczak
2008-01-28 14:52 ` gpriv
2008-01-28 14:53 ` Lucretia
2008-01-28 16:00   ` gpriv
2008-01-28 22:46     ` Alex R. Mosteo
2008-01-28 15:15 ` Dmitry A. Kazakov
2008-01-28 22:27   ` Maciej Sobczak
2008-01-28 23:54     ` Adam Beneschan
2008-01-29  9:38     ` Dmitry A. Kazakov
2008-01-28 23:07   ` Randy Brukardt
2008-01-28 22:00 ` Aurele
2008-01-29  0:41 ` Robert A Duff
2008-01-29 11:12   ` Maciej Sobczak
replies disabled

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