<?xml version="1.0" encoding="ISO-8859-1"?>

<!DOCTYPE message PUBLIC
  "-//MLarc//DTD MLarc output files//EN"
  "../../mlarc.dtd"[
  <!ATTLIST message
    listname CDATA #REQUIRED
    title CDATA #REQUIRED
  >
]>

  <?xml-stylesheet href="../../mlarc.xsl" type="text/xsl"?>


<message 
  url="2002/07/2269523b82cf172a696d2c4a1f630211"
  from="Damien Doligez &lt;damien.doligez@i...&gt;"
  author="Damien Doligez"
  date="2002-07-29T13:59:44"
  subject="Re:  [Caml-list] compact.c"
  prev="2002/07/4f1869a4c8257c437932a5af13bb925d"
  next="2002/07/953012c71fbcb073fef9a799a8a151f6"
  prev-thread="2002/07/08b5453c237ff76a342f53e57f63faec"
  next-thread="2002/07/61f7a1e4d4165ee5a560e6259e686a4f"
  root="../../"
  period="month"
  listname="caml-list"
  title="Archives of the Caml mailing list">

<thread subject="Re:  [Caml-list] compact.c">
<msg 
  url="2002/07/2269523b82cf172a696d2c4a1f630211"
  from="Damien Doligez &lt;damien.doligez@i...&gt;"
  author="Damien Doligez"
  date="2002-07-29T13:59:44"
  subject="Re:  [Caml-list] compact.c">
</msg>
</thread>

<contents>
&gt;From: Julie Farago &lt;farago@eecs.harvard.edu&gt;
&gt;
&gt;Is there a paper on the compaction code (compact.c) of the garbage
&gt;collector (in byterun/)? Even though the documentation in this file is
&gt;really exceptional, I am a little confused by how the inversion of
&gt;pointers is used to compact the heap. Is there an algorithm I should
&gt;lookup?

There is no paper on compact.c itself, but the algorithm is not
original.  If I remember correctly, it is from this paper:

F. Lockwood Morris, A time- and space-efficient garbage compaction
algorithm, Communications of the ACM, v.21 n.8, p.662-665, Aug. 1978

The only tricky part is the double inversion of pointers to infix
headers.  If you really need it, I'll write up a short description and
put it on my web page.

-- Damien
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners

</contents>

</message>

