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}(5787,4014)(0,-10)
  11 \path(2700,912)(5325,912)(5325,1212)
  12         (2700,1212)(2700,912)
  13 \path(2850,12)(5100,12)(5100,312)
  14         (2850,312)(2850,12)
  15 \path(2700,1812)(5325,1812)(5325,2112)
  16         (2700,2112)(2700,1812)
  17 \path(3825,2712)(5700,2712)(5700,3012)
  18         (3825,3012)(3825,2712)
  19 \path(3825,3687)(5625,3687)(5625,3987)
  20         (3825,3987)(3825,3687)
  21 \path(2625,3687)(3825,3687)(3825,3987)
  22         (2625,3987)(2625,3687)
  23 \path(3795.000,3357.000)(3825.000,3237.000)(3855.000,3357.000)
  24 \path(3825,3237)(3825,3687)
  25 \path(3855.000,3567.000)(3825.000,3687.000)(3795.000,3567.000)
  26 \path(3795.000,1332.000)(3825.000,1212.000)(3855.000,1332.000)
  27 \path(3825,1212)(3825,1812)
  28 \path(3855.000,1692.000)(3825.000,1812.000)(3795.000,1692.000)
  29 \path(1875,3237)(5775,3237)(5775,762)
  30         (1875,762)(1875,3237)
  31 \path(3855.000,642.000)(3825.000,762.000)(3795.000,642.000)
  32 \path(3825,762)(3825,312)
  33 \path(3795.000,432.000)(3825.000,312.000)(3855.000,432.000)
  34 \path(2025,2712)(3525,2712)(3525,3012)
  35         (2025,3012)(2025,2712)
  36 \path(3195.000,2232.000)(3225.000,2112.000)(3255.000,2232.000)
  37 \path(3225,2112)(3225,2712)
  38 \path(3255.000,2592.000)(3225.000,2712.000)(3195.000,2592.000)
  39 \path(4320.000,2232.000)(4350.000,2112.000)(4380.000,2232.000)
  40 \path(4350,2112)(4350,2712)
  41 \path(4380.000,2592.000)(4350.000,2712.000)(4320.000,2592.000)
  42 \path(3525,2937)(3825,2937)
  43 \path(3705.000,2907.000)(3825.000,2937.000)(3705.000,2967.000)
  44 \path(3825,2787)(3525,2787)
  45 \path(3645.000,2817.000)(3525.000,2787.000)(3645.000,2757.000)
  46 \put(3225,1887){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}block allocator}}}}}
  47 \put(3000,987){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}megablock allocator}}}}}
  48 \put(3150,87){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}operating system}}}}}
  49 \put(2700,3762){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}mutatator}}}}}
  50 \put(3900,3762){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}runtime system}}}}}
  51 \put(2100,2787){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}heap allocator}}}}}
  52 \put(3975,2787){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}garbage collector}}}}}
  53 \put(0,1962){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}storage manager}}}}}
  54 \end{picture}
  55 }