Mercurial > hg > Members > kaito > slides

<!DOCTYPE html>
<html>
  <head>
    <meta charset='utf-8'>

    <script
       src='./trunk/slides.js'></script>
  </head>

  <body style='display: none'>
    <section class='slides layout-regular template-default'>

      <article>
	<h1>CbCコンパイラのLLVM3.4上での実装</h1>
        <p><br>Kaito Tokumori<br>July 9, 2013</p>
      </article>

      <article>
	<br>
	<h3>
	  研究背景と目的(1)
	</h3>
	<p>　現在までに多くのプログラミング言語が開発され、そのたびにプログラミング言語の流行は変化してきた。Cは比較的歴史の古い言語であるが、普及率が高く古い資産の多くがCを用いて記述されていたことから現在でも多くのシステム開発に用いられている。しかし、Cにはいくつか問題がある。その一つには関数呼び出しの際のオーバーヘッドが大きいことがある。さらに関数呼び出しを過度に繰り返すとスタックオーバーフローが生じる危険性もある。
	</p>
      </article>

      <article>
	<br>
	<h3>
	  研究背景と目的(2)
	</h3>
	<p>　当研究室ではこれらの問題に取り組むためCountinuation based C (CbC)という言語の開発を行なっている。CbCはCから関数呼び出しやループ制御を取り除き、代わりに継続(Continuation)を用いて制御を行う言語であり、継続とはプログラムの次の実行処理を表現する制御構造である。この特徴からCbCはCの下位言語、即ち互換性のある言語と考えることが出来る。
	  <br>　CbCコンパイラは初めにmicro-cをベースとしたものが開発され、続いて2008年の研究によりGCCベースのものが開発された。本研究ではこれらに続くLLVMベースのコンパイラの開発を行う。
</p>
<!--
	  <li>goto文による処理の記述は状態遷移系とも相性が良い。</li>
	  <li>Micro-C,GCC版に次ぐllvmを使用したコンパイラの実装。</li>
-->
      </article>

      <article>
	<br>
	<h3>
	  今週の課題
	</h3>
	<ul>
	  <li>研究目的を考える</li>
	  <li>goto code segmentの直後にreturnの挿入</li>
	  <li>goto cs()のときtail call eliminationが行われるよう条件を満たさせる</li>
	</ul>
	<br>
      </article>

      <article>
	<br>
	<h3>
	  returnの挿入
	</h3>
	<ul>
	  <li>parseReturnStmtを真似て実装。</li>
	  <li>csからcsに飛ぶ時だけ挿入するようにする。</li>
	  <li>いまはreturn typeをvoidにしてるのでvoidのときもreturn入れてる。</li>
	  <li>そもそもvoid型関数のときはTCEしていいのかだめなのか。</li>
	</ul>
	<br>
      </article>

      <article>
	<br>
	<h3>
	  TailCallElimについて
	</h3>
	<ul>
	  <li>CallingConvをGHCとかHiPEとかにすればいけるのでは？
	    <ul>
	      <li>X86ISelLowering.cppでのIsTailCallConvention()で確かにこれらのCalling Conventionのときにtrueを返しているが、IsTailCallConventionを呼ぶ前にisTailCallがtrueでないとそこまで到達しない</li>
	      <li>なのでやっｐりTailCallElimPassとおしてsetTailCall()しないといけない。そのあとにCallingConvを変えて様子を見たい</li>
	    </ul>
	  </li>
	</ul>
	<br>
      </article>

      <article>
	<br>
	<h3>
	  TailCallElimPassについて
	</h3>
	<ul>
	  <li>'escaping alloca'があったらなにもしない。(tail call flag立てない)。</li>
	  <li>まずがあったらなにもしない。(tail call flag立てない)。</li>
	  <li>先に末尾最適化を行う。</li>
	  <li>それからtail call frag を立てていく。</li>
	  <li>'escaping alloca'はこのPassに入る前にとおるSROA(Scalar Replacement Of Aggregates)のPassで処理される。</li>
	</ul>
	<br>
      </article>


      <article>
	<br>
	<h3>
	  TailCallElimPassについて
	</h3>
	<ul>
	  <li>SROAを真似てescaping allocaを除去してTailCallElimPassを通せばとりあえずスタートライン？</li>
	</ul>
	<br>
      </article>

    </section>
  </body>
</html>
author	Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date	Tue, 14 Jan 2014 01:31:42 +0900
parents
children