Code GearとData Gearを持つGears OSの設計

摘要

現代のOSでは拡張性と信頼性を両立させることが要求されている。信頼性をノーマ ルレベルの計算に対して保証し、拡張性をメタレベルの計算で実現することを目標にGears OSを設計中である。Gears OSはContinuation based C(CbC)によってアプリケーション とOSそのものを記述する。OSの下ではプログラムの記述は通常の処理の他に、メモリ管理、スレッドの待ち合わせやネットワークの管理、エラーハンドリング等の記述しなければ ならない処理が存在する。これらの計算をメタ計算と呼ぶ。メタ計算を通常の計算から切り離して記述するために、Code Gear、 Data Gearという単位を提案している。CbCはこ のCode GearとData Gearの単位でプログラムを記述する。Code Gear、 Data Gearには それぞれメタレベルの単位であるMeta Code Gear, Meta Data Gearが存在する。Code Gear間の接続は次のCode Gearの番号とthread structureに相当するContextによって 行われる。ューザーレベルではメタ構造を直接見ることはなく、継続を用いた関数型プログ ラミングに見える。メタレベルから見たData GearをューザーレベルのCode Gearに接続 するにはstubというMeta Code Gearを用いる。stubとMetaはューザーレベルCode GearとData Gearからスクリプトにより作成される。変換に必要な情報はプログラムを構 成するCode GearとData Gearの集まりから得る。この集まりをInterfaceとして定義し ている。本論文では、Interfaceを用いたプログラミングと、メタ計算の実例を示す。