CbCにおけるデータセグメントの設計

研究目的

当研究室ではプログラムをコードセグメント、データセグメントという単位を用いて書くという手法を提案しており、その手法を用いてプログラミングを行う言語として"CbC"の開発を行っている。

CbCにおいてコードセグメントは処理の単位に相当し、データセグメントはその対象となるデータの単位となる。

データセグメントは C の構造体のように複数のデータ型の値を持つことができ、後から拡張することが可能である。また、構造を示すシグネチャを持ち、それを参照することで異なるバージョンのプログラム間でも正しく動作することが可能になる。

今週やったこと

• data segmnet の実装について考える

data segmentの宣言, アクセス

int main() {
  __data ds; // declaration
  goto code1(ds);
}

// deta segment definition should be generated automatically.
__code code1(input inds, output outds){
        :
  inds.intdata = 1; // access
  inds.string = "data segment";
        :
}
        

• 宣言したいときは型として __data を使う。
• data segmentの定義は自動的に生成する。
  • __data を目印に、そこからアクセスされている値の型を推定する。
  • __data 用に型を用意しておいてLLVM IRにコンパイルするときに型を決めてあげればいける？
• accessの仕方は構造体に倣う。

data segmentの実装

• message pack
• localではmessage packの一つ手前の状態にしておきたい。
  • javaのライブラリがもってるValueクラスのような。
  • c用のmessage packライブラリでは値を渡されたらすぐにバイト列に変換される。
• message packのフォーマットでは各要素の先頭に型情報を持っているから位置と名前を持っておけば特定のデータだけデシリアライズできる。型の照合もこれでできるはず。
  • meta data segmentとして持つことになるはず。
  • 型、位置、名前の三つを持たせてこれだけ見て照合できるようにするほうが良い？
  • message packのtype format