Mercurial > hg > Papers > 2020 > tobaru-master
comparison thsis_paging.mm @ 3:db8087751680
add chapter GearsOS
author | tobaru |
---|---|
date | Mon, 27 Jan 2020 23:08:31 +0900 |
parents | |
children | a4a1a68d8811 |
comparison
equal
deleted
inserted
replaced
2:e3f6ba6126b5 | 3:db8087751680 |
---|---|
1 <map version="1.0.1"> | |
2 <!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net --> | |
3 <node CREATED="1580099260489" ID="ID_1614065797" MODIFIED="1580099491048" TEXT="Gears OS におけるメモリ管理"> | |
4 <node CREATED="1578979732696" ID="ID_457372106" MODIFIED="1580108656805" POSITION="right" TEXT="OS のメモリ管理"/> | |
5 <node CREATED="1578979768846" ID="ID_738890313" MODIFIED="1578979773340" POSITION="right" TEXT="Gears OS について"> | |
6 <node CREATED="1580108790756" ID="ID_1503553728" MODIFIED="1580108794363" TEXT="CbC"> | |
7 <node CREATED="1580112360401" ID="ID_614891804" MODIFIED="1580112368387" TEXT="記述例"/> | |
8 <node CREATED="1580112406576" ID="ID_174277035" MODIFIED="1580112413544" TEXT="Code Gear の継続遷移図"/> | |
9 </node> | |
10 <node CREATED="1580108797610" ID="ID_1365788482" MODIFIED="1580108810835" TEXT="Code Gear, Data Gear"/> | |
11 <node CREATED="1580107798502" ID="ID_1870725834" MODIFIED="1580107827464" TEXT="Meta の説明と遷移図"/> | |
12 <node CREATED="1580107483687" ID="ID_1285374455" MODIFIED="1580107511777" TEXT="Context"/> | |
13 <node CREATED="1580107513101" ID="ID_1602648466" MODIFIED="1580107516575" TEXT="Interface"/> | |
14 </node> | |
15 <node CREATED="1580107585579" ID="ID_1626415670" MODIFIED="1580107610152" POSITION="right" TEXT="Xv6 から GearsOS への書き換え"> | |
16 <node CREATED="1580107648436" ID="ID_422947198" MODIFIED="1580108849848" TEXT="Raspberry Pi は必要ない??"/> | |
17 <node CREATED="1580107690139" ID="ID_749171993" MODIFIED="1580107697425" TEXT="System call"/> | |
18 </node> | |
19 <node CREATED="1578979785550" ID="ID_1231580257" MODIFIED="1580108902791" POSITION="right" TEXT="Gearsでの Paging"> | |
20 <node CREATED="1580108224152" ID="ID_1755476855" MODIFIED="1580108236817" TEXT="pagingとは"> | |
21 <node CREATED="1580125177715" ID="ID_1450928772" MODIFIED="1580125182834" TEXT="図"/> | |
22 </node> | |
23 <node CREATED="1580108238553" ID="ID_824612440" MODIFIED="1580108266050" TEXT="User Space でPagingをする利点"/> | |
24 <node CREATED="1580108966482" ID="ID_509498115" MODIFIED="1580109016862" TEXT="設計 ??"/> | |
25 </node> | |
26 <node CREATED="1578979824759" ID="ID_158250428" MODIFIED="1580108938645" POSITION="right" TEXT="Paging の実装"/> | |
27 <node CREATED="1578979830870" ID="ID_251771531" MODIFIED="1580108616451" POSITION="right" TEXT="Paging の評価"/> | |
28 <node CREATED="1578979834269" ID="ID_614747960" MODIFIED="1580108630937" POSITION="right" TEXT="結論"/> | |
29 </node> | |
30 </map> |