Mercurial > hg > Gears > GearsAgda

changeset 128:53df6602530f meta_code

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add GearsProgramming mind map
author one
date Fri, 30 Sep 2016 17:04:20 +0900
parents fe1fbfec7d01
children c9be86f5a7b9
files doc/GearsProgramming.mm
diffstat 1 files changed, 163 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/GearsProgramming.mm	Fri Sep 30 17:04:20 2016 +0900
@@ -0,0 +1,163 @@
+<map version="1.0.1">
+<!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net -->
+<node CREATED="1474197634182" ID="ID_1179238297" MODIFIED="1474197647879" TEXT="GearsProgramming">
+<node CREATED="1474197648409" ID="ID_47965276" MODIFIED="1474197703546" POSITION="right" TEXT="Aim">
+<node CREATED="1474197704094" ID="ID_142691674" MODIFIED="1474197711701" TEXT="Low Level"/>
+<node CREATED="1474197712163" ID="ID_829698610" MODIFIED="1474197717141" TEXT="System Description"/>
+<node CREATED="1474197718094" ID="ID_1348601349" MODIFIED="1474197723668" TEXT="Specification">
+<node CREATED="1474197724195" ID="ID_1585379923" MODIFIED="1474197726892" TEXT="Executable"/>
+</node>
+<node CREATED="1474197728470" ID="ID_1420640086" MODIFIED="1474197736836" TEXT="Reliability"/>
+<node CREATED="1474197744164" ID="ID_923556279" MODIFIED="1474197748746" TEXT="Resusability"/>
+<node CREATED="1474197754510" ID="ID_845392329" MODIFIED="1474197764018" TEXT="Sharabiliity">
+<node CREATED="1474197764019" ID="ID_13244712" MODIFIED="1474197775128" TEXT="compressed code"/>
+</node>
+<node CREATED="1474197776958" ID="ID_888410684" MODIFIED="1474197781169" TEXT="Meta Programming">
+<node CREATED="1474197783057" ID="ID_798676678" MODIFIED="1474197785552" TEXT="Concurrency">
+<node CREATED="1474197829239" ID="ID_321601829" MODIFIED="1474197832797" TEXT="GPGPU"/>
+<node CREATED="1474197833549" ID="ID_1355018406" MODIFIED="1474197836357" TEXT="Many Core"/>
+</node>
+<node CREATED="1474197837846" ID="ID_398225374" MODIFIED="1474197841709" TEXT="real-time"/>
+<node CREATED="1474197845817" ID="ID_653836902" MODIFIED="1474197850768" TEXT="power control">
+<node CREATED="1474197857407" ID="ID_1356386994" MODIFIED="1474197860046" TEXT="Gating"/>
+</node>
+<node CREATED="1474197787022" ID="ID_676510162" MODIFIED="1474197794312" TEXT="Openess"/>
+<node CREATED="1474197801445" ID="ID_1717330620" MODIFIED="1474197810167" TEXT="Model Checking"/>
+<node CREATED="1474197820271" ID="ID_1649483207" MODIFIED="1474197824689" TEXT="Multi level"/>
+</node>
+</node>
+<node CREATED="1474197869871" ID="ID_1207255364" MODIFIED="1474197875726" POSITION="right" TEXT="Syntax">
+<node CREATED="1474197876535" ID="ID_1956219957" MODIFIED="1474197882518" TEXT="Continuation based C">
+<node CREATED="1474197882519" ID="ID_1872250400" MODIFIED="1474197888117" TEXT="Code Gears"/>
+</node>
+<node CREATED="1474197893191" ID="ID_1406675689" MODIFIED="1474197899447" TEXT="Normal C">
+<node CREATED="1474197899448" ID="ID_1715610883" MODIFIED="1474197906029" TEXT="Function call"/>
+</node>
+<node CREATED="1474197909291" ID="ID_1091472346" MODIFIED="1474197924325" TEXT="Data Gears">
+<node CREATED="1474197925526" ID="ID_1219681812" MODIFIED="1474197944244" TEXT="__data ">
+<node CREATED="1474198185798" ID="ID_621686816" MODIFIED="1474198194405" TEXT="union of all __data"/>
+</node>
+<node CREATED="1475222208725" ID="ID_103598500" MODIFIED="1475222218374" TEXT="new reallocated data">
+<node CREATED="1475222219650" ID="ID_70340214" MODIFIED="1475222255052" TEXT="__code code1 (struct Node* +newnode)"/>
+</node>
+</node>
+<node CREATED="1474197974286" ID="ID_662409265" MODIFIED="1474198073009" TEXT="Glue">
+<node CREATED="1474198073010" ID="ID_1757613329" MODIFIED="1474198094236" TEXT="syntax betwen __code and __code"/>
+<node CREATED="1474198095095" ID="ID_281252827" MODIFIED="1474198105489" TEXT="__code and __data"/>
+</node>
+<node CREATED="1474198131976" ID="ID_1267124086" MODIFIED="1474198137254" TEXT="Gear Box"/>
+</node>
+<node CREATED="1474198122709" ID="ID_744036408" MODIFIED="1474198346148" POSITION="right" TEXT="Implementation">
+<node CREATED="1474198209252" ID="ID_1893547455" MODIFIED="1474198237037" TEXT="Lightweight thread">
+<node CREATED="1474198264005" ID="ID_965179556" MODIFIED="1474198267228" TEXT="context"/>
+</node>
+<node CREATED="1474198249436" ID="ID_1253885787" MODIFIED="1474198253419" TEXT="Process">
+<node CREATED="1474198272936" ID="ID_931390957" MODIFIED="1474198278267" TEXT="memory space"/>
+</node>
+<node CREATED="1474198240739" ID="ID_1410320897" MODIFIED="1474198247331" TEXT="Communication">
+<node CREATED="1474198281223" ID="ID_1363307501" MODIFIED="1474198287347" TEXT="Synchronized Queue"/>
+</node>
+<node CREATED="1474198290090" ID="ID_1532250757" MODIFIED="1474198292905" TEXT="Database">
+<node CREATED="1474198292905" ID="ID_1407581044" MODIFIED="1474198299955" TEXT="Tree"/>
+</node>
+<node CREATED="1474198301438" ID="ID_1966031794" MODIFIED="1474198305844" TEXT="Memory Management">
+<node CREATED="1474198305845" ID="ID_316448348" MODIFIED="1474198307930" TEXT="new"/>
+</node>
+</node>
+<node CREATED="1474198367056" ID="ID_866729066" MODIFIED="1474198375419" POSITION="left" TEXT="Technique">
+<node CREATED="1474198376074" ID="ID_370932013" MODIFIED="1474198382807" TEXT="normal function call">
+<node CREATED="1474198387452" ID="ID_376192865" MODIFIED="1474198393396" TEXT="with meta computation">
+<node CREATED="1474198396890" ID="ID_1749082632" MODIFIED="1474198399547" TEXT="goto meta"/>
+</node>
+<node CREATED="1474198455800" ID="ID_349859250" MODIFIED="1474198461982" TEXT="using stack"/>
+<node CREATED="1474198469608" ID="ID_601591441" MODIFIED="1474198481919" TEXT="one level stack on data gears"/>
+<node CREATED="1474198486772" ID="ID_1465200140" MODIFIED="1474198499012" TEXT="context continuation">
+<node CREATED="1474198500212" ID="ID_1360776710" MODIFIED="1474198505906" TEXT="thread terminator"/>
+</node>
+<node CREATED="1474199009015" ID="ID_172813638" MODIFIED="1474199027286" TEXT="pointer operation is not allowwed in object level"/>
+</node>
+<node CREATED="1474198412158" ID="ID_1400824129" MODIFIED="1474198415636" TEXT="memory allocation">
+<node CREATED="1474198416060" ID="ID_1719487559" MODIFIED="1474198422118" TEXT="as a meta computation">
+<node CREATED="1474198565267" ID="ID_1115374966" MODIFIED="1474198575734" TEXT="not in __code"/>
+</node>
+<node CREATED="1474198596040" ID="ID_1088700962" MODIFIED="1474198602311" TEXT="life time control">
+<node CREATED="1474198424894" ID="ID_676251796" MODIFIED="1474198430177" TEXT="allocate"/>
+<node CREATED="1474198431834" ID="ID_756555299" MODIFIED="1474198433977" TEXT="retain"/>
+<node CREATED="1474198434592" ID="ID_1238321945" MODIFIED="1474198437608" TEXT="release"/>
+</node>
+<node CREATED="1474198620293" ID="ID_729415034" MODIFIED="1474198623064" TEXT="release">
+<node CREATED="1474198624010" ID="ID_362410868" MODIFIED="1474198631817" TEXT="at the end of thread"/>
+</node>
+<node CREATED="1474198636298" ID="ID_224271521" MODIFIED="1474198643792" TEXT="persistent data">
+<node CREATED="1474198644158" ID="ID_1029213760" MODIFIED="1474198649480" TEXT="copy"/>
+<node CREATED="1474198656834" ID="ID_2335859" MODIFIED="1474198660352" TEXT="marking"/>
+</node>
+<node CREATED="1475222429498" ID="ID_996754987" MODIFIED="1475222434637" TEXT="allocation">
+<node CREATED="1475222438030" ID="ID_1725059176" MODIFIED="1475222463661" TEXT="linear"/>
+<node CREATED="1475222440174" ID="ID_509239417" MODIFIED="1475222449481" TEXT="fixed size free list"/>
+</node>
+</node>
+<node CREATED="1474198526000" ID="ID_725539372" MODIFIED="1474198529302" TEXT="system call">
+<node CREATED="1474198534590" ID="ID_1783733449" MODIFIED="1474198541963" TEXT="as a meta computation"/>
+<node CREATED="1474198548234" ID="ID_151081133" MODIFIED="1474198551889" TEXT="continuation"/>
+</node>
+<node CREATED="1474198873319" ID="ID_572818507" MODIFIED="1474198897011" TEXT="context local variable">
+<node CREATED="1474198910329" ID="ID_1049695430" MODIFIED="1474198929104" TEXT="no stack base tree walk"/>
+<node CREATED="1474198931425" ID="ID_483868789" MODIFIED="1474198945873" TEXT="not destory original tree"/>
+<node CREATED="1474198966619" ID="ID_1607279117" MODIFIED="1474198979692" TEXT="modify only newly created data gears"/>
+</node>
+</node>
+<node CREATED="1474198691359" ID="ID_1150677739" MODIFIED="1474198695904" POSITION="left" TEXT="red black tree">
+<node CREATED="1474198696376" ID="ID_1548561439" MODIFIED="1474198706929" TEXT="remove push_stack/pop_stack">
+<node CREATED="1474198708513" ID="ID_1466655383" MODIFIED="1474198716640" TEXT="at meta computation"/>
+</node>
+<node CREATED="1474198719260" ID="ID_802423799" MODIFIED="1474198729727" TEXT="bring parent and grand parent"/>
+<node CREATED="1474198741329" ID="ID_1605372662" MODIFIED="1474198744775" TEXT="verification">
+<node CREATED="1474198745128" ID="ID_1290247827" MODIFIED="1474198753263" TEXT="unbounded modecl checking"/>
+<node CREATED="1474198754215" ID="ID_936929898" MODIFIED="1474198759071" TEXT="proof">
+<node CREATED="1474198767338" ID="ID_91607209" MODIFIED="1474198774329" TEXT="as a type system of Gears"/>
+<node CREATED="1474198859317" ID="ID_652735276" MODIFIED="1474198862870" TEXT="using Agda"/>
+<node CREATED="1474198776282" ID="ID_1815424645" MODIFIED="1474198779391" TEXT="dependent type"/>
+<node CREATED="1474198784176" ID="ID_1701729941" MODIFIED="1474198787212" TEXT="first class type"/>
+</node>
+</node>
+</node>
+<node CREATED="1475221311884" ID="ID_1604114386" MODIFIED="1475221322601" POSITION="left" TEXT="Data Gears">
+<node CREATED="1475221325273" ID="ID_654063909" MODIFIED="1475221328320" TEXT="type filed"/>
+<node CREATED="1475221341209" ID="ID_1960993895" MODIFIED="1475221345560" TEXT="abstract data type">
+<node CREATED="1475221350184" ID="ID_1030098093" MODIFIED="1475221361000" TEXT="next"/>
+<node CREATED="1475221453297" ID="ID_1140689489" MODIFIED="1475221458656" TEXT="goto stack_push"/>
+<node CREATED="1475221370341" ID="ID_1218169664" MODIFIED="1475221371296" TEXT="API">
+<node CREATED="1475221375697" ID="ID_1513779759" MODIFIED="1475221400088" TEXT="named code gears enum"/>
+<node CREATED="1475221409143" ID="ID_1928905221" MODIFIED="1475221411056" TEXT="queue">
+<node CREATED="1475221413140" ID="ID_595594618" MODIFIED="1475221414024" TEXT="get"/>
+<node CREATED="1475221414865" ID="ID_1822559160" MODIFIED="1475221415856" TEXT="put"/>
+</node>
+<node CREATED="1475221417497" ID="ID_1938143003" MODIFIED="1475221418704" TEXT="stack">
+<node CREATED="1475221420863" ID="ID_1779448950" MODIFIED="1475221421872" TEXT="push"/>
+<node CREATED="1475221422485" ID="ID_1763085239" MODIFIED="1475221423240" TEXT="pop"/>
+</node>
+</node>
+</node>
+<node CREATED="1475221587087" ID="ID_1837630230" MODIFIED="1475221593320" TEXT="memory allocation">
+<node CREATED="1475221597121" ID="ID_238895177" MODIFIED="1475221612239" TEXT="at meta level"/>
+<node CREATED="1475221624479" ID="ID_1975291351" MODIFIED="1475221644391" TEXT="allocate sized memory and asign type filed"/>
+<node CREATED="1475221651952" ID="ID_1469233342" MODIFIED="1475221657711" TEXT="derving show"/>
+</node>
+</node>
+<node CREATED="1474198812557" ID="ID_854426122" MODIFIED="1474198817326" POSITION="left" TEXT="synchronized Queue">
+<node CREATED="1474198817755" ID="ID_992292686" MODIFIED="1474198824598" TEXT="CAS (check and set)"/>
+<node CREATED="1474198836380" ID="ID_1816598683" MODIFIED="1474198839107" TEXT="verification">
+<node CREATED="1474198840372" ID="ID_1894747913" MODIFIED="1474198844003" TEXT="fairness"/>
+<node CREATED="1474198851664" ID="ID_534775243" MODIFIED="1474198852918" TEXT="proof"/>
+</node>
+</node>
+<node CREATED="1474199046705" ID="ID_387917714" MODIFIED="1474199050469" POSITION="left" TEXT="model checking">
+<node CREATED="1474199052561" ID="ID_50046953" MODIFIED="1474199056078" TEXT="abstract"/>
+<node CREATED="1474199056610" ID="ID_1291295694" MODIFIED="1474199058645" TEXT="unbounded"/>
+<node CREATED="1474199070086" ID="ID_82199320" MODIFIED="1474199079349" TEXT="keeping argument value only">
+<node CREATED="1474199081110" ID="ID_350806499" MODIFIED="1474199105860" TEXT="does not follow pointers in meta level"/>
+</node>
+</node>
+</node>
+</map>