|
128
|
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="1474197634182" ID="ID_1179238297" MODIFIED="1474197647879" TEXT="GearsProgramming">
|
|
|
4 <node CREATED="1474197648409" ID="ID_47965276" MODIFIED="1474197703546" POSITION="right" TEXT="Aim">
|
|
|
5 <node CREATED="1474197704094" ID="ID_142691674" MODIFIED="1474197711701" TEXT="Low Level"/>
|
|
|
6 <node CREATED="1474197712163" ID="ID_829698610" MODIFIED="1474197717141" TEXT="System Description"/>
|
|
|
7 <node CREATED="1474197718094" ID="ID_1348601349" MODIFIED="1474197723668" TEXT="Specification">
|
|
|
8 <node CREATED="1474197724195" ID="ID_1585379923" MODIFIED="1474197726892" TEXT="Executable"/>
|
|
|
9 </node>
|
|
|
10 <node CREATED="1474197728470" ID="ID_1420640086" MODIFIED="1474197736836" TEXT="Reliability"/>
|
|
|
11 <node CREATED="1474197744164" ID="ID_923556279" MODIFIED="1474197748746" TEXT="Resusability"/>
|
|
|
12 <node CREATED="1474197754510" ID="ID_845392329" MODIFIED="1474197764018" TEXT="Sharabiliity">
|
|
|
13 <node CREATED="1474197764019" ID="ID_13244712" MODIFIED="1474197775128" TEXT="compressed code"/>
|
|
|
14 </node>
|
|
|
15 <node CREATED="1474197776958" ID="ID_888410684" MODIFIED="1474197781169" TEXT="Meta Programming">
|
|
|
16 <node CREATED="1474197783057" ID="ID_798676678" MODIFIED="1474197785552" TEXT="Concurrency">
|
|
|
17 <node CREATED="1474197829239" ID="ID_321601829" MODIFIED="1474197832797" TEXT="GPGPU"/>
|
|
|
18 <node CREATED="1474197833549" ID="ID_1355018406" MODIFIED="1474197836357" TEXT="Many Core"/>
|
|
|
19 </node>
|
|
|
20 <node CREATED="1474197837846" ID="ID_398225374" MODIFIED="1474197841709" TEXT="real-time"/>
|
|
|
21 <node CREATED="1474197845817" ID="ID_653836902" MODIFIED="1474197850768" TEXT="power control">
|
|
|
22 <node CREATED="1474197857407" ID="ID_1356386994" MODIFIED="1474197860046" TEXT="Gating"/>
|
|
|
23 </node>
|
|
|
24 <node CREATED="1474197787022" ID="ID_676510162" MODIFIED="1474197794312" TEXT="Openess"/>
|
|
|
25 <node CREATED="1474197801445" ID="ID_1717330620" MODIFIED="1474197810167" TEXT="Model Checking"/>
|
|
|
26 <node CREATED="1474197820271" ID="ID_1649483207" MODIFIED="1474197824689" TEXT="Multi level"/>
|
|
|
27 </node>
|
|
|
28 </node>
|
|
|
29 <node CREATED="1474197869871" ID="ID_1207255364" MODIFIED="1474197875726" POSITION="right" TEXT="Syntax">
|
|
|
30 <node CREATED="1474197876535" ID="ID_1956219957" MODIFIED="1474197882518" TEXT="Continuation based C">
|
|
|
31 <node CREATED="1474197882519" ID="ID_1872250400" MODIFIED="1474197888117" TEXT="Code Gears"/>
|
|
|
32 </node>
|
|
|
33 <node CREATED="1474197893191" ID="ID_1406675689" MODIFIED="1474197899447" TEXT="Normal C">
|
|
|
34 <node CREATED="1474197899448" ID="ID_1715610883" MODIFIED="1474197906029" TEXT="Function call"/>
|
|
|
35 </node>
|
|
|
36 <node CREATED="1474197909291" ID="ID_1091472346" MODIFIED="1474197924325" TEXT="Data Gears">
|
|
|
37 <node CREATED="1474197925526" ID="ID_1219681812" MODIFIED="1474197944244" TEXT="__data ">
|
|
|
38 <node CREATED="1474198185798" ID="ID_621686816" MODIFIED="1474198194405" TEXT="union of all __data"/>
|
|
|
39 </node>
|
|
|
40 <node CREATED="1475222208725" ID="ID_103598500" MODIFIED="1475222218374" TEXT="new reallocated data">
|
|
|
41 <node CREATED="1475222219650" ID="ID_70340214" MODIFIED="1475222255052" TEXT="__code code1 (struct Node* +newnode)"/>
|
|
|
42 </node>
|
|
|
43 </node>
|
|
|
44 <node CREATED="1474197974286" ID="ID_662409265" MODIFIED="1474198073009" TEXT="Glue">
|
|
|
45 <node CREATED="1474198073010" ID="ID_1757613329" MODIFIED="1474198094236" TEXT="syntax betwen __code and __code"/>
|
|
|
46 <node CREATED="1474198095095" ID="ID_281252827" MODIFIED="1474198105489" TEXT="__code and __data"/>
|
|
|
47 </node>
|
|
|
48 <node CREATED="1474198131976" ID="ID_1267124086" MODIFIED="1474198137254" TEXT="Gear Box"/>
|
|
|
49 </node>
|
|
|
50 <node CREATED="1474198122709" ID="ID_744036408" MODIFIED="1474198346148" POSITION="right" TEXT="Implementation">
|
|
|
51 <node CREATED="1474198209252" ID="ID_1893547455" MODIFIED="1474198237037" TEXT="Lightweight thread">
|
|
|
52 <node CREATED="1474198264005" ID="ID_965179556" MODIFIED="1474198267228" TEXT="context"/>
|
|
|
53 </node>
|
|
|
54 <node CREATED="1474198249436" ID="ID_1253885787" MODIFIED="1474198253419" TEXT="Process">
|
|
|
55 <node CREATED="1474198272936" ID="ID_931390957" MODIFIED="1474198278267" TEXT="memory space"/>
|
|
|
56 </node>
|
|
|
57 <node CREATED="1474198240739" ID="ID_1410320897" MODIFIED="1474198247331" TEXT="Communication">
|
|
|
58 <node CREATED="1474198281223" ID="ID_1363307501" MODIFIED="1474198287347" TEXT="Synchronized Queue"/>
|
|
|
59 </node>
|
|
|
60 <node CREATED="1474198290090" ID="ID_1532250757" MODIFIED="1474198292905" TEXT="Database">
|
|
|
61 <node CREATED="1474198292905" ID="ID_1407581044" MODIFIED="1474198299955" TEXT="Tree"/>
|
|
|
62 </node>
|
|
|
63 <node CREATED="1474198301438" ID="ID_1966031794" MODIFIED="1474198305844" TEXT="Memory Management">
|
|
|
64 <node CREATED="1474198305845" ID="ID_316448348" MODIFIED="1474198307930" TEXT="new"/>
|
|
|
65 </node>
|
|
|
66 </node>
|
|
|
67 <node CREATED="1474198367056" ID="ID_866729066" MODIFIED="1474198375419" POSITION="left" TEXT="Technique">
|
|
|
68 <node CREATED="1474198376074" ID="ID_370932013" MODIFIED="1474198382807" TEXT="normal function call">
|
|
|
69 <node CREATED="1474198387452" ID="ID_376192865" MODIFIED="1474198393396" TEXT="with meta computation">
|
|
|
70 <node CREATED="1474198396890" ID="ID_1749082632" MODIFIED="1474198399547" TEXT="goto meta"/>
|
|
|
71 </node>
|
|
|
72 <node CREATED="1474198455800" ID="ID_349859250" MODIFIED="1474198461982" TEXT="using stack"/>
|
|
|
73 <node CREATED="1474198469608" ID="ID_601591441" MODIFIED="1474198481919" TEXT="one level stack on data gears"/>
|
|
|
74 <node CREATED="1474198486772" ID="ID_1465200140" MODIFIED="1474198499012" TEXT="context continuation">
|
|
|
75 <node CREATED="1474198500212" ID="ID_1360776710" MODIFIED="1474198505906" TEXT="thread terminator"/>
|
|
|
76 </node>
|
|
|
77 <node CREATED="1474199009015" ID="ID_172813638" MODIFIED="1474199027286" TEXT="pointer operation is not allowwed in object level"/>
|
|
|
78 </node>
|
|
|
79 <node CREATED="1474198412158" ID="ID_1400824129" MODIFIED="1474198415636" TEXT="memory allocation">
|
|
|
80 <node CREATED="1474198416060" ID="ID_1719487559" MODIFIED="1474198422118" TEXT="as a meta computation">
|
|
|
81 <node CREATED="1474198565267" ID="ID_1115374966" MODIFIED="1474198575734" TEXT="not in __code"/>
|
|
|
82 </node>
|
|
|
83 <node CREATED="1474198596040" ID="ID_1088700962" MODIFIED="1474198602311" TEXT="life time control">
|
|
|
84 <node CREATED="1474198424894" ID="ID_676251796" MODIFIED="1474198430177" TEXT="allocate"/>
|
|
|
85 <node CREATED="1474198431834" ID="ID_756555299" MODIFIED="1474198433977" TEXT="retain"/>
|
|
|
86 <node CREATED="1474198434592" ID="ID_1238321945" MODIFIED="1474198437608" TEXT="release"/>
|
|
|
87 </node>
|
|
|
88 <node CREATED="1474198620293" ID="ID_729415034" MODIFIED="1474198623064" TEXT="release">
|
|
|
89 <node CREATED="1474198624010" ID="ID_362410868" MODIFIED="1474198631817" TEXT="at the end of thread"/>
|
|
|
90 </node>
|
|
|
91 <node CREATED="1474198636298" ID="ID_224271521" MODIFIED="1474198643792" TEXT="persistent data">
|
|
|
92 <node CREATED="1474198644158" ID="ID_1029213760" MODIFIED="1474198649480" TEXT="copy"/>
|
|
|
93 <node CREATED="1474198656834" ID="ID_2335859" MODIFIED="1474198660352" TEXT="marking"/>
|
|
|
94 </node>
|
|
|
95 <node CREATED="1475222429498" ID="ID_996754987" MODIFIED="1475222434637" TEXT="allocation">
|
|
|
96 <node CREATED="1475222438030" ID="ID_1725059176" MODIFIED="1475222463661" TEXT="linear"/>
|
|
|
97 <node CREATED="1475222440174" ID="ID_509239417" MODIFIED="1475222449481" TEXT="fixed size free list"/>
|
|
|
98 </node>
|
|
|
99 </node>
|
|
|
100 <node CREATED="1474198526000" ID="ID_725539372" MODIFIED="1474198529302" TEXT="system call">
|
|
|
101 <node CREATED="1474198534590" ID="ID_1783733449" MODIFIED="1474198541963" TEXT="as a meta computation"/>
|
|
|
102 <node CREATED="1474198548234" ID="ID_151081133" MODIFIED="1474198551889" TEXT="continuation"/>
|
|
|
103 </node>
|
|
|
104 <node CREATED="1474198873319" ID="ID_572818507" MODIFIED="1474198897011" TEXT="context local variable">
|
|
|
105 <node CREATED="1474198910329" ID="ID_1049695430" MODIFIED="1474198929104" TEXT="no stack base tree walk"/>
|
|
|
106 <node CREATED="1474198931425" ID="ID_483868789" MODIFIED="1474198945873" TEXT="not destory original tree"/>
|
|
|
107 <node CREATED="1474198966619" ID="ID_1607279117" MODIFIED="1474198979692" TEXT="modify only newly created data gears"/>
|
|
|
108 </node>
|
|
|
109 </node>
|
|
|
110 <node CREATED="1474198691359" ID="ID_1150677739" MODIFIED="1474198695904" POSITION="left" TEXT="red black tree">
|
|
|
111 <node CREATED="1474198696376" ID="ID_1548561439" MODIFIED="1474198706929" TEXT="remove push_stack/pop_stack">
|
|
|
112 <node CREATED="1474198708513" ID="ID_1466655383" MODIFIED="1474198716640" TEXT="at meta computation"/>
|
|
|
113 </node>
|
|
|
114 <node CREATED="1474198719260" ID="ID_802423799" MODIFIED="1474198729727" TEXT="bring parent and grand parent"/>
|
|
|
115 <node CREATED="1474198741329" ID="ID_1605372662" MODIFIED="1474198744775" TEXT="verification">
|
|
|
116 <node CREATED="1474198745128" ID="ID_1290247827" MODIFIED="1474198753263" TEXT="unbounded modecl checking"/>
|
|
|
117 <node CREATED="1474198754215" ID="ID_936929898" MODIFIED="1474198759071" TEXT="proof">
|
|
|
118 <node CREATED="1474198767338" ID="ID_91607209" MODIFIED="1474198774329" TEXT="as a type system of Gears"/>
|
|
|
119 <node CREATED="1474198859317" ID="ID_652735276" MODIFIED="1474198862870" TEXT="using Agda"/>
|
|
|
120 <node CREATED="1474198776282" ID="ID_1815424645" MODIFIED="1474198779391" TEXT="dependent type"/>
|
|
|
121 <node CREATED="1474198784176" ID="ID_1701729941" MODIFIED="1474198787212" TEXT="first class type"/>
|
|
|
122 </node>
|
|
|
123 </node>
|
|
|
124 </node>
|
|
|
125 <node CREATED="1475221311884" ID="ID_1604114386" MODIFIED="1475221322601" POSITION="left" TEXT="Data Gears">
|
|
|
126 <node CREATED="1475221325273" ID="ID_654063909" MODIFIED="1475221328320" TEXT="type filed"/>
|
|
|
127 <node CREATED="1475221341209" ID="ID_1960993895" MODIFIED="1475221345560" TEXT="abstract data type">
|
|
|
128 <node CREATED="1475221350184" ID="ID_1030098093" MODIFIED="1475221361000" TEXT="next"/>
|
|
|
129 <node CREATED="1475221453297" ID="ID_1140689489" MODIFIED="1475221458656" TEXT="goto stack_push"/>
|
|
|
130 <node CREATED="1475221370341" ID="ID_1218169664" MODIFIED="1475221371296" TEXT="API">
|
|
|
131 <node CREATED="1475221375697" ID="ID_1513779759" MODIFIED="1475221400088" TEXT="named code gears enum"/>
|
|
|
132 <node CREATED="1475221409143" ID="ID_1928905221" MODIFIED="1475221411056" TEXT="queue">
|
|
|
133 <node CREATED="1475221413140" ID="ID_595594618" MODIFIED="1475221414024" TEXT="get"/>
|
|
|
134 <node CREATED="1475221414865" ID="ID_1822559160" MODIFIED="1475221415856" TEXT="put"/>
|
|
|
135 </node>
|
|
|
136 <node CREATED="1475221417497" ID="ID_1938143003" MODIFIED="1475221418704" TEXT="stack">
|
|
|
137 <node CREATED="1475221420863" ID="ID_1779448950" MODIFIED="1475221421872" TEXT="push"/>
|
|
|
138 <node CREATED="1475221422485" ID="ID_1763085239" MODIFIED="1475221423240" TEXT="pop"/>
|
|
|
139 </node>
|
|
|
140 </node>
|
|
|
141 </node>
|
|
|
142 <node CREATED="1475221587087" ID="ID_1837630230" MODIFIED="1475221593320" TEXT="memory allocation">
|
|
|
143 <node CREATED="1475221597121" ID="ID_238895177" MODIFIED="1475221612239" TEXT="at meta level"/>
|
|
|
144 <node CREATED="1475221624479" ID="ID_1975291351" MODIFIED="1475221644391" TEXT="allocate sized memory and asign type filed"/>
|
|
|
145 <node CREATED="1475221651952" ID="ID_1469233342" MODIFIED="1475221657711" TEXT="derving show"/>
|
|
|
146 </node>
|
|
|
147 </node>
|
|
|
148 <node CREATED="1474198812557" ID="ID_854426122" MODIFIED="1474198817326" POSITION="left" TEXT="synchronized Queue">
|
|
|
149 <node CREATED="1474198817755" ID="ID_992292686" MODIFIED="1474198824598" TEXT="CAS (check and set)"/>
|
|
|
150 <node CREATED="1474198836380" ID="ID_1816598683" MODIFIED="1474198839107" TEXT="verification">
|
|
|
151 <node CREATED="1474198840372" ID="ID_1894747913" MODIFIED="1474198844003" TEXT="fairness"/>
|
|
|
152 <node CREATED="1474198851664" ID="ID_534775243" MODIFIED="1474198852918" TEXT="proof"/>
|
|
|
153 </node>
|
|
|
154 </node>
|
|
|
155 <node CREATED="1474199046705" ID="ID_387917714" MODIFIED="1474199050469" POSITION="left" TEXT="model checking">
|
|
|
156 <node CREATED="1474199052561" ID="ID_50046953" MODIFIED="1474199056078" TEXT="abstract"/>
|
|
|
157 <node CREATED="1474199056610" ID="ID_1291295694" MODIFIED="1474199058645" TEXT="unbounded"/>
|
|
|
158 <node CREATED="1474199070086" ID="ID_82199320" MODIFIED="1474199079349" TEXT="keeping argument value only">
|
|
|
159 <node CREATED="1474199081110" ID="ID_350806499" MODIFIED="1474199105860" TEXT="does not follow pointers in meta level"/>
|
|
|
160 </node>
|
|
|
161 </node>
|
|
|
162 </node>
|
|
|
163 </map>
|
