Mercurial > hg > Papers > 2023 > matac-sigos
changeset 19:efdfdb997984
...
| author | matac42 <matac@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Mon, 17 Apr 2023 17:32:19 +0900 |
| parents | b2ecc555e86e |
| children | bb48e6b2965e |
| files | Paper/figs/backup.drawio Paper/figs/read.drawio Paper/figs/transaction.drawio Paper/figs/transaction.drawio.pdf Paper/figs/transaction.png Paper/figs/transaction.svg Paper/paper.aux Paper/paper.log Paper/paper.pdf Paper/paper.synctex.gz Paper/paper.tex |
| diffstat | 10 files changed, 262 insertions(+), 12 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Paper/figs/read.drawio Mon Apr 17 17:32:19 2023 +0900 @@ -0,0 +1,124 @@ +<mxfile host="65bd71144e"> + <diagram id="FQab2-Z0juOJThPiGa4v" name="Page-1"> + <mxGraphModel dx="344" dy="704" 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="12" style="edgeStyle=none;html=1;exitX=0;exitY=1;exitDx=0;exitDy=0;entryX=0.7;entryY=0.075;entryDx=0;entryDy=0;endArrow=none;endFill=0;entryPerimeter=0;" edge="1" parent="1" source="2" target="7"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="13" style="edgeStyle=none;html=1;exitX=1;exitY=1;exitDx=0;exitDy=0;endArrow=none;endFill=0;" edge="1" parent="1" source="2" target="3"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="2" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="120" y="240" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="3" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="150" y="300" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="4" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="180" y="360" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="5" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="60" y="360" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="6" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="120" y="360" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="14" style="edgeStyle=none;html=1;exitX=0;exitY=1;exitDx=0;exitDy=0;endArrow=none;endFill=0;" edge="1" parent="1" source="7" target="5"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="7" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="90" y="300" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="9" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="200" y="240" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="10" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="230" y="300" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="11" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="200" y="630" width="30" height="30" as="geometry"/> + </mxCell> + <mxCell id="21" style="edgeStyle=none;html=1;exitX=0;exitY=1;exitDx=0;exitDy=0;endArrow=none;endFill=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="15" target="17"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="23" style="edgeStyle=none;html=1;exitX=1;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;" edge="1" parent="1" source="15" target="16"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="15" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="130" y="440" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="24" style="edgeStyle=none;html=1;exitX=1;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;" edge="1" parent="1" source="16" target="18"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="16" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="160" y="500" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="25" style="edgeStyle=none;html=1;exitX=1;exitY=1;exitDx=0;exitDy=0;entryX=0.5;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="17" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="100" y="500" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="18" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="190" y="560" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="19" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="130" y="560" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="22" style="edgeStyle=none;html=1;exitX=0.5;exitY=0;exitDx=0;exitDy=0;entryX=0;entryY=1;entryDx=0;entryDy=0;endArrow=none;endFill=0;" edge="1" parent="1" source="20" target="17"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="20" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="70" y="560" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="26" style="edgeStyle=none;html=1;exitX=0;exitY=1;exitDx=0;exitDy=0;endArrow=none;endFill=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="28" target="32"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="27" style="edgeStyle=none;html=1;exitX=1;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;" edge="1" parent="1" source="28" target="30"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="28" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="340" y="440" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="29" style="edgeStyle=none;html=1;exitX=1;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;" edge="1" parent="1" source="30" target="33"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="30" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="370" y="500" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="31" style="edgeStyle=none;html=1;exitX=1;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;" edge="1" parent="1" source="32" target="34"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="32" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="310" y="500" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="33" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="400" y="560" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="34" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="340" y="560" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="35" style="edgeStyle=none;html=1;exitX=0.5;exitY=0;exitDx=0;exitDy=0;entryX=0;entryY=1;entryDx=0;entryDy=0;endArrow=none;endFill=0;" edge="1" parent="1" source="36" target="32"> + <mxGeometry relative="1" as="geometry"/> + </mxCell> + <mxCell id="36" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="280" y="560" width="40" height="40" as="geometry"/> + </mxCell> + <mxCell id="37" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="180" y="680" width="30" height="30" as="geometry"/> + </mxCell> + <mxCell id="38" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;" vertex="1" parent="1"> + <mxGeometry x="225" y="680" width="30" height="30" as="geometry"/> + </mxCell> + <mxCell id="39" value="" style="endArrow=none;html=1;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="18" target="11"> + <mxGeometry width="50" height="50" relative="1" as="geometry"> + <mxPoint x="160" y="560" as="sourcePoint"/> + <mxPoint x="210" y="510" as="targetPoint"/> + </mxGeometry> + </mxCell> + </root> + </mxGraphModel> + </diagram> +</mxfile> \ No newline at end of file
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Paper/figs/transaction.drawio Mon Apr 17 17:32:19 2023 +0900 @@ -0,0 +1,104 @@ +<mxfile host="app.diagrams.net" modified="2023-04-17T08:08:51.263Z" agent="Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/112.0.0.0 Safari/537.36" version="21.1.1" etag="51CZs3nB9ULPaeoY18TK" type="device"> + <diagram id="L_h3FubKQM33HK9nJZH5" name="Page-1"> + <mxGraphModel dx="1004" dy="635" 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="8" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;strokeWidth=3;strokeColor=#000000;" parent="1" source="2" target="5" edge="1"> + <mxGeometry relative="1" as="geometry" /> + </mxCell> + <mxCell id="9" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;strokeWidth=3;strokeColor=#000000;" parent="1" source="2" target="6" edge="1"> + <mxGeometry relative="1" as="geometry" /> + </mxCell> + <mxCell id="2" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> + <mxGeometry x="180" y="40" width="50" height="50" as="geometry" /> + </mxCell> + <mxCell id="3" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> + <mxGeometry x="80" y="210" width="50" height="50" as="geometry" /> + </mxCell> + <mxCell id="10" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;strokeWidth=3;strokeColor=#000000;" parent="1" source="5" target="3" edge="1"> + <mxGeometry relative="1" as="geometry" /> + </mxCell> + <mxCell id="11" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;strokeWidth=3;strokeColor=#000000;" parent="1" source="5" target="7" edge="1"> + <mxGeometry relative="1" as="geometry" /> + </mxCell> + <mxCell id="5" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> + <mxGeometry x="130" y="120" width="50" height="50" as="geometry" /> + </mxCell> + <mxCell id="6" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> + <mxGeometry x="230" y="120" width="50" height="50" as="geometry" /> + </mxCell> + <mxCell id="7" value="<font style="font-size: 25px;">N</font>" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> + <mxGeometry x="180" y="210" width="50" height="50" as="geometry" /> + </mxCell> + <mxCell id="27" style="edgeStyle=none;html=1;exitX=0;exitY=0.5;exitDx=0;exitDy=0;entryX=1;entryY=0.5;entryDx=0;entryDy=0;fontSize=20;endArrow=classic;endFill=1;startArrow=none;startFill=0;strokeColor=#000000;strokeWidth=3;" parent="1" source="12" target="7" edge="1"> + <mxGeometry relative="1" as="geometry" /> + </mxCell> + <mxCell id="12" value="<font style="font-size: 25px;">key = a</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontColor=#000000;" parent="1" vertex="1"> + <mxGeometry x="265" y="220" width="95" height="30" as="geometry" /> + </mxCell> + <mxCell id="13" value="" style="rounded=0;whiteSpace=wrap;html=1;fontSize=20;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> + <mxGeometry x="80" y="360" width="120" height="240" as="geometry" /> + </mxCell> + <mxCell id="32" style="edgeStyle=none;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;fontSize=20;startArrow=none;startFill=0;endArrow=classic;endFill=1;strokeWidth=3;strokeColor=#000000;" parent="1" source="14" target="19" edge="1"> + <mxGeometry relative="1" as="geometry"> + <Array as="points"> + <mxPoint x="240" y="365" /> + </Array> + </mxGeometry> + </mxCell> + <mxCell id="39" style="edgeStyle=none;html=1;exitX=1;exitY=0.5;exitDx=0;exitDy=0;entryX=0;entryY=0.5;entryDx=0;entryDy=0;strokeColor=#FF9933;strokeWidth=3;fontSize=30;fontColor=#FF9933;startArrow=none;startFill=0;endArrow=classic;endFill=1;" parent="1" source="14" target="24" edge="1"> + <mxGeometry relative="1" as="geometry" /> + </mxCell> + <mxCell id="14" value="" style="rounded=0;whiteSpace=wrap;html=1;fontSize=20;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> + <mxGeometry x="80" y="480" width="120" height="30" as="geometry" /> + </mxCell> + <mxCell id="15" value="<font style="font-size: 25px;">a</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=20;fontColor=#000000;" parent="1" vertex="1"> + <mxGeometry x="40" y="480" width="40" height="30" as="geometry" /> + </mxCell> + <mxCell id="17" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;strokeWidth=3;strokeColor=#000000;" parent="1" source="19" target="20" edge="1"> + <mxGeometry relative="1" as="geometry" /> + </mxCell> + <mxCell id="18" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;strokeWidth=3;strokeColor=#000000;" parent="1" source="19" target="21" edge="1"> + <mxGeometry relative="1" as="geometry" /> + </mxCell> + <mxCell id="19" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> + <mxGeometry x="340" y="350" width="30" height="30" as="geometry" /> + </mxCell> + <mxCell id="20" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> + <mxGeometry x="290" y="430" width="30" height="30" as="geometry" /> + </mxCell> + <mxCell id="21" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeWidth=3;strokeColor=#000000;fillColor=none;" parent="1" vertex="1"> + <mxGeometry x="390" y="430" width="30" height="30" as="geometry" /> + </mxCell> + <mxCell id="22" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;strokeColor=#FF9933;strokeWidth=4;" parent="1" source="24" target="25" edge="1"> + <mxGeometry relative="1" as="geometry" /> + </mxCell> + <mxCell id="23" style="edgeStyle=none;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;endArrow=none;endFill=0;strokeColor=#FF9933;strokeWidth=4;" parent="1" source="24" target="26" edge="1"> + <mxGeometry relative="1" as="geometry" /> + </mxCell> + <mxCell id="24" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeColor=#FF9933;strokeWidth=4;fillColor=none;" parent="1" vertex="1"> + <mxGeometry x="340" y="480" width="30" height="30" as="geometry" /> + </mxCell> + <mxCell id="25" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeColor=#FF9933;strokeWidth=4;fillColor=none;" parent="1" vertex="1"> + <mxGeometry x="290" y="560" width="30" height="30" as="geometry" /> + </mxCell> + <mxCell id="26" value="" style="ellipse;whiteSpace=wrap;html=1;aspect=fixed;strokeColor=#FF9933;strokeWidth=4;fillColor=none;" parent="1" vertex="1"> + <mxGeometry x="390" y="560" width="30" height="30" as="geometry" /> + </mxCell> + <mxCell id="28" value="<font style="font-size: 20px;">Context</font>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=20;fontColor=#000000;strokeWidth=3;" parent="1" vertex="1"> + <mxGeometry x="105" y="330" width="70" height="30" as="geometry" /> + </mxCell> + <mxCell id="36" value="<span style="font-size: 30px;">A</span>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;strokeWidth=3;fontSize=20;fontColor=#000000;" parent="1" vertex="1"> + <mxGeometry x="80" y="40" width="30" height="30" as="geometry" /> + </mxCell> + <mxCell id="37" value="<span style="font-size: 30px;">B</span>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;strokeWidth=3;fontSize=20;fontColor=#000000;" parent="1" vertex="1"> + <mxGeometry x="390" y="350" width="30" height="30" as="geometry" /> + </mxCell> + <mxCell id="38" value="<span style="font-size: 30px;">C</span>" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;strokeWidth=3;fontSize=20;fontColor=#FF9933;" parent="1" vertex="1"> + <mxGeometry x="390" y="480" width="30" height="30" as="geometry" /> + </mxCell> + </root> + </mxGraphModel> + </diagram> +</mxfile>
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Paper/figs/transaction.svg Mon Apr 17 17:32:19 2023 +0900 @@ -0,0 +1,1 @@ +<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="383px" height="565px" viewBox="-0.5 -0.5 383 565" content="<mxfile><diagram id="L_h3FubKQM33HK9nJZH5" name="Page-1">7VvNk5owHP1rPLYDBPw47rrr9tKZzuyh7TEjUZmNhEJctX99AySQQFBQgV3qHlbyS4LhvZeXLxyB+fbwEsJg8524CI8swz2MwNPIshxgsv9x4JgGTGM6SSPr0HN5LA+8en+RKMijO89FkVKQEoKpF6jBJfF9tKRKDIYh2avFVgSr3xrANSoFXpcQl6M/PZdu0ujUmuTxb8hbb8Q3m+NZmrOFojB/kmgDXbKXQuB5BOYhITS92h7mCMfgCVzSeouK3KxhIfJpnQpT3gx6FM+GXPaoPOkTn308bugWs5TJLtHBo7/YtfHV4anfUs5TzLAhEkeR8Gl4lCrFyd9yXl4tSeX13IeYrLwhLLLwMOb5EQ3JW0YAyCJzgkmYPAwwkj+WU8aFQxWRXbjkj25xKcFwjXgpJw3FoEjVOJYviGwRazErECIMqfeu6gNyma2zcjkT7IKToSdmdifmJDHjvojhbXmHeMdvWmYKY+ZEMS77jUfRawCTB9kzM1RJg1GQ2tPKOyC3IXIrBriIcxoqwXxHIUWHk0CJ3Cl3Ju7NNk/uc59zeGgjWZyIXYMsGDayBWCzwawDZMVX3d1E8nTZTUBfbmKad2ZOMjPpixln2G5kAtWOTKs7OxoPG1qrR2gnw4a2ODvpchAV2Da3asmoc9s+Y9WmYtS5b1dY9Yr4lK+TrYJ1LzGMIm+puLeZcAdDWvD3JFZyeB2/ZS3UcnhTM5XvzeJFY5TeMsaU46lwPf6zIyLjS5Qg/cAKWE5wSJ5d5LOrdfz5huImJ1UNKO7KGpTeOC1T0hPrBVTVkEoAZ0nTtyD21n5MNgMfsfhj3Ke8JcQPPGPruS6u6vQh2flu3MUzLTUawhtY49hR+6/GGmdOuf+CW0yCa6wvVCDO+GOxz/VvjwV3BOMyutlgJMObrfKuWr5phppa/iiuG/ljlrjMH+uYXy0PvfEM2LTL/mjObm2QSVX2bPAoFQiI59NIuvOPOCD1XbuoLqcgj/SOuViyptXTz6VbXl3op0TrYjGbAaCVgKQ1oPFTqeZNNHixriy7t4HX/t+s2J7WtOKbjHS6teuN5jWfcC4jC6PFuY19nnG7LcIvXpoMcRdJjJeK1xm9ed39iO0cN2Zv3MzOj0OfebsEFKdsTtmTQEueJHrcULG1ZgW/Bx1iaw4bW9AntpcuYz+OX59fpth1/drSrRt6eylCnNPduankpr/3Imqs6a71pHrgdTOW6ub3rXlSB4eRfWJbHEsdzcZla9h2cBrZq277xHaqwbbhRoRRsRExZ+XiLYZBbkc0OF1rcHhqqIcvQDOrmrSkBKDrZSlzUQD9OkoAVUp4kDSQ3uxDa+DkhnHbm1Tn3+5rywuA7tWEGyng8a6Ai8eDLvcEQPV4cLUG5gPXQDZxaEEDLc5lWTL/NUN6Kpj/JgQ8/wM=</diagram></mxfile>"><defs/><g><path d="M 165 53 L 115 83" fill="none" stroke="#000000" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 165 53 L 215 83" fill="none" stroke="#000000" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><ellipse cx="165" cy="28" rx="25" ry="25" fill="none" stroke="#000000" stroke-width="3" pointer-events="all"/><ellipse cx="65" cy="198" rx="25" ry="25" fill="none" stroke="#000000" stroke-width="3" pointer-events="all"/><path d="M 115 133 L 65 173" fill="none" stroke="#000000" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 115 133 L 165 173" fill="none" stroke="#000000" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><ellipse cx="115" cy="108" rx="25" ry="25" fill="none" stroke="#000000" stroke-width="3" pointer-events="all"/><ellipse cx="215" cy="108" rx="25" ry="25" fill="none" stroke="#000000" stroke-width="3" pointer-events="all"/><ellipse cx="165" cy="198" rx="25" ry="25" fill="none" stroke="#000000" stroke-width="3" pointer-events="all"/><path d="M 225 198 L 200.1 198" fill="none" stroke="#000000" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 193.35 198 L 202.35 193.5 L 200.1 198 L 202.35 202.5 Z" fill="#000000" stroke="#000000" stroke-width="3" stroke-miterlimit="10" pointer-events="all"/><rect x="225" y="183" width="95" height="30" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 93px; height: 1px; padding-top: 198px; margin-left: 226px;"><div data-drawio-colors="color: #000000; " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><font style="font-size: 25px;">key = a</font></div></div></div></foreignObject><text x="273" y="202" fill="#000000" font-family="Helvetica" font-size="12px" text-anchor="middle">key = a</text></switch></g><rect x="40" y="323" width="120" height="240" fill="none" stroke="#000000" stroke-width="3" pointer-events="all"/><path d="M 160 458 L 197.06 337.56 Q 200 328 210 328 L 289.9 328" fill="none" stroke="#000000" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 296.65 328 L 287.65 332.5 L 289.9 328 L 287.65 323.5 Z" fill="#000000" stroke="#000000" stroke-width="3" stroke-miterlimit="10" pointer-events="all"/><path d="M 160 458 L 289.9 458" fill="none" stroke="#ff9933" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 296.65 458 L 287.65 462.5 L 289.9 458 L 287.65 453.5 Z" fill="#ff9933" stroke="#ff9933" stroke-width="3" stroke-miterlimit="10" pointer-events="all"/><rect x="40" y="443" width="120" height="30" fill="none" stroke="#000000" stroke-width="3" pointer-events="all"/><rect x="0" y="443" width="40" height="30" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 38px; height: 1px; padding-top: 458px; margin-left: 1px;"><div data-drawio-colors="color: #000000; " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 20px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><font style="font-size: 25px;">a</font></div></div></div></foreignObject><text x="20" y="464" fill="#000000" font-family="Helvetica" font-size="20px" text-anchor="middle">a</text></switch></g><path d="M 315 343 L 265 393" fill="none" stroke="#000000" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 315 343 L 365 393" fill="none" stroke="#000000" stroke-width="3" stroke-miterlimit="10" pointer-events="stroke"/><ellipse cx="315" cy="328" rx="14.999999999999998" ry="14.999999999999998" fill="none" stroke="#000000" stroke-width="3" pointer-events="all"/><ellipse cx="265" cy="408" rx="14.999999999999998" ry="14.999999999999998" fill="none" stroke="#000000" stroke-width="3" pointer-events="all"/><ellipse cx="365" cy="408" rx="14.999999999999998" ry="14.999999999999998" fill="none" stroke="#000000" stroke-width="3" pointer-events="all"/><path d="M 315 473 L 265 523" fill="none" stroke="#ff9933" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 315 473 L 365 523" fill="none" stroke="#ff9933" stroke-width="4" stroke-miterlimit="10" pointer-events="stroke"/><ellipse cx="315" cy="458" rx="14.999999999999998" ry="14.999999999999998" fill="none" stroke="#ff9933" stroke-width="4" pointer-events="all"/><ellipse cx="265" cy="538" rx="14.999999999999998" ry="14.999999999999998" fill="none" stroke="#ff9933" stroke-width="4" pointer-events="all"/><ellipse cx="365" cy="538" rx="14.999999999999998" ry="14.999999999999998" fill="none" stroke="#ff9933" stroke-width="4" pointer-events="all"/><rect x="65" y="293" width="70" height="30" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 68px; height: 1px; padding-top: 308px; margin-left: 66px;"><div data-drawio-colors="color: #000000; " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 20px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><font style="font-size: 20px;">Context</font></div></div></div></foreignObject><text x="100" y="314" fill="#000000" font-family="Helvetica" font-size="20px" text-anchor="middle">Context</text></switch></g><rect x="40" y="3" width="30" height="30" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 28px; height: 1px; padding-top: 18px; margin-left: 41px;"><div data-drawio-colors="color: #000000; " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 20px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><span style="font-size: 30px;">A</span></div></div></div></foreignObject><text x="55" y="24" fill="#000000" font-family="Helvetica" font-size="20px" text-anchor="middle">A</text></switch></g><rect x="350" y="313" width="30" height="30" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 28px; height: 1px; padding-top: 328px; margin-left: 351px;"><div data-drawio-colors="color: #000000; " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 20px; font-family: Helvetica; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><span style="font-size: 30px;">B</span></div></div></div></foreignObject><text x="365" y="334" fill="#000000" font-family="Helvetica" font-size="20px" text-anchor="middle">B</text></switch></g><rect x="350" y="443" width="30" height="30" fill="none" stroke="none" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 28px; height: 1px; padding-top: 458px; margin-left: 351px;"><div data-drawio-colors="color: #FF9933; " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 20px; font-family: Helvetica; color: rgb(255, 153, 51); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><span style="font-size: 30px;">C</span></div></div></div></foreignObject><text x="365" y="464" fill="#FF9933" font-family="Helvetica" font-size="20px" text-anchor="middle">C</text></switch></g></g><switch><g requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"/><a transform="translate(0,-5)" xlink:href="https://www.diagrams.net/doc/faq/svg-export-text-problems" target="_blank"><text text-anchor="middle" font-size="10px" x="50%" y="100%">Text is not SVG - cannot display</text></a></switch></svg> \ No newline at end of file
--- a/Paper/paper.aux Mon Apr 17 11:20:40 2023 +0900 +++ b/Paper/paper.aux Mon Apr 17 17:32:19 2023 +0900 @@ -25,9 +25,9 @@ \@writefile{toc}{\contentsline {section}{\numberline {5}\hskip 1zw{ディスク上とメモリ上のデータ構造}}{3}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {6}\hskip 1zw{データのロールバックとバックアップ}}{3}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {7}\hskip 1zw{RedBlackTreeのトランザクション}}{4}{}\protected@file@percent } +\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces トランザクショナルなwrite時のルート操作\relax }}{4}{}\protected@file@percent } +\newlabel{fig:Transaction}{{5}{4}} \@writefile{toc}{\contentsline {section}{\numberline {8}\hskip 1zw{ファイルシステムにおけるスキーマ}}{4}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {9}\hskip 1zw{RedBlackTreeによる権限の表現}}{4}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {10}\hskip 1zw{まとめと今後の課題}}{4}{}\protected@file@percent } \citation{*} \bibstyle{ipsjunsrt} \bibdata{matac-bib} @@ -44,6 +44,8 @@ \bibcite{xv6component}{11} \bibcite{xv6}{12} \bibcite{christie}{13} +\@writefile{toc}{\contentsline {section}{\numberline {9}\hskip 1zw{RedBlackTreeによる権限の表現}}{5}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {10}\hskip 1zw{まとめと今後の課題}}{5}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {10.1}{データクエリ言語}}{5}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {10.2}{ログなどの時系列データの保存}}{5}{}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\numberline {10.3}{スタンドアロンなDB}}{5}{}\protected@file@percent }
--- a/Paper/paper.log Mon Apr 17 11:20:40 2023 +0900 +++ b/Paper/paper.log Mon Apr 17 17:32:19 2023 +0900 @@ -1,4 +1,4 @@ -This is e-pTeX, Version 3.141592653-p4.0.0-220214-2.6 (utf8.euc) (TeX Live 2022) (preloaded format=platex 2022.6.9) 17 APR 2023 11:19 +This is e-pTeX, Version 3.141592653-p4.0.0-220214-2.6 (utf8.euc) (TeX Live 2022) (preloaded format=platex 2022.6.9) 17 APR 2023 17:29 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -3200,11 +3200,14 @@ [2] File: figs/nonDestroyTreeEdit.pdf Graphic file (type pdf) <figs/nonDestroyTreeEdit.pdf> - [3] [4] + [3] +File: figs/transaction.drawio.pdf Graphic file (type pdf) +<figs/transaction.drawio.pdf> + [4] LaTeX Font Info: Font shape `JT1/mc/bx/n' in size <9.61035> not available -(Font) Font shape `JT1/gt/m/n' tried instead on input line 378. +(Font) Font shape `JT1/gt/m/n' tried instead on input line 394. LaTeX Font Info: Font shape `JY1/mc/bx/n' in size <9.61035> not available -(Font) Font shape `JY1/gt/m/n' tried instead on input line 378. +(Font) Font shape `JY1/gt/m/n' tried instead on input line 394. (./paper.bbl LaTeX Font Info: Calculating math sizes for size <8.8711> on input line 1. @@ -3233,12 +3236,12 @@ ) Here is how much of TeX's memory you used: - 5097 strings out of 478724 - 81242 string characters out of 5858393 + 5103 strings out of 478724 + 81414 string characters out of 5858393 627481 words of memory out of 5000000 - 23499 multiletter control sequences out of 15000+600000 + 23504 multiletter control sequences out of 15000+600000 499135 words of font info for 160 fonts, out of 8000000 for 9000 929 hyphenation exceptions out of 8191 - 55i,10n,63p,294b,1365s stack positions out of 10000i,1000n,20000p,200000b,200000s - -Output written on paper.dvi (5 pages, 41760 bytes). + 55i,11n,63p,294b,1365s stack positions out of 10000i,1000n,20000p,200000b,200000s + +Output written on paper.dvi (5 pages, 42996 bytes).
--- a/Paper/paper.tex Mon Apr 17 11:20:40 2023 +0900 +++ b/Paper/paper.tex Mon Apr 17 17:32:19 2023 +0900 @@ -322,6 +322,22 @@ それによって，RedBlackTreeは複数の書き込みポイントを持つことができ， writeを並行実行することが可能となる． +図\ref{fig:Transaction}にトランザクショナルなwrite時のルート操作を表す． +Aの木はファイルシステム全体を表すRedBlackTreeである． +ノードNのデータに対して書き込みすることを考える． +キーがaであるBの木のルートからロックしCの木を作成して， +Bの木からCの木のルートに入れ替えることで書き込みを行う． +この書き込みを行っている際， +Aの木のノードはロックしないのでAの木のどのノードに対しても並行して書き込み可能となる． + +\begin{figure}[ht] + \begin{center} + \includegraphics[width=80mm]{figs/transaction.drawio.pdf} + \end{center} + \caption{トランザクショナルなwrite時のルート操作} + \label{fig:Transaction} +\end{figure} + % TODO: read時常に最新の情報が取れないことを説明する図を入れたい readはデータに変更を加えないため，複数同時に同じノードを読み込むことが可能である．