# HG changeset patch
# User Shinji KONO <kono@ie.u-ryukyu.ac.jp>
# Date 1683889147 -32400
# Node ID 379c074e3f0262a29dc9775ae2a27469b5bf58f4
# Parent  36b34f6e906a8439b5c086a4cafde95c00a8bb1d
...

diff -r 36b34f6e906a -r 379c074e3f02 Gears OSの CodeGear Management.mm
--- a/Gears OSの CodeGear Management.mm	Mon Apr 17 20:36:51 2023 +0900
+++ b/Gears OSの CodeGear Management.mm	Fri May 12 19:59:07 2023 +0900
@@ -1,14 +1,14 @@
-<map version="freeplane 1.9.13">
+<map version="freeplane 1.11.1">
 <!--To view this file, download free mind mapping software Freeplane from https://www.freeplane.org -->
 <node TEXT="Gears OS CodeGear Management" FOLDED="false" ID="ID_452131666" CREATED="1610381621610" MODIFIED="1681372159278" STYLE="oval">
 <font SIZE="14"/>
 <hook NAME="MapStyle" zoom="0.71058136">
-    <properties edgeColorConfiguration="#808080ff,#ff0000ff,#0000ffff,#00ff00ff,#ff00ffff,#00ffffff,#7c0000ff,#00007cff,#007c00ff,#7c007cff,#007c7cff,#7c7c00ff" associatedTemplateLocation="template:/standard-1.6-noEdgeColor.mm" fit_to_viewport="false" show_icon_for_attributes="true" show_note_icons="true"/>
+    <properties edgeColorConfiguration="#808080ff,#ff0000ff,#0000ffff,#00ff00ff,#ff00ffff,#00ffffff,#7c0000ff,#00007cff,#007c00ff,#7c007cff,#007c7cff,#7c7c00ff" show_icon_for_attributes="true" associatedTemplateLocation="template:/standard-1.6-noEdgeColor.mm" show_note_icons="true" fit_to_viewport="false"/>
 
 <map_styles>
 <stylenode LOCALIZED_TEXT="styles.root_node" STYLE="oval" UNIFORM_SHAPE="true" VGAP_QUANTITY="24 pt">
 <font SIZE="24"/>
-<stylenode LOCALIZED_TEXT="styles.predefined" POSITION="right" STYLE="bubble">
+<stylenode LOCALIZED_TEXT="styles.predefined" POSITION="bottom_or_right" STYLE="bubble">
 <stylenode LOCALIZED_TEXT="default" ID="ID_207122690" COLOR="#000000" STYLE="fork">
 <arrowlink SHAPE="CUBIC_CURVE" COLOR="#000000" WIDTH="2" TRANSPARENCY="200" DASH="" FONT_SIZE="9" FONT_FAMILY="SansSerif" DESTINATION="ID_207122690" STARTARROW="NONE" ENDARROW="DEFAULT"/>
 <font NAME="SansSerif" SIZE="10" BOLD="false" ITALIC="false"/>
@@ -26,7 +26,7 @@
 </stylenode>
 <stylenode LOCALIZED_TEXT="defaultstyle.selection" BACKGROUND_COLOR="#afd3f7" BORDER_COLOR_LIKE_EDGE="false" BORDER_COLOR="#afd3f7"/>
 </stylenode>
-<stylenode LOCALIZED_TEXT="styles.user-defined" POSITION="right" STYLE="bubble">
+<stylenode LOCALIZED_TEXT="styles.user-defined" POSITION="bottom_or_right" STYLE="bubble">
 <stylenode LOCALIZED_TEXT="styles.topic" COLOR="#18898b" STYLE="fork">
 <font NAME="Liberation Sans" SIZE="10" BOLD="true"/>
 </stylenode>
@@ -41,7 +41,7 @@
 <arrowlink COLOR="#003399" TRANSPARENCY="255" DESTINATION="ID_3752836"/>
 </stylenode>
 </stylenode>
-<stylenode LOCALIZED_TEXT="styles.AutomaticLayout" POSITION="right" STYLE="bubble">
+<stylenode LOCALIZED_TEXT="styles.AutomaticLayout" POSITION="bottom_or_right" STYLE="bubble">
 <stylenode LOCALIZED_TEXT="AutomaticLayout.level.root" COLOR="#000000" STYLE="oval" SHAPE_HORIZONTAL_MARGIN="10 pt" SHAPE_VERTICAL_MARGIN="10 pt">
 <font SIZE="18"/>
 </stylenode>
@@ -68,18 +68,18 @@
 </stylenode>
 </map_styles>
 </hook>
-<node TEXT="GearsOS" POSITION="right" ID="ID_1209471000" CREATED="1681371443097" MODIFIED="1681371459412">
+<node TEXT="GearsOS" POSITION="bottom_or_right" ID="ID_1209471000" CREATED="1681371443097" MODIFIED="1681371459412">
 <node TEXT="continuation based C" ID="ID_1048704547" CREATED="1681371459889" MODIFIED="1681371493050"/>
 <node TEXT="GearsAgda" ID="ID_1591439330" CREATED="1681371493725" MODIFIED="1681371498945"/>
 </node>
-<node TEXT="Meta computation" POSITION="right" ID="ID_1092574687" CREATED="1681371512626" MODIFIED="1681371517677"/>
-<node TEXT="codeGear" POSITION="right" ID="ID_698104319" CREATED="1681371525690" MODIFIED="1681371528897">
+<node TEXT="Meta computation" POSITION="bottom_or_right" ID="ID_1092574687" CREATED="1681371512626" MODIFIED="1681371517677"/>
+<node TEXT="codeGear" POSITION="bottom_or_right" ID="ID_698104319" CREATED="1681371525690" MODIFIED="1681371528897">
 <node TEXT="input Gear" ID="ID_1106396784" CREATED="1681371529197" MODIFIED="1681371554839"/>
 <node TEXT="output Gear" ID="ID_1003326184" CREATED="1681371555323" MODIFIED="1681371560594"/>
 <node TEXT="meta Data Gear" ID="ID_1337852641" CREATED="1681371561174" MODIFIED="1681371568186"/>
 <node TEXT="code reference" ID="ID_1930437714" CREATED="1681371570218" MODIFIED="1681371575259"/>
 </node>
-<node TEXT="context" POSITION="right" ID="ID_30397377" CREATED="1681371587316" MODIFIED="1681371591793">
+<node TEXT="context" POSITION="bottom_or_right" ID="ID_30397377" CREATED="1681371587316" MODIFIED="1681371591793">
 <node TEXT="all data gear" ID="ID_187337123" CREATED="1681371592222" MODIFIED="1681371597419"/>
 <node TEXT="codeGear number" ID="ID_396075987" CREATED="1681371602699" MODIFIED="1681371612783"/>
 <node TEXT="single thread" ID="ID_430560795" CREATED="1681371613181" MODIFIED="1681371621074"/>
@@ -87,7 +87,7 @@
 <node TEXT="shared dataGear" ID="ID_1079812736" CREATED="1681371631460" MODIFIED="1681371637147"/>
 <node TEXT="atomic operation" ID="ID_487790087" CREATED="1681371639503" MODIFIED="1681371643719"/>
 </node>
-<node TEXT="code table" POSITION="right" ID="ID_347214631" CREATED="1681371647055" MODIFIED="1681371652155">
+<node TEXT="code table" POSITION="bottom_or_right" ID="ID_347214631" CREATED="1681371647055" MODIFIED="1681371652155">
 <node TEXT="compiled code" ID="ID_1737134172" CREATED="1681371688632" MODIFIED="1681371702166"/>
 <node TEXT="proofs in meta" ID="ID_684490562" CREATED="1681371702598" MODIFIED="1681371707559"/>
 <node TEXT="input and output" ID="ID_1363414467" CREATED="1681371710129" MODIFIED="1681371715683"/>
@@ -96,7 +96,7 @@
 </node>
 <node TEXT="common in entire system" ID="ID_426293677" CREATED="1681371740626" MODIFIED="1681371760745"/>
 </node>
-<node TEXT="contents" POSITION="right" ID="ID_989875089" CREATED="1681471011911" MODIFIED="1681471016579">
+<node TEXT="contents" POSITION="bottom_or_right" ID="ID_989875089" CREATED="1681471011911" MODIFIED="1681471016579">
 <node TEXT="Gears OS" ID="ID_1278063385" CREATED="1681471017088" MODIFIED="1681471022469"/>
 <node TEXT="Normal and Meta computation" ID="ID_881246923" CREATED="1681471023261" MODIFIED="1681471045403"/>
 <node TEXT="scheduling" ID="ID_36667967" CREATED="1681471046057" MODIFIED="1681471050843"/>
@@ -111,7 +111,71 @@
 </node>
 <node TEXT="conculusion" ID="ID_44556806" CREATED="1681471530163" MODIFIED="1681471535066"/>
 </node>
-<node TEXT="Operating system should control&#xa; all the code" POSITION="left" ID="ID_472841100" CREATED="1681371764698" MODIFIED="1681371800835">
+<node TEXT="presentation" POSITION="bottom_or_right" ID="ID_726521658" CREATED="1683888479389" MODIFIED="1683888485311">
+<node TEXT="Gears OS" ID="ID_508101164" CREATED="1683888486252" MODIFIED="1683888494590"/>
+<node TEXT="three version" ID="ID_1847543970" CREATED="1683888495386" MODIFIED="1683888500193">
+<node TEXT="CbC" ID="ID_837518930" CREATED="1683888500472" MODIFIED="1683888509293"/>
+<node TEXT="x.v6" ID="ID_667149360" CREATED="1683888509970" MODIFIED="1683888512822"/>
+<node TEXT="GearsAgda" ID="ID_43871752" CREATED="1683888513621" MODIFIED="1683888518365"/>
+</node>
+<node TEXT="CbC version" ID="ID_1886174563" CREATED="1683888529421" MODIFIED="1683888546808">
+<node TEXT="monothilic" ID="ID_299017968" CREATED="1683888546817" MODIFIED="1683888552257"/>
+<node TEXT="linked a.out" ID="ID_1979549372" CREATED="1683888552826" MODIFIED="1683888560880"/>
+<node TEXT="no code load" ID="ID_106886656" CREATED="1683888561641" MODIFIED="1683888566193"/>
+<node TEXT="convertion from .cbc to .c" ID="ID_1407388112" CREATED="1683888804989" MODIFIED="1683888817477">
+<node TEXT="interface description (normal level)" ID="ID_983317579" CREATED="1683888817893" MODIFIED="1683888831438"/>
+<node TEXT="meta level" ID="ID_1939783233" CREATED="1683888833196" MODIFIED="1683888836176">
+<node TEXT="stub" ID="ID_1270890499" CREATED="1683888836566" MODIFIED="1683888839068"/>
+<node TEXT="goto meta" ID="ID_1957106949" CREATED="1683888839508" MODIFIED="1683888843379"/>
+<node TEXT="dataGear in context" ID="ID_345242423" CREATED="1683888843742" MODIFIED="1683888851916"/>
+<node TEXT="context reference" ID="ID_359995855" CREATED="1683888852415" MODIFIED="1683888858190"/>
+</node>
+</node>
+</node>
+<node TEXT="Gears execution" ID="ID_489888995" CREATED="1683888574552" MODIFIED="1683888585831">
+<node TEXT="context" ID="ID_1729328591" CREATED="1683888586279" MODIFIED="1683888590294">
+<node TEXT="process" ID="ID_312741395" CREATED="1683888736477" MODIFIED="1683888741974">
+<node TEXT="contains all codeGear" ID="ID_1259855371" CREATED="1683888743330" MODIFIED="1683888748637"/>
+<node TEXT="contains all dataGear" ID="ID_1218332156" CREATED="1683888749174" MODIFIED="1683888758538"/>
+</node>
+<node TEXT="code table" ID="ID_1883764396" CREATED="1683888590306" MODIFIED="1683888599156"/>
+<node TEXT="stub" ID="ID_1605660321" CREATED="1683888599905" MODIFIED="1683888602479">
+<node TEXT="get parameter from the context" ID="ID_110896471" CREATED="1683888602813" MODIFIED="1683888620736"/>
+</node>
+<node TEXT="goto meta" POSITION="bottom_or_right" ID="ID_1750948286" CREATED="1683888622275" MODIFIED="1683888629116">
+<node TEXT="store paramater into the conttext" ID="ID_224794908" CREATED="1683888629126" MODIFIED="1683888645412"/>
+</node>
+</node>
+</node>
+<node TEXT="codeGear management" ID="ID_1911934422" CREATED="1683888656687" MODIFIED="1683888669831">
+<node TEXT="all codeGear should be" ID="ID_1628874659" CREATED="1683888670037" MODIFIED="1683888680206"/>
+<node TEXT="managed by Gears OS" ID="ID_1533029174" CREATED="1683888681776" MODIFIED="1683888698291"/>
+<node TEXT="codeGear Pool" ID="ID_449201312" CREATED="1683888698772" MODIFIED="1683888706414"/>
+<node TEXT="link to code table in the context" ID="ID_663121102" CREATED="1683888706996" MODIFIED="1683888722747"/>
+</node>
+<node TEXT="dynamic loading" ID="ID_1692756916" CREATED="1683888762180" MODIFIED="1683888768701">
+<node TEXT="from file system" ID="ID_188740704" CREATED="1683888769165" MODIFIED="1683888779384"/>
+</node>
+<node TEXT="kernel shoule be simple" ID="ID_203536346" CREATED="1683888781720" MODIFIED="1683888789596"/>
+<node TEXT="linkage is also simple" ID="ID_50450744" CREATED="1683888790089" MODIFIED="1683888798778"/>
+<node TEXT="validity of codeGear linkage" ID="ID_1982176385" CREATED="1683888871049" MODIFIED="1683888884780">
+<node TEXT="simple model checking" ID="ID_329164784" CREATED="1683888885081" MODIFIED="1683888893394"/>
+<node TEXT="version management" ID="ID_779391680" CREATED="1683888899002" MODIFIED="1683888905151"/>
+<node TEXT="verfiied linkage" ID="ID_1378707709" CREATED="1683888905484" MODIFIED="1683888917386">
+<node TEXT="proof" ID="ID_1595785692" CREATED="1683888934584" MODIFIED="1683888937867"/>
+<node TEXT="model check" ID="ID_945092090" CREATED="1683888938342" MODIFIED="1683888943217"/>
+</node>
+<node TEXT="need no memory protection" ID="ID_411803359" CREATED="1683888965451" MODIFIED="1683888975945"/>
+</node>
+<node TEXT="x.v6 implemention" ID="ID_1030098568" CREATED="1683889006669" MODIFIED="1683889015421">
+<node TEXT="Rp3 / Rp4" ID="ID_170365458" CREATED="1683889016156" MODIFIED="1683889028985"/>
+<node TEXT="UEFI" ID="ID_515822594" CREATED="1683889031903" MODIFIED="1683889037919"/>
+<node TEXT="64bit ARM" ID="ID_1554981910" CREATED="1683889038279" MODIFIED="1683889044110">
+<node TEXT="aarch" ID="ID_1384802239" CREATED="1683889044271" MODIFIED="1683889047639"/>
+</node>
+</node>
+</node>
+<node TEXT="Operating system should control&#xa; all the code" POSITION="top_or_left" ID="ID_472841100" CREATED="1681371764698" MODIFIED="1681371800835">
 <node TEXT="code is in db" ID="ID_1555760462" CREATED="1681371803618" MODIFIED="1681371848202"/>
 <node TEXT="managed" ID="ID_1344558154" CREATED="1681371849579" MODIFIED="1681371852479"/>
 <node TEXT="proved" ID="ID_306373986" CREATED="1681371852962" MODIFIED="1681371871978">
@@ -122,36 +186,36 @@
 </node>
 <node TEXT="not a user space problem" ID="ID_545777939" CREATED="1681371810811" MODIFIED="1681371823038"/>
 </node>
-<node TEXT="code implementation" POSITION="left" ID="ID_1209228255" CREATED="1681371913200" MODIFIED="1681371920102">
+<node TEXT="code implementation" POSITION="top_or_left" ID="ID_1209228255" CREATED="1681371913200" MODIFIED="1681371920102">
 <node TEXT="as .o" ID="ID_1713085072" CREATED="1681371920567" MODIFIED="1681371923856"/>
 <node TEXT="as .llvm" ID="ID_851495595" CREATED="1681371926115" MODIFIED="1681371952852">
 <node TEXT="qemu code" ID="ID_125902484" CREATED="1681371954478" MODIFIED="1681371971284"/>
 </node>
 <node TEXT="combimed optimization" ID="ID_265813727" CREATED="1681371980111" MODIFIED="1681371988257"/>
 </node>
-<node TEXT="debug support" POSITION="left" ID="ID_964369983" CREATED="1681371990473" MODIFIED="1681371995356">
+<node TEXT="debug support" POSITION="top_or_left" ID="ID_964369983" CREATED="1681371990473" MODIFIED="1681371995356">
 <node TEXT="codeGear boundary" ID="ID_1897368522" CREATED="1681371995742" MODIFIED="1681372006823"/>
 <node TEXT="no stack trace" ID="ID_1062171457" CREATED="1681372008067" MODIFIED="1681372012852"/>
 <node TEXT="write history" ID="ID_1635013180" CREATED="1681372034005" MODIFIED="1681372041936">
 <node TEXT="as monad" ID="ID_1580182271" CREATED="1681372042304" MODIFIED="1681372045758"/>
 </node>
 </node>
-<node TEXT="load and link" POSITION="left" ID="ID_1936441891" CREATED="1681372053398" MODIFIED="1681372058087">
+<node TEXT="load and link" POSITION="top_or_left" ID="ID_1936441891" CREATED="1681372053398" MODIFIED="1681372058087">
 <node TEXT="into code DB" ID="ID_756472874" CREATED="1681372058930" MODIFIED="1681372064364"/>
 <node TEXT="context / stab generation" ID="ID_273905541" CREATED="1681372065318" MODIFIED="1681372076956"/>
 <node TEXT="regident and swapouted" ID="ID_71055113" CREATED="1681372087137" MODIFIED="1681372095940"/>
 </node>
-<node TEXT="correctness" POSITION="left" ID="ID_308732862" CREATED="1681372098909" MODIFIED="1681372104641">
+<node TEXT="correctness" POSITION="top_or_left" ID="ID_308732862" CREATED="1681372098909" MODIFIED="1681372104641">
 <node TEXT="runtime check" ID="ID_571420353" CREATED="1681372105208" MODIFIED="1681372117325"/>
 <node TEXT="model checking" ID="ID_891256701" CREATED="1681372121434" MODIFIED="1681372125542">
 <node TEXT="an easy way" ID="ID_1007196071" CREATED="1681372125881" MODIFIED="1681372129597"/>
 </node>
 </node>
-<node TEXT="boot" POSITION="left" ID="ID_371702828" CREATED="1681630341647" MODIFIED="1681630397279">
+<node TEXT="boot" POSITION="top_or_left" ID="ID_371702828" CREATED="1681630341647" MODIFIED="1681630397279">
 <node TEXT="UEFI" ID="ID_1724663256" CREATED="1681630352487" MODIFIED="1681630412608"/>
 <node TEXT="initial CodeGear" ID="ID_852283702" CREATED="1681630373660" MODIFIED="1681630458670"/>
 </node>
-<node TEXT="CodeGear ABI" POSITION="left" ID="ID_1488322939" CREATED="1681630468813" MODIFIED="1681630485756">
+<node TEXT="CodeGear ABI" POSITION="top_or_left" ID="ID_1488322939" CREATED="1681630468813" MODIFIED="1681630485756">
 <node TEXT="interface" ID="ID_714068426" CREATED="1681630489146" MODIFIED="1681630500693"/>
 </node>
 </node>
diff -r 36b34f6e906a -r 379c074e3f02 presen.ind
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/presen.ind	Fri May 12 19:59:07 2023 +0900
@@ -0,0 +1,4 @@
+-title: Gears OSの CodeGear Management
+
+-author:  仲吉菜々子, 河野真治  
+