From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,MAILING_LIST_MULTI, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,a6c65cbc407987fe X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2002-11-18 22:45:03 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.tele.dk!news.tele.dk!small.news.tele.dk!fr.usenet-edu.net!usenet-edu.net!enst.fr!not-for-mail From: "Grein, Christoph" Newsgroups: comp.lang.ada Subject: Re: dynamic multithreading Date: Tue, 19 Nov 2002 07:38:04 +0100 (MET) Organization: ENST, France Sender: comp.lang.ada-admin@ada.eu.org Message-ID: Reply-To: comp.lang.ada@ada.eu.org NNTP-Posting-Host: marvin.enst.fr Mime-Version: 1.0 Content-Type: TEXT/plain; charset=us-ascii X-Trace: avanie.enst.fr 1037688302 39289 137.194.161.2 (19 Nov 2002 06:45:02 GMT) X-Complaints-To: usenet@enst.fr NNTP-Posting-Date: Tue, 19 Nov 2002 06:45:02 +0000 (UTC) Return-Path: X-Authentication-Warning: mail.eurocopter.com: uucp set sender to using -f Content-MD5: nu76/rKVgqkQPw9BRj8mdQ== X-Mailer: dtmail 1.2.1 CDE Version 1.2.1 SunOS 5.6 sun4u sparc Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org X-Mailman-Version: 2.0.13 Precedence: bulk X-Reply-To: "Grein, Christoph" List-Unsubscribe: , List-Id: comp.lang.ada mail<->news gateway List-Post: List-Help: List-Subscribe: , Errors-To: comp.lang.ada-admin@ada.eu.org X-BeenThere: comp.lang.ada@ada.eu.org Xref: archiver1.google.com comp.lang.ada:31087 Date: 2002-11-19T07:38:04+01:00 From: Lutz Donnerhacke > > * Pascal Obry wrote: > > !!!!! How is this possible ? A "new" without a "Free" and you claim no memory > > leak !!!!! > > Simple. The access variable has a local scope and all objects associated > with it are automatically freed when the type goes out of scope. You may > limit the pool size of this access type ... This is not true in general! Every access type has an assciated storage pool. If this pool is not defined upon declaration, a default storage pool is used. There is nothing in the standard that says that all allocated objects of an access type are freed when the access type goes out of scope. How could it, since this might be a global default storage pool. There is however RM 13.11(18): If Storage_Size is defined for an access type, all storage is reclaimed if the (master of) the type goes out of scope. So you have to limit the pool if you want such a kind of garbage collection.