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,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fac41,2c6139ce13be9980
X-Google-Attributes: gidfac41,public
X-Google-Thread: 103376,3d3f20d31be1c33a
X-Google-Attributes: gid103376,public
X-Google-Thread: 1014db,3d3f20d31be1c33a
X-Google-Attributes: gid1014db,public
X-Google-Thread: 1108a1,2c6139ce13be9980
X-Google-Attributes: gid1108a1,public
X-Google-Thread: 109fba,2c6139ce13be9980
X-Google-Attributes: gid109fba,public
X-Google-Thread: f43e6,2c6139ce13be9980
X-Google-Attributes: gidf43e6,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Safety-critical development in Ada and Eiffel
Date: 1997/07/17
Message-ID: <dewar.869196011@merv>#1/1
X-Deja-AN: 257526669
References: <ED2MuF.4n6.0.-s@inmet.camb.inmet.com> <ED3E9M.F0u@syd.csa.com.au>
 <33C56F97.1223@gsfc.nasa.gov> <slrn5scda9.3bm.abo@minkirri.apana.org.au>
 <5qc53v$kb6@alumni.rpi.edu> <33CBF5DE.D5FB1B6C@munich.netsurf.de>
Organization: New York University
Newsgroups: 
 comp.object,comp.software-eng,comp.lang.ada,comp.lang.eiffel,comp.lang.c,comp.lang.c++
Date: 1997-07-17T00:00:00+00:00
List-Id: <comp.lang.ada>


J Durchholz said

<<Arrgh! Will that idea nevere go away!!
The best available GC algorithms don't go away for compacting; they run
in parallel with the normal program (as a coroutine if you don't want a
preemptive scheduler).
>>


All very well, and a loud minority has been yelling this for a while :-)

But what would be convincing would be actual examples of critical real
time programs that use this kind of concurrent garbage collection
successfully. Typically in the past we have often seen posts of this
kind based on best understanding of current theory, but we have not
seen much in the way of real life experience articles!