\chapter*{要旨}
当研究室ではOSの信頼性の検証を目的としたOSであるGearsOSを開発している。GearsOSはユーザレベルとメタレベルを分離して記述を行うことで拡張性と信頼性の補償を目指している。
GearsOSはContinuation based C(以下CbC)で記述されており,Gearというプログラミング概念を持つ。
GearsOSは現在開発途上であるため、現在は言語フレームワークとして実装されている。OSとして起動するためにこれから実装が必要な機能が多く存在しており、その中の一つとして分散ファイルシステムが挙げられる。
GearsOSの分散ファイルシステムでは、当研究室が開発している分散フレームワークChristieの仕組みを用いる。
ChrisitieはGearsOSと異なるGearというプログラミング概念をもち、DataGearManagerというDataPoolをノード間でsocket接続することで通信を実装している。
GearsOSのファイルはDataGearManagerと同様な構成として、ファイルであると同時に通信処理そのものに相当する。
本研究ではChristieのDataGearManagerをファイルとして用い、その通信のAPIの構成を行った。

GearsOSのファイルシステムは従来のファイルシステムの問題点を解決した実装を取り込めるような構成にしたい。
従来のファイルシステムの問題点の一部として、ファイルシステムはデータベースでなくレコード単位での操作が行えない、バックアップや証明書などの機能はアプリケーションに依存している点などが挙げられる。
将来的な実装を鑑みてファイルシステムの実装を行う。

また、GearsOSを純粋に利用して記述を行うプロジェクトは本研究が初めてとなる。
分散ファイルシステムの構成を行うと同時に、GearsOSの言語フレームワークとしての評価と検討を行った。


\chapter*{Abstract}
In our laboratory, we are developing GearsOS, an operating system for verifying the reliability of operating systems, which aims to compensate for scalability and reliability by separating user-level and meta-level descriptions.
GearsOS is written in Continuation based C (CbC) and has the programming concept of Gears.
Since GearsOS is still under development, it is currently implemented as a language framework, and there are many functions that need to be implemented in order to run as an OS, one of which is a distributed file system.
The distributed file system of GearsOS uses the distributed framework Christie, which is developed by our laboratory.
Christie has a different programming concept called "Gear" from GearsOS, and implements communication by connecting a DataPool called DataGearManager to a socket between nodes.
The files in GearsOS are structured in the same way as DataGearManager, so that they are not only files but also correspond to the communication process itself.
In this study, we used Christie's DataGearManager as a file and configured the API for its communication.

The file system of GearsOS should be configured in such a way that it can incorporate implementations that solve the problems of conventional file systems.
Some of the problems with conventional file systems are that they are not databases and cannot be manipulated on a record-by-record basis, and that functions such as backup and certificates are dependent on the application.
The file system will be implemented in view of future implementations.

In addition, this research is the first project that purely uses GearsOS for description.
While constructing the distributed file system, we also evaluated and examined GearsOS as a language framework.