Mercurial > hg > Papers > 2018 > tobaru-sigos

comparison Slide/prosym.pdf.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
68 68
69 <div class='slide '> 69 <div class='slide '>
70 <!-- === begin markdown block === 70 <!-- === begin markdown block ===
71 71
72 generated by markdown/1.2.0 on Ruby 2.4.1 (2017-03-22) [x86_64-darwin15] 72 generated by markdown/1.2.0 on Ruby 2.4.1 (2017-03-22) [x86_64-darwin15]
73 on 2018-05-15 18:23:36 +0900 with Markdown engine kramdown (1.13.2) 73 on 2018-05-15 19:23:01 +0900 with Markdown engine kramdown (1.13.2)
74 using options {} 74 using options {}
75 --> 75 -->
76 76
77 <!-- _S9SLIDE_ --> 77 <!-- _S9SLIDE_ -->
78 <h1 id="os-">OS の信頼性</h1> 78 <h1 id="os-">OS の信頼性</h1>
109 109
110 110
111 </div> 111 </div>
112 <div class='slide '> 112 <div class='slide '>
113 <!-- _S9SLIDE_ --> 113 <!-- _S9SLIDE_ -->
114 <h1 id="section">スライドの流れ</h1> 114 <h1 id="section">メタ計算</h1>
115 <ul>
116 <li>ノーマルレベルの計算
117 <ul>
118 <li>コンピュータの計算はプログラミング言語で計算される。</li>
119 <li>その部分をノーマルレベルの計算と呼ぶ。</li>
120 </ul>
121 </li>
122 <li>メタレベルの計算
123 <ul>
124 <li>コードが実行される際の以下の部分が、メタレベルの計算という。
125 <ul>
126 <li>処理系の詳細や使用する資源</li>
127 <li>コードの仕様や型などの言語以外の部分</li>
128 </ul>
129 </li>
130 </ul>
131 </li>
132 </ul>
133
134
135 </div>
136 <div class='slide '>
137 <!-- _S9SLIDE_ -->
138 <h1 id="cbc">CbC</h1>
139 <ul>
140 <li>ノーマルレベルとメタレベルの計算を1つの言語で表現できる言語として、本研究室で設計した CbC(Continuation based C) を用いる。</li>
141 <li>CbC を用いることで、ノーマルレベルの計算の信頼性をメタレベルから保証できるようになる。</li>
142 <li>CbC は関数呼び出し時の暗黙の環境を使わずに、コードの単位を行き来できる引数付き goto 文を持つ C と互換性のある言語である。</li>
143 <li>CbC を用いてCode Gear と Data Gear、メタ構造を導入する。</li>
144 </ul>
145
146
147 </div>
148 <div class='slide '>
149 <!-- _S9SLIDE_ -->
150 <h1 id="gears-os">Gears OS</h1>
151 <ul>
152 <li>CbC を用いて導入したCode Gear、Data Gear、メタ構造を用いて、検証された Gears OS を構築したい。</li>
153 <li>検証には 定理証明支援系である Agda を用いる。</li>
154 <li>Gears の記述をモジュール化するために Interface を導入した。</li>
155 <li>さらに並列処理の記述ように par goto 構文を導入する。</li>
156 </ul>
157
158
159 </div>
160 <div class='slide '>
161 <!-- _S9SLIDE_ -->
162 <h1 id="par-goto-">par goto の実行</h1>
163 <ul>
164 <li>本論文では Interface と par goto の実装を記述し、評価を行なった。</li>
165 <li>また、マルチ CPU と GPU 上での par goto 文の実行を確認した。</li>
166 </ul>
167
168
169 </div>
170 <div class='slide '>
171 <!-- _S9SLIDE_ -->
172 <h1 id="section-1">スライドの流れ</h1>
115 <ul> 173 <ul>
116 <li> 174 <li>
117 <font color="red">CbC</font> 175 <font color="red">Gears OS におけるメタ計算</font>
118 </li> 176 </li>
119 <li>GearsOS</li>
120 <li>Interface</li> 177 <li>Interface</li>
121 <li>Context</li> 178 <li>Context</li>
122 <li>Gears OS の並列処理</li> 179 <li>Gears OS の並列処理</li>
123 <li>Synchronized Queue</li> 180 <li>Synchronized Queue</li>
124 <li>並列構文</li> 181 <li>並列構文</li>
128 185
129 186
130 </div> 187 </div>
131 <div class='slide '> 188 <div class='slide '>
132 <!-- _S9SLIDE_ --> 189 <!-- _S9SLIDE_ -->
133 <h1 id="cbc">CbC</h1> 190 <h1 id="gears-os-">Gears OS におけるメタ計算</h1>
134 191
135 192
136 </div> 193 </div>
137 <div class='slide '> 194 <div class='slide '>
138 <!-- _S9SLIDE_ --> 195 <!-- _S9SLIDE_ -->
139 <h1 id="gears-os">Gears OS</h1> 196 <h1 id="gaears-os-">Gaears OS の構成</h1>
140 <ul>
141 <li>Gaears OS の構成</li>
142 </ul>
143 197
144 198
145 </div> 199 </div>
146 <div class='slide '> 200 <div class='slide '>
147 <!-- _S9SLIDE_ --> 201 <!-- _S9SLIDE_ -->
155 209
156 210
157 </div> 211 </div>
158 <div class='slide '> 212 <div class='slide '>
159 <!-- _S9SLIDE_ --> 213 <!-- _S9SLIDE_ -->
160 <h1 id="gears-os-">Gears OS の並列処理</h1> 214 <h1 id="gears-os--1">Gears OS の並列処理</h1>
161 215
162 216
163 </div> 217 </div>
164 <div class='slide '> 218 <div class='slide '>
165 <!-- _S9SLIDE_ --> 219 <!-- _S9SLIDE_ -->
167 221
168 222
169 </div> 223 </div>
170 <div class='slide '> 224 <div class='slide '>
171 <!-- _S9SLIDE_ --> 225 <!-- _S9SLIDE_ -->
172 <h1 id="section-1">並列構文</h1> 226 <h1 id="section-2">並列構文</h1>
173 227
174 228
175 </div> 229 </div>
176 <div class='slide '> 230 <div class='slide '>
177 <!-- _S9SLIDE_ --> 231 <!-- _S9SLIDE_ -->
178 <h1 id="section-2">比較</h1> 232 <h1 id="section-3">比較</h1>
179 233
180 234
181 </div> 235 </div>
182 <div class='slide '> 236 <div class='slide '>
183 <!-- _S9SLIDE_ --> 237 <!-- _S9SLIDE_ -->
184 <h1 id="section-3">今後の課題</h1> 238 <h1 id="section-4">今後の課題</h1>
185 239
186 <!-- === end markdown block === --> 240 <!-- === end markdown block === -->
187 </div> 241 </div>
188 242
189 243