# HG changeset patch # User matac42 # Date 1683880166 -32400 # Node ID d6fc7c32dd01c2263ba8fa9ecb2a41bf333781a2 # Parent 3723507bd8e4941224f5fc14c24d35fc136af733 scheme diff -r 3723507bd8e4 -r d6fc7c32dd01 marp-slide/slide.md --- a/marp-slide/slide.md Fri May 12 16:52:58 2023 +0900 +++ b/marp-slide/slide.md Fri May 12 17:29:26 2023 +0900 @@ -4,7 +4,7 @@ paginate: true --- -# GearsOSのファイルシステムとDB +# Gears OSのファイルシステムとDB +--- --> + +## ファイルシステムにおけるスキーマ + +- Gears OSのデータは全てDataGearで表されるため，Gears OSにおけるファイルシステムはDataGearの集合となる +- Gears OSにおけるスキーマとはDataGear上のキーの構成であることがわかる +- 今回のRedBlackTreeによる構成の場合，キーはRedBlackTreeを指す +- KernelのContext上にキーを用いたDataGearの参照を書き込む --- @@ -226,7 +237,7 @@ --- -## 今後の課題 +## 今後の課題・展望 - データクエリ言語 - 時系列データ diff -r 3723507bd8e4 -r d6fc7c32dd01 marp-slide/template.html --- a/marp-slide/template.html Fri May 12 16:52:58 2023 +0900 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,94 +0,0 @@ -
-

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

- -

琉球大学 理工学研究科 知能情報プログラム
-河野研究室

-

又吉 雄斗

-
-
-

研究目的

-
    -
  • アプリケーションの信頼性を保証するために，
    -アプリケーションが動作するOSの信頼性を高める必要がある
    • -
  • 信頼性確保の方法として定理証明やモデル検査がある
    • -
  • 当研究室では，信頼性の保証を目的としたGearsOSを開発している
    • -
  • GearsOSで未実装の機能であるファイルシステムの実装を目指す
    • -
-
-
-

真ん中タイトル

-
-
-

Bullet Points

-
    -
  • Show all
    • -
  • at once
    • -
-
    -
  • or one
    • -
  • by one
    • -
-
-
-

Tables

- - - - - - - - - - - - - -
HeaderHeader
TextText
-
-
-

CodeGear Transition

-
    -
  • CodeGear receives DataGear
    • -
  • CodeGear writes to the next DataGear
    • -
-
-
-

Code

-

raw_socket

-
__code raw_socket_init(){
-     int sock = socket(PF_PACKET, SOCK_RAW, htons(ETH_P_ALL));
-     if(sock == -1){
-         perror("Failed to open socket");
-         exit(1);
-     }
-     uint8_t buf[1550];
- 
-     goto raw_socket(sock, buf, sizeof(buf));
- }
-
-
-
-

References

- -
-

スピーカーノート

\ No newline at end of file