Mercurial > hg > Papers > 2014 > kaito_sigos

changeset 28:f41ff679fd31

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix eval
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Tue, 13 May 2014 13:13:30 +0900
parents 20f6eff0779c
children f2b3fa53dce3
files presen/slide/s6/presen.html
diffstat 1 files changed, 6 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/presen/slide/s6/presen.html	Mon May 12 23:00:24 2014 +0900
+++ b/presen/slide/s6/presen.html	Tue May 13 13:13:30 2014 +0900
@@ -117,8 +117,10 @@
 	<ul>
 	  <li>当研究室では, プログラムを code segment, data segment という単位を用いて書くという手法を提案している.
 	  <li>この手法を用いてプログラミングを行う言語として CbC を開発している.
-	  <li>CbC は関数呼び出しではなく継続によって処理の移動を行うので状態遷移ベースのプログラミングに適している.
-	  <li>OS, 正規表現検査器等が状態遷移ベース.
+	    <ul>
+	      <li>CbC は関数呼び出しではなく継続によって処理の移動を行うので状態遷移ベースのプログラミングに適している.
+	      <li>OS, 正規表現検査器等が状態遷移ベース.
+	    </ul>
 	  <li>広く使われるようになってきた LLVM 上で CbC コンパイラを実装する.
 	  <li>setjmp/longjmp による環境付き継続の実装.
 	</ul>
@@ -611,9 +613,10 @@
 	  </tr>
 	</table>
 	<ul>
+	  <li>インライン展開は無効化している.
 	  <li>最適化の有無で比較すると, 最適化有りのほうが二倍以上速い.
 	  <li>Micro-C と比較すると, 最適化無しでは劣ることもあるが最適化を有効化すると全ての場合で LLVM/clang の方が速くなる.
-	  <li>GCC と比較すると, 速度面では劣るが, 最適化を無効化してもプログラムが正常に動作するという点では優位.
+	  <li>GCC と比較すると, 速度面では劣るが, 最適化を無効化してもプログラムが正常に動作するという点で優位.
 	</ul>
       </div>