Mercurial > hg > Papers > 2016 > parusu-sigos
diff 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 |
line wrap: on
line diff
--- a/sigos.mm Sat May 28 18:57:36 2016 +0900 +++ b/sigos.mm Sun May 29 16:34:28 2016 +0900 @@ -82,5 +82,111 @@ <node CREATED="1464423975183" ID="ID_1777784060" MODIFIED="1464423977105" TEXT="評価"/> <node CREATED="1464423978224" ID="ID_1029156077" MODIFIED="1464423980762" TEXT="今後の課題"/> </node> +<node CREATED="1464432833136" ID="ID_470663877" MODIFIED="1464432840853" POSITION="left" TEXT="修正"> +<node CREATED="1464432842046" ID="ID_1983987511" MODIFIED="1464432848326" TEXT="研究目的"> +<node CREATED="1464432848326" ID="ID_364905917" MODIFIED="1464432856028" TEXT="並列　"> +<node CREATED="1464432866718" ID="ID_1196580896" MODIFIED="1464432875424" TEXT="CodeとDataの単位毎に並列"/> +</node> +<node CREATED="1464432856315" ID="ID_1334097915" MODIFIED="1464432860386" TEXT="柔軟性"> +<node CREATED="1464432878880" ID="ID_252983780" MODIFIED="1464432889032" TEXT="いろんな柔軟性"> +<node CREATED="1464432897863" ID="ID_916591592" MODIFIED="1464432902966" TEXT="テクノロジーマッピング"> +<node CREATED="1464432908806" ID="ID_824969951" MODIFIED="1464432916941" TEXT="異なるアーキテクチャでも同じプログラムが動く"/> +</node> +<node CREATED="1464432924107" ID="ID_833483745" MODIFIED="1464432929190" TEXT="異なるversionの混在"> +<node CREATED="1464432932148" ID="ID_740305121" MODIFIED="1464432936676" TEXT="特にネットワーク接続"/> +</node> +<node CREATED="1464432957020" ID="ID_636970555" MODIFIED="1464432961452" TEXT="プログラムの変更"/> +<node CREATED="1464432979855" ID="ID_1778076535" MODIFIED="1464432984898" TEXT="実行時の変更"/> +</node> +</node> +<node CREATED="1464432860766" ID="ID_1355016039" MODIFIED="1464433031671" TEXT="信頼性"> +<node CREATED="1464432989376" ID="ID_1254636196" MODIFIED="1464432996179" TEXT="検証"> +<node CREATED="1464432997568" ID="ID_515833313" MODIFIED="1464433000809" TEXT="モデル検査を使う"> +<node CREATED="1464433005779" ID="ID_548893933" MODIFIED="1464433009796" TEXT="できるだけ有限状態"/> +<node CREATED="1464433013043" ID="ID_1702758027" MODIFIED="1464433018498" TEXT="不必要に状態を入れない"> +<node CREATED="1464433019769" ID="ID_147579656" MODIFIED="1464433026144" TEXT="特に環境とかスタック"/> +</node> +</node> +</node> +<node CREATED="1464433032106" ID="ID_1163520693" MODIFIED="1464433034513" TEXT="証明"> +<node CREATED="1464433038681" ID="ID_1903319486" MODIFIED="1464433048944" TEXT="Code と Dataを理論に定義"/> +</node> +</node> +</node> +<node CREATED="1464433060055" ID="ID_160981626" MODIFIED="1464433064591" TEXT="Gears のアプローチ"> +<node CREATED="1464433065885" ID="ID_181737657" MODIFIED="1464433083653" TEXT="並列実行はInput が揃った CG から実行"/> +<node CREATED="1464433095134" ID="ID_1902548270" MODIFIED="1464433113565" TEXT="Worker 自体もGears で記述"/> +<node CREATED="1464433123669" ID="ID_985948767" MODIFIED="1464433129459" TEXT="柔軟性はmeta computation で実現"> +<node CREATED="1464433150410" ID="ID_1817582445" MODIFIED="1464433178425" TEXT="CGの継続の間にmeta CGを挟む"/> +<node CREATED="1464433181016" ID="ID_1604650295" MODIFIED="1464433189503" TEXT="DS に meta DS を追加"/> +<node CREATED="1464433196240" ID="ID_59209401" MODIFIED="1464433208000" TEXT="meta 部分は Normal leve からなるべく見えない"/> +</node> +<node CREATED="1464433230340" ID="ID_990233636" MODIFIED="1464433239886" TEXT="Gears の実行Context"> +<node CREATED="1464433242101" ID="ID_1461397474" MODIFIED="1464433256112" TEXT="実行されるすべてのDS"/> +<node CREATED="1464433256949" ID="ID_1562417638" MODIFIED="1464433262957" TEXT="すべてのCS"/> +<node CREATED="1464433268468" ID="ID_1357583690" MODIFIED="1464433281652" TEXT="それらを結びつけるMDS,MCS"/> +</node> +<node CREATED="1464433294904" ID="ID_1418757401" MODIFIED="1464433296724" TEXT="CbC"> +<node CREATED="1464433299944" ID="ID_1452816780" MODIFIED="1464433312435" TEXT="Cのtail call version"/> +<node CREATED="1464433319489" ID="ID_430937148" MODIFIED="1464433327461" TEXT="meta 部分を隠す構文サポート"/> +</node> +<node CREATED="1464433348594" ID="ID_506423800" MODIFIED="1464433355520" TEXT="有限状態遷移の記述"> +<node CREATED="1464433357727" ID="ID_1850570123" MODIFIED="1464433360008" TEXT="Gear Box"> +<node CREATED="1464433362630" ID="ID_807557934" MODIFIED="1464433370833" TEXT="state chart"/> +<node CREATED="1464433373575" ID="ID_453284389" MODIFIED="1464433380191" TEXT="状態間を結ぶDG"/> +</node> +</node> +<node CREATED="1464433416173" ID="ID_396737367" MODIFIED="1464433417927" TEXT="実装"> +<node CREATED="1464433423308" ID="ID_1702142469" MODIFIED="1464433431550" TEXT="OSX 上のマルチスレッドworker"/> +<node CREATED="1464433438458" ID="ID_866863090" MODIFIED="1464433450964" TEXT="context は手書きな巨大なunion"/> +<node CREATED="1464433459685" ID="ID_1501887204" MODIFIED="1464433469755" TEXT="red black tree をつかったpersitent data gear"/> +<node CREATED="1464433472153" ID="ID_1289317838" MODIFIED="1464433501262" TEXT="有限状態幾何的なsynchronized queue"/> +</node> +</node> +<node CREATED="1464433526194" ID="ID_1694664580" MODIFIED="1464433537985" TEXT="Gears OS プロトタイプの詳細"> +<node CREATED="1464433539999" ID="ID_1486726647" MODIFIED="1464433542119" TEXT="全体構成"> +<node CREATED="1464433545327" ID="ID_1248461308" MODIFIED="1464433551583" TEXT="context"> +<node CREATED="1464433590773" ID="ID_1581705994" MODIFIED="1464433597242" TEXT="実行の様子"/> +</node> +<node CREATED="1464433552006" ID="ID_1194746624" MODIFIED="1464433553391" TEXT="worker"/> +<node CREATED="1464433553631" ID="ID_269109589" MODIFIED="1464433557488" TEXT="synchronized queue"/> +<node CREATED="1464433557819" ID="ID_928959023" MODIFIED="1464433561695" TEXT="red black tree"/> +<node CREATED="1464433562016" ID="ID_978814003" MODIFIED="1464433567518" TEXT="task manager"/> +</node> +</node> +<node CREATED="1464433603258" ID="ID_915464781" MODIFIED="1464433606173" TEXT="比較"> +<node CREATED="1464433628753" ID="ID_1792167946" MODIFIED="1464433634051" TEXT="Cerium"/> +<node CREATED="1464433644124" ID="ID_1978156315" MODIFIED="1464433657426" TEXT="既存のUnix OS"> +<node CREATED="1464433668985" ID="ID_1254303748" MODIFIED="1464433670841" TEXT="Linux"/> +</node> +<node CREATED="1464433659705" ID="ID_1192298961" MODIFIED="1464433663930" TEXT="組み込み OS"> +<node CREATED="1464433673666" ID="ID_1090022093" MODIFIED="1464433677313" TEXT="itron"/> +<node CREATED="1464433684418" ID="ID_1270208101" MODIFIED="1464433686409" TEXT="vxmax"/> +</node> +<node CREATED="1464433704565" ID="ID_95607994" MODIFIED="1464433708824" TEXT="micro kernel os"/> +</node> +<node CREATED="1464433618477" ID="ID_1600905308" MODIFIED="1464433621920" TEXT="まとめ、課題"> +<node CREATED="1464433740836" ID="ID_1449910541" MODIFIED="1464433753301" TEXT="　　クリーンナップ"> +<node CREATED="1464433753742" ID="ID_1610227753" MODIFIED="1464433760958" TEXT="meta と normal の切り分け"> +<node CREATED="1464433764741" ID="ID_1639200751" MODIFIED="1464433769118" TEXT="特に構文的な切り替え"/> +</node> +<node CREATED="1464433774641" ID="ID_1756649286" MODIFIED="1464433787485" TEXT="不要なstack_push, pop"/> +</node> +<node CREATED="1464433793850" ID="ID_1527710141" MODIFIED="1464433795116" TEXT="GPU"/> +<node CREATED="1464433796033" ID="ID_771561797" MODIFIED="1464433815987" TEXT="依存関係"/> +<node CREATED="1464433799820" ID="ID_604700760" MODIFIED="1464433811276" TEXT="Context の動的生成"> +<node CREATED="1464433818282" ID="ID_1473851385" MODIFIED="1464433823203" TEXT="Runtime を作る"/> +</node> +<node CREATED="1464433833572" ID="ID_1406524402" MODIFIED="1464433838025" TEXT="Persistent store"> +<node CREATED="1464433839273" ID="ID_585114386" MODIFIED="1464433852344" TEXT="RBTree を別ストレージに移す機能"> +<node CREATED="1464433857245" ID="ID_89430560" MODIFIED="1464433861009" TEXT="IOが必要"/> +</node> +</node> +<node CREATED="1464433870637" ID="ID_8559213" MODIFIED="1464433876129" TEXT="プロセス"> +<node CREATED="1464433877985" ID="ID_944176938" MODIFIED="1464433898047" TEXT="現状ではDSは全部同じメモリ空間上にあるのでそれを別空間にする"/> +</node> +<node CREATED="1464433916620" ID="ID_186762386" MODIFIED="1464433920646" TEXT="検証系"/> +</node> +</node> </node> </map>