Mercurial > hg > Members > kaito > slides

comparison before_s6/2013/old/2013_12_17.html @ 5:ab2d529bb1d7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add slide
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Tue, 14 Oct 2014 19:17:35 +0900
parents 2013/old/2013_12_17.html@845ff8ff4fc9
children
comparison
equal deleted inserted replaced
4:10fb2b05e390 5:ab2d529bb1d7
1 <!DOCTYPE html>
2 <html>
3 <head>
4 <meta charset='utf-8'>
5
6 <script src='./trunk/slides.js'></script>
7 <script src='./mytrunk/customSlides.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 → 3.5上での実装</h1>
15 <p><br>Kaito Tokumori<br>December 17, 2013</p>
16 </article>
17 <article>
18 <h3>研究目的</h3>
19 <p>　当研究室ではプログラムをコードセグメント、データセグメントという単位を用いて書くという手法を提案している。その手法を用いてプログラミングを行う言語として"CbC"の開発を行っており、これはCの下位の言語である。CbCにおいてコードセグメント間の移動はgoto文を用いた軽量継続によって行われ、これはTail Call Eliminationという最適化の強制によって実現される。</p>
20 <p>本研究過去に開発されたmicro-c,GCC版のコンパイラに続くLLVM/Clang上でのCbCコンパイラの開発を行う。</p>
21 </article>
22
23 <article>
24 <h3>今回したこと</h3>
25 <ul>
26 <li>環境付き継続に使用する__CbC_env構造体の自動生成。</li>
27 <li>__returnの実装。</li>
28 <li>LLVM/clang 3.4 から 3.5へアップデート<a href="javascript:jumpSlides(10)">.</a></li>
29 </ul>
30 </article>
31
32 <article>
33 <h3>__CbC_envの自動生成</h3>
34 <ul>
35 <li>"__code"を見つけた時に自動的に生成するようにした。<ul>
36 <li>"__code"が宣言された時の処理を一旦置いといて先に構造体を作りに行く感じ。</li>
37 </ul></li>
38 <li>生成前に現在のスコープを確認して、global でない場合には生成しないように。<ul>
39 <li>へんなとこに作らないように。</li>
40 </ul></li>
41 </ul>
42 </article>
43
44 <article>
45 <h3>__returnの実装 (1)</h3>
46 <ul>
47 <li>__returnを確認したらcode segmentへのポインタ型を宣言。</li>
48 <li>'__CbC_return'という変数名に。(__returnは使用できない)</li>
49 <li>__returnをキーワードとして登録せずにidentifierを読む度にチェックして__returnのときにはどうこうするーの方が良い？</li>
50 <li>名前テーブルからkw___returnを削除してidentifierとして再登録もいいかもしれない。そうしたら後は放っといてもidentifierとして処理される。</li>
51 <li>これらについては__environmentにも同じことが言える。</li>
52 </ul>
53 </article>
54
55 <article>
56 <h3>__returnの実装 (2)</h3>
57 <object data="with_env_ex1.svg" type="image/svg+xml"></object>
58 </article>
59
60 <article>
61 <h3>__returnの実装 (3)</h3>
62 <object data="with_env_ex2.svg" type="image/svg+xml"></object>
63 </article>
64
65 <article>
66 <h3>__returnの実装 (4)</h3>
67 <object data="with_env_ex3.svg" type="image/svg+xml"></object>
68 </article>
69
70 <article>
71 <h3>__returnの実装 (5)</h3>
72 <ul>
73 <li>キーワードとして登録せずにidentifierが__returnである度にチェックするなら、Scopeの判別にgetCurScope()が使える。関数内部の時だけ生成であとは普通のidentifierにすればいいはず。</li>
74 </ul>
75 </article>
76
77 <article>
78 <h3>次回課題</h3>
79 <ul>
80 <li>環境付き継続実装継続<ul>
81 <li>__return宣言時の処理</li>
82 <li>__environment宣言時の処理</li>
83 <li>元の環境に戻る関数(return1)の生成</li>
84 <li>環境付き継続元の関数内でのsetjmpを使った構文の生成</li>
85 </ul></li>
86 </ul>
87 </article>
88
89 <article>
90 <h3>LLVMのお話</h3>
91 <ul>
92 <li>LLVMというのはプロジェクトの名前で、コンパイラやツールチェーン技術を開発するプロジェクト。</li>
93 <li>単にLLVMというとLLVM Coreの事を指し、これはコンパイラの基板となるライブラリの集合。</li>
94 <li>仮想機械を持ち、それをターゲットとした言語(LLVM IR)で書かれたプログラムの実行、最適化が可能。</li>
95 <li>LLVM IRから特定のターゲットの機械語に変換することもできる。</li>
96 <li>特定の言語をLLVMが受け付ける形に変換することができればLLVMの最適化機能や機械語への変換機能を利用できる。</li>
97 </ul>
98 </article>
99
100 <article>
101 <h3>clangのお話</h3>
102 <ul>
103 <li>C/C++/Obj-C コンパイラで、LLVMを使用する。</li>
104 <li>clang側でC/C++/Obj-CをLLVM IRにして、そこから先はLLVMを利用してターゲットの機械語に変換する。</li>
105 <li>最適化とかもLLVMを用いる。</li>
106 </ul>
107 </article>
108
109 <article>
110 <h3>たとえば clang auaua.cとかauaua.cppとかやった場合</h3>
111 <br><br>
112 <p align="center"><image src="LLVM_clang.png"></image></p>
113 <p>clangがC/C++/Obj-CをLLVM IRにして、それからLLVM Core libraryを利用してmachine codeにする。</p>
114 </article>
115
116 <article>
117 <h3>CbCのお話(1)</h3>
118 <ul>
119 <li>Continuaiton based Cの略で当研究室で開発中の言語。</li>
120 <li>プログラムをcode segmentとdata segmentの二種に分けるという考え方を用いる。</li>
121 <li>Cの関数呼び出しの代わりにgotoによる継続を使って処理を制御する。</li>
122 <li>CbCのコンパイラとしては現在Micro-C,GCC上のものがある。</li>
123 </ul>
124 </article>
125
126 <article>
127 <h3>CbCのお話(2)</h3>
128 <ul>
129 <li>CbCではcode segmentを__codeというキーワードを使って宣言する。</li>
130 <li>継続は"goto code_segment_name();"というように関数呼び出しのように行う。</li>
131 <li>継続時に環境を破棄するので、継続先から戻ってくることはない。戻り値も返さない。</li>
132 </ul>
133 </article>
134
135 <article>
136 <h3>環境付き継続について(1)</h3>
137 <p align="center"><image src="continuation_with_environment.png" ></image></p>
138 <ul>
139 <li>通常、CbCでは継続時に継続前の環境を保持しない。つまり継続前の環境に戻ることができない。</li>
140 <li>戻れないということはCの関数の途中でcode segmentにgotoしてその後に何らかの処理をするというようなことができない。</li>
141 <li>Cとの互換性を持つために環境を保持した継続が必要。</li>
142 </ul>
143 </article>
144
145 <article>
146 <h3>環境付き継続について(2)</h3>
147 <p align="center"><image src="continuation_with_environment2.jpg" ></image></p>
148 <ul>
149 <li>環境付き継続があればこのように正しく戻れる。</li>
150 <li>環境付き継続は"__return","__environment"という変数を用いて行う。</li>
151 <li>"__return"は元の環境に戻るためのcode segmentへのポインタ,"__environment"は環境を保持する役割を持つ。</li>
152 </ul>
153 </article>
154
155 <article>
156 <p><a href="javascript:jumpSlides(4)">goto mainPresentation();</a></p>
157 </article>
158
159 </section>
160 </body>
161 </html>