# HG changeset patch # User Nobuyasu Oshiro # Date 1329814994 -32400 # Node ID 1f5bfcd8b6852387bae3587f8161ac5c73755b23 # Parent b6584cc0f73772acf3c75ac35a6481af3301d418 modify resume.tex diff -r b6584cc0f737 -r 1f5bfcd8b685 paper/resume.tex --- a/paper/resume.tex Tue Feb 21 17:54:52 2012 +0900 +++ b/paper/resume.tex Tue Feb 21 18:03:14 2012 +0900 @@ -5,7 +5,6 @@ \usepackage{fancyhdr} \usepackage{listings} \usepackage{url} -\pagestyle{fancy} \lhead{\parpic{\includegraphics[height=1zw,clip,keepaspectratio]{figure/emblem-bitmap.eps}}琉球大学主催 工学部情報工学科 卒業研究発表会} \rhead{} @@ -40,7 +39,7 @@ \section{Continuation basede C (CbC)} Continuation based C (以下 CbC) は状態遷移記述をベースとしたプログラミング言語である. 構文は C と同じであるが, 継続(goto) やコードセグメントの導入によりループ制御や関数コールが取り除かれる. -CbC のプログラムはコードセグメントから次のコードセグメントへ jmp 命令(goto)により処理を移っていく. +CbC のプログラムはコードセグメントの末尾から次のコードセグメントへの継続を記述することで作られる. 図\ref{fig:cs}はコードセグメント間の処理の流れを表している. \begin{figure}[htpb] @@ -54,7 +53,7 @@ \section{GCC-4.6 への実装} GCCでの軽量継続を Tail Call Ellimination (末尾除去)を強制することで実装する. -これにより, コードセグメント間の移動を, call ではなく jmp 命令で実現する. +これにより, コードセグメント間の移動を, call ではなく jmp 命令行う. コードセグメント自体には戻値はない. 図\ref{fig:continue}は Tail Call Elimination によるプログラムの処理の流れを表す.