Mercurial > hg > Papers > 2011 > nobu-prosym

diff presen/index.html @ 54:a967ee5a0b0f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add presen
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Sat, 24 Dec 2011 18:53:34 +0900
parents
children 06ce8fb8e278
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/presen/index.html	Sat Dec 24 18:53:34 2011 +0900
@@ -0,0 +1,318 @@
+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
+        "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
+
+<html xmlns="http://www.w3.org/1999/xhtml">
+
+<head>
+<style>
+.center {
+margin-left: auto;
+margin-right: auto;
+text-align: center;
+}
+.textcenter {
+text-align: center;
+}
+.taninaritop {
+   margin: auto;
+   width: 95%;
+   font-weight: bold;
+}
+</style>
+<title>2012/ 1/ 7</title>
+<!-- metadata -->
+    <meta name="generator" content="S5" />
+    <meta name="version" content="S5 1.1" />
+    <meta name="presdate" content="20120107" />
+    <meta name="author" content="Nobuyasu Oshiro" />
+    <meta name="company" content="University of the Ryukyu" />
+<!-- meta temporary -->
+<meta http-equiv="content-type" content="text/html; charset=utf-8" />
+<meta http-equiv="Content-Script-Type" content="text/javascript" />
+<meta http-equiv="Content-Style-Type" content="text/css" />
+<!-- configuration parameters -->
+<meta name="defaultView" content="slideshow" />
+<meta name="controlVis" content="hidden" />
+<!-- configuration extensions -->
+<meta name="tranSitions" content="true" />
+<meta name="fadeDuration" content="500" />
+<meta name="incrDuration" content="250" />
+<!-- configuration autoplay extension -->
+<meta name="autoMatic" content="false" />
+<meta name="playLoop" content="true" />
+<meta name="playDelay" content="10" />
+<!-- configuration audio extension -->
+<meta name="audioSupport" content="false" />
+<meta name="audioVolume" content="100" />
+<meta name="audioError" content="false" />
+<!-- configuration audio debug -->
+<meta name="audioDebug" content="false" />
+<!-- style sheet links -->
+<link rel="stylesheet" href="ui/default_utf/slides.css" type="text/css" media="projection" id="slideProj" />
+<link rel="stylesheet" href="ui/default_utf/outline.css" type="text/css" media="screen" id="outlineStyle" />
+<link rel="stylesheet" href="ui/default_utf/print.css" type="text/css" media="print" id="slidePrint" />
+<link rel="stylesheet" href="ui/default_utf/opera.css" type="text/css" media="projection" id="operaFix" />
+<!-- embedded styles -->
+<style type="text/css" media="all">
+.imgcon {width: 100%; margin: 0 auto; padding: 0; text-align: center;}
+#anim {width: 33%; height: 320px; position: relative;}
+#anim img {position: absolute; top: 0px; left: 0px;}
+</style>
+<!-- S5 JS -->
+<script src="ui/default_utf/slides.js" type="text/javascript"></script>
+</head>
+<body>
+
+<div class="layout">
+<div id="controls"><!-- DO NOT EDIT --></div>
+<div id="currentSlide"><!-- DO NOT EDIT --></div>
+<div id="header"></div>
+<div id="footer">
+<h1>プログラミングシンポジウム: 2012/ 1/ 7</h1>
+<h2>並列信頼研</h2>
+</div>
+</div>
+
+<div class="presentation">
+
+      <div class="slide">
+        <h1>Continuation based Cの GCC 4.6 上の実装について</li>
+        <h3></h3>
+	<li>大城 信康</li>
+        <h4><a href="http://ie.u-ryukyu.ac.jp/" rel="external">琉球大学 並列信頼研究室</a></h4>
+        <div class="handout"></div>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1>目的と背景(1)</h1>
+	<li>当研究室ではコードセグメント単位で記述するプログラミング言語Continuation based C (以下CbC)という言語を開発している。</li>
+	<li>コードセグメントは並列実行の単位として使うことができ、プログラムの正しさを示す単位としても使用することができる。</li>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+ 	<h1>目的と背景(2)</h1>
+	<li>CbC のコンパイラは2008年に GCC 4.4 をベースとしたコンパイラが開発された。</li>
+	<li>GCC をベースとした CbC コンパイラは、GCC のアップデートに合わせ変更する必要がある。</li>
+	<li class="incremental">本研究ではCbC コンパイラを GCC-4.6 へとアップデートを行い、Intel64 への対応するとともに CbC の拡張を行う。 </li>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1>発表内容</h1>
+	<ol>
+	  <li>CbC の紹介</li>
+	  <li>GCC でのコンパイルの流れ</li>
+	  <li>CbC の実装</li>
+<!--
+	  <ul>
+	    <li>Tail Call Elimination</li>
+	    <li>goto シンタックスの追加</li>
+	    <li>環境付き継続</li>
+	  </ul>
+-->
+	  <li>Micro-C との性能比較</li>
+	  <li>mercurial を用いたアップデートの方法</li>
+	  <li>まとめ</li>
+	<ol>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1>Continuation based C </h1>
+	<li>Cの関数より細かな単位、コードセグメントを記述の基本とする。</li>
+	<li>コードセグメントは並列の実行単位であり、プログラムの正しさを示す単位としても使うことができる。</li>
+	<li class="incremental">Many Core での並列実行を高い性能と高い信頼性で実現することができると考える。</li>
+
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1>Continuation based C </h1>
+	<li>プログラムの記述は C の構文と同じだが、ループ制御や関数コールが取り除かれる。</li>
+	<li>継続(goto)により次のコードセグメントへと処理を移る。</li>
+	<small>
+<table width=100% >
+<tr>
+<caption>階乗を求めるCbCのプログラム</caption>
+<td width=50%>
+	  <pre>
+__code print_factorial(int prod) {
+  printf("factorial = %d\n",prod);
+  exit(0); 
+}
+__code factorial0(int prod, int x) {
+  if ( x >= 1) {
+    goto factorial0(prod*x, x-1);
+  }else{
+    goto print_factorial(prod);
+  } 
+}
+	  </pre>
+</td>
+<td>
+<pre>
+__code factorial(int x) {
+  goto factorial0(1, x); 
+}
+int main(int argc, char **argv) {
+  int i;
+  i = atoi(argv[1]);
+  goto factorial(i); 
+  return 0;
+}
+</pre>
+</td>
+</tr>
+</table>
+	</small>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1>Continuation Based C (軽量継続)</h1>
+	<li>関数コールが無い -> 呼び出し元への復帰がない</li>
+	<li>継続の際にスタックに載せるデータはコードセグメントへの引数だけとなる(軽量継続)。</li>
+<!--	<li>スタックポインタの位置を変えずにすむ。</li> -->
+	<p style=" margin-right:auto; margin-left:auto;">
+	  <img class="scale" src="./pix/cs_stack.png" style="height: 7em;">
+	</p>
+	<li class="incremental">より高度に最適化されたプログラミングが可能になる。</li>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1>Continuation Based C</h1>
+	<li></li>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1>GCC によるコンパイル</h1>
+	<li>GCC についての簡単な説明を行う...</li>
+	<img src="./pix/ir.png" style="height: 6em;">
+	<li>CbCの実装は主に Parser の部分と RTL を生成する部分に行われる。</li>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1>CbC の実装</h1>
+	<ul>
+	  <li>シンタックスの追加</li>
+	  <li>fastcall属性の付与</li>
+	  <li>Tail Call Elimination</li>
+     	  <li>環境付き継続</li>
+	</ul>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1>シンタックスの追加</h1>
+	<ul>
+	  <li>__code でコードセグメントの宣言</li>
+	  <li>goto にコードセグメントへの継続処理を追加</li>
+	</ul>
+	<li></li>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1>シンタックスの追加</h1>
+	<li>__code でコードセグメントの宣言</li>
+	<ul>
+	  <li>__code 用idとkeywordを作成。</li>
+	  <li>__code で宣言されるコードセグメントは void 型の関数と同じにする。</li>
+	</ul>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1>シンタックスの追加</h1>
+	<li>goto シンタックスの追加</li>
+	<ul>
+	  <li>通常の goto に加え、コードセグメントを呼び出す処理を追加。</li>
+	  <li>コードセグメントへのgoto後は、 return の処理を自動で追加。</li>
+	</ul>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1></h1>
+	<li></li>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1></h1>
+	<li></li>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1></h1>
+	<li></li>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1>環境付き継続とは</h1>
+	<li>コードセグメントを呼び出した C の関数に戻る機能</li>
+	<li></li>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1>環境付き継続:クロージャでの実装について</h1>
+	<li>『GCC 4.6 と Lion の組合せでは Closure は正しく動作していないことが分かった.』<br>間違い</li>
+	<li>訂正</li>
+	<ul>
+	  <li class="incremental">GCC 4.6 への CbC の実装のせいでクロージャがうまくできていなかったことが判明。</li>
+	  <li class="incremental">GCC 4.6 と Lion でのクロージャは特に問題はない。</li>
+	</ul>
+</div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1>環境付き継続:クロージャでの実装の問題点</h1>
+	<li></li>
+	<li></li>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1>環境付き継続: setjmp での実装</h1>
+	<li>setjmp での実装</li>
+	<small>
+	<pre>
+({
+  int a = setjmp(env);
+  int retval;
+  void _cbc_internal_return(int retval_, jmp_buf _envp){
+    retval = retval_;
+    longjmp(_envp, retval);
+  }
+  if (a) {
+    return retval;
+  }
+  _cbc_internal_return;
+})
+	</pre>
+	</small>
+	<li></li>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1>環境付き継続: setjmp での実装の問題</h1>
+	<li>GCC 内で setjmp を生成する関数を作る必要がある。</li>
+	<li>戻値の型が int </li>
+	<ul>
+	  <li>構造体等ポインタの場合使えない。</li>
+	</ul>
+	<li class="incremental">setjmp での実装はあまり実用的ではない。</li>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1></h1>
+	<li></li>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1></h1>
+	<li></li>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1></h1>
+	<li></li>
+      </div>
+      <!-- PAGE -->
+      <div class="slide">
+	<h1></h1>
+	<li></li>
+      </div>
+      <!-- PAGE -->
+</div>
+</body>
+</html>