Mercurial > hg > Papers > 2018 > tobaru-sigos

comparison Slide/prosym.html @ 2:60405cc47b3a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
chapter1
author tobaru
date Tue, 15 May 2018 19:47:01 +0900
parents 413d0470a44f
children 7f5c0330e711
comparison
equal deleted inserted replaced
1:e6422d20c0f2 2:60405cc47b3a
84 84
85 <div class='slide '> 85 <div class='slide '>
86 <!-- === begin markdown block === 86 <!-- === begin markdown block ===
87 87
88 generated by markdown/1.2.0 on Ruby 2.4.1 (2017-03-22) [x86_64-darwin15] 88 generated by markdown/1.2.0 on Ruby 2.4.1 (2017-03-22) [x86_64-darwin15]
89 on 2018-05-15 18:23:36 +0900 with Markdown engine kramdown (1.13.2) 89 on 2018-05-15 19:23:01 +0900 with Markdown engine kramdown (1.13.2)
90 using options {} 90 using options {}
91 --> 91 -->
92 92
93 <!-- _S9SLIDE_ --> 93 <!-- _S9SLIDE_ -->
94 <h1 id="os-">OS の信頼性</h1> 94 <h1 id="os-">OS の信頼性</h1>
125 125
126 126
127 </div> 127 </div>
128 <div class='slide '> 128 <div class='slide '>
129 <!-- _S9SLIDE_ --> 129 <!-- _S9SLIDE_ -->
130 <h1 id="section">スライドの流れ</h1> 130 <h1 id="section">メタ計算</h1>
131 <ul>
132 <li>ノーマルレベルの計算
133 <ul>
134 <li>コンピュータの計算はプログラミング言語で計算される。</li>
135 <li>その部分をノーマルレベルの計算と呼ぶ。</li>
136 </ul>
137 </li>
138 <li>メタレベルの計算
139 <ul>
140 <li>コードが実行される際の以下の部分が、メタレベルの計算という。
141 <ul>
142 <li>処理系の詳細や使用する資源</li>
143 <li>コードの仕様や型などの言語以外の部分</li>
144 </ul>
145 </li>
146 </ul>
147 </li>
148 </ul>
149
150
151 </div>
152 <div class='slide '>
153 <!-- _S9SLIDE_ -->
154 <h1 id="cbc">CbC</h1>
155 <ul>
156 <li>ノーマルレベルとメタレベルの計算を1つの言語で表現できる言語として、本研究室で設計した CbC(Continuation based C) を用いる。</li>
157 <li>CbC を用いることで、ノーマルレベルの計算の信頼性をメタレベルから保証できるようになる。</li>
158 <li>CbC は関数呼び出し時の暗黙の環境を使わずに、コードの単位を行き来できる引数付き goto 文を持つ C と互換性のある言語である。</li>
159 <li>CbC を用いてCode Gear と Data Gear、メタ構造を導入する。</li>
160 </ul>
161
162
163 </div>
164 <div class='slide '>
165 <!-- _S9SLIDE_ -->
166 <h1 id="gears-os">Gears OS</h1>
167 <ul>
168 <li>CbC を用いて導入したCode Gear、Data Gear、メタ構造を用いて、検証された Gears OS を構築したい。</li>
169 <li>検証には 定理証明支援系である Agda を用いる。</li>
170 <li>Gears の記述をモジュール化するために Interface を導入した。</li>
171 <li>さらに並列処理の記述ように par goto 構文を導入する。</li>
172 </ul>
173
174
175 </div>
176 <div class='slide '>
177 <!-- _S9SLIDE_ -->
178 <h1 id="par-goto-">par goto の実行</h1>
179 <ul>
180 <li>本論文では Interface と par goto の実装を記述し、評価を行なった。</li>
181 <li>また、マルチ CPU と GPU 上での par goto 文の実行を確認した。</li>
182 </ul>
183
184
185 </div>
186 <div class='slide '>
187 <!-- _S9SLIDE_ -->
188 <h1 id="section-1">スライドの流れ</h1>
131 <ul> 189 <ul>
132 <li> 190 <li>
133 <font color="red">CbC</font> 191 <font color="red">Gears OS におけるメタ計算</font>
134 </li> 192 </li>
135 <li>GearsOS</li>
136 <li>Interface</li> 193 <li>Interface</li>
137 <li>Context</li> 194 <li>Context</li>
138 <li>Gears OS の並列処理</li> 195 <li>Gears OS の並列処理</li>
139 <li>Synchronized Queue</li> 196 <li>Synchronized Queue</li>
140 <li>並列構文</li> 197 <li>並列構文</li>
144 201
145 202
146 </div> 203 </div>
147 <div class='slide '> 204 <div class='slide '>
148 <!-- _S9SLIDE_ --> 205 <!-- _S9SLIDE_ -->
149 <h1 id="cbc">CbC</h1> 206 <h1 id="gears-os-">Gears OS におけるメタ計算</h1>
150 207
151 208
152 </div> 209 </div>
153 <div class='slide '> 210 <div class='slide '>
154 <!-- _S9SLIDE_ --> 211 <!-- _S9SLIDE_ -->
155 <h1 id="gears-os">Gears OS</h1> 212 <h1 id="gaears-os-">Gaears OS の構成</h1>
156 <ul>
157 <li>Gaears OS の構成</li>
158 </ul>
159 213
160 214
161 </div> 215 </div>
162 <div class='slide '> 216 <div class='slide '>
163 <!-- _S9SLIDE_ --> 217 <!-- _S9SLIDE_ -->
171 225
172 226
173 </div> 227 </div>
174 <div class='slide '> 228 <div class='slide '>
175 <!-- _S9SLIDE_ --> 229 <!-- _S9SLIDE_ -->
176 <h1 id="gears-os-">Gears OS の並列処理</h1> 230 <h1 id="gears-os--1">Gears OS の並列処理</h1>
177 231
178 232
179 </div> 233 </div>
180 <div class='slide '> 234 <div class='slide '>
181 <!-- _S9SLIDE_ --> 235 <!-- _S9SLIDE_ -->
183 237
184 238
185 </div> 239 </div>
186 <div class='slide '> 240 <div class='slide '>
187 <!-- _S9SLIDE_ --> 241 <!-- _S9SLIDE_ -->
188 <h1 id="section-1">並列構文</h1> 242 <h1 id="section-2">並列構文</h1>
189 243
190 244
191 </div> 245 </div>
192 <div class='slide '> 246 <div class='slide '>
193 <!-- _S9SLIDE_ --> 247 <!-- _S9SLIDE_ -->
194 <h1 id="section-2">比較</h1> 248 <h1 id="section-3">比較</h1>
195 249
196 250
197 </div> 251 </div>
198 <div class='slide '> 252 <div class='slide '>
199 <!-- _S9SLIDE_ --> 253 <!-- _S9SLIDE_ -->
200 <h1 id="section-3">今後の課題</h1> 254 <h1 id="section-4">今後の課題</h1>
201 255
202 <!-- === end markdown block === --> 256 <!-- === end markdown block === -->
203 </div> 257 </div>
204 258
205 259