• CbC のコンパイラは Micro-C 版 と GCC ベース(以下 CbC-GCC)のコンパイラが開発されている。
• しかし, CbC-GCC はいくつかのバグがあり機能の修正の余地があった。
• また、GCC の最新の機能を使用するためにも CbC-GCC は GCC のアップデートに合わせていく必要がある。
• 本研究では、GCC-4.5 をベースとしていた CbC-GCC を GCC-4.6 へのアップデートをすると共に実装の修正を行った。

コードセグメント単位での記述と継続を基本としたプログラミング言語

• C の関数よりも細かな単位
• C から関数コールとループ制御が取り除かれた形
• コードセグメントの末尾処理で別のコードセグメントへ継続(goto)することで CbC のプログラムは続いていく。

継続:現在の処理を実行していく為の情報

Cの継続	CbCの継続(軽量継続)
続く命令のアドレス 命令に必要なデータ スタックに積まれている値(環境)	Cの継続から環境を除外 続く命令とその命令に必要なデータのみ

Tail Call Elimination

void f(int a, int b) { printf("f: a=%d b=%d\n",a,b); return ; } void g(int a, int b){ printf("g: a=%d b=%d\n",a,b); f(a,b); return; } int main() { g(3,4); return 0; }

Tail Call Elimination の条件

• caller側とcallee側の戻値の型の一致している。
• 関数呼び出しがリターン直前に行われている。
• 呼出先関数の引数に用いられるスタックサイズが呼出元のそれより少ない。
• 引数の並びのコピーに上書きがない。

条件回避の為の実装

• コードセグメントの型はvoid型で統一する。
• gotoの直後に自動で return を置く。
• スタックサイズは固定にする。
• 引数は一旦、一時変数にコピーする。

Tail Call Elimination の条件をチェックする expand_call関数

• 今までの実装では Tail Call Elimination の条件をクリアする為に専用の関数を用意していた。
• この専用関数は元々ある GCC コードを元に作成している為, アップデートに合わせて修正していく 必要があった。
• しかし, 今回の実装でその関数を無くし, Tail Call Elimination のフラグを強制的に立たせる実装に変更。
• 専用関数がなくなったことでより今後より楽なアップデートを行なっていくことができるようになった。

各コンパイラにより生成されたコードの速度比較

引数 1 の時のプログラム

• インライン展開の最適化がより良くなっていることができた.
• また, GCC では新たな最適化もアップデートが行われていく.

• 今回 CbC-GCC を GCC-4.6 へとアップデートを行った.
• アップデートに伴い最適化の強制付与や環境付き継続の部分の実装の修正を行った.
• アップデートにかけたことで, より良い最適化がかかることを確認できた.
• GCC ベースの CbC コンパイラは今後 GCC のアップデートに合わせていくだけとなる.

今後の課題

• LLVM ベースの CbC コンパイラの開発
• google Go 言語への実装の検討

• 環境付き継続: C との互換を取るための機能。継続を行った C の関数に戻ることができる。
• _CbC_return、 _CbC_environment キーワードを使うことで使える。

• 以下の使い方の場合、戻値 1 を返す。

  code c1(code ret(int,void ),void env) {
      goto ret(1,env);
  }
  int main() {
      goto c1(return, environment);
  }
  

• 今回この環境付き継続をスレッドセーフの実装へと修正した。