[project @ 2001-08-22 10:53:23 by gla]

eepic files created from fig files.

diff --git a/ghc/docs/storage-mgt/architecture.eepic b/ghc/docs/storage-mgt/architecture.eepic
new file mode 100644 (file)
index 0000000..de60bf1
--- /dev/null
+++ b/ghc/docs/storage-mgt/architecture.eepic
@@ -0,0 +1,48 @@
+\setlength{\unitlength}{0.00054167in}
+%
+\begingroup\makeatletter\ifx\SetFigFont\undefined%
+\gdef\SetFigFont#1#2#3#4#5{%
+  \reset@font\fontsize{#1}{#2pt}%
+  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
+  \selectfont}%
+\fi\endgroup%
+{\renewcommand{\dashlinestretch}{30}
+\begin{picture}(5262,4014)(0,-10)
+\path(2175,912)(4800,912)(4800,1212)
+       (2175,1212)(2175,912)
+\path(2325,12)(4575,12)(4575,312)
+       (2325,312)(2325,12)
+\path(2175,1812)(4800,1812)(4800,2112)
+       (2175,2112)(2175,1812)
+\path(1725,3237)(5250,3237)(5250,762)
+       (1725,762)(1725,3237)
+\path(1800,2712)(3300,2712)(3300,3012)
+       (1800,3012)(1800,2712)
+\path(3300,2712)(5175,2712)(5175,3012)
+       (3300,3012)(3300,2712)
+\path(3300,3687)(5100,3687)(5100,3987)
+       (3300,3987)(3300,3687)
+\path(2100,3687)(3300,3687)(3300,3987)
+       (2100,3987)(2100,3687)
+\path(3270.000,3132.000)(3300.000,3012.000)(3330.000,3132.000)
+\path(3300,3012)(3300,3687)
+\path(3330.000,3567.000)(3300.000,3687.000)(3270.000,3567.000)
+\path(3270.000,2232.000)(3300.000,2112.000)(3330.000,2232.000)
+\path(3300,2112)(3300,2712)
+\path(3330.000,2592.000)(3300.000,2712.000)(3270.000,2592.000)
+\path(3270.000,1332.000)(3300.000,1212.000)(3330.000,1332.000)
+\path(3300,1212)(3300,1812)
+\path(3330.000,1692.000)(3300.000,1812.000)(3270.000,1692.000)
+\path(3330.000,792.000)(3300.000,912.000)(3270.000,792.000)
+\path(3300,912)(3300,312)
+\path(3270.000,432.000)(3300.000,312.000)(3330.000,432.000)
+\put(0,1962){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}storage manager}}}}}
+\put(1875,2787){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}heap allocator}}}}}
+\put(3375,2787){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}garbage collector}}}}}
+\put(2700,1887){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}block allocator}}}}}
+\put(2475,987){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}megablock allocator}}}}}
+\put(2625,87){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}operating system}}}}}
+\put(2175,3762){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}mutatator}}}}}
+\put(3375,3762){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}runtime system}}}}}
+\end{picture}
+}

diff --git a/ghc/docs/storage-mgt/freelist.eepic b/ghc/docs/storage-mgt/freelist.eepic
new file mode 100644 (file)
index 0000000..f87d939
--- /dev/null
+++ b/ghc/docs/storage-mgt/freelist.eepic
@@ -0,0 +1,104 @@
+\setlength{\unitlength}{0.00050000in}
+%
+\begingroup\makeatletter\ifx\SetFigFont\undefined%
+\gdef\SetFigFont#1#2#3#4#5{%
+  \reset@font\fontsize{#1}{#2pt}%
+  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
+  \selectfont}%
+\fi\endgroup%
+{\renewcommand{\dashlinestretch}{30}
+\begin{picture}(9912,7369)(0,-10)
+\path(1125,6067)(2100,6067)
+\path(1980.000,6037.000)(2100.000,6067.000)(1980.000,6097.000)
+\path(5025,6367)(6000,6367)(6000,5167)
+       (5025,5167)(5025,6367)
+\path(4650,6367)(5025,6367)(5025,5167)
+       (4650,5167)(4650,6367)
+\path(3675,6367)(4650,6367)(4650,5167)
+       (3675,5167)(3675,6367)
+\path(6600,6367)(7575,6367)(7575,5167)
+       (6600,5167)(6600,6367)
+\path(8925,6367)(9900,6367)(9900,5167)
+       (8925,5167)(8925,6367)
+\path(7575,6367)(8550,6367)(8550,5167)
+       (7575,5167)(7575,6367)
+\path(8550,6367)(8925,6367)(8925,5167)
+       (8550,5167)(8550,6367)
+\path(2100,6367)(3675,6367)(3675,5167)
+       (2100,5167)(2100,6367)
+\path(2850,6217)(2850,6667)(6600,6667)(6600,6367)
+\path(6570.000,6487.000)(6600.000,6367.000)(6630.000,6487.000)
+\path(4425,6217)(4425,6967)(7575,6967)(7575,6367)
+\path(7545.000,6487.000)(7575.000,6367.000)(7605.000,6487.000)
+\path(5700,6217)(5700,7342)(8925,7342)(8925,6367)
+\path(8895.000,6487.000)(8925.000,6367.000)(8955.000,6487.000)
+\path(4350,5317)(4350,4792)(2100,4792)(2100,5167)
+\path(2130.000,5047.000)(2100.000,5167.000)(2070.000,5047.000)
+\path(5625,5317)(5625,4492)(2100,4492)(2100,5167)
+\path(2130.000,5047.000)(2100.000,5167.000)(2070.000,5047.000)
+\path(3000,5917)(3000,6667)
+\path(5025,2842)(6000,2842)(6000,1642)
+       (5025,1642)(5025,2842)
+\path(4650,2842)(5025,2842)(5025,1642)
+       (4650,1642)(4650,2842)
+\path(3675,2842)(4650,2842)(4650,1642)
+       (3675,1642)(3675,2842)
+\path(6600,2842)(7575,2842)(7575,1642)
+       (6600,1642)(6600,2842)
+\path(8925,2842)(9900,2842)(9900,1642)
+       (8925,1642)(8925,2842)
+\path(7575,2842)(8550,2842)(8550,1642)
+       (7575,1642)(7575,2842)
+\path(8550,2842)(8925,2842)(8925,1642)
+       (8550,1642)(8550,2842)
+\path(2100,2842)(3675,2842)(3675,1642)
+       (2100,1642)(2100,2842)
+\path(2850,2692)(2850,3142)(6600,3142)(6600,2842)
+\path(6570.000,2962.000)(6600.000,2842.000)(6630.000,2962.000)
+\path(4425,2692)(4425,3442)(7575,3442)(7575,2842)
+\path(7545.000,2962.000)(7575.000,2842.000)(7605.000,2962.000)
+\path(5700,2692)(5700,3817)(8925,3817)(8925,2842)
+\path(8895.000,2962.000)(8925.000,2842.000)(8955.000,2962.000)
+\path(4350,1792)(4350,1267)(2100,1267)(2100,1642)
+\path(2130.000,1522.000)(2100.000,1642.000)(2070.000,1522.000)
+\path(5625,1792)(5625,967)(2100,967)(2100,1642)
+\path(2130.000,1522.000)(2100.000,1642.000)(2070.000,1522.000)
+\path(3000,2392)(3000,3142)
+\path(2250,5317)(1650,5317)(1650,2542)(2100,2542)
+\path(1980.000,2512.000)(2100.000,2542.000)(1980.000,2572.000)
+\path(2250,1792)(1650,1792)(1650,142)(2325,142)
+\path(2205.000,112.000)(2325.000,142.000)(2205.000,172.000)
+\put(0,5992){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free\_list}}}}}
+\put(8625,5917){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}...}}}}}
+\put(4725,5767){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}...}}}}}
+\put(3750,5242){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link}}}}}
+\put(5100,5242){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link}}}}}
+\put(2175,6142){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
+\put(2175,5842){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free}}}}}
+\put(3750,6142){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
+\put(5100,6142){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
+\put(7800,6442){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}block}}}}}
+\put(6825,6442){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}block}}}}}
+\put(9150,6442){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}block}}}}}
+\put(2175,5542){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks=$n_1$}}}}}
+\put(3750,5842){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free=0}}}}}
+\put(5100,5842){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free=0}}}}}
+\put(8625,2392){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}...}}}}}
+\put(4725,2242){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}...}}}}}
+\put(3750,1717){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link}}}}}
+\put(5100,1717){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link}}}}}
+\put(2175,2617){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
+\put(2175,2317){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free}}}}}
+\put(3750,2617){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
+\put(5100,2617){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
+\put(7800,2917){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}block}}}}}
+\put(6825,2917){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}block}}}}}
+\put(9150,2917){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}block}}}}}
+\put(3750,2317){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free=0}}}}}
+\put(5100,2317){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free=0}}}}}
+\put(2325,5242){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link}}}}}
+\put(2325,1717){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link}}}}}
+\put(2475,67){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}next block group}}}}}
+\put(2175,2017){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks=$n_2$}}}}}
+\end{picture}
+}

diff --git a/ghc/docs/storage-mgt/gen.eepic b/ghc/docs/storage-mgt/gen.eepic
new file mode 100644 (file)
index 0000000..b50d691
--- /dev/null
+++ b/ghc/docs/storage-mgt/gen.eepic
@@ -0,0 +1,57 @@
+\setlength{\unitlength}{0.00050000in}
+%
+\begingroup\makeatletter\ifx\SetFigFont\undefined%
+\gdef\SetFigFont#1#2#3#4#5{%
+  \reset@font\fontsize{#1}{#2pt}%
+  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
+  \selectfont}%
+\fi\endgroup%
+{\renewcommand{\dashlinestretch}{30}
+\begin{picture}(9849,5907)(0,-10)
+\path(3237,5562)(4212,5562)(4212,4062)
+       (3237,4062)(3237,5562)
+\path(4212,5562)(5187,5562)(5187,4062)
+       (4212,4062)(4212,5562)
+\path(5187,5562)(6162,5562)(6162,4062)
+       (5187,4062)(5187,5562)
+\path(6162,5562)(7137,5562)(7137,4062)
+       (6162,4062)(6162,5562)
+\put(5487,4737){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}......}}}}}
+\put(4812,5712){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}step[]}}}}}
+\path(7812,2712)(9837,2712)(9837,2112)
+       (7812,2112)(7812,2712)
+\put(7887,2862){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}END\_MUT\_LIST}}}}}
+\path(6687,312)(7812,2412)
+\path(7781.778,2292.056)(7812.000,2412.000)(7728.889,2320.389)
+\path(6687,2412)(7812,2412)
+\path(7692.000,2382.000)(7812.000,2412.000)(7692.000,2442.000)
+\put(6012,312){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}......}}}}}
+\put(6012,2412){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}......}}}}}
+\path(4662,312)(5787,312)
+\path(5667.000,282.000)(5787.000,312.000)(5667.000,342.000)
+\path(3237,612)(5262,612)(5262,12)
+       (3237,12)(3237,612)
+\path(4662,2412)(5787,2412)
+\path(5667.000,2382.000)(5787.000,2412.000)(5667.000,2442.000)
+\path(3237,2712)(5262,2712)(5262,2112)
+       (3237,2112)(3237,2712)
+\put(3387,237){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}mut\_link}}}}}
+\put(3312,762){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}StgMutClosure}}}}}
+\put(3387,2337){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}mut\_link}}}}}
+\put(3312,2862){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}StgMutClosure}}}}}
+\path(912,3012)(2487,3012)(2487,4887)(3237,4887)
+\path(3117.000,4857.000)(3237.000,4887.000)(3117.000,4917.000)
+\path(1212,2412)(3237,2412)
+\path(3117.000,2382.000)(3237.000,2412.000)(3117.000,2442.000)
+\path(1737,2112)(2487,2112)(2487,312)(3237,312)
+\path(3117.000,282.000)(3237.000,312.000)(3117.000,342.000)
+\path(12,3462)(1887,3462)(1887,1962)
+       (12,1962)(12,3462)
+\put(87,3237){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}no}}}}}
+\put(237,3612){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}generation}}}}}
+\put(87,2937){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}steps}}}}}
+\put(87,2637){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}n\_steps}}}}}
+\put(87,2337){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}mut\_list}}}}}
+\put(87,2052){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}mut\_once\_list}}}}}
+\end{picture}
+}

diff --git a/ghc/docs/storage-mgt/generation.eepic b/ghc/docs/storage-mgt/generation.eepic
new file mode 100644 (file)
index 0000000..bea5a8c
--- /dev/null
+++ b/ghc/docs/storage-mgt/generation.eepic
@@ -0,0 +1,62 @@
+\setlength{\unitlength}{0.00050000in}
+%
+\begingroup\makeatletter\ifx\SetFigFont\undefined%
+\gdef\SetFigFont#1#2#3#4#5{%
+  \reset@font\fontsize{#1}{#2pt}%
+  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
+  \selectfont}%
+\fi\endgroup%
+{\renewcommand{\dashlinestretch}{30}
+\begin{picture}(8153,4017)(0,-10)
+\path(5025,3687)(6375,3687)
+\path(6255.000,3657.000)(6375.000,3687.000)(6255.000,3717.000)
+\path(2775,3687)(4125,3687)
+\path(4005.000,3657.000)(4125.000,3687.000)(4005.000,3717.000)
+\path(1875,3912)(2775,3912)(2775,3462)
+       (1875,3462)(1875,3912)
+\path(4125,3912)(5025,3912)(5025,3462)
+       (4125,3462)(4125,3912)
+\path(6375,3912)(7275,3912)(7275,3462)
+       (6375,3462)(6375,3912)
+\path(5025,2187)(6375,2187)
+\path(6255.000,2157.000)(6375.000,2187.000)(6255.000,2217.000)
+\path(2775,2187)(4125,2187)
+\path(4005.000,2157.000)(4125.000,2187.000)(4005.000,2217.000)
+\path(4125,2412)(5025,2412)(5025,1962)
+       (4125,1962)(4125,2412)
+\path(6375,2412)(7275,2412)(7275,1962)
+       (6375,1962)(6375,2412)
+\path(1875,2412)(2775,2412)(2775,1962)
+       (1875,1962)(1875,2412)
+\path(1875,912)(2775,912)(2775,462)
+       (1875,462)(1875,912)
+\path(7275,3687)(8025,3687)(8025,3012)
+       (2325,3012)(2325,2412)
+\path(2295.000,2532.000)(2325.000,2412.000)(2355.000,2532.000)
+\path(7275,2187)(8025,2187)(8025,1512)(5025,1512)
+\path(5145.000,1542.000)(5025.000,1512.000)(5145.000,1482.000)
+\path(4125,1512)(2325,1512)(2325,912)
+\path(2295.000,1032.000)(2325.000,912.000)(2355.000,1032.000)
+\path(2895.000,717.000)(2775.000,687.000)(2895.000,657.000)
+\path(2775,687)(3525,687)(3525,12)
+       (2325,12)(2325,462)
+\put(5550,3837){\makebox(0,0)[lb]{\smash{{{\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\updefault}......}}}}}
+\put(3225,3837){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}GC}}}}}
+\put(1950,3612){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}step 0}}}}}
+\put(4200,3612){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}step 1}}}}}
+\put(6450,3612){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}step $S$}}}}}
+\put(5550,2337){\makebox(0,0)[lb]{\smash{{{\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\updefault}......}}}}}
+\put(3225,2337){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}GC}}}}}
+\put(4200,2112){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}step 1}}}}}
+\put(6450,2112){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}step $S$}}}}}
+\put(1950,2112){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}step 0}}}}}
+\put(1950,612){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}step 0}}}}}
+\put(7800,3837){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}GC}}}}}
+\put(3225,837){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}GC}}}}}
+\put(4500,1512){\makebox(0,0)[lb]{\smash{{{\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\updefault}......}}}}}
+\put(0,3612){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}generation 0}}}}}
+\put(0,2112){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}generation 1}}}}}
+\put(0,612){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}generation $G$}}}}}
+\put(450,1512){\makebox(0,0)[lb]{\smash{{{\SetFigFont{7}{8.4}{\rmdefault}{\mddefault}{\updefault}......}}}}}
+\end{picture}
+}

diff --git a/ghc/docs/storage-mgt/largeobjectpool.eepic b/ghc/docs/storage-mgt/largeobjectpool.eepic
new file mode 100644 (file)
index 0000000..9c198fd
--- /dev/null
+++ b/ghc/docs/storage-mgt/largeobjectpool.eepic
@@ -0,0 +1,70 @@
+\setlength{\unitlength}{0.00050000in}
+%
+\begingroup\makeatletter\ifx\SetFigFont\undefined%
+\gdef\SetFigFont#1#2#3#4#5{%
+  \reset@font\fontsize{#1}{#2pt}%
+  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
+  \selectfont}%
+\fi\endgroup%
+{\renewcommand{\dashlinestretch}{30}
+\begin{picture}(10212,4689)(0,-10)
+\path(6900,4362)(10200,4362)(10200,3162)
+       (6900,3162)(6900,4362)
+\path(7020.000,3792.000)(6900.000,3762.000)(7020.000,3732.000)
+\path(6900,3762)(10050,3762)
+\path(9930.000,3732.000)(10050.000,3762.000)(9930.000,3792.000)
+\path(10050,4362)(10050,3162)
+\put(8100,4437){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks}}}}}
+\put(7875,3912){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}single object}}}}}
+\path(6900,2262)(10200,2262)(10200,1062)
+       (6900,1062)(6900,2262)
+\path(7020.000,1692.000)(6900.000,1662.000)(7020.000,1632.000)
+\path(6900,1662)(10050,1662)
+\path(9930.000,1632.000)(10050.000,1662.000)(9930.000,1692.000)
+\path(10050,2262)(10050,1062)
+\put(8100,2337){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks}}}}}
+\put(7875,1812){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}single object}}}}}
+\path(2550,4062)(3375,4062)
+\path(3255.000,4032.000)(3375.000,4062.000)(3255.000,4092.000)
+\path(3405.000,1182.000)(3525.000,1212.000)(3405.000,1242.000)
+\path(3525,1212)(2925,1212)(2925,12)(3375,12)
+\path(3255.000,-18.000)(3375.000,12.000)(3255.000,42.000)
+\path(3405.000,3282.000)(3525.000,3312.000)(3405.000,3342.000)
+\path(3525,3312)(2925,3312)(2925,2112)(3375,2112)
+\path(3255.000,2082.000)(3375.000,2112.000)(3255.000,2142.000)
+\path(3375,4362)(4950,4362)(4950,3162)
+       (3375,3162)(3375,4362)
+\path(4275,3912)(4275,4662)
+\path(4950,4362)(5400,4362)(5400,3162)
+       (4950,3162)(4950,4362)
+\path(5400,4362)(5850,4362)(5850,3162)
+       (5400,3162)(5400,4362)
+\path(5850,4362)(6300,4362)(6300,3162)
+       (5850,3162)(5850,4362)
+\path(3375,2262)(4950,2262)(4950,1062)
+       (3375,1062)(3375,2262)
+\path(4125,2112)(4125,2562)(6900,2562)(6900,2262)
+\path(6870.000,2382.000)(6900.000,2262.000)(6930.000,2382.000)
+\path(4275,1812)(4275,2562)
+\path(4950,2262)(5400,2262)(5400,1062)
+       (4950,1062)(4950,2262)
+\path(5400,2262)(5850,2262)(5850,1062)
+       (5400,1062)(5400,2262)
+\path(5850,2262)(6300,2262)(6300,1062)
+       (5850,1062)(5850,2262)
+\path(4125,4212)(4125,4662)(6900,4662)(6900,4362)
+\path(6870.000,4482.000)(6900.000,4362.000)(6930.000,4482.000)
+\put(3600,12){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}......}}}}}
+\put(3450,4137){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
+\put(3450,3837){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free}}}}}
+\put(3450,3537){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks=$n_1$}}}}}
+\put(3600,3237){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link}}}}}
+\put(5550,3762){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}...}}}}}
+\put(3450,2037){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
+\put(3450,1737){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free}}}}}
+\put(3600,1137){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link}}}}}
+\put(5550,1662){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}...}}}}}
+\put(3450,1437){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks=$n_2$}}}}}
+\put(0,3987){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}g0s0-$>$large\_objects}}}}}
+\end{picture}
+}

diff --git a/ghc/docs/storage-mgt/megablock.eepic b/ghc/docs/storage-mgt/megablock.eepic
new file mode 100644 (file)
index 0000000..9222269
--- /dev/null
+++ b/ghc/docs/storage-mgt/megablock.eepic
@@ -0,0 +1,35 @@
+\setlength{\unitlength}{0.00054167in}
+%
+\begingroup\makeatletter\ifx\SetFigFont\undefined%
+\gdef\SetFigFont#1#2#3#4#5{%
+  \reset@font\fontsize{#1}{#2pt}%
+  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
+  \selectfont}%
+\fi\endgroup%
+{\renewcommand{\dashlinestretch}{30}
+\begin{picture}(6849,1539)(0,-10)
+\put(687,1062){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}block}}}}}
+\put(687,837){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}descriptor}}}}}
+\path(612,1512)(1737,1512)(1737,462)
+       (612,462)(612,1512)
+\path(4062,1512)(5187,1512)(5187,462)
+       (4062,462)(4062,1512)
+\path(12,1512)(6837,1512)(6837,462)
+       (12,462)(12,1512)
+\path(2337,1512)(2337,462)
+\path(132.000,192.000)(12.000,162.000)(132.000,132.000)
+\path(12,162)(2337,162)
+\path(2217.000,132.000)(2337.000,162.000)(2217.000,192.000)
+\path(2457.000,192.000)(2337.000,162.000)(2457.000,132.000)
+\path(2337,162)(6837,162)
+\path(6717.000,132.000)(6837.000,162.000)(6717.000,192.000)
+\path(2337,12)(2337,312)
+\put(237,912){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}...}}}}}
+\put(1962,912){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}...}}}}}
+\put(2862,912){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}......}}}}}
+\put(5637,912){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}......}}}}}
+\put(4362,912){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}block}}}}}
+\put(312,237){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}block descriptors}}}}}
+\put(4212,237){\makebox(0,0)[lb]{\smash{{{\SetFigFont{8}{9.6}{\rmdefault}{\mddefault}{\updefault}blocks}}}}}
+\end{picture}
+}

diff --git a/ghc/docs/storage-mgt/nursery.eepic b/ghc/docs/storage-mgt/nursery.eepic
new file mode 100644 (file)
index 0000000..9b06c6e
--- /dev/null
+++ b/ghc/docs/storage-mgt/nursery.eepic
@@ -0,0 +1,89 @@
+\setlength{\unitlength}{0.00050000in}
+%
+\begingroup\makeatletter\ifx\SetFigFont\undefined%
+\gdef\SetFigFont#1#2#3#4#5{%
+  \reset@font\fontsize{#1}{#2pt}%
+  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
+  \selectfont}%
+\fi\endgroup%
+{\renewcommand{\dashlinestretch}{30}
+\begin{picture}(11262,7914)(0,-10)
+\path(4575,7137)(6150,7137)(6150,5937)
+       (4575,5937)(4575,7137)
+\path(5325,6987)(5325,7437)(7950,7437)(7950,7137)
+\path(7920.000,7257.000)(7950.000,7137.000)(7980.000,7257.000)
+\path(11025,7137)(11025,5937)
+\path(5475,6687)(5475,7437)
+\path(7950,7137)(11250,7137)(11250,5937)
+       (7950,5937)(7950,7137)
+\path(5475,6687)(5475,7887)(11025,7887)(11025,7137)
+\path(10995.000,7257.000)(11025.000,7137.000)(11055.000,7257.000)
+\path(4725,6087)(4125,6087)(4125,5562)
+\path(4095.000,5682.000)(4125.000,5562.000)(4155.000,5682.000)
+\path(8070.000,6567.000)(7950.000,6537.000)(8070.000,6507.000)
+\path(7950,6537)(11025,6537)
+\path(10905.000,6507.000)(11025.000,6537.000)(10905.000,6567.000)
+\path(4125,5112)(4125,4587)(4500,4587)
+\path(4380.000,4557.000)(4500.000,4587.000)(4380.000,4617.000)
+\path(4500,4662)(6075,4662)(6075,3462)
+       (4500,3462)(4500,4662)
+\path(5250,4512)(5250,4962)(7875,4962)(7875,4662)
+\path(7845.000,4782.000)(7875.000,4662.000)(7905.000,4782.000)
+\path(5400,4212)(5400,4962)
+\path(7875,4662)(11175,4662)(11175,3462)
+       (7875,3462)(7875,4662)
+\path(4650,3612)(4050,3612)(4050,2112)
+\path(4020.000,2232.000)(4050.000,2112.000)(4080.000,2232.000)
+\path(5400,4212)(5400,5412)(7875,5412)(7875,4662)
+\path(7845.000,4782.000)(7875.000,4662.000)(7905.000,4782.000)
+\path(7995.000,4092.000)(7875.000,4062.000)(7995.000,4032.000)
+\path(7875,4062)(9750,4062)
+\path(9630.000,4032.000)(9750.000,4062.000)(9630.000,4092.000)
+\path(9750,4662)(9750,3462)
+\path(9150,2787)(9750,2787)(9750,3462)
+\path(9780.000,3342.000)(9750.000,3462.000)(9720.000,3342.000)
+\path(9525,2337)(11175,2337)(11175,3462)
+\path(11205.000,3342.000)(11175.000,3462.000)(11145.000,3342.000)
+\path(3300,4737)(3300,4362)(4500,4362)
+\path(4380.000,4332.000)(4500.000,4362.000)(4380.000,4392.000)
+\path(3375,7212)(3375,6837)(4575,6837)
+\path(4455.000,6807.000)(4575.000,6837.000)(4455.000,6867.000)
+\path(4050,1662)(4050,1137)(4425,1137)
+\path(4305.000,1107.000)(4425.000,1137.000)(4305.000,1167.000)
+\path(4425,1212)(6000,1212)(6000,12)
+       (4425,12)(4425,1212)
+\path(5175,1062)(5175,1512)(7800,1512)(7800,1212)
+\path(7770.000,1332.000)(7800.000,1212.000)(7830.000,1332.000)
+\path(5325,762)(5325,1512)
+\path(7800,1212)(11100,1212)(11100,12)
+       (7800,12)(7800,1212)
+\path(5325,762)(5325,1962)(7800,1962)(7800,1212)
+\path(7770.000,1332.000)(7800.000,1212.000)(7830.000,1332.000)
+\put(4650,6912){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
+\put(4650,6612){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free}}}}}
+\put(4800,6012){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link}}}}}
+\put(4650,6312){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks=1}}}}}
+\put(8625,7287){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}single block}}}}}
+\put(8625,6687){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}used memory}}}}}
+\put(3900,5337){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}......}}}}}
+\put(4575,4437){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
+\put(4575,4137){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free}}}}}
+\put(4725,3537){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link}}}}}
+\put(4575,3837){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks=1}}}}}
+\put(8550,4812){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}single block}}}}}
+\put(8025,4212){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}used memory}}}}}
+\put(9975,4212){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free}}}}}
+\put(9975,3927){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}memory}}}}}
+\put(8625,2712){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}Hp}}}}}
+\put(8625,2262){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}HpLim}}}}}
+\put(0,4887){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}MainRegTable.rCurrentNursery}}}}}
+\put(750,7362){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}MainRegTable.rNursery}}}}}
+\put(3825,1887){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}......}}}}}
+\put(4500,987){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
+\put(4500,687){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free}}}}}
+\put(4500,387){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks=1}}}}}
+\put(8475,1362){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}single block}}}}}
+\put(8775,762){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free memory}}}}}
+\put(4500,87){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link=NULL}}}}}
+\end{picture}
+}

diff --git a/ghc/docs/storage-mgt/smallobjectpool.eepic b/ghc/docs/storage-mgt/smallobjectpool.eepic
new file mode 100644 (file)
index 0000000..0ccf61c
--- /dev/null
+++ b/ghc/docs/storage-mgt/smallobjectpool.eepic
@@ -0,0 +1,65 @@
+\setlength{\unitlength}{0.00050000in}
+%
+\begingroup\makeatletter\ifx\SetFigFont\undefined%
+\gdef\SetFigFont#1#2#3#4#5{%
+  \reset@font\fontsize{#1}{#2pt}%
+  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
+  \selectfont}%
+\fi\endgroup%
+{\renewcommand{\dashlinestretch}{30}
+\begin{picture}(10062,5607)(0,-10)
+\path(3375,5262)(4950,5262)(4950,4062)
+       (3375,4062)(3375,5262)
+\path(4125,5112)(4125,5562)(6750,5562)(6750,5262)
+\path(6720.000,5382.000)(6750.000,5262.000)(6780.000,5382.000)
+\path(6750,5262)(10050,5262)(10050,4062)
+       (6750,4062)(6750,5262)
+\path(6870.000,4692.000)(6750.000,4662.000)(6870.000,4632.000)
+\path(6750,4662)(8625,4662)
+\path(8505.000,4632.000)(8625.000,4662.000)(8505.000,4692.000)
+\path(8625,5262)(8625,4062)
+\path(8025,3387)(8625,3387)(8625,4062)
+\path(8655.000,3942.000)(8625.000,4062.000)(8595.000,3942.000)
+\path(8400,2937)(10050,2937)(10050,4062)
+\path(10080.000,3942.000)(10050.000,4062.000)(10020.000,3942.000)
+\path(3525,4212)(2925,4212)(2925,2712)
+\path(2895.000,2832.000)(2925.000,2712.000)(2955.000,2832.000)
+\path(1950,4962)(3375,4962)
+\path(3255.000,4932.000)(3375.000,4962.000)(3255.000,4992.000)
+\path(2925,2262)(2925,1737)(3300,1737)
+\path(3180.000,1707.000)(3300.000,1737.000)(3180.000,1767.000)
+\path(3300,1812)(4875,1812)(4875,612)
+       (3300,612)(3300,1812)
+\path(4050,1662)(4050,2112)(6675,2112)(6675,1812)
+\path(6645.000,1932.000)(6675.000,1812.000)(6705.000,1932.000)
+\path(9750,1812)(9750,612)
+\path(6675,1812)(9975,1812)(9975,612)
+       (6675,612)(6675,1812)
+\path(3450,762)(2850,762)(2850,237)
+\path(2820.000,357.000)(2850.000,237.000)(2880.000,357.000)
+\path(6795.000,1242.000)(6675.000,1212.000)(6795.000,1182.000)
+\path(6675,1212)(9750,1212)
+\path(9630.000,1182.000)(9750.000,1212.000)(9630.000,1242.000)
+\path(3900,1362)(5850,1362)(5850,12)
+       (9750,12)(9750,612)
+\path(9780.000,492.000)(9750.000,612.000)(9720.000,492.000)
+\put(3450,5037){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
+\put(3600,4137){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link}}}}}
+\put(3450,4437){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks=1}}}}}
+\put(7425,5412){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}single block}}}}}
+\put(6900,4812){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}used memory}}}}}
+\put(8850,4812){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free}}}}}
+\put(8850,4527){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}memory}}}}}
+\put(2700,2487){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}......}}}}}
+\put(0,4887){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}small\_alloc\_list}}}}}
+\put(6825,3312){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}alloc\_Hp}}}}}
+\put(6600,2862){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}alloc\_HpLim}}}}}
+\put(3375,1587){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
+\put(3525,687){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link}}}}}
+\put(3375,987){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks=1}}}}}
+\put(7350,1962){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}single block}}}}}
+\put(7350,1362){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}used memory}}}}}
+\put(2625,12){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}......}}}}}
+\put(3375,1302){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free}}}}}
+\end{picture}
+}

diff --git a/ghc/docs/storage-mgt/step.eepic b/ghc/docs/storage-mgt/step.eepic
new file mode 100644 (file)
index 0000000..d5af2b7
--- /dev/null
+++ b/ghc/docs/storage-mgt/step.eepic
@@ -0,0 +1,121 @@
+\setlength{\unitlength}{0.00050000in}
+%
+\begingroup\makeatletter\ifx\SetFigFont\undefined%
+\gdef\SetFigFont#1#2#3#4#5{%
+  \reset@font\fontsize{#1}{#2pt}%
+  \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
+  \selectfont}%
+\fi\endgroup%
+{\renewcommand{\dashlinestretch}{30}
+\begin{picture}(10749,10689)(0,-10)
+\path(7437,4362)(10737,4362)(10737,3162)
+       (7437,3162)(7437,4362)
+\path(7557.000,3792.000)(7437.000,3762.000)(7557.000,3732.000)
+\path(7437,3762)(10587,3762)
+\path(10467.000,3732.000)(10587.000,3762.000)(10467.000,3792.000)
+\path(10587,4362)(10587,3162)
+\put(8637,4437){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks}}}}}
+\put(8412,3912){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}single object}}}}}
+\path(7437,2262)(10737,2262)(10737,1062)
+       (7437,1062)(7437,2262)
+\path(7557.000,1692.000)(7437.000,1662.000)(7557.000,1632.000)
+\path(7437,1662)(10587,1662)
+\path(10467.000,1632.000)(10587.000,1662.000)(10467.000,1692.000)
+\path(10587,2262)(10587,1062)
+\put(8637,2337){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks}}}}}
+\put(8412,1812){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}single object}}}}}
+\path(3912,2262)(5487,2262)(5487,1062)
+       (3912,1062)(3912,2262)
+\path(4662,2112)(4662,2562)(7437,2562)(7437,2262)
+\path(7407.000,2382.000)(7437.000,2262.000)(7467.000,2382.000)
+\path(4812,1812)(4812,2562)
+\path(5487,2262)(5937,2262)(5937,1062)
+       (5487,1062)(5487,2262)
+\path(5937,2262)(6387,2262)(6387,1062)
+       (5937,1062)(5937,2262)
+\path(6387,2262)(6837,2262)(6837,1062)
+       (6387,1062)(6387,2262)
+\put(3987,2037){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
+\put(3987,1737){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free}}}}}
+\put(4137,1137){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link}}}}}
+\put(6087,1662){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}...}}}}}
+\put(3987,1437){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks=$n_2$}}}}}
+\path(3912,9912)(5487,9912)(5487,8712)
+       (3912,8712)(3912,9912)
+\path(4662,9762)(4662,10212)(7287,10212)(7287,9912)
+\path(7257.000,10032.000)(7287.000,9912.000)(7317.000,10032.000)
+\path(10362,9912)(10362,8712)
+\path(4812,9462)(4812,10212)
+\path(7287,9912)(10587,9912)(10587,8712)
+       (7287,8712)(7287,9912)
+\path(4812,9462)(4812,10662)(10362,10662)(10362,9912)
+\path(10332.000,10032.000)(10362.000,9912.000)(10392.000,10032.000)
+\path(7407.000,9342.000)(7287.000,9312.000)(7407.000,9282.000)
+\path(7287,9312)(10362,9312)
+\path(10242.000,9282.000)(10362.000,9312.000)(10242.000,9342.000)
+\put(3987,9687){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
+\put(3987,9387){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free}}}}}
+\put(4137,8787){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link}}}}}
+\put(3987,9087){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks=1}}}}}
+\put(7962,10062){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}single block}}}}}
+\put(7962,9462){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}used memory}}}}}
+\path(3462,7587)(3462,7062)(3837,7062)
+\path(3717.000,7032.000)(3837.000,7062.000)(3717.000,7092.000)
+\path(3912,7362)(5487,7362)(5487,6162)
+       (3912,6162)(3912,7362)
+\path(4662,7212)(4662,7662)(7287,7662)(7287,7362)
+\path(7257.000,7482.000)(7287.000,7362.000)(7317.000,7482.000)
+\path(10362,7362)(10362,6162)
+\path(4812,6912)(4812,7662)
+\path(7287,7362)(10587,7362)(10587,6162)
+       (7287,6162)(7287,7362)
+\path(4812,6912)(4812,8112)(10362,8112)(10362,7362)
+\path(10332.000,7482.000)(10362.000,7362.000)(10392.000,7482.000)
+\path(7407.000,6792.000)(7287.000,6762.000)(7407.000,6732.000)
+\path(7287,6762)(10362,6762)
+\path(10242.000,6732.000)(10362.000,6762.000)(10242.000,6792.000)
+\put(3237,7812){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}......}}}}}
+\put(3987,7137){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
+\put(3987,6837){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free}}}}}
+\put(3987,6537){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks=1}}}}}
+\put(7962,7512){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}single block}}}}}
+\put(7962,6912){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}used memory}}}}}
+\put(3987,6237){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link=NULL}}}}}
+\path(4062,8862)(3462,8862)(3462,8112)
+\path(3432.000,8232.000)(3462.000,8112.000)(3492.000,8232.000)
+\path(3942.000,1182.000)(4062.000,1212.000)(3942.000,1242.000)
+\path(4062,1212)(3462,1212)(3462,12)(3912,12)
+\path(3792.000,-18.000)(3912.000,12.000)(3792.000,42.000)
+\path(3942.000,3282.000)(4062.000,3312.000)(3942.000,3342.000)
+\path(4062,3312)(3462,3312)(3462,2112)(3912,2112)
+\path(3792.000,2082.000)(3912.000,2112.000)(3792.000,2142.000)
+\path(3912,4362)(5487,4362)(5487,3162)
+       (3912,3162)(3912,4362)
+\path(4812,3912)(4812,4662)
+\path(5487,4362)(5937,4362)(5937,3162)
+       (5487,3162)(5487,4362)
+\path(5937,4362)(6387,4362)(6387,3162)
+       (5937,3162)(5937,4362)
+\path(6387,4362)(6837,4362)(6837,3162)
+       (6387,3162)(6387,4362)
+\path(4662,4212)(4662,4662)(7437,4662)(7437,4362)
+\path(7407.000,4482.000)(7437.000,4362.000)(7467.000,4482.000)
+\path(12,6087)(1737,6087)(1737,4887)
+       (12,4887)(12,6087)
+\path(987,5637)(2637,5637)(2637,9612)(3912,9612)
+\path(3792.000,9582.000)(3912.000,9612.000)(3792.000,9642.000)
+\path(1587,5037)(2637,5037)(2637,4062)(3912,4062)
+\path(3792.000,4032.000)(3912.000,4062.000)(3792.000,4092.000)
+\put(4137,12){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}......}}}}}
+\put(3987,4137){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}start}}}}}
+\put(3987,3837){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}free}}}}}
+\put(3987,3537){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks=$n_1$}}}}}
+\put(4137,3237){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}link}}}}}
+\put(6087,3762){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}...}}}}}
+\put(462,6237){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}step}}}}}
+\put(87,5562){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}blocks}}}}}
+\put(87,5862){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}no}}}}}
+\put(87,5262){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}n\_blocks}}}}}
+\put(87,4962){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}large\_object}}}}}
+\end{picture}
+}