Mercurial > hg > Papers > 2020 > menikon-thesis
view rewrite_xv6_FileSystem_in_CbC.mm @ 12:996a70147cb0
fix
author | menikon |
---|---|
date | Tue, 11 Feb 2020 04:51:05 +0900 |
parents | 53114bdcb0c3 |
children | d393f08644e1 |
line wrap: on
line source
<map version="1.0.1"> <!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net --> <node CREATED="1580705792958" ID="ID_713715640" MODIFIED="1581324649323" TEXT="CbCによるxv6のFileSystemの書き換え"> <font NAME="SansSerif" SIZE="28"/> <node CREATED="1580705935086" ID="ID_1087880129" MODIFIED="1581241406309" POSITION="right" TEXT="xv6 の OS の信頼性保証"> <font NAME="SansSerif" SIZE="28"/> <node CREATED="1581234961780" ID="ID_1811989795" MODIFIED="1581234991209" TEXT="なにが目標"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581234993794" ID="ID_1799452367" MODIFIED="1581235010058" TEXT="そのためにどんな手法を取ったか"> <font NAME="SansSerif" SIZE="28"/> </node> </node> <node CREATED="1580706086552" HGAP="28" ID="ID_1047084563" MODIFIED="1581234914557" POSITION="right" TEXT="CbC" VSHIFT="-4"> <font NAME="SansSerif" SIZE="28"/> <node CREATED="1581234940720" ID="ID_1482299529" MODIFIED="1581235369451" TEXT="CbCの概要"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1580706574106" ID="ID_1176002208" MODIFIED="1581234935232" TEXT="CodeGear"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581234915883" ID="ID_278085488" MODIFIED="1581234936960" TEXT="DataGear"> <font NAME="SansSerif" SIZE="28"/> </node> </node> <node CREATED="1580705994831" ID="ID_147343293" MODIFIED="1580905809875" POSITION="right" TEXT="GearsOS"> <font NAME="SansSerif" SIZE="28"/> <node CREATED="1581234866017" ID="ID_1191387789" MODIFIED="1581235375582" TEXT="GearsOSの概要"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1580706095224" ID="ID_239247115" MODIFIED="1580707101276" TEXT="Context"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1580706112276" ID="ID_1776379638" MODIFIED="1580707101276" TEXT="inetrface"> <font NAME="SansSerif" SIZE="28"/> </node> </node> <node CREATED="1580706032670" ID="ID_1325652396" MODIFIED="1581324668189" POSITION="right" TEXT="xv6"> <font NAME="SansSerif" SIZE="28"/> <node CREATED="1580706157032" ID="ID_937213044" MODIFIED="1581238705555" TEXT="xv6の概要"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581361398433" ID="ID_1158487595" MODIFIED="1581361431756" TEXT="FileSystem"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1580706172440" ID="ID_1527149818" MODIFIED="1581361596230" TEXT="xv6のFileSystem"> <font NAME="SansSerif" SIZE="28"/> <node CREATED="1581361557320" ID="ID_635990116" MODIFIED="1581361587969" TEXT="構造の図はいる?"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581361597791" ID="ID_1656649225" MODIFIED="1581361616139" TEXT="どんなものか説明"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581361616930" ID="ID_477433469" MODIFIED="1581361652830" TEXT="他のOSのFileSystemとどう違うか説明"> <font NAME="SansSerif" SIZE="28"/> </node> </node> <node CREATED="1581235020303" ID="ID_1352679515" MODIFIED="1581235049686" TEXT="FilleSystem の API"> <font NAME="SansSerif" SIZE="28"/> <node CREATED="1581361661720" ID="ID_1969927711" MODIFIED="1581361712949" TEXT="FileSystemがどのように外部(プロセスとか)から呼び出されているか"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581361714163" ID="ID_1694647565" MODIFIED="1581361742440" TEXT="具体的な関数を明示"> <font NAME="SansSerif" SIZE="28"/> </node> </node> </node> <node CREATED="1580706205884" ID="ID_1557530505" MODIFIED="1580911222971" POSITION="right" TEXT="CbCによるFileSystemの書き換え"> <font NAME="SansSerif" SIZE="28"/> <node CREATED="1580706952084" ID="ID_379916374" MODIFIED="1580707101276" TEXT="書き換え方針"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1580706968810" ID="ID_1139395838" MODIFIED="1581363980199" TEXT="FileSystem の Interface の定義(fs.dg)"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581363980690" ID="ID_346293316" MODIFIED="1581364042483" TEXT="FileSystem の Interface の実装(fs_impl.CbC)"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581235077097" ID="ID_1378839864" MODIFIED="1581235087525" TEXT="CbC による FileSystem の書き換え"> <font NAME="SansSerif" SIZE="28"/> </node> </node> <node CREATED="1580705969920" ID="ID_1514151978" MODIFIED="1581234828368" POSITION="right" TEXT="まとめと今後の課題"> <font NAME="SansSerif" SIZE="28"/> <node CREATED="1581364130692" ID="ID_1235141154" MODIFIED="1581364204665" TEXT="よかったこと(達成点)"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581364148905" ID="ID_282788407" MODIFIED="1581364177965" TEXT="悪かったこと(改善点)"> <font NAME="SansSerif" SIZE="28"/> </node> </node> <node CREATED="1580706250190" HGAP="19" ID="ID_336597035" MODIFIED="1580707101275" POSITION="right" TEXT="謝辞" VSHIFT="11"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581241424863" ID="ID_1724671622" MODIFIED="1581241434846" POSITION="right" TEXT="付録"> <font NAME="SansSerif" SIZE="28"/> <node CREATED="1581241436741" ID="ID_435368533" MODIFIED="1581361836563" TEXT="fs.dg(本文でそのまま載せるのでいらないかも)"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581241466862" ID="ID_85272786" MODIFIED="1581361851700" TEXT="fs_impl.h(本文でそのまま載せるのでいらないかも)"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581241484955" ID="ID_1869918016" MODIFIED="1581361826437" TEXT="fs_impl.cbc(本文で一部抜粋するので付録で全部載せる)"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581241495800" ID="ID_176435327" MODIFIED="1581361877172" TEXT="fs_impl_private.cbc(本文で一部抜粋するので付録で全部載せる)"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581241515626" ID="ID_46008560" MODIFIED="1581361896073" TEXT="OS研究会発表論文(発表実績として載せる?)"> <font NAME="SansSerif" SIZE="28"/> </node> </node> <node CREATED="1581234315887" ID="ID_1923614270" MODIFIED="1581234372053" POSITION="left" TEXT="はじめに"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581234325682" ID="ID_103957531" MODIFIED="1581234368532" POSITION="left" TEXT="CbC"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581234336651" ID="ID_116482611" MODIFIED="1581234365765" POSITION="left" TEXT="GearsOS"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581234376944" ID="ID_1014321899" MODIFIED="1581234383291" POSITION="left" TEXT="xv6"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581234390218" ID="ID_471124581" MODIFIED="1581234796364" POSITION="left" TEXT="CbCによる書き換え"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581234803857" ID="ID_1041192473" MODIFIED="1581234815118" POSITION="left" TEXT="まとめ"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581234840620" ID="ID_877694674" MODIFIED="1581234847643" POSITION="left" TEXT="参考文献"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581234830793" ID="ID_1768806132" MODIFIED="1581234838322" POSITION="left" TEXT="謝辞"> <font NAME="SansSerif" SIZE="28"/> </node> <node CREATED="1581234850778" ID="ID_1003939940" MODIFIED="1581234856525" POSITION="left" TEXT="付録"> <font NAME="SansSerif" SIZE="28"/> </node> </node> </map>