changeset 18:b2ecc555e86e

add todo
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Mon, 17 Apr 2023 11:20:40 +0900
parents 1144bfb40db4
children efdfdb997984
files Paper/paper.log Paper/paper.pdf Paper/paper.synctex.gz Paper/paper.tex
diffstat 4 files changed, 7 insertions(+), 8 deletions(-) [+]
line wrap: on
line diff
--- a/Paper/paper.log	Mon Apr 17 10:37:01 2023 +0900
+++ b/Paper/paper.log	Mon Apr 17 11:20:40 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)  17 APR 2023 10:35
+This is e-pTeX, Version 3.141592653-p4.0.0-220214-2.6 (utf8.euc) (TeX Live 2022) (preloaded format=platex 2022.6.9)  17 APR 2023 11:19
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
@@ -3202,9 +3202,9 @@
 <figs/nonDestroyTreeEdit.pdf>
  [3] [4]
 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 379.
+(Font)              Font shape `JT1/gt/m/n' tried instead on input line 378.
 LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <9.61035> not available
-(Font)              Font shape `JY1/gt/m/n' tried instead on input line 379.
+(Font)              Font shape `JY1/gt/m/n' tried instead on input line 378.
  (./paper.bbl
 LaTeX Font Info:    Calculating math sizes for size <8.8711> on input line 1.
 
Binary file Paper/paper.pdf has changed
Binary file Paper/paper.synctex.gz has changed
--- a/Paper/paper.tex	Mon Apr 17 10:37:01 2023 +0900
+++ b/Paper/paper.tex	Mon Apr 17 11:20:40 2023 +0900
@@ -273,8 +273,6 @@
 
 \section{データのロールバックとバックアップ}
 
-% 図を入れたい
-
 DBの重要な機能の一つにロールバックがある.
 RDBのロールバックは,
 コミットするまではトランザクションの開始時点に戻ることができる機能を持つ.
@@ -296,6 +294,7 @@
 そうすることで,データの増加によるリソースの枯渇を防ぎ,
 かつデータのログ付きバックアップを作成することで信頼性の向上が期待できる.
 
+% TODO: バックアップのフローを図にしたい
 
 \section{RedBlackTreeのトランザクション}
 
@@ -314,7 +313,7 @@
 よって,単一のRedBlackTreeに複数の書き込みポイントを作り,
 並行実行可能にする必要がある.
 
-% 図を入れたい
+% TODO: writeトランザクションの図を入れたい
 
 RedBlackTreeに複数の書き込みポイントを作るために,
 キーごとのルートを作成する.
@@ -323,6 +322,8 @@
 それによって,RedBlackTreeは複数の書き込みポイントを持つことができ,
 writeを並行実行することが可能となる.
 
+% TODO: read時常に最新の情報が取れないことを説明する図を入れたい
+
 readはデータに変更を加えないため,複数同時に同じノードを読み込むことが可能である.
 しかし,常に最新の情報を読み込めるとは限らない.
 最新の情報が欲しい場合は書き込みを一旦止めるような処理が必要になる.
@@ -349,8 +350,6 @@
 しかしながら,トランザクションの仕組みを作る上でRedBlackTreeに対し,
 キーを設定することから完全なスキーマレスとは言えない構成となる.
 
-% 図を入れたい
-
 GearsOSのデータは全てDataGearで表される.
 よって,GearsOSにおけるファイルシステムはDataGearの集合となる.
 スキーマレスとはキーがない状態のことといえるが,