Mercurial > hg > Papers > 2020 > tobaru-master

changeset 29:dde9a84476f1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix summary
author tobaru
date Sun, 09 Feb 2020 18:42:14 +0900
parents 53302e350642
children 61c4015fed19
files .hgignore paper/master_paper.pdf paper/master_paper.synctex.gz paper/summary.tex
diffstat 4 files changed, 7 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/.hgignore	Sun Feb 09 18:20:37 2020 +0900
+++ b/.hgignore	Sun Feb 09 18:42:14 2020 +0900
@@ -12,6 +12,7 @@
 **/*.dvi 
 **/*.toc 
 **/*.cpt 
+**/*.xbb 
 +
 −*.swo
 GearsOS_Paging_Segmentation.mm
Binary file paper/master_paper.pdf has changed
Binary file paper/master_paper.synctex.gz has changed
--- a/paper/summary.tex	Sun Feb 09 18:20:37 2020 +0900
+++ b/paper/summary.tex	Sun Feb 09 18:42:14 2020 +0900
@@ -1,6 +1,10 @@
 \chapter{まとめ}
 OS 内部で CbCインターフェースを扱えるようになった。
-また、CMake を使った Linux 上で Arm のバイナリを吐けるように Cross Compile を行えるようになった。
-今後 Xv6 全体の CbC による書き換えを行なっていく。
+また、Linux 上で Arm のバイナリを吐けるように CMake を使った Cross Compile を行えるようになった。
+CbC の書き換えが完了すれば、継続の入力と出力を検査することでOS の信頼性を保証したり、インターフェースの実装の入れ替えが可能になる。
 
 
+また、Context による複数環境の入れ替えや同時実行を可能にすることで CbCXv6 において コンテナと VM を実装ができると予想される。
+
+
+