| Item type |
SIG Technical Reports(1) |
| 公開日 |
2015-05-19 |
| タイトル |
|
|
タイトル |
Monadに基づくメタ計算を基本とするGears OSの設計 |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Design of Gears OS with Meta Computation based on Monad |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
OS構成法 |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
| 著者所属 |
|
|
|
琉球大学大学院理工学研究科情報工学専攻 |
| 著者所属 |
|
|
|
琉球大学工学部情報工学科 |
| 著者所属 |
|
|
|
琉球大学工学部情報工学科 |
| 著者所属(英) |
|
|
|
en |
|
|
Interdisciplinary Information Engineering, Graduate School of Engineering and Science, University of the Ryukyus. |
| 著者所属(英) |
|
|
|
en |
|
|
Information Engineering, University of the Ryukyus. |
| 著者所属(英) |
|
|
|
en |
|
|
Information Engineering, University of the Ryukyus. |
| 著者名 |
小久保, 翔平
伊波, 立樹
河野, 真治
|
| 著者名(英) |
Shohei, Kokubo
Tatsuki, Iha
Shinji, Kono
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
本研究室では 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) で実装する． |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
We are developing parallel framework using a Code/Data Gear. Code/Data Gear are unit of processing and data. Meta function for parallel execution based on a Monad in Functional Language is used in Geas OS. A Meta Code/Data Gear attached to a Code/Data Gear as a Monad. Meta Computation performs Network Management, Memory Management and more. We show same implemetation of Gears OS using CbC(Continuation based C). |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AN10096105 |
| 書誌情報 |
研究報告システム・アーキテクチャ（ARC）
巻 2015-ARC-215,
号 16,
p. 1-6,
発行日 2015-05-19
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
2188-8574 |
| Notice |
|
|
|
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-ARC15215016 (744.0 kB)
