Mercurial > hg > Papers > 2019 > mitsuki-master
view mindmap.mm @ 13:73f42f02f419
update
author | mir3636 |
---|---|
date | Sat, 26 Jan 2019 16:16:36 +0900 |
parents | e8e6cd60b9b3 |
children | c72a09342aae |
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="1548148132447" ID="ID_675463996" MODIFIED="1548148296965" TEXT="継続を中心とした言語 Gears OS "> <node CREATED="1548148340376" ID="ID_178117645" MODIFIED="1548148342567" POSITION="right" TEXT="OS の拡張性と信頼性の両立"> <node CREATED="1548148862511" ID="ID_1718534025" MODIFIED="1548148868026" TEXT="モデル検査"/> <node CREATED="1548148889450" ID="ID_1533316026" MODIFIED="1548148897356" TEXT="ノーマルレベルとメタレベル"/> </node> <node CREATED="1548148373157" ID="ID_1788429805" MODIFIED="1548148505239" POSITION="right" TEXT="Gears におけるメタ計算"> <node CREATED="1548148399058" ID="ID_1400405695" MODIFIED="1548148400739" TEXT="Continuation based C"> <node CREATED="1548148946394" ID="ID_894925375" MODIFIED="1548148955475" TEXT="軽量継続"/> <node CREATED="1548148959342" ID="ID_1325269629" MODIFIED="1548148971925" TEXT="LLVMとGCC"/> </node> <node CREATED="1548148407844" ID="ID_1692311296" MODIFIED="1548148409101" TEXT="Code Gear "/> <node CREATED="1548148415658" ID="ID_853478672" MODIFIED="1548148417013" TEXT="Data Gear"/> <node CREATED="1548148424608" ID="ID_704536440" MODIFIED="1548148425847" TEXT="Meta Code Gear、Meta Data Gear"> <node CREATED="1548148799631" ID="ID_415509042" MODIFIED="1548148817238" TEXT="Code の自動生成もこっちで書いたほうがいいかも?"/> </node> </node> <node CREATED="1548148561107" ID="ID_64989911" MODIFIED="1548148562500" POSITION="right" TEXT="Interface"/> <node CREATED="1548148507487" ID="ID_411737141" MODIFIED="1548148509192" POSITION="right" TEXT="Gears OS の構成"> <node CREATED="1548148513234" ID="ID_1709470781" MODIFIED="1548148521802" TEXT="Context"/> <node CREATED="1548148525599" ID="ID_1398170145" MODIFIED="1548148533748" TEXT="TaskManager"/> <node CREATED="1548148539827" ID="ID_191621067" MODIFIED="1548148540876" TEXT="TaskQueue"/> <node CREATED="1548148546353" ID="ID_1800166056" MODIFIED="1548148547679" TEXT="Workers"/> </node> <node CREATED="1548148575453" ID="ID_1492357762" MODIFIED="1548148576687" POSITION="right" TEXT="コードの自動生成"> <node CREATED="1548148581455" ID="ID_1609724677" MODIFIED="1548148593015" TEXT="stub Code Gear の生成"/> <node CREATED="1548148599118" MODIFIED="1548148599118" TEXT="Context の生成"/> </node> <node CREATED="1548148619125" ID="ID_1489559909" MODIFIED="1548148623576" POSITION="right" TEXT="Gears OSの並列処理?"/> <node CREATED="1548148627901" ID="ID_1160861787" MODIFIED="1548148638482" POSITION="right" TEXT="xv6 の CbC への書き換え"> <node CREATED="1548148645276" ID="ID_1309677491" MODIFIED="1548148646628" TEXT="xv6-rpi"/> <node CREATED="1548148652887" ID="ID_427195004" MODIFIED="1548148653908" TEXT="xv6-rpi の CbC 対応"/> <node CREATED="1548148660032" ID="ID_1036569649" MODIFIED="1548148661150" TEXT="システムコールの書き換え"> <node CREATED="1548148671398" ID="ID_1733143845" MODIFIED="1548148681319" TEXT="システムコールのInterface?"/> </node> </node> <node CREATED="1548148689201" ID="ID_1458028381" MODIFIED="1548148701854" POSITION="right" TEXT="結論?"/> </node> </map>