Mercurial > hg > Papers > 2021 > ikki-sigos

changeset 13:265e4e52d19f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 03 May 2021 17:22:57 +0900
parents e15e6bd7376d
children 3be047dc2366
files Paper/codes/Queue.h Paper/images/GearsWithTopology.graffle Paper/images/gearsChrsitieCGM.graffle sigos.mm
diffstat 4 files changed, 66 insertions(+), 20 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Paper/codes/Queue.h	Mon May 03 17:22:57 2021 +0900
@@ -0,0 +1,14 @@
+typedef struct Queue<>{
+    union Data* queue;
+    union Data* data;
+    enum Code next();
+    enum Code whenEmpty();
+
+    __code whenEmpty(...);
+    __code clear(Impl* queue, __code next(...));
+    __code put(Impl* queue, union Data* data, __code next(...));
+    __code take(Impl* queue, __code next(union Data* data, ...));
+    __code isEmpty(Impl* queue, __code next(...), __code whenEmpty(...));
+    __code next(...);
+} Queue;
+
Binary file Paper/images/GearsWithTopology.graffle has changed
Binary file Paper/images/gearsChrsitieCGM.graffle has changed
--- a/sigos.mm	Mon May 03 16:00:40 2021 +0900
+++ b/sigos.mm	Mon May 03 17:22:57 2021 +0900
@@ -3,7 +3,7 @@
 <node CREATED="1619092826941" ID="ID_1216552110" MODIFIED="1620021676592" TEXT="File sytem api and implementaions of&#xa;Gears OS">
 <node CREATED="1620021507022" ID="ID_1292875411" MODIFIED="1620021596348" POSITION="right" TEXT="&#x7814;&#x7a76;&#x76ee;&#x7684;">
 <node CREATED="1620021756032" ID="ID_856611637" MODIFIED="1620021779473" TEXT="&#x4fe1;&#x983c;&#x6027;&#x3068;&#x62e1;&#x5f35;&#x6027;&#x306e;&#x4e21;&#x7acb;"/>
-<node CREATED="1620021785189" ID="ID_467808226" MODIFIED="1620021797876" TEXT="code &#x3068; data &#x306e;&#x57fa;&#x672c;&#x5358;&#x4f4d;">
+<node CREATED="1620021785189" FOLDED="true" ID="ID_467808226" MODIFIED="1620028282304" TEXT="code &#x3068; data &#x306e;&#x57fa;&#x672c;&#x5358;&#x4f4d;">
 <node CREATED="1620021811874" ID="ID_1939369314" MODIFIED="1620021814693" TEXT="&#x7d99;&#x7d9a;"/>
 <node CREATED="1620021818046" ID="ID_1816633300" MODIFIED="1620021832429" TEXT="&#x30e1;&#x30bf;&#x8a08;&#x7b97;&#x306e;&#x610f;&#x5473;">
 <node CREATED="1620021832963" ID="ID_1516949880" MODIFIED="1620021836501" TEXT="Monad"/>
@@ -13,13 +13,13 @@
 <node CREATED="1620021855133" ID="ID_936080380" MODIFIED="1620021857920" TEXT="&#x8a3c;&#x660e;"/>
 </node>
 </node>
-<node CREATED="1620021869375" ID="ID_1631245552" MODIFIED="1620021947859" TEXT="dara&#x3092;&#x5b9f;&#x4e16;&#x754c;&#x306b;&#x914d;&#x7f6e;&#x3057;&#x3066;&#x3057;&#x3088;&#x3046;&#x3059;&#x308b;">
+<node CREATED="1620021869375" FOLDED="true" ID="ID_1631245552" MODIFIED="1620028284983" TEXT="dara&#x3092;&#x5b9f;&#x4e16;&#x754c;&#x306b;&#x914d;&#x7f6e;&#x3057;&#x3066;&#x3057;&#x3088;&#x3046;&#x3059;&#x308b;">
 <node CREATED="1620021949294" ID="ID_212619495" MODIFIED="1620021953513" TEXT="&#x4f4d;&#x7f6e;"/>
 <node CREATED="1620021954012" ID="ID_1868872164" MODIFIED="1620021959547" TEXT="&#x6301;&#x7d9a;&#x6027;"/>
 <node CREATED="1620021960280" ID="ID_378955915" MODIFIED="1620021964634" TEXT="&#x691c;&#x7d22;&#x6027;"/>
 <node CREATED="1620021965457" ID="ID_916896095" MODIFIED="1620021972815" TEXT="consistenct"/>
 </node>
-<node CREATED="1620022085357" ID="ID_478178928" MODIFIED="1620022097095" TEXT="&#x5f93;&#x6765;&#x306e;&#x30d5;&#x30a1;&#x30a4;&#x30eb;&#x30b7;&#x30b9;&#x30c6;&#x30e0;&#x306e;&#x554f;&#x984c;">
+<node CREATED="1620022085357" FOLDED="true" ID="ID_478178928" MODIFIED="1620028287418" TEXT="&#x5f93;&#x6765;&#x306e;&#x30d5;&#x30a1;&#x30a4;&#x30eb;&#x30b7;&#x30b9;&#x30c6;&#x30e0;&#x306e;&#x554f;&#x984c;">
 <node CREATED="1620022100145" ID="ID_1231578092" MODIFIED="1620022112382" TEXT="&#x53e4;&#x3044;"/>
 <node CREATED="1620022112382" ID="ID_1849293851" MODIFIED="1620022117242" TEXT="DB&#x3058;&#x3083;&#x306a;&#x3044;"/>
 <node CREATED="1620022117561" ID="ID_162346824" MODIFIED="1620022125383" TEXT="transaction&#x304c;&#x306a;&#x3044;"/>
@@ -42,7 +42,7 @@
 <node CREATED="1620022295938" ID="ID_357715362" MODIFIED="1620022300716" TEXT="&#x6697;&#x53f7;&#x5316;"/>
 <node CREATED="1620022301925" ID="ID_1270333698" MODIFIED="1620022307698" TEXT="&#x7f72;&#x540d;"/>
 </node>
-<node CREATED="1620021997214" ID="ID_1793589840" MODIFIED="1620022019543" TEXT="dataGear&#x3092;&#x4e2d;&#x5fc3;&#x3068;&#x3057;&#x305f;&#x30d5;&#x30a1;&#x30a4;&#x30eb;&#x30b7;&#x30b9;&#x30c6;&#x30e0;">
+<node CREATED="1620021997214" FOLDED="true" ID="ID_1793589840" MODIFIED="1620028289650" TEXT="dataGear&#x3092;&#x4e2d;&#x5fc3;&#x3068;&#x3057;&#x305f;&#x30d5;&#x30a1;&#x30a4;&#x30eb;&#x30b7;&#x30b9;&#x30c6;&#x30e0;">
 <node CREATED="1620023323872" ID="ID_33786489" MODIFIED="1620023332758" TEXT="Gears OS &#x4e0a;&#x3067;&#x5b9f;&#x88c5;"/>
 <node CREATED="1620023353154" ID="ID_1705587236" MODIFIED="1620023365221" TEXT="&#x6700;&#x9069;&#x5316;&#x306f;&#x3042;&#x3068;&#x307e;&#x308f;&#x3057;"/>
 <node CREATED="1620023365533" ID="ID_1986629652" MODIFIED="1620023372206" TEXT="&#x691c;&#x8a3c;"/>
@@ -52,10 +52,10 @@
 </node>
 </node>
 <node CREATED="1620023270620" ID="ID_1979135758" MODIFIED="1620023294519" POSITION="right" TEXT="dataGear &#x3092;&#x4e2d;&#x5fc3;&#x3068;&#x3057;&#x305f;&#x30d5;&#x30a3;&#x3042;&#x308b;&#x30b7;&#x30b9;&#x30c6;&#x30e0;">
-<node CREATED="1620022358935" ID="ID_911676616" MODIFIED="1620022364148" TEXT="normal">
+<node CREATED="1620022358935" FOLDED="true" ID="ID_911676616" MODIFIED="1620028296030" TEXT="normal">
 <node CREATED="1620022382707" ID="ID_212180830" MODIFIED="1620022393959" TEXT="&#x578b;&#x4ed8;&#x30c7;&#x30fc;&#x30bf;"/>
 </node>
-<node CREATED="1620022364837" ID="ID_361097089" MODIFIED="1620022366559" TEXT="meta">
+<node CREATED="1620022364837" FOLDED="true" ID="ID_361097089" MODIFIED="1620028298087" TEXT="meta">
 <node CREATED="1620022462741" ID="ID_1505576471" MODIFIED="1620022468115" TEXT="&#x578b;">
 <node CREATED="1620022488621" ID="ID_1196491132" MODIFIED="1620022504379" TEXT="&#x578b;&#x3092;&#x8868;&#x3059; normal dataGear"/>
 <node CREATED="1620022510065" ID="ID_1679032956" MODIFIED="1620022518762" TEXT="Agda (text form)"/>
@@ -83,7 +83,7 @@
 </node>
 </node>
 </node>
-<node CREATED="1620022553547" ID="ID_1117113394" MODIFIED="1620022562958" TEXT="&#x5206;&#x6563;">
+<node CREATED="1620022553547" FOLDED="true" ID="ID_1117113394" MODIFIED="1620028299600" TEXT="&#x5206;&#x6563;">
 <node CREATED="1620022563512" ID="ID_503761851" MODIFIED="1620022573590" TEXT="OSI 7&#x968e;&#x5c64;"/>
 <node CREATED="1620022577987" ID="ID_759796473" MODIFIED="1620022582598" TEXT="&#x901a;&#x4fe1;">
 <node CREATED="1620022733208" ID="ID_1958964816" MODIFIED="1620022742552" TEXT="transport / session"/>
@@ -101,7 +101,7 @@
 </node>
 </node>
 </node>
-<node CREATED="1620022995746" ID="ID_1955498000" MODIFIED="1620022999955" TEXT="&#x540d;&#x524d;">
+<node CREATED="1620022995746" FOLDED="true" ID="ID_1955498000" MODIFIED="1620028301194" TEXT="&#x540d;&#x524d;">
 <node CREATED="1620023005647" ID="ID_1140508896" MODIFIED="1620023010734" TEXT="&#x968e;&#x5c64;&#x578b;&#x306b;&#x3057;&#x306a;&#x3044;"/>
 <node CREATED="1620023051409" ID="ID_70866047" MODIFIED="1620023055871" TEXT="tag base">
 <node CREATED="1620023055872" ID="ID_844684040" MODIFIED="1620023062677" TEXT="tag database"/>
@@ -117,20 +117,27 @@
 <node CREATED="1620023219741" ID="ID_1628556100" MODIFIED="1620023226435" TEXT="&#x7f72;&#x540d;&#x306e;&#x7bc4;&#x56f2;"/>
 </node>
 </node>
+<node CREATED="1620028019199" ID="ID_840461927" MODIFIED="1620028032337" TEXT="file = dataGearManager">
+<node CREATED="1620028117560" ID="ID_488426238" MODIFIED="1620028129724" TEXT="typed streams with keys"/>
+<node CREATED="1620028180416" ID="ID_1979666233" MODIFIED="1620028196369" TEXT="chain of dataGear"/>
+</node>
+<node CREATED="1620028033358" ID="ID_566300230" MODIFIED="1620028050482" TEXT="comm = remoteDataGearManager"/>
+<node CREATED="1620028068491" ID="ID_382499933" MODIFIED="1620028091326" TEXT="cloud / service / node = Topology manager"/>
+<node CREATED="1620028050901" ID="ID_979748108" MODIFIED="1620028111008" TEXT="user = selfTopologyManager"/>
 </node>
 <node CREATED="1620024250908" ID="ID_526889848" MODIFIED="1620024297488" POSITION="right" TEXT="&#x3053;&#x308c;&#x307e;&#x3067;">
-<node CREATED="1620024301198" ID="ID_1720237694" MODIFIED="1620024313813" TEXT="Christie">
+<node CREATED="1620024301198" FOLDED="true" ID="ID_1720237694" MODIFIED="1620028304206" TEXT="Christie">
 <node CREATED="1619095311640" HGAP="24" ID="ID_1050480264" MODIFIED="1619095333492" TEXT="Gear&#x306b;&#x3064;&#x3044;&#x3066;" VSHIFT="-3"/>
 <node CREATED="1619095323541" ID="ID_1534486476" MODIFIED="1619095330619" TEXT="TopologyManager&#x306b;&#x3064;&#x3044;&#x3066;"/>
 <node CREATED="1619516324739" HGAP="28" ID="ID_953761431" MODIFIED="1619516344592" TEXT="key&#x306e;&#x89e3;&#x8aac;" VSHIFT="21"/>
 </node>
-<node CREATED="1620024388396" ID="ID_1297417754" MODIFIED="1620024394230" TEXT="GearsOS">
+<node CREATED="1620024388396" FOLDED="true" ID="ID_1297417754" MODIFIED="1620028305776" TEXT="GearsOS">
 <node CREATED="1619095139545" HGAP="56" ID="ID_1646793926" MODIFIED="1619095279742" TEXT="CbC"/>
 <node CREATED="1619095244665" HGAP="42" ID="ID_859364534" MODIFIED="1619095267562" TEXT="GearsOS&#x306e;&#x69cb;&#x6210;" VSHIFT="-11"/>
 </node>
 </node>
 <node CREATED="1620021623257" ID="ID_708502001" MODIFIED="1620021629125" POSITION="right" TEXT="API">
-<node CREATED="1620023415300" ID="ID_1649437466" MODIFIED="1620023435675" TEXT="&#x65e2;&#x306b;&#x3042;&#x308b;">
+<node CREATED="1620023415300" FOLDED="true" ID="ID_1649437466" MODIFIED="1620028309407" TEXT="&#x65e2;&#x306b;&#x3042;&#x308b;">
 <node CREATED="1620023435675" ID="ID_1000804286" MODIFIED="1620023439163" TEXT="goto"/>
 <node CREATED="1620023439645" ID="ID_880903449" MODIFIED="1620023448172" TEXT="interface">
 <node CREATED="1620023448173" ID="ID_1414825484" MODIFIED="1620023453294" TEXT="struct"/>
@@ -142,7 +149,7 @@
 </node>
 </node>
 <node CREATED="1620024080611" ID="ID_707680112" MODIFIED="1620024090251" TEXT="API &#x306f;&#x3000;interface"/>
-<node CREATED="1620023600500" ID="ID_343674584" MODIFIED="1620023603327" TEXT="key">
+<node CREATED="1620023600500" ID="ID_343674584" MODIFIED="1620029249293" TEXT="key">
 <node CREATED="1620023603328" ID="ID_894519246" MODIFIED="1620023611034" TEXT="synchronization">
 <node CREATED="1620024106477" ID="ID_768747156" MODIFIED="1620024125398" TEXT="synchoronized queue"/>
 </node>
@@ -165,8 +172,12 @@
 <node CREATED="1620024061977" ID="ID_1129253880" MODIFIED="1620024063248" TEXT="put"/>
 <node CREATED="1620024063805" ID="ID_1943248222" MODIFIED="1620024065566" TEXT="peek"/>
 </node>
+<node CREATED="1620027426689" ID="ID_1710132822" MODIFIED="1620027440010" TEXT="allocation meta opetation">
+<node CREATED="1620027440469" ID="ID_454168843" MODIFIED="1620027451210" TEXT="truncate"/>
+<node CREATED="1620027451606" ID="ID_518455857" MODIFIED="1620027458572" TEXT="remove"/>
 </node>
-<node CREATED="1620023846174" ID="ID_1334754318" MODIFIED="1620023854716" TEXT="dataGearManager">
+</node>
+<node CREATED="1620023846174" ID="ID_1334754318" MODIFIED="1620029318327" TEXT="dataGearManager">
 <node CREATED="1620023856933" ID="ID_298606852" MODIFIED="1620023947655" TEXT="connect">
 <node CREATED="1620023860574" ID="ID_280872407" MODIFIED="1620023874201" TEXT="topologyManaer">
 <node CREATED="1620023890031" ID="ID_953540758" MODIFIED="1620023896641" TEXT="cloud service"/>
@@ -174,23 +185,38 @@
 </node>
 <node CREATED="1620023948248" ID="ID_251798198" MODIFIED="1620023952157" TEXT="disconnect"/>
 </node>
-<node CREATED="1620023959151" ID="ID_1018506059" MODIFIED="1620023973610" TEXT="topologtManager">
+<node CREATED="1620023959151" ID="ID_1018506059" MODIFIED="1620029320603" TEXT="topologtManager">
 <node CREATED="1620023993801" ID="ID_616871705" MODIFIED="1620024003846" TEXT="welknown"/>
 <node CREATED="1620024145598" ID="ID_175410065" MODIFIED="1620024147826" TEXT="tag"/>
 <node CREATED="1620024941420" ID="ID_784390279" MODIFIED="1620024950970" TEXT="begin / end">
 <node CREATED="1620024950970" ID="ID_1819524334" MODIFIED="1620024953295" TEXT="commit"/>
 </node>
+<node CREATED="1620027507635" ID="ID_1997795327" MODIFIED="1620027623084" TEXT="dataGamanagers">
+<node CREATED="1620027536968" ID="ID_1077608929" MODIFIED="1620027546961" TEXT="remoteDagaGear">
+<node CREATED="1620027547434" ID="ID_1373067161" MODIFIED="1620027552616" TEXT="&#x4f4d;&#x7f6e;"/>
+<node CREATED="1620027553585" ID="ID_914962587" MODIFIED="1620027558420" TEXT="URI"/>
+<node CREATED="1620027642333" ID="ID_1537903975" MODIFIED="1620027647852" TEXT="identitiy">
+<node CREATED="1620027657667" ID="ID_1551078082" MODIFIED="1620027666362" TEXT="ceator"/>
+<node CREATED="1620027667893" ID="ID_1636453334" MODIFIED="1620027670930" TEXT="signed"/>
+</node>
+</node>
+</node>
+<node CREATED="1620027523654" ID="ID_1541425141" MODIFIED="1620027527522" TEXT="service"/>
+</node>
+<node CREATED="1620027707739" ID="ID_1372826012" MODIFIED="1620029322726" TEXT="selfTopologyManager">
+<node CREATED="1620027745182" ID="ID_661402451" MODIFIED="1620027764086" TEXT="selfDataGearManager"/>
+<node CREATED="1620027809710" ID="ID_1004349703" MODIFIED="1620027817496" TEXT="User"/>
 </node>
 </node>
 <node CREATED="1620024439567" ID="ID_332991038" MODIFIED="1620024445908" POSITION="right" TEXT="&#x5b9f;&#x88c5;">
 <node CREATED="1620024481373" ID="ID_1372186841" MODIFIED="1620024491578" TEXT="SynchronizedQueue"/>
 <node CREATED="1620024494579" ID="ID_1899719252" MODIFIED="1620024502144" TEXT="RedBlackTreee"/>
-<node CREATED="1620024446574" ID="ID_1187960864" MODIFIED="1620024459515" TEXT="dataGearManager">
+<node CREATED="1620024446574" FOLDED="true" ID="ID_1187960864" MODIFIED="1620028327236" TEXT="dataGearManager">
 <node CREATED="1620024595245" ID="ID_833476063" MODIFIED="1620024638705" TEXT="key / synchronized Queue">
 <node CREATED="1620024614988" ID="ID_1109051844" MODIFIED="1620024623055" TEXT="RBTreee"/>
 </node>
 <node CREATED="1620024691355" ID="ID_500289839" MODIFIED="1620024698213" TEXT="remoteDataGearManager">
-<node CREATED="1620024699912" ID="ID_1972951798" MODIFIED="1620024716758" TEXT="commnunication">
+<node CREATED="1620024699912" FOLDED="true" ID="ID_1972951798" MODIFIED="1620027734847" TEXT="commnunication">
 <node CREATED="1620024717387" ID="ID_525624983" MODIFIED="1620024725580" TEXT="Unix socket"/>
 <node CREATED="1620024739466" ID="ID_508594181" MODIFIED="1620024749974" TEXT="&#x81ea;&#x524d;&#x306e;transport"/>
 </node>
@@ -205,7 +231,7 @@
 <node CREATED="1620024459942" ID="ID_467375908" MODIFIED="1620024469458" TEXT="topologyManager">
 <node CREATED="1620024680532" ID="ID_1658043197" MODIFIED="1620024683141" TEXT="Java"/>
 </node>
-<node CREATED="1620024807136" ID="ID_1392316800" MODIFIED="1620024818293" TEXT="memory">
+<node CREATED="1620024807136" FOLDED="true" ID="ID_1392316800" MODIFIED="1620028330540" TEXT="memory">
 <node CREATED="1620024818293" ID="ID_1950340483" MODIFIED="1620024821515" TEXT="physical"/>
 <node CREATED="1620024822819" ID="ID_1025924851" MODIFIED="1620024825138" TEXT="GC"/>
 <node CREATED="1620024825733" ID="ID_1423522258" MODIFIED="1620024837767" TEXT="copy"/>
@@ -214,7 +240,7 @@
 <node CREATED="1620024547831" ID="ID_721653839" MODIFIED="1620024550737" POSITION="right" TEXT="example">
 <node CREATED="1620024550737" ID="ID_1868274055" MODIFIED="1620024556287" TEXT="wordCount"/>
 </node>
-<node CREATED="1620024898254" ID="ID_903723157" MODIFIED="1620024911977" POSITION="right" TEXT="&#x8a55;&#x4fa1;&#x3068;&#x4eca;&#x5f8c;&#x3000;&#x6bd4;&#x8f03;">
+<node CREATED="1620024898254" FOLDED="true" ID="ID_903723157" MODIFIED="1620028347416" POSITION="right" TEXT="&#x8a55;&#x4fa1;&#x3068;&#x4eca;&#x5f8c;&#x3000;&#x6bd4;&#x8f03;">
 <node CREATED="1620024912291" ID="ID_1703734050" MODIFIED="1620024921072" TEXT="Federated Linda">
 <node CREATED="1620024921073" ID="ID_1868114830" MODIFIED="1620024938230" TEXT="Christie"/>
 </node>
@@ -223,10 +249,16 @@
 <node CREATED="1620025049162" ID="ID_1057385891" MODIFIED="1620025055764" TEXT="Unix file system"/>
 <node CREATED="1620025056045" ID="ID_1859814508" MODIFIED="1620025058095" TEXT="Ceph"/>
 <node CREATED="1620025058868" ID="ID_575944263" MODIFIED="1620025062546" TEXT="Database"/>
-<node CREATED="1620025063037" ID="ID_1928735009" MODIFIED="1620025069099" TEXT="Scrapbox"/>
+<node CREATED="1620025063037" ID="ID_1928735009" MODIFIED="1620025266100" TEXT="Scrapbox"/>
 </node>
 <node CREATED="1620021487500" ID="ID_385122669" MODIFIED="1620021494940" POSITION="left" TEXT="&#x76ee;&#x6b21;">
-<node CREATED="1620021494940" ID="ID_491545916" MODIFIED="1620021494940" TEXT=""/>
+<node CREATED="1620021494940" ID="ID_491545916" MODIFIED="1620028365394" TEXT="&#x7814;&#x7a76;&#x76ee;&#x7684;"/>
+<node CREATED="1620028366375" ID="ID_1235407596" MODIFIED="1620028378584" TEXT="&#x63d0;&#x6848;&#x3059;&#x308b;&#x30d5;&#x30a1;&#x30a4;&#x30eb;&#x30b7;&#x30b9;&#x30c6;&#x30e0;"/>
+<node CREATED="1620028384518" ID="ID_883163780" MODIFIED="1620028393576" TEXT="&#x3053;&#x308c;&#x307e;&#x3067;&#x306e;GearsOS"/>
+<node CREATED="1620028393941" ID="ID_552985526" MODIFIED="1620028401358" TEXT="File System API"/>
+<node CREATED="1620028401834" ID="ID_380102078" MODIFIED="1620028409552" TEXT="Implementation"/>
+<node CREATED="1620028410712" ID="ID_707167449" MODIFIED="1620028413544" TEXT="example"/>
+<node CREATED="1620028414140" ID="ID_1145511075" MODIFIED="1620028424152" TEXT="&#x8a55;&#x4fa1;&#x3068;&#x4eca;&#x5f8c;"/>
 </node>
 </node>
 </map>