Mercurial > hg > Papers > 2022 > matac-sigos
annotate slide/slide.html @ 21:e093b422c4e6 default tip
end
| author | matac42 <matac@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Sun, 29 May 2022 00:50:05 +0900 |
| parents | 8e39e3bf98d7 |
| children |
| rev | line source |
|---|---|
| 15 | 1 |
| 2 | |
| 3 | |
| 4 | |
| 5 | |
| 6 <!DOCTYPE html> | |
| 7 <html> | |
| 8 <head> | |
| 9 <meta http-equiv="content-type" content="text/html;charset=utf-8"> | |
| 16 | 10 <title>GearsOSにおける<br />inodeを用いたファイルシステムの構築</title> |
| 15 | 11 |
| 12 <meta name="generator" content="Slide Show (S9) v4.1.0 on Ruby 3.0.3 (2021-11-24) [arm64-darwin21]"> | |
| 16 | 13 <meta name="author" content="Matayoshi Yuto, Shinji Kono" > |
| 15 | 14 |
| 15 <!-- style sheet links --> | |
| 16 <link rel="stylesheet" href="s6/themes/projection.css" media="screen,projection"> | |
| 17 <link rel="stylesheet" href="s6/themes/screen.css" media="screen"> | |
| 18 <link rel="stylesheet" href="s6/themes/print.css" media="print"> | |
| 19 <link rel="stylesheet" href="s6/themes/blank.css" media="screen,projection"> | |
| 20 | |
| 21 <!-- JS --> | |
| 22 <script src="s6/js/jquery-1.11.3.min.js"></script> | |
| 23 <script src="s6/js/jquery.slideshow.js"></script> | |
| 24 <script src="s6/js/jquery.slideshow.counter.js"></script> | |
| 25 <script src="s6/js/jquery.slideshow.controls.js"></script> | |
| 26 <script src="s6/js/jquery.slideshow.footer.js"></script> | |
| 27 <script src="s6/js/jquery.slideshow.autoplay.js"></script> | |
| 28 | |
| 29 <!-- prettify --> | |
| 30 <link rel="stylesheet" href="scripts/prettify.css"> | |
| 31 <script src="scripts/prettify.js"></script> | |
| 32 | |
| 33 <script> | |
| 34 $(document).ready( function() { | |
| 35 Slideshow.init(); | |
| 36 | |
| 37 $('code').each(function(_, el) { | |
| 38 if (!el.classList.contains('noprettyprint')) { | |
| 39 el.classList.add('prettyprint'); | |
| 40 } | |
| 41 }); | |
| 42 prettyPrint(); | |
| 43 } ); | |
| 44 | |
| 45 </script> | |
| 46 | |
| 47 <!-- Better Browser Banner for Microsoft Internet Explorer (IE) --> | |
| 48 <!--[if IE]> | |
| 49 <script src="s6/js/jquery.microsoft.js"></script> | |
| 50 <![endif]--> | |
| 51 | |
| 52 | |
| 53 | |
| 54 </head> | |
| 55 <body> | |
| 56 | |
| 57 <div class="layout"> | |
| 58 <div id="header"></div> | |
| 59 <div id="footer"> | |
| 60 <div align="right"> | |
| 61 <img src="s6/images/logo.svg" width="200px"> | |
| 62 </div> | |
| 63 </div> | |
| 64 </div> | |
| 65 | |
| 66 <div class="presentation"> | |
| 67 | |
| 68 <div class='slide cover'> | |
| 69 <table width="90%" height="90%" border="0" align="center"> | |
| 70 <tr> | |
| 71 <td> | |
| 72 <div align="center"> | |
| 16 | 73 <h1><font color="#808db5">GearsOSにおける<br />inodeを用いたファイルシステムの構築</font></h1> |
| 15 | 74 </div> |
| 75 </td> | |
| 76 </tr> | |
| 77 <tr> | |
| 78 <td> | |
| 79 <div align="left"> | |
| 16 | 80 Matayoshi Yuto, Shinji Kono |
| 81 琉球大学 | |
| 15 | 82 <hr style="color:#ffcc00;background-color:#ffcc00;text-align:left;border:none;width:100%;height:0.2em;"> |
| 83 </div> | |
| 84 </td> | |
| 85 </tr> | |
| 86 </table> | |
| 87 </div> | |
| 88 | |
| 89 | |
| 90 | |
| 91 <div class='slide'> | |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
92 <!-- ここでは大きな目的を述べる --> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
93 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
94 |
| 15 | 95 <!-- _S9SLIDE_ --> |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
96 <h2 id="研究目的">研究目的</h2> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
97 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
98 <ul> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
99 <li>アプリケーションの信頼性を保証するために，アプリケーションが動作するOSの信頼性を高める必要がある</li> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
100 <li>信頼性確保の方法として定理証明やモデル検査がある</li> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
101 <li>当研究室では，信頼性の保証を目的としたGearsOSを開発している</li> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
102 <li>GearsOSで未実装の機能であるファイルシステムの実装を目指す</li> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
103 </ul> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
104 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
105 <!-- ここでは今回やったことの概要を述べる --> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
106 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
107 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
108 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
109 </div> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
110 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
111 <div class='slide'> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
112 <!-- _S9SLIDE_ --> |
| 15 | 113 <h2 id="inodeを用いたgearsdirectoryの実装">inodeを用いたgearsDirectoryの実装</h2> |
| 114 | |
| 115 <ul> | |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
116 <li><span style="color: red; ">今回はUnixのinode仕組みを参考にディレクトリシステムを実装した</span></li> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
117 <li>GearsOSのディレクトリシステムであるgearsDirectoryについて |
| 15 | 118 <ul> |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
119 <li>基礎概念 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
120 <ul> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
121 <li>CbC</li> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
122 <li>GearsOS</li> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
123 </ul> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
124 </li> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
125 <li>実装</li> |
| 15 | 126 </ul> |
| 127 </li> | |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
128 </ul> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
129 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
130 <!-- ここから基礎概念 --> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
131 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
132 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
133 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
134 </div> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
135 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
136 <div class='slide'> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
137 <!-- _S9SLIDE_ --> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
138 <h2 id="信頼性の保証を目的としたos">信頼性の保証を目的としたOS</h2> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
139 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
140 <ul> |
| 19 | 141 <li>GearsAgda(Agda) |
| 142 <ul> | |
| 143 <li>形式手法による信頼性の向上</li> | |
| 144 </ul> | |
| 145 </li> | |
| 146 <li>GearsOS(CbC) <- 今回ディレクトリシステムの実装を行なった | |
| 147 <ul> | |
| 148 <li>ユーザーレベルタスクマネージメント</li> | |
| 149 </ul> | |
| 150 </li> | |
| 151 <li>x.v6(CbC) | |
| 152 <ul> | |
| 153 <li>スタンドアロンOS</li> | |
| 154 </ul> | |
| 155 </li> | |
| 15 | 156 </ul> |
| 157 | |
| 158 | |
| 159 | |
| 160 </div> | |
| 161 | |
| 162 <div class='slide'> | |
| 163 <!-- _S9SLIDE_ --> | |
| 164 <h2 id="continuation-based-c">Continuation based C</h2> | |
| 165 | |
| 166 <ul> | |
| 167 <li>Cの下位言語である</li> | |
| 168 <li>プログラムはCodeGearと呼ばれる処理の単位で記述する</li> | |
| 169 <li>データはDataGearと呼ばれる単位を用いる</li> | |
| 170 <li>ノーマルレベルとメタレベルの処理を切り分けることが容易に可能である</li> | |
| 171 <li>function callの継続の代わりにgotoによる継続を用いる | |
| 172 <ul> | |
| 173 <li>呼び出し履歴を持たないことから軽量継続と呼ぶ</li> | |
| 174 </ul> | |
| 175 </li> | |
| 176 </ul> | |
| 177 | |
| 178 <p> </p> | |
| 179 | |
| 180 <div style="text-align: center;"> | |
| 19 | 181 <img src="figs/cgdg.svg" width="1000" /> |
| 15 | 182 </div> |
| 183 | |
| 184 | |
| 185 | |
| 186 </div> | |
| 187 | |
| 188 <div class='slide'> | |
| 189 <!-- _S9SLIDE_ --> | |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
190 <h2 id="gearsoscbc">GearsOS(CbC)</h2> |
| 15 | 191 |
| 192 <ul> | |
| 193 <li>当研究室にて，信頼性と拡張性の両立を目的として開発している</li> | |
| 194 <li>CbCで記述されている</li> | |
| 195 <li>Gearという概念があり，実行の単位をCodeGear，データの単位をDataGearと呼ぶ</li> | |
| 196 <li>ノーマルレベルとメタレベルの処理を切り分けることが容易にできる</li> | |
| 197 </ul> | |
| 198 | |
| 199 | |
| 200 | |
| 201 </div> | |
| 202 | |
| 203 <div class='slide'> | |
| 204 <!-- _S9SLIDE_ --> | |
| 19 | 205 <h2 id="gearsoscbc-1">GearsOS(CbC)</h2> |
| 15 | 206 |
| 207 <h3 id="codegearとmetacodegearの関係">CodeGearとmetaCodeGearの関係</h3> | |
| 208 | |
| 209 <ul> | |
| 210 <li>ノーマルレベルとメタレベルの存在 | |
| 211 <ul> | |
| 212 <li>CodeGearがDataGearを受け取り，処理後にDataGearを次のCodeGearに渡すという動作をしているように見える</li> | |
| 213 <li>実際にはデータの整合性の確認や資源管理などのメタレベルの処理が存在し，それらの計算はMetaCodeGearで行われる</li> | |
| 214 </ul> | |
| 215 </li> | |
| 216 </ul> | |
| 217 | |
| 218 <div style="text-align: center;"> | |
| 219 <img src="../paper/figs/meta_cg_dg.svg" width="1200" /> | |
| 220 </div> | |
| 221 | |
| 222 | |
| 223 | |
| 224 </div> | |
| 225 | |
| 226 <div class='slide'> | |
| 227 <!-- _S9SLIDE_ --> | |
| 19 | 228 <h2 id="gearsoscbc-2">GearsOS(CbC)</h2> |
| 15 | 229 |
| 230 <h3 id="context">Context</h3> | |
| 231 | |
| 232 <ul> | |
| 233 <li>GearsOS上全てのCodeGear，DataGearの参照を持つ</li> | |
| 234 <li>OS上の処理の実行単位</li> | |
| 235 <li>Gearの概念ではMetaDataGearに当たる</li> | |
| 236 <li>ノーマルレベルから直接参照されず，必ずMetaDataGearとしてMetaCodeGearから参照される</li> | |
| 237 </ul> | |
| 238 | |
| 239 <!-- | |
| 240 ### Contextの種類 | |
| 241 | |
| 242 - OS全体のContextを管理するKernel Context | |
| 243 - ユーザープログラムごとに存在するUser Context | |
| 244 - CPUやGPUごとに存在するCPU Context | |
| 245 | |
| 246 --> | |
| 247 | |
| 248 | |
| 249 | |
| 250 </div> | |
| 251 | |
| 252 <div class='slide'> | |
| 253 <!-- _S9SLIDE_ --> | |
| 19 | 254 <h2 id="gearsoscbc-3">GearsOS(CbC)</h2> |
| 15 | 255 |
| 256 <h3 id="codegear遷移の流れ">CodeGear遷移の流れ</h3> | |
| 257 | |
| 258 <div style="text-align: center;"> | |
| 259 <img src="figs/context.svg" width="1200" /> | |
| 260 </div> | |
| 261 | |
| 262 | |
| 263 | |
| 264 </div> | |
| 265 | |
| 266 <div class='slide'> | |
| 267 <!-- _S9SLIDE_ --> | |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
268 <h2 id="unixのinode">Unixのinode</h2> |
| 15 | 269 |
| 270 <ul> | |
| 20 | 271 <li>UnixのファイルシステムはメタデータにBTreeで構成されたinodeを用いる</li> |
| 15 | 272 </ul> |
| 273 | |
| 274 <h3 id="inode">inode</h3> | |
| 275 | |
| 276 <ul> | |
| 277 <li>ファイルの属性情報が書かれたデータである</li> | |
| 278 <li>識別番号としてinode numberを持つ</li> | |
| 279 <li>inodeはファイルシステム始動時にinode領域をディスク上に確保する</li> | |
| 280 </ul> | |
| 281 | |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
282 <!-- ここまで基礎概念 --> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
283 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
284 <!-- 実装したものの説明 --> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
285 |
| 15 | 286 |
| 287 | |
| 288 </div> | |
| 289 | |
| 290 <div class='slide'> | |
| 291 <!-- _S9SLIDE_ --> | |
| 292 <h2 id="gearsfilesystemにおけるdirectoryの構成">GearsFileSystemにおけるdirectoryの構成</h2> | |
| 293 | |
| 294 <ul> | |
| 295 <li>2つのRedBlackTreeを用いる | |
| 296 <ol> | |
| 297 <li>filenameとinode numberのペアを持つindex tree</li> | |
| 298 <li>inode numberとinodeのポインタのペアを持つinode tree</li> | |
| 299 </ol> | |
| 300 </li> | |
| 301 <li>カレントディレクトリはgearsDirectory->currentDirectoryに保存される</li> | |
| 302 </ul> | |
| 303 | |
| 304 <div style="text-align: center;"> | |
| 305 <img src="figs/inode.svg" width="1000" /> | |
| 306 </div> | |
| 307 | |
| 308 | |
| 309 | |
| 310 </div> | |
| 311 | |
| 312 <div class='slide'> | |
| 313 <!-- _S9SLIDE_ --> | |
| 314 <h2 id="unix-like-な-interface">Unix Like な interface</h2> | |
| 315 | |
| 316 <h3 id="mkdir">mkdir</h3> | |
| 317 | |
| 318 <pre><code class="language-c">__code mkdir(struct GearsDirectoryImpl* gearsDirectory, struct Integer* name, __code next(...)) { | |
| 319 struct FTree* newDirectory = createFileSystemTree(context, gearsDirectory->currentDirectory); | |
| 320 Node* inode = new Node(); | |
| 321 inode->key = gearsDirectory->INodeNumber; | |
| 322 inode->value = newDirectory; | |
| 323 struct FTree* cDirectory = new FTree(); | |
| 324 cDirectory = gearsDirectory->iNodeTree; | |
| 325 goto cDirectory->put(inode, mkdir2); | |
| 326 } | |
| 327 | |
| 328 __code mkdir2(struct GearsDirectoryImpl* gearsDirectory, struct Integer* name, __code next(...)) { | |
| 329 Node* dir = new Node(); | |
| 330 dir->key = name->value; | |
| 331 Integer* iNum = new Integer(); | |
| 332 iNum->value = gearsDirectory->INodeNumber; | |
| 333 dir->value = iNum; | |
| 334 gearsDirectory->INodeNumber = gearsDirectory->INodeNumber + 1; | |
| 335 struct FTree* cDirectory = new FTree(); | |
| 336 cDirectory = gearsDirectory->currentDirectory; | |
| 337 goto cDirectory->put(dir, next(...)); | |
| 338 } | |
| 339 </code></pre> | |
| 340 | |
| 341 | |
| 342 | |
| 343 </div> | |
| 344 | |
| 345 <div class='slide'> | |
| 346 <!-- _S9SLIDE_ --> | |
| 347 <h2 id="unix-like-な-interface-1">Unix Like な interface</h2> | |
| 348 | |
| 349 <h3 id="mkdir-1">mkdir</h3> | |
| 350 | |
| 351 <div style="text-align: center;"> | |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
352 <img src="figs/mkdir.svg" width="1100" /> |
| 15 | 353 </div> |
| 354 | |
| 355 <!-- | |
| 356 ## Unix Like な interface | |
| 357 | |
| 358 ### ls | |
| 359 | |
| 360 ```c | |
| 361 __code ls(struct GearsDirectoryImpl* gearsDirectory, struct Integer* name, __code next(...)) { | |
| 362 Node* dir = new Node(); | |
| 363 dir->key = name->value; | |
| 364 struct FTree* cDirectory = new FTree(); | |
| 365 cDirectory = gearsDirectory->currentDirectory; | |
| 366 goto cDirectory->get(dir, ls2); | |
| 367 } | |
| 368 | |
| 369 __code ls2(struct GearsDirectoryImpl* gearsDirectory, struct Node* node, __code next(...)) { | |
| 370 printf("%d\n", node->key); | |
| 371 goto next(...); | |
| 372 } | |
| 373 ``` | |
| 374 | |
| 375 ## Unix Like な interface | |
| 376 | |
| 377 ### ls | |
| 378 | |
| 379 <div style="text-align: center;"> | |
| 380 <img src="figs/ls.svg" width="1000"> | |
| 381 </div> | |
| 382 | |
| 383 ## Unix Like な interface | |
| 384 | |
| 385 ### cd | |
| 386 | |
| 387 ```c | |
| 388 __code cd2Child(struct GearsDirectoryImpl* gearsDirectory, struct Integer* name, __code next(...)) { | |
| 389 struct FTree* cDirectory = new FTree(); | |
| 390 cDirectory = gearsDirectory->currentDirectory; | |
| 391 struct Node* node = new Node(); | |
| 392 node->key = name->value; | |
| 393 goto cDirectory->get(node, cd2Child2); | |
| 394 } | |
| 395 | |
| 396 __code cd2Child2(struct GearsDirectoryImpl* gearsDirectory, struct Node* node, __code next(...)) { | |
| 397 struct FTree* iNodeTree = new FTree(); | |
| 398 iNodeTree = gearsDirectory->iNodeTree; | |
| 399 goto iNodeTree->get(node->value, cd2Child3); | |
| 400 } | |
| 401 | |
| 402 __code cd2Child3(struct GearsDirectoryImpl* gearsDirectory, struct Node* node, __code next(...)) { | |
| 403 gearsDirectory->currentDirectory = node->value; | |
| 404 goto next(...); | |
| 405 } | |
| 406 ``` | |
| 407 | |
| 408 ## Unix Like な interface | |
| 409 | |
| 410 ### cd | |
| 411 | |
| 412 <div style="text-align: center;"> | |
| 413 <img src="figs/cd.svg" width="1200"> | |
| 414 </div> | |
| 415 | |
| 416 --> | |
| 417 | |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
418 <!-- 課題 --> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
419 |
| 15 | 420 |
| 421 | |
| 422 </div> | |
| 423 | |
| 424 <div class='slide'> | |
| 425 <!-- _S9SLIDE_ --> | |
| 426 <h2 id="gearsdirectoryにおける非破壊編集ツリー">GearsDirectoryにおける非破壊編集ツリー</h2> | |
| 427 | |
| 428 <ul> | |
| 429 <li>GearsOSにおける永続データは非破壊的な編集を行う木構造を用いて保存する</li> | |
| 430 <li>ディレクトリシステム自体にバックアップの機能を搭載することが可能と考える</li> | |
| 431 </ul> | |
| 432 | |
| 433 <div style="text-align: center;"> | |
| 434 <img src="../paper/figs/nondestructive_tree_modification.png" width="1200" /> | |
| 435 </div> | |
| 436 | |
| 437 | |
| 438 | |
| 439 </div> | |
| 440 | |
| 441 <div class='slide'> | |
| 442 <!-- _S9SLIDE_ --> | |
| 16 | 443 <h2 id="gearsosにおけるメモリマネージメントシステム">GearsOSにおけるメモリマネージメントシステム</h2> |
| 444 | |
| 445 <ul> | |
| 446 <li>メモリとディスク上のデータ構造が等しくなる形で実装したい | |
| 447 <ul> | |
| 448 <li>単純なコピーでメモリとディスク間のデータやり取りを行うことができる</li> | |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
449 <li>メモリとディスクのデータアクセスの形式を統一することができる</li> |
| 16 | 450 </ul> |
| 451 </li> | |
| 452 </ul> | |
| 453 | |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
454 <div style="text-align: center;"> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
455 <img src="figs/disk-memory.svg" width="900" /> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
456 </div> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
457 |
| 16 | 458 |
| 459 | |
| 460 </div> | |
| 461 | |
| 462 <div class='slide'> | |
| 463 <!-- _S9SLIDE_ --> | |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
464 <h2 id="gearsosにおけるメモリマネージメントシステム-1">GearsOSにおけるメモリマネージメントシステム</h2> |
| 15 | 465 |
| 466 <ul> | |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
467 <li>メモリとディスク上のデータ構造が等しくなる形で実装したい |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
468 <ul> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
469 <li>単純なコピーでメモリとディスク間のデータやり取りを行うことができる</li> |
| 20 | 470 <li>メモリとディスクのアドレスの差はoffsetを変換することによって吸収する</li> |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
471 <li>メモリとディスクのデータアクセスの形式を統一することができる</li> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
472 </ul> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
473 </li> |
| 15 | 474 </ul> |
| 20 | 475 |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
476 <div style="text-align: center;"> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
477 <img src="figs/data-access.svg" width="900" /> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
478 </div> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
479 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
480 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
481 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
482 </div> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
483 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
484 <div class='slide'> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
485 <!-- _S9SLIDE_ --> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
486 <h2 id="gearsosにおけるメモリマネージメントシステム-2">GearsOSにおけるメモリマネージメントシステム</h2> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
487 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
488 <ul> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
489 <li>ガベージコレクションはCopying GCを用いる</li> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
490 </ul> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
491 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
492 <div style="text-align: center;"> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
493 <img src="figs/copying-gc.svg" width="900" /> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
494 </div> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
495 |
| 15 | 496 |
| 497 | |
| 498 </div> | |
| 499 | |
| 500 <div class='slide'> | |
| 501 <!-- _S9SLIDE_ --> | |
| 502 <h2 id="gearsfilesystemの今後">GearsFileSystemの今後</h2> | |
| 503 | |
| 504 <h3 id="gearsdirectory-path">gearsDirectory path</h3> | |
| 505 | |
| 506 <ul> | |
| 507 <li>gearsDirectoryにはpathの機能が実装されていない</li> | |
| 508 <li>full path指定のlsなどが実装できない状態である</li> | |
| 509 <li>FileSystemTreeを拡張し，ノードをたどりpathを生成する様な機能を実装する必要がある</li> | |
| 510 </ul> | |
| 511 | |
| 512 <h3 id="gearsdirectory-filename">gearsDirectory filename</h3> | |
| 513 | |
| 514 <ul> | |
| 515 <li>現状はgearsDirectoryのfilenameはIntegerの構造で管理されている</li> | |
| 516 <li>filenameは一般的に文字列型であるためIntegerから文字列型に変更する必要がある</li> | |
| 517 </ul> | |
| 518 | |
| 519 <!-- | |
| 520 ## GearsFileSystemの今後 | |
| 521 | |
| 522 ### gearsDirectory on disk | |
| 523 | |
| 524 - 現状はgearsDirectoryはon memoryで実装されている | |
| 525 - inodeをdisk上に構築する必要がある | |
| 526 | |
| 527 ### GearsShell | |
| 528 | |
| 529 - 現状のGearsOSはユーザーの入力を受け付けることが出来ず，言語フレームワークの様に機能している | |
| 530 - gearsFileSystemなどGearsOSの各機能と接続し，今回作成したcdやlsの様なコマンドを受け付けるGearsShellを作成したい | |
| 531 | |
| 532 ### ファイルのバックアップ | |
| 533 | |
| 534 - レコードのDataをファイルの差分履歴として保持し，日時情報を付け加えることでVersion Control Systemのような機能を持たせることが可能であると考えられる | |
| 535 --> | |
| 536 | |
| 19 | 537 |
| 538 | |
| 539 </div> | |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
540 |
| 19 | 541 <div class='slide'> |
| 542 <!-- _S9SLIDE_ --> | |
| 543 <h2 id="gearsdirectoryまとめ">gearsDirectoryまとめ</h2> | |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
544 |
| 19 | 545 <ul> |
| 20 | 546 <li>gearsDirectoryの実装について説明した |
| 547 <ul> | |
| 548 <li>RedBlackTreeを用いてinodeの仕組みを構築し，ls，cd，mkdirを作成するなどして，Unix Likeに構築することが出来た</li> | |
| 549 <li>RedBlackTreeのシンプルなinterfaceにより比較的容易に実装を行うことができた</li> | |
| 550 <li>形式手法とファイルシステムの機能の両面で信頼性の向上が図れると考える</li> | |
| 551 </ul> | |
| 552 </li> | |
| 19 | 553 <li>メモリマネージメントシステムについて考察した</li> |
| 554 </ul> | |
| 555 | |
| 556 <!-- | |
|
18
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
557 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
558 メモ書き |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
559 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
560 - [x] GearsAgdaの話入れて，どこに対する実装なのかはっきりさせる |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
561 - [x]「CbCでinodeファイルシステムを実装した」ことをはっきりさせる |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
562 - [ ] 実装部分と未実装部分をはっきりさせる |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
563 - [x] x.v6の話いらない？ -> 研究会で知らない人多分いないからいらない |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
564 - [ ] 仮想記憶との関係 これは図にできそう |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
565 - [x] まず大きな目的を述べる．その後，今回やったことを述べる |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
566 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
567 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
568 この流れがいいだろう |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
569 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
570 大きな研究目的 -> 今回の研究 -> 今回の研究に関する基礎概念 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
571 -> 実装したもの -> 実装したものの至らない点 -> 今後実装するものの紹介と考察 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
572 |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
573 --> |
|
2c21391912e4
add memory management figs
matac42 <matac@cr.ie.u-ryukyu.ac.jp>
parents:
17
diff
changeset
|
574 |
| 15 | 575 </div> |
| 576 | |
| 577 | |
| 578 </div><!-- presentation --> | |
| 579 </body> | |
| 580 </html> |