Mercurial > hg > Papers > 2024 > matac-master

changeset 54:ab4ebfc6a1db

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
mm
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Fri, 02 Feb 2024 01:41:53 +0900
parents c7ed59e807a5
children d8533d9ab912
files Paper/master_paper.pdf Paper/master_paper.tex mindmaps/gears_fs_db.mm
diffstat 3 files changed, 71 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
Binary file Paper/master_paper.pdf has changed
--- a/Paper/master_paper.tex	Wed Jan 31 18:42:29 2024 +0900
+++ b/Paper/master_paper.tex	Fri Feb 02 01:41:53 2024 +0900
@@ -903,7 +903,7 @@
 
 \section{コピーの実装の詳細}
 
-
+\chapter{評価}
 
 \chapter{まとめと今後の課題}
 
--- a/mindmaps/gears_fs_db.mm	Wed Jan 31 18:42:29 2024 +0900
+++ b/mindmaps/gears_fs_db.mm	Fri Feb 02 01:41:53 2024 +0900
@@ -853,14 +853,27 @@
 <node TEXT="CopyRedBlackTreeの実装" POSITION="right" ID="ID_1875155929" CREATED="1706686273106" MODIFIED="1706691080675" HGAP_QUANTITY="-10.75 pt" VSHIFT_QUANTITY="267.74999 pt">
 <node TEXT="説明" ID="ID_1618684595" CREATED="1706689938660" MODIFIED="1706689944053"/>
 <node TEXT="Tree InterfaceのAPIにCopyを追加する" ID="ID_746343495" CREATED="1705735678228" MODIFIED="1705735715335">
-<node TEXT="tree-&gt;copy()" ID="ID_1203223705" CREATED="1706692546174" MODIFIED="1706692555749"/>
-</node>
-<node TEXT="RedBlackTreeのコピーとして実装する" ID="ID_535899546" CREATED="1706417169892" MODIFIED="1706417179625"/>
-<node TEXT="copyの使用方法" ID="ID_1242421499" CREATED="1706429162944" MODIFIED="1706429182896">
 <node TEXT="tree-&gt;copy" ID="ID_1447270137" CREATED="1706690663705" MODIFIED="1706690668279"/>
+<node TEXT="copyの使用方法" ID="ID_1242421499" CREATED="1706429162944" MODIFIED="1706429182896"/>
 </node>
 <node TEXT="アルゴリズム" ID="ID_13939041" CREATED="1706424874581" MODIFIED="1706424880284">
 <node TEXT="深さ優先探索" ID="ID_1402042091" CREATED="1706690644933" MODIFIED="1706690656698"/>
+<node TEXT="left側から" ID="ID_1254260732" CREATED="1706694298682" MODIFIED="1706694301659"/>
+<node ID="ID_1690021005" CREATED="1706707317006" MODIFIED="1706707352275"><richcontent TYPE="NODE">
+
+<html>
+  <head>
+    
+  </head>
+  <body>
+    <p>
+      単純に2分木として扱える<content ename="content"/>
+    </p>
+  </body>
+</html>
+
+</richcontent>
+</node>
 </node>
 <node TEXT="説明したいCodeGear" ID="ID_560487748" CREATED="1706424910753" MODIFIED="1706690491719">
 <node TEXT="ALLOCATE部分" ID="ID_109587235" CREATED="1706690492043" MODIFIED="1706690497935">
@@ -879,6 +892,7 @@
 <node TEXT="up" ID="ID_1479524994" CREATED="1706692662332" MODIFIED="1706692663819"/>
 <node TEXT="swap" ID="ID_1491257973" CREATED="1706692664212" MODIFIED="1706692666506"/>
 </node>
+<node TEXT="Allocateのタイミングは？" ID="ID_115162340" CREATED="1706694324952" MODIFIED="1706694330149"/>
 </node>
 <node TEXT="2つのStackの状態" ID="ID_1242761849" CREATED="1706690782698" MODIFIED="1706690788011">
 <node TEXT="nodeStack" ID="ID_490511205" CREATED="1706690792199" MODIFIED="1706690798537"/>
@@ -888,6 +902,10 @@
 <node TEXT="同じContextにコピーしている" ID="ID_392545374" CREATED="1706689949866" MODIFIED="1706689961356"/>
 <node TEXT="別ContextにコピーするためにはGearsに手を入れる必要がある" ID="ID_763880859" CREATED="1706689961906" MODIFIED="1706690001831">
 <node TEXT="別ContextをALLOCATIONに渡す" ID="ID_1985803376" CREATED="1706690009989" MODIFIED="1706690022323"/>
+<node TEXT="Contextを指定するのはmetaCG" ID="ID_137198073" CREATED="1706694338887" MODIFIED="1706694354687"/>
+<node TEXT="Node名みたいなのが必要かも" ID="ID_540200114" CREATED="1706694364436" MODIFIED="1706694370106">
+<node TEXT="CGMのポート番号とか" ID="ID_1761248908" CREATED="1706694443389" MODIFIED="1706694454281"/>
+</node>
 </node>
 </node>
 <node TEXT="test" ID="ID_1700130711" CREATED="1706690975424" MODIFIED="1706690978243">
@@ -910,11 +928,58 @@
 <node TEXT="実行" ID="ID_24457646" CREATED="1706691161304" MODIFIED="1706691165601">
 <node TEXT="ある程度のノード数で死ぬ" ID="ID_1253513150" CREATED="1706691166430" MODIFIED="1706691176293">
 <node TEXT="6317ノードで死ぬ" ID="ID_521488303" CREATED="1706691448672" MODIFIED="1706691457416"/>
+<node TEXT="自分のPCの場合ね" ID="ID_1439726075" CREATED="1706804928850" MODIFIED="1706804935765"/>
 <node TEXT="stack pushで死んでる" ID="ID_1846037284" CREATED="1706692200303" MODIFIED="1706692222314"/>
 </node>
 </node>
 <node TEXT="tree-&gt;rootを書き換えて，途中のノードからコピーできるみたいなの作りたい" ID="ID_1603927493" CREATED="1706692686178" MODIFIED="1706692704418"/>
 </node>
+<node TEXT="評価" POSITION="right" ID="ID_1699170037" CREATED="1706803749390" MODIFIED="1706803756057">
+<node TEXT="テストは動いた" ID="ID_1202499591" CREATED="1706803764279" MODIFIED="1706803770865">
+<node TEXT="ノード数ごとのテストができる" ID="ID_405894808" CREATED="1706804393369" MODIFIED="1706804408856"/>
+<node TEXT="Copy機能自体は実装できたと言える" ID="ID_1634077677" CREATED="1706804577635" MODIFIED="1706804588696"/>
+<node TEXT="簡易的なGCが動いている" ID="ID_704013046" CREATED="1706804595729" MODIFIED="1706804604559">
+<node TEXT="コンパクションはない" ID="ID_939217579" CREATED="1706804607969" MODIFIED="1706804614954"/>
+<node TEXT="ゴミ回収はできている" ID="ID_438397032" CREATED="1706804615468" MODIFIED="1706804622473"/>
+<node TEXT="GCのタイミングは任意" ID="ID_918294092" CREATED="1706804639963" MODIFIED="1706804646867"/>
+</node>
+<node TEXT="テストの信頼性は?" ID="ID_428926632" CREATED="1706804959873" MODIFIED="1706804965869">
+<node TEXT="最低限この動きはできるというだけ" ID="ID_145622094" CREATED="1706804966639" MODIFIED="1706804977026"/>
+<node TEXT="やはり形式手法は必要" ID="ID_1575995886" CREATED="1706804978051" MODIFIED="1706804999903"/>
+</node>
+</node>
+<node TEXT="ノード数6317でsegmentation faultする" ID="ID_1114925075" CREATED="1706803771828" MODIFIED="1706803794161">
+<node TEXT="SingleLinkedStackの制約がある" ID="ID_1126882824" CREATED="1706804328812" MODIFIED="1706804337539"/>
+</node>
+<node TEXT="同じContextにコピーしてしまっている" ID="ID_917538944" CREATED="1706803805237" MODIFIED="1706803821463">
+<node TEXT="ALLOCATEの改造が必要" ID="ID_1305277586" CREATED="1706804450792" MODIFIED="1706804461228"/>
+<node TEXT="逆にいうとそれだけでできるのではないか" ID="ID_786333116" CREATED="1706804465061" MODIFIED="1706804472295"/>
+</node>
+<node TEXT="Copyは今の所定理証明による検証の取り組みがない" ID="ID_675344411" CREATED="1706803925820" MODIFIED="1706803957592">
+<node TEXT="本当に？" ID="ID_528512336" CREATED="1706803974168" MODIFIED="1706803977559"/>
+</node>
+<node TEXT="Stackを2つ使ってしまっている" ID="ID_889084804" CREATED="1706803988558" MODIFIED="1706803997484">
+<node TEXT="ただし意図的に使っているので問題ない" ID="ID_1884311787" CREATED="1706803999517" MODIFIED="1706804014274"/>
+<node TEXT="明示的か" ID="ID_1006194673" CREATED="1706804559088" MODIFIED="1706804564677"/>
+</node>
+<node TEXT="RedBlackTreeの持続性が確保されている" ID="ID_112618752" CREATED="1706804159260" MODIFIED="1706804178604">
+<node TEXT="データの持続性が確保されている" ID="ID_1798002678" CREATED="1706804178925" MODIFIED="1706804203150"/>
+<node TEXT="RedBlackTreeの定理証明で信頼性の保証ができる" ID="ID_1622345824" CREATED="1706804209147" MODIFIED="1706804229389"/>
+</node>
+<node TEXT="Gearsプログラミング自体について" ID="ID_424525642" CREATED="1706804107829" MODIFIED="1706804119366">
+<node TEXT="ここは書かないかもしれない" ID="ID_1637182359" CREATED="1706804119674" MODIFIED="1706804126007"/>
+<node TEXT="抽象化が難しかったな" ID="ID_1418365356" CREATED="1706804126380" MODIFIED="1706804276211">
+<node TEXT="でも最終的にはまとまりが出た" ID="ID_532008539" CREATED="1706804872043" MODIFIED="1706804885296"/>
+</node>
+<node TEXT="言語自体のバグも結構ある" ID="ID_1604283539" CREATED="1706804276815" MODIFIED="1706804285667"/>
+<node TEXT="テストコードを書くのが難しいのは課題だろう" ID="ID_1712432030" CREATED="1706804412648" MODIFIED="1706804423393">
+<node TEXT="書きやすい仕組みを作るだけでも研究になるだろうな" ID="ID_1529940310" CREATED="1706804425672" MODIFIED="1706804438455"/>
+</node>
+</node>
+<node TEXT="評価はCopy自体とそれを利用する際に関し書く" ID="ID_1931339592" CREATED="1706803834583" MODIFIED="1706803855478">
+<node TEXT="それ以外はまとめと今後の課題に書く" ID="ID_1941288242" CREATED="1706803862696" MODIFIED="1706803878303"/>
+</node>
+</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">
 <node TEXT="システムの状態によって処理を切り替える" ID="ID_835268540" CREATED="1705995987307" MODIFIED="1705995998232"/>
@@ -1018,7 +1083,7 @@
 </node>
 </node>
 </node>
-<node TEXT="評価" POSITION="left" ID="ID_186645686" CREATED="1706418118012" MODIFIED="1706418120523">
+<node TEXT="評価" FOLDED="true" POSITION="left" ID="ID_186645686" CREATED="1706418118012" MODIFIED="1706418120523">
 <node TEXT="スタックを使ってることに関して" ID="ID_1617928125" CREATED="1706417138929" MODIFIED="1706417138929"/>
 <node TEXT="フラグメンテーション解消できてないことにかんして" ID="ID_912797279" CREATED="1706417138929" MODIFIED="1706417138929"/>
 <node TEXT="GearsFileSystemで重要なCopyの機能を実装できた" ID="ID_1040965600" CREATED="1706418258268" MODIFIED="1706418270889"/>