Backport lazy memory splits to ch10, split into ch10a and bch10ab

1 files changed, 32 insertions, 30 deletions

diff --git a/chapter10b/docs/example1.svg b/chapter10b/docs/example1.svg
index c441bc7b..384b6e12 100644
--- a/chapter10b/docs/example1.svg
+++ b/chapter10b/docs/example1.svg
@@ -4,88 +4,90 @@
 <!-- Generated by graphviz version 12.2.0 (20241103.1931)
  -->
 <!-- Title: Memory Pages: 1 -->
-<svg width="448pt" height="98pt"
- viewBox="0.00 0.00 447.50 98.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
-<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 94)">
+<svg width="206pt" height="332pt"
+ viewBox="0.00 0.00 205.75 332.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 328)">
 <title>Memory</title>
-<polygon fill="white" stroke="none" points="-4,4 -4,-94 443.5,-94 443.5,4 -4,4"/>
+<polygon fill="white" stroke="none" points="-4,4 -4,-328 201.75,-328 201.75,4 -4,4"/>
 <!-- M -->
 <g id="node1" class="node">
 <title>M</title>
-<polygon fill="none" stroke="black" points="439.5,-63 341,-63 341,-27 439.5,-27 439.5,-63"/>
-<text text-anchor="middle" x="390.25" y="-39.95" font-family="Times New Roman,serif" font-size="14.00">Initial memory</text>
+<polygon fill="none" stroke="black" points="131.75,-324 33.25,-324 33.25,-288 131.75,-288 131.75,-324"/>
+<text text-anchor="middle" x="82.5" y="-300.95" font-family="Times New Roman,serif" font-size="14.00">Initial memory</text>
 </g>
 <!-- X -->
 <g id="node2" class="node">
 <title>X</title>
-<polygon fill="none" stroke="black" points="301.62,-90 217.38,-90 217.38,-54 301.62,-54 301.62,-90"/>
-<text text-anchor="middle" x="259.5" y="-66.95" font-family="Times New Roman,serif" font-size="14.00">Store x = 42</text>
+<polygon fill="none" stroke="black" points="160.62,-252 76.38,-252 76.38,-216 160.62,-216 160.62,-252"/>
+<text text-anchor="middle" x="118.5" y="-228.95" font-family="Times New Roman,serif" font-size="14.00">Store x = 42</text>
 </g>
 <!-- X&#45;&gt;M -->
 <g id="edge2" class="edge">
 <title>X&#45;&gt;M</title>
-<path fill="none" stroke="blue" d="M301.95,-63.31C310.73,-61.47 320.16,-59.49 329.47,-57.54"/>
-<polygon fill="blue" stroke="blue" points="330.15,-60.97 339.22,-55.49 328.71,-54.12 330.15,-60.97"/>
+<path fill="none" stroke="blue" d="M109.6,-252.3C105.63,-260.02 100.87,-269.29 96.44,-277.89"/>
+<polygon fill="blue" stroke="blue" points="93.45,-276.06 91.99,-286.55 99.67,-279.26 93.45,-276.06"/>
 </g>
 <!-- Y -->
 <g id="node3" class="node">
 <title>Y</title>
-<polygon fill="none" stroke="black" points="305,-36 214,-36 214,0 305,0 305,-36"/>
-<text text-anchor="middle" x="259.5" y="-12.95" font-family="Times New Roman,serif" font-size="14.00">Loop: Store y</text>
+<polygon fill="none" stroke="black" points="91,-180 0,-180 0,-144 91,-144 91,-180"/>
+<text text-anchor="middle" x="45.5" y="-156.95" font-family="Times New Roman,serif" font-size="14.00">Loop: Store y</text>
 </g>
 <!-- Y&#45;&gt;M -->
 <g id="edge3" class="edge">
 <title>Y&#45;&gt;M</title>
-<path fill="none" stroke="green" d="M305.17,-27.37C313.06,-29.02 321.38,-30.77 329.61,-32.49"/>
-<polygon fill="green" stroke="green" points="328.72,-35.88 339.22,-34.51 330.16,-29.03 328.72,-35.88"/>
+<path fill="none" stroke="green" d="M49.63,-180.44C53.93,-198.41 60.94,-227.23 67.5,-252 69.64,-260.07 72.07,-268.81 74.33,-276.81"/>
+<polygon fill="green" stroke="green" points="70.96,-277.75 77.07,-286.4 77.69,-275.82 70.96,-277.75"/>
 </g>
+<!-- Y&#45;&gt;X -->
 <!-- L -->
 <g id="node4" class="node">
 <title>L</title>
-<polygon fill="none" stroke="black" points="178,-90 90,-90 90,-54 178,-54 178,-90"/>
-<text text-anchor="middle" x="134" y="-66.95" font-family="Times New Roman,serif" font-size="14.00">Load x &#45;&gt; 42</text>
+<polygon fill="none" stroke="black" points="197.75,-108 117.25,-108 117.25,-72 197.75,-72 197.75,-108"/>
+<text text-anchor="middle" x="157.5" y="-84.95" font-family="Times New Roman,serif" font-size="14.00">Load x (42)</text>
 </g>
 <!-- L&#45;&gt;X -->
 <g id="edge1" class="edge">
 <title>L&#45;&gt;X</title>
-<path fill="none" stroke="blue" d="M178.19,-72C187.1,-72 196.56,-72 205.76,-72"/>
-<polygon fill="blue" stroke="blue" points="205.69,-75.5 215.69,-72 205.69,-68.5 205.69,-75.5"/>
+<path fill="none" stroke="blue" d="M152.87,-108.41C148.09,-126.37 140.36,-155.17 133.5,-180 131.28,-188.05 128.82,-196.78 126.56,-204.78"/>
+<polygon fill="blue" stroke="blue" points="123.2,-203.8 123.83,-214.37 129.93,-205.71 123.2,-203.8"/>
 </g>
 <!-- MemMerge -->
 <g id="node5" class="node">
 <title>MemMerge</title>
-<polygon fill="none" stroke="black" points="175,-36 93,-36 93,0 175,0 175,-36"/>
-<text text-anchor="middle" x="134" y="-12.95" font-family="Times New Roman,serif" font-size="14.00">MemMerge</text>
+<polygon fill="none" stroke="black" points="99.5,-108 17.5,-108 17.5,-72 99.5,-72 99.5,-108"/>
+<text text-anchor="middle" x="58.5" y="-84.95" font-family="Times New Roman,serif" font-size="14.00">MemMerge</text>
 </g>
 <!-- MemMerge&#45;&gt;X -->
 <g id="edge4" class="edge">
 <title>MemMerge&#45;&gt;X</title>
-<path fill="none" stroke="blue" d="M175.44,-35.68C185.46,-40.06 196.34,-44.82 206.82,-49.4"/>
-<polygon fill="blue" stroke="blue" points="205.17,-52.5 215.74,-53.3 207.98,-46.09 205.17,-52.5"/>
+<path fill="none" stroke="blue" d="M75.59,-108.21C84.32,-117.95 94.37,-130.8 100.5,-144 109.34,-163.03 113.85,-186.32 116.15,-204.31"/>
+<polygon fill="blue" stroke="blue" points="112.64,-204.46 117.22,-214.02 119.6,-203.7 112.64,-204.46"/>
 </g>
 <!-- MemMerge&#45;&gt;Y -->
 <g id="edge5" class="edge">
 <title>MemMerge&#45;&gt;Y</title>
-<path fill="none" stroke="green" d="M175.44,-18C184.05,-18 193.28,-18 202.35,-18"/>
-<polygon fill="green" stroke="green" points="202.19,-21.5 212.19,-18 202.19,-14.5 202.19,-21.5"/>
+<path fill="none" stroke="green" d="M55.29,-108.3C53.92,-115.68 52.28,-124.48 50.75,-132.75"/>
+<polygon fill="green" stroke="green" points="47.34,-131.94 48.95,-142.41 54.22,-133.21 47.34,-131.94"/>
 </g>
+<!-- MemMerge&#45;&gt;L -->
 <!-- Return -->
 <g id="node6" class="node">
 <title>Return</title>
-<polygon fill="none" stroke="black" points="54,-63 0,-63 0,-27 54,-27 54,-63"/>
-<text text-anchor="middle" x="27" y="-39.95" font-family="Times New Roman,serif" font-size="14.00">Return</text>
+<polygon fill="none" stroke="black" points="134.5,-36 80.5,-36 80.5,0 134.5,0 134.5,-36"/>
+<text text-anchor="middle" x="107.5" y="-12.95" font-family="Times New Roman,serif" font-size="14.00">Return</text>
 </g>
 <!-- Return&#45;&gt;L -->
 <g id="edge7" class="edge">
 <title>Return&#45;&gt;L</title>
-<path fill="none" stroke="black" d="M54.5,-51.81C61.93,-53.72 70.3,-55.88 78.72,-58.04"/>
-<polygon fill="black" stroke="black" points="77.74,-61.4 88.3,-60.5 79.48,-54.62 77.74,-61.4"/>
+<path fill="none" stroke="black" d="M119.86,-36.3C125.55,-44.27 132.43,-53.9 138.74,-62.74"/>
+<polygon fill="black" stroke="black" points="135.74,-64.56 144.4,-70.66 141.44,-60.49 135.74,-64.56"/>
 </g>
 <!-- Return&#45;&gt;MemMerge -->
 <g id="edge6" class="edge">
 <title>Return&#45;&gt;MemMerge</title>
-<path fill="none" stroke="black" d="M54.5,-38.19C62.79,-36.05 72.25,-33.62 81.65,-31.2"/>
-<polygon fill="black" stroke="black" points="82.32,-34.65 91.14,-28.77 80.58,-27.87 82.32,-34.65"/>
+<path fill="none" stroke="black" d="M95.39,-36.3C89.81,-44.27 83.07,-53.9 76.88,-62.74"/>
+<polygon fill="black" stroke="black" points="74.21,-60.46 71.34,-70.66 79.94,-64.47 74.21,-60.46"/>
 </g>
 </g>
 </svg>