WEKO3
-
RootNode
アイテム
OCamlによるOSの実装
https://ipsj.ixsq.nii.ac.jp/records/67424
https://ipsj.ixsq.nii.ac.jp/records/67424dada1335-8161-40e5-be28-818f237d23d0
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-OS10113004.pdf (797.1 kB)
|
Copyright (c) 2010 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2010-01-20 | |||||||
| タイトル | ||||||||
| タイトル | OCamlによるOSの実装 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Implementation of an Operating System in OCaml | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | OS実装法 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 電気通信大学 | ||||||||
| 著者所属 | ||||||||
| 電気通信大学 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| The University of Electro-Communications | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| The University of Electro-Communications | ||||||||
| 著者名 |
井上, 翔大
大山, 恵弘
× 井上, 翔大 大山, 恵弘
|
|||||||
| 著者名(英) |
Shouta, Inoue
Yoshihiro, Oyama
× Shouta, Inoue Yoshihiro, Oyama
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 現在，Java，C#，ML のような高い生産性での安全なプログラミングを支援する現代的なプログラミング言語が様々な目的で利用されている．しかし，OS や組み込み系ソフトウェアなどの低レベルのシステムソフトウェアの分野では，未だに C 言語が広く用いられており，低い生産性や致命的なバグの原因となっている．そこで，本研究では，現代的な関数型言語 OCaml で OS を開発し，低レベルのシステムソフトウェアの記述における関数型言語の有効性を評価する．その OS は極めて小さいが，カーネル空間とユーザ空間の分離，マルチタスク，割り込み処理，初歩的な入出力デバイス管理などのいくつかの基本 OS 機構を備えている．その OS の大部分は OCaml で記述され，残りは C 言語とアセンブリ言語で記述されている．この論文では，その OS の設計と実装について述べるとともに，開発を通じて得た，関数型言語を使用することの利害得失などに関する知見を示す． | |||||||
| 論文抄録(英) | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | Modern programming languages such as Java, C#, and ML support secure and high productivity programming, and are currently used on various purposes. Unfortunately, in the field of low-level system software including operating systems and embedded software, the C language is still widely used and causes low productivity and critical bugs. In this work, we develop an operating system in a modern functional language OCaml, and evaluate the effectiveness of functional languages in writing low-level system software. Though the operating system is extremely small, it provides several basic operating system mechanisms including user-kernel separation, multitasking, interrupt handling, and primitive I/O device handling. Most of the operating system is described in OCaml, and the rest is described in C and assembly. This paper decribes the design and implementation of the operating system, and presents several insights we obtained through the development (e.g., pros and cons of using functional languages). | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10444176 | |||||||
| 書誌情報 |
研究報告システムソフトウェアと オペレーティング・システム（OS） 巻 2010-OS-113, 号 4, p. 1-8, 発行日 2010-01-20 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
