Mercurial > hg > Papers > 2022 > matac-thesis

comparison slide/slide.pdf.html @ 40:18265abe9d74

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author matac42 <matac@cr.ie.u-ryukyu.ac.jp>
date Mon, 31 Jan 2022 02:52:18 +0900
parents 13120531542b
children ac9b7aa9bb06
comparison
equal deleted inserted replaced
39:c573ea94a469 40:18265abe9d74
73 73
74 74
75 <div class='slide'> 75 <div class='slide'>
76 76
77 <!-- _S9SLIDE_ --> 77 <!-- _S9SLIDE_ -->
78 <h2 id="gearsosにおけるfilesystemの設計">GearsOSにおけるFileSystemの設計</h2> 78 <h2 id="inodeを用いたgearsdirectoryの実装">inodeを用いたgearsDirectoryの実装</h2>
79 79
80 <ul> 80 <ul>
81 <li>アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある</li> 81 <li>アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある
82 <ul>
83 <li>信頼性確保の方法として定理証明やモデル検査がある</li>
84 </ul>
85 </li>
82 <li>当研究室では，信頼性の保証を目的としたGearsOSを開発している</li> 86 <li>当研究室では，信頼性の保証を目的としたGearsOSを開発している</li>
83 <li>GearsOSで未実装の機能であるファイルシステムの実装を行う</li> 87 <li>GearsOSで未実装の機能であるファイルシステムの実装を目指す</li>
88 <li>今回はディレクトリシステムを実装した</li>
84 <li>Unix likeな実装</li> 89 <li>Unix likeな実装</li>
85 </ul>
86
87
88
89 </div>
90
91 <div class='slide'>
92 <!-- _S9SLIDE_ -->
93 <h2 id="inodeを用いたgearsdirectoryの実装">inodeを用いたgearsDirectoryの実装</h2>
94
95 <ul>
96 <li>今回はディレクトリシステムを実装した</li>
97 <li>GearsOSへUnixのFile systemの仕組みを取り入れるアプローチをとる</li> 90 <li>GearsOSへUnixのFile systemの仕組みを取り入れるアプローチをとる</li>
98 <li>Unixのinodeの仕組みを取り入れる</li> 91 <li>Unixのinodeの仕組みを取り入れる</li>
99 <li>GearsOSのディレクトリシステムであるgearsDirectoryについて説明する</li> 92 <li>GearsOSのディレクトリシステムであるgearsDirectoryについて説明する</li>
100 </ul> 93 </ul>
101 94