Papers/2011/nobu-prosym: presen/index.html~ annotate

annotate presen/index.html~ @ 65:baace77d7d30

add some pix files

author	Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date	Thu, 29 Dec 2011 00:39:01 +0900
parents	a967ee5a0b0f
children	923dd8de7be2

rev	line source
54 a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	2 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	3
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	4 <html xmlns="http://www.w3.org/1999/xhtml">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	5
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	6 <head>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	7 <style>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	8 .center {
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	9 margin-left: auto;
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	10 margin-right: auto;
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	11 text-align: center;
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	12 }
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	13 .textcenter {
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	14 text-align: center;
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	15 }
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	16 .taninaritop {
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	17 margin: auto;
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	18 width: 95%;
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	19 font-weight: bold;
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	20 }
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	21 </style>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	22 <title>2011/12/20</title>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	23 <!-- metadata -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	24 <meta name="generator" content="S5" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	25 <meta name="version" content="S5 1.1" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	26 <meta name="presdate" content="20111220" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	27 <meta name="author" content="Nobuyasu Oshiro" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	28 <meta name="company" content="University of the Ryukyu" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	29 <!-- meta temporary -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	30 <meta http-equiv="content-type" content="text/html; charset=utf-8" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	31 <meta http-equiv="Content-Script-Type" content="text/javascript" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	32 <meta http-equiv="Content-Style-Type" content="text/css" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	33 <!-- configuration parameters -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	34 <meta name="defaultView" content="slideshow" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	35 <meta name="controlVis" content="hidden" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	36 <!-- configuration extensions -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	37 <meta name="tranSitions" content="true" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	38 <meta name="fadeDuration" content="500" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	39 <meta name="incrDuration" content="250" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	40 <!-- configuration autoplay extension -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	41 <meta name="autoMatic" content="false" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	42 <meta name="playLoop" content="true" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	43 <meta name="playDelay" content="10" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	44 <!-- configuration audio extension -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	45 <meta name="audioSupport" content="false" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	46 <meta name="audioVolume" content="100" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	47 <meta name="audioError" content="false" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	48 <!-- configuration audio debug -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	49 <meta name="audioDebug" content="false" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	50 <!-- style sheet links -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	51 <link rel="stylesheet" href="ui/default_utf/slides.css" type="text/css" media="projection" id="slideProj" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	52 <link rel="stylesheet" href="ui/default_utf/outline.css" type="text/css" media="screen" id="outlineStyle" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	53 <link rel="stylesheet" href="ui/default_utf/print.css" type="text/css" media="print" id="slidePrint" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	54 <link rel="stylesheet" href="ui/default_utf/opera.css" type="text/css" media="projection" id="operaFix" />
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	55 <!-- embedded styles -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	56 <style type="text/css" media="all">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	57 .imgcon {width: 100%; margin: 0 auto; padding: 0; text-align: center;}
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	58 #anim {width: 33%; height: 320px; position: relative;}
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	59 #anim img {position: absolute; top: 0px; left: 0px;}
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	60 </style>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	61 <!-- S5 JS -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	62 <script src="ui/default_utf/slides.js" type="text/javascript"></script>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	63 </head>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	64 <body>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	65
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	66 <div class="layout">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	67 <div id="controls"><!-- DO NOT EDIT --></div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	68 <div id="currentSlide"><!-- DO NOT EDIT --></div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	69 <div id="header"></div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	70 <div id="footer">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	71 <h1>セミナー: 2011/ 12/ 20</h1>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	72 <h2>並列信頼研</h2>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	73 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	74 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	75
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	76 <div class="presentation">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	77
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	78 <div class="slide">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	79 <h1>Continuation based Cの GCC 4.6 上の実装について</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	80 <h3></h3>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	81 <li>大城信康</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	82 <h4><a href="http://ie.u-ryukyu.ac.jp/" rel="external">琉球大学並列信頼研究室</a></h4>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	83 <div class="handout"></div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	84 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	85 <!-- PAGE -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	86 <div class="slide">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	87 <h1>目的と背景(1)</h1>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	88 <li>当研究室ではコードセグメント単位で記述するプログラミング言語Continuation based C (以下CbC)という言語を開発している。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	89 <li>コードセグメントは並列実行の単位として使うことができ、プログラムの正しさを示す単位としても使用することができる。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	90 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	91 <!-- PAGE -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	92 <div class="slide">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	93 <h1>目的と背景(2)</h1>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	94 <li>CbC のコンパイラは2008年に GCC をベースとしたコンパイラが開発された。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	95 <li>GCC をベースとした CbC コンパイラは、GCC のアップデートに合わせ変更する必要がある。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	96 <li>本研究ではGCC-4.5 をベースとしていた CbC コンパイラを GCC-4.6 へのアップデートを行い、Intel64 への対応するとともに CbC の拡張を行う。 </li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	97 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	98 <!-- PAGE -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	99 <div class="slide">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	100 <h1>今週の作業内容</h1>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	101 <li></li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	102 <li>環境付き継続について</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	103 <ul>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	104 <li>変数 retval を static スレッドローカル(TLS)での実装</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	105 </ul>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	106 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	107 <!-- PAGE -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	108 <div class="slide">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	109 <h1>static TLS のGeneric Tree</h1>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	110 <li>変数 retval の宣言(VAR_DECL)</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	111 <li>static TLS の場合追加される情報は以下の2つ:(Linux)</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	112 <ul>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	113 <li>TLS のモデル: TLS_MODEL_LOCAL_EXEC</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	114 <li>static フラグ 1</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	115 </ul>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	116 <li class="incremental">上記の設定で retval を作成しても正しい返り値は得られなかった。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	117 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	118 <!-- PAGE -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	119 <div class="slide">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	120 <h1>環境付き継続の構文木をみる</h1>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	121 <li>環境継続において以下の retval 変数は static で作られている.</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	122 <small>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	123 <pre>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	124 ({
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	125 __label__ _cbc_exit0;
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	126 static __thread int retval;
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	127 void _cbc_internal_return(int retval_, void *_envp){
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	128 printf("in _cbc_internal_return\n",retval_);
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	129 retval = retval_;
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	130 goto _cbc_exit0;
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	131 }
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	132 if (0) {
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	133 _cbc_exit0:
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	134 return retval;
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	135 }
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	136 _cbc_internal_return;
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	137 })
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	138 </pre>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	139 </small>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	140 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	141 <!-- PAGE -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	142 <div class="slide">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	143 <h1>環境付き継続の構文木をみる</h1>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	144 <img src="./pix/BIND_EXPR.png">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	145 <li>BIND_EXPR は{ } の中身を束ねる。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	146 <li>STATEMENT_LIST が1つ1つのプログラムを表す木を持っている。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	147 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	148 <!-- PAGE -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	149 <div class="slide">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	150 <h1>環境付き継続の構文木をみる</h1>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	151 <img src="./pix/STATEMENT_LIST_1.png">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	152 <li>BIND_EXPR は _cbc_internal_return 関数を<br>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	153 ADDR_EXPR は最後の行の _cbc_internal_return を表す。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	154 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	155 <!-- PAGE -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	156 <div class="slide">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	157 <h1>環境付き継続の構文木をみる</h1>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	158 <li>_CbC_return の実装より作られる構文木を見てみる。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	159 <scale>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	160 <img src="./pix/STATEMENT_LIST_2.png">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	161 </scale>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	162 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	163 <!-- PAGE -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	164 <div class="slide">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	165 <h1>環境付き継続の構文木をみる</h1>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	166 <li>出来上がる構文木が違う。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	167 <ul>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	168 <li>DECL_EXPR が 1つ足りない</il>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	169 <li>BIND_EXPR の部分が COND_EXPR になっている。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	170 </ul>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	171 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	172 <!-- PAGE -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	173 <div class="slide">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	174 <h1>DECL_EXPR の問題</h1>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	175 <li>なくなっている DECL_EXPR は VAR_DECL の部分。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	176 <li>static __thread int retval になる。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	177 <li>下記の様にソースを変更</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	178 <pre>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	179 // pushdecl (decl_cond);
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	180 add_stmt (build_stmt(location, DECL_EXPR, pushdecl (decl_cond)));
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	181 </pre>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	182 <li>これで DECL_EXPR が追加された。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	183 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	184 <!-- PAGE -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	185 <div class="slide">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	186 <h1>COND_EXPR の問題</h1>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	187 <li>BIND_EXPR でなくて COND_EXPR になっていた問題。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	188 <li>BIND_EXPR をみると以下の様な構成になっていた。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	189 <img src="./pix/COND_EXPR.png">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	190 <li>BIND_EXPR をなぜか COND_EXPR でもう一度包んでいた。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	191 <small>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	192 <p>COND_EXPR には if(0){ } の中身が入る。</p>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	193 </small>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	194 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	195 <!-- PAGE -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	196 <div class="slide">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	197 <h1>ソースの手直し</h1>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	198 <li>if(0){ } の構文木が作られる手順を元に<br>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	199 cbc_finish_labeled_goto 関数を手直しした。
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	200 <li>同じ構文木が作られるようになった。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	201 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	202 <!-- PAGE -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	203 <div class="slide">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	204 <h1>結果</h1>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	205 <li>正常な値が返ってくるようになった。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	206 <li class="incremental">しかし、-O2 オプションをつけると返り値の取得が失敗した。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	207 <li class="incremental">もっと細かく構文木をみて違いを見つける必要がある。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	208 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	209 <!-- PAGE -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	210 <!--
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	211 <div class="slide">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	212 <h1>static TLS のGeneric Tree</h1>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	213 <li>変数 retval の宣言(VAR_DECL) が OS X の場合使用する TLS モデルが違った。</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	214 <li>Linux: TLS_MODEL_LOCAL_EXEC</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	215 <li>OS X: TLS_MODEL_REAL<br>(TLS_MODEL_GLOBAL_DYNAMIC)</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	216 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	217 <!-- PAGE -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	218 <div class="slide">
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	219 <h1>今後の予定</h1>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	220 <li>プロシン用プレゼンの用意</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	221 <li>typedefrec, selftype の実装</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	222 <li>CbC でタクスマネージャ作成</li>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	223 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	224 <!-- PAGE -->
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	225 </div>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	226 </body>
a967ee5a0b0f add presen Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> parents: diff changeset	227 </html>

Mercurial > hg > Papers > 2011 > nobu-prosym

annotate presen/index.html~ @ 65:baace77d7d30