Mercurial > hg > Papers > 2012 > nobu-thesis
annotate paper/resume.tex @ 39:a6540714dda9 draft
modify presen
| author | Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> |
|---|---|
| date | Tue, 28 Feb 2012 20:01:28 +0900 |
| parents | fec3611b1e7f |
| children |
| rev | line source |
|---|---|
| 4 | 1 \documentclass[twocolumn,twoside,9.5pt]{jarticle} |
| 2 %\usepackage[dvips]{graphicx} | |
| 3 \usepackage[dvipdfm]{graphicx} | |
| 4 \usepackage{picins} | |
| 5 \usepackage{fancyhdr} | |
| 6 \usepackage{listings} | |
| 7 \usepackage{url} | |
| 8 | |
| 9 \lhead{\parpic{\includegraphics[height=1zw,clip,keepaspectratio]{figure/emblem-bitmap.eps}}琉球大学主催 工学部情報工学科 卒業研究発表会} | |
| 10 \rhead{} | |
| 11 \cfoot{} | |
| 12 | |
| 13 \setlength{\topmargin}{-1in \addtolength{\topmargin}{15mm}} | |
| 14 \setlength{\headheight}{0mm} | |
| 15 \setlength{\headsep}{5mm} | |
| 16 \setlength{\oddsidemargin}{-1in \addtolength{\oddsidemargin}{11mm}} | |
| 17 \setlength{\evensidemargin}{-1in \addtolength{\evensidemargin}{21mm}} | |
| 18 \setlength{\textwidth}{181mm} | |
| 19 \setlength{\textheight}{261mm} | |
| 20 \setlength{\footskip}{0mm} | |
| 21 \pagestyle{empty} | |
| 22 | |
| 23 \begin{document} | |
| 20 | 24 \title{Continuation based C コンパイラのGCC-4.6による実装} |
| 4 | 25 \author{学籍番号:085711E 氏名:大城信康 {}{} 指導教員 : 河野真治} |
| 20 | 26 \date{} |
| 4 | 27 %\date{H23 11/18 fri} |
| 28 %\date{平成23 年11 月18 日} | |
| 29 \maketitle | |
| 30 \thispagestyle{fancy} | |
| 31 | |
| 13 | 32 \section{はじめに} |
|
6
b6584cc0f737
modify resume.tex
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
4
diff
changeset
|
33 当研究室ではプログラムをコードセグメント (Code Segment) 単位で記述するプログラミング言語 Continuation based C (以下 CbC) を提案している. |
| 13 | 34 コードセグメントは C の関数よりも細かな単位で, 状態を表すことができる. |
| 18 | 35 その為 CbC では状態遷移記述を行うことができ, 状態探索といったモデル検査等に使えると考えている. |
| 4 | 36 |
|
15
6a667be77762
modify Makefile
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
14
diff
changeset
|
37 CbC のコンパイラとしては Micro-C 版と GCC ベースのコンパイラ(以下 CbC-GCC) が開発されている. |
|
6a667be77762
modify Makefile
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
14
diff
changeset
|
38 しかし, CbC-GCC はいくつかバグがあり機能の修正の余地があった. |
| 13 | 39 また, GCC の最新の機能を使用する為にも CbC-GCC は GCC のアップデートに合わせていく必要がある. |
| 17 | 40 本研究では, GCC-4.5 をベースとしていた CbC-GCC を GCC-4.6 へのアップデートをすると共に実装の修正 |
| 18 | 41 を行った. |
| 4 | 42 |
| 43 \section{Continuation basede C (CbC)} | |
| 19 | 44 CbC のプログラムはコードセグメント毎に記述され, コード間をgoto(軽量継続)により処理を移る. |
| 45 構文は C と同じであるが, ループ制御や関数コールが取り除かれる. | |
| 46 | |
| 47 \subsection{コードセグメント} | |
| 48 コードセグメントの記述は C の関数の構文と同じで, 型に``\_\_code'' を使うことで宣言できる. | |
| 49 コードセグメントへの移動は``goto'' の後にコードセグメント名と引数を並べて記述することで行える. | |
| 4 | 50 図\ref{fig:cs}はコードセグメント間の処理の流れを表している. |
| 51 | |
| 52 \begin{figure}[htpb] | |
| 53 \begin{center} | |
| 54 \scalebox{0.35}{\includegraphics{figure/codesegment.pdf}} | |
| 55 \end{center} | |
| 56 \caption{コードセグメント間の継続(goto)} | |
| 57 \label{fig:cs} | |
| 58 \end{figure} | |
| 59 | |
| 19 | 60 \subsection{軽量継続(light-weight continuation)} |
| 61 コードセグメントは C の関数と違って返り値を持たず, 処理が終われば次のコードセグメントへと処理を移る. | |
| 62 C において関数呼び出しを繰り返し行う場合, 呼び出された関数の引数の数だけスタックに値が積まれていく. | |
| 63 だが, 返り値を持たないコードセグメントではスタックに値を積んでいく必要な無く, スタックは変更されない. | |
| 64 | |
| 65 %軽量継続により並列化, ループ制御, 関数コールとスタックの操作を意識した最適化がソースコードレベルで行えるようになる. | |
| 66 | |
| 4 | 67 |
| 68 \section{GCC-4.6 への実装} | |
| 17 | 69 CbC の継続は, 環境を保持しない為軽量継続と呼ばれる. |
| 70 GCC における軽量継続は Tail Call Ellimination (末尾除去)を強制することで実装されている. | |
| 10 | 71 これにより, コードセグメント間の移動を, call ではなく jmp 命令で行う. |
| 12 | 72 この為コードセグメントからのは戻値は無くなる. |
| 4 | 73 図\ref{fig:continue}は Tail Call Elimination によるプログラムの処理の流れを表す. |
| 74 \begin{figure}[htpb] | |
| 75 \begin{center} | |
| 76 \scalebox{0.30}{\includegraphics{figure/continuation.pdf}} | |
| 77 \end{center} | |
| 78 \caption{Tail Call Elimination の例} | |
| 79 \label{fig:continue} | |
| 80 \end{figure} | |
| 81 | |
| 16 | 82 \subsection{Tail Call Elimination の強制付与} |
| 83 関数が Tail Call Elimination にかかる為には, ``呼び出し先関数と呼び出し元関数の型が一致している'' | |
| 10 | 84 等といった幾つかの条件をクリアしなければならない. |
|
9
942888c0f8aa
modify explanation of tailcall elimination
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
8
diff
changeset
|
85 これまでの実装ではコードセグメントに条件をクリアさせる為, 専用の関数を用意していた. |
| 12 | 86 しかし今回の実装ではその関数を廃止し, 末尾除去にかかるフラグを落とさせない |
| 17 | 87 コードを追加することで Tail Call Elimination の条件をかわすようになった. |
|
9
942888c0f8aa
modify explanation of tailcall elimination
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
8
diff
changeset
|
88 これにより GCC のアップデート時に伴う専用関数の修正が不要となり, 楽な管理が行えるようになった. |
| 4 | 89 |
| 90 | |
| 91 \section{評価} | |
| 19 | 92 今回実装を行った CbC-GCC-4.6 と CbC-GCC-4.5 でベンチマークを行った. |
| 20 | 93 結果を図\ref{fig:conv1}に示す. |
| 10 | 94 プログラムは Micro-C のベンチマークにも使用されるものである. |
| 19 | 95 このプログラムは演算と継続を交互に行う処理をループの回数分繰り返すというものである. |
|
39
a6540714dda9
modify presen
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
21
diff
changeset
|
96 引数 1 は C で書かれたプログラムをただ CbC へと変換したプログラムになる。 |
|
a6540714dda9
modify presen
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
21
diff
changeset
|
97 %自作のスタックを作り, そこに継続先のコードセグメント(以下 cs)と値を確保して |
|
a6540714dda9
modify presen
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
21
diff
changeset
|
98 %渡していくプログラムである. |
|
a6540714dda9
modify presen
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
21
diff
changeset
|
99 引数 2 と 3 のプログラムは Micro-C 用に手動で最適化を行ったプログラムである. |
| 16 | 100 また評価は \verb+x86_64+ 上の Linux で行った. |
| 12 | 101 |
| 4 | 102 \begin{figure}[htpb] |
| 103 \begin{center} | |
| 16 | 104 \scalebox{0.33}{\includegraphics{figure/conv1_for_resume.pdf}} |
| 4 | 105 \end{center} |
| 16 | 106 \caption{各コンパイラにより生成されたコードの速度比較} |
| 12 | 107 \label{fig:conv1} |
| 4 | 108 \end{figure} |
| 109 | |
| 19 | 110 |
| 4 | 111 \subsection{評価の考察} |
| 12 | 112 手動で最適化を行なっている引数 2 と 3 の時は余り差は無い. |
| 19 | 113 寧ろわずかだが GCC-4.6 版の方が遅くなっている. |
| 114 しかし, 引数 1 の時は GCC-4.6 版 GCC-4.5 版より, 32 bit は 2.45 倍, 64 bit は 1.5 倍以上早いことが確認できる. | |
| 115 これは引数 2 と 3 の処理に比べて引数 1 の処理は最適化にかけにくいことが要因としてあげられる. | |
| 116 GCC-4.6 へとアップデートを行ったことで, より良い最適化にかかることができたと予想する. | |
| 117 | |
| 118 %この結果から GCC-4.5 に比べ GCC-4.6 の最適化が修正されよりよくなっているのが確認できた. | |
| 119 %アセンブラの比較も行なってみると, GCC-4.6 版の方では演算の結果が求められていて | |
| 120 %必要最小限の継続だけを行なうプログラムとなっていた. | |
| 121 | |
| 122 \subsection{アセンブラコードの比較の結果} | |
| 123 では具体的にはどのようなより良い最適化になっているのかを調べてみる. | |
| 124 結果に差の出た引数 1 の時のアセンブラコードを比較した. | |
| 125 まず, プログラムの大まかな流れを図\ref{fig:conv1_arg0}に示す. | |
| 126 \begin{figure}[htpb] | |
| 127 \begin{center} | |
| 128 \scalebox{0.35}{\includegraphics{figure/conv1_arg0.pdf}} | |
| 129 \end{center} | |
| 130 \caption{conv1プログラムの挙動} | |
| 131 \label{fig:conv1_arg0} | |
| 132 \end{figure} | |
| 133 \newpage | |
| 134 四角は cs を, 矢印は継続を表している. | |
| 135 また, cs の中の処理は演算の部分は省いて継続に関する部分だけにしてある. | |
| 136 プログラムの処理は cs f から継続が始まり cs g\_h1 まで継続を行いループするという流れになる. | |
| 137 注意点としては, cs f\_g1, cs g\_h1 への継続は cs f\_g0, cs f\_g で自作のスタック(実態は構造体)に | |
| 138 関数ポインタを入れて置き継続している部分である. | |
| 139 | |
| 140 まず, CbC-GCC-4.5 のアセンブラをみてみると main 関数から``call f''により継続が行われていた. | |
| 141 cs f へと継続後は図\ref{fig:conv1_arg0}に示す通りの動作を行った. | |
| 142 | |
| 143 しかし, CbC-GCC-4.6 の方では main 関数からは``call g\_h1''から継続が行われ, loop check 後も | |
| 144 g\_h1 から継続されていた. | |
| 145 この処理を図\ref{fig:conv1_arg0_2}に示す. | |
| 146 \begin{figure}[htpb] | |
| 147 \begin{center} | |
| 148 \scalebox{0.35}{\includegraphics{figure/conv1_arg0_2.pdf}} | |
| 149 \end{center} | |
| 150 \caption{conv1プログラムの挙動( CbC-GCC-4.6 )} | |
| 151 \label{fig:conv1_arg0_2} | |
| 152 \end{figure} | |
| 153 | |
| 154 cs f から cs h まで継続の処理はインライン展開によりまとめて計算されて定数として出されていた. | |
| 155 cs g\_h1 と cs f\_g1 の処理がインライン展開されないのは, 関数ポインタとして扱っていた為だと思われる. | |
| 156 | |
| 157 %CbC-GCC-4.6 では cs g_h1 までの処理はインライン展開されてまとめて計算を行われていたのが確認できた. | |
| 4 | 158 |
| 159 \section{今後の課題} | |
| 160 今回, CbC コンパイラを GCC-4.6 へとアップデートを行った. | |
| 20 | 161 %アップデートに伴い実装の修正と, 本稿では説明していないが``\verb+__rectype+'' や``selftype''と言った |
| 162 %構文の追加も行えた. | |
| 163 アップデートに伴いより管理のしやすい実装へと修正を行った. | |
| 19 | 164 また, GCC をアップデートしたことで、より協力な最適化がかかることも確認できた. |
| 165 %アップデートに伴い実装の修正を行い, また CbC の記述に便利な新たな構文の追加も行うことができた. | |
| 4 | 166 |
| 167 GCC 版 CbC コンパイラは細かい実装の除けば, 以後 GCC のアップデートに合わせていくだけとなる. | |
| 17 | 168 CbC コンパイラの今後としては LLVM への実装, もしくは Google go 言語での実装の検討も行なっていく予定である. |
| 4 | 169 |
| 170 %今後は本稿で述べた CbC-GCC の問題点を改善していく必要がある. | |
| 171 %また,CbC を GCC だけでなく LLVM での実装や,C 言語以外の言語への変更も検討していく. | |
| 172 | |
| 173 \thispagestyle{fancy} | |
| 174 \begin{thebibliography}{3} | |
| 175 | |
| 176 \bibitem{1}{河野真治}: | |
| 177 ``継続を基本とした言語 CbC の gcc 上の実装''. 日本ソフトウェア科学会第 19 回大会論文集, Sep, 2002 | |
| 178 | |
| 179 \bibitem{2}{与儀健人,河野真治}: | |
| 180 ``Continuation based CコンパイラのGCC-4.2による実装''. 琉球大学 情報工学科 学位論文, 2008 | |
| 181 | |
| 182 \bibitem{3}{GNU Compiler Collection (GCC) Internals}: | |
| 183 ``http://gcc.gnu.org/onlinedocs/gccint/'' | |
| 184 | |
| 185 | |
| 186 \end{thebibliography} | |
| 187 \end{document} |