Mercurial > hg > Papers > 2023 > matac-sigos

changeset 17:1144bfb40db4

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
comments
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Mon, 17 Apr 2023 10:37:01 +0900
parents 661c35912701
children b2ecc555e86e
files Paper/paper.log Paper/paper.pdf Paper/paper.synctex.gz Paper/paper.tex
diffstat 4 files changed, 12 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/Paper/paper.log	Mon Apr 17 10:27:01 2023 +0900
+++ b/Paper/paper.log	Mon Apr 17 10:37:01 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: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)  17 APR 2023 10:35
 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 373.
+(Font)              Font shape `JT1/gt/m/n' tried instead on input line 379.
 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 373.
+(Font)              Font shape `JY1/gt/m/n' tried instead on input line 379.
  (./paper.bbl
 LaTeX Font Info:    Calculating math sizes for size <8.8711> on input line 1.
 
@@ -3241,4 +3241,4 @@
  929 hyphenation exceptions out of 8191
  55i,10n,63p,294b,1365s stack positions out of 10000i,1000n,20000p,200000b,200000s
 
-Output written on paper.dvi (5 pages, 41704 bytes).
+Output written on paper.dvi (5 pages, 41760 bytes).
Binary file Paper/paper.pdf has changed
Binary file Paper/paper.synctex.gz has changed
--- a/Paper/paper.tex	Mon Apr 17 10:27:01 2023 +0900
+++ b/Paper/paper.tex	Mon Apr 17 10:37:01 2023 +0900
@@ -273,6 +273,8 @@
 
 \section{データのロールバックとバックアップ}
 
+% 図を入れたい
+
 DBの重要な機能の一つにロールバックがある．
 RDBのロールバックは，
 コミットするまではトランザクションの開始時点に戻ることができる機能を持つ．
@@ -290,9 +292,9 @@
 データが際限なく増加していく問題がある．
 この問題はCopyingGCを行うことによって解決する．
 まず，RedBlackTreeを丸ごとコピーして最新のルートを残して他のルートは削除する．
-その後，コピーしたものはバックアップとしてディスクに書き込む．
+その後，コピーしたものはバックアップないしログとしてディスクに書き込む．
 そうすることで，データの増加によるリソースの枯渇を防ぎ，
-かつデータのバックアップを作成することで信頼性の向上が期待できる．
+かつデータのログ付きバックアップを作成することで信頼性の向上が期待できる．
 
 
 \section{RedBlackTreeのトランザクション}
@@ -312,6 +314,8 @@
 よって，単一のRedBlackTreeに複数の書き込みポイントを作り，
 並行実行可能にする必要がある．
 
+% 図を入れたい
+
 RedBlackTreeに複数の書き込みポイントを作るために，
 キーごとのルートを作成する．
 ノードはそれぞれがキーとRedBlackTreeを持つ状態になる．
@@ -345,6 +349,8 @@
 しかしながら，トランザクションの仕組みを作る上でRedBlackTreeに対し，
 キーを設定することから完全なスキーマレスとは言えない構成となる．
 
+% 図を入れたい
+
 GearsOSのデータは全てDataGearで表される．
 よって，GearsOSにおけるファイルシステムはDataGearの集合となる．
 スキーマレスとはキーがない状態のことといえるが，