Re: Oforth : garbage collector

From	Paul Rubin <no.email@nospam.invalid>
Newsgroups	comp.lang.forth
Subject	Re: Oforth : garbage collector
Date	2015-04-16 13:56 -0700
Organization	A noiseless patient Spider
Message-ID	<874mofiyg6.fsf@jester.gateway.pace.com> (permalink)
References	(4 earlier) <864f680d-c042-4aa4-a2bb-ede951c5997d@googlegroups.com> <8b5f2bf0-5890-4021-b54e-e559d897bde5@googlegroups.com> <b4388167-ae01-4aaf-b904-23b7617fb22b@googlegroups.com> <878udrj1rd.fsf@jester.gateway.pace.com> <b884e65a-5d0e-46c3-89b1-e4e80012b566@googlegroups.com>

Show all headers | View raw

franck.bensusan@gmail.com writes:
> "I see a growing consensus that time-based methods...
>  allow more realistic timing analysis of the real-time code
> Well, it seems that I have already implemented a sort of real time GC 
> without even knowing it...

Not really, the above only makes sense in the context of incremental
collectors that do a bounded amount of work at each operation.
Mark-sweep is a traditional stop-the-world algorithm and doesn't fit
this picture.

> I will study this more precisely , particulary their Metronome algorithm.

Perry Cheng's PhD thesis is pretty readable, if you can find it online.

Here's a paper by Cheng and Blelloch that is probably an overview:

http://www.cs.cmu.edu/~blelloch/papers/gc2001.pdf

The cool trick is being a parallel real-time GC and I think Metronome
related but newer and fancier.  But, single-threaded real-time GC has
existed for a long time, e.g the Baker treadmill:

http://home.pipeline.com/~hbaker1/NoMotionGC.html

It might be possible to just write the real-time parts of your program
to do no allocation, then run them in separate tasks with guaranteed
time slices, so no GC at all need be run in them.  I think I've heard of
some robotics stuff programmed that way in Scheme.

Thread

Oforth : garbage collector franck.bensusan@gmail.com - 2015-04-13 13:43 -0700
  Re: Oforth : garbage collector Paul Rubin <no.email@nospam.invalid> - 2015-04-14 10:38 -0700
    Re: Oforth : garbage collector franck.bensusan@gmail.com - 2015-04-14 14:17 -0700
      Re: Oforth : garbage collector Paul Rubin <no.email@nospam.invalid> - 2015-04-15 13:21 -0700
        Re: Oforth : garbage collector hughaguilar96@gmail.com - 2015-04-15 14:04 -0700
          Re: Oforth : garbage collector Mark Wills <markwills1970@gmail.com> - 2015-04-16 00:57 -0700
            Re: Oforth : garbage collector franck.bensusan@gmail.com - 2015-04-16 10:42 -0700
              Re: Oforth : garbage collector Paul Rubin <no.email@nospam.invalid> - 2015-04-16 12:45 -0700
                Re: Oforth : garbage collector franck.bensusan@gmail.com - 2015-04-16 13:27 -0700
                Re: Oforth : garbage collector Paul Rubin <no.email@nospam.invalid> - 2015-04-16 13:56 -0700
                Re: Oforth : garbage collector franck.bensusan@gmail.com - 2015-04-19 11:43 -0700
                Re: Oforth : garbage collector Paul Rubin <no.email@nospam.invalid> - 2015-04-19 20:38 -0700

csiph-web