Mercurial > hg > Papers > 2015 > kkb-sigos
view Gears OS.mm @ 19:40686d8028c5
edit
author | Shohei KOKUBO <e105744@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 26 May 2015 03:46:51 +0900 |
parents | dfd4f1eb8882 |
children |
line wrap: on
line source
<map version="1.0.1"> <!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net --> <node CREATED="1430478174615" ID="ID_1571561409" MODIFIED="1430478190846" TEXT="Gears OS"> <node CREATED="1430478195405" ID="ID_183146635" MODIFIED="1430478302188" POSITION="right" TEXT="Monadに基づくメタ計算を基本とするGears OSの設計"> <font NAME="SansSerif" SIZE="12"/> </node> <node CREATED="1430478330436" ID="ID_89429878" MODIFIED="1430478367772" POSITION="left" TEXT="やったこと"> <node CREATED="1430478355819" ID="ID_1906308389" MODIFIED="1430478385674" TEXT="DSの導入"/> <node CREATED="1430478367773" ID="ID_1405129035" MODIFIED="1430478390739" TEXT="MCS, MDS"/> <node CREATED="1430478391747" ID="ID_764889846" MODIFIED="1430478399179" TEXT="Allocate"> <node CREATED="1430478401025" ID="ID_81983677" MODIFIED="1430478401025" TEXT=""/> </node> <node CREATED="1430478405396" ID="ID_79848736" MODIFIED="1430478408483" TEXT="List"/> <node CREATED="1430478412492" ID="ID_173128331" MODIFIED="1430478458736" TEXT="Red Black Tree"> <node CREATED="1430478430001" ID="ID_268439772" MODIFIED="1430581272158" TEXT="destructive"/> <node CREATED="1430478436218" ID="ID_1315673033" MODIFIED="1430581288376" TEXT="non destructive"/> </node> <node CREATED="1430478449914" ID="ID_195791120" MODIFIED="1430478456899" TEXT="GearBox"/> <node CREATED="1430478468513" ID="ID_1807672929" MODIFIED="1430478521027" TEXT="pseudo code"/> <node CREATED="1430478531675" ID="ID_844724395" MODIFIED="1430478533067" TEXT="queue"/> <node CREATED="1430478533961" ID="ID_1291956420" MODIFIED="1430478537627" TEXT="synchronized queue"/> </node> <node CREATED="1430478968412" ID="ID_1260465355" MODIFIED="1430478979589" POSITION="right" TEXT="論文"> <node CREATED="1430478979590" ID="ID_1980718508" MODIFIED="1430478986340" TEXT="Gears OSの目的"> <node CREATED="1430478991004" ID="ID_1558096225" MODIFIED="1430479012587" TEXT="many coreとGPUに適したOS"/> <node CREATED="1430479018316" ID="ID_677541471" MODIFIED="1430479029076" TEXT="code segmentとdata segment"/> <node CREATED="1430479039820" ID="ID_1083191910" MODIFIED="1430479046211" TEXT="meta computation"> <node CREATED="1430479160540" ID="ID_970207459" MODIFIED="1430479164372" TEXT="並列実行"/> <node CREATED="1430479166202" ID="ID_1214903796" MODIFIED="1430479175933" TEXT="排他制御"/> <node CREATED="1430479183099" ID="ID_1490835087" MODIFIED="1430479186411" TEXT="メモリ管理"/> </node> <node CREATED="1430479242524" ID="ID_450673653" MODIFIED="1430479250108" TEXT="高信頼性"/> <node CREATED="1430479257404" ID="ID_226818536" MODIFIED="1430479260292" TEXT="柔軟性"/> <node CREATED="1430479151017" ID="ID_445369957" MODIFIED="1430479206020" TEXT="モデル検証"/> <node CREATED="1430479209873" ID="ID_118184545" MODIFIED="1430479215150" TEXT="Monad"/> </node> <node CREATED="1430479732524" ID="ID_7570565" MODIFIED="1430479739563" TEXT="理論"/> <node CREATED="1430478987052" ID="ID_1782365396" MODIFIED="1430479298299" TEXT="設計"> <node CREATED="1430479300147" ID="ID_1186470493" MODIFIED="1430479306307" TEXT="code segment"/> <node CREATED="1430479307073" ID="ID_900363092" MODIFIED="1430479311843" TEXT="data segment"/> <node CREATED="1430479312352" ID="ID_159388126" MODIFIED="1430479317836" TEXT="meta code segment"/> <node CREATED="1430479319258" ID="ID_579561174" MODIFIED="1430479324131" TEXT="meta data segment"/> <node CREATED="1430479342198" ID="ID_503242220" MODIFIED="1430479353732" TEXT="ポインタ操作はmetaに"/> <node CREATED="1430479358412" ID="ID_1598984606" MODIFIED="1430479379053" TEXT="code segment から codesegmentへの遷移はmeta data segment経由"/> <node CREATED="1430479386311" ID="ID_1469521277" MODIFIED="1430479390971" TEXT="context"> <node CREATED="1430479395521" ID="ID_236378434" MODIFIED="1430479412189" TEXT="code segmentとdata segmentの集合"> <node CREATED="1430479412190" ID="ID_1867707455" MODIFIED="1430479422044" TEXT="transactionに相当"/> </node> <node CREATED="1430479482372" ID="ID_408894876" MODIFIED="1430479493083" TEXT="Allocation pointer"/> <node CREATED="1430479497825" ID="ID_1965923014" MODIFIED="1430479504835" TEXT="Threadごとに一つのcontext"/> </node> <node CREATED="1430479529539" ID="ID_1153958044" MODIFIED="1430479538339" TEXT="meta computation"> <node CREATED="1430479539480" ID="ID_736228898" MODIFIED="1430479551028" TEXT="平行制御"/> </node> <node CREATED="1430479438356" ID="ID_496850478" MODIFIED="1430479472476" TEXT="persistent data segment"> <node CREATED="1430479473804" ID="ID_414196632" MODIFIED="1430479476859" TEXT="avl tree"/> </node> </node> <node CREATED="1430479568298" ID="ID_1924056971" MODIFIED="1430479573842" TEXT="GearBox"/> <node CREATED="1430479577719" ID="ID_542969492" MODIFIED="1430479583907" TEXT="実装"> <node CREATED="1430479589980" ID="ID_1298636960" MODIFIED="1430479598131" TEXT="Allocater"/> <node CREATED="1430479599034" ID="ID_1811238212" MODIFIED="1430479600571" TEXT="List"/> <node CREATED="1430479601250" ID="ID_715959638" MODIFIED="1430479607571" TEXT="Synchronized queue"/> <node CREATED="1430479610667" ID="ID_1167707988" MODIFIED="1430479618773" TEXT="task manager"/> </node> <node CREATED="1430479630563" ID="ID_720988507" MODIFIED="1430479635972" TEXT="比較とまとめ"> <node CREATED="1430479638386" ID="ID_1999884299" MODIFIED="1430479666707" TEXT="Cerium"/> <node CREATED="1430479667522" ID="ID_542661646" MODIFIED="1430479671955" TEXT="既存OS"/> <node CREATED="1430479673804" ID="ID_1941755713" MODIFIED="1430479683563" TEXT="open cl/cuda"/> <node CREATED="1430479676724" ID="ID_1992721974" MODIFIED="1430479700307" TEXT="node js"/> </node> </node> <node CREATED="1432462187555" ID="ID_217972086" MODIFIED="1432462192906" POSITION="left" TEXT="presen"> <node CREATED="1432462202226" ID="ID_152640162" MODIFIED="1432462205033" TEXT="目的"> <node CREATED="1432462210569" ID="ID_543183455" MODIFIED="1432462223338" TEXT="様々なアーキテクチャに対応する"/> <node CREATED="1432462223992" ID="ID_117989368" MODIFIED="1432462225842" TEXT="信頼性"> <node CREATED="1432462226483" ID="ID_1564600924" MODIFIED="1432462236944" TEXT="model checking"/> <node CREATED="1432462238566" ID="ID_1334653108" MODIFIED="1432462238566" TEXT=""/> </node> <node CREATED="1432462241599" ID="ID_864685123" MODIFIED="1432462245059" TEXT="柔軟性"> <node CREATED="1432462245060" ID="ID_362059801" MODIFIED="1432462247983" TEXT="open system"/> </node> </node> <node CREATED="1432462255239" ID="ID_1283001614" MODIFIED="1432462261681" TEXT="いままでやってきたこと"> <node CREATED="1432462262001" ID="ID_221183482" MODIFIED="1432462267104" TEXT="Cerium"> <node CREATED="1432462275565" ID="ID_378050683" MODIFIED="1432462280545" TEXT="依存関係"/> <node CREATED="1432462295269" ID="ID_1445754486" MODIFIED="1432462302980" TEXT="型検査できない"/> </node> <node CREATED="1432462267583" ID="ID_1013298206" MODIFIED="1432462269080" TEXT="Alice"> <node CREATED="1432462327516" ID="ID_1168573736" MODIFIED="1432462334516" TEXT="code segment, data segment"/> <node CREATED="1432462335036" ID="ID_237592460" MODIFIED="1432462360715" TEXT="meta computation"> <node CREATED="1432462535566" ID="ID_1851614386" MODIFIED="1432462535566" TEXT=""/> </node> <node CREATED="1432462369725" ID="ID_1048942223" MODIFIED="1432462380806" TEXT="設計がダメ"> <node CREATED="1432462381190" ID="ID_1926371723" MODIFIED="1432462402677" TEXT="meta computation が alice で書かれてない"/> <node CREATED="1432462403244" ID="ID_1265810001" MODIFIED="1432462403244" TEXT=""/> </node> </node> </node> <node CREATED="1432462469564" ID="ID_1349007743" MODIFIED="1432462479937" TEXT="gears の設計方針"> <node CREATED="1432462652638" ID="ID_1470161465" MODIFIED="1432462669627" TEXT="code/data segment"/> <node CREATED="1432462503835" ID="ID_955641489" MODIFIED="1432462549828" TEXT="meta computaion は moanad"/> <node CREATED="1432462552638" ID="ID_1265853574" MODIFIED="1432462584164" TEXT="monad を meta code/data gear で表現する"/> <node CREATED="1432462588464" ID="ID_68838938" MODIFIED="1432462673491" TEXT="cbc"> <node CREATED="1432462673821" ID="ID_764648865" MODIFIED="1432462675530" TEXT="llvm"/> </node> <node CREATED="1432462488380" ID="ID_804017415" MODIFIED="1432462717343" TEXT="object レベルではポインタを扱わない"> <node CREATED="1432462717612" ID="ID_1091211404" MODIFIED="1432462726131" TEXT="code/data gear"/> </node> <node CREATED="1432462655458" ID="ID_339781281" MODIFIED="1432462737629" TEXT="meta レベルでポインタを"> <node CREATED="1432462738110" ID="ID_1857151017" MODIFIED="1432462748436" TEXT="meta code/data gear"/> <node CREATED="1432462751273" ID="ID_10957770" MODIFIED="1432462751273" TEXT=""/> </node> <node CREATED="1432462790573" ID="ID_1719490880" MODIFIED="1432462790573" TEXT=""/> </node> <node CREATED="1432462765976" ID="ID_1663093882" MODIFIED="1432462770981" TEXT="gears のアーキテクチャ"> <node CREATED="1432462773702" ID="ID_1082409470" MODIFIED="1432462783236" TEXT="アーキテクチャの図"> <node CREATED="1432462807825" ID="ID_589465323" MODIFIED="1432462825339" TEXT="persistent tree から data を読み込む"/> <node CREATED="1432462827880" ID="ID_1664113676" MODIFIED="1432462849412" TEXT="code を実行する worker"/> <node CREATED="1432462849817" ID="ID_277111991" MODIFIED="1432462890658" TEXT="worker 間を結ぶ sysnchronized queue"/> <node CREATED="1432462896655" ID="ID_1772883162" MODIFIED="1432462937090" TEXT="context"> <node CREATED="1432462937500" ID="ID_944372429" MODIFIED="1432462950691" TEXT="data segmet のsigunture"/> <node CREATED="1432462950994" ID="ID_1426616123" MODIFIED="1432462959908" TEXT="code segment の 一覧"/> </node> </node> </node> <node CREATED="1432462996382" ID="ID_1696934405" MODIFIED="1432463001490" TEXT="gears の構成要素"> <node CREATED="1432463009290" ID="ID_649106530" MODIFIED="1432463010746" TEXT="context"/> <node CREATED="1432463025831" ID="ID_1819686668" MODIFIED="1432463030167" TEXT="red black tree"/> <node CREATED="1432463030632" ID="ID_1862618257" MODIFIED="1432463098436" TEXT="worke"> <node CREATED="1432463083527" ID="ID_151541875" MODIFIED="1432463089806" TEXT="syscrhonized queue"> <node CREATED="1432463090555" ID="ID_406059206" MODIFIED="1432463092614" TEXT="gear box"/> </node> </node> </node> <node CREATED="1432463110357" ID="ID_1751226582" MODIFIED="1432463255497" TEXT="cbc による実装"> <node CREATED="1432463120390" ID="ID_773590568" MODIFIED="1432463142817" TEXT="context"/> <node CREATED="1432463163473" ID="ID_1004753545" MODIFIED="1432463171945" TEXT="code segment"> <node CREATED="1432463172473" ID="ID_1993287652" MODIFIED="1432463174483" TEXT="理想"/> <node CREATED="1432463175167" ID="ID_1356879450" MODIFIED="1432463176818" TEXT="実際"/> </node> <node CREATED="1432463179052" ID="ID_1329394086" MODIFIED="1432463202993" TEXT="data segment"/> </node> <node CREATED="1432463256069" ID="ID_997477641" MODIFIED="1432463258413" TEXT="これから"> <node CREATED="1432463259673" ID="ID_1563609239" MODIFIED="1432463293922" TEXT="比較"> <node CREATED="1432463294191" ID="ID_380660560" MODIFIED="1432463295888" TEXT="cerium"/> <node CREATED="1432463296478" ID="ID_1054858327" MODIFIED="1432463297577" TEXT="alice"/> <node CREATED="1432463298679" ID="ID_1982541054" MODIFIED="1432463303545" TEXT="opencl"/> <node CREATED="1432463303786" ID="ID_576953825" MODIFIED="1432463304553" TEXT="cuda"/> </node> <node CREATED="1432463312946" ID="ID_1071238929" MODIFIED="1432463341252" TEXT="まとめ"/> </node> </node> <node CREATED="1432462253109" ID="ID_574856930" MODIFIED="1432462253109" POSITION="left" TEXT=""/> </node> </map>