Mercurial > hg > Papers > 2016 > parusu-sigos
comparison sigos.mm @ 16:f88786cba8b5
Update
author | Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp> |
---|---|
date | Sun, 29 May 2016 16:34:28 +0900 |
parents | f3161681d273 |
children | f2f9c7110b41 |
comparison
equal
deleted
inserted
replaced
15:f3161681d273 | 16:f88786cba8b5 |
---|---|
80 <node CREATED="1464077045546" ID="ID_767472884" MODIFIED="1464077051703" TEXT="Code Gear Data Gear"/> | 80 <node CREATED="1464077045546" ID="ID_767472884" MODIFIED="1464077051703" TEXT="Code Gear Data Gear"/> |
81 <node CREATED="1464077052653" ID="ID_1772679573" MODIFIED="1464423974736" TEXT=" GearsOS の構成"/> | 81 <node CREATED="1464077052653" ID="ID_1772679573" MODIFIED="1464423974736" TEXT=" GearsOS の構成"/> |
82 <node CREATED="1464423975183" ID="ID_1777784060" MODIFIED="1464423977105" TEXT="評価"/> | 82 <node CREATED="1464423975183" ID="ID_1777784060" MODIFIED="1464423977105" TEXT="評価"/> |
83 <node CREATED="1464423978224" ID="ID_1029156077" MODIFIED="1464423980762" TEXT="今後の課題"/> | 83 <node CREATED="1464423978224" ID="ID_1029156077" MODIFIED="1464423980762" TEXT="今後の課題"/> |
84 </node> | 84 </node> |
85 <node CREATED="1464432833136" ID="ID_470663877" MODIFIED="1464432840853" POSITION="left" TEXT="修正"> | |
86 <node CREATED="1464432842046" ID="ID_1983987511" MODIFIED="1464432848326" TEXT="研究目的"> | |
87 <node CREATED="1464432848326" ID="ID_364905917" MODIFIED="1464432856028" TEXT="並列 "> | |
88 <node CREATED="1464432866718" ID="ID_1196580896" MODIFIED="1464432875424" TEXT="CodeとDataの単位毎に並列"/> | |
89 </node> | |
90 <node CREATED="1464432856315" ID="ID_1334097915" MODIFIED="1464432860386" TEXT="柔軟性"> | |
91 <node CREATED="1464432878880" ID="ID_252983780" MODIFIED="1464432889032" TEXT="いろんな柔軟性"> | |
92 <node CREATED="1464432897863" ID="ID_916591592" MODIFIED="1464432902966" TEXT="テクノロジーマッピング"> | |
93 <node CREATED="1464432908806" ID="ID_824969951" MODIFIED="1464432916941" TEXT="異なるアーキテクチャでも同じプログラムが動く"/> | |
94 </node> | |
95 <node CREATED="1464432924107" ID="ID_833483745" MODIFIED="1464432929190" TEXT="異なるversionの混在"> | |
96 <node CREATED="1464432932148" ID="ID_740305121" MODIFIED="1464432936676" TEXT="特にネットワーク接続"/> | |
97 </node> | |
98 <node CREATED="1464432957020" ID="ID_636970555" MODIFIED="1464432961452" TEXT="プログラムの変更"/> | |
99 <node CREATED="1464432979855" ID="ID_1778076535" MODIFIED="1464432984898" TEXT="実行時の変更"/> | |
100 </node> | |
101 </node> | |
102 <node CREATED="1464432860766" ID="ID_1355016039" MODIFIED="1464433031671" TEXT="信頼性"> | |
103 <node CREATED="1464432989376" ID="ID_1254636196" MODIFIED="1464432996179" TEXT="検証"> | |
104 <node CREATED="1464432997568" ID="ID_515833313" MODIFIED="1464433000809" TEXT="モデル検査を使う"> | |
105 <node CREATED="1464433005779" ID="ID_548893933" MODIFIED="1464433009796" TEXT="できるだけ有限状態"/> | |
106 <node CREATED="1464433013043" ID="ID_1702758027" MODIFIED="1464433018498" TEXT="不必要に状態を入れない"> | |
107 <node CREATED="1464433019769" ID="ID_147579656" MODIFIED="1464433026144" TEXT="特に環境とかスタック"/> | |
108 </node> | |
109 </node> | |
110 </node> | |
111 <node CREATED="1464433032106" ID="ID_1163520693" MODIFIED="1464433034513" TEXT="証明"> | |
112 <node CREATED="1464433038681" ID="ID_1903319486" MODIFIED="1464433048944" TEXT="Code と Dataを理論に定義"/> | |
113 </node> | |
114 </node> | |
115 </node> | |
116 <node CREATED="1464433060055" ID="ID_160981626" MODIFIED="1464433064591" TEXT="Gears のアプローチ"> | |
117 <node CREATED="1464433065885" ID="ID_181737657" MODIFIED="1464433083653" TEXT="並列実行はInput が揃った CG から実行"/> | |
118 <node CREATED="1464433095134" ID="ID_1902548270" MODIFIED="1464433113565" TEXT="Worker 自体もGears で記述"/> | |
119 <node CREATED="1464433123669" ID="ID_985948767" MODIFIED="1464433129459" TEXT="柔軟性はmeta computation で実現"> | |
120 <node CREATED="1464433150410" ID="ID_1817582445" MODIFIED="1464433178425" TEXT="CGの継続の間にmeta CGを挟む"/> | |
121 <node CREATED="1464433181016" ID="ID_1604650295" MODIFIED="1464433189503" TEXT="DS に meta DS を追加"/> | |
122 <node CREATED="1464433196240" ID="ID_59209401" MODIFIED="1464433208000" TEXT="meta 部分は Normal leve からなるべく見えない"/> | |
123 </node> | |
124 <node CREATED="1464433230340" ID="ID_990233636" MODIFIED="1464433239886" TEXT="Gears の実行Context"> | |
125 <node CREATED="1464433242101" ID="ID_1461397474" MODIFIED="1464433256112" TEXT="実行されるすべてのDS"/> | |
126 <node CREATED="1464433256949" ID="ID_1562417638" MODIFIED="1464433262957" TEXT="すべてのCS"/> | |
127 <node CREATED="1464433268468" ID="ID_1357583690" MODIFIED="1464433281652" TEXT="それらを結びつけるMDS,MCS"/> | |
128 </node> | |
129 <node CREATED="1464433294904" ID="ID_1418757401" MODIFIED="1464433296724" TEXT="CbC"> | |
130 <node CREATED="1464433299944" ID="ID_1452816780" MODIFIED="1464433312435" TEXT="Cのtail call version"/> | |
131 <node CREATED="1464433319489" ID="ID_430937148" MODIFIED="1464433327461" TEXT="meta 部分を隠す構文サポート"/> | |
132 </node> | |
133 <node CREATED="1464433348594" ID="ID_506423800" MODIFIED="1464433355520" TEXT="有限状態遷移の記述"> | |
134 <node CREATED="1464433357727" ID="ID_1850570123" MODIFIED="1464433360008" TEXT="Gear Box"> | |
135 <node CREATED="1464433362630" ID="ID_807557934" MODIFIED="1464433370833" TEXT="state chart"/> | |
136 <node CREATED="1464433373575" ID="ID_453284389" MODIFIED="1464433380191" TEXT="状態間を結ぶDG"/> | |
137 </node> | |
138 </node> | |
139 <node CREATED="1464433416173" ID="ID_396737367" MODIFIED="1464433417927" TEXT="実装"> | |
140 <node CREATED="1464433423308" ID="ID_1702142469" MODIFIED="1464433431550" TEXT="OSX 上のマルチスレッドworker"/> | |
141 <node CREATED="1464433438458" ID="ID_866863090" MODIFIED="1464433450964" TEXT="context は手書きな巨大なunion"/> | |
142 <node CREATED="1464433459685" ID="ID_1501887204" MODIFIED="1464433469755" TEXT="red black tree をつかったpersitent data gear"/> | |
143 <node CREATED="1464433472153" ID="ID_1289317838" MODIFIED="1464433501262" TEXT="有限状態幾何的なsynchronized queue"/> | |
144 </node> | |
145 </node> | |
146 <node CREATED="1464433526194" ID="ID_1694664580" MODIFIED="1464433537985" TEXT="Gears OS プロトタイプの詳細"> | |
147 <node CREATED="1464433539999" ID="ID_1486726647" MODIFIED="1464433542119" TEXT="全体構成"> | |
148 <node CREATED="1464433545327" ID="ID_1248461308" MODIFIED="1464433551583" TEXT="context"> | |
149 <node CREATED="1464433590773" ID="ID_1581705994" MODIFIED="1464433597242" TEXT="実行の様子"/> | |
150 </node> | |
151 <node CREATED="1464433552006" ID="ID_1194746624" MODIFIED="1464433553391" TEXT="worker"/> | |
152 <node CREATED="1464433553631" ID="ID_269109589" MODIFIED="1464433557488" TEXT="synchronized queue"/> | |
153 <node CREATED="1464433557819" ID="ID_928959023" MODIFIED="1464433561695" TEXT="red black tree"/> | |
154 <node CREATED="1464433562016" ID="ID_978814003" MODIFIED="1464433567518" TEXT="task manager"/> | |
155 </node> | |
156 </node> | |
157 <node CREATED="1464433603258" ID="ID_915464781" MODIFIED="1464433606173" TEXT="比較"> | |
158 <node CREATED="1464433628753" ID="ID_1792167946" MODIFIED="1464433634051" TEXT="Cerium"/> | |
159 <node CREATED="1464433644124" ID="ID_1978156315" MODIFIED="1464433657426" TEXT="既存のUnix OS"> | |
160 <node CREATED="1464433668985" ID="ID_1254303748" MODIFIED="1464433670841" TEXT="Linux"/> | |
161 </node> | |
162 <node CREATED="1464433659705" ID="ID_1192298961" MODIFIED="1464433663930" TEXT="組み込み OS"> | |
163 <node CREATED="1464433673666" ID="ID_1090022093" MODIFIED="1464433677313" TEXT="itron"/> | |
164 <node CREATED="1464433684418" ID="ID_1270208101" MODIFIED="1464433686409" TEXT="vxmax"/> | |
165 </node> | |
166 <node CREATED="1464433704565" ID="ID_95607994" MODIFIED="1464433708824" TEXT="micro kernel os"/> | |
167 </node> | |
168 <node CREATED="1464433618477" ID="ID_1600905308" MODIFIED="1464433621920" TEXT="まとめ、課題"> | |
169 <node CREATED="1464433740836" ID="ID_1449910541" MODIFIED="1464433753301" TEXT="  クリーンナップ"> | |
170 <node CREATED="1464433753742" ID="ID_1610227753" MODIFIED="1464433760958" TEXT="meta と normal の切り分け"> | |
171 <node CREATED="1464433764741" ID="ID_1639200751" MODIFIED="1464433769118" TEXT="特に構文的な切り替え"/> | |
172 </node> | |
173 <node CREATED="1464433774641" ID="ID_1756649286" MODIFIED="1464433787485" TEXT="不要なstack_push, pop"/> | |
174 </node> | |
175 <node CREATED="1464433793850" ID="ID_1527710141" MODIFIED="1464433795116" TEXT="GPU"/> | |
176 <node CREATED="1464433796033" ID="ID_771561797" MODIFIED="1464433815987" TEXT="依存関係"/> | |
177 <node CREATED="1464433799820" ID="ID_604700760" MODIFIED="1464433811276" TEXT="Context の動的生成"> | |
178 <node CREATED="1464433818282" ID="ID_1473851385" MODIFIED="1464433823203" TEXT="Runtime を作る"/> | |
179 </node> | |
180 <node CREATED="1464433833572" ID="ID_1406524402" MODIFIED="1464433838025" TEXT="Persistent store"> | |
181 <node CREATED="1464433839273" ID="ID_585114386" MODIFIED="1464433852344" TEXT="RBTree を別ストレージに移す機能"> | |
182 <node CREATED="1464433857245" ID="ID_89430560" MODIFIED="1464433861009" TEXT="IOが必要"/> | |
183 </node> | |
184 </node> | |
185 <node CREATED="1464433870637" ID="ID_8559213" MODIFIED="1464433876129" TEXT="プロセス"> | |
186 <node CREATED="1464433877985" ID="ID_944176938" MODIFIED="1464433898047" TEXT="現状ではDSは全部同じメモリ空間上にあるのでそれを別空間にする"/> | |
187 </node> | |
188 <node CREATED="1464433916620" ID="ID_186762386" MODIFIED="1464433920646" TEXT="検証系"/> | |
189 </node> | |
190 </node> | |
85 </node> | 191 </node> |
86 </map> | 192 </map> |