changeset 12:cc8ff782067c

author mir3636
date Wed, 15 Feb 2017 19:23:54 +0900
parents 299ae52e63a6
children ddfca5037e41
files final_pre/finalPre.tex
diffstat 1 files changed, 37 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/final_pre/finalPre.tex	Wed Feb 15 18:26:16 2017 +0900
+++ b/final_pre/finalPre.tex	Wed Feb 15 19:23:54 2017 +0900
@@ -29,6 +29,43 @@
 \twocolumn [
+We are developping Gears OS using Continuation based C (CbC).
+Gears OS provids highly reliable computation using meta computation.
+CbC gives Code Gear and Data Gear as programing units.
+A transfar from a Code Gear to another Code Gear is implemented using a CbC's goto statement,
+which is compiled as a jump instraction in CbC. 
+Meta computations are key components of Gears OS, which provids memory managements, thread managements, 
+managements of Data/Code Gear themselves.
+CbC's goto statments provids a ways of implementing meta computations.
+From a view point of meta computation, Data Gear or Code Gear are uniform data units, which are implemented
+as union Data in CbC. 
+In the meta level, a transfar from a Code Gear is a goto statement to meta Code Gear with next Code Gear number and 
+a Context which coresponds thread structure or an enviroments in a functional programing.
+A meta Code Gear handles meta computations such as meta computations.
+From a user level, meta structures are not visible directly and a Code Gear looks like a function using continuations.
+A stub Code Gear is used as a bridge between meta level and user(nomal) level.
+In this paper we create scripts which generate meta Code Gear and stub Code Gear from nomal level Code Gear and Data Gear.
+Using these scripts, we can provide a interface mechanisms which are packages of Code Gears and Data Gears.
+A simple TaskManager is constracted using the interfaces which is a simple operating systems.
+We will constracts various compornents of Gears OS and meta computations which provids reliabilty.
+For an example, generating agda program from nomal level Code Gear provids proof suports of the Code Gear.
+%CbC で OS を記述する。
+%codeとcode のあいだをcall ではなくjmpで結ぶことができる(goto)
+%メタ計算は例えばメモリ管理スレッド管理CPUやGPUの資源管理そしてData/Code Gear の管理などである
+%metaレベルではcode/data gear は一つの塊として操作される。これをcbcではunion dataとして実装している
+%code gear 間の接続はつぎのcode gearの番号とthread structure に相当するcontextをmeta code gear にgoto する
+%meta code gear で os の 機能であるメモリ管理やスレッド管理を行う。
+%metaレベルから見たdata gearをゆーざーれべるのcode gearに接続するにはstub というmeta code gear  を用いる
+%stubとmetaはユーザーレベルcodegear とdatagearから生成することができる
+%本論文ではstub とcontext 管理構造を生成するスクリプトを作成した
+%これによりcode gear とdeta gear をデータを操作するinterface というまとまりにすることができる。
+%こんごはgears os の様々な構成要素を作成していきたい。