changeset 20:ff1f2c66a84d

rm tex file
author tobaru
date Sat, 08 Feb 2020 17:22:55 +0900
parents 98cee2f6c919
children 6d84ce92ff35
files .hgignore paper/cbc_interface.tex paper/master_paper.aux paper/master_paper.lof paper/master_paper.log paper/master_paper.lol paper/master_paper.lot paper/master_paper.pdf paper/master_paper.synctex.gz paper/master_paper.tex paper/master_paper.toc
diffstat 11 files changed, 24 insertions(+), 656 deletions(-) [+]
line wrap: on
line diff
--- a/.hgignore	Sat Feb 08 15:06:50 2020 +0900
+++ b/.hgignore	Sat Feb 08 17:22:55 2020 +0900
@@ -2,16 +2,16 @@
 .DS_Store 
 *.swp 
 *.*~ 
-*.bbl 
-*.blg 
-*.lof 
-*.lol 
-*.lot 
-*.log 
-*.aux 
-*.dvi 
-*.toc 
-*.cpt 
+**/*.bbl 
+**/*.blg 
+**/*.lof 
+**/*.lol 
+**/*.lot 
+**/*.log 
+**/*.aux 
+**/*.dvi 
+**/*.toc 
+**/*.cpt 
 +
 −*.swo
 GearsOS_Paging_Segmentation.mm
--- a/paper/cbc_interface.tex	Sat Feb 08 15:06:50 2020 +0900
+++ b/paper/cbc_interface.tex	Sat Feb 08 17:22:55 2020 +0900
@@ -27,15 +27,15 @@
 
 Paging のインターフェースを記述したコードを ソースコード \ref{interface} に示す。
 
-\lstinputlisting[label=interface, caption={\footnotesize vm のインターフェースの定義(vm.h)}]{./src/vm.h}
+\lstinputlisting[label=interface, caption={\footnotesize vm のインターフェースの定義(vm.h)}]{./src/fix_vm.h}
 
 1行目で実装名を定義している。
 typedef struct の直後に実装名(vm)を書く。
 
 
-2行目から19行目で引数の Data Gear 郡を定義している。
-初期化された Data Gear がそれぞれの Code Gear の引数として扱われる。
-例として、2行目で定義された vm が21行目から32行目までの引数と対応している。
+% 2行目から19行目で引数の Data Gear 郡を定義している。
+% 初期化された Data Gear がそれぞれの Code Gear の引数として扱われる。
+% 例として、2行目で定義された vm が21行目から32行目までの引数と対応している。
 
 
 % インターフェースの Code Gear の goto による継続先は基本的に不定となっており、継続元から渡される。
@@ -170,8 +170,16 @@
 
 
  
+CbC では goto での状態遷移によって実装するので loop は if 文を使って実装する。
+遷移図を \ref{fig:cbc_for_private} で示す。
 
-
+ \begin{figure}[ht]
+ \begin{center}
+  \includegraphics[width=160mm]{./fig/cbc_for_private}
+ \end{center}
+ \caption{CbC によるループの実装}
+ \label{fig:cbc_for_private}
+\end{figure}
 
 
 \begin{lstlisting}[frame=lrbt,label=impl_vm_loaduvm,caption={\footnotesize privateでの loaduvm の実装}]
--- a/paper/master_paper.aux	Sat Feb 08 15:06:50 2020 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,91 +0,0 @@
-\relax 
-\@writefile{toc}{\contentsline {chapter}{\numberline {第1章}OS の信頼性の保障}{2}\protected@file@percent }
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {chapter}{\numberline {第2章}CbC による Geas OS の開発}{4}\protected@file@percent }
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {2.1}Code Gear と Data Gear}{4}\protected@file@percent }
-\@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces Code Gear 間の継続}}{4}\protected@file@percent }
-\newlabel{fig:codegear}{{2.1}{4}}
-\@writefile{toc}{\contentsline {section}{\numberline {2.2}Meta Code Gear と Meta Data Gear}{5}\protected@file@percent }
-\@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces ノーマルレベルとメタレベルの継続の見え方}}{5}\protected@file@percent }
-\newlabel{fig:meta_cg_dg}{{2.2}{5}}
-\@writefile{toc}{\contentsline {section}{\numberline {2.3}Context}{5}\protected@file@percent }
-\newlabel{contexth}{{2.1}{6}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {2.1}\footnotesize  生成された Context}{6}\protected@file@percent }
-\@writefile{toc}{\contentsline {chapter}{\numberline {第3章}Xv6}{8}\protected@file@percent }
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {3.1}Kernel Space と User Space}{8}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {3.2}system call}{8}\protected@file@percent }
-\newlabel{syscall_list}{{3.1}{8}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {3.1}\footnotesize  xv6 のシステムコールのリスト}{8}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {3.3}Xv6-rpi}{9}\protected@file@percent }
-\@writefile{toc}{\contentsline {chapter}{\numberline {第4章}CbCXv6 での Paging}{10}\protected@file@percent }
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {4.1}Xv6 を元にした Gears OS の実装}{10}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {4.2}Paging}{10}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {4.3}CbCXv6 での Paging}{10}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {4.4}Paging の書き換え}{11}\protected@file@percent }
-\@writefile{lof}{\contentsline {figure}{\numberline {4.1}{\ignorespaces On the left, xv6’s kernel address space. RWX refer to PTE read, write, and execute permissions. On the right, the RISC-V physical address space that xv6 expects to see. Russ Cox(2014) xv6 a simple, Unix-like teaching operating system (Frans Kaashoek, Robert Morris)}}{12}\protected@file@percent }
-\newlabel{fig:MemoryConstitution}{{4.1}{12}}
-\@writefile{toc}{\contentsline {chapter}{\numberline {第5章}CbC インターフェース}{13}\protected@file@percent }
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {5.1}インターフェースの定義}{13}\protected@file@percent }
-\newlabel{interface}{{5.1}{13}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}\footnotesize  vm のインターフェースの定義(vm.h)}{13}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {5.2}インターフェースの実装}{14}\protected@file@percent }
-\newlabel{impl_vm}{{5.2}{15}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}\footnotesize  vm インターフェースの実装}{15}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {5.3}インターフェース内の private メソッド}{18}\protected@file@percent }
-\newlabel{impl_vm_privateh}{{5.3}{18}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}\footnotesize  vm private のヘッダーファイル}{18}\protected@file@percent }
-\newlabel{vm_loaduvm}{{5.4}{19}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}\footnotesize  vm.c のloaduvm}{19}\protected@file@percent }
-\newlabel{impl_vm_loaduvm}{{5.5}{20}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.5}\footnotesize  privateでの loaduvm の実装}{20}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {5.4}インターフェースの呼び出し}{22}\protected@file@percent }
-\newlabel{cbc_goto}{{5.6}{22}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.6}\footnotesize  cbc インターフェースのgoto}{22}\protected@file@percent }
-\newlabel{dummy}{{5.7}{23}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.7}\footnotesize  dummy を使った呼び出し}{23}\protected@file@percent }
-\@writefile{toc}{\contentsline {chapter}{\numberline {第6章}評価}{25}\protected@file@percent }
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {chapter}{\numberline {第7章}まとめ}{26}\protected@file@percent }
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {7.1}今後の書き換え方針}{26}\protected@file@percent }
-\@writefile{toc}{\contentsline {chapter}{謝辞}{26}\protected@file@percent }
-\citation{*}
-\bibdata{reference}
-\bibcite{xv6}{1}
-\bibcite{os}{2}
-\bibcite{rpi}{3}
-\bibcite{xv6rpi}{4}
-\bibcite{cbc}{5}
-\bibcite{moggi-monad}{6}
-\bibcite{Yang:2010:SLI:1806596.1806610}{7}
-\bibcite{Klein:2009:SFV:1629575.1629596}{8}
-\bibcite{Sigurbjarnarson:2016:PVF:3026877.3026879}{9}
-\bibcite{agda-ryokka}{10}
-\bibcite{agda}{11}
-\@writefile{toc}{\contentsline {chapter}{参考文献}{28}\protected@file@percent }
-\bibcite{llvm}{12}
-\bibcite{gcc}{13}
-\bibcite{gears}{14}
-\bibcite{arm}{15}
-\bibstyle{junsrt}
-\@writefile{toc}{\contentsline {chapter}{発表履歴}{29}\protected@file@percent }
-\@writefile{toc}{\contentsline {chapter}{付録}{30}\protected@file@percent }
-\@writefile{toc}{\contentsline {chapter}{\numberline {付 録A }ソースコード一覧}{31}\protected@file@percent }
-\@writefile{lof}{\addvspace {10\p@ }}
-\@writefile{lot}{\addvspace {10\p@ }}
-\@writefile{toc}{\contentsline {section}{\numberline {A-1}インターフェース内の private メソッドの実装}{31}\protected@file@percent }
-\newlabel{vm_c_all}{{A.1}{31}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {A.1}\footnotesize  Xv6 の vm.c}{31}\protected@file@percent }
-\newlabel{vm_impl_private}{{A.2}{39}}
-\@writefile{lol}{\contentsline {lstlisting}{\numberline {A.2}\footnotesize  vm の実装の private}{39}\protected@file@percent }
--- a/paper/master_paper.lof	Sat Feb 08 15:06:50 2020 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\contentsline {figure}{\numberline {2.1}{\ignorespaces Code Gear 間の継続}}{4}%
-\contentsline {figure}{\numberline {2.2}{\ignorespaces ノーマルレベルとメタレベルの継続の見え方}}{5}%
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\contentsline {figure}{\numberline {4.1}{\ignorespaces On the left, xv6’s kernel address space. RWX refer to PTE read, write, and execute permissions. On the right, the RISC-V physical address space that xv6 expects to see. Russ Cox(2014) xv6 a simple, Unix-like teaching operating system (Frans Kaashoek, Robert Morris)}}{12}%
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
--- a/paper/master_paper.log	Sat Feb 08 15:06:50 2020 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,492 +0,0 @@
-This is e-pTeX, Version 3.14159265-p3.8.2-190131-2.6 (utf8.euc) (TeX Live 2019) (preloaded format=platex 2020.1.16)  8 FEB 2020 10:31
-entering extended mode
- restricted \write18 enabled.
- file:line:error style messages enabled.
- %&-line parsing enabled.
-**master_paper.tex
-(./master_paper.tex
-pLaTeX2e <2019-10-01>+1 (based on LaTeX2e <2019-10-01> patch level 3)
-(/usr/local/texlive/2019basic/texmf-dist/tex/platex/base/jreport.cls
-Document Class: jreport 2019/10/17 v1.8c Standard pLaTeX class
-\c@@paper=\count83
-(/usr/local/texlive/2019basic/texmf-dist/tex/platex/base/jsize12.clo
-File: jsize12.clo 2019/10/17 v1.8c Standard pLaTeX file (size option)
-)
-\c@part=\count84
-\c@chapter=\count85
-\c@section=\count86
-\c@subsection=\count87
-\c@subsubsection=\count88
-\c@paragraph=\count89
-\c@subparagraph=\count90
-\c@figure=\count91
-\c@table=\count92
-\abovecaptionskip=\skip41
-\belowcaptionskip=\skip42
-\symmincho=\mathgroup4
-LaTeX Font Info:    Overwriting symbol font `mincho' in version `bold'
-(Font)                  JY1/mc/m/n --> JY1/gt/m/n on input line 703.
-\toclineskip=\dimen118
-\@lnumwidth=\dimen119
-\bibindent=\dimen120
-\heisei=\count93
-)
-(./master_paper.sty
-****************************************************************
-** 平成15年度 琉球大学大学院 学位論文(修士) ********************
-** スタイルファイル(LaTeX2e) : 非公式 ********************
-****************************************************************
-\c@defnum=\count94
-) (/usr/local/texlive/2019basic/texmf-dist/tex/latex/ascmac/ascmac.sty
-Package: ascmac 2020/01/15 v2.1 ascmac wrapper (community edition) 
-
-(/usr/local/texlive/2019basic/texmf-dist/tex/latex/ascmac/tascmac.sty
-Package: tascmac 2020/01/15 v2.1 ascmac package (community edition) 
-\@savetbaselineshift=\dimen121
-\@saveybaselineshift=\dimen122
-\scb@x=\box43
-\scscb@x=\box44
-\@bw=\dimen123
-\@nbox=\box45
-\@nbody=\box46
-\@scw=\dimen124
-\ascmac@hoboxa=\box47
-\ascmac@hoboxb=\box48
-\@itemh=\dimen125
-\@iboxpos=\toks15
-\@iboxstr=\box49
-\@bwsp=\box50
-\@@bwsp=\box51
-\@bcal=\count95
-\shaderule=\dimen126
-))
-(/usr/local/texlive/2019basic/texmf-dist/tex/latex/graphics/graphicx.sty
-Package: graphicx 2017/06/01 v1.1a Enhanced LaTeX Graphics (DPC,SPQR)
-
-(/usr/local/texlive/2019basic/texmf-dist/tex/latex/graphics/keyval.sty
-Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
-\KV@toks@=\toks16
-)
-(/usr/local/texlive/2019basic/texmf-dist/tex/latex/graphics/graphics.sty
-Package: graphics 2019/11/01 v1.3d Standard LaTeX Graphics (DPC,SPQR)
-
-(/usr/local/texlive/2019basic/texmf-dist/tex/latex/graphics/trig.sty
-Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
-)
-(/usr/local/texlive/2019basic/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
-File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration
-)
-Package graphics Info: Driver file: dvipdfmx.def on input line 105.
-
-(/usr/local/texlive/2019basic/texmf-dist/tex/latex/graphics-def/dvipdfmx.def
-File: dvipdfmx.def 2017/06/24 v5.0g Graphics/color driver for dvipdfmx
-))
-\Gin@req@height=\dimen127
-\Gin@req@width=\dimen128
-)
-
-! LaTeX Error: File `here.sty' not found.
-
-Type X to quit or <RETURN> to proceed,
-or enter new name. (Default extension: sty)
-
-Enter file name: 
-(/usr/local/texlive/2019basic/texmf-dist/tex/latex/listings/listings.sty
-\lst@mode=\count96
-\lst@gtempboxa=\box52
-\lst@token=\toks17
-\lst@length=\count97
-\lst@currlwidth=\dimen129
-\lst@column=\count98
-\lst@pos=\count99
-\lst@lostspace=\dimen130
-\lst@width=\dimen131
-\lst@newlines=\count100
-\lst@lineno=\count101
-\lst@maxwidth=\dimen132
-
-(/usr/local/texlive/2019basic/texmf-dist/tex/latex/listings/lstmisc.sty
-File: lstmisc.sty 2019/09/10 1.8c (Carsten Heinz)
-\c@lstnumber=\count102
-\lst@skipnumbers=\count103
-\lst@framebox=\box53
-)
-(/usr/local/texlive/2019basic/texmf-dist/tex/latex/listings/listings.cfg
-File: listings.cfg 2019/09/10 1.8c listings configuration
-))
-Package: listings 2019/09/10 1.8c (Carsten Heinz)
-
-
-! LaTeX Error: File `comment.sty' not found.
-
-Type X to quit or <RETURN> to proceed,
-or enter new name. (Default extension: sty)
-
-Enter file name: 
-(/usr/local/texlive/2019basic/texmf-dist/tex/latex/url/url.sty
-\Urlmuskip=\muskip10
-Package: url 2013/09/16  ver 3.4  Verb mode for urls, etc.
-)
-(/usr/local/texlive/2019basic/texmf-dist/tex/platex/japanese-otf-uptex/otf.sty
-Package: otf 2019/04/01 v1.7b8 psitau, u0.24 ttk
-LaTeX Font Info:    Redeclaring symbol font `mincho' on input line 314.
-LaTeX Font Info:    Overwriting symbol font `mincho' in version `normal'
-(Font)                  JY1/mc/m/n --> JY1/hmc/m/n on input line 314.
-LaTeX Font Info:    Overwriting symbol font `mincho' in version `bold'
-(Font)                  JY1/gt/m/n --> JY1/hmc/m/n on input line 314.
-LaTeX Font Info:    Overwriting symbol font `mincho' in version `bold'
-(Font)                  JY1/hmc/m/n --> JY1/hmc/bx/n on input line 316.
-LaTeX Font Info:    Redeclaring math alphabet \mathgt on input line 317.
-LaTeX Font Info:    Overwriting math alphabet `\mathgt' in version `normal'
-(Font)                  JY1/gt/m/n --> JY1/hgt/m/n on input line 317.
-LaTeX Font Info:    Overwriting math alphabet `\mathgt' in version `bold'
-(Font)                  JY1/gt/m/n --> JY1/hgt/m/n on input line 317.
-LaTeX Font Info:    Overwriting math alphabet `\mathgt' in version `bold'
-(Font)                  JY1/hgt/m/n --> JY1/hgt/bx/n on input line 318.
-
-(/usr/local/texlive/2019basic/texmf-dist/tex/platex/japanese-otf/ajmacros.sty
-Package: ajmacros 2019/04/01 21:00 iNOUE Koich! <inoue@ma.ns.musashi-tech.ac.jp
->
-\@tempcntc=\count104
-\@tempcntd=\count105
-\@tempcnte=\count106
-\@tempcntf=\count107
-))
-(/usr/local/texlive/2019basic/texmf-dist/tex/platex/japanese-otf-uptex/mlutf.st
-y
-Package: mlutf 2004/04/17 v1.1.2 psitau, u0.24 ttk
-) (/usr/local/texlive/2019basic/texmf-dist/tex/platex/japanese-otf/mlcid.sty
-Package: mlcid 2004/04/17 v1.0.2 psitau
-)
-(/usr/local/texlive/2019basic/texmf-dist/tex/latex/base/makeidx.sty
-Package: makeidx 2014/09/29 v1.0m Standard LaTeX package
-)
-(/usr/local/texlive/2019basic/texmf-dist/tex/latex/tools/multicol.sty
-Package: multicol 2019/03/01 v1.8w multicolumn formatting (FMi)
-\c@tracingmulticols=\count108
-\mult@box=\box54
-\multicol@leftmargin=\dimen133
-\c@unbalance=\count109
-\c@collectmore=\count110
-\doublecol@number=\count111
-\multicoltolerance=\count112
-\multicolpretolerance=\count113
-\full@width=\dimen134
-\page@free=\dimen135
-\premulticols=\dimen136
-\postmulticols=\dimen137
-\multicolsep=\skip43
-\multicolbaselineskip=\skip44
-\partial@page=\box55
-\last@line=\box56
-\maxbalancingoverflow=\dimen138
-\mult@rightbox=\box57
-\mult@grightbox=\box58
-\mult@gfirstbox=\box59
-\mult@firstbox=\box60
-\@tempa=\box61
-\@tempa=\box62
-\@tempa=\box63
-\@tempa=\box64
-\@tempa=\box65
-\@tempa=\box66
-\@tempa=\box67
-\@tempa=\box68
-\@tempa=\box69
-\@tempa=\box70
-\@tempa=\box71
-\@tempa=\box72
-\@tempa=\box73
-\@tempa=\box74
-\@tempa=\box75
-\@tempa=\box76
-\@tempa=\box77
-\c@minrows=\count114
-\c@columnbadness=\count115
-\c@finalcolumnbadness=\count116
-\last@try=\dimen139
-\multicolovershoot=\dimen140
-\multicolundershoot=\dimen141
-\mult@nat@firstbox=\box78
-\colbreak@box=\box79
-\mc@col@check@num=\count117
-)
-\@indexfile=\write3
-\openout3 = `master_paper.idx'.
-
-
-Writing index file master_paper.idx
-(./master_paper.aux)
-\openout1 = `master_paper.aux'.
-
-LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 66.
-LaTeX Font Info:    ... okay on input line 66.
-LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 66.
-LaTeX Font Info:    ... okay on input line 66.
-LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 66.
-LaTeX Font Info:    ... okay on input line 66.
-LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 66.
-LaTeX Font Info:    ... okay on input line 66.
-LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 66.
-LaTeX Font Info:    ... okay on input line 66.
-LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 66.
-LaTeX Font Info:    ... okay on input line 66.
-LaTeX Font Info:    Checking defaults for JY1/mc/m/n on input line 66.
-LaTeX Font Info:    ... okay on input line 66.
-LaTeX Font Info:    Checking defaults for JT1/mc/m/n on input line 66.
-LaTeX Font Info:    ... okay on input line 66.
-LaTeX Font Info:    Font shape `JT1/hmc/m/n' will be
-(Font)              scaled to size 11.54663pt on input line 66.
-LaTeX Font Info:    Font shape `JY1/hmc/m/n' will be
-(Font)              scaled to size 11.54663pt on input line 66.
-\c@lstlisting=\count118
-LaTeX Font Info:    Font shape `JT1/hmc/m/n' will be
-(Font)              scaled to size 15.39551pt on input line 68.
-LaTeX Font Info:    Font shape `JY1/hmc/m/n' will be
-(Font)              scaled to size 15.39551pt on input line 68.
-
-
-LaTeX Font Warning: Font shape `OT1/cmr/m/n' in size <16> not available
-(Font)              size <17.28> substituted on input line 68.
-
-LaTeX Font Info:    Font shape `JT1/hmc/bx/n' will be
-(Font)              scaled to size 15.39551pt on input line 68.
-LaTeX Font Info:    Font shape `JY1/hmc/bx/n' will be
-(Font)              scaled to size 15.39551pt on input line 68.
-
-LaTeX Font Warning: Font shape `OT1/cmr/bx/n' in size <16> not available
-(Font)              size <17.28> substituted on input line 68.
-
-LaTeX Font Info:    Font shape `JT1/hmc/m/n' will be
-(Font)              scaled to size 17.31995pt on input line 68.
-LaTeX Font Info:    Font shape `JY1/hmc/m/n' will be
-(Font)              scaled to size 17.31995pt on input line 68.
-
-LaTeX Font Warning: Font shape `OT1/cmr/m/n' in size <18> not available
-(Font)              size <17.28> substituted on input line 68.
-
-LaTeX Font Info:    Font shape `JT1/hmc/bx/n' will be
-(Font)              scaled to size 17.31995pt on input line 68.
-LaTeX Font Info:    Font shape `JY1/hmc/bx/n' will be
-(Font)              scaled to size 17.31995pt on input line 68.
-
-LaTeX Font Warning: Font shape `OT1/cmr/bx/n' in size <18> not available
-(Font)              size <17.28> substituted on input line 68.
-
-LaTeX Font Info:    Font shape `JT1/hmc/m/n' will be
-(Font)              scaled to size 13.47107pt on input line 68.
-LaTeX Font Info:    Font shape `JY1/hmc/m/n' will be
-(Font)              scaled to size 13.47107pt on input line 68.
-File: fig/u-ryukyu-Mark.eps Graphic file (type eps)
-<fig/u-ryukyu-Mark.eps>
-LaTeX Font Info:    Font shape `JT1/hmc/bx/n' will be
-(Font)              scaled to size 13.47107pt on input line 68.
-LaTeX Font Info:    Font shape `JY1/hmc/bx/n' will be
-(Font)              scaled to size 13.47107pt on input line 68.
-[0
-
-]
-LaTeX Font Info:    External font `cmex10' loaded for size
-(Font)              <12> on input line 72.
-LaTeX Font Info:    External font `cmex10' loaded for size
-(Font)              <8> on input line 72.
-LaTeX Font Info:    External font `cmex10' loaded for size
-(Font)              <6> on input line 72.
-LaTeX Font Info:    Font shape `JY1/hmc/m/n' will be
-(Font)              scaled to size 7.69775pt on input line 72.
-LaTeX Font Info:    Font shape `JY1/hmc/m/n' will be
-(Font)              scaled to size 5.77332pt on input line 72.
-LaTeX Font Info:    Font shape `JT1/hmc/bx/n' will be
-(Font)              scaled to size 11.54663pt on input line 72.
-LaTeX Font Info:    Font shape `JY1/hmc/bx/n' will be
-(Font)              scaled to size 11.54663pt on input line 72.
-
-Overfull \hbox (2.61108pt too wide) in paragraph at lines 72--73
-[]$[]$[] []$[]$[] 
- []
-
-[1] (./abstract.tex
-LaTeX Font Info:    Font shape `JT1/hmc/m/n' will be
-(Font)              scaled to size 23.94002pt on input line 1.
-LaTeX Font Info:    Font shape `JY1/hmc/m/n' will be
-(Font)              scaled to size 23.94002pt on input line 1.
-LaTeX Font Info:    Font shape `JT1/hmc/bx/n' will be
-(Font)              scaled to size 23.94002pt on input line 1.
-LaTeX Font Info:    Font shape `JY1/hmc/bx/n' will be
-(Font)              scaled to size 23.94002pt on input line 1.
- [2
-
-]) [3
-
-] (./master_paper.toc [1
-
-
-])
-\tf@toc=\write4
-\openout4 = `master_paper.toc'.
-
-LaTeX Font Info:    Font shape `JT1/hmc/m/n' will be
-(Font)              scaled to size 10.53629pt on input line 88.
-LaTeX Font Info:    Font shape `JY1/hmc/m/n' will be
-(Font)              scaled to size 10.53629pt on input line 88.
-LaTeX Font Info:    Font shape `JT1/hmc/bx/n' will be
-(Font)              scaled to size 10.53629pt on input line 88.
-LaTeX Font Info:    Font shape `JY1/hmc/bx/n' will be
-(Font)              scaled to size 10.53629pt on input line 88.
- [2] (./master_paper.lof)
-\tf@lof=\write5
-\openout5 = `master_paper.lof'.
-
-
-[3
-
-] (./master_paper.lot)
-\tf@lot=\write6
-\openout6 = `master_paper.lot'.
-
- [4
-
-] (./master_paper.lol
-LaTeX Font Info:    Font shape `JT1/hmc/m/n' will be
-(Font)              scaled to size 9.6222pt on input line 1.
-LaTeX Font Info:    Font shape `JY1/hmc/m/n' will be
-(Font)              scaled to size 9.6222pt on input line 1.
-)
-\tf@lol=\write7
-\openout7 = `master_paper.lol'.
-
- (./memory_manage.tex [1
-
-]
-第 1 章(2ページ)
-[2
-
-]) (./GearsOS.tex [3]
-第 2 章(4ページ)
-LaTeX Font Info:    Font shape `JT1/hmc/m/n' will be
-(Font)              scaled to size 16.62714pt on input line 7.
-LaTeX Font Info:    Font shape `JY1/hmc/m/n' will be
-(Font)              scaled to size 16.62714pt on input line 7.
-LaTeX Font Info:    Font shape `JT1/hmc/bx/n' will be
-(Font)              scaled to size 16.62714pt on input line 7.
-LaTeX Font Info:    Font shape `JY1/hmc/bx/n' will be
-(Font)              scaled to size 16.62714pt on input line 7.
-File: ./fig/codegear.pdf Graphic file (type pdf)
-<./fig/codegear.pdf>
-[4
-
-]
-File: ./fig/Meta_Code_Gear.pdf Graphic file (type pdf)
-<./fig/Meta_Code_Gear.pdf>
- [5] (./src/context.h
-LaTeX Font Info:    Font shape `JT1/hmc/m/n' will be
-(Font)              scaled to size 7.69775pt on input line 1.
- [6])) (./Xv6.tex [7]
-第 3 章(8ページ)
-[8
-
-]) (./Paging.tex [9]
-第 4 章(10ページ)
-File: ./fig/MemoryConstitution.pdf Graphic file (type pdf)
-<./fig/MemoryConstitution.pdf>
-[10
-
-]) (./cbc_interface.tex [11] [12]
-第 5 章(13ページ)
-(./src/vm.h [13
-
-]) (./src/vm_impl.cbc [14] [15] [16]) [17]
-(./src/vm_impl_private.h [18]) [19]
-Overfull \hbox (39.8747pt too wide) in paragraph at lines 168--170
-[]\OT1/cmr/m/n/12 vm[]impl.cbc \JY1/hmc/m/n/12 の \OT1/cmr/m/n/12 Code Gear \JY
-1/hmc/m/n/12 である \OT1/cmr/m/n/12 load-u-vmvm[]impl \JY1/hmc/m/n/12 から \OT1
-/cmr/m/n/12 goto \JY1/hmc/m/n/12 で \OT1/cmr/m/n/12 load-uvm[]ptesize[]checkvm[
-]impl
- []
-
-
-Overfull \hbox (70.15034pt too wide) in paragraph at lines 168--170
-\JY1/hmc/m/n/12 に遷移する 。 \OT1/cmr/m/n/12 vm.c \JY1/hmc/m/n/12 での最初の \
-OT1/cmr/m/n/12 if \JY1/hmc/m/n/12 文までの処理を \OT1/cmr/m/n/12 1 \JY1/hmc/m/n
-/12 つの \OT1/cmr/m/n/12 Code Gear \JY1/hmc/m/n/12 として \OT1/cmr/m/n/12 load-
-uvm[]ptesize[]checkvm[]impl
- []
-
-[20] [21] (./src/failure_example_userinit [22]) (./src/dummy [23]))
-(./evaluation.tex [24]
-第 6 章(25ページ)
-) (./summary.tex [25
-
-]
-第 7 章(26ページ)
-) (./thanks.tex [26
-
-]) (./master_paper.bbl [27
-
-]
-Underfull \hbox (badness 10000) in paragraph at lines 14--16
-[]\OT1/cmr/m/n/12 Raspberry Pi \JY1/hmc/m/n/12 ― \OT1/cmr/m/n/12 Teach, Learn,
- and Make with Rasp-berry Pi.
- []
-
-LaTeX Font Info:    Font shape `JT1/hgt/m/n' will be
-(Font)              scaled to size 11.54663pt on input line 25.
-LaTeX Font Info:    Font shape `JY1/hgt/m/n' will be
-(Font)              scaled to size 11.54663pt on input line 25.
-
-LaTeX Font Warning: Font shape `JT1/hgt/m/it' undefined
-(Font)              using `JT1/hgt/m/n' instead on input line 25.
-
-
-LaTeX Font Warning: Font shape `JY1/hgt/m/it' undefined
-(Font)              using `JY1/hgt/m/n' instead on input line 25.
-
-LaTeX Font Info:    Font shape `JT1/hgt/m/it' will be
-(Font)              scaled to size 11.54663pt on input line 30.
-LaTeX Font Info:    Font shape `JY1/hgt/m/it' will be
-(Font)              scaled to size 11.54663pt on input line 30.
-[28
-
-]
-Overfull \hbox (8.48145pt too wide) in paragraph at lines 86--89
-[]\OT1/cmr/m/n/12 ARM Ar-chi-tec-ture Ref-er-ence Man-ual.  \OT1/cmr/m/it/12 ht
-tp://infocenter.arm.com/help/topic/com.arm. 
- []
-
-) (./history.tex [29]
-LaTeX Font Info:    Trying to load font information for OMS+cmr on input line 3
-.
-
-(/usr/local/texlive/2019basic/texmf-dist/tex/latex/base/omscmr.fd
-File: omscmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions
-)
-LaTeX Font Info:    Font shape `OMS/cmr/m/n' in size <12> not available
-(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 3.
-)
-(./sources.tex [30
-
-]
-付 録 A  (31ページ)
-(./src/vm_all.c [31
-
-] [32] [33] [34] [35] [36] [37] [38])
-(./src/vm_impl_private_all.cbc [39] [40] [41] [42] [43] [44] [45] [46] [47]))
-[48] (./master_paper.aux)
-
-LaTeX Font Warning: Size substitutions with differences
-(Font)              up to 1.28pt have occurred.
-
-
-LaTeX Font Warning: Some font shapes were not available, defaults substituted.
-
- ) 
-Here is how much of TeX's memory you used:
- 6421 strings out of 493985
- 91100 string characters out of 6166648
- 375245 words of memory out of 5000000
- 10693 multiletter control sequences out of 15000+600000
- 17126 words of font info for 87 fonts, out of 8000000 for 9000
- 107 hyphenation exceptions out of 8191
- 33i,11n,36p,410b,1835s stack positions out of 5000i,500n,10000p,200000b,80000s
-
-Output written on master_paper.dvi (56 pages, 243796 bytes).
--- a/paper/master_paper.lol	Sat Feb 08 15:06:50 2020 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-\contentsline {lstlisting}{\numberline {2.1}\footnotesize 生成された Context}{6}%
-\contentsline {lstlisting}{\numberline {3.1}\footnotesize xv6 のシステムコールのリスト}{8}%
-\contentsline {lstlisting}{\numberline {5.1}\footnotesize vm のインターフェースの定義(vm.h)}{13}%
-\contentsline {lstlisting}{\numberline {5.2}\footnotesize vm インターフェースの実装}{15}%
-\contentsline {lstlisting}{\numberline {5.3}\footnotesize vm private のヘッダーファイル}{18}%
-\contentsline {lstlisting}{\numberline {5.4}\footnotesize vm.c のloaduvm}{19}%
-\contentsline {lstlisting}{\numberline {5.5}\footnotesize privateでの loaduvm の実装}{20}%
-\contentsline {lstlisting}{\numberline {5.6}\footnotesize cbc インターフェースのgoto}{22}%
-\contentsline {lstlisting}{\numberline {5.7}\footnotesize dummy を使った呼び出し}{23}%
-\contentsline {lstlisting}{\numberline {A.1}\footnotesize Xv6 の vm.c}{31}%
-\contentsline {lstlisting}{\numberline {A.2}\footnotesize vm の実装の private}{39}%
--- a/paper/master_paper.lot	Sat Feb 08 15:06:50 2020 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,8 +0,0 @@
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
-\addvspace {10\p@ }
Binary file paper/master_paper.pdf has changed
Binary file paper/master_paper.synctex.gz has changed
--- a/paper/master_paper.tex	Sat Feb 08 15:06:50 2020 +0900
+++ b/paper/master_paper.tex	Sat Feb 08 17:22:55 2020 +0900
@@ -103,6 +103,7 @@
 \input{evaluation.tex}
 \input{summary.tex}
 
+
 % 
 % %謝辞
 \addcontentsline{toc}{chapter}{謝辞}
--- a/paper/master_paper.toc	Sat Feb 08 15:06:50 2020 +0900
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,28 +0,0 @@
-\contentsline {chapter}{\numberline {第1章}OS の信頼性の保障}{2}%
-\contentsline {chapter}{\numberline {第2章}CbC による Geas OS の開発}{4}%
-\contentsline {section}{\numberline {2.1}Code Gear と Data Gear}{4}%
-\contentsline {section}{\numberline {2.2}Meta Code Gear と Meta Data Gear}{5}%
-\contentsline {section}{\numberline {2.3}Context}{5}%
-\contentsline {chapter}{\numberline {第3章}Xv6}{8}%
-\contentsline {section}{\numberline {3.1}Kernel Space と User Space}{8}%
-\contentsline {section}{\numberline {3.2}system call}{8}%
-\contentsline {section}{\numberline {3.3}Xv6-rpi}{9}%
-\contentsline {chapter}{\numberline {第4章}CbCXv6 での Paging}{10}%
-\contentsline {section}{\numberline {4.1}Xv6 を元にした Gears OS の実装}{10}%
-\contentsline {section}{\numberline {4.2}Paging}{10}%
-\contentsline {section}{\numberline {4.3}CbCXv6 での Paging}{10}%
-\contentsline {section}{\numberline {4.4}Paging の書き換え}{11}%
-\contentsline {chapter}{\numberline {第5章}CbC インターフェース}{13}%
-\contentsline {section}{\numberline {5.1}インターフェースの定義}{13}%
-\contentsline {section}{\numberline {5.2}インターフェースの実装}{14}%
-\contentsline {section}{\numberline {5.3}インターフェース内の private メソッド}{18}%
-\contentsline {section}{\numberline {5.4}インターフェースの呼び出し}{22}%
-\contentsline {chapter}{\numberline {第6章}評価}{25}%
-\contentsline {chapter}{\numberline {第7章}まとめ}{26}%
-\contentsline {section}{\numberline {7.1}今後の書き換え方針}{26}%
-\contentsline {chapter}{謝辞}{26}%
-\contentsline {chapter}{参考文献}{28}%
-\contentsline {chapter}{発表履歴}{29}%
-\contentsline {chapter}{付録}{30}%
-\contentsline {chapter}{\numberline {付 録A }ソースコード一覧}{31}%
-\contentsline {section}{\numberline {A-1}インターフェース内の private メソッドの実装}{31}%