Mercurial > hg > Papers > 2024 > matac-master
changeset 57:6d9b82191173
allocate part
| author | matac42 <matac@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Sun, 04 Feb 2024 12:19:38 +0900 |
| parents | 40e504bb5ea0 |
| children | 7b1af63ace67 |
| files | Paper/fig/copy_algo3.drawio Paper/master_paper.lol Paper/master_paper.pdf Paper/master_paper.tex Paper/src/leftDown1.cbc TODO.md |
| diffstat | 6 files changed, 280 insertions(+), 218 deletions(-) [+] |
line wrap: on
line diff
--- a/Paper/fig/copy_algo3.drawio Sat Feb 03 23:06:19 2024 +0900 +++ b/Paper/fig/copy_algo3.drawio Sun Feb 04 12:19:38 2024 +0900 @@ -1,215 +1,215 @@ -<mxfile host="app.diagrams.net" modified="2024-01-30T09:39:30.805Z" 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="QuqclasOwFS4f3NC937V" type="device"> - <diagram id="p-B8z-Vdb0gE9XzKJtCj" name="Page-1"> - <mxGraphModel dx="1368" dy="-257" 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="2" value="" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;strokeWidth=2;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="620" y="1717.5" width="240" height="352.5" as="geometry" /> - </mxCell> - <mxCell id="3" value="" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;strokeWidth=2;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="360" y="1717.5" width="220" height="322.5" as="geometry" /> - </mxCell> - <mxCell id="4" value="" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;strokeWidth=2;strokeColor=#000000;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="90" y="1717.5" width="230" height="280" as="geometry" /> - </mxCell> - <mxCell id="5" value="leftDown" style="rounded=0;whiteSpace=wrap;html=1;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="150" y="1757.5" width="120" height="60" as="geometry" /> - </mxCell> - <mxCell id="6" style="edgeStyle=orthogonalEdgeStyle;html=1;exitX=0;exitY=0.5;exitDx=0;exitDy=0;entryX=1;entryY=0.25;entryDx=0;entryDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="7" target="4" edge="1"> - <mxGeometry relative="1" as="geometry" /> - </mxCell> - <mxCell id="7" value="rightDown" style="rounded=0;whiteSpace=wrap;html=1;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="414" y="1757.5" width="120" height="60" as="geometry" /> - </mxCell> - <mxCell id="8" style="edgeStyle=orthogonalEdgeStyle;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="9" target="38" edge="1"> - <mxGeometry relative="1" as="geometry" /> - </mxCell> - <mxCell id="9" value="up" style="rounded=0;whiteSpace=wrap;html=1;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="680" y="1757.5" width="120" height="60" as="geometry" /> - </mxCell> - <mxCell id="10" style="edgeStyle=orthogonalEdgeStyle;html=1;exitX=0;exitY=0;exitDx=0;exitDy=0;entryX=0.145;entryY=1;entryDx=0;entryDy=0;entryPerimeter=0;endArrow=none;endFill=0;startArrow=classic;startFill=1;fontSize=14;" parent="1" source="15" target="5" edge="1"> - <mxGeometry relative="1" as="geometry" /> - </mxCell> - <mxCell id="11" style="edgeStyle=orthogonalEdgeStyle;html=1;exitX=1;exitY=0;exitDx=0;exitDy=0;entryX=0.854;entryY=0.977;entryDx=0;entryDy=0;entryPerimeter=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="15" target="5" edge="1"> - <mxGeometry relative="1" as="geometry" /> - </mxCell> - <mxCell id="12" value="Yes" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;fontSize=14;" parent="11" vertex="1" connectable="0"> - <mxGeometry x="-0.7643" relative="1" as="geometry"> - <mxPoint as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="13" style="edgeStyle=orthogonalEdgeStyle;html=1;startArrow=none;startFill=0;endArrow=classic;endFill=1;entryX=-0.002;entryY=0.698;entryDx=0;entryDy=0;entryPerimeter=0;fontSize=14;" parent="1" source="15" target="3" edge="1"> - <mxGeometry relative="1" as="geometry"> - <Array as="points" /> - </mxGeometry> - </mxCell> - <mxCell id="14" value="No" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;" parent="13" vertex="1" connectable="0"> - <mxGeometry x="-0.8407" relative="1" as="geometry"> - <mxPoint as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="15" value="left exist?" style="ellipse;whiteSpace=wrap;html=1;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="150" y="1917.5" width="120" height="50" as="geometry" /> - </mxCell> - <mxCell id="16" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="17" target="15" edge="1"> - <mxGeometry relative="1" as="geometry" /> - </mxCell> - <mxCell id="17" value="" style="shape=waypoint;sketch=0;fillStyle=solid;size=6;pointerEvents=1;points=[];fillColor=none;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeColor=#FF8000;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="100" y="1932.5" width="20" height="20" as="geometry" /> - </mxCell> - <mxCell id="18" value="Start" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontColor=#FF8000;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="80" y="1902.5" width="60" height="30" as="geometry" /> - </mxCell> - <mxCell id="19" style="edgeStyle=orthogonalEdgeStyle;html=1;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="23" target="7" edge="1"> - <mxGeometry relative="1" as="geometry" /> - </mxCell> - <mxCell id="20" value="Yes" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;" parent="19" vertex="1" connectable="0"> - <mxGeometry x="-0.6463" y="1" relative="1" as="geometry"> - <mxPoint as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="21" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=0.003;entryY=0.64;entryDx=0;entryDy=0;entryPerimeter=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="23" target="2" edge="1"> - <mxGeometry relative="1" as="geometry" /> - </mxCell> - <mxCell id="22" value="No" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;" parent="21" vertex="1" connectable="0"> - <mxGeometry x="-0.7763" y="-1" relative="1" as="geometry"> - <mxPoint as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="23" value="right exist?" style="ellipse;whiteSpace=wrap;html=1;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="414" y="1917.5" width="120" height="50" as="geometry" /> - </mxCell> - <mxCell id="24" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=0;entryY=0.25;entryDx=0;entryDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="25" target="4" edge="1"> - <mxGeometry relative="1" as="geometry" /> - </mxCell> - <mxCell id="25" value="" style="shape=waypoint;sketch=0;fillStyle=solid;size=6;pointerEvents=1;points=[];fillColor=none;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;fontColor=#007FFF;strokeColor=#007FFF;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="20" y="1777.5" width="20" height="20" as="geometry" /> - </mxCell> - <mxCell id="26" value="Start" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontColor=#007FFF;fontSize=14;" parent="1" vertex="1"> - <mxGeometry y="1752.5" width="60" height="30" as="geometry" /> - </mxCell> - <mxCell id="27" value="LeftDown" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="170" y="1680" width="60" height="30" as="geometry" /> - </mxCell> - <mxCell id="28" style="edgeStyle=orthogonalEdgeStyle;html=1;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="29" target="23" edge="1"> - <mxGeometry relative="1" as="geometry" /> - </mxCell> - <mxCell id="29" value="" style="shape=waypoint;sketch=0;fillStyle=solid;size=6;pointerEvents=1;points=[];fillColor=none;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeColor=#FF8000;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="370" y="1932.5" width="20" height="20" as="geometry" /> - </mxCell> - <mxCell id="30" value="Start" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontColor=#FF8000;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="350" y="1907.5" width="60" height="30" as="geometry" /> - </mxCell> - <mxCell id="31" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;exitX=0.589;exitY=0.988;exitDx=0;exitDy=0;exitPerimeter=0;fontSize=14;" parent="1" source="32" target="9" edge="1"> - <mxGeometry relative="1" as="geometry" /> - </mxCell> - <mxCell id="32" value="" style="shape=waypoint;sketch=0;fillStyle=solid;size=6;pointerEvents=1;points=[];fillColor=none;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeColor=#FF8000;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="630" y="1777.5" width="20" height="20" as="geometry" /> - </mxCell> - <mxCell id="33" value="Start" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontColor=#FF8000;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="610" y="1752.5" width="60" height="30" as="geometry" /> - </mxCell> - <mxCell id="34" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=0.5;entryY=0;entryDx=0;entryDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="38" target="42" edge="1"> - <mxGeometry relative="1" as="geometry" /> - </mxCell> - <mxCell id="35" value="Yes" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;" parent="34" vertex="1" connectable="0"> - <mxGeometry x="-0.3697" y="-4" relative="1" as="geometry"> - <mxPoint x="4" y="4" as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="36" style="edgeStyle=orthogonalEdgeStyle;html=1;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="38" edge="1"> - <mxGeometry relative="1" as="geometry"> - <mxPoint x="580" y="1865" as="targetPoint" /> - </mxGeometry> - </mxCell> - <mxCell id="37" value="No" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;fontSize=14;" parent="36" vertex="1" connectable="0"> - <mxGeometry x="-0.7491" y="-2" relative="1" as="geometry"> - <mxPoint as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="38" value="right copied?" style="ellipse;whiteSpace=wrap;html=1;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="680" y="1840" width="120" height="50" as="geometry" /> - </mxCell> - <mxCell id="39" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=1;entryY=0.5;entryDx=0;entryDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="42" target="9" edge="1"> - <mxGeometry relative="1" as="geometry"> - <Array as="points"> - <mxPoint x="830" y="1943" /> - <mxPoint x="830" y="1788" /> - </Array> - </mxGeometry> - </mxCell> - <mxCell id="40" value="No" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;" parent="39" vertex="1" connectable="0"> - <mxGeometry x="-0.6661" y="1" relative="1" as="geometry"> - <mxPoint x="-19" y="6" as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="41" value="Yes" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=0.5;entryY=0;entryDx=0;entryDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="42" target="47" edge="1"> - <mxGeometry x="-0.1667" relative="1" as="geometry"> - <mxPoint as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="42" value="is root?" style="ellipse;whiteSpace=wrap;html=1;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="680" y="1917.5" width="120" height="50" as="geometry" /> - </mxCell> - <mxCell id="43" style="edgeStyle=orthogonalEdgeStyle;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="47" target="49" edge="1"> - <mxGeometry relative="1" as="geometry" /> - </mxCell> - <mxCell id="44" value="Yes" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;" parent="43" vertex="1" connectable="0"> - <mxGeometry x="-0.6889" y="-1" relative="1" as="geometry"> - <mxPoint as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="45" style="edgeStyle=orthogonalEdgeStyle;html=1;exitX=0;exitY=0.5;exitDx=0;exitDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="47" edge="1"> - <mxGeometry relative="1" as="geometry"> - <mxPoint x="580" y="2023" as="targetPoint" /> - </mxGeometry> - </mxCell> - <mxCell id="46" value="No" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;" parent="45" vertex="1" connectable="0"> - <mxGeometry x="-0.7681" y="-1" relative="1" as="geometry"> - <mxPoint as="offset" /> - </mxGeometry> - </mxCell> - <mxCell id="47" value="copied?" style="ellipse;whiteSpace=wrap;html=1;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="680" y="1997.5" width="120" height="50" as="geometry" /> - </mxCell> - <mxCell id="48" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=0.515;entryY=0.352;entryDx=0;entryDy=0;entryPerimeter=0;fontColor=#007FFF;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="49" target="52" edge="1"> - <mxGeometry relative="1" as="geometry" /> - </mxCell> - <mxCell id="49" value="swap" style="rounded=0;whiteSpace=wrap;html=1;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="680" y="2100" width="120" height="60" as="geometry" /> - </mxCell> - <mxCell id="50" value="RightDown" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="435" y="1680" width="60" height="30" as="geometry" /> - </mxCell> - <mxCell id="51" value="Up" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="705" y="1680" width="60" height="30" as="geometry" /> - </mxCell> - <mxCell id="52" value="" style="shape=waypoint;sketch=0;fillStyle=solid;size=6;pointerEvents=1;points=[];fillColor=none;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeColor=#007FFF;strokeWidth=2;fontColor=#FF8000;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="730" y="2190" width="20" height="20" as="geometry" /> - </mxCell> - <mxCell id="53" value="End" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;strokeWidth=2;fontColor=#007FFF;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="710" y="2200" width="60" height="30" as="geometry" /> - </mxCell> - <mxCell id="54" value="" style="ellipse;whiteSpace=wrap;html=1;strokeColor=#000000;strokeWidth=1;fontColor=#000000;fillColor=default;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="90" y="2090" width="70" height="30" as="geometry" /> - </mxCell> - <mxCell id="55" value="" style="rounded=0;whiteSpace=wrap;html=1;strokeColor=#000000;strokeWidth=1;fontColor=#000000;fillColor=default;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="90" y="2140" width="70" height="30" as="geometry" /> - </mxCell> - <mxCell id="56" value="CodeGear" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;strokeWidth=1;fontColor=#000000;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="167.5" y="2140" width="75" height="30" as="geometry" /> - </mxCell> - <mxCell id="57" value="Conditional branch" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;strokeWidth=1;fontColor=#000000;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="170" y="2090" width="120" height="30" as="geometry" /> - </mxCell> - <mxCell id="58" value="" style="shape=waypoint;sketch=0;fillStyle=solid;size=6;pointerEvents=1;points=[];fillColor=none;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeColor=#FF8000;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="115" y="2190" width="20" height="20" as="geometry" /> - </mxCell> - <mxCell id="59" value="Phase starting point" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;strokeWidth=1;fontColor=#000000;fontSize=14;" parent="1" vertex="1"> - <mxGeometry x="160" y="2185" width="140" height="30" as="geometry" /> - </mxCell> - </root> - </mxGraphModel> - </diagram> -</mxfile> +<mxfile host="65bd71144e"> + <diagram id="p-B8z-Vdb0gE9XzKJtCj" name="Page-1"> + <mxGraphModel dx="1357" dy="-78" 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="2" value="" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;strokeWidth=2;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="620" y="1717.5" width="240" height="352.5" as="geometry"/> + </mxCell> + <mxCell id="3" value="" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;strokeWidth=2;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="360" y="1717.5" width="220" height="322.5" as="geometry"/> + </mxCell> + <mxCell id="4" value="" style="rounded=0;whiteSpace=wrap;html=1;fillColor=none;strokeWidth=2;strokeColor=#000000;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="90" y="1717.5" width="230" height="280" as="geometry"/> + </mxCell> + <mxCell id="5" value="leftDown" style="rounded=0;whiteSpace=wrap;html=1;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="150" y="1757.5" width="120" height="60" as="geometry"/> + </mxCell> + <mxCell id="6" style="edgeStyle=orthogonalEdgeStyle;html=1;exitX=0;exitY=0.5;exitDx=0;exitDy=0;entryX=1;entryY=0.25;entryDx=0;entryDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="7" target="4" edge="1"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="7" value="rightDown" style="rounded=0;whiteSpace=wrap;html=1;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="414" y="1757.5" width="120" height="60" as="geometry"/> + </mxCell> + <mxCell id="8" style="edgeStyle=orthogonalEdgeStyle;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="9" target="38" edge="1"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="9" value="up" style="rounded=0;whiteSpace=wrap;html=1;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="680" y="1757.5" width="120" height="60" as="geometry"/> + </mxCell> + <mxCell id="10" style="edgeStyle=orthogonalEdgeStyle;html=1;exitX=0;exitY=0;exitDx=0;exitDy=0;entryX=0.145;entryY=1;entryDx=0;entryDy=0;entryPerimeter=0;endArrow=none;endFill=0;startArrow=classic;startFill=1;fontSize=14;" parent="1" source="15" target="5" edge="1"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="11" style="edgeStyle=orthogonalEdgeStyle;html=1;exitX=1;exitY=0;exitDx=0;exitDy=0;entryX=0.854;entryY=0.977;entryDx=0;entryDy=0;entryPerimeter=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="15" target="5" edge="1"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="12" value="Yes" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;fontSize=14;" parent="11" vertex="1" connectable="0"> + <mxGeometry x="-0.7643" relative="1" as="geometry"> + <mxPoint as="offset"/> + </mxGeometry> + </mxCell> + <mxCell id="13" style="edgeStyle=orthogonalEdgeStyle;html=1;startArrow=none;startFill=0;endArrow=classic;endFill=1;entryX=-0.002;entryY=0.698;entryDx=0;entryDy=0;entryPerimeter=0;fontSize=14;" parent="1" source="15" target="3" edge="1"> + <mxGeometry relative="1" as="geometry"> + <Array as="points"/> + </mxGeometry> + </mxCell> + <mxCell id="14" value="No" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;" parent="13" vertex="1" connectable="0"> + <mxGeometry x="-0.8407" relative="1" as="geometry"> + <mxPoint as="offset"/> + </mxGeometry> + </mxCell> + <mxCell id="15" value="left exist?" style="ellipse;whiteSpace=wrap;html=1;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="150" y="1917.5" width="120" height="50" as="geometry"/> + </mxCell> + <mxCell id="16" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="17" target="15" edge="1"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="17" value="" style="shape=waypoint;sketch=0;fillStyle=solid;size=6;pointerEvents=1;points=[];fillColor=none;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeColor=#FF8000;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="100" y="1932.5" width="20" height="20" as="geometry"/> + </mxCell> + <mxCell id="18" value="Start" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontColor=#FF8000;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="80" y="1902.5" width="60" height="30" as="geometry"/> + </mxCell> + <mxCell id="19" style="edgeStyle=orthogonalEdgeStyle;html=1;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="23" target="7" edge="1"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="20" value="Yes" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;" parent="19" vertex="1" connectable="0"> + <mxGeometry x="-0.6463" y="1" relative="1" as="geometry"> + <mxPoint as="offset"/> + </mxGeometry> + </mxCell> + <mxCell id="21" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=0.003;entryY=0.64;entryDx=0;entryDy=0;entryPerimeter=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="23" target="2" edge="1"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="22" value="No" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;" parent="21" vertex="1" connectable="0"> + <mxGeometry x="-0.7763" y="-1" relative="1" as="geometry"> + <mxPoint as="offset"/> + </mxGeometry> + </mxCell> + <mxCell id="23" value="right exist?" style="ellipse;whiteSpace=wrap;html=1;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="414" y="1917.5" width="120" height="50" as="geometry"/> + </mxCell> + <mxCell id="24" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=0;entryY=0.25;entryDx=0;entryDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="25" target="4" edge="1"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="25" value="" style="shape=waypoint;sketch=0;fillStyle=solid;size=6;pointerEvents=1;points=[];fillColor=none;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;fontColor=#007FFF;strokeColor=#007FFF;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="20" y="1777.5" width="20" height="20" as="geometry"/> + </mxCell> + <mxCell id="26" value="Start" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontColor=#007FFF;fontSize=14;" parent="1" vertex="1"> + <mxGeometry y="1752.5" width="60" height="30" as="geometry"/> + </mxCell> + <mxCell id="27" value="LeftDown" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="170" y="1680" width="60" height="30" as="geometry"/> + </mxCell> + <mxCell id="28" style="edgeStyle=orthogonalEdgeStyle;html=1;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="29" target="23" edge="1"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="29" value="" style="shape=waypoint;sketch=0;fillStyle=solid;size=6;pointerEvents=1;points=[];fillColor=none;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeColor=#FF8000;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="370" y="1932.5" width="20" height="20" as="geometry"/> + </mxCell> + <mxCell id="30" value="Start" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontColor=#FF8000;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="350" y="1907.5" width="60" height="30" as="geometry"/> + </mxCell> + <mxCell id="31" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=0;entryY=0.5;entryDx=0;entryDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;exitX=0.589;exitY=0.988;exitDx=0;exitDy=0;exitPerimeter=0;fontSize=14;" parent="1" source="32" target="9" edge="1"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="32" value="" style="shape=waypoint;sketch=0;fillStyle=solid;size=6;pointerEvents=1;points=[];fillColor=none;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeColor=#FF8000;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="630" y="1777.5" width="20" height="20" as="geometry"/> + </mxCell> + <mxCell id="33" value="Start" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontColor=#FF8000;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="610" y="1752.5" width="60" height="30" as="geometry"/> + </mxCell> + <mxCell id="34" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=0.5;entryY=0;entryDx=0;entryDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="38" target="42" edge="1"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="35" value="Yes" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;" parent="34" vertex="1" connectable="0"> + <mxGeometry x="-0.3697" y="-4" relative="1" as="geometry"> + <mxPoint x="4" y="4" as="offset"/> + </mxGeometry> + </mxCell> + <mxCell id="36" style="edgeStyle=orthogonalEdgeStyle;html=1;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="38" edge="1"> + <mxGeometry relative="1" as="geometry"> + <mxPoint x="580" y="1865" as="targetPoint"/> + </mxGeometry> + </mxCell> + <mxCell id="37" value="No" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontColor=#000000;fontSize=14;" parent="36" vertex="1" connectable="0"> + <mxGeometry x="-0.7491" y="-2" relative="1" as="geometry"> + <mxPoint as="offset"/> + </mxGeometry> + </mxCell> + <mxCell id="38" value="right copied?" style="ellipse;whiteSpace=wrap;html=1;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="680" y="1840" width="120" height="50" as="geometry"/> + </mxCell> + <mxCell id="39" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=1;entryY=0.5;entryDx=0;entryDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="42" target="9" edge="1"> + <mxGeometry relative="1" as="geometry"> + <Array as="points"> + <mxPoint x="830" y="1943"/> + <mxPoint x="830" y="1788"/> + </Array> + </mxGeometry> + </mxCell> + <mxCell id="40" value="No" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;" parent="39" vertex="1" connectable="0"> + <mxGeometry x="-0.6661" y="1" relative="1" as="geometry"> + <mxPoint x="-19" y="6" as="offset"/> + </mxGeometry> + </mxCell> + <mxCell id="41" value="Yes" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=0.5;entryY=0;entryDx=0;entryDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="42" target="47" edge="1"> + <mxGeometry x="-0.1667" relative="1" as="geometry"> + <mxPoint as="offset"/> + </mxGeometry> + </mxCell> + <mxCell id="42" value="is root?" style="ellipse;whiteSpace=wrap;html=1;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="680" y="1917.5" width="120" height="50" as="geometry"/> + </mxCell> + <mxCell id="43" style="edgeStyle=orthogonalEdgeStyle;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="47" target="49" edge="1"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="44" value="Yes" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;" parent="43" vertex="1" connectable="0"> + <mxGeometry x="-0.6889" y="-1" relative="1" as="geometry"> + <mxPoint as="offset"/> + </mxGeometry> + </mxCell> + <mxCell id="45" style="edgeStyle=orthogonalEdgeStyle;html=1;exitX=0;exitY=0.5;exitDx=0;exitDy=0;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="47" edge="1"> + <mxGeometry relative="1" as="geometry"> + <mxPoint x="580" y="2023" as="targetPoint"/> + </mxGeometry> + </mxCell> + <mxCell id="46" value="No" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];fontSize=14;" parent="45" vertex="1" connectable="0"> + <mxGeometry x="-0.7681" y="-1" relative="1" as="geometry"> + <mxPoint as="offset"/> + </mxGeometry> + </mxCell> + <mxCell id="47" value="copied?" style="ellipse;whiteSpace=wrap;html=1;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="680" y="1997.5" width="120" height="50" as="geometry"/> + </mxCell> + <mxCell id="48" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=0.515;entryY=0.352;entryDx=0;entryDy=0;entryPerimeter=0;fontColor=#007FFF;startArrow=none;startFill=0;endArrow=classic;endFill=1;fontSize=14;" parent="1" source="49" target="52" edge="1"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="49" value="swap" style="rounded=0;whiteSpace=wrap;html=1;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="680" y="2100" width="120" height="60" as="geometry"/> + </mxCell> + <mxCell id="50" value="RightDown" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="435" y="1680" width="60" height="30" as="geometry"/> + </mxCell> + <mxCell id="51" value="Up" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="705" y="1680" width="60" height="30" as="geometry"/> + </mxCell> + <mxCell id="52" value="" style="shape=waypoint;sketch=0;fillStyle=solid;size=6;pointerEvents=1;points=[];fillColor=none;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeColor=#007FFF;strokeWidth=2;fontColor=#FF8000;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="730" y="2190" width="20" height="20" as="geometry"/> + </mxCell> + <mxCell id="53" value="End" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;strokeWidth=2;fontColor=#007FFF;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="710" y="2200" width="60" height="30" as="geometry"/> + </mxCell> + <mxCell id="54" value="" style="ellipse;whiteSpace=wrap;html=1;strokeColor=#000000;strokeWidth=1;fontColor=#000000;fillColor=default;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="90" y="2090" width="70" height="30" as="geometry"/> + </mxCell> + <mxCell id="55" value="" style="rounded=0;whiteSpace=wrap;html=1;strokeColor=#000000;strokeWidth=1;fontColor=#000000;fillColor=default;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="90" y="2140" width="70" height="30" as="geometry"/> + </mxCell> + <mxCell id="56" value="CodeGear" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;strokeWidth=1;fontColor=#000000;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="167.5" y="2140" width="75" height="30" as="geometry"/> + </mxCell> + <mxCell id="57" value="Conditional branch" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;strokeWidth=1;fontColor=#000000;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="170" y="2090" width="120" height="30" as="geometry"/> + </mxCell> + <mxCell id="58" value="" style="shape=waypoint;sketch=0;fillStyle=solid;size=6;pointerEvents=1;points=[];fillColor=none;resizable=0;rotatable=0;perimeter=centerPerimeter;snapToPoint=1;strokeColor=#FF8000;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="115" y="2190" width="20" height="20" as="geometry"/> + </mxCell> + <mxCell id="59" value="Phase starting point" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;strokeWidth=1;fontColor=#000000;fontSize=14;" parent="1" vertex="1"> + <mxGeometry x="160" y="2185" width="140" height="30" as="geometry"/> + </mxCell> + </root> + </mxGraphModel> + </diagram> +</mxfile> \ No newline at end of file
--- a/Paper/master_paper.lol Sat Feb 03 23:06:19 2024 +0900 +++ b/Paper/master_paper.lol Sun Feb 04 12:19:38 2024 +0900 @@ -11,3 +11,5 @@ \contentsline {lstlisting}{\numberline {5.1}実行するCodeGearの切り替えのコード}{29}{}% \contentsline {lstlisting}{\numberline {6.1}Tree Interfaceの使用定義(Copy追加後)}{32}{}% \contentsline {lstlisting}{\numberline {6.2}RedBlackTreeの実装の型定義(Copy追加後)}{32}{}% +\contentsline {lstlisting}{\numberline {6.3}leftDown1 CodeGear(アロケーション部分の例)}{34}{}% +\contentsline {lstlisting}{\numberline {6.4}ビルド時に生成されたALLOCATE部分}{35}{}%
--- a/Paper/master_paper.tex Sat Feb 03 23:06:19 2024 +0900 +++ b/Paper/master_paper.tex Sun Feb 04 12:19:38 2024 +0900 @@ -418,7 +418,7 @@ \texttt{singleLinkedQueue->top = new Element();}のような形でnewキーワードを用いる． これはビルド時に生成されるALLOCATEマクロに変換される． 図\ref{src:allocate.h}はALLOCATEマクロの例である． -ALLOCATEマクロはContext(context)と用意したいDataGearの型名(t)を渡す． +ALLOCATEマクロはContext(context)と用意したいDataGearの型名tを渡す． contextは\texttt{context->heap}で示されるヒープ領域を持っており， この領域にDataGearを保持する． 6行目でDataGearのサイズ分のメモリ領域をヒープ上に確保していることがわかる． @@ -899,10 +899,47 @@ \label{fig:CopyCGTransition} \end{figure} -\section{コピーの実装の詳細} +\section{アロケーション部分} + +新規ノードのアロケーションはcopyRedBlackTree，leftDown，rightDown CodeGearで行われる． +例としてソースコード\ref{src:leftDown1.cbc}にleftDown1 CodeGearを示す． +9行目でコピー先のNodeをnewでアロケーションし，11〜14行目でコピー元からコピー先のノードへkey，value， +colorをコピーしている． +また，10行目のdataはtoStackのtopから得たもので，アロケーションしたノードの親ノードにあたる． +17行目は\texttt{data->left}にアロケーションしたノードを代入している． +そのようにしてアロケーションしたノードはtoStackにpushされ， +次にleftDownで子ノードがアロケーションされる際に参照される． +このようなアロケーションはcopyRedBlackTree，rightDownにおいても同様に行われている． +アロケーションはノーマルレベルではnewキーワードによって記述され， +メタレベルではソースコード\ref{src:allocate.h}で示した\texttt{ALLOCATE}マクロを呼び出すことによって行われる． + +\lstinputlisting[label=src:leftDown1.cbc, caption=leftDown1 CodeGear(アロケーション部分の例)]{src/leftDown1.cbc} + +ソースコード\ref{allocate}にビルド時に生成された， +newに対応するALLOCATEマクロの呼び出し部分を示す． +\texttt{\&ALLOCATE}にcontextと，アロケートしたいDataGearの型名を渡している． +contextは現在のContextを指しており，別のContextへのアロケーションはされていない． + +\begin{lstlisting}[label=allocate,frame=lrbt,caption={ビルド時に生成されたALLOCATE部分}] + struct Node* newNode = &ALLOCATE(context, Node)->Node; +\end{lstlisting} + +\section{swap} + +ソースコード\ref{}に \chapter{評価} +\section{テストコード} + +\section{非破壊RedBlackTreeの増大抑制} + +\section{ヒープオーバーフロー問題} + +\section{Stackの使用} + +\section{RedBlackTreeの持続性} + \chapter{まとめと今後の課題} 本研究ではGearsOSのファイルシステムであるGearsFileSystemにおける @@ -984,6 +1021,7 @@ スタンドアロンなDBの形にするか， その他の方法でポータビリティを向上させる手法を考えたい． +\section{GearsOSのプログラミング} % %謝辞
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Paper/src/leftDown1.cbc Sun Feb 04 12:19:38 2024 +0900 @@ -0,0 +1,21 @@ +__code leftDown1(struct RedBlackTree* tree, struct Stack* stack) { + printf("leftDown1\n"); + + if (tree->current->left == NULL) { + goto rightDown(); + } + + struct Stack* toStack = tree->toStack; + struct Node* newNode = new Node(); + struct Node* data = (Node*)(stack->data); + newNode->key = tree->current->left->key; + newNode->value = (union Data*)new Integer(); + ((Integer*)newNode->value)->value = ((Integer*)tree->current->left->value)->value; + newNode->color = tree->current->left->color; + + if(data) { + data->left = newNode; + } + + goto toStack->push(newNode, leftDown2); +} \ No newline at end of file
--- a/TODO.md Sat Feb 03 23:06:19 2024 +0900 +++ b/TODO.md Sun Feb 04 12:19:38 2024 +0900 @@ -36,4 +36,5 @@ - [x] AspectJの引用 - [x] CbCの記述例(exit code) - [ ] 英語の文献をもっと入れよう - - [ ] LFSやFilesystem Fragmentationへ言及する \ No newline at end of file + - [ ] LFSやFilesystem Fragmentationへ言及する +- [ ] 「そうなってしまっている」みたいな書き方を避ける \ No newline at end of file