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-Thread: 103376,21960280f1d61e84 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Newsgroups: comp.lang.ada Subject: Re: GC in Ada References: <1169636785.504223.139630@j27g2000cwj.googlegroups.com> <3pejpgfbki.fsf@hod.lan.m-e-leypold.de> <45c99c24$1@news.post.ch> <45c9bdb8$1@news.post.ch> From: Markus E Leypold Organization: N/A Date: Fri, 09 Feb 2007 17:23:35 +0100 Message-ID: <16tzxvuwoo.fsf@hod.lan.m-e-leypold.de> User-Agent: Some cool user agent (SCUG) Cancel-Lock: sha1:shAaLCYMFPWKgoCr75LQ1aY7k64= MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii NNTP-Posting-Host: 88.72.219.206 X-Trace: news.arcor-ip.de 1171037903 88.72.219.206 (9 Feb 2007 17:18:23 +0200) X-Complaints-To: abuse@arcor-ip.de Path: g2news2.google.com!news1.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!newsfeed.arcor-ip.de!news.arcor-ip.de!not-for-mail Xref: g2news2.google.com comp.lang.ada:9201 Date: 2007-02-09T17:23:35+01:00 List-Id: Maciej Sobczak writes: >> Oh yes. Deallocating immeditately and deallocating later makes a >> difference in time and space behaviour -- which IS measurable outside >> the program > > With a small issues that this possibility is not formalized by the > language standard (please read carefully my sentence above: "there is > no *legal* way *for the program*"). > > And that is why it is *not* measurable, because there is no sensible > way to define at which level of memory management it should be > measured. You said: >>> I don't understand. There is no legal way for the program to verify >>> that anything was indeed deallocated, so it doesn't make much sense to >>> say that this behaviour is required. This is a 'non sequitur', since it makes sense to say the behaviour is required to fix certain real time properties. Regardless of wether it can be detected in the program (and it could, by observing the wall clock). > As was already pointed out in this thread, with some operating systems > memory reclamation might not be meaningful at all unless the whole > program is terminated. I don't even ask to be shown such an operating system... Regards -- Markus