img/mark-sweep-2.dot

   1
   2 digraph {
   3          margin = 0;
   4          ratio  = fill;
   5          rankdir = LR;
   6          node [ shape = record, width = 0, height = 0];
   7          edge [ color = gray40 ];
   8
   9          subgraph cluster_all {
  10
  11             root [
  12                label     = "root\nset|<r0> r0\n*|<r1> r1",
  13                style     = filled,
  14                fillcolor = gray96,
  15             ];
  16
  17             subgraph marked {
  18                node [ style = filled, fillcolor = gray25, fontcolor = white ];
  19                h1;
  20             };
  21
  22             root:r0 -> h1 [ style = bold, color = black ];
  23             h1 -> h2 -> h5 -> h1;
  24             root:r1 -> h6 -> h2;
  25             h4 -> h3;
  26             h3 -> h5;
  27
  28          }
  29 }
  30