# HG changeset patch # User matac42 # Date 1681498832 -32400 # Node ID ff938946c7f893431ebe93e50ee3d638c175502f # Parent 8b8d396619a98223bdbfc1ccf8a0a3723de300cb ... diff -r 8b8d396619a9 -r ff938946c7f8 Paper/paper.aux --- a/Paper/paper.aux Fri Apr 14 16:06:17 2023 +0900 +++ b/Paper/paper.aux Sat Apr 15 04:00:32 2023 +0900 @@ -14,6 +14,16 @@ \newlabel{src:cbc}{{1}{2}} \@writefile{lol}{\contentsline {lstlisting}{\numberline {1}{\ignorespaces CbCのプログラム例}}{2}{}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {3}\hskip 1zw{信頼性の保証を目的としたGearsOS}}{2}{}\protected@file@percent } +\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Contextを参照する流れ\relax }}{3}{}\protected@file@percent } +\newlabel{fig:context}{{2}{3}} +\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces CodeGearとMetaCodeGearの関係\relax }}{3}{}\protected@file@percent } +\newlabel{fig:meta-cgdg}{{3}{3}} +\@writefile{toc}{\contentsline {section}{\numberline {4}\hskip 1zw{RedBlackTreeよるファイルシステムの構成}}{3}{}\protected@file@percent } +\@writefile{lof}{\contentsline {figure}{\numberline {4}{\ignorespaces 非破壊的なTree編集\relax }}{3}{}\protected@file@percent } +\newlabel{fig:TreeEdit}{{4}{3}} +\@writefile{toc}{\contentsline {section}{\numberline {5}\hskip 1zw{ディスク上とメモリ上のデータ構造}}{3}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {6}\hskip 1zw{データのロールバック}}{3}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {7}\hskip 1zw{並行アップデート時の問題}}{3}{}\protected@file@percent } \citation{*} \bibstyle{ipsjunsrt} \bibdata{matac-bib} @@ -26,16 +36,12 @@ \bibcite{file}{7} \bibcite{cfile}{8} \bibcite{xv6kernel}{9} -\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Contextを参照する流れ\relax }}{3}{}\protected@file@percent } -\newlabel{fig:context}{{2}{3}} -\@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces CodeGearとMetaCodeGearの関係\relax }}{3}{}\protected@file@percent } -\newlabel{fig:meta-cgdg}{{3}{3}} -\@writefile{toc}{\contentsline {section}{\numberline {4}\hskip 1zw{RedBlackTreeよるファイルシステムの構成}}{3}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {5}\hskip 1zw{ディスク上とメモリ上のデータ構造}}{3}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {6}\hskip 1zw{データのロールバック}}{3}{}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {7}\hskip 1zw{並行アップデート時の問題}}{3}{}\protected@file@percent } \bibcite{xv6component}{10} \bibcite{xv6}{11} \bibcite{christie}{12} +\@writefile{toc}{\contentsline {section}{\numberline {8}\hskip 1zw{スキーマ}}{4}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {9}\hskip 1zw{インデックス}}{4}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {10}\hskip 1zw{今後の課題}}{4}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {11}\hskip 1zw{まとめ}}{4}{}\protected@file@percent } \newlabel{ipsj@lastpage}{{}{4}} \gdef \@abspage@last{4} diff -r 8b8d396619a9 -r ff938946c7f8 Paper/paper.log --- a/Paper/paper.log Fri Apr 14 16:06:17 2023 +0900 +++ b/Paper/paper.log Sat Apr 15 04:00:32 2023 +0900 @@ -1,4 +1,4 @@ -This is e-pTeX, Version 3.141592653-p4.0.0-220214-2.6 (utf8.euc) (TeX Live 2022) (preloaded format=platex 2022.6.9) 14 APR 2023 15:21 +This is e-pTeX, Version 3.141592653-p4.0.0-220214-2.6 (utf8.euc) (TeX Live 2022) (preloaded format=platex 2022.6.9) 15 APR 2023 04:00 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -3197,7 +3197,10 @@ File: figs/meta-cg-dg.pdf Graphic file (type pdf) - [2] (./paper.bbl + [2] +File: figs/nonDestroyTreeEdit.pdf Graphic file (type pdf) + + [3] (./paper.bbl LaTeX Font Info: Font shape `JT1/mc/bx/n' in size <9.61035> not available (Font) Font shape `JT1/gt/m/n' tried instead on input line 1. LaTeX Font Info: Font shape `JY1/mc/bx/n' in size <9.61035> not available @@ -3213,7 +3216,7 @@ []\JY1/mc/m/n/8.8711 並列信頼研究室 []\OT1/cmr/m/n/8.8711 GearsOS, http://www.cr.ie.u- [] -[3] + Underfull \hbox (badness 10000) in paragraph at lines 41--43 \OT1/cmr/m/n/8.8711 a sim-ple, Unix-like teach-ing op-er-at-ing sys-tem, [] @@ -3231,12 +3234,12 @@ ) Here is how much of TeX's memory you used: - 5090 strings out of 478724 - 81062 string characters out of 5858393 + 5096 strings out of 478724 + 81231 string characters out of 5858393 628481 words of memory out of 5000000 - 23493 multiletter control sequences out of 15000+600000 + 23498 multiletter control sequences out of 15000+600000 499135 words of font info for 160 fonts, out of 8000000 for 9000 929 hyphenation exceptions out of 8191 - 55i,10n,63p,294b,1696s stack positions out of 10000i,1000n,20000p,200000b,200000s - -Output written on paper.dvi (4 pages, 28560 bytes). + 55i,11n,63p,294b,1696s stack positions out of 10000i,1000n,20000p,200000b,200000s + +Output written on paper.dvi (4 pages, 30072 bytes). diff -r 8b8d396619a9 -r ff938946c7f8 Paper/paper.pdf Binary file Paper/paper.pdf has changed diff -r 8b8d396619a9 -r ff938946c7f8 Paper/paper.synctex.gz Binary file Paper/paper.synctex.gz has changed diff -r 8b8d396619a9 -r ff938946c7f8 Paper/paper.tex --- a/Paper/paper.tex Fri Apr 14 16:06:17 2023 +0900 +++ b/Paper/paper.tex Sat Apr 15 04:00:32 2023 +0900 @@ -238,6 +238,22 @@ RedBlackTreeは実装によって，操作が破壊的なものとそうでないものがある． 今回用いるのは，非破壊的な実装のRedBlackTreeである． +図\ref{fig:TreeEdit}は非破壊的編集を行うRedBlackTreeを表している． +編集前の木構造の6のノードをAにアップデートすることを考える． +まず，ルートノードからアップデートしたいノード6までをコピーする． +その後，コピーしたもののノード6をAにアップデートする． +これにより，アップデート前のノード6を破壊することなくAにアップデートが可能である． +参照する時は，黒のルートノードから辿れば古い6が，赤のルートノードから辿れば新しいAが見える． +この仕組みは，データのバックアップやDBのロールバックに用いることが可能だと考える． + +\begin{figure}[ht] + \begin{center} + \includegraphics[width=80mm]{figs/nonDestroyTreeEdit.pdf} + \end{center} + \caption{非破壊的なTree編集} + \label{fig:TreeEdit} +\end{figure} + \section{ディスク上とメモリ上のデータ構造} @@ -254,13 +270,11 @@ メモリからディスクに書き戻すタイミングの話をしたい \section{データのロールバック} - -DBの重要な機能の一つにロールバックがある． - - \section{並行アップデート時の問題} - -ロックについて +\section{スキーマ} +\section{インデックス} +\section{今後の課題} +\section{まとめ} \nocite{*} \bibliographystyle{ipsjunsrt}