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 Path: g2news2.google.com!news3.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!newsfeed00.sul.t-online.de!newsfeed01.sul.t-online.de!t-online.de!solnet.ch!solnet.ch!news-zh.switch.ch!switch.ch!cernne03.cern.ch!not-for-mail From: Maciej Sobczak Newsgroups: comp.lang.ada Subject: Re: GC in Ada Date: Mon, 12 Feb 2007 09:52:25 +0100 Organization: CERN News Message-ID: 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> <16tzxvuwoo.fsf@hod.lan.m-e-leypold.de> NNTP-Posting-Host: abpc10883.cern.ch Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Trace: cernne03.cern.ch 1171270345 6892 137.138.37.241 (12 Feb 2007 08:52:25 GMT) X-Complaints-To: news@@cern.ch NNTP-Posting-Date: Mon, 12 Feb 2007 08:52:25 +0000 (UTC) User-Agent: Thunderbird 1.5.0.9 (X11/20061220) In-Reply-To: <16tzxvuwoo.fsf@hod.lan.m-e-leypold.de> Xref: g2news2.google.com comp.lang.ada:9273 Date: 2007-02-12T09:52:25+01:00 List-Id: Markus E Leypold wrote: >>>> 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). Observing the wall clock does not help much in a language where even null; can raise exceptions. Standard does not even guarantee that any given sequence of instructions will give consistent timings when run twice. Definitely, observice the wall clock is of no use to verify memory deallocation, since deallocation might have positive effect on the timing as well as negative or none at all. >> 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... On systems with virtual memory, deallocations that don't span at least one full page (that condition can be met after joining with other free blocks, though) will certainly not deallocate anything to the operating system. -- Maciej Sobczak : http://www.msobczak.com/ Programming : http://www.msobczak.com/prog/