WEKO3
-
RootNode
アイテム
GearsOSのPagingとSegmentation
https://ipsj.ixsq.nii.ac.jp/records/195890
https://ipsj.ixsq.nii.ac.jp/records/195890a45c4f61-bfa4-4645-89b0-0d069c9c3747
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-OS19146006.pdf (714.5 kB)
|
Copyright (c) 2019 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2019-05-23 | |||||||||||
| タイトル | ||||||||||||
| タイトル | GearsOSのPagingとSegmentation | |||||||||||
| タイトル | ||||||||||||
| 言語 | en | |||||||||||
| タイトル | Implement Paging and Segmentation on GearsOS | |||||||||||
| 言語 | ||||||||||||
| 言語 | jpn | |||||||||||
| キーワード | ||||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | OS | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||||
| 資源タイプ | technical report | |||||||||||
| 著者所属 | ||||||||||||
| 琉球大学理工学研究科情報工学専攻 | ||||||||||||
| 著者所属 | ||||||||||||
| 琉球大学理工学研究科情報工学専攻 | ||||||||||||
| 著者所属 | ||||||||||||
| 琉球大学理工学研究科情報工学専攻／現在，琉球大学知能情報コース | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Ryukyu University | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Ryukyu University | ||||||||||||
| 著者所属(英) | ||||||||||||
| en | ||||||||||||
| Ryukyu University | ||||||||||||
| 著者名 |
桃原, 優
× 桃原, 優
× 東恩納, 琢偉
× 河野, 真治
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | 現代の OS では，User Space で Page Table Entry によるメモリ管理を行える OS は少ない．本研究室ではメタレベルの処理を記述できる CbC と CbC を用いて実装する GearsOS の開発を行っている．CbC を用いることでメモリ管理などの資源管理を行えるようになるが，現在の GearsOS でのメモリ管理では単に Page Table Entry をコピーする Fork で実装している．さらに，資源管理を行える CbC で軽量なハードウェアでも動かせるように Arm のバイナリを出力する Xv6 という OS を CbC で書き直して GearsOS を開発する手法も行なっている．本論文では Xv6 を参考に GearsOS にメモリ管理を行う API を考察する． | |||||||||||
| 論文抄録(英) | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | In modern OS, there are few OS that can manage memory by Page Table Entry in User Space. In this laboratory, we are developing GearsOS which is implemented using CbC and CbC that can describe meta-level processing. Using CbC enables resource management such as memory management, but with the current memory management with GearsOS, it is implemented by Fork, which simply copies Page Table Entry. In addition, CbC is used to rewrite the OS called Xv6 that outputs Arm binary so that it can run even lightweight hardware that can execute resource management, and also develops GearsOS. In this paper, we will consider the API that manages memory in GearsOS referring to Xv6. | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AN10444176 | |||||||||||
| 書誌情報 |
研究報告システムソフトウェアとオペレーティング・システム（OS） 巻 2019-OS-146, 号 6, p. 1-3, 発行日 2019-05-23 |
|||||||||||
| ISSN | ||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||
| 収録物識別子 | 2188-8795 | |||||||||||
| Notice | ||||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
