changeset 62:11c4ce8fe127

swap
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Tue, 06 Feb 2024 20:32:58 +0900
parents e7961c306d28
children f293f6b6da96
files Paper/fig/swap.drawio Paper/fig/swap.png Paper/master_paper.pdf Paper/master_paper.tex TODO.md
diffstat 5 files changed, 76 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Paper/fig/swap.drawio	Tue Feb 06 20:32:58 2024 +0900
@@ -0,0 +1,60 @@
+<mxfile host="65bd71144e">
+    <diagram id="mGzb4KQxwn7jOB_7Yuu3" name="Page-1">
+        <mxGraphModel dx="376" dy="767" 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" value="" style="rounded=0;whiteSpace=wrap;html=1;dashed=1;fillColor=none;" vertex="1" parent="1">
+                    <mxGeometry x="100" y="290" width="360" height="120" as="geometry"/>
+                </mxCell>
+                <mxCell id="2" value="" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
+                    <mxGeometry x="120" y="320" width="320" height="70" as="geometry"/>
+                </mxCell>
+                <mxCell id="3" value="Data Table Heap" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
+                    <mxGeometry x="110" y="290" width="120" height="30" as="geometry"/>
+                </mxCell>
+                <mxCell id="14" style="edgeStyle=orthogonalEdgeStyle;html=1;entryX=0;entryY=0;entryDx=0;entryDy=0;curved=1;exitX=0;exitY=1;exitDx=0;exitDy=0;" edge="1" parent="1" source="4" target="10">
+                    <mxGeometry relative="1" as="geometry"/>
+                </mxCell>
+                <mxCell id="4" value="tree" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
+                    <mxGeometry x="145" y="320" width="45" height="70" as="geometry"/>
+                </mxCell>
+                <mxCell id="6" value="From&lt;br&gt;RBTree" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
+                    <mxGeometry x="230" y="320" width="100" height="70" as="geometry"/>
+                </mxCell>
+                <mxCell id="7" value="To&lt;br&gt;RBTree" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
+                    <mxGeometry x="370" y="320" width="60" height="70" as="geometry"/>
+                </mxCell>
+                <mxCell id="9" value="Context" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;dashed=1;" vertex="1" parent="1">
+                    <mxGeometry x="100" y="260" width="60" height="30" as="geometry"/>
+                </mxCell>
+                <mxCell id="10" value="Tree" 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="100" y="465" width="120" height="120" as="geometry"/>
+                </mxCell>
+                <mxCell id="11" value="tree(RedBlackTree)" style="text;strokeColor=none;fillColor=none;align=center;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="10">
+                    <mxGeometry y="30" width="120" height="20" as="geometry"/>
+                </mxCell>
+                <mxCell id="12" value="put()&lt;br&gt;get()&lt;br&gt;remove()&lt;br&gt;copy()" style="text;strokeColor=none;fillColor=none;align=center;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="10">
+                    <mxGeometry y="50" width="120" height="70" as="geometry"/>
+                </mxCell>
+                <mxCell id="15" style="edgeStyle=orthogonalEdgeStyle;curved=1;html=1;entryX=0.345;entryY=0.996;entryDx=0;entryDy=0;entryPerimeter=0;dashed=1;" edge="1" parent="1" source="11" target="2">
+                    <mxGeometry relative="1" as="geometry"/>
+                </mxCell>
+                <mxCell id="16" style="edgeStyle=orthogonalEdgeStyle;curved=1;html=1;entryX=0;entryY=1;entryDx=0;entryDy=0;" edge="1" parent="1" source="11" target="7">
+                    <mxGeometry relative="1" as="geometry"/>
+                </mxCell>
+                <mxCell id="17" value="" style="shape=flexArrow;endArrow=classic;html=1;curved=1;" edge="1" parent="1">
+                    <mxGeometry width="50" height="50" relative="1" as="geometry">
+                        <mxPoint x="240" y="445" as="sourcePoint"/>
+                        <mxPoint x="340" y="445" as="targetPoint"/>
+                    </mxGeometry>
+                </mxCell>
+                <mxCell id="18" value="Swap" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" vertex="1" connectable="0" parent="17">
+                    <mxGeometry x="-0.1082" y="1" relative="1" as="geometry">
+                        <mxPoint as="offset"/>
+                    </mxGeometry>
+                </mxCell>
+            </root>
+        </mxGraphModel>
+    </diagram>
+</mxfile>
\ No newline at end of file
Binary file Paper/fig/swap.png has changed
Binary file Paper/master_paper.pdf has changed
--- a/Paper/master_paper.tex	Tue Feb 06 18:57:11 2024 +0900
+++ b/Paper/master_paper.tex	Tue Feb 06 20:32:58 2024 +0900
@@ -958,9 +958,20 @@
 3行目のtoTreeは,toStackにpushした新しい木のルートノードに当たるノードである.
 4行目で新規にRedBlackTreeを作成し,5行目でtoTreeをnewRedBlackTreeのrootに設定している.
 その後,7行目でtreeにnewRedBlackTreeを指定することで木の入れ替えを行なっている.
+これらの動作は同一のContext上で行われている.
+図\ref{fig:swap}で示すように,ContextのData Table上のTree DataGearがもつRedBlackTreeを
+同ヒープのFrom RedBlackTreeからTo RedBlackTreeへ参照を入れ替える.
 
 \lstinputlisting[label=src:swap.cbc, caption=swap2 CodeGear(木の入れ替え処理部分)]{src/swap.cbc}
 
+\begin{figure}[ht]
+  \begin{center}
+      \includegraphics[width=120mm]{fig/swap.png}
+  \end{center}
+  \caption{swap時のTree DGとData Tableの様子}
+  \label{fig:swap}
+\end{figure}
+
 \chapter{評価}
 
 
--- a/TODO.md	Tue Feb 06 18:57:11 2024 +0900
+++ b/TODO.md	Tue Feb 06 20:32:58 2024 +0900
@@ -16,13 +16,12 @@
 
 - [x] 別Contextへの書き込み
 
-- [ ] DGMによる分散ファイルシステム
-- [ ] 実装の説明
+- [x] DGMによる分散ファイルシステム
+- [x] 実装の説明
+- [ ] swapはメモリ上でどうなってるか詳しく(図を入れよう)
 - [ ] 評価
-- [ ] まとめ
-- [ ] 今後の課題
+- [ ] まとめと今後の課題
 - [ ] 図の清書
-- [ ] バックアップとレプリケーションは説明が間違っているので修正
 
 確認したいこと
 
@@ -38,5 +37,5 @@
 - [x] AspectJの引用
 - [x] CbCの記述例(exit code)
 - [ ] 英語の文献をもっと入れよう
-  - [ ] LFSやFilesystem Fragmentationへ言及する
+- [ ] LFSやFilesystem Fragmentationへ言及する
 - [ ] 「そうなってしまっている」みたいな書き方を避ける
\ No newline at end of file