changeset 63:f293f6b6da96

png -> pdf
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Tue, 06 Feb 2024 20:49:37 +0900
parents 11c4ce8fe127
children 6513f369e624
files Paper/fig/dgm.pdf Paper/fig/gears_dir.drawio Paper/fig/gears_dir.pdf Paper/fig/swap.pdf Paper/fig/transaction.pdf Paper/master_paper.pdf Paper/master_paper.tex TODO.md mindmaps/gears_fs_db.mm
diffstat 9 files changed, 161 insertions(+), 150 deletions(-) [+]
line wrap: on
line diff
Binary file Paper/fig/dgm.pdf has changed
--- a/Paper/fig/gears_dir.drawio	Tue Feb 06 20:32:58 2024 +0900
+++ b/Paper/fig/gears_dir.drawio	Tue Feb 06 20:49:37 2024 +0900
@@ -1,135 +1,135 @@
-<mxfile host="65bd71144e">
-    <diagram id="Ef-TLR0hB6FfywN_XlsA" name="Page-1">
-        <mxGraphModel dx="213" dy="602" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
-            <root>
-                <mxCell id="0"/>
-                <mxCell id="1" parent="0"/>
-                <mxCell id="23" value="" style="rounded=1;whiteSpace=wrap;html=1;fillColor=none;" vertex="1" parent="1">
-                    <mxGeometry x="230" y="220" width="160" height="235" as="geometry"/>
-                </mxCell>
-                <mxCell id="40" style="edgeStyle=orthogonalEdgeStyle;html=1;fontColor=#FFFFFF;endArrow=none;endFill=0;dashed=1;curved=1;" edge="1" parent="1" source="3" target="12">
-                    <mxGeometry relative="1" as="geometry">
-                        <Array as="points">
-                            <mxPoint x="220" y="290"/>
-                            <mxPoint x="220" y="270"/>
-                            <mxPoint x="313" y="270"/>
-                        </Array>
-                    </mxGeometry>
-                </mxCell>
-                <mxCell id="3" value="hoge.txt" style="swimlane;fontStyle=0;childLayout=stackLayout;horizontal=1;startSize=30;horizontalStack=0;resizeParent=1;resizeParentMax=0;resizeLast=0;collapsible=1;marginBottom=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
-                    <mxGeometry x="70" y="260" width="110" height="60" as="geometry"/>
-                </mxCell>
-                <mxCell id="4" value="i-node number: 0" style="text;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;spacingLeft=4;spacingRight=4;overflow=hidden;points=[[0,0.5],[1,0.5]];portConstraint=eastwest;rotatable=0;whiteSpace=wrap;html=1;" vertex="1" parent="3">
-                    <mxGeometry y="30" width="110" height="30" as="geometry"/>
-                </mxCell>
-                <mxCell id="41" style="edgeStyle=orthogonalEdgeStyle;html=1;fontColor=#FFFFFF;endArrow=none;endFill=0;dashed=1;curved=1;" edge="1" parent="1" source="7" target="14">
-                    <mxGeometry relative="1" as="geometry"/>
-                </mxCell>
-                <mxCell id="7" value="piyo.txt" style="swimlane;fontStyle=0;childLayout=stackLayout;horizontal=1;startSize=30;horizontalStack=0;resizeParent=1;resizeParentMax=0;resizeLast=0;collapsible=1;marginBottom=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
-                    <mxGeometry x="70" y="330" width="110" height="60" as="geometry"/>
-                </mxCell>
-                <mxCell id="8" value="i-node number: 1" style="text;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;spacingLeft=4;spacingRight=4;overflow=hidden;points=[[0,0.5],[1,0.5]];portConstraint=eastwest;rotatable=0;whiteSpace=wrap;html=1;" vertex="1" parent="7">
-                    <mxGeometry y="30" width="110" height="30" as="geometry"/>
-                </mxCell>
-                <mxCell id="42" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=0.98;entryY=0.702;entryDx=0;entryDy=0;entryPerimeter=0;fontColor=#FFFFFF;endArrow=none;endFill=0;dashed=1;curved=1;" edge="1" parent="1" source="9" target="13">
-                    <mxGeometry relative="1" as="geometry">
-                        <Array as="points">
-                            <mxPoint x="220" y="430"/>
-                            <mxPoint x="220" y="360"/>
-                            <mxPoint x="343" y="360"/>
-                        </Array>
-                    </mxGeometry>
-                </mxCell>
-                <mxCell id="9" value="&lt;font color=&quot;#ff8000&quot;&gt;huga.txt&lt;/font&gt;" style="swimlane;fontStyle=0;childLayout=stackLayout;horizontal=1;startSize=30;horizontalStack=0;resizeParent=1;resizeParentMax=0;resizeLast=0;collapsible=1;marginBottom=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
-                    <mxGeometry x="70" y="400" width="110" height="60" as="geometry"/>
-                </mxCell>
-                <mxCell id="10" value="i-node number: &lt;font color=&quot;#ff8000&quot;&gt;2&lt;/font&gt;" style="text;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;spacingLeft=4;spacingRight=4;overflow=hidden;points=[[0,0.5],[1,0.5]];portConstraint=eastwest;rotatable=0;whiteSpace=wrap;html=1;" vertex="1" parent="9">
-                    <mxGeometry y="30" width="110" height="30" as="geometry"/>
-                </mxCell>
-                <mxCell id="11" value="$ ls huga.txt" style="text;html=1;strokeColor=none;fillColor=#000000;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=1;fontColor=#FFFFFF;perimeterSpacing=1;" vertex="1" parent="1">
-                    <mxGeometry x="70" y="210" width="80" height="30" as="geometry"/>
-                </mxCell>
-                <mxCell id="12" value="" style="shape=waypoint;sketch=0;fillStyle=solid;size=6;pointerEvents=1;points=[];fillColor=none;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;" vertex="1" parent="1">
-                    <mxGeometry x="302.5" y="285" width="20" height="20" as="geometry"/>
-                </mxCell>
-                <mxCell id="16" style="edgeStyle=none;html=1;entryX=0.777;entryY=1.079;entryDx=0;entryDy=0;entryPerimeter=0;endArrow=none;endFill=0;" edge="1" parent="1" source="13" target="12">
-                    <mxGeometry relative="1" as="geometry"/>
-                </mxCell>
-                <mxCell id="13" value="" style="shape=waypoint;sketch=0;fillStyle=solid;size=6;pointerEvents=1;points=[];fillColor=none;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;" vertex="1" parent="1">
-                    <mxGeometry x="332.5" y="325" width="20" height="20" as="geometry"/>
-                </mxCell>
-                <mxCell id="15" style="edgeStyle=none;html=1;endArrow=none;endFill=0;" edge="1" parent="1" source="14" target="12">
-                    <mxGeometry relative="1" as="geometry"/>
-                </mxCell>
-                <mxCell id="14" value="" style="shape=waypoint;sketch=0;fillStyle=solid;size=6;pointerEvents=1;points=[];fillColor=none;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;" vertex="1" parent="1">
-                    <mxGeometry x="272.5" y="325" width="20" height="20" as="geometry"/>
-                </mxCell>
-                <mxCell id="21" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=1;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;" edge="1" parent="1" source="17" target="19">
-                    <mxGeometry relative="1" as="geometry"/>
-                </mxCell>
-                <mxCell id="22" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.224;entryY=0.159;entryDx=0;entryDy=0;entryPerimeter=0;endArrow=none;endFill=0;" edge="1" parent="1" source="17" target="18">
-                    <mxGeometry relative="1" as="geometry"/>
-                </mxCell>
-                <mxCell id="17" value="0" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1">
-                    <mxGeometry x="302.5" y="380" width="20" height="20" as="geometry"/>
-                </mxCell>
-                <mxCell id="43" style="edgeStyle=orthogonalEdgeStyle;curved=1;html=1;dashed=1;fontColor=#FFFFFF;endArrow=none;endFill=0;" edge="1" parent="1" source="18" target="27">
-                    <mxGeometry relative="1" as="geometry"/>
-                </mxCell>
-                <mxCell id="18" value="&lt;font color=&quot;#ff8000&quot;&gt;2&lt;/font&gt;" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1">
-                    <mxGeometry x="332.5" y="420" width="20" height="20" as="geometry"/>
-                </mxCell>
-                <mxCell id="19" value="1" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1">
-                    <mxGeometry x="272.5" y="420" width="20" height="20" as="geometry"/>
-                </mxCell>
-                <mxCell id="24" value="①&lt;br&gt;Index tree" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
-                    <mxGeometry x="322.5" y="275" width="60" height="30" as="geometry"/>
-                </mxCell>
-                <mxCell id="25" value="②&lt;br&gt;i-node tree" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
-                    <mxGeometry x="322.5" y="360" width="70" height="30" as="geometry"/>
-                </mxCell>
-                <mxCell id="26" value="Non-destructive RedBlackTree" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
-                    <mxGeometry x="255" y="220" width="110" height="30" as="geometry"/>
-                </mxCell>
-                <mxCell id="27" value="2" style="swimlane;fontStyle=0;childLayout=stackLayout;horizontal=1;startSize=30;horizontalStack=0;resizeParent=1;resizeParentMax=0;resizeLast=0;collapsible=1;marginBottom=0;whiteSpace=wrap;html=1;fillColor=none;" vertex="1" parent="1">
-                    <mxGeometry x="240" y="480" width="140" height="120" as="geometry">
-                        <mxRectangle x="430" y="270" width="50" height="30" as="alternateBounds"/>
-                    </mxGeometry>
-                </mxCell>
-                <mxCell id="28" value="File Type: file" style="text;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;spacingLeft=4;spacingRight=4;overflow=hidden;points=[[0,0.5],[1,0.5]];portConstraint=eastwest;rotatable=0;whiteSpace=wrap;html=1;" vertex="1" parent="27">
-                    <mxGeometry y="30" width="140" height="30" as="geometry"/>
-                </mxCell>
-                <mxCell id="30" value="・・・" style="text;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;spacingLeft=4;spacingRight=4;overflow=hidden;points=[[0,0.5],[1,0.5]];portConstraint=eastwest;rotatable=0;whiteSpace=wrap;html=1;" vertex="1" parent="27">
-                    <mxGeometry y="60" width="140" height="30" as="geometry"/>
-                </mxCell>
-                <mxCell id="32" value="Data:&amp;nbsp;" style="text;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;spacingLeft=4;spacingRight=4;overflow=hidden;points=[[0,0.5],[1,0.5]];portConstraint=eastwest;rotatable=0;whiteSpace=wrap;html=1;" vertex="1" parent="27">
-                    <mxGeometry y="90" width="140" height="30" as="geometry"/>
-                </mxCell>
-                <mxCell id="33" value="" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;strokeWidth=2;" vertex="1" parent="1">
-                    <mxGeometry x="440" y="280" width="120" height="320" as="geometry"/>
-                </mxCell>
-                <mxCell id="34" value="huga.txt data" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;verticalAlign=top;" vertex="1" parent="1">
-                    <mxGeometry x="440" y="460" width="120" height="30" as="geometry"/>
-                </mxCell>
-                <mxCell id="35" style="edgeStyle=none;html=1;entryX=0;entryY=0;entryDx=0;entryDy=0;endArrow=classicThin;endFill=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;" edge="1" parent="1" source="32" target="34">
-                    <mxGeometry relative="1" as="geometry">
-                        <Array as="points">
-                            <mxPoint x="410" y="585"/>
-                            <mxPoint x="410" y="530"/>
-                            <mxPoint x="410" y="460"/>
-                        </Array>
-                    </mxGeometry>
-                </mxCell>
-                <mxCell id="36" value="hoge.txt" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;verticalAlign=top;" vertex="1" parent="1">
-                    <mxGeometry x="440" y="300" width="120" height="60" as="geometry"/>
-                </mxCell>
-                <mxCell id="37" value="piyo.txt" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;verticalAlign=top;" vertex="1" parent="1">
-                    <mxGeometry x="440" y="375" width="120" height="30" as="geometry"/>
-                </mxCell>
-                <mxCell id="44" value="Disk (or Memory)" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;strokeWidth=2;fontColor=#000000;labelBackgroundColor=none;" vertex="1" parent="1">
-                    <mxGeometry x="440" y="250" width="100" height="30" as="geometry"/>
-                </mxCell>
-            </root>
-        </mxGraphModel>
-    </diagram>
-</mxfile>
\ No newline at end of file
+<mxfile host="app.diagrams.net" modified="2024-02-06T11:44:54.413Z" agent="Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/121.0.0.0 Safari/537.36" version="23.0.2" etag="duYfo7LKI6ZsdYESCuPO" type="device">
+  <diagram id="Ef-TLR0hB6FfywN_XlsA" name="Page-1">
+    <mxGraphModel dx="1026" dy="684" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="827" pageHeight="1169" math="0" shadow="0">
+      <root>
+        <mxCell id="0" />
+        <mxCell id="1" parent="0" />
+        <mxCell id="23" value="" style="rounded=1;whiteSpace=wrap;html=1;fillColor=none;" parent="1" vertex="1">
+          <mxGeometry x="230" y="220" width="160" height="235" as="geometry" />
+        </mxCell>
+        <mxCell id="40" style="edgeStyle=orthogonalEdgeStyle;html=1;fontColor=#FFFFFF;endArrow=none;endFill=0;dashed=1;curved=1;" parent="1" source="3" target="12" edge="1">
+          <mxGeometry relative="1" as="geometry">
+            <Array as="points">
+              <mxPoint x="220" y="290" />
+              <mxPoint x="220" y="270" />
+              <mxPoint x="313" y="270" />
+            </Array>
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="3" value="hoge.txt" style="swimlane;fontStyle=0;childLayout=stackLayout;horizontal=1;startSize=30;horizontalStack=0;resizeParent=1;resizeParentMax=0;resizeLast=0;collapsible=1;marginBottom=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
+          <mxGeometry x="70" y="260" width="110" height="60" as="geometry" />
+        </mxCell>
+        <mxCell id="4" value="i-node number: 0" style="text;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;spacingLeft=4;spacingRight=4;overflow=hidden;points=[[0,0.5],[1,0.5]];portConstraint=eastwest;rotatable=0;whiteSpace=wrap;html=1;" parent="3" vertex="1">
+          <mxGeometry y="30" width="110" height="30" as="geometry" />
+        </mxCell>
+        <mxCell id="41" style="edgeStyle=orthogonalEdgeStyle;html=1;fontColor=#FFFFFF;endArrow=none;endFill=0;dashed=1;curved=1;" parent="1" source="7" target="14" edge="1">
+          <mxGeometry relative="1" as="geometry" />
+        </mxCell>
+        <mxCell id="7" value="piyo.txt" style="swimlane;fontStyle=0;childLayout=stackLayout;horizontal=1;startSize=30;horizontalStack=0;resizeParent=1;resizeParentMax=0;resizeLast=0;collapsible=1;marginBottom=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
+          <mxGeometry x="70" y="330" width="110" height="60" as="geometry" />
+        </mxCell>
+        <mxCell id="8" value="i-node number: 1" style="text;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;spacingLeft=4;spacingRight=4;overflow=hidden;points=[[0,0.5],[1,0.5]];portConstraint=eastwest;rotatable=0;whiteSpace=wrap;html=1;" parent="7" vertex="1">
+          <mxGeometry y="30" width="110" height="30" as="geometry" />
+        </mxCell>
+        <mxCell id="42" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=0.98;entryY=0.702;entryDx=0;entryDy=0;entryPerimeter=0;fontColor=#FFFFFF;endArrow=none;endFill=0;dashed=1;curved=1;" parent="1" source="9" target="13" edge="1">
+          <mxGeometry relative="1" as="geometry">
+            <Array as="points">
+              <mxPoint x="220" y="430" />
+              <mxPoint x="220" y="360" />
+              <mxPoint x="343" y="360" />
+            </Array>
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="9" value="&lt;font color=&quot;#ff8000&quot;&gt;huga.txt&lt;/font&gt;" style="swimlane;fontStyle=0;childLayout=stackLayout;horizontal=1;startSize=30;horizontalStack=0;resizeParent=1;resizeParentMax=0;resizeLast=0;collapsible=1;marginBottom=0;whiteSpace=wrap;html=1;" parent="1" vertex="1">
+          <mxGeometry x="70" y="400" width="110" height="60" as="geometry" />
+        </mxCell>
+        <mxCell id="10" value="i-node number: &lt;font color=&quot;#ff8000&quot;&gt;2&lt;/font&gt;" style="text;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;spacingLeft=4;spacingRight=4;overflow=hidden;points=[[0,0.5],[1,0.5]];portConstraint=eastwest;rotatable=0;whiteSpace=wrap;html=1;" parent="9" vertex="1">
+          <mxGeometry y="30" width="110" height="30" as="geometry" />
+        </mxCell>
+        <mxCell id="11" value="$ ls huga.txt" style="text;html=1;strokeColor=none;fillColor=#B5B5B5;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=1;fontColor=#000000;perimeterSpacing=1;" parent="1" vertex="1">
+          <mxGeometry x="70" y="210" width="80" height="30" as="geometry" />
+        </mxCell>
+        <mxCell id="12" value="" style="shape=waypoint;sketch=0;fillStyle=solid;size=6;pointerEvents=1;points=[];fillColor=none;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;" parent="1" vertex="1">
+          <mxGeometry x="302.5" y="285" width="20" height="20" as="geometry" />
+        </mxCell>
+        <mxCell id="16" style="edgeStyle=none;html=1;entryX=0.777;entryY=1.079;entryDx=0;entryDy=0;entryPerimeter=0;endArrow=none;endFill=0;" parent="1" source="13" target="12" edge="1">
+          <mxGeometry relative="1" as="geometry" />
+        </mxCell>
+        <mxCell id="13" value="" style="shape=waypoint;sketch=0;fillStyle=solid;size=6;pointerEvents=1;points=[];fillColor=none;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;" parent="1" vertex="1">
+          <mxGeometry x="332.5" y="325" width="20" height="20" as="geometry" />
+        </mxCell>
+        <mxCell id="15" style="edgeStyle=none;html=1;endArrow=none;endFill=0;" parent="1" source="14" target="12" edge="1">
+          <mxGeometry relative="1" as="geometry" />
+        </mxCell>
+        <mxCell id="14" value="" style="shape=waypoint;sketch=0;fillStyle=solid;size=6;pointerEvents=1;points=[];fillColor=none;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;" parent="1" vertex="1">
+          <mxGeometry x="272.5" y="325" width="20" height="20" as="geometry" />
+        </mxCell>
+        <mxCell id="21" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=1;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;" parent="1" source="17" target="19" edge="1">
+          <mxGeometry relative="1" as="geometry" />
+        </mxCell>
+        <mxCell id="22" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.224;entryY=0.159;entryDx=0;entryDy=0;entryPerimeter=0;endArrow=none;endFill=0;" parent="1" source="17" target="18" edge="1">
+          <mxGeometry relative="1" as="geometry" />
+        </mxCell>
+        <mxCell id="17" value="0" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" parent="1" vertex="1">
+          <mxGeometry x="302.5" y="380" width="20" height="20" as="geometry" />
+        </mxCell>
+        <mxCell id="43" style="edgeStyle=orthogonalEdgeStyle;curved=1;html=1;dashed=1;fontColor=#FFFFFF;endArrow=none;endFill=0;" parent="1" source="18" target="27" edge="1">
+          <mxGeometry relative="1" as="geometry" />
+        </mxCell>
+        <mxCell id="18" value="&lt;font color=&quot;#ff8000&quot;&gt;2&lt;/font&gt;" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" parent="1" vertex="1">
+          <mxGeometry x="332.5" y="420" width="20" height="20" as="geometry" />
+        </mxCell>
+        <mxCell id="19" value="1" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" parent="1" vertex="1">
+          <mxGeometry x="272.5" y="420" width="20" height="20" as="geometry" />
+        </mxCell>
+        <mxCell id="24" value="①&lt;br&gt;Index tree" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
+          <mxGeometry x="322.5" y="275" width="60" height="30" as="geometry" />
+        </mxCell>
+        <mxCell id="25" value="②&lt;br&gt;i-node tree" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
+          <mxGeometry x="322.5" y="360" width="70" height="30" as="geometry" />
+        </mxCell>
+        <mxCell id="26" value="Non-destructive RedBlackTree" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;" parent="1" vertex="1">
+          <mxGeometry x="255" y="220" width="110" height="30" as="geometry" />
+        </mxCell>
+        <mxCell id="27" value="2" style="swimlane;fontStyle=0;childLayout=stackLayout;horizontal=1;startSize=30;horizontalStack=0;resizeParent=1;resizeParentMax=0;resizeLast=0;collapsible=1;marginBottom=0;whiteSpace=wrap;html=1;fillColor=none;" parent="1" vertex="1">
+          <mxGeometry x="240" y="480" width="140" height="120" as="geometry">
+            <mxRectangle x="430" y="270" width="50" height="30" as="alternateBounds" />
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="28" value="File Type: file" style="text;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;spacingLeft=4;spacingRight=4;overflow=hidden;points=[[0,0.5],[1,0.5]];portConstraint=eastwest;rotatable=0;whiteSpace=wrap;html=1;" parent="27" vertex="1">
+          <mxGeometry y="30" width="140" height="30" as="geometry" />
+        </mxCell>
+        <mxCell id="30" value="・・・" style="text;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;spacingLeft=4;spacingRight=4;overflow=hidden;points=[[0,0.5],[1,0.5]];portConstraint=eastwest;rotatable=0;whiteSpace=wrap;html=1;" parent="27" vertex="1">
+          <mxGeometry y="60" width="140" height="30" as="geometry" />
+        </mxCell>
+        <mxCell id="32" value="Data:&amp;nbsp;" style="text;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;spacingLeft=4;spacingRight=4;overflow=hidden;points=[[0,0.5],[1,0.5]];portConstraint=eastwest;rotatable=0;whiteSpace=wrap;html=1;" parent="27" vertex="1">
+          <mxGeometry y="90" width="140" height="30" as="geometry" />
+        </mxCell>
+        <mxCell id="33" value="" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;strokeWidth=2;" parent="1" vertex="1">
+          <mxGeometry x="440" y="280" width="120" height="320" as="geometry" />
+        </mxCell>
+        <mxCell id="34" value="huga.txt data" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;verticalAlign=top;" parent="1" vertex="1">
+          <mxGeometry x="440" y="460" width="120" height="30" as="geometry" />
+        </mxCell>
+        <mxCell id="35" style="edgeStyle=none;html=1;entryX=0;entryY=0;entryDx=0;entryDy=0;endArrow=classicThin;endFill=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;" parent="1" source="32" target="34" edge="1">
+          <mxGeometry relative="1" as="geometry">
+            <Array as="points">
+              <mxPoint x="410" y="585" />
+              <mxPoint x="410" y="530" />
+              <mxPoint x="410" y="460" />
+            </Array>
+          </mxGeometry>
+        </mxCell>
+        <mxCell id="36" value="hoge.txt" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;verticalAlign=top;" parent="1" vertex="1">
+          <mxGeometry x="440" y="300" width="120" height="60" as="geometry" />
+        </mxCell>
+        <mxCell id="37" value="piyo.txt" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;verticalAlign=top;" parent="1" vertex="1">
+          <mxGeometry x="440" y="375" width="120" height="30" as="geometry" />
+        </mxCell>
+        <mxCell id="44" value="Disk (or Memory)" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;strokeWidth=2;fontColor=#000000;labelBackgroundColor=none;" parent="1" vertex="1">
+          <mxGeometry x="440" y="250" width="100" height="30" as="geometry" />
+        </mxCell>
+      </root>
+    </mxGraphModel>
+  </diagram>
+</mxfile>
Binary file Paper/fig/gears_dir.pdf has changed
Binary file Paper/fig/swap.pdf has changed
Binary file Paper/fig/transaction.pdf has changed
Binary file Paper/master_paper.pdf has changed
--- a/Paper/master_paper.tex	Tue Feb 06 20:32:58 2024 +0900
+++ b/Paper/master_paper.tex	Tue Feb 06 20:49:37 2024 +0900
@@ -485,7 +485,7 @@
 
 \begin{figure}[ht]
   \begin{center}
-      \includegraphics[width=160mm]{fig/gears_dir.png}
+      \includegraphics[width=160mm]{fig/gears_dir.pdf}
   \end{center}
   \caption{i-nodeを用いたディレクトリシステムの処理の流れ}
   \label{fig:GearsDir}
@@ -545,7 +545,7 @@
 
 \begin{figure}[ht]
   \begin{center}
-      \includegraphics[width=150mm]{fig/transaction.png}
+      \includegraphics[width=130mm]{fig/transaction.pdf}
   \end{center}
   \caption{トランザクショナルなwrite操作}
   \label{fig:Transaction}
@@ -616,7 +616,7 @@
 
 \begin{figure}[ht]
   \begin{center}
-      \includegraphics[width=150mm]{fig/dgm.png}
+      \includegraphics[width=150mm]{fig/dgm.pdf}
   \end{center}
   \caption{DGMのSocket通信によるWordCount例題}
   \label{fig:DGM}
@@ -966,7 +966,7 @@
 
 \begin{figure}[ht]
   \begin{center}
-      \includegraphics[width=120mm]{fig/swap.png}
+      \includegraphics[width=120mm]{fig/swap.pdf}
   \end{center}
   \caption{swap時のTree DGとData Tableの様子}
   \label{fig:swap}
--- a/TODO.md	Tue Feb 06 20:32:58 2024 +0900
+++ b/TODO.md	Tue Feb 06 20:49:37 2024 +0900
@@ -18,10 +18,11 @@
 
 - [x] DGMによる分散ファイルシステム
 - [x] 実装の説明
-- [ ] swapはメモリ上でどうなってるか詳しく(図を入れよう)
+- [x] swapはメモリ上でどうなってるか詳しく(図を入れよう)
+- [x] 図の清書
+- [ ] 4章......
 - [ ] 評価
 - [ ] まとめと今後の課題
-- [ ] 図の清書
 
 確認したいこと
 
--- a/mindmaps/gears_fs_db.mm	Tue Feb 06 20:32:58 2024 +0900
+++ b/mindmaps/gears_fs_db.mm	Tue Feb 06 20:49:37 2024 +0900
@@ -1,6 +1,6 @@
 <map version="freeplane 1.9.8">
 <!--To view this file, download free mind mapping software Freeplane from https://www.freeplane.org -->
-<node TEXT="GearsOS上のファイルシステムとDBの信頼性(仮)" FOLDED="false" ID="ID_452131666" CREATED="1610381621610" MODIFIED="1707115980864" STYLE="oval">
+<node TEXT="GearsOS上のファイルシステムとDBの信頼性(仮)" FOLDED="false" ID="ID_452131666" CREATED="1610381621610" MODIFIED="1707213585347" STYLE="oval">
 <font SIZE="18"/>
 <hook NAME="MapStyle" zoom="0.8">
     <properties edgeColorConfiguration="#808080ff,#ff0000ff,#0000ffff,#00ff00ff,#ff00ffff,#00ffffff,#7c0000ff,#00007cff,#007c00ff,#7c007cff,#007c7cff,#7c7c00ff" associatedTemplateLocation="template:/standard-1.6-noEdgeColor.mm" fit_to_viewport="false"/>
@@ -780,8 +780,8 @@
 <node TEXT="CGのトポロジー形成を行う" ID="ID_265704638" CREATED="1707117106960" MODIFIED="1707117117959"/>
 </node>
 <node TEXT="Socketによる通信の仕組み" ID="ID_593040069" CREATED="1707116002953" MODIFIED="1707116014736"/>
-<node TEXT="分散ファイルシステムのトポロジー形成" ID="ID_1837705741" CREATED="1704631962837" MODIFIED="1704631974676"/>
 </node>
+<node TEXT="分散ファイルシステムのトポロジー形成" POSITION="right" ID="ID_1837705741" CREATED="1704631962837" MODIFIED="1704631974676"/>
 <node TEXT="実行したCodeGearを出力する仕組みが欲しい" POSITION="right" ID="ID_566018654" CREATED="1706690111878" MODIFIED="1706690124375">
 <node TEXT="毎回printfするの面倒" ID="ID_402999765" CREATED="1706690125223" MODIFIED="1706690134582"/>
 </node>
@@ -855,7 +855,7 @@
 </node>
 </node>
 </node>
-<node TEXT="CopyRedBlackTreeの実装" FOLDED="true" POSITION="right" ID="ID_1875155929" CREATED="1706686273106" MODIFIED="1707115980863" HGAP_QUANTITY="29 pt" VSHIFT_QUANTITY="157.49999 pt">
+<node TEXT="CopyRedBlackTreeの実装" FOLDED="true" POSITION="right" ID="ID_1875155929" CREATED="1706686273106" MODIFIED="1707213582715" HGAP_QUANTITY="17.75 pt" VSHIFT_QUANTITY="6.75 pt">
 <node TEXT="説明" ID="ID_1618684595" CREATED="1706689938660" MODIFIED="1706689944053">
 <node TEXT="TreeのAPIのひとつとして実装" ID="ID_1013219955" CREATED="1706934961492" MODIFIED="1706934969874"/>
 <node TEXT="アルゴリズム" ID="ID_73867053" CREATED="1706934970286" MODIFIED="1706934976931"/>
@@ -954,7 +954,7 @@
 </node>
 <node TEXT="tree-&gt;rootを書き換えて,途中のノードからコピーできるみたいなの作りたい" ID="ID_1603927493" CREATED="1706692686178" MODIFIED="1706692704418"/>
 </node>
-<node TEXT="評価" FOLDED="true" POSITION="right" ID="ID_1699170037" CREATED="1706803749390" MODIFIED="1706803756057">
+<node TEXT="評価" POSITION="right" ID="ID_1699170037" CREATED="1706803749390" MODIFIED="1707213585346" HGAP_QUANTITY="14.75 pt" VSHIFT_QUANTITY="121.5 pt">
 <node TEXT="説明" ID="ID_1332913546" CREATED="1707024290462" MODIFIED="1707024304655">
 <node TEXT="テストコード" ID="ID_83989606" CREATED="1707024312272" MODIFIED="1707024315913">
 <node TEXT="いくつかの考えられる木の形はテストした" ID="ID_401372478" CREATED="1707024501611" MODIFIED="1707024539431">
@@ -971,7 +971,10 @@
 </node>
 </node>
 <node TEXT="非破壊RedBlackTreeの増大抑制" ID="ID_529836819" CREATED="1707024322382" MODIFIED="1707024336261">
-<node TEXT="Copyによって参照される木の増大は防がれる" ID="ID_1864064653" CREATED="1707024754607" MODIFIED="1707024920464"/>
+<node TEXT="非破壊なので過去の履歴がそのまま残り木が増大する問題があった" ID="ID_1452229252" CREATED="1707219315165" MODIFIED="1707219344850"/>
+<node TEXT="Copyによって参照される木の増大は防がれる" ID="ID_1864064653" CREATED="1707024754607" MODIFIED="1707024920464">
+<node TEXT="履歴部分が削がれるので" ID="ID_1998328102" CREATED="1707219356967" MODIFIED="1707219363161"/>
+</node>
 <node TEXT="しかし,ゴミの再利用ができない" ID="ID_1451664377" CREATED="1707024791454" MODIFIED="1707024807406"/>
 <node TEXT="GCとしては不十分" ID="ID_379609728" CREATED="1707024927318" MODIFIED="1707024931544"/>
 <node TEXT="ゴミをフリーリストなどに接続する必要がある" ID="ID_891844429" CREATED="1707024810210" MODIFIED="1707024822315"/>
@@ -1010,6 +1013,10 @@
 </node>
 <node TEXT="ノード数6317でsegmentation faultする" ID="ID_1114925075" CREATED="1706803771828" MODIFIED="1706803794161">
 <node TEXT="ヒープオーバーフローしている" ID="ID_1734933152" CREATED="1707023327807" MODIFIED="1707023333799"/>
+<node TEXT="ALLOCATEの動作が不十分" ID="ID_1246754583" CREATED="1707213643709" MODIFIED="1707213667390">
+<node TEXT="ヒープがいっぱいになった場合" ID="ID_1540295424" CREATED="1707213680573" MODIFIED="1707213691653"/>
+<node TEXT="ヒープ領域を追加する機能がない" ID="ID_1246985908" CREATED="1707213691947" MODIFIED="1707213707189"/>
+</node>
 </node>
 <node TEXT="同じContextにコピーしてしまっている" ID="ID_917538944" CREATED="1706803805237" MODIFIED="1706803821463">
 <node TEXT="ALLOCATEの改造が必要" ID="ID_1305277586" CREATED="1706804450792" MODIFIED="1706804461228"/>
@@ -1041,16 +1048,19 @@
 <node TEXT="それ以外はまとめと今後の課題に書く" ID="ID_1941288242" CREATED="1706803862696" MODIFIED="1706803878303"/>
 </node>
 </node>
-<node TEXT="まとめ" POSITION="right" ID="ID_969454179" CREATED="1706956147118" MODIFIED="1706956151175">
+<node TEXT="まとめと今後の課題" POSITION="right" ID="ID_912711900" CREATED="1706956151544" MODIFIED="1707213611142">
 <node TEXT="非破壊RedBlackTreeの増大を防ぐ仕組みを構築できた" ID="ID_418966492" CREATED="1706956585170" MODIFIED="1706956610719"/>
-<node TEXT="" ID="ID_1469214452" CREATED="1706956615904" MODIFIED="1706956615904"/>
-</node>
-<node TEXT="今後の課題" POSITION="right" ID="ID_912711900" CREATED="1706956151544" MODIFIED="1706956155177">
 <node TEXT="別コンテキストへのコピー" ID="ID_1209930854" CREATED="1706956313462" MODIFIED="1706956324424"/>
 <node TEXT="GearsOS全体をGCすることも考えられる" ID="ID_1250275844" CREATED="1707013490904" MODIFIED="1707013522142"/>
 <node TEXT="非破壊Stackの扱い" ID="ID_1644568533" CREATED="1706956401644" MODIFIED="1706956408706">
 <node TEXT="freelistを作成する?" ID="ID_1571509667" CREATED="1706956417754" MODIFIED="1706956422304"/>
 </node>
+<node TEXT="ALLOCATE" ID="ID_704146435" CREATED="1707214159721" MODIFIED="1707214165562"/>
+<node TEXT="Gearsプログラミング" ID="ID_449950157" CREATED="1707214173562" MODIFIED="1707214178005">
+<node TEXT="テストケースの生成" ID="ID_1186082088" CREATED="1707214195632" MODIFIED="1707214200919"/>
+</node>
+<node TEXT="ファイルシステムのスキーマ" ID="ID_63849619" CREATED="1707214184680" MODIFIED="1707214189832"/>
+<node TEXT="権限表現" ID="ID_598953757" CREATED="1707214211262" MODIFIED="1707214215981"/>
 </node>
 <node TEXT="バックアップやGCのタイミング" FOLDED="true" POSITION="left" ID="ID_1968325106" CREATED="1705995867783" MODIFIED="1705995947002">
 <node TEXT="木の操作の度にGCしていては効率が悪い" ID="ID_1270257607" CREATED="1705995886579" MODIFIED="1705995983113">