# HG changeset patch # User Tatsuki IHA # Date 1446025549 -32400 # Node ID cc60f8c3b87574c3ddc09469d318f3d04549535a # Parent e2a7e710252116fa727d42481e1bc331ef2e90a2 Fix diff -r e2a7e7102521 -r cc60f8c3b875 midterm.pdf Binary file midterm.pdf has changed diff -r e2a7e7102521 -r cc60f8c3b875 midterm.tex --- a/midterm.tex Wed Oct 28 17:56:25 2015 +0900 +++ b/midterm.tex Wed Oct 28 18:45:49 2015 +0900 @@ -30,8 +30,6 @@ Cerium と Alice を開発して得られた知見から、並列実行をサポートするだけでなく、信頼性も確保したGears OS の設計・開発を行う。 -また、Taskの取り扱うデータに型情報がないため、 汎用ポインタをキャストして利用するしかなく、型の検査が行われていない。 - Cerium では Taskと呼ばれる分割されたプログラムを依存関係に沿って実行することで並列実行を実現する。 依存関係はプログラマ自身が意識して記述する必要があり、Taskの種類が増えると記述が複雑になり、 負担が大きくなる。 Alice では処理の単位である Code Segment、 データの単位である Data Segment を用いてプログラムを記述\cite{segment}する。