Mercurial > hg > Members > kaito > slides

comparison 2013/old/2013_10_29.html @ 0:845ff8ff4fc9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
1st
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Tue, 14 Jan 2014 01:31:42 +0900
parents
children
comparison
equal deleted inserted replaced
-1:000000000000 0:845ff8ff4fc9
1 <!DOCTYPE html>
2 <html>
3 <head>
4 <meta charset='utf-8'>
5
6 <script
7 src='./trunk/slides.js'></script>
8 </head>
9
10 <body style='display: none'>
11 <section class='slides layout-regular template-default'>
12
13 <article>
14 <h1>CbCコンパイラのLLVM3.4上での実装</h1>
15 <p><br>Kaito Tokumori<br>October 15, 2013</p>
16 </article>
17
18 <article>
19 <h3>研究背景と目的 (1)</h3>
20 <p>現代社会においてプログラムは様々な場所で用いられ、その用途に応じて求められる要素も様々である。例えばReal-timeな制御が重要視される場合には速度が、組込みシステムなどのメモリが制限される環境では軽量なプログラムが求められる。軽量で高速であるという条件に最も適しているのはアセンブリ言語であるが、低レベル過ぎてわかりづらい上に、アーキテクチャへの依存性が高いため汎用的でない。当研究室ではそういった要求に応える言語としてCbCを提案している。</p>
21 </article>
22
23 <article>
24 <h3>研究背景と目的 (2)</h3>
25 <p>CbCのコンパイラとしては初めにmicro-cをベースとしたものが開発され、続いて2008年の研究によりGCCベースのものが開発されGCCの持つ最適化の恩恵を受けることに成功した。しかし、Mac OS Xの最新版であるMavericksでは、cコンパイラとしてgccではなくllvm(clang)が用いられるようになった。llvmもgccと同じように強力な最適化を持っており、さらにエラーメッセージがgccに比べ丁寧であるという特徴を持つ。本研究では、micro-c,gccに続くLLVM/clangベースのコンパイラの開発を行う。</p>
26 </article>
27
28 <article>
29 <h3>先々週課されたもの</h3>
30 <ul>
31 <li>研究目的をもうちょっとなんとか(3回目)</li>
32 <li>環境付き継続について考える</li>
33 </ul>
34 </article>
35
36 <article>
37 <h3>環境付き継続</h3>
38 <ul>
39 <li>gccと同様にnested functionを用いる</li>
40 <li>exceptionを使う</li>
41 <li>setjmp,longjmpを使う</li>
42 <li>何かllvmの機能でどうにかこうにか</li>
43 </ul>
44 </article>
45
46 <article>
47 <h3>llvm</h3>
48 <ul>
49 <li>何かllvmの機能でどうにかこうにか</li>
50 <li>llvm.returnaddressとかllvm.frameaddressとか<ul>
51 <li>注意書き：debug時限定に使用されるべき</li>
52 </ul></li>
53 <li>llvmでのException handlingはSetjmp/Longjmpを用いて行われる</li>
54 </ul>
55 </article>
56
57 </section>
58 </body>
59 </html>