changeset 5:40cda6dcc16e

...
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Sat, 15 Apr 2023 08:15:37 +0900
parents 991d2e95a7a6
children cd057d7a1772
files Paper/paper.aux Paper/paper.log Paper/paper.pdf Paper/paper.synctex.gz Paper/paper.tex
diffstat 5 files changed, 30 insertions(+), 53 deletions(-) [+]
line wrap: on
line diff
--- a/Paper/paper.aux	Sat Apr 15 07:39:37 2023 +0900
+++ b/Paper/paper.aux	Sat Apr 15 08:15:37 2023 +0900
@@ -14,8 +14,8 @@
 \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 {2}{\ignorespaces Contextを参照する流れ\relax }}{2}{}\protected@file@percent }
+\newlabel{fig:context}{{2}{2}}
 \@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 }
@@ -38,7 +38,7 @@
 \bibcite{xv6component}{10}
 \bibcite{xv6}{11}
 \bibcite{christie}{12}
-\@writefile{toc}{\contentsline {section}{\numberline {7}\hskip 1zw{並行アップデート時の問題}}{4}{}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {7}\hskip 1zw{ルートノードのトランザクション}}{4}{}\protected@file@percent }
 \@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 }
--- a/Paper/paper.log	Sat Apr 15 07:39:37 2023 +0900
+++ b/Paper/paper.log	Sat Apr 15 08:15:37 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)  15 APR 2023 07: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)  15 APR 2023 08:12
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
@@ -3166,33 +3166,32 @@
 LaTeX Font Info:    Font shape `JY1/mc/bx/n' in size <11.82813> not available
 (Font)              Font shape `JY1/gt/m/n' tried instead on input line 99.
 LaTeX Font Info:    Kanji font shape `JY1/gt/m/it' undefined
-(Font)              No change on input line 133.
+(Font)              No change on input line 122.
+File: figs/cgdg.pdf Graphic file (type pdf)
+<figs/cgdg.pdf>
+LaTeX Font Info:    Kanji font shape `JY1/gt/m/it' undefined
+(Font)              No change on input line 149.
+LaTeX Font Info:    Kanji font shape `JY1/gt/m/it' undefined
+(Font)              No change on input line 150.
  (I search kanjifont definition file: . . ) (I search font definition file: . . . . . . . )
-LaTeX Font Info:    Trying to load font information for OMS+txsy on input line 139.
+LaTeX Font Info:    Trying to load font information for OMS+txsy on input line 154.
  (/usr/local/texlive/2022/texmf-dist/tex/latex/txfonts/omstxsy.fd
 File: omstxsy.fd 2000/12/15 v3.1
 )
-LaTeX Font Info:    Trying to load font information for OT1+txsy on input line 139.
-LaTeX Font Info:    No file OT1txsy.fd. on input line 139.
+LaTeX Font Info:    Trying to load font information for OT1+txsy on input line 154.
+LaTeX Font Info:    No file OT1txsy.fd. on input line 154.
 
 
 LaTeX Font Warning: Font shape `OT1/txsy/m/n' undefined
-(Font)              using `OT1/cmr/m/n' instead on input line 139.
-
-LaTeX Font Info:    Trying to load font information for OT1+ptm on input line 139.
+(Font)              using `OT1/cmr/m/n' instead on input line 154.
+
+LaTeX Font Info:    Trying to load font information for OT1+ptm on input line 154.
 (/usr/local/texlive/2022/texmf-dist/tex/latex/psnfss/ot1ptm.fd
 File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm.
 ) [1
 
 
-]
-File: figs/cgdg.pdf Graphic file (type pdf)
-<figs/cgdg.pdf>
-LaTeX Font Info:    Kanji font shape `JY1/gt/m/it' undefined
-(Font)              No change on input line 160.
-LaTeX Font Info:    Kanji font shape `JY1/gt/m/it' undefined
-(Font)              No change on input line 161.
- (./src/hello.cbc)
+] (./src/hello.cbc)
 File: figs/context.pdf Graphic file (type pdf)
 <figs/context.pdf>
 File: figs/meta-cg-dg.pdf Graphic file (type pdf)
@@ -3226,7 +3225,9 @@
 \OT1/cmr/m/n/8.8711 https://pdos.csail.mit.edu/6.828/2018/xv6/book-
  []
 
-) [4] (./paper.aux)
+) [4
+
+] (./paper.aux)
 
 LaTeX Font Warning: Some font shapes were not available, defaults substituted.
 
@@ -3234,10 +3235,10 @@
 Here is how much of TeX's memory you used:
  5096 strings out of 478724
  81231 string characters out of 5858393
- 628481 words of memory out of 5000000
+ 627481 words of memory out of 5000000
  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, 32464 bytes).
+ 55i,10n,63p,294b,1365s stack positions out of 10000i,1000n,20000p,200000b,200000s
+
+Output written on paper.dvi (4 pages, 30644 bytes).
Binary file Paper/paper.pdf has changed
Binary file Paper/paper.synctex.gz has changed
--- a/Paper/paper.tex	Sat Apr 15 07:39:37 2023 +0900
+++ b/Paper/paper.tex	Sat Apr 15 08:15:37 2023 +0900
@@ -113,18 +113,7 @@
 また,OSが管理するデータの操作を人間が行いやすいようにインターフェースを提供する.
 OSの機能の中でも特に重要な機能であるため,GearsOSにも実装を行う必要がある.
 
-今回GearsOSへファイルシステムを実装するにあたり,Unixのファイルシステムを参考にした.
-Unixのファイルシステムではファイルのメタデータをinodeの形式で保持している.
-同様に,inodeの仕組みを用いてGearsOSのファイルシステムを実装したい.
-また,インターフェースについても,cd,ls,mkdirというようにUnix likeに実装したい.
-当研究室ではxv6のCbCでの書き換えを行なっているが,今回はxv6のルーチンをCbCで書き換えるのではなく
-GearsOSへUnixのファイルシステムの仕組みを取り入れるアプローチをとりたい.
-それはGearsOSとCbCで書き換えたxv6の比較や,互いにファイルシステムの機能の移植が行える様にするためである.
-
-GearsOSのファイルシステムを構築するにあたり,メモリマネージメントについて考察する.
-現在,GearsOSにはメモリマネージメントのシステムが存在しない.
-しかしながら,ファイルシステムを構築するにあたりメモリマネージメントが必要不可欠である.
-メモリ上のRedBlackTreeで構築されたデータ構造をそのままディスクにコピーする形で実装することを目指したい.
+今回GearsOSへファイルシステムを実装するにあたり,
 
 \section{Continuation based C}
 
@@ -293,24 +282,11 @@
 かつデータのバックアップを作成することで信頼性の向上が期待できる.
 
 
-
-% CopyingGCを用いたデータのバックアップを考える.
-% 木をコピーして,最新のルートだけを残す.
-% コピーしたものはそのままディスクに書き込み,バックアップとして活用する.
-
-
+\section{ルートノードのトランザクション}
 
-% また,トランザクションは複数のプロセスがデータにアクセスする際に,
-% データの整合性を保つための機能だが,それについては後の章で述べる.
-
-
-% RedBlackTreeのルートをバージョンとしてとっておいて戻る機能と,
-% 過去のツリーをバックアップしておく機能を持たせたい.
-
-
-\section{並行アップデート時の問題}
-
-
+データをアップデートする際,
+% ルートノードのトランザクション
+% リードとライト分けて考える
 
 \section{スキーマ}
 \section{インデックス}