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.9 required=5.0 tests=BAYES_00 autolearn=ham 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 04:30:08 PST Path: archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.uchicago.edu!newsswitch.lcs.mit.edu!newspump.monmouth.com!newspeer.monmouth.com!news.tele.dk!news.tele.dk!small.news.tele.dk!oleane.net!oleane!nnrp.oleane.net!not-for-mail From: Thierry Lelegard Newsgroups: comp.lang.ada Subject: Re: dynamic multithreading Date: Mon, 18 Nov 2002 13:25:39 +0100 Organization: CANAL+ TECHNOLOGIES Message-ID: <3DD8DC43.AC6CAFBB@canal-plus.fr> References: NNTP-Posting-Host: host227.canal-plus.fr Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Trace: s1.read.news.oleane.net 1037622339 27491 194.2.208.227 (18 Nov 2002 12:25:39 GMT) X-Complaints-To: abuse@oleane.net NNTP-Posting-Date: Mon, 18 Nov 2002 12:25:39 +0000 (UTC) X-Mailer: Mozilla 4.78 [fr]C-CCK-MCD C+ (WinNT; U) X-Accept-Language: fr,en,zh-CN,zh-TW Xref: archiver1.google.com comp.lang.ada:31038 Date: 2002-11-18T13:25:39+01:00 List-Id: > Of course this program _must_ consume all memory. > > You explicitly allocate on the heap, but never deallocate. That's what > Unchecked_Deallocation is for. > > Or do you mean even with Free, it consumes all memory? We agree, that's the whole point. Using Free does not leak. But, in the previous note, the author seems to think that there should be not memory leak, even without unchecked_deallocation: > > - Second, you must absolutely unchecked_deallocate each task after > > it is terminated (not always trivial to synchronize on actual > > termination of a task). Otherwise, you have a memory leak. > > Which means you don't trust the run-time system to do some > elementary GC? If you are *that* paranoid (or have a good > reason to be) perhaps it's time to abandon Ada and switch > back to the good old Assembly language. -Thierry Lelegard