著者

伊波 立樹 東恩納 琢偉 河野 真治

雑誌

研究報告システムソフトウェアとオペレーティング・システム(OS) (ISSN:21888795)

巻号頁・発行日

vol.2016-OS-137, no.11, pp.1-8, 2016-05-23

---

当研究室では処理の単位を Code Gear,データの単位を Data Gear を用いて並列実行を行う Gears OS を開発している Gears OS では並列実行をするための Task を Code Gear と Data Gear の組で表現する.Task の依存関係は Code Gear を実行するために必要な Input Data Gear と Code Gear で作られる Output Data Gear によって決定し,それにそって並列実行を行う.依存関係の解決などの Meta Computation の実行は Meta Code Gear で行われる.Meta Code Gear は Code Gear に対応しており,Code Gear が実行した後にそれに対応した Meta Code Gear が実行される.本論文では Gears OS のプロトタイプとして並列処理機構を設計し,CbC(Continuation based C) で実装する.

著者

小久保 翔平 伊波 立樹 河野 真治

雑誌

研究報告システム・アーキテクチャ(ARC) (ISSN:21888574)

巻号頁・発行日

vol.2015-ARC-215, no.16, pp.1-6, 2015-05-19

---

本研究室では Code Gear, Data Gear を用いた並列フレームワークの開発を行なっている.Code Gear, Data Gear は処理とデータの単位である.並列実行に必要な Meta な機能を関数型言語における Monad の原理に基づいて,実現する.今回設計した Gears OS では Code Gear, Data Gear それぞれに Meta Code Gear と Meta Data Gear を対応させる.Code Gear が実行されるとそれに対応する Meta Code Gear が実行され,Meta Computation が行われる.Meta Computation は OS が行うネットワーク管理,メモリ管理等の資源制御を行う.本論文では基本的な機能を設計し,CbC(Continuation based C) で実装する.