# HG changeset patch # User matac42 # Date 1653361283 -32400 # Node ID e5dbeddc99582e940851fe5b6bc9b8e27fb40e25 # Parent 687e04e14a2c8b868ed5e2b811c77d9b5ebd5191 add memory section diff -r 687e04e14a2c -r e5dbeddc9958 slide/slide.html --- a/slide/slide.html Tue May 24 06:08:00 2022 +0900 +++ b/slide/slide.html Tue May 24 12:01:23 2022 +0900 @@ -7,10 +7,10 @@ - GearsOSにおけるinodeを用いたFile systemの実装 + GearsOSにおける<br />inodeを用いたファイルシステムの構築 - + @@ -70,15 +70,15 @@
-

GearsOSにおけるinodeを用いたFile systemの実装

+

GearsOSにおける
inodeを用いたファイルシステムの構築

- 又吉　雄斗 - 並列信頼研 + Matayoshi Yuto, Shinji Kono + 琉球大学
@@ -102,8 +102,9 @@
  • 当研究室では，信頼性の保証を目的としたGearsOSを開発している
  • GearsOSで未実装の機能であるファイルシステムの実装を目指す
  • 今回はUnix likeにディレクトリシステムを実装した
    • -
  • GearsOSへUnixのFile systemの仕組みを取り入れるアプローチをとる
    • +
  • GearsOSへUnixのファイルシステムの仕組みを取り入れるアプローチをとる
  • GearsOSのディレクトリシステムであるgearsDirectoryについて説明する
    • +
  • 未実装であるメモリマネージャーについて考察する
    • @@ -216,9 +217,9 @@
    -

    UnixのFile system

    +

    Unixのファイルシステム

    -

    UnixのFile systemはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている

    +

    UnixのファイルシステムはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている

    xv6

    @@ -226,7 +227,7 @@
  • MITで教育用の目的で開発されたOS
  • Unixの基本的な構造を持つ
  • 当研究室ではxv6のCbCでの書き換え，分析を行なっている
    • -
  • File systemではinodeの仕組みが用いられている
    • +
  • ファイルシステムではinodeの仕組みが用いられている

    • inode

    @@ -392,6 +393,24 @@
    +

    GearsOSにおけるメモリマネージメントシステム

    + +
      +
    • 現在，GearsOSがメモリの資源を用いる際にはmallocを用いている
      • +
    • メモリとディスク上のデータ構造が等しくなる形で実装したい +
        +
      • 単純なコピーでメモリとディスク間のデータやり取りを行うことができる
        • +
      +
      • +
    • ガベージコレクションはCopying GCを用いる
      • +
    + + + +
    + +
    +

    gearsDirectoryまとめ

      diff -r 687e04e14a2c -r e5dbeddc9958 slide/slide.md --- a/slide/slide.md Tue May 24 06:08:00 2022 +0900 +++ b/slide/slide.md Tue May 24 12:01:23 2022 +0900 @@ -1,6 +1,6 @@ -title: GearsOSにおけるinodeを用いたFile systemの実装 -author: 又吉　雄斗 -profile: 並列信頼研 +title: GearsOSにおける
      inodeを用いたファイルシステムの構築 +author: Matayoshi Yuto, Shinji Kono +profile: 琉球大学 ## inodeを用いたgearsDirectoryの実装 @@ -10,8 +10,9 @@ - 当研究室では，信頼性の保証を目的としたGearsOSを開発している - GearsOSで未実装の機能であるファイルシステムの実装を目指す - 今回はUnix likeにディレクトリシステムを実装した -- GearsOSへUnixのFile systemの仕組みを取り入れるアプローチをとる +- GearsOSへUnixのファイルシステムの仕組みを取り入れるアプローチをとる - GearsOSのディレクトリシステムであるgearsDirectoryについて説明する +- 未実装であるメモリマネージャーについて考察する ## Continuation based C @@ -73,16 +74,16 @@
    -## UnixのFile system +## Unixのファイルシステム -UnixのFile systemはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている +UnixのファイルシステムはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている ### xv6 - MITで教育用の目的で開発されたOS - Unixの基本的な構造を持つ - 当研究室ではxv6のCbCでの書き換え，分析を行なっている -- File systemではinodeの仕組みが用いられている +- ファイルシステムではinodeの仕組みが用いられている ### inode @@ -209,6 +210,13 @@
    +## GearsOSにおけるメモリマネージメントシステム + +- 現在，GearsOSはメモリの資源をmallocで用いる +- メモリとディスク上のデータ構造が等しくなる形で実装したい + - 単純なコピーでメモリとディスク間のデータやり取りを行うことができる +- ガベージコレクションはCopying GCを用いる + ## gearsDirectoryまとめ - gearsDirectoryの実装について説明した diff -r 687e04e14a2c -r e5dbeddc9958 slide/slide.pdf.html --- a/slide/slide.pdf.html Tue May 24 06:08:00 2022 +0900 +++ b/slide/slide.pdf.html Tue May 24 12:01:23 2022 +0900 @@ -7,10 +7,10 @@ - GearsOSにおけるinodeを用いたFile systemの実装 + GearsOSにおける<br />inodeを用いたファイルシステムの構築 - + @@ -55,15 +55,15 @@
    -

    GearsOSにおけるinodeを用いたFile systemの実装

    +

    GearsOSにおける
    inodeを用いたファイルシステムの構築

    - 又吉　雄斗 - 並列信頼研 + Matayoshi Yuto, Shinji Kono + 琉球大学
    @@ -86,8 +86,9 @@
  • 当研究室では，信頼性の保証を目的としたGearsOSを開発している
  • GearsOSで未実装の機能であるファイルシステムの実装を目指す
  • 今回はUnix likeにディレクトリシステムを実装した
    • -
  • GearsOSへUnixのFile systemの仕組みを取り入れるアプローチをとる
    • +
  • GearsOSへUnixのファイルシステムの仕組みを取り入れるアプローチをとる
  • GearsOSのディレクトリシステムであるgearsDirectoryについて説明する
    • +
  • 未実装であるメモリマネージャーについて考察する
    • @@ -200,9 +201,9 @@
    -

    UnixのFile system

    +

    Unixのファイルシステム

    -

    UnixのFile systemはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている

    +

    UnixのファイルシステムはBTreeを用いたinodeで構成されており，xv6もその仕組みを用いている

    xv6

    @@ -210,7 +211,7 @@
  • MITで教育用の目的で開発されたOS
  • Unixの基本的な構造を持つ
  • 当研究室ではxv6のCbCでの書き換え，分析を行なっている
    • -
  • File systemではinodeの仕組みが用いられている
    • +
  • ファイルシステムではinodeの仕組みが用いられている

    • inode

    @@ -376,6 +377,24 @@
    +

    GearsOSにおけるメモリマネージメントシステム

    + +
      +
    • 現在，GearsOSがメモリの資源を用いる際にはmallocを用いている
      • +
    • メモリとディスク上のデータ構造が等しくなる形で実装したい +
        +
      • 単純なコピーでメモリとディスク間のデータやり取りを行うことができる
        • +
      +
      • +
    • ガベージコレクションはCopying GCを用いる
      • +
    + + + +
    + +
    +

    gearsDirectoryまとめ