• 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 のフラグを強制的に立たせる実装に変更。
• 専用関数がなくなったことで今後より楽なアップデートを行なっていくことができるようになった。

• 最適化無しに比べると GCC-4.5、 GGC-4.6 共にコードセグメントの数が減っている。
• これは、最適化の 1 つ『インライン展開』により各コードセグメントの計算がまとめて行われ、 継続する数を減らされている為。
• GCC-4.5 でもインライン展開はされていたが、GCC-4.6 はより良い最適化がかけられている。

• 今回の『インライン展開』のように GCC の最適化は日々改良されていく。
• また、既存の最適化の改良だけでなく新たな最適化の追加等も行われていく。
• それらの恩恵を受ける為にも GCC のアップデートに合わせていく事は今後も重要である。

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

今後の課題

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

• conv1 プログラムでは計算と継続を交互に繰り返し行なう。

• しかし状態のいくつかへは関数ポインタとして保存させておき継続を行う。

  __code g(int i,stack sp) { // Caller
      struct f_g0_interface c = 
          (struct f_g0_interface )(sp -= sizeof(struct f_g0_interface));
  
  c->ret = g_h1;
  c->i_ = i;
  goto h(i+3,sp);
  }
  

__code h(int i,stack sp) { struct f_g0_interface c = (struct f_g0_interface )sp; goto (c->ret)(i+4,sp); }

• 関数ポインタへの継続はインライン展開されない。

• 環境付き継続: 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);
  }
  

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