WEKO3
アイテム
GearsOSにおけるinodeを用いたファイルシステムの構築
https://ipsj.ixsq.nii.ac.jp/records/218154
https://ipsj.ixsq.nii.ac.jp/records/2181540b42f2cf-af47-405b-8654-3f4d5d46ed37
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-OS22155012.pdf (913.3 kB)
|
Copyright (c) 2022 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2022-05-19 | |||||||||
| タイトル | ||||||||||
| タイトル | GearsOSにおけるinodeを用いたファイルシステムの構築 | |||||||||
| タイトル | ||||||||||
| 言語 | en | |||||||||
| タイトル | Building a Filesystem using inode in GearsOS | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| キーワード | ||||||||||
| 主題Scheme | Other | |||||||||
| 主題 | 言語・ランタイム | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||
| 資源タイプ | technical report | |||||||||
| 著者所属 | ||||||||||
| 情報処理学会／現在，琉球大学大学院理工学研究科工学専攻知能情報プログラム | ||||||||||
| 著者所属 | ||||||||||
| 情報処理学会／現在，琉球大学大学院理工学研究科工学専攻知能情報プログラム | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| IPSJ / Presently with University of the Ryukyus, Graduate School of Engineering and Science | ||||||||||
| 著者所属(英) | ||||||||||
| en | ||||||||||
| IPSJ / Presently with University of the Ryukyus, Graduate School of Engineering and Science | ||||||||||
| 著者名 |
又吉, 雄斗
× 又吉, 雄斗
× 河野, 真治
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | 当研究室では，Continuation based C（CbC）を用い，定理証明やモデル検査などで信頼性を保証することを目的とした GearsOS を開発している．現在，GearsOS には未実装の機能がいくつかあり，その一つとしてファイルシステムが挙げられる．それは，OS 上でアプリケーションを動作させるために，特に重要な機能であり，必要不可欠であるため実装したい．今回，GearsOS のファイルシステムを実装するにあたり，Unixのinode の仕組みを参考にした．また，ファイルシステムと密接な関係であるメモリマネージメントについて考察した． | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN10444176 | |||||||||
| 書誌情報 |
研究報告システムソフトウェアとオペレーティング・システム（OS） 巻 2022-OS-155, 号 12, p. 1-7, 発行日 2022-05-19 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 2188-8795 | |||||||||
| Notice | ||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
