Mercurial > hg > Papers > 2020 > tobaru-master

changeset 7:6e1a4452265e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
interface
author tobaru
date Thu, 30 Jan 2020 20:15:10 +0900
parents 4dd10e3e45d2
children 737421115770
files paper/Paging.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 thsis_paging.mm
diffstat 11 files changed, 57 insertions(+), 42 deletions(-) [+]
line wrap: on
line diff
--- a/paper/Paging.tex	Wed Jan 29 19:44:21 2020 +0900
+++ b/paper/Paging.tex	Thu Jan 30 20:15:10 2020 +0900
@@ -1,23 +1,11 @@
 \chapter{CbCXv6 での Paging の書き換え} 
+ OS の信頼性の基本である メモリ管理 の書き換えについて説明する。
+
 
 \section{Xv6 を元にした Gears OS の実装}
 Gears OS ではハードウェア上でメタレベルの計算や並列実行を行いたいので、Raspberry Pi でもバイナリを>出力できる Xv6 を CbC で書き換える。
 ANSI-C で書かれている Xv6 を CbC に書き直し、それを元に Gears OS を実装していく。
 
-\section{Xv6 のインターフェース化}
-構造図書く(今のcbcxv6と同じか確認してから)
-\par
-
- Gears OS では Meta Code Gear で Context から値を取り出し、ノーマルレベルの Code Gear に値を渡す。
-しかし、メタレベルからノーマルレベルの継続の記述が煩雑になるため、Interface 化をしている。
-Interface は Data Gear に対しての操作を行う Code Gear であり、実装は別で定義する。
-% Interface で定義した Code Gear に
-
-
-%  Xv6 の書き換えは Interface を用いてモジュール化する。
-そうすることで Gears OS の機能を置き換えることできるようになる。
-
-
 \section{Paging}
   メモリ管理の手法に、Paging がある。Paging ではメモリを Page と呼ばれる固定長の単位に分割し、メモリとスワップ領域で Page を入れ替えて管理を行う。
 
@@ -28,3 +16,8 @@
 
 
 \section{Paging の書き換え}
+ Xv6 では実メモリ(Physical memory) から仮想メモリ(Virtual memory)の変換を vm.c で行なっている。
+vm.c を CbC で書き換えていく。
+
+
+
--- a/paper/master_paper.aux	Wed Jan 29 19:44:21 2020 +0900
+++ b/paper/master_paper.aux	Thu Jan 30 20:15:10 2020 +0900
@@ -21,12 +21,20 @@
 \@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 {chapter}{\numberline {第4章}CbC インターフェース}{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}Xv6 のインターフェース化}{10}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {4.3}Paging}{10}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {4.4}Gears OS での Paging}{10}\protected@file@percent }
-\@writefile{toc}{\contentsline {section}{\numberline {4.5}Paging の書き換え}{11}\protected@file@percent }
-\@writefile{toc}{\contentsline {chapter}{付録}{11}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {4.1}インターフェースの定義}{10}\protected@file@percent }
+\newlabel{syscall_list}{{4.1}{10}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {4.1}\footnotesize  vm のインターフェース}{10}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {4.2}インターフェースの実装}{11}\protected@file@percent }
+\newlabel{syscall_list}{{4.2}{11}}
+\@writefile{lol}{\contentsline {lstlisting}{\numberline {4.2}\footnotesize  vm のインターフェース}{11}\protected@file@percent }
+\@writefile{toc}{\contentsline {chapter}{\numberline {第5章}CbCXv6 での Paging の書き換え}{15}\protected@file@percent }
+\@writefile{lof}{\addvspace {10\p@ }}
+\@writefile{lot}{\addvspace {10\p@ }}
+\@writefile{toc}{\contentsline {section}{\numberline {5.1}Xv6 を元にした Gears OS の実装}{15}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {5.2}Paging}{15}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {5.3}User Space で Paging をする利点}{15}\protected@file@percent }
+\@writefile{toc}{\contentsline {section}{\numberline {5.4}Paging の書き換え}{16}\protected@file@percent }
+\@writefile{toc}{\contentsline {chapter}{付録}{16}\protected@file@percent }
--- a/paper/master_paper.lof	Wed Jan 29 19:44:21 2020 +0900
+++ b/paper/master_paper.lof	Thu Jan 30 20:15:10 2020 +0900
@@ -4,3 +4,4 @@
 \contentsline {figure}{\numberline {2.2}{\ignorespaces ノーマルレベルとメタレベルの継続の見え方}}{7}%
 \addvspace {10\p@ }
 \addvspace {10\p@ }
+\addvspace {10\p@ }
--- a/paper/master_paper.log	Wed Jan 29 19:44:21 2020 +0900
+++ b/paper/master_paper.log	Thu Jan 30 20:15:10 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)  29 JAN 2020 19:13
+This is e-pTeX, Version 3.14159265-p3.8.2-190131-2.6 (utf8.euc) (TeX Live 2019) (preloaded format=platex 2020.1.16)  30 JAN 2020 19:56
 entering extended mode
  restricted \write18 enabled.
  file:line:error style messages enabled.
@@ -216,7 +216,11 @@
 
 
 Writing index file master_paper.idx
-(./master_paper.aux)
+(./master_paper.aux
+
+LaTeX Warning: Label `syscall_list' multiply defined.
+
+)
 \openout1 = `master_paper.aux'.
 
 LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 65.
@@ -389,26 +393,30 @@
 第 3 章(8ページ)
 [8
 
-]) (./Paging.tex [9]
+]) (./cbc_interface.tex [9]
 第 4 章(10ページ)
 [10
 
-]) [11] (./master_paper.aux)
+] [11] [12] [13]) (./Paging.tex [14]
+第 5 章(15ページ)
+) [15
+
+] [16] (./master_paper.aux)
 
 LaTeX Font Warning: Size substitutions with differences
 (Font)              up to 1.28pt have occurred.
 
 
-LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.
+LaTeX Warning: There were multiply-defined labels.
 
  ) 
 Here is how much of TeX's memory you used:
- 6304 strings out of 493985
- 89327 string characters out of 6166648
- 330120 words of memory out of 5000000
- 10626 multiletter control sequences out of 15000+600000
+ 6309 strings out of 493985
+ 89411 string characters out of 6166648
+ 330160 words of memory out of 5000000
+ 10628 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
 
-Output written on master_paper.dvi (18 pages, 34848 bytes).
+Output written on master_paper.dvi (23 pages, 65180 bytes).
--- a/paper/master_paper.lol	Wed Jan 29 19:44:21 2020 +0900
+++ b/paper/master_paper.lol	Thu Jan 30 20:15:10 2020 +0900
@@ -1,2 +1,4 @@
 \contentsline {lstlisting}{./src/context.h}{4}%
 \contentsline {lstlisting}{\numberline {3.1}\footnotesize xv6 のシステムコールのリスト}{8}%
+\contentsline {lstlisting}{\numberline {4.1}\footnotesize vm のインターフェース}{10}%
+\contentsline {lstlisting}{\numberline {4.2}\footnotesize vm のインターフェース}{11}%
--- a/paper/master_paper.lot	Wed Jan 29 19:44:21 2020 +0900
+++ b/paper/master_paper.lot	Thu Jan 30 20:15:10 2020 +0900
@@ -2,3 +2,4 @@
 \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	Wed Jan 29 19:44:21 2020 +0900
+++ b/paper/master_paper.tex	Thu Jan 30 20:15:10 2020 +0900
@@ -97,6 +97,7 @@
  \input{memory_manage.tex}
 \input{GearsOS.tex}
 \input{Xv6.tex}
+\input{cbc_interface.tex}
 \input{Paging.tex}
 
 
--- a/paper/master_paper.toc	Wed Jan 29 19:44:21 2020 +0900
+++ b/paper/master_paper.toc	Thu Jan 30 20:15:10 2020 +0900
@@ -6,10 +6,12 @@
 \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}Xv6 のインターフェース化}{10}%
-\contentsline {section}{\numberline {4.3}Paging}{10}%
-\contentsline {section}{\numberline {4.4}Gears OS での Paging}{10}%
-\contentsline {section}{\numberline {4.5}Paging の書き換え}{11}%
-\contentsline {chapter}{付録}{11}%
+\contentsline {chapter}{\numberline {第4章}CbC インターフェース}{10}%
+\contentsline {section}{\numberline {4.1}インターフェースの定義}{10}%
+\contentsline {section}{\numberline {4.2}インターフェースの実装}{11}%
+\contentsline {chapter}{\numberline {第5章}CbCXv6 での Paging の書き換え}{15}%
+\contentsline {section}{\numberline {5.1}Xv6 を元にした Gears OS の実装}{15}%
+\contentsline {section}{\numberline {5.2}Paging}{15}%
+\contentsline {section}{\numberline {5.3}User Space で Paging をする利点}{15}%
+\contentsline {section}{\numberline {5.4}Paging の書き換え}{16}%
+\contentsline {chapter}{付録}{16}%
--- a/thsis_paging.mm	Wed Jan 29 19:44:21 2020 +0900
+++ b/thsis_paging.mm	Thu Jan 30 20:15:10 2020 +0900
@@ -13,10 +13,6 @@
 <node CREATED="1580108797610" ID="ID_1365788482" MODIFIED="1580108810835" TEXT="Code Gear, Data Gear"/>
 <node CREATED="1580107798502" ID="ID_1870725834" MODIFIED="1580107827464" TEXT="Meta &#x306e;&#x8aac;&#x660e;&#x3068;&#x9077;&#x79fb;&#x56f3;"/>
 <node CREATED="1580107483687" ID="ID_1285374455" MODIFIED="1580107511777" TEXT="Context"/>
-<node CREATED="1580107513101" ID="ID_1602648466" MODIFIED="1580107516575" TEXT="Interface">
-<node CREATED="1580196101945" ID="ID_1883807216" MODIFIED="1580198386707" TEXT="1&#x3064;&#x306e;&#x7ae0;&#x306b;&#x3059;&#x308b;&#xff1f;"/>
-<node CREATED="1580206394524" ID="ID_1210911937" MODIFIED="1580206405182" TEXT="&#x307f;&#x3064;&#x304d;&#x3055;&#x3093;&#x306e;&#x6642;&#x306f;&#x5b9f;&#x88c5;&#x3055;&#x308c;&#x3066;&#x306a;&#x3044;"/>
-</node>
 <node CREATED="1580188243030" ID="ID_1781662530" MODIFIED="1580188249498" TEXT="Meta Computation"/>
 </node>
 <node CREATED="1580107585579" ID="ID_1626415670" MODIFIED="1580292597646" POSITION="right" TEXT="Xv6">
@@ -29,6 +25,9 @@
 <node CREATED="1580206122141" ID="ID_263443526" MODIFIED="1580206132135" TEXT="Console &#x63a5;&#x7d9a;&#x66f8;&#x304f;"/>
 </node>
 </node>
+<node CREATED="1580365409191" ID="ID_421799143" MODIFIED="1580365426704" POSITION="right" TEXT="CbC &#x30a4;&#x30f3;&#x30bf;&#x30fc;&#x30d5;&#x30a7;&#x30fc;&#x30b9;">
+<node CREATED="1580206394524" ID="ID_1210911937" MODIFIED="1580206405182" TEXT="&#x307f;&#x3064;&#x304d;&#x3055;&#x3093;&#x306e;&#x6642;&#x306f;&#x5b9f;&#x88c5;&#x3055;&#x308c;&#x3066;&#x306a;&#x3044;"/>
+</node>
 <node CREATED="1578979785550" ID="ID_1231580257" MODIFIED="1580292616993" POSITION="right" TEXT="CbCXv6&#x3067;&#x306e; Paging&#x306e;&#x66f8;&#x304d;&#x63db;&#x3048;">
 <node CREATED="1580207017522" ID="ID_151270407" MODIFIED="1580207022173" TEXT="&#x3053;&#x3053;&#x3092;&#x4e2d;&#x5fc3;&#x306b;&#x66f8;&#x304f;"/>
 <node CREATED="1580292626674" ID="ID_1799470435" MODIFIED="1580292634582" TEXT="Xv6&#x306e;&#x30a4;&#x30f3;&#x30bf;&#x30fc;&#x30d5;&#x30a7;&#x30fc;&#x30b9;"/>