img/mark-sweep-1.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&nbsp;|<r1> r1",
  13                style     = filled,
  14                fillcolor = gray96,
  15             ];
  16
  17             subgraph marked {
  18                node [ style = filled, fillcolor = gray25, fontcolor = white ];
  19             };
  20
  21             root:r0 -> h1;
  22             h1 -> h2 -> h5 -> h1;
  23             root:r1 -> h6 -> h2;
  24             h4 -> h3;
  25             h3 -> h5;
  26
  27          }
  28 }
  29