Mercurial > hg > Papers > 2023 > nana-sigos
changeset 8:36b34f6e906a
...
| author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Mon, 17 Apr 2023 20:36:51 +0900 |
| parents | 319a58e580e4 |
| children | 379c074e3f02 |
| files | code-mangement.ind main.pdf |
| diffstat | 2 files changed, 10 insertions(+), 2 deletions(-) [+] |
line wrap: on
line diff
--- a/code-mangement.ind Mon Apr 17 18:29:04 2023 +0900 +++ b/code-mangement.ind Mon Apr 17 20:36:51 2023 +0900 @@ -1,6 +1,6 @@ -title: Gears OSの CodeGear Management --author: 仲吉菜々子 and 河野真治 +-author: 仲吉菜々子, 河野真治 --abstract: @@ -50,6 +50,15 @@ この論文では、Gears OSのcodeGearの管理方法について考察する。 +% <center><img src="fig/gears_structure.pdf" alt="Gears OS"></center> + +\begin{figure*}[htb] +\centering +\includegraphics[width=12cm]{fig/gears_structure.pdf} +\caption{Gears OS} +\label{Gears OS} +\end{figure*} + --Normal and Meta computation Gears OSの基本は、CbC (Continuation based C)\cite{cbc-github}であり、input interfaceとoutput interfaceを有限な処理で @@ -104,7 +113,6 @@ もし、codeGearの実行の正しさが証明されているなら、メモリ空間を切り替える必然性はない。 実際、Kernel 内や Realtime Monitor では切り替えない方が普通である。 -<center><img src="fig/gears_structure.pdf" alt="Gears OS"></center> --証明付きのコード