Mercurial > hg > Papers > 2011 > nobu-prosym
comparison presen/index.html @ 54:a967ee5a0b0f
add presen
author | Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp> |
---|---|
date | Sat, 24 Dec 2011 18:53:34 +0900 |
parents | |
children | 06ce8fb8e278 |
comparison
equal
deleted
inserted
replaced
53:de1f203636d1 | 54:a967ee5a0b0f |
---|---|
1 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" | |
2 "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> | |
3 | |
4 <html xmlns="http://www.w3.org/1999/xhtml"> | |
5 | |
6 <head> | |
7 <style> | |
8 .center { | |
9 margin-left: auto; | |
10 margin-right: auto; | |
11 text-align: center; | |
12 } | |
13 .textcenter { | |
14 text-align: center; | |
15 } | |
16 .taninaritop { | |
17 margin: auto; | |
18 width: 95%; | |
19 font-weight: bold; | |
20 } | |
21 </style> | |
22 <title>2012/ 1/ 7</title> | |
23 <!-- metadata --> | |
24 <meta name="generator" content="S5" /> | |
25 <meta name="version" content="S5 1.1" /> | |
26 <meta name="presdate" content="20120107" /> | |
27 <meta name="author" content="Nobuyasu Oshiro" /> | |
28 <meta name="company" content="University of the Ryukyu" /> | |
29 <!-- meta temporary --> | |
30 <meta http-equiv="content-type" content="text/html; charset=utf-8" /> | |
31 <meta http-equiv="Content-Script-Type" content="text/javascript" /> | |
32 <meta http-equiv="Content-Style-Type" content="text/css" /> | |
33 <!-- configuration parameters --> | |
34 <meta name="defaultView" content="slideshow" /> | |
35 <meta name="controlVis" content="hidden" /> | |
36 <!-- configuration extensions --> | |
37 <meta name="tranSitions" content="true" /> | |
38 <meta name="fadeDuration" content="500" /> | |
39 <meta name="incrDuration" content="250" /> | |
40 <!-- configuration autoplay extension --> | |
41 <meta name="autoMatic" content="false" /> | |
42 <meta name="playLoop" content="true" /> | |
43 <meta name="playDelay" content="10" /> | |
44 <!-- configuration audio extension --> | |
45 <meta name="audioSupport" content="false" /> | |
46 <meta name="audioVolume" content="100" /> | |
47 <meta name="audioError" content="false" /> | |
48 <!-- configuration audio debug --> | |
49 <meta name="audioDebug" content="false" /> | |
50 <!-- style sheet links --> | |
51 <link rel="stylesheet" href="ui/default_utf/slides.css" type="text/css" media="projection" id="slideProj" /> | |
52 <link rel="stylesheet" href="ui/default_utf/outline.css" type="text/css" media="screen" id="outlineStyle" /> | |
53 <link rel="stylesheet" href="ui/default_utf/print.css" type="text/css" media="print" id="slidePrint" /> | |
54 <link rel="stylesheet" href="ui/default_utf/opera.css" type="text/css" media="projection" id="operaFix" /> | |
55 <!-- embedded styles --> | |
56 <style type="text/css" media="all"> | |
57 .imgcon {width: 100%; margin: 0 auto; padding: 0; text-align: center;} | |
58 #anim {width: 33%; height: 320px; position: relative;} | |
59 #anim img {position: absolute; top: 0px; left: 0px;} | |
60 </style> | |
61 <!-- S5 JS --> | |
62 <script src="ui/default_utf/slides.js" type="text/javascript"></script> | |
63 </head> | |
64 <body> | |
65 | |
66 <div class="layout"> | |
67 <div id="controls"><!-- DO NOT EDIT --></div> | |
68 <div id="currentSlide"><!-- DO NOT EDIT --></div> | |
69 <div id="header"></div> | |
70 <div id="footer"> | |
71 <h1>プログラミングシンポジウム: 2012/ 1/ 7</h1> | |
72 <h2>並列信頼研</h2> | |
73 </div> | |
74 </div> | |
75 | |
76 <div class="presentation"> | |
77 | |
78 <div class="slide"> | |
79 <h1>Continuation based Cの GCC 4.6 上の実装について</li> | |
80 <h3></h3> | |
81 <li>大城 信康</li> | |
82 <h4><a href="http://ie.u-ryukyu.ac.jp/" rel="external">琉球大学 並列信頼研究室</a></h4> | |
83 <div class="handout"></div> | |
84 </div> | |
85 <!-- PAGE --> | |
86 <div class="slide"> | |
87 <h1>目的と背景(1)</h1> | |
88 <li>当研究室ではコードセグメント単位で記述するプログラミング言語Continuation based C (以下CbC)という言語を開発している。</li> | |
89 <li>コードセグメントは並列実行の単位として使うことができ、プログラムの正しさを示す単位としても使用することができる。</li> | |
90 </div> | |
91 <!-- PAGE --> | |
92 <div class="slide"> | |
93 <h1>目的と背景(2)</h1> | |
94 <li>CbC のコンパイラは2008年に GCC 4.4 をベースとしたコンパイラが開発された。</li> | |
95 <li>GCC をベースとした CbC コンパイラは、GCC のアップデートに合わせ変更する必要がある。</li> | |
96 <li class="incremental">本研究ではCbC コンパイラを GCC-4.6 へとアップデートを行い、Intel64 への対応するとともに CbC の拡張を行う。 </li> | |
97 </div> | |
98 <!-- PAGE --> | |
99 <div class="slide"> | |
100 <h1>発表内容</h1> | |
101 <ol> | |
102 <li>CbC の紹介</li> | |
103 <li>GCC でのコンパイルの流れ</li> | |
104 <li>CbC の実装</li> | |
105 <!-- | |
106 <ul> | |
107 <li>Tail Call Elimination</li> | |
108 <li>goto シンタックスの追加</li> | |
109 <li>環境付き継続</li> | |
110 </ul> | |
111 --> | |
112 <li>Micro-C との性能比較</li> | |
113 <li>mercurial を用いたアップデートの方法</li> | |
114 <li>まとめ</li> | |
115 <ol> | |
116 </div> | |
117 <!-- PAGE --> | |
118 <div class="slide"> | |
119 <h1>Continuation based C </h1> | |
120 <li>Cの関数より細かな単位、コードセグメントを記述の基本とする。</li> | |
121 <li>コードセグメントは並列の実行単位であり、プログラムの正しさを示す単位としても使うことができる。</li> | |
122 <li class="incremental">Many Core での並列実行を高い性能と高い信頼性で実現することができると考える。</li> | |
123 | |
124 </div> | |
125 <!-- PAGE --> | |
126 <div class="slide"> | |
127 <h1>Continuation based C </h1> | |
128 <li>プログラムの記述は C の構文と同じだが、ループ制御や関数コールが取り除かれる。</li> | |
129 <li>継続(goto)により次のコードセグメントへと処理を移る。</li> | |
130 <small> | |
131 <table width=100% > | |
132 <tr> | |
133 <caption>階乗を求めるCbCのプログラム</caption> | |
134 <td width=50%> | |
135 <pre> | |
136 __code print_factorial(int prod) { | |
137 printf("factorial = %d\n",prod); | |
138 exit(0); | |
139 } | |
140 __code factorial0(int prod, int x) { | |
141 if ( x >= 1) { | |
142 goto factorial0(prod*x, x-1); | |
143 }else{ | |
144 goto print_factorial(prod); | |
145 } | |
146 } | |
147 </pre> | |
148 </td> | |
149 <td> | |
150 <pre> | |
151 __code factorial(int x) { | |
152 goto factorial0(1, x); | |
153 } | |
154 int main(int argc, char **argv) { | |
155 int i; | |
156 i = atoi(argv[1]); | |
157 goto factorial(i); | |
158 return 0; | |
159 } | |
160 </pre> | |
161 </td> | |
162 </tr> | |
163 </table> | |
164 </small> | |
165 </div> | |
166 <!-- PAGE --> | |
167 <div class="slide"> | |
168 <h1>Continuation Based C (軽量継続)</h1> | |
169 <li>関数コールが無い -> 呼び出し元への復帰がない</li> | |
170 <li>継続の際にスタックに載せるデータはコードセグメントへの引数だけとなる(軽量継続)。</li> | |
171 <!-- <li>スタックポインタの位置を変えずにすむ。</li> --> | |
172 <p style=" margin-right:auto; margin-left:auto;"> | |
173 <img class="scale" src="./pix/cs_stack.png" style="height: 7em;"> | |
174 </p> | |
175 <li class="incremental">より高度に最適化されたプログラミングが可能になる。</li> | |
176 </div> | |
177 <!-- PAGE --> | |
178 <div class="slide"> | |
179 <h1>Continuation Based C</h1> | |
180 <li></li> | |
181 </div> | |
182 <!-- PAGE --> | |
183 <div class="slide"> | |
184 <h1>GCC によるコンパイル</h1> | |
185 <li>GCC についての簡単な説明を行う...</li> | |
186 <img src="./pix/ir.png" style="height: 6em;"> | |
187 <li>CbCの実装は主に Parser の部分と RTL を生成する部分に行われる。</li> | |
188 </div> | |
189 <!-- PAGE --> | |
190 <div class="slide"> | |
191 <h1>CbC の実装</h1> | |
192 <ul> | |
193 <li>シンタックスの追加</li> | |
194 <li>fastcall属性の付与</li> | |
195 <li>Tail Call Elimination</li> | |
196 <li>環境付き継続</li> | |
197 </ul> | |
198 </div> | |
199 <!-- PAGE --> | |
200 <div class="slide"> | |
201 <h1>シンタックスの追加</h1> | |
202 <ul> | |
203 <li>__code でコードセグメントの宣言</li> | |
204 <li>goto にコードセグメントへの継続処理を追加</li> | |
205 </ul> | |
206 <li></li> | |
207 </div> | |
208 <!-- PAGE --> | |
209 <div class="slide"> | |
210 <h1>シンタックスの追加</h1> | |
211 <li>__code でコードセグメントの宣言</li> | |
212 <ul> | |
213 <li>__code 用idとkeywordを作成。</li> | |
214 <li>__code で宣言されるコードセグメントは void 型の関数と同じにする。</li> | |
215 </ul> | |
216 </div> | |
217 <!-- PAGE --> | |
218 <div class="slide"> | |
219 <h1>シンタックスの追加</h1> | |
220 <li>goto シンタックスの追加</li> | |
221 <ul> | |
222 <li>通常の goto に加え、コードセグメントを呼び出す処理を追加。</li> | |
223 <li>コードセグメントへのgoto後は、 return の処理を自動で追加。</li> | |
224 </ul> | |
225 </div> | |
226 <!-- PAGE --> | |
227 <div class="slide"> | |
228 <h1></h1> | |
229 <li></li> | |
230 </div> | |
231 <!-- PAGE --> | |
232 <div class="slide"> | |
233 <h1></h1> | |
234 <li></li> | |
235 </div> | |
236 <!-- PAGE --> | |
237 <div class="slide"> | |
238 <h1></h1> | |
239 <li></li> | |
240 </div> | |
241 <!-- PAGE --> | |
242 <div class="slide"> | |
243 <h1>環境付き継続とは</h1> | |
244 <li>コードセグメントを呼び出した C の関数に戻る機能</li> | |
245 <li></li> | |
246 </div> | |
247 <!-- PAGE --> | |
248 <div class="slide"> | |
249 <h1>環境付き継続:クロージャでの実装について</h1> | |
250 <li>『GCC 4.6 と Lion の組合せでは Closure は正しく動作していないことが分かった.』<br>間違い</li> | |
251 <li>訂正</li> | |
252 <ul> | |
253 <li class="incremental">GCC 4.6 への CbC の実装のせいでクロージャがうまくできていなかったことが判明。</li> | |
254 <li class="incremental">GCC 4.6 と Lion でのクロージャは特に問題はない。</li> | |
255 </ul> | |
256 </div> | |
257 <!-- PAGE --> | |
258 <div class="slide"> | |
259 <h1>環境付き継続:クロージャでの実装の問題点</h1> | |
260 <li></li> | |
261 <li></li> | |
262 </div> | |
263 <!-- PAGE --> | |
264 <div class="slide"> | |
265 <h1>環境付き継続: setjmp での実装</h1> | |
266 <li>setjmp での実装</li> | |
267 <small> | |
268 <pre> | |
269 ({ | |
270 int a = setjmp(env); | |
271 int retval; | |
272 void _cbc_internal_return(int retval_, jmp_buf _envp){ | |
273 retval = retval_; | |
274 longjmp(_envp, retval); | |
275 } | |
276 if (a) { | |
277 return retval; | |
278 } | |
279 _cbc_internal_return; | |
280 }) | |
281 </pre> | |
282 </small> | |
283 <li></li> | |
284 </div> | |
285 <!-- PAGE --> | |
286 <div class="slide"> | |
287 <h1>環境付き継続: setjmp での実装の問題</h1> | |
288 <li>GCC 内で setjmp を生成する関数を作る必要がある。</li> | |
289 <li>戻値の型が int </li> | |
290 <ul> | |
291 <li>構造体等ポインタの場合使えない。</li> | |
292 </ul> | |
293 <li class="incremental">setjmp での実装はあまり実用的ではない。</li> | |
294 </div> | |
295 <!-- PAGE --> | |
296 <div class="slide"> | |
297 <h1></h1> | |
298 <li></li> | |
299 </div> | |
300 <!-- PAGE --> | |
301 <div class="slide"> | |
302 <h1></h1> | |
303 <li></li> | |
304 </div> | |
305 <!-- PAGE --> | |
306 <div class="slide"> | |
307 <h1></h1> | |
308 <li></li> | |
309 </div> | |
310 <!-- PAGE --> | |
311 <div class="slide"> | |
312 <h1></h1> | |
313 <li></li> | |
314 </div> | |
315 <!-- PAGE --> | |
316 </div> | |
317 </body> | |
318 </html> |