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

研究目的

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

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

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

状況

止まってます助けてください…。

• data segmentはclangレベルでは構造体みたいに扱って __code みたいにキーワード作ってマーカーにする。
• キーワードを頼りに宣言の自動宣言を行うとか。
• LLVM IR 変換手前までは構造体のように扱うとか。
• 基本的にはシグネチャによる内部構造を持つ構造体みたいな？
• シグネチャが必要となるのは実行時コンパイルするとき？
• 拡張したいときは拡張用の構文を使って拡張できるようにするとか。

方向

• __dataくらいでデータセグメント宣言できるようにする。
• 中身のための構造体の定義を自動生成する。
• シグネチャはLLVM IRレベルくらいで持たせてその後コンパイルするときにどうこうする？
• 構文を考えて実装する。