ghc/docs/storage-mgt/architecture.eepic

   1 \setlength{\unitlength}{0.00054167in}
   2 %
   3 \begingroup\makeatletter\ifx\SetFigFont\undefined%
   4 \gdef\SetFigFont#1#2#3#4#5{%
   5   \reset@font\fontsize{#1}{#2pt}%
   6   \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
   7   \selectfont}%
   8 \fi\endgroup%
   9 {\renewcommand{\dashlinestretch}{30}
  10 \begin{picture}(5262,4014)(0,-10)
  11 \path(2175,912)(4800,912)(4800,1212)
  12         (2175,1212)(2175,912)
  13 \path(2325,12)(4575,12)(4575,312)
  14         (2325,312)(2325,12)
  15 \path(2175,1812)(4800,1812)(4800,2112)
  16         (2175,2112)(2175,1812)
  17 \path(1725,3237)(5250,3237)(5250,762)
  18         (1725,762)(1725,3237)
  19 \path(1800,2712)(3300,2712)(3300,3012)
  20         (1800,3012)(1800,2712)
  21 \path(3300,2712)(5175,2712)(5175,3012)
  22         (3300,3012)(3300,2712)
  23 \path(3300,3687)(5100,3687)(5100,3987)
  24         (3300,3987)(3300,3687)
  25 \path(2100,3687)(3300,3687)(3300,3987)
  26         (2100,3987)(2100,3687)
  27 \path(3270.000,3132.000)(3300.000,3012.000)(3330.000,3132.000)
  28 \path(3300,3012)(3300,3687)
  29 \path(3330.000,3567.000)(3300.000,3687.000)(3270.000,3567.000)
  30 \path(3270.000,2232.000)(3300.000,2112.000)(3330.000,2232.000)
  31 \path(3300,2112)(3300,2712)
  32 \path(3330.000,2592.000)(3300.000,2712.000)(3270.000,2592.000)
  33 \path(3270.000,1332.000)(3300.000,1212.000)(3330.000,1332.000)
  34 \path(3300,1212)(3300,1812)
  35 \path(3330.000,1692.000)(3300.000,1812.000)(3270.000,1692.000)
  36 \path(3330.000,792.000)(3300.000,912.000)(3270.000,792.000)
  37 \path(3300,912)(3300,312)
  38 \path(3270.000,432.000)(3300.000,312.000)(3330.000,432.000)
  39 \put(0,1962){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}storage manager}}}}}
  40 \put(1875,2787){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}heap allocator}}}}}
  41 \put(3375,2787){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}garbage collector}}}}}
  42 \put(2700,1887){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}block allocator}}}}}
  43 \put(2475,987){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}megablock allocator}}}}}
  44 \put(2625,87){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}operating system}}}}}
  45 \put(2175,3762){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}mutatator}}}}}
  46 \put(3375,3762){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}runtime system}}}}}
  47 \end{picture}
  48 }