|
1
|
1 %%
|
|
|
2 %% 研究報告用スイッチ
|
|
|
3 %% [techrep]
|
|
|
4 %%
|
|
|
5 %% 欧文表記無しのスイッチ(etitle,eabstractは任意)
|
|
|
6 %% [noauthor]
|
|
|
7 %%
|
|
|
8
|
|
|
9 %\documentclass[submit,techrep]{ipsj}
|
|
|
10 \documentclass[submit,techrep,noauthor]{ipsj}
|
|
|
11
|
|
|
12 \usepackage[dvips]{graphicx}
|
|
|
13 \usepackage{latexsym}
|
|
5
|
14 \usepackage{pdfpages}
|
|
1
|
15
|
|
|
16 \def\Underline{\setbox0\hbox\bgroup\let\\\endUnderline}
|
|
|
17 \def\endUnderline{\vphantom{y}\egroup\smash{\underline{\box0}}\\}
|
|
|
18 \def\|{\verb|}
|
|
|
19 %
|
|
|
20
|
|
|
21 %\setcounter{巻数}{59}%vol59=2018
|
|
|
22 %\setcounter{号数}{10}
|
|
|
23 %\setcounter{page}{1}
|
|
|
24
|
|
|
25
|
|
|
26 \begin{document}
|
|
|
27
|
|
|
28 \title{GearsOS の Paging と Segmentation
|
|
|
29 }
|
|
|
30
|
|
|
31 \etitle{Implement Paging and Segmentation on GearsOS }
|
|
|
32
|
|
|
33 \affiliate{IPSJ}{情報処理学会\\
|
|
|
34 IPSJ, Chiyoda, Tokyo 101--0062, Japan}
|
|
|
35
|
|
|
36
|
|
|
37 \paffiliate{JU}{情報処理大学\\
|
|
|
38 Johoshori Uniersity}
|
|
|
39
|
|
|
40 \author{桃原 優}{Yu Tobaru}{IPSJ}
|
|
|
41 \author{東恩納 琢偉}{Takui Higashionna}{IPSJ}
|
|
|
42 \author{河野 真治}{Shinji Kono}{IPSJ,JU}
|
|
|
43
|
|
|
44 \begin{abstract}
|
|
3
|
45 現代のOSでは, User Space で Page Table Entry による メモリ管理を行えるOSは少ない。
|
|
1
|
46 本研究室ではメタレベルの処理を記述できる CbC と CbC を用いて実装する GearsOS の開発を行っている。
|
|
5
|
47 CbC を用いることでメモリ管理などの資源管理を行えるようになるが, 現在の GearsOS でのメモリ管理では単に Page Table Entry をコピーする Fork で実装している。さらに, 資源管理を行える CbC で軽量なハードウェアでも動かせるように Arm のバイナリを出力する Xv6 という OS を CbC で書き直して GearsOS を開発する手法も行なっている。本論文ではXv6 を参考に GearsOS にメモリ管理を行う API を考察する。
|
|
1
|
48
|
|
|
49
|
|
|
50 \end{abstract}
|
|
|
51
|
|
|
52
|
|
|
53 %
|
|
|
54 %\begin{jkeyword}
|
|
|
55 %情報処理学会論文誌ジャーナル，\LaTeX，スタイルファイル，べからず集
|
|
|
56 %\end{jkeyword}
|
|
|
57 %
|
|
|
58 %\begin{eabstract}
|
|
|
59 %This document is a guide to prepare a draft for submitting to IPSJ
|
|
|
60 %Journal, and the final camera-ready manuscript of a paper to appear in
|
|
|
61 %IPSJ Journal, using {\LaTeX} and special style files. Since this
|
|
|
62 %document itself is produced with the style files, it will help you to
|
|
|
63 %refer its source file which is distributed with the style files.
|
|
|
64 %\end{eabstract}
|
|
|
65 %
|
|
|
66 %\begin{ekeyword}
|
|
|
67 %IPSJ Journal, \LaTeX, style files, ``Dos and Dont's'' list
|
|
|
68 %\end{ekeyword}
|
|
|
69
|
|
|
70 \maketitle
|
|
|
71
|
|
3
|
72
|
|
|
73 % 書けるならなぜこれをやっているかを1章に書く
|
|
|
74
|
|
4
|
75 \section{User Space でのメモリ管理}
|
|
|
76 基本、メモリやスレッド, CPUの管理は OS が行なっている。時代とともに急速に進歩するハードウェアやソフトウェアに対して、OS も
|
|
|
77
|
|
1
|
78
|
|
|
79 %2
|
|
5
|
80
|
|
|
81 \section{Gears OS}
|
|
|
82 本研究室では並列実行のサポートと, 信頼性を保証する Gears OS の開発を行っている。
|
|
|
83 従来の OS が行うメモリ管理や並列実行などは Meta レベルで処理される。メタレベルの処理を行える CbC という言語で Gears OS を実装する事で, ノーマルレベルから 並列実行環境に合わせた記述ができるように設計や実装を行う。
|
|
|
84
|
|
|
85 \subsection{Continuation based C}
|
|
4
|
86 本研究室では、Code Gear と Data Gear という単位でプログラムを記述する CbC と CbC を用いて実装する Gears OS の研究を行っている。Code Gear は CbC における最も基本的な処理の単位である。 入力と出力を持ち、goto によって Code Gear から次の Code Gear へ遷移する事で継続的に処理を行う事によって並列処理を行うことができる。
|
|
|
87 Data Gear は Gears OS におけるデータの基本的な単位である。Input Data Gear と Output Data Gear があり, Code Gear の遷移の際に Input Data Gear を受け取り, Output Data Gear を書き出す。
|
|
3
|
88
|
|
5
|
89
|
|
|
90 \begin{figure}[ht]
|
|
|
91 \begin{center}
|
|
|
92 \includegraphics[width=80mm,bb=0 0 595 642]{../images/codesegment.pdf}
|
|
|
93 \end{center}
|
|
|
94 \caption{Code Gear 間の継続}
|
|
|
95 \label{fig:codegear}
|
|
|
96 \end{figure}
|
|
1
|
97
|
|
5
|
98
|
|
|
99 \subsection{Meta Code Gear と Meta Data Gear}
|
|
7
|
100 Gears OS ではメタ計算を Meta Code Gear, Meta Data Gear で表現する。CbC でもノーマルレベルとメタ計算を行うメタレベルの記述の2種類がある。この2つのレベルはプログラミング言語レベルでの変換として実現される。メタレベルへの変換は, Perl による変換スクリプトで実装している。
|
|
|
101 Gears OS では, Meta Code Gear は通常の Code Gear の直前, 直後に挿入され, メタ計算を実行する。 Code Gear 間の継続はノーマルレベルでは 図\ref{fig:metacodegear} の上のように見えるが, メタレベルでは Code Gear は 図\ref{fig:metacodegear} の下のように継続を行っている。
|
|
1
|
102
|
|
|
103
|
|
3
|
104 % Data Gear を Paging , Code Gear を Segmentation として
|
|
5
|
105 図\ref{fig:metacodegear} に Gears OS の構成図を示す。
|
|
3
|
106
|
|
5
|
107 \begin{figure}[ht]
|
|
|
108 \begin{center}
|
|
|
109 \includegraphics[width=80mm,bb=0 0 595 642]{../images/meta_cg_dg.pdf}
|
|
|
110 \end{center}
|
|
7
|
111 \caption{ノーマルレベルとメタレベルの継続の見え方}
|
|
5
|
112 \label{fig:metacodegear}
|
|
|
113 \end{figure}
|
|
1
|
114
|
|
|
115
|
|
|
116 %3
|
|
|
117 \section{PagingとSegmentation}
|
|
|
118
|
|
|
119
|
|
|
120 \section{Xv6}
|
|
|
121
|
|
|
122
|
|
|
123 %4
|
|
|
124 \section{PagingとSegmentationのGearsOSへの実装}
|
|
|
125 \label{config}
|
|
|
126
|
|
|
127 ファイルは次のようになる．下線部は投稿時に省略可能なもの．
|
|
|
128
|
|
|
129
|
|
|
130
|
|
|
131 %4.1
|
|
|
132 \subsection{表題・著者名等}
|
|
|
133
|
|
|
134
|
|
|
135
|
|
|
136
|
|
|
137
|
|
|
138
|
|
|
139 \begin{acknowledgment}
|
|
|
140 A4横型に対するガイドを基に，本稿を作成した．
|
|
|
141 クラスファイルの作成においては，
|
|
|
142 京都大学の中島 浩氏にさまざまなご教示を頂き，
|
|
|
143 さらにBiB\TeX 関連ファイルの利用についても快諾頂いたことを深謝する．
|
|
|
144 また，A4横型に対するガイドを作成された当時の編集委員会の担当者に深謝する．
|
|
|
145 \end{acknowledgment}
|
|
|
146
|
|
|
147
|
|
|
148
|
|
|
149 \begin{thebibliography}{10}
|
|
|
150
|
|
|
151 \bibitem{okumura}
|
|
|
152 奥村晴彦：改訂第5版\LaTeXe 美文書作成入門，
|
|
|
153 技術評論社(2010).
|
|
|
154
|
|
|
155 \bibitem{companion}
|
|
|
156 Goossens, M., Mittelbach, F. and Samarin, A.:
|
|
|
157 {\it The LaTeX Companion},
|
|
|
158 Addison Wesley, Reading, Massachusetts (1993).
|
|
|
159
|
|
|
160 \bibitem{book1}
|
|
|
161 木下是雄：
|
|
|
162 理科系の作文技術，
|
|
|
163 中公新書(1981).
|
|
|
164
|
|
|
165 \bibitem{book2}
|
|
|
166 Strunk W. J. and White E.B.:
|
|
|
167 {\it The Elements of Style, Forth Edition},
|
|
|
168 Longman (2000).
|
|
|
169
|
|
|
170 \bibitem{book3}
|
|
|
171 Blake G. and Bly R.W.:
|
|
|
172 {\it The Elements of Technical Writing},
|
|
|
173 Longman (1993).
|
|
|
174
|
|
|
175 \bibitem{book4}
|
|
|
176 Higham N.J.:
|
|
|
177 {\it Handbook of Writing for the Mathematical Sciences},
|
|
|
178 SIAM (1998).
|
|
|
179
|
|
|
180 \bibitem{webpage1}
|
|
|
181 情報処理学会論文誌ジャーナル編集委員会：
|
|
|
182 投稿者マニュアル(online)，
|
|
|
183 \urlj{http://www.ipsj.or.jp/journal /submit/manual/j\_manual.html}
|
|
|
184 (2007.04.05).
|
|
|
185
|
|
|
186 \bibitem{webpage2}
|
|
|
187 情報処理学会論文誌ジャーナル編集委員会：
|
|
|
188 べからず集(online)，
|
|
|
189 \urlj{http://www.ipsj.or.jp/journal/manual /bekarazu.html}
|
|
|
190 (2011.09.15).
|
|
|
191
|
|
|
192 \end{thebibliography}
|
|
|
193
|
|
|
194
|
|
|
195
|
|
|
196
|
|
|
197 \end{document}
|
