Mercurial > hg > Papers > 2020 > tobaru-master
changeset 11:f7ed2b4874f4
xv6 reference
| author | tobaru |
|---|---|
| date | Tue, 04 Feb 2020 11:16:19 +0900 |
| parents | a882e390f9a2 |
| children | 9cf9e0b086c7 |
| files | paper/Paging.tex paper/cbc_interface.tex paper/master_paper.aux paper/master_paper.lof paper/master_paper.log paper/master_paper.lol paper/master_paper.pdf paper/master_paper.synctex.gz paper/master_paper.toc paper/reference.bib thsis_paging.mm thsis_paging.pdf |
| diffstat | 12 files changed, 104 insertions(+), 85 deletions(-) [+] |
line wrap: on
line diff
--- a/paper/Paging.tex Sun Feb 02 19:47:49 2020 +0900 +++ b/paper/Paging.tex Tue Feb 04 11:16:19 2020 +0900 @@ -11,6 +11,8 @@ メモリ管理の手法に、Paging がある。Paging ではメモリを Page と呼ばれる固定長の単位に分割し、メモリとスワップ領域で Page を入れ替えて管理を行う。 \par +図 \ref{fig:MEmoryConstitution} で Xv6の仮想メモリと実メモリについて説明する。 + \begin{figure}[ht] \begin{center}
--- a/paper/cbc_interface.tex Sun Feb 02 19:47:49 2020 +0900 +++ b/paper/cbc_interface.tex Tue Feb 04 11:16:19 2020 +0900 @@ -239,7 +239,8 @@ インターフェースで定義した Code Gear 以外の Code Gaer も記述することができる。 この Code Gear は基本的にインターフェースで指定された Code Gear 内からのみ継続されるため、 Java の private メソッドのように扱われる。 - +\par +インターフェースと同じようにヘッダーファイルを \ref{impl_vm_privateh} で定義する。 \begin{lstlisting}[frame=lrbt,label=impl_vm_privateh,caption={\footnotesize vm private のヘッダーファイル}] @@ -293,6 +294,9 @@ \end{lstlisting} +インターフェースを vm で インターフェースの実装を \ref{impl_vm_private} で示す。 +\par + \begin{lstlisting}[frame=lrbt,label=impl_vm_private,caption={\footnotesize vm private の実装}] #include "../../context.h" #interface "vm.h" @@ -470,7 +474,7 @@ -\begin{lstlisting}[frame=lrbt,label=impl_vm_private,caption={\footnotesize vm private の実装}] +\begin{lstlisting}[frame=lrbt,label=dummy,caption={\footnotesize dummy を使った呼び出し}] void dummy(struct proc *p, char _binary_initcode_start[], char _binary_initcode_size[])
--- a/paper/master_paper.aux Sun Feb 02 19:47:49 2020 +0900 +++ b/paper/master_paper.aux Tue Feb 04 11:16:19 2020 +0900 @@ -28,46 +28,46 @@ \@writefile{toc}{\contentsline {section}{\numberline {4.1}Xv6 を元にした Gears OS の実装}{9}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {4.2}Paging}{9}\protected@file@percent } \@writefile{toc}{\contentsline {section}{\numberline {4.3}User Space で Paging をする利点}{9}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {4.4}Paging の書き換え}{9}\protected@file@percent } -\@writefile{lof}{\contentsline {figure}{\numberline {4.1}{\ignorespaces Layout of the virtual address space of a process and the layout of the physical address space. Note that if a machine has more than 2 Gbyte of physical memory, xv6 can use only the memory that fits between KERNBASE and 0xFE00000. Russ Cox(2018) xv6 a simple, Unix-like teaching operating system (Frans Kaashoek, Robert Morris)}}{10}\protected@file@percent } -\newlabel{fig:MemoryConstitution}{{4.1}{10}} -\@writefile{toc}{\contentsline {chapter}{\numberline {第5章}CbC インターフェース}{11}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {4.4}Paging の書き換え}{10}\protected@file@percent } +\@writefile{lof}{\contentsline {figure}{\numberline {4.1}{\ignorespaces Layout of the virtual address space of a process and the layout of the physical address space. Note that if a machine has more than 2 Gbyte of physical memory, xv6 can use only the memory that fits between KERNBASE and 0xFE00000. Russ Cox(2018) xv6 a simple, Unix-like teaching operating system (Frans Kaashoek, Robert Morris)}}{11}\protected@file@percent } +\newlabel{fig:MemoryConstitution}{{4.1}{11}} +\@writefile{toc}{\contentsline {chapter}{\numberline {第5章}CbC インターフェース}{12}\protected@file@percent } \@writefile{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }} -\@writefile{toc}{\contentsline {section}{\numberline {5.1}インターフェースの定義}{11}\protected@file@percent } -\newlabel{interface}{{5.1}{11}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}\footnotesize vm のインターフェース}{11}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {5.2}インターフェースの実装}{12}\protected@file@percent } -\newlabel{impl_vm}{{5.2}{12}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}\footnotesize vm インターフェースの実装}{12}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {5.3}インターフェース内の private メソッド}{15}\protected@file@percent } -\newlabel{impl_vm_privateh}{{5.3}{15}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}\footnotesize vm private のヘッダーファイル}{15}\protected@file@percent } -\newlabel{impl_vm_private}{{5.4}{17}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}\footnotesize vm private の実装}{17}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {5.4}インターフェースの呼び出し}{20}\protected@file@percent } -\newlabel{cbc_goto}{{5.5}{20}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.5}\footnotesize cbc インターフェースのgoto}{20}\protected@file@percent } -\newlabel{impl_vm_private}{{5.6}{20}} -\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.6}\footnotesize vm private の実装}{20}\protected@file@percent } -\@writefile{toc}{\contentsline {chapter}{謝辞}{21}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {5.1}インターフェースの定義}{12}\protected@file@percent } +\newlabel{interface}{{5.1}{12}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.1}\footnotesize vm のインターフェース}{12}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {5.2}インターフェースの実装}{13}\protected@file@percent } +\newlabel{impl_vm}{{5.2}{13}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.2}\footnotesize vm インターフェースの実装}{13}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {5.3}インターフェース内の private メソッド}{16}\protected@file@percent } +\newlabel{impl_vm_privateh}{{5.3}{16}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.3}\footnotesize vm private のヘッダーファイル}{16}\protected@file@percent } +\newlabel{impl_vm_private}{{5.4}{18}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.4}\footnotesize vm private の実装}{18}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {5.4}インターフェースの呼び出し}{21}\protected@file@percent } +\newlabel{cbc_goto}{{5.5}{21}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.5}\footnotesize cbc インターフェースのgoto}{21}\protected@file@percent } +\newlabel{dummy}{{5.6}{21}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {5.6}\footnotesize dummy を使った呼び出し}{21}\protected@file@percent } +\@writefile{toc}{\contentsline {chapter}{謝辞}{22}\protected@file@percent } \citation{*} \bibdata{reference} -\bibcite{os}{1} -\bibcite{rpi}{2} -\bibcite{xv6rpi}{3} -\bibcite{cbc}{4} -\bibcite{moggi-monad}{5} -\bibcite{Yang:2010:SLI:1806596.1806610}{6} -\bibcite{Klein:2009:SFV:1629575.1629596}{7} -\bibcite{Sigurbjarnarson:2016:PVF:3026877.3026879}{8} -\bibcite{agda-ryokka}{9} -\bibcite{agda}{10} -\@writefile{toc}{\contentsline {chapter}{参考文献}{23}\protected@file@percent } -\bibcite{llvm}{11} -\bibcite{gcc}{12} -\bibcite{gears}{13} -\bibcite{arm}{14} -\bibcite{xv6}{15} +\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}{参考文献}{24}\protected@file@percent } +\bibcite{llvm}{12} +\bibcite{gcc}{13} +\bibcite{gears}{14} +\bibcite{arm}{15} \bibstyle{junsrt} -\@writefile{toc}{\contentsline {chapter}{付録}{24}\protected@file@percent } +\@writefile{toc}{\contentsline {chapter}{付録}{25}\protected@file@percent }
--- a/paper/master_paper.lof Sun Feb 02 19:47:49 2020 +0900 +++ b/paper/master_paper.lof Tue Feb 04 11:16:19 2020 +0900 @@ -4,5 +4,5 @@ \contentsline {figure}{\numberline {2.2}{\ignorespaces ノーマルレベルとメタレベルの継続の見え方}}{4}% \addvspace {10\p@ } \addvspace {10\p@ } -\contentsline {figure}{\numberline {4.1}{\ignorespaces Layout of the virtual address space of a process and the layout of the physical address space. Note that if a machine has more than 2 Gbyte of physical memory, xv6 can use only the memory that fits between KERNBASE and 0xFE00000. Russ Cox(2018) xv6 a simple, Unix-like teaching operating system (Frans Kaashoek, Robert Morris)}}{10}% +\contentsline {figure}{\numberline {4.1}{\ignorespaces Layout of the virtual address space of a process and the layout of the physical address space. Note that if a machine has more than 2 Gbyte of physical memory, xv6 can use only the memory that fits between KERNBASE and 0xFE00000. Russ Cox(2018) xv6 a simple, Unix-like teaching operating system (Frans Kaashoek, Robert Morris)}}{11}% \addvspace {10\p@ }
--- a/paper/master_paper.log Sun Feb 02 19:47:49 2020 +0900 +++ b/paper/master_paper.log Tue Feb 04 11:16:19 2020 +0900 @@ -1,4 +1,4 @@ -This is e-pTeX, Version 3.14159265-p3.8.2-190131-2.6 (utf8.euc) (TeX Live 2019) (preloaded format=platex 2020.1.16) 2 FEB 2020 19:36 +This is e-pTeX, Version 3.14159265-p3.8.2-190131-2.6 (utf8.euc) (TeX Live 2019) (preloaded format=platex 2020.1.16) 4 FEB 2020 10:53 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. @@ -216,11 +216,7 @@ Writing index file master_paper.idx -(./master_paper.aux - -LaTeX Warning: Label `impl_vm_private' multiply defined. - -) +(./master_paper.aux) \openout1 = `master_paper.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 65. @@ -391,48 +387,52 @@ ]) (./Paging.tex [8] 第 4 章(9ページ) + +LaTeX Warning: Reference `fig:MEmoryConstitution' on page 9 undefined on input +line 14. + File: ./fig/MemoryConstitution.pdf Graphic file (type pdf) <./fig/MemoryConstitution.pdf> ) (./cbc_interface.tex [9 -] [10] -第 5 章(11ページ) -[11 +] [10] [11] +第 5 章(12ページ) +[12 -] [12] [13] [14] [15] [16] [17] [18] [19] [20]) (./thanks.tex [21]) -(./master_paper.bbl [22 +] [13] [14] [15] [16] [17] [18] [19] [20] [21]) (./thanks.tex [22]) +(./master_paper.bbl [23 ] -Underfull \hbox (badness 10000) in paragraph at lines 9--11 +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 20. +(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 20. +(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 20. +(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 20. +(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 25. +(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 25. -[23 +(Font) scaled to size 11.54663pt on input line 30. +[24 ] -Overfull \hbox (8.48145pt too wide) in paragraph at lines 81--84 +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. [] -) [24] (./master_paper.aux) +) [25] (./master_paper.aux) LaTeX Font Warning: Size substitutions with differences (Font) up to 1.28pt have occurred. @@ -441,16 +441,16 @@ LaTeX Font Warning: Some font shapes were not available, defaults substituted. -LaTeX Warning: There were multiply-defined labels. +LaTeX Warning: There were undefined references. ) Here is how much of TeX's memory you used: - 6352 strings out of 493985 - 90039 string characters out of 6166648 - 368228 words of memory out of 5000000 - 10662 multiletter control sequences out of 15000+600000 + 6354 strings out of 493985 + 90070 string characters out of 6166648 + 361248 words of memory out of 5000000 + 10664 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 32i,11n,36p,470b,1800s stack positions out of 5000i,500n,10000p,200000b,80000s -Output written on master_paper.dvi (31 pages, 112664 bytes). +Output written on master_paper.dvi (32 pages, 113080 bytes).
--- a/paper/master_paper.lol Sun Feb 02 19:47:49 2020 +0900 +++ b/paper/master_paper.lol Tue Feb 04 11:16:19 2020 +0900 @@ -1,8 +1,8 @@ \contentsline {lstlisting}{./src/context.h}{5}% \contentsline {lstlisting}{\numberline {3.1}\footnotesize xv6 のシステムコールのリスト}{7}% -\contentsline {lstlisting}{\numberline {5.1}\footnotesize vm のインターフェース}{11}% -\contentsline {lstlisting}{\numberline {5.2}\footnotesize vm インターフェースの実装}{12}% -\contentsline {lstlisting}{\numberline {5.3}\footnotesize vm private のヘッダーファイル}{15}% -\contentsline {lstlisting}{\numberline {5.4}\footnotesize vm private の実装}{17}% -\contentsline {lstlisting}{\numberline {5.5}\footnotesize cbc インターフェースのgoto}{20}% -\contentsline {lstlisting}{\numberline {5.6}\footnotesize vm private の実装}{20}% +\contentsline {lstlisting}{\numberline {5.1}\footnotesize vm のインターフェース}{12}% +\contentsline {lstlisting}{\numberline {5.2}\footnotesize vm インターフェースの実装}{13}% +\contentsline {lstlisting}{\numberline {5.3}\footnotesize vm private のヘッダーファイル}{16}% +\contentsline {lstlisting}{\numberline {5.4}\footnotesize vm private の実装}{18}% +\contentsline {lstlisting}{\numberline {5.5}\footnotesize cbc インターフェースのgoto}{21}% +\contentsline {lstlisting}{\numberline {5.6}\footnotesize dummy を使った呼び出し}{21}%
--- a/paper/master_paper.toc Sun Feb 02 19:47:49 2020 +0900 +++ b/paper/master_paper.toc Tue Feb 04 11:16:19 2020 +0900 @@ -11,12 +11,12 @@ \contentsline {section}{\numberline {4.1}Xv6 を元にした Gears OS の実装}{9}% \contentsline {section}{\numberline {4.2}Paging}{9}% \contentsline {section}{\numberline {4.3}User Space で Paging をする利点}{9}% -\contentsline {section}{\numberline {4.4}Paging の書き換え}{9}% -\contentsline {chapter}{\numberline {第5章}CbC インターフェース}{11}% -\contentsline {section}{\numberline {5.1}インターフェースの定義}{11}% -\contentsline {section}{\numberline {5.2}インターフェースの実装}{12}% -\contentsline {section}{\numberline {5.3}インターフェース内の private メソッド}{15}% -\contentsline {section}{\numberline {5.4}インターフェースの呼び出し}{20}% -\contentsline {chapter}{謝辞}{21}% -\contentsline {chapter}{参考文献}{23}% -\contentsline {chapter}{付録}{24}% +\contentsline {section}{\numberline {4.4}Paging の書き換え}{10}% +\contentsline {chapter}{\numberline {第5章}CbC インターフェース}{12}% +\contentsline {section}{\numberline {5.1}インターフェースの定義}{12}% +\contentsline {section}{\numberline {5.2}インターフェースの実装}{13}% +\contentsline {section}{\numberline {5.3}インターフェース内の private メソッド}{16}% +\contentsline {section}{\numberline {5.4}インターフェースの呼び出し}{21}% +\contentsline {chapter}{謝辞}{22}% +\contentsline {chapter}{参考文献}{24}% +\contentsline {chapter}{付録}{25}%
--- a/paper/reference.bib Sun Feb 02 19:47:49 2020 +0900 +++ b/paper/reference.bib Tue Feb 04 11:16:19 2020 +0900 @@ -1,3 +1,10 @@ +@article{xv6, + author = "{Russ Cox, M. Frans Kaashoek, and Robert T. Morris}", + title = "{xv6: a simple, Unix-like teaching operating system}", + howpublished = "{http://pdos.csail.mit.edu/6.828/xv6/}", + year = 2014 +} + @article{os, author = {Andrew S.Tanenbaum, Herbert Bos}, title = "{Modern Operating Systems}",
--- a/thsis_paging.mm Sun Feb 02 19:47:49 2020 +0900 +++ b/thsis_paging.mm Tue Feb 04 11:16:19 2020 +0900 @@ -6,7 +6,9 @@ </node> <node CREATED="1580462003106" ID="ID_394129445" MODIFIED="1580462034141" POSITION="right" TEXT="abdtract"> <icon BUILTIN="idea"/> -<node CREATED="1580462021212" ID="ID_890799242" MODIFIED="1580462025706" TEXT="最後に書く"/> +<node CREATED="1580462021212" ID="ID_890799242" MODIFIED="1580462025706" TEXT="最後に書く"> +<node CREATED="1580782397745" ID="ID_79398832" MODIFIED="1580782421011" TEXT="メモリ管理よりインターフェースの内容を書く"/> +</node> <node CREATED="1580462026946" ID="ID_1472155882" MODIFIED="1580462030002" TEXT="英語も"/> </node> <node CREATED="1578979732696" ID="ID_457372106" MODIFIED="1580108656805" POSITION="right" TEXT="OS のメモリ管理"> @@ -73,7 +75,11 @@ <icon BUILTIN="full-1"/> </node> <node CREATED="1580458062566" ID="ID_379379906" MODIFIED="1580458068975" TEXT="インターフェースの定義"/> -<node CREATED="1580458070270" ID="ID_1048176895" MODIFIED="1580458083599" TEXT="インターフェースの実装"/> +<node CREATED="1580458070270" ID="ID_1048176895" MODIFIED="1580458083599" TEXT="インターフェースの実装"> +<node CREATED="1580731535245" ID="ID_1654966120" MODIFIED="1580731543205" TEXT="UML書く？"> +<node CREATED="1580731590357" ID="ID_823922062" MODIFIED="1580731595954" TEXT="参考 : http://growi.cr.ie.u-ryukyu.ac.jp/Gears/Xv6/src/impl/pipe.h"/> +</node> +</node> <node CREATED="1580458084768" ID="ID_934597036" MODIFIED="1580458094443" TEXT="Private メソッド"> <node CREATED="1580460247324" ID="ID_770535617" MODIFIED="1580461880337" TEXT="private メソッドって名前でいいのか"> <icon BUILTIN="help"/>