Mercurial > hg > Papers > 2024 > matac-master

comparison mindmaps/gears_fs_db.mm @ 61:e7961c306d28

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
DGM
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Tue, 06 Feb 2024 18:57:11 +0900
parents 6c5965c3539e
children f293f6b6da96
comparison
equal deleted inserted replaced
60:6c5965c3539e 61:e7961c306d28
1 <map version="freeplane 1.9.8"> 1 <map version="freeplane 1.9.8">
2 <!--To view this file, download free mind mapping software Freeplane from https://www.freeplane.org --> 2 <!--To view this file, download free mind mapping software Freeplane from https://www.freeplane.org -->
3 <node TEXT="GearsOS上のファイルシステムとDBの信頼性(仮)" FOLDED="false" ID="ID_452131666" CREATED="1610381621610" MODIFIED="1706691080676" STYLE="oval"> 3 <node TEXT="GearsOS上のファイルシステムとDBの信頼性(仮)" FOLDED="false" ID="ID_452131666" CREATED="1610381621610" MODIFIED="1707115980864" STYLE="oval">
4 <font SIZE="18"/> 4 <font SIZE="18"/>
5 <hook NAME="MapStyle" zoom="0.8"> 5 <hook NAME="MapStyle" zoom="0.8">
6 <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"/> 6 <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"/>
7 7
8 <map_styles> 8 <map_styles>
769 <node TEXT="RedBlackTreeのCopyでreplicationによる信頼性の向上とGCの仕組みを実装した" ID="ID_729318951" CREATED="1701690742376" MODIFIED="1701691473760"/> 769 <node TEXT="RedBlackTreeのCopyでreplicationによる信頼性の向上とGCの仕組みを実装した" ID="ID_729318951" CREATED="1701690742376" MODIFIED="1701691473760"/>
770 <node TEXT="ファイルシステムとDBを同一システムとして実装してしまおうという試みの一部" ID="ID_803529790" CREATED="1701693180112" MODIFIED="1701696299725"/> 770 <node TEXT="ファイルシステムとDBを同一システムとして実装してしまおうという試みの一部" ID="ID_803529790" CREATED="1701693180112" MODIFIED="1701696299725"/>
771 </node> 771 </node>
772 <node TEXT="DataGearManagerによる分散ファイルシステム" POSITION="right" ID="ID_1005780153" CREATED="1703315001066" MODIFIED="1706679671263" HGAP_QUANTITY="10.25 pt" VSHIFT_QUANTITY="-8.25 pt"> 772 <node TEXT="DataGearManagerによる分散ファイルシステム" POSITION="right" ID="ID_1005780153" CREATED="1703315001066" MODIFIED="1706679671263" HGAP_QUANTITY="10.25 pt" VSHIFT_QUANTITY="-8.25 pt">
773 <node TEXT="ikkiさんの研究" ID="ID_557379148" CREATED="1704630869165" MODIFIED="1704630876474"/> 773 <node TEXT="ikkiさんの研究" ID="ID_557379148" CREATED="1704630869165" MODIFIED="1704630876474"/>
774 <node TEXT="Christieを参考にしている" ID="ID_703384422" CREATED="1704631982827" MODIFIED="1707116511976"/>
774 <node TEXT="DataGearManager" ID="ID_521285238" CREATED="1705646099321" MODIFIED="1705646107853"> 775 <node TEXT="DataGearManager" ID="ID_521285238" CREATED="1705646099321" MODIFIED="1705646107853">
775 <node TEXT="" ID="ID_1859471968" CREATED="1705646108176" MODIFIED="1705646108176"/> 776 <node TEXT="DataGearのPoolをノード間で接続" ID="ID_1859471968" CREATED="1705646108176" MODIFIED="1707116184443"/>
776 </node> 777 <node TEXT="Take，Putでデータの取得追加を行う" ID="ID_1980726218" CREATED="1707116184919" MODIFIED="1707116258104"/>
778 </node>
779 <node TEXT="TopologyManager" ID="ID_1529059839" CREATED="1707116524108" MODIFIED="1707116543452">
780 <node TEXT="CGのトポロジー形成を行う" ID="ID_265704638" CREATED="1707117106960" MODIFIED="1707117117959"/>
781 </node>
782 <node TEXT="Socketによる通信の仕組み" ID="ID_593040069" CREATED="1707116002953" MODIFIED="1707116014736"/>
777 <node TEXT="分散ファイルシステムのトポロジー形成" ID="ID_1837705741" CREATED="1704631962837" MODIFIED="1704631974676"/> 783 <node TEXT="分散ファイルシステムのトポロジー形成" ID="ID_1837705741" CREATED="1704631962837" MODIFIED="1704631974676"/>
778 <node TEXT="Christieを用いている" ID="ID_703384422" CREATED="1704631982827" MODIFIED="1704631995001"/>
779 </node> 784 </node>
780 <node TEXT="実行したCodeGearを出力する仕組みが欲しい" POSITION="right" ID="ID_566018654" CREATED="1706690111878" MODIFIED="1706690124375"> 785 <node TEXT="実行したCodeGearを出力する仕組みが欲しい" POSITION="right" ID="ID_566018654" CREATED="1706690111878" MODIFIED="1706690124375">
781 <node TEXT="毎回printfするの面倒" ID="ID_402999765" CREATED="1706690125223" MODIFIED="1706690134582"/> 786 <node TEXT="毎回printfするの面倒" ID="ID_402999765" CREATED="1706690125223" MODIFIED="1706690134582"/>
782 </node> 787 </node>
783 <node TEXT="別ContextへのCopy" FOLDED="true" POSITION="right" ID="ID_1256969896" CREATED="1706608691732" MODIFIED="1706691074851" HGAP_QUANTITY="14.75 pt" VSHIFT_QUANTITY="21 pt"> 788 <node TEXT="別ContextへのCopy" FOLDED="true" POSITION="right" ID="ID_1256969896" CREATED="1706608691732" MODIFIED="1706691074851" HGAP_QUANTITY="14.75 pt" VSHIFT_QUANTITY="21 pt">
848 <node TEXT="" ID="ID_1748042011" CREATED="1706684991839" MODIFIED="1706684991839"/> 853 <node TEXT="" ID="ID_1748042011" CREATED="1706684991839" MODIFIED="1706684991839"/>
849 </node> 854 </node>
850 </node> 855 </node>
851 </node> 856 </node>
852 </node> 857 </node>
853 <node TEXT="CopyRedBlackTreeの実装" FOLDED="true" POSITION="right" ID="ID_1875155929" CREATED="1706686273106" MODIFIED="1707024295815" HGAP_QUANTITY="-10.75 pt" VSHIFT_QUANTITY="267.74999 pt"> 858 <node TEXT="CopyRedBlackTreeの実装" FOLDED="true" POSITION="right" ID="ID_1875155929" CREATED="1706686273106" MODIFIED="1707115980863" HGAP_QUANTITY="29 pt" VSHIFT_QUANTITY="157.49999 pt">
854 <node TEXT="説明" ID="ID_1618684595" CREATED="1706689938660" MODIFIED="1706689944053"> 859 <node TEXT="説明" ID="ID_1618684595" CREATED="1706689938660" MODIFIED="1706689944053">
855 <node TEXT="TreeのAPIのひとつとして実装" ID="ID_1013219955" CREATED="1706934961492" MODIFIED="1706934969874"/> 860 <node TEXT="TreeのAPIのひとつとして実装" ID="ID_1013219955" CREATED="1706934961492" MODIFIED="1706934969874"/>
856 <node TEXT="アルゴリズム" ID="ID_73867053" CREATED="1706934970286" MODIFIED="1706934976931"/> 861 <node TEXT="アルゴリズム" ID="ID_73867053" CREATED="1706934970286" MODIFIED="1706934976931"/>
857 <node TEXT="登場する主なCodeGear" ID="ID_1955149593" CREATED="1706934987471" MODIFIED="1706935007665"/> 862 <node TEXT="登場する主なCodeGear" ID="ID_1955149593" CREATED="1706934987471" MODIFIED="1706935007665"/>
858 <node TEXT="CodeGearのおおまかな遷移" ID="ID_872667908" CREATED="1706935010066" MODIFIED="1706935017591"/> 863 <node TEXT="CodeGearのおおまかな遷移" ID="ID_872667908" CREATED="1706935010066" MODIFIED="1706935017591"/>
947 <node TEXT="stack pushで死んでる" ID="ID_1846037284" CREATED="1706692200303" MODIFIED="1706692222314"/> 952 <node TEXT="stack pushで死んでる" ID="ID_1846037284" CREATED="1706692200303" MODIFIED="1706692222314"/>
948 </node> 953 </node>
949 </node> 954 </node>
950 <node TEXT="tree-&gt;rootを書き換えて，途中のノードからコピーできるみたいなの作りたい" ID="ID_1603927493" CREATED="1706692686178" MODIFIED="1706692704418"/> 955 <node TEXT="tree-&gt;rootを書き換えて，途中のノードからコピーできるみたいなの作りたい" ID="ID_1603927493" CREATED="1706692686178" MODIFIED="1706692704418"/>
951 </node> 956 </node>
952 <node TEXT="評価" POSITION="right" ID="ID_1699170037" CREATED="1706803749390" MODIFIED="1706803756057"> 957 <node TEXT="評価" FOLDED="true" POSITION="right" ID="ID_1699170037" CREATED="1706803749390" MODIFIED="1706803756057">
953 <node TEXT="説明" ID="ID_1332913546" CREATED="1707024290462" MODIFIED="1707024304655"> 958 <node TEXT="説明" ID="ID_1332913546" CREATED="1707024290462" MODIFIED="1707024304655">
954 <node TEXT="テストコード" ID="ID_83989606" CREATED="1707024312272" MODIFIED="1707024315913"> 959 <node TEXT="テストコード" ID="ID_83989606" CREATED="1707024312272" MODIFIED="1707024315913">
955 <node TEXT="いくつかの考えられる木の形はテストした" ID="ID_401372478" CREATED="1707024501611" MODIFIED="1707024539431"> 960 <node TEXT="いくつかの考えられる木の形はテストした" ID="ID_401372478" CREATED="1707024501611" MODIFIED="1707024539431">
956 <node TEXT="15パターン" ID="ID_1060583266" CREATED="1707036504432" MODIFIED="1707036508605"/> 961 <node TEXT="11パターン" ID="ID_1060583266" CREATED="1707036504432" MODIFIED="1707110133774"/>
957 <node TEXT="動作した" ID="ID_854834536" CREATED="1707024607282" MODIFIED="1707024611419"/> 962 <node TEXT="動作した" ID="ID_854834536" CREATED="1707024607282" MODIFIED="1707024611419"/>
958 <node TEXT="検証漏れは否めない" ID="ID_1172918896" CREATED="1707024655533" MODIFIED="1707024662259"/> 963 <node TEXT="検証漏れは否めない" ID="ID_1172918896" CREATED="1707024655533" MODIFIED="1707024662259"/>
959 <node TEXT="コピーを定理証明で検証する必要がありそう" ID="ID_518078514" CREATED="1707024673942" MODIFIED="1707024691543"/> 964 <node TEXT="コピーを定理証明で検証する必要がありそう" ID="ID_518078514" CREATED="1707024673942" MODIFIED="1707024691543"/>
960 </node> 965 </node>
961 <node TEXT="ある程度大きな木のテストもした" ID="ID_1277626903" CREATED="1707024543799" MODIFIED="1707024606136"> 966 <node TEXT="ある程度大きな木のテストもした" ID="ID_1277626903" CREATED="1707024543799" MODIFIED="1707024606136">