Papers/2012/nobu-thesis: paper/resume.tex annotate

annotate paper/resume.tex @ 6:b6584cc0f737 draft

modify resume.tex

author	Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date	Tue, 21 Feb 2012 17:54:52 +0900
parents	be5b510b6d44
children	1f5bfcd8b685

rev	line source
4 be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1 \documentclass[twocolumn,twoside,9.5pt]{jarticle}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	2 %\usepackage[dvips]{graphicx}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	3 \usepackage[dvipdfm]{graphicx}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	4 \usepackage{picins}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	5 \usepackage{fancyhdr}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	6 \usepackage{listings}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	7 \usepackage{url}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	8 \pagestyle{fancy}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	9
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	10 \lhead{\parpic{\includegraphics[height=1zw,clip,keepaspectratio]{figure/emblem-bitmap.eps}}琉球大学主催工学部情報工学科卒業研究発表会}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	11 \rhead{}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	12 \cfoot{}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	13
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	14 \setlength{\topmargin}{-1in \addtolength{\topmargin}{15mm}}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	15 \setlength{\headheight}{0mm}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	16 \setlength{\headsep}{5mm}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	17 \setlength{\oddsidemargin}{-1in \addtolength{\oddsidemargin}{11mm}}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	18 \setlength{\evensidemargin}{-1in \addtolength{\evensidemargin}{21mm}}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	19 \setlength{\textwidth}{181mm}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	20 \setlength{\textheight}{261mm}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	21 \setlength{\footskip}{0mm}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	22 \pagestyle{empty}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	23
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	24 \begin{document}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	25 \title{Continuation based C コンパイラのGCC-4.6における実装}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	26 \author{学籍番号:085711E 氏名:大城信康 {}{} 指導教員 : 河野真治}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	27 %\date{H23 11/18 fri}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	28 %\date{平成23 年11 月18 日}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	29 \maketitle
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	30 \thispagestyle{fancy}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	31
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	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) を提案している.
4 be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	34 コードセグメントは並列実行の単位として使うことができ, プログラムの正しさを示す単位としても使用することができる.これにより,
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	35 Many Core での並列実行を高い性能と高い信頼性で実現することができると考えている.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	36
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	37 GCC をベースとした CbC のコンパイラ (以下 CbC-GCC)は, GCC のアップデートに合わせて変更する必要がある.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	38 本研究では, GCC-4.5 をベースとしていた CbC-GCC を GCC-4.6 へのアップデートを行い, Intel64 に対応するとともに, CbC の拡張を行う.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	39
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	40 \section{Continuation basede C (CbC)}
6 b6584cc0f737 modify resume.tex Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 4 diff changeset	41 Continuation based C (以下 CbC) は状態遷移記述をベースとしたプログラミング言語である.
b6584cc0f737 modify resume.tex Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 4 diff changeset	42 構文は C と同じであるが, 継続(goto) やコードセグメントの導入によりループ制御や関数コールが取り除かれる.
b6584cc0f737 modify resume.tex Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: 4 diff changeset	43 CbC のプログラムはコードセグメントから次のコードセグメントへ jmp 命令(goto)により処理を移っていく.
4 be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	44 図\ref{fig:cs}はコードセグメント間の処理の流れを表している.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	45
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	46 \begin{figure}[htpb]
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	47 \begin{center}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	48 \scalebox{0.35}{\includegraphics{figure/codesegment.pdf}}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	49 \end{center}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	50 \caption{コードセグメント間の継続(goto)}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	51 \label{fig:cs}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	52 \end{figure}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	53
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	54
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	55 \section{GCC-4.6 への実装}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	56 GCCでの軽量継続を Tail Call Ellimination (末尾除去)を強制することで実装する.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	57 これにより, コードセグメント間の移動を, call ではなく jmp 命令で実現する.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	58 コードセグメント自体には戻値はない.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	59
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	60 図\ref{fig:continue}は Tail Call Elimination によるプログラムの処理の流れを表す.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	61 \begin{figure}[htpb]
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	62 \begin{center}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	63 \scalebox{0.30}{\includegraphics{figure/continuation.pdf}}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	64 \end{center}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	65 \caption{Tail Call Elimination の例}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	66 \label{fig:continue}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	67 \end{figure}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	68
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	69 \subsection{expand\_call 関数}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	70 GCCでは, ある関数が Tail Call Elimination を行えるかどうかは expand\_call 関数で以下の条件で判断される.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	71
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	72 \begin{itemize}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	73 \item caller 側と callee 側の戻値の型が一致している.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	74 \item 関数呼び出しがリターンの直前に行われている.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	75 \item 呼出先関数の引数に用いられるスタックサイズが呼出元関数のそれより少ない.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	76 \item 引数の並びのコピーに上書きがない.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	77 \end{itemize}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	78
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	79 CbC の実装では上記の条件を, 以下の様にして解決させている.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	80
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	81 \begin{itemize}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	82 \item コードセグメントは void 型で統一する
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	83 \item Cの関数からコードセグメントにgotoする場合は返す値の型チェックを行わない.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	84 \item goto の直後に retrun を置く．
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	85 \item スタックサイズは関数宣言時に決まったサイズにする．
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	86 \item 引数は一旦, 一時変数にコピーして重なりがないようにする．
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	87 \end{itemize}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	88
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	89 GCCでは, この他にもTCEを禁止するルールがあり, GCC-4.5, 4.6 でも
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	90 Tail Call Elimination にかからないコードセグメントがある.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	91 この点を改善する必要がある.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	92
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	93
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	94 \subsection{環境付き継続}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	95 CbC には通常の C の関数からコードセグメントに継続する際,
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	96 その関数から値を戻す処理への継続を得ることができる.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	97 これを環境付き継続という.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	98 これらは, 以下の二種類の CbC で定義した特殊変数である.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	99 \_\_environment は, 環境を表す情報である.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	100 \_\_return は, これを環境付き継続の行き先であり, 関数の戻値と \_\_environment の二つの引数を持つ
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	101 コードセグメントである. 例えば, 以下のように使うと, \verb+main()+ は 1 を返す.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	102
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	103 \begin{verbatim}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	104 __code c1(__code ret(int,void ),void env) {
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	105 goto ret(1,env);
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	106 }
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	107
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	108 int main() {
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	109 goto c1(__return, __environment);
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	110 }
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	111 \end{verbatim}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	112
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	113 GCC内部では, \verb+__return+ は, 関数内で定義された \verb+_cbc_internal_return+関数へのポインタを返す.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	114 戻値は, \verb+cbc_internal_return+ 関数内で定義された変数\verb+retval+を通して返される(Listing\ref{code:retval}) .
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	115 \begin{figure}[h]
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	116 \begin{minipage}[b]{.45\textwidth}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	117 \begin{lstlisting}[caption=環境付き継続を行うコード,label=code:retval]
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	118 ({
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	119 __label__ _cbc_exit0;
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	120 int retval; // should be thread local
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	121 void _cbc_internal_return(int retval_,
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	122 void *_envp){
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	123 retval = retval_;
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	124 goto _cbc_exit0;
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	125 }
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	126 if (0) {
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	127 _cbc_exit0:
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	128 return retval;
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	129 }
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	130 _cbc_internal_return;
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	131 })
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	132 \end{lstlisting}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	133 \end{minipage}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	134 \hfill
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	135 \end{figure}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	136
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	137 \subsubsection{環境付き継続の問題と改良}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	138 環境付き継続で特に重要になってくるのが retval 変数の値をどこに確保するかである.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	139 元々の実装ではListing\ref{code:retval}の様に static で値の確保を行なっていた.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	140 しかしこれではスレッドセーフではない.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	141 そこで retval 変数の値を static thread local で確保することでこの問題の解決を行った.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	142
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	143 \section{構文の追加}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	144
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	145 \subsection{``\_\_rectype''構文}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	146 %\verb+__rectype+キーワードはリカーシブタイプを宣言する時に使われる.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	147 通常, 関数定義において引数の中に自分自身を指す関数ポインタを入れることはできない.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	148 そこで, \verb+__rectype+を使うことでlisting\ref{code:rectype}の用な宣言が行うことができる.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	149 この時\verb+__rectype+は funcPtr を指す.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	150 \begin{figure}[h]
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	151 \begin{minipage}[b]{.45\textwidth}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	152 \begin{lstlisting}[caption=\_\_rectype 構文使用例,label=code:rectype]
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	153 typedef (funcPtr)(int,__rectype);
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	154 \end{lstlisting}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	155 \end{minipage}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	156 \hfill
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	157 \end{figure}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	158
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	159 \subsection{selftype 構文}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	160 selftype 構文は構造体の宣言時に使われる.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	161 listing\ref{code:selftype}な宣言が行える.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	162 この場合, selftype は struct node を指す.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	163 \begin{figure}[h]
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	164 \begin{minipage}[b]{.45\textwidth}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	165 \begin{lstlisting}[caption=selftype 構文使用例,label=code:selftype]
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	166 struct node {
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	167 int num;
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	168 selftype child;
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	169 }
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	170 \end{lstlisting}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	171 \end{minipage}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	172 \hfill
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	173 \end{figure}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	174
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	175 \section{評価}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	176 今回実装を行った GCC-4.6 ベースと安定版である GCC-4.4 ベース,
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	177 それと Micro-C の CbC コンパイラでベンチマークを行った.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	178 プログラムは Micro-C のベンチマークを使用した.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	179 引数 1 は C で書かれたプログラムをただ CbC へと変換したプログラムである.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	180 引数 2 と 3 は Micro-C 用に手動で最適化を行ったプログラムになる.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	181 Linux 上で 32bit と 64bit それぞれに最適化オプション(-O2)をつけての評価を行った.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	182 結果を図\ref{fig:linux_conv}に示す.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	183 \begin{figure}[htpb]
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	184 \begin{center}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	185 \scalebox{0.33}{\includegraphics{figure/conv1_linux.pdf}}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	186 \end{center}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	187 \caption{それぞれのコンパイラにより生成されたコードの速度比較(Linux)}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	188 \label{fig:linux_conv}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	189 \end{figure}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	190
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	191 \subsection{評価の考察}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	192 まず, Micro-C 版より GCC 版コンパイラの方が結果が良いことが確認できる.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	193 GCC-4.5 と GCC-4.6 版を比較してみると手動で最適化を行なっている引数 2 と 3 の結果に余り差はみられない.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	194 しかし CbC へと変換しただけの引数 1 の場合には GCC-4.6 版が 32bit 版は 2.43倍, 64bit 版は 1.68 倍と優っている.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	195 これは GCC-4.5 に比べ GCC-4.6 の最適化が修正されている為である.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	196
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	197 \section{今後の課題}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	198 今回, CbC コンパイラを GCC-4.6 へとアップデートを行った.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	199 アップデートに伴い実装の修正と Intel64 ビットへの対応を行った.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	200 また, CbC の記述に便利な新たな構文の追加も行うことができた.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	201
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	202 GCC 版 CbC コンパイラは細かい実装の除けば, 以後 GCC のアップデートに合わせていくだけとなる.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	203 CbC コンパイラの今後としては LLVM への実装, もしくは Google go 言語での実装の検討を行なっていく予定である.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	204
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	205 %今後は本稿で述べた CbC-GCC の問題点を改善していく必要がある.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	206 %また,CbC を GCC だけでなく LLVM での実装や,C 言語以外の言語への変更も検討していく.
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	207
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	208 \thispagestyle{fancy}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	209 \begin{thebibliography}{3}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	210
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	211 \bibitem{1}{河野真治}:
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	212 ``継続を基本とした言語 CbC の gcc 上の実装''. 日本ソフトウェア科学会第 19 回大会論文集, Sep, 2002
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	213
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	214 \bibitem{2}{与儀健人,河野真治}:
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	215 ``Continuation based CコンパイラのGCC-4.2による実装''. 琉球大学　情報工学科学位論文, 2008
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	216
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	217 \bibitem{3}{GNU Compiler Collection (GCC) Internals}:
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	218 ``http://gcc.gnu.org/onlinedocs/gccint/''
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	219
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	220
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	221 \end{thebibliography}
be5b510b6d44 add some files Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	222 \end{document}

Mercurial > hg > Papers > 2012 > nobu-thesis

annotate paper/resume.tex @ 6:b6584cc0f737 draft