Mercurial > hg > Papers > 2024 > matac-master

changeset 87:f75ed665d8fd

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Wed, 28 Feb 2024 14:26:55 +0900
parents f7f999bfd360
children 8c1735151e2a
files Paper/master_paper.pdf Paper/src/CopyRedBlackTree.cbc mindmaps/gears_fs_db.mm
diffstat 3 files changed, 12 insertions(+), 27 deletions(-) [+]
line wrap: on
line diff
Binary file Paper/master_paper.pdf has changed
--- a/Paper/src/CopyRedBlackTree.cbc	Wed Feb 28 12:47:59 2024 +0900
+++ b/Paper/src/CopyRedBlackTree.cbc	Wed Feb 28 14:26:55 2024 +0900
@@ -14,11 +14,6 @@
     goto toStack->push(newNode, leftDown);
 }
 
-//
-// leftDown*()
-// current->leftがある場合、コピーしてから降りる。
-//   ない場合はrightを見に行く(rightDown)
-//
 __code leftDown(struct RedBlackTree* tree) {
     printf("leftDown\n");
     struct Stack* toStack = tree->toStack;
@@ -45,11 +40,9 @@
         data->left = newNode;
     }
 
-    // 新規leftノードをpushしている
     goto toStack->push(newNode, leftDown2);
 }
 
-// 実際にDownする
 __code leftDown2(struct RedBlackTree* tree) {
     printf("leftDown2\n");
     struct Stack* nodeStack = tree->nodeStack;
@@ -129,7 +122,6 @@
     goto toStack->push(newNode, rightDown2);
 }
 
-// 実際にDownする
 __code rightDown2(struct RedBlackTree* tree) {
     printf("rightDown2\n");
     struct Stack* nodeStack = tree->nodeStack;
@@ -150,11 +142,6 @@
     }
 }
 
-//
-// upしつつright見つつ
-// NULLからのup
-// nodeStackが空だったらtreeの入れ替えへ
-//
 __code up(struct RedBlackTree* tree) {
     printf("up\n");
     struct Stack* nodeStack = tree->nodeStack;
@@ -179,7 +166,6 @@
     goto toStack->pop(up2);
 }
 
-// rightを見てさらにupするか考える
 __code up2(struct RedBlackTree* tree) {
     printf("up2\n");
     struct Stack* toStack = tree->toStack;
@@ -214,7 +200,6 @@
     printf("up3\n");
     struct Stack* nodeStack = tree->nodeStack;
     
-    // nodeStack->isEmptyはupの最初にやるべき処理
     goto nodeStack->isEmpty(rightDown, swap);
 }
 
--- a/mindmaps/gears_fs_db.mm	Wed Feb 28 12:47:59 2024 +0900
+++ b/mindmaps/gears_fs_db.mm	Wed Feb 28 14:26:55 2024 +0900
@@ -1,8 +1,8 @@
 <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="1707981795106" STYLE="oval">
+<node TEXT="GearsOS上のファイルシステムとDBの信頼性(仮)" FOLDED="false" ID="ID_452131666" CREATED="1610381621610" MODIFIED="1709092347281" STYLE="oval">
 <font SIZE="18"/>
-<hook NAME="MapStyle" zoom="0.25">
+<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"/>
 
 <map_styles>
@@ -68,7 +68,7 @@
 </stylenode>
 </map_styles>
 </hook>
-<node TEXT="Gears OS" POSITION="right" ID="ID_1060626979" CREATED="1699848393025" MODIFIED="1702111913149" HGAP_QUANTITY="-5.5 pt" VSHIFT_QUANTITY="-72.75 pt">
+<node TEXT="Gears OS" FOLDED="true" POSITION="right" ID="ID_1060626979" CREATED="1699848393025" MODIFIED="1702111913149" HGAP_QUANTITY="-5.5 pt" VSHIFT_QUANTITY="-72.75 pt">
 <node TEXT="特徴" ID="ID_943482341" CREATED="1702111230723" MODIFIED="1702111233987">
 <node TEXT="metaGear" ID="ID_160728835" CREATED="1702111234234" MODIFIED="1702111815711">
 <node TEXT="データの整合性" ID="ID_1532293232" CREATED="1702111816103" MODIFIED="1702111830986"/>
@@ -433,7 +433,7 @@
 </node>
 <node TEXT="評価方法" POSITION="right" ID="ID_1979397312" CREATED="1699850131177" MODIFIED="1699850137060"/>
 <node TEXT="erasure coding" POSITION="right" ID="ID_1412038732" CREATED="1706607173301" MODIFIED="1706607177606"/>
-<node TEXT="章立て" POSITION="left" ID="ID_378600647" CREATED="1699848424709" MODIFIED="1706520588455" HGAP_QUANTITY="8 pt" VSHIFT_QUANTITY="-117 pt">
+<node TEXT="章立て" FOLDED="true" POSITION="left" ID="ID_378600647" CREATED="1699848424709" MODIFIED="1709092332330" HGAP_QUANTITY="-14.5 pt" VSHIFT_QUANTITY="500.24998 pt">
 <node TEXT="要旨" ID="ID_1862870052" CREATED="1705571598152" MODIFIED="1705571620770">
 <node TEXT="CbCでGearsOSを開発している" ID="ID_1596447160" CREATED="1705571621398" MODIFIED="1705571639432"/>
 <node TEXT="OSの重要な機能の一つにファイルシステムがある" ID="ID_1812705807" CREATED="1705571640078" MODIFIED="1705571676397">
@@ -781,7 +781,7 @@
 </node>
 <node TEXT="今後" ID="ID_87524419" CREATED="1702112509364" MODIFIED="1702112512270"/>
 </node>
-<node TEXT="修論で言いたいこと" POSITION="right" ID="ID_1194781583" CREATED="1701690732709" MODIFIED="1706679669392" HGAP_QUANTITY="15.5 pt" VSHIFT_QUANTITY="-0.75 pt">
+<node TEXT="修論で言いたいこと" FOLDED="true" POSITION="right" ID="ID_1194781583" CREATED="1701690732709" MODIFIED="1706679669392" HGAP_QUANTITY="15.5 pt" VSHIFT_QUANTITY="-0.75 pt">
 <node TEXT="RedBlackTreeのCopyでreplicationによる信頼性の向上とGCの仕組みを実装した" ID="ID_729318951" CREATED="1701690742376" MODIFIED="1701691473760"/>
 <node TEXT="ファイルシステムとDBを同一システムとして実装してしまおうという試みの一部" ID="ID_803529790" CREATED="1701693180112" MODIFIED="1701696299725"/>
 </node>
@@ -875,7 +875,7 @@
 </node>
 </node>
 </node>
-<node TEXT="CopyRedBlackTreeの実装" POSITION="right" ID="ID_1875155929" CREATED="1706686273106" MODIFIED="1707213582715" HGAP_QUANTITY="17.75 pt" VSHIFT_QUANTITY="6.75 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"/>
@@ -986,7 +986,7 @@
 <node TEXT="GearsOSの構造の多くはRedBlackTreeで構成されているため" ID="ID_1004423346" CREATED="1707726585550" MODIFIED="1707726602966"/>
 </node>
 </node>
-<node TEXT="評価" POSITION="right" ID="ID_1699170037" CREATED="1706803749390" MODIFIED="1707213585346" HGAP_QUANTITY="14.75 pt" VSHIFT_QUANTITY="121.5 pt">
+<node TEXT="評価" FOLDED="true" 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">
@@ -1084,7 +1084,7 @@
 <node TEXT="それ以外はまとめと今後の課題に書く" ID="ID_1941288242" CREATED="1706803862696" MODIFIED="1706803878303"/>
 </node>
 </node>
-<node TEXT="まとめと今後の課題" POSITION="right" ID="ID_912711900" CREATED="1706956151544" MODIFIED="1707213611142">
+<node TEXT="まとめと今後の課題" FOLDED="true" POSITION="right" ID="ID_912711900" CREATED="1706956151544" MODIFIED="1707213611142">
 <node TEXT="非破壊RedBlackTreeの増大を防ぐ仕組みを構築できた" ID="ID_418966492" CREATED="1706956585170" MODIFIED="1706956610719"/>
 <node TEXT="別コンテキストへのコピー" ID="ID_1209930854" CREATED="1706956313462" MODIFIED="1706956324424"/>
 <node TEXT="GearsOS全体をGCすることも考えられる" ID="ID_1250275844" CREATED="1707013490904" MODIFIED="1707013522142"/>
@@ -1153,7 +1153,7 @@
 </node>
 </node>
 </node>
-<node TEXT="GearsOSでプログラムを書く理由" POSITION="right" ID="ID_1377446278" CREATED="1708497889835" MODIFIED="1708497927999">
+<node TEXT="GearsOSでプログラムを書く理由" FOLDED="true" POSITION="right" ID="ID_1377446278" CREATED="1708497889835" MODIFIED="1709092347281" HGAP_QUANTITY="12.5 pt" VSHIFT_QUANTITY="-57.75 pt">
 <node TEXT="GearsOSプログラミングと通常プログラミングの違い" ID="ID_983576587" CREATED="1708497928550" MODIFIED="1708497941327">
 <node TEXT="実行するプログラムをCodeGear単位に分割" ID="ID_1117945974" CREATED="1708497977620" MODIFIED="1708497988987"/>
 <node TEXT="CodeGearの引数とContextにプログラムの状態が全て入っている" ID="ID_1649806643" CREATED="1708497989646" MODIFIED="1708498016790"/>
@@ -1209,7 +1209,7 @@
 </node>
 </node>
 <node TEXT="実装" POSITION="left" ID="ID_1462455862" CREATED="1706417525408" MODIFIED="1707801880634" HGAP_QUANTITY="29.75 pt" VSHIFT_QUANTITY="-83.25 pt">
-<node TEXT="CopyRedBlackTreeの実装" ID="ID_1619882257" CREATED="1701697553803" MODIFIED="1706520562137" VSHIFT_QUANTITY="-4.5 pt">
+<node TEXT="CopyRedBlackTreeの実装" FOLDED="true" ID="ID_1619882257" CREATED="1701697553803" MODIFIED="1706520562137" VSHIFT_QUANTITY="-4.5 pt">
 <node TEXT="実装方法" ID="ID_1774988166" CREATED="1705735668943" MODIFIED="1705735677711">
 <node TEXT="Tree InterfaceのAPIにCopyを追加する" ID="ID_95904284" CREATED="1705735678228" MODIFIED="1705735715335"/>
 <node TEXT="RedBlackTreeのコピーとして実装する" ID="ID_748405331" CREATED="1706417169892" MODIFIED="1706417179625"/>
@@ -1292,7 +1292,7 @@
 </node>
 </node>
 </node>
-<node TEXT="スライド" POSITION="left" ID="ID_1109312213" CREATED="1707801871675" MODIFIED="1707813260044">
+<node TEXT="スライド" FOLDED="true" POSITION="left" ID="ID_1109312213" CREATED="1707801871675" MODIFIED="1707813260044">
 <node TEXT="システム全体の信頼性を向上させたい" ID="ID_1519013410" CREATED="1707809324624" MODIFIED="1707809621777" HGAP_QUANTITY="14 pt" VSHIFT_QUANTITY="-3 pt"/>
 <node TEXT="GearsOSで実現する" ID="ID_1781659444" CREATED="1707809341570" MODIFIED="1707809348782"/>
 <node TEXT="信頼性を上げる方法" ID="ID_284645498" CREATED="1707809403391" MODIFIED="1707809624565" HGAP_QUANTITY="12.5 pt" VSHIFT_QUANTITY="-33.75 pt"/>
@@ -1355,7 +1355,7 @@
 <node TEXT="printでどのCodeGearを通ってきたかを把握する" ID="ID_1905542014" CREATED="1707960413927" MODIFIED="1707960434091"/>
 </node>
 </node>
-<node TEXT="ポスターに入れたいもの" POSITION="left" ID="ID_1881273288" CREATED="1707822259912" MODIFIED="1707981795105" HGAP_QUANTITY="-10 pt" VSHIFT_QUANTITY="175.49999 pt">
+<node TEXT="ポスターに入れたいもの" POSITION="left" ID="ID_1881273288" CREATED="1707822259912" MODIFIED="1709092314879" HGAP_QUANTITY="8.75 pt" VSHIFT_QUANTITY="-259.5 pt">
 <node TEXT="ファイルシステムの信頼性" ID="ID_136338806" CREATED="1707823012701" MODIFIED="1707823018332"/>
 <node TEXT="GearsOS" ID="ID_244799882" CREATED="1707822267808" MODIFIED="1707822983639"/>
 <node TEXT="GCとレプリケーションの設計" ID="ID_992154700" CREATED="1707823067343" MODIFIED="1707823073222"/>