Mercurial > hg > Papers > 2023 > matac-sigos

changeset 21:03eba74cd52a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
bbl
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Mon, 17 Apr 2023 18:28:36 +0900
parents bb48e6b2965e
children c5de57d49cbb
files Paper/matac-bib.bib Paper/paper.aux Paper/paper.bbl Paper/paper.blg Paper/paper.log Paper/paper.pdf Paper/paper.synctex.gz Paper/paper.tex
diffstat 8 files changed, 62 insertions(+), 45 deletions(-) [+]
line wrap: on
line diff
--- a/Paper/matac-bib.bib	Mon Apr 17 18:10:45 2023 +0900
+++ b/Paper/matac-bib.bib	Mon Apr 17 18:28:36 2023 +0900
@@ -11,6 +11,12 @@
   organization = {琉球大学},
   howpublished = {http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC\_llvm/}
 }
+@misc{cbcxv6,
+  title        = {CbC\_xv6},
+  author       = {並列信頼研究室},
+  organization = {琉球大学},
+  howpublished = {http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC\_xv6/}
+}
 
 @article{cbc,
   author  = {河野 真治},
--- a/Paper/paper.aux	Mon Apr 17 18:10:45 2023 +0900
+++ b/Paper/paper.aux	Mon Apr 17 18:28:36 2023 +0900
@@ -17,6 +17,8 @@
 \@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Contextを参照する流れ\relax }}{2}{}\protected@file@percent }
 \newlabel{fig:context}{{2}{2}}
 \citation{directory}
+\citation{cbcxv6}
+\citation{xv6}
 \@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,12 +40,13 @@
 \bibcite{gearsos}{5}
 \bibcite{cr}{6}
 \bibcite{directory}{7}
-\bibcite{file}{8}
-\bibcite{cfile}{9}
-\bibcite{xv6kernel}{10}
-\bibcite{xv6component}{11}
-\bibcite{xv6}{12}
-\bibcite{christie}{13}
+\bibcite{cbcxv6}{8}
+\bibcite{xv6}{9}
+\bibcite{file}{10}
+\bibcite{cfile}{11}
+\bibcite{xv6kernel}{12}
+\bibcite{xv6component}{13}
+\bibcite{christie}{14}
 \@writefile{toc}{\contentsline {section}{\numberline {9}\hskip 1zw{RedBlackTreeによる権限の表現}}{5}{}\protected@file@percent }
 \@writefile{toc}{\contentsline {section}{\numberline {10}\hskip 1zw{まとめと今後の課題}}{5}{}\protected@file@percent }
 \@writefile{toc}{\contentsline {subsection}{\numberline {10.1}{データクエリ言語}}{5}{}\protected@file@percent }
--- a/Paper/paper.bbl	Mon Apr 17 18:10:45 2023 +0900
+++ b/Paper/paper.bbl	Mon Apr 17 18:28:36 2023 +0900
@@ -23,6 +23,13 @@
 \bibitem{directory}
 又吉雄斗，河野真治(琉球大学)\：GearsOSにおけるinodeを用いたファイルシステムの構築 (2022).
 
+\bibitem{cbcxv6}
+並列信頼研究室\：CbC\_xv6, http://www.cr.ie.u-ryukyu.ac.jp/hg/CbC/CbC\_xv6/.
+
+\bibitem{xv6}
+{Russ Cox, Frans Kaashoek, Robert Morris}: xv6 a simple, Unix-like teaching
+  operating system, https://pdos.csail.mit.edu/6.828/2018/xv6/book-rev11.pdf.
+
 \bibitem{file}
 河野~真治(琉球大学)一木~貴裕\：GearsOSの分散ファイルシステムの設計，情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
   (2021).
@@ -40,10 +47,6 @@
 清水隆博，河野真治(琉球大学)\：xv6の構成要素の継続の分析，情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)
   (2020).
 
-\bibitem{xv6}
-{Russ Cox, Frans Kaashoek, Robert Morris}: xv6 a simple, Unix-like teaching
-  operating system, https://pdos.csail.mit.edu/6.828/2018/xv6/book-rev11.pdf.
-
 \bibitem{christie}
 {河野 真治}\：分散フレームワーク Christie と分散木構造データベースJungle
   (2018).
--- a/Paper/paper.blg	Mon Apr 17 18:10:45 2023 +0900
+++ b/Paper/paper.blg	Mon Apr 17 18:28:36 2023 +0900
@@ -19,46 +19,46 @@
 Warning--Missing required argument pages in xv6kernel
 Warning--there's no number and/or volumexv6component
 Warning--Missing required argument pages in xv6component
-You've used 13 entries,
+You've used 14 entries,
             2334 wiz_defined-function locations,
-            613 strings with 5581 characters,
-and the built_in function-call counts, 1988 in all, are:
-= -- 106
-> -- 80
+            616 strings with 5643 characters,
+and the built_in function-call counts, 2105 in all, are:
+= -- 111
+> -- 85
 < -- 0
-+ -- 30
-- -- 17
-* -- 120
-:= -- 303
-add.period$ -- 13
-call.type$ -- 13
++ -- 32
+- -- 18
+* -- 122
+:= -- 320
+add.period$ -- 14
+call.type$ -- 14
 change.case$ -- 0
 chr.to.int$ -- 0
-cite$ -- 29
-duplicate$ -- 133
-empty$ -- 239
-format.name$ -- 18
-if$ -- 461
+cite$ -- 30
+duplicate$ -- 141
+empty$ -- 255
+format.name$ -- 19
+if$ -- 489
 int.to.chr$ -- 0
-int.to.str$ -- 13
+int.to.str$ -- 14
 missing$ -- 8
-newline$ -- 42
-num.names$ -- 13
-pop$ -- 46
+newline$ -- 45
+num.names$ -- 14
+pop$ -- 51
 preamble$ -- 1
 purify$ -- 0
 quote$ -- 0
-skip$ -- 102
+skip$ -- 109
 stack$ -- 0
 substring$ -- 0
 swap$ -- 0
-text.length$ -- 16
+text.length$ -- 17
 text.prefix$ -- 0
 top$ -- 0
 type$ -- 0
 warning$ -- 16
-while$ -- 13
-width$ -- 15
-write$ -- 88
-is.kanji.str$ -- 53
+while$ -- 14
+width$ -- 16
+write$ -- 94
+is.kanji.str$ -- 56
 (There were 16 warnings)
--- a/Paper/paper.log	Mon Apr 17 18:10:45 2023 +0900
+++ b/Paper/paper.log	Mon Apr 17 18:28:36 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 18:02
+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 18:28
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
@@ -3221,12 +3221,17 @@
  []
 
 
-Underfull \hbox (badness 10000) in paragraph at lines 44--46
+Underfull \hbox (badness 7133) in paragraph at lines 27--28
+[]\JY1/mc/m/n/8.8711 並列信頼研究室 []\OT1/cmr/m/n/8.8711 CbC[]xv6, http://www.cr.ie.u-
+ []
+
+
+Underfull \hbox (badness 10000) in paragraph at lines 30--32
 \OT1/cmr/m/n/8.8711 a sim-ple, Unix-like teach-ing op-er-at-ing sys-tem,
  []
 
 
-Underfull \hbox (badness 10000) in paragraph at lines 44--46
+Underfull \hbox (badness 10000) in paragraph at lines 30--32
 \OT1/cmr/m/n/8.8711 https://pdos.csail.mit.edu/6.828/2018/xv6/book-
  []
 
@@ -3236,12 +3241,12 @@
 
  ) 
 Here is how much of TeX's memory you used:
- 5103 strings out of 478724
- 81414 string characters out of 5858393
+ 5104 strings out of 478724
+ 81422 string characters out of 5858393
  627481 words of memory out of 5000000
- 23504 multiletter control sequences out of 15000+600000
+ 23505 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,11n,63p,294b,1365s stack positions out of 10000i,1000n,20000p,200000b,200000s
 
-Output written on paper.dvi (5 pages, 42956 bytes).
+Output written on paper.dvi (5 pages, 43152 bytes).
Binary file Paper/paper.pdf has changed
Binary file Paper/paper.synctex.gz has changed
--- a/Paper/paper.tex	Mon Apr 17 18:10:45 2023 +0900
+++ b/Paper/paper.tex	Mon Apr 17 18:28:36 2023 +0900
@@ -214,8 +214,8 @@
 2つ目がユーザーレベルタスクマネジメントの実装を目的としたGearsOSがある．
 これは，CbCによって実装されており，
 RedBlackTreeでのディレクトリシステムの構築するなどの取り組みもされている\cite{directory}．
-3つ目はスタンドアロンOSの開発を目的とした，CbC\_xv6と呼ばれるGearsOSがある．
-これは，教育用に開発されたx.v6 OSをCbCで書き換える形で実装する．
+3つ目はスタンドアロンOSの開発を目的とした，CbC\_xv6と呼ばれるGearsOSがある\cite{cbcxv6}．
+これは，教育用に開発されたx.v6\cite{xv6}をCbCで書き換える形で実装する．
 今回，ファイルシステムを実装する対象は3つ目のCbC\_xv6である．
 
 \section{RedBlackTreeよるファイルシステムの構成}