# HG changeset patch # User tobaru # Date 1581150175 -32400 # Node ID ff1f2c66a84dd89b224db603656c79815a5d767e # Parent 98cee2f6c9198fe1163ab05773e45810cb767baf rm tex file diff -r 98cee2f6c919 -r ff1f2c66a84d .hgignore --- 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 diff -r 98cee2f6c919 -r ff1f2c66a84d paper/cbc_interface.tex --- 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 の実装}] diff -r 98cee2f6c919 -r ff1f2c66a84d paper/master_paper.aux --- 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 } diff -r 98cee2f6c919 -r ff1f2c66a84d paper/master_paper.lof --- 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@ } diff -r 98cee2f6c919 -r ff1f2c66a84d paper/master_paper.log --- 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 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 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! -\@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) - -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). diff -r 98cee2f6c919 -r ff1f2c66a84d paper/master_paper.lol --- 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}% diff -r 98cee2f6c919 -r ff1f2c66a84d paper/master_paper.lot --- 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@ } diff -r 98cee2f6c919 -r ff1f2c66a84d paper/master_paper.pdf Binary file paper/master_paper.pdf has changed diff -r 98cee2f6c919 -r ff1f2c66a84d paper/master_paper.synctex.gz Binary file paper/master_paper.synctex.gz has changed diff -r 98cee2f6c919 -r ff1f2c66a84d paper/master_paper.tex --- 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}{謝辞} diff -r 98cee2f6c919 -r ff1f2c66a84d paper/master_paper.toc --- 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}%