changeset 25:a3b4c82869eb

...
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Mon, 17 Apr 2023 20:52:15 +0900
parents 6ed7d50cc41c
children ceebb580ba71
files Paper/paper.log Paper/paper.pdf Paper/paper.synctex.gz Paper/paper.tex
diffstat 4 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/Paper/paper.log	Mon Apr 17 19:56:59 2023 +0900
+++ b/Paper/paper.log	Mon Apr 17 20:52:15 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 19:54
+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 20:39
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
@@ -3230,4 +3230,4 @@
  929 hyphenation exceptions out of 8191
  55i,7n,63p,294b,1365s stack positions out of 10000i,1000n,20000p,200000b,200000s
 
-Output written on paper.dvi (5 pages, 42008 bytes).
+Output written on paper.dvi (5 pages, 42044 bytes).
Binary file Paper/paper.pdf has changed
Binary file Paper/paper.synctex.gz has changed
--- a/Paper/paper.tex	Mon Apr 17 19:56:59 2023 +0900
+++ b/Paper/paper.tex	Mon Apr 17 20:52:15 2023 +0900
@@ -311,7 +311,7 @@
 writeするために,まずルートを生やし書き込みが終わった後ルートを置き換える.
 そのため,書き込みの並列度はルートの数と一致する.
 しかしながら,ルートの置き換えは競合的なので,
-複数書き込みを行っても1つしか成功しない.
+複数プロセスから同時に書き込みを行っても1つしか成功しない.
 よって,単一のRedBlackTreeに複数の書き込みポイントを作り,
 並行実行可能にする必要がある.
 
@@ -349,7 +349,7 @@
 
 \section{ファイルシステムにおけるスキーマ}
 
-従来のSQLのようなスキーマが存在すると,
+従来のRDBのようなスキーマが存在すると,
 個別にバックアップなどを取らない限り
 スキーマの変更以前にロールバックすることができない.
 しかしながら,実際運用する上でスキーマを変更することは多々ある.