# HG changeset patch
# User matac42 <matac@cr.ie.u-ryukyu.ac.jp>
# Date 1700009591 -32400
# Node ID c30e4cf42b4ab2f75bf82393db0100e3589fc844
# Parent  6565a082f31a5afc33f7a048ea4489f15d3432f6
fix mm

diff -r 6565a082f31a -r c30e4cf42b4a mindmaps/gears_fs_db.mm
--- a/mindmaps/gears_fs_db.mm	Mon Nov 13 18:35:31 2023 +0900
+++ b/mindmaps/gears_fs_db.mm	Wed Nov 15 09:53:11 2023 +0900
@@ -204,6 +204,18 @@
 <node TEXT="ほとんどアクセスされないデータはGC対象から除く" ID="ID_285170374" CREATED="1699858262921" MODIFIED="1699858318515"/>
 </node>
 </node>
+<node TEXT="incrementalなTreeのcopy" ID="ID_1492567121" CREATED="1699869669939" MODIFIED="1699869692257">
+<node TEXT="後からcommitできるかも" ID="ID_1849438115" CREATED="1699869742980" MODIFIED="1699869754391"/>
+<node TEXT="commitのシーケンスをとっておく" ID="ID_921049246" CREATED="1699869765723" MODIFIED="1699869778036">
+<node TEXT="Treeとは別にオペレーションのリストがある" ID="ID_1770284118" CREATED="1699869879779" MODIFIED="1699869889686">
+<node TEXT="これもcopyが必要" ID="ID_230010982" CREATED="1699869957930" MODIFIED="1699869963814"/>
+</node>
+<node TEXT="RedBlackTree with commtted operation" ID="ID_888988533" CREATED="1699869899048" MODIFIED="1699869915123">
+<node TEXT="番号" ID="ID_1935233472" CREATED="1699869923512" MODIFIED="1699869928338"/>
+<node TEXT="insert, delete" ID="ID_1668599725" CREATED="1699869929471" MODIFIED="1699869933942"/>
+</node>
+</node>
+</node>
 <node TEXT="証明しやすい" ID="ID_1313077784" CREATED="1699849438956" MODIFIED="1699849443715"/>
 <node TEXT="全ての操作が最悪でもO(log n)" ID="ID_1382477887" CREATED="1699855369743" MODIFIED="1699855390827"/>
 </node>
@@ -222,6 +234,7 @@
 </node>
 <node TEXT="単純にコピーにかかる時間を測定" ID="ID_846596778" CREATED="1699857700957" MODIFIED="1699857730588"/>
 <node TEXT="比較対象は？" ID="ID_963832906" CREATED="1699857731316" MODIFIED="1699857739036"/>
+<node TEXT="" ID="ID_1075212644" CREATED="1699869786284" MODIFIED="1699869786284"/>
 </node>
 <node TEXT="ディスク上とメモリ上のデータ構造" POSITION="right" ID="ID_1874111745" CREATED="1699850217484" MODIFIED="1699850230859">
 <node TEXT="同一のRedBlackTree" ID="ID_1633724271" CREATED="1699850231118" MODIFIED="1699850243142"/>