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,fd63afa4dc364b7e X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-03-14 00:07:49 PST Path: supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!news.iac.net!news-out.cwix.com!newsfeed.cwix.com!EU.net!blackbush.xlink.net!fu-berlin.de!news.cid.net!news.enyo.de!news1.enyo.de!not-for-mail From: Florian Weimer Newsgroups: comp.lang.ada Subject: Re: Better support for garbage collection Date: 14 Mar 2001 09:16:35 +0100 Organization: Enyo's not your organization Message-ID: <87vgpc3gv0.fsf@deneb.enyo.de> References: <98m938$2iod0$1@ID-25716.news.dfncis.de> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Xref: supernews.google.com comp.lang.ada:5710 Date: 2001-03-14T09:16:35+01:00 List-Id: "Nick Roberts" writes: > One question in my mind is whether the second parameter of the Unlock > procedure should be a token or an address. Might the latter enable compilers > to generate slightly better code? IMHO, it's better to separate address-based storage pools from token-based storage pools completely. In addition, your proposal doesn't analyze the interaction of such storage pools with the rest of the language. For example, subprogram calls with arguments allocated in token-based storage pools can be implemented in two different ways (caller locking and callee locking), with different results (less locking overhead vs. short locking periods). The general question regarding garbage collection and Ada is: With the current Ada language, type safe, non-compacting garbage collection is already possible. Why don't typical Ada implementations (which produce native code) support garbage collection? There seem to be many reservations about garbage collections, so I think the priority issue is to provide an implementation of garbage collection which demonstrates that better garbage collection