Mercurial > hg > Papers > 2020 > tobaru-master
changeset 9:dfb52a12c5a1
fig : MemoryConstitution
| author | tobaru |
|---|---|
| date | Fri, 31 Jan 2020 23:20:46 +0900 |
| parents | 737421115770 |
| children | a882e390f9a2 |
| files | paper/Paging.tex paper/fig/MemoryConstitution.pdf paper/fig/meta_cg_dg.pdf 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 thsis_paging.mm |
| diffstat | 11 files changed, 112 insertions(+), 65 deletions(-) [+] |
line wrap: on
line diff
--- a/paper/Paging.tex Fri Jan 31 18:02:14 2020 +0900 +++ b/paper/Paging.tex Fri Jan 31 23:20:46 2020 +0900 @@ -10,6 +10,18 @@ \section{Paging} メモリ管理の手法に、Paging がある。Paging ではメモリを Page と呼ばれる固定長の単位に分割し、メモリとスワップ領域で Page を入れ替えて管理を行う。 + + \begin{figure}[ht] + \begin{center} + \includegraphics[width=160mm]{./fig/MemoryConstitution} + \end{center} + \caption{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)} + \label{fig:MemoryConstitution} +\end{figure} + + \section{User Space で Paging をする利点} Context に必要な Page Tbale を提供する Interface と User Space からアクセスする API が必要である。 Page Table に相当するデータを Input Data Gear で受け取って変更した後、Context にあるメモリコントロールを担当する Meta Data Gear に goto で遷移してアクセスする。 Meta Computation レベルで処理することで Use Spaceでも Page Table を操作することができる。
--- a/paper/master_paper.aux Fri Jan 31 18:02:14 2020 +0900 +++ b/paper/master_paper.aux Fri Jan 31 23:20:46 2020 +0900 @@ -9,25 +9,27 @@ \@writefile{lof}{\contentsline {figure}{\numberline {2.1}{\ignorespaces Code Gear 間の継続}}{3}\protected@file@percent } \newlabel{fig:codegear}{{2.1}{3}} \@writefile{toc}{\contentsline {section}{\numberline {2.2}Meta Code Gear と Meta Data Gear}{4}\protected@file@percent } +\@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces ノーマルレベルとメタレベルの継続の見え方}}{4}\protected@file@percent } +\newlabel{fig:meta_cg_dg}{{2.2}{4}} \@writefile{toc}{\contentsline {section}{\numberline {2.3}Context}{4}\protected@file@percent } -\newlabel{contexth、 caption}{{2.3}{4}} -\@writefile{lol}{\contentsline {lstlisting}{./src/context.h}{4}\protected@file@percent } -\@writefile{lof}{\contentsline {figure}{\numberline {2.2}{\ignorespaces ノーマルレベルとメタレベルの継続の見え方}}{7}\protected@file@percent } -\newlabel{fig:meta_cg_dg}{{2.2}{7}} -\@writefile{toc}{\contentsline {chapter}{\numberline {第3章}Xv6}{8}\protected@file@percent } +\newlabel{contexth、 caption}{{2.3}{5}} +\@writefile{lol}{\contentsline {lstlisting}{./src/context.h}{5}\protected@file@percent } +\@writefile{toc}{\contentsline {chapter}{\numberline {第3章}Xv6}{7}\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 {chapter}{\numberline {第4章}CbCXv6 での Paging}{10}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {3.1}Kernel Space と User Space}{7}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\numberline {3.2}system call}{7}\protected@file@percent } +\newlabel{syscall_list}{{3.1}{7}} +\@writefile{lol}{\contentsline {lstlisting}{\numberline {3.1}\footnotesize xv6 のシステムコールのリスト}{7}\protected@file@percent } +\@writefile{toc}{\contentsline {chapter}{\numberline {第4章}CbCXv6 での Paging}{9}\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}User Space で Paging をする利点}{10}\protected@file@percent } -\@writefile{toc}{\contentsline {section}{\numberline {4.4}Paging の書き換え}{10}\protected@file@percent } +\@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{lof}{\addvspace {10\p@ }} \@writefile{lot}{\addvspace {10\p@ }}
--- a/paper/master_paper.lof Fri Jan 31 18:02:14 2020 +0900 +++ b/paper/master_paper.lof Fri Jan 31 23:20:46 2020 +0900 @@ -1,7 +1,8 @@ \addvspace {10\p@ } \addvspace {10\p@ } \contentsline {figure}{\numberline {2.1}{\ignorespaces Code Gear 間の継続}}{3}% -\contentsline {figure}{\numberline {2.2}{\ignorespaces ノーマルレベルとメタレベルの継続の見え方}}{7}% +\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}% \addvspace {10\p@ }
--- a/paper/master_paper.log Fri Jan 31 18:02:14 2020 +0900 +++ b/paper/master_paper.log Fri Jan 31 23:20:46 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) 31 JAN 2020 16:55 +This is e-pTeX, Version 3.14159265-p3.8.2-190131-2.6 (utf8.euc) (TeX Live 2019) (preloaded format=platex 2020.1.16) 31 JAN 2020 21:31 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. @@ -370,30 +370,28 @@ ] File: ./fig/meta_cg_dg.pdf Graphic file (type pdf) <./fig/meta_cg_dg.pdf> - - -LaTeX Warning: Float too large for page by 43.27322pt on input line 43. - -(./src/context.h +LaTeX Font Info: Font shape `JT1/hmc/m/n' will be +(Font) scaled to size 10.53629pt on input line 53. +LaTeX Font Info: Font shape `JY1/hmc/m/n' will be +(Font) scaled to size 10.53629pt on input line 53. +LaTeX Font Info: Font shape `JT1/hmc/bx/n' will be +(Font) scaled to size 10.53629pt on input line 53. +LaTeX Font Info: Font shape `JY1/hmc/bx/n' will be +(Font) scaled to size 10.53629pt on input line 53. + [4] (./src/context.h LaTeX Font Info: Font shape `JT1/hmc/m/n' will be (Font) scaled to size 7.69775pt on input line 1. -LaTeX Font Info: Font shape `JT1/hmc/m/n' will be -(Font) scaled to size 10.53629pt on input line 9. -LaTeX Font Info: Font shape `JY1/hmc/m/n' will be -(Font) scaled to size 10.53629pt on input line 9. -LaTeX Font Info: Font shape `JT1/hmc/bx/n' will be -(Font) scaled to size 10.53629pt on input line 9. -LaTeX Font Info: Font shape `JY1/hmc/bx/n' will be -(Font) scaled to size 10.53629pt on input line 9. - [4]) [5]) (./Xv6.tex [6] [7] -第 3 章(8ページ) -[8 + [5])) (./Xv6.tex [6] +第 3 章(7ページ) +[7 -]) (./Paging.tex [9] -第 4 章(10ページ) -) (./cbc_interface.tex [10 +]) (./Paging.tex [8] +第 4 章(9ページ) +File: ./fig/MemoryConstitution.pdf Graphic file (type pdf) +<./fig/MemoryConstitution.pdf> +) (./cbc_interface.tex [9 -] +] [10] 第 5 章(11ページ) [11 @@ -404,12 +402,12 @@ ) Here is how much of TeX's memory you used: - 6313 strings out of 493985 - 89466 string characters out of 6166648 - 368164 words of memory out of 5000000 - 10632 multiletter control sequences out of 15000+600000 + 6319 strings out of 493985 + 89633 string characters out of 6166648 + 368175 words of memory out of 5000000 + 10637 multiletter control sequences out of 15000+600000 16577 words of font info for 84 fonts, out of 8000000 for 9000 107 hyphenation exceptions out of 8191 - 38i,11n,36p,411b,1817s stack positions out of 5000i,500n,10000p,200000b,80000s + 32i,11n,36p,470b,1800s stack positions out of 5000i,500n,10000p,200000b,80000s -Output written on master_paper.dvi (27 pages, 96688 bytes). +Output written on master_paper.dvi (27 pages, 98212 bytes).
--- a/paper/master_paper.lol Fri Jan 31 18:02:14 2020 +0900 +++ b/paper/master_paper.lol Fri Jan 31 23:20:46 2020 +0900 @@ -1,5 +1,5 @@ -\contentsline {lstlisting}{./src/context.h}{4}% -\contentsline {lstlisting}{\numberline {3.1}\footnotesize xv6 のシステムコールのリスト}{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}%
--- a/paper/master_paper.toc Fri Jan 31 18:02:14 2020 +0900 +++ b/paper/master_paper.toc Fri Jan 31 23:20:46 2020 +0900 @@ -3,14 +3,14 @@ \contentsline {section}{\numberline {2.1}Code Gear と Data Gear}{3}% \contentsline {section}{\numberline {2.2}Meta Code Gear と Meta Data Gear}{4}% \contentsline {section}{\numberline {2.3}Context}{4}% -\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 {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}User Space で Paging をする利点}{10}% -\contentsline {section}{\numberline {4.4}Paging の書き換え}{10}% +\contentsline {chapter}{\numberline {第3章}Xv6}{7}% +\contentsline {section}{\numberline {3.1}Kernel Space と User Space}{7}% +\contentsline {section}{\numberline {3.2}system call}{7}% +\contentsline {chapter}{\numberline {第4章}CbCXv6 での Paging}{9}% +\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}%
--- a/thsis_paging.mm Fri Jan 31 18:02:14 2020 +0900 +++ b/thsis_paging.mm Fri Jan 31 23:20:46 2020 +0900 @@ -4,14 +4,26 @@ <node CREATED="1580207637653" ID="ID_721168585" MODIFIED="1580207641017" POSITION="right" TEXT="英文タイトル"> <node CREATED="1580207641694" ID="ID_182987953" MODIFIED="1580207649805" TEXT="Rewriting CbCXv6 by CbC interface "/> </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="1580462026946" ID="ID_1472155882" MODIFIED="1580462030002" TEXT="英語も"/> +</node> <node CREATED="1578979732696" ID="ID_457372106" MODIFIED="1580108656805" POSITION="right" TEXT="OS のメモリ管理"> -<node CREATED="1580460373935" ID="ID_1062193517" MODIFIED="1580460419393" TEXT="タイトル的にメモリ管理よりインターフェースの説明するべき？"> +<node CREATED="1580460373935" ID="ID_1062193517" MODIFIED="1580461472303" TEXT="タイトル的にメモリ管理よりインターフェースの説明するべき？"> <icon BUILTIN="help"/> +<icon BUILTIN="full-1"/> +</node> +<node CREATED="1580462138553" ID="ID_1846491838" MODIFIED="1580462198989" TEXT="OSの信頼性(メモリ管理以外)"> +<icon BUILTIN="help"/> +<node CREATED="1580462157478" ID="ID_1631189480" MODIFIED="1580462174061" TEXT="file system"/> +<node CREATED="1580462182158" ID="ID_1466724178" MODIFIED="1580462185475" TEXT="プロセス"/> </node> </node> <node CREATED="1578979768846" ID="ID_738890313" MODIFIED="1580457375399" POSITION="right" TEXT="CbC による Gears OS の開発"> -<node CREATED="1580108790756" ID="ID_1503553728" MODIFIED="1580460450005" TEXT="CbC"> +<node CREATED="1580108790756" ID="ID_1503553728" MODIFIED="1580461797329" TEXT="CbC"> <icon BUILTIN="idea"/> +<icon BUILTIN="full-1"/> <node CREATED="1580112360401" ID="ID_614891804" MODIFIED="1580112368387" TEXT="記述例"/> <node CREATED="1580112406576" ID="ID_174277035" MODIFIED="1580112413544" TEXT="Code Gear の継続遷移図"/> </node> @@ -23,16 +35,21 @@ </node> </node> <node CREATED="1580107585579" ID="ID_1626415670" MODIFIED="1580292597646" POSITION="right" TEXT="Xv6"> -<node CREATED="1580457293680" ID="ID_740048501" MODIFIED="1580460460858" TEXT="Xv6の構成"> +<node CREATED="1580457293680" ID="ID_740048501" MODIFIED="1580461623364" TEXT="Xv6の構成"> <icon BUILTIN="idea"/> +<icon BUILTIN="full-6"/> <node CREATED="1580284555449" ID="ID_1964121459" MODIFIED="1580457956745" TEXT="構造図今とズレあるか確認"> <node CREATED="1580284570046" ID="ID_1019548823" MODIFIED="1580284574054" TEXT="図を乗っける"/> </node> </node> <node CREATED="1580292692205" ID="ID_943689954" MODIFIED="1580292710340" TEXT="Kernel と User Space"/> -<node CREATED="1580107690139" ID="ID_749171993" MODIFIED="1580107697425" TEXT="System call"/> -<node CREATED="1580107648436" ID="ID_422947198" MODIFIED="1580460464678" TEXT="Raspberry Pi は必要ない??"> +<node CREATED="1580107690139" ID="ID_749171993" MODIFIED="1580461785139" TEXT="System call"> <icon BUILTIN="idea"/> +<icon BUILTIN="full-2"/> +</node> +<node CREATED="1580107648436" ID="ID_422947198" MODIFIED="1580461790590" TEXT="Raspberry Pi は必要ない??"> +<icon BUILTIN="idea"/> +<icon BUILTIN="full-1"/> <node CREATED="1580206122141" ID="ID_263443526" MODIFIED="1580206132135" TEXT="Console 接続書く"/> </node> </node> @@ -40,8 +57,9 @@ <node CREATED="1580207017522" ID="ID_151270407" MODIFIED="1580207022173" TEXT="ここを中心に書く"/> <node CREATED="1580292626674" ID="ID_1799470435" MODIFIED="1580458028287" TEXT="Xv6を元にした Geas OS の実装"/> <node CREATED="1580108224152" ID="ID_1755476855" MODIFIED="1580108236817" TEXT="pagingとは"> -<node CREATED="1580125177715" ID="ID_1450928772" MODIFIED="1580460468484" TEXT="図"> +<node CREATED="1580125177715" ID="ID_1450928772" MODIFIED="1580474199285" TEXT="図の説明"> <icon BUILTIN="idea"/> +<icon BUILTIN="full-1"/> </node> </node> <node CREATED="1580108238553" ID="ID_824612440" MODIFIED="1580108266050" TEXT="User Space でPagingをする利点"/> @@ -49,28 +67,44 @@ </node> <node CREATED="1580365409191" ID="ID_421799143" MODIFIED="1580365426704" POSITION="right" TEXT="CbC インターフェース"> <node CREATED="1580206394524" ID="ID_1210911937" MODIFIED="1580206405182" TEXT="みつきさんの時は実装されてない"/> +<node CREATED="1580469746286" ID="ID_1576815683" MODIFIED="1580469929318" TEXT="vm.c のコード"> +<icon BUILTIN="idea"/> +<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="1580458084768" ID="ID_934597036" MODIFIED="1580458094443" TEXT="Private メソッド"> -<node CREATED="1580460247324" ID="ID_770535617" MODIFIED="1580460481760" TEXT="private メソッドって名前でいいのか"> -<icon BUILTIN="idea"/> +<node CREATED="1580460247324" ID="ID_770535617" MODIFIED="1580461880337" TEXT="private メソッドって名前でいいのか"> +<icon BUILTIN="help"/> </node> -<node CREATED="1580460228146" ID="ID_1863450740" MODIFIED="1580460488099" TEXT="コードの説明"> +<node CREATED="1580460228146" ID="ID_1863450740" MODIFIED="1580461814494" TEXT="コードの説明"> <icon BUILTIN="idea"/> +<icon BUILTIN="full-1"/> </node> </node> -<node CREATED="1580205101060" ID="ID_1917641207" MODIFIED="1580460473287" TEXT="dummy "> +<node CREATED="1580205101060" ID="ID_1917641207" MODIFIED="1580464273604" TEXT="dummy "> <icon BUILTIN="idea"/> +<icon BUILTIN="full-1"/> +<icon BUILTIN="yes"/> </node> -<node CREATED="1580459534075" ID="ID_1367211336" MODIFIED="1580460478171" TEXT="今後の書き換え方針"> +<node CREATED="1580459534075" ID="ID_1367211336" MODIFIED="1580461821289" TEXT="今後の書き換え方針"> <icon BUILTIN="idea"/> +<icon BUILTIN="full-1"/> </node> </node> -<node CREATED="1578979830870" ID="ID_251771531" MODIFIED="1580460517354" POSITION="right" TEXT="Paging の評価"> +<node CREATED="1578979830870" ID="ID_251771531" MODIFIED="1580461826293" POSITION="right" TEXT="Paging の評価"> <icon BUILTIN="idea"/> +<icon BUILTIN="full-2"/> </node> -<node CREATED="1578979834269" ID="ID_614747960" MODIFIED="1580460520536" POSITION="right" TEXT="結論"> +<node CREATED="1578979834269" ID="ID_614747960" MODIFIED="1580461830011" POSITION="right" TEXT="結論"> <icon BUILTIN="idea"/> +<icon BUILTIN="full-1"/> +</node> +<node CREATED="1580462062575" ID="ID_76123952" MODIFIED="1580462065622" POSITION="right" TEXT="参考文献"/> +<node CREATED="1580462087263" ID="ID_1850863059" MODIFIED="1580462091208" POSITION="left" TEXT="やること"> +<node CREATED="1580462109134" ID="ID_273350504" MODIFIED="1580462112678" TEXT="実装"/> +<node CREATED="1580462212464" ID="ID_1766947302" MODIFIED="1580462217795" TEXT="Xv6頭に入れる"/> +<node CREATED="1580462094519" ID="ID_1481533529" MODIFIED="1580462105250" TEXT="参考文献読む"/> </node> </node> </map>