| Item type |
Symposium(1) |
| 公開日 |
2019-01-11 |
| タイトル |
|
|
タイトル |
継続を中心とした言語GearsOSのデモンストレーション |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
OS，programming language，CbC，Gears OS |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_5794 |
|
資源タイプ |
conference paper |
| 著者所属 |
|
|
|
琉球大学工学部情報工学科 |
| 著者所属 |
|
|
|
琉球大学工学部情報工学科 |
| 著者所属(英) |
|
|
|
en |
|
|
Information Engineering Course Graduate School of Enginnering and Science University of the Ryukyus |
| 著者所属(英) |
|
|
|
en |
|
|
Faculty of Information Engineering University of the Ryukyus |
| 著者名 |
宮城, 光希
河野, 真治
|
| 著者名(英) |
Mitsuki, Miyagi
Shinji, Kono
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
現代の OS では拡張性と信頼性を両立させることが要求されている。信頼性をノーマルレベルの計算に対して保証し、拡張性をメタレベルの計算で実現することを目標に Gears OS を設計中である。Gears OS は Continuation based C(CbC) によってアプリケーションと OS そのものを記述する。CbC はこの Code Gear と Data Gear の単位でプログラムを記述する。システムやアプリケーションを記述するためにCode Gear と Data Gear を柔軟に再利用する必要がある。このときに機能を接続するAPIと実装の分離が可能であることが望ましい。Gears OS の信頼性を保証するために、形式化されたモジュールシステムを提供する必要がある。本論文では、Interface を用いたモジュールシステムの説明とその応用としての並列 API について考察する。並列API は継続を基本とした関数型プログラミングと両立する必要がある。ここでは、CbC の goto 文を拡張したpar goto 文を導入する。par goto 文を用いることによって Gears OS は並列処理を行う。また、本研究ではハードウェア上でメタレベルの処理、および並列実行を可能とするために、raspberry pi 上での Gears OS の実装についての考察を行う。 |
| 書誌情報 |
第60回プログラミング・シンポジウム予稿集
巻 2019,
p. 59-62,
発行日 2019-01-11
|
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-WPRO2019010.pdf (455.8 kB)
