77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1 <!DOCTYPE html>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
2 <html>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3 <head>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4 <meta http-equiv="content-type" content="text/html;charset=utf-8">
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
5 <title>Gears OS の並列処理</title>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
6
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
7 <meta name="generator" content="Slide Show (S9) v2.5.0 on Ruby 2.3.0 (2015-12-25) [x86_64-darwin16]">
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
8 <meta name="author" content="伊波 立樹" >
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
9
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
10 <!-- style sheet links -->
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
11 <link rel="stylesheet" href="s6/themes/projection.css" media="screen,projection">
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
12 <link rel="stylesheet" href="s6/themes/screen.css" media="screen">
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
13 <link rel="stylesheet" href="s6/themes/print.css" media="print">
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
14 <link rel="stylesheet" href="s6/themes/blank.css" media="screen,projection">
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
15
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
16 <!-- JS -->
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
17 <script src="s6/js/jquery-1.11.3.min.js"></script>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
18 <script src="s6/js/jquery.slideshow.js"></script>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
19 <script src="s6/js/jquery.slideshow.counter.js"></script>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
20 <script src="s6/js/jquery.slideshow.controls.js"></script>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
21 <script src="s6/js/jquery.slideshow.footer.js"></script>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
22 <script src="s6/js/jquery.slideshow.autoplay.js"></script>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
23
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
24 <!-- prettify -->
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
25 <link rel="stylesheet" href="scripts/prettify.css">
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
26 <script src="scripts/prettify.js"></script>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
27
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
28 <script>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
29 $(document).ready( function() {
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
30 Slideshow.init();
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
31
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
32 $('code').each(function(_, el) {
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
33 if (!el.classList.contains('noprettyprint')) {
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
34 el.classList.add('prettyprint');
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
35 el.style.display = 'block';
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
36 }
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
37 });
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
38 prettyPrint();
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
39 } );
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
40
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
41
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
42 </script>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
43
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
44 <!-- Better Browser Banner for Microsoft Internet Explorer (IE) -->
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
45 <!--[if IE]>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
46 <script src="s6/js/jquery.microsoft.js"></script>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
47 <![endif]-->
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
48
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
49
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
50
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
51 </head>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
52 <body>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
53
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
54 <div class="layout">
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
55 <div id="header"></div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
56 <div id="footer">
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
57 <div align="right">
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
58 <img src="s6/images/logo.svg" width="200px">
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
59 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
60 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
61 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
62
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
63 <div class="presentation">
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
64
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
65 <div class='slide cover'>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
66 <table width="90%" height="90%" border="0" align="center">
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
67 <tr>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
68 <td>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
69 <div align="center">
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
70 <h1><font color="#808db5">Gears OS の並列処理</font></h1>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
71 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
72 </td>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
73 </tr>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
74 <tr>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
75 <td>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
76 <div align="left">
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
77 伊波 立樹
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
78 琉球大学理工学研究科 河野研
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
79 <hr style="color:#ffcc00;background-color:#ffcc00;text-align:left;border:none;width:100%;height:0.2em;">
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
80 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
81 </td>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
82 </tr>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
83 </table>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
84 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
85
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
86 <div class='slide '>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
87 <!-- === begin markdown block ===
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
88
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
89 generated by markdown/1.2.0 on Ruby 2.3.0 (2015-12-25) [x86_64-darwin16]
|
|
89
|
90 on 2018-02-12 14:45:13 +0900 with Markdown engine kramdown (1.13.2)
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
91 using options {}
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
92 -->
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
93
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
94 <!-- _S9SLIDE_ -->
|
|
89
|
95 <h2 id="section">並列処理の重要性</h2>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
96 <ul>
|
|
86
|
97 <li>並列処理は現在主流のマルチコアCPU の性能を発揮するには重要なものになっている</li>
|
|
|
98 <li>しかし、並列処理のチューニングや信頼性を保証するのは難しい
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
99 <ul>
|
|
89
|
100 <li>共通資源の競合などの非決定的な実行が発生するため、従来のテストやデバッグではテストしきれない部分が残ってしまう</li>
|
|
86
|
101 <li>GPU などのアーキテクチャに合わせた並列プログラミングの記述</li>
|
|
|
102 </ul>
|
|
|
103 </li>
|
|
|
104 </ul>
|
|
|
105
|
|
|
106
|
|
|
107 </div>
|
|
|
108 <div class='slide '>
|
|
|
109 <!-- _S9SLIDE_ -->
|
|
|
110 <h2 id="gears-os">Gears OS</h2>
|
|
|
111 <ul>
|
|
88
|
112 <li>本研究室では処理の単位を Code Gear、 データの単位を Data Gear を用いて 信頼性が高い並列処理を行う Gears OS を開発している</li>
|
|
|
113 <li>並列処理の Task を Code Gear と実行するときに必要な Input Data Gear と出力するための Output Data Gear の組で表現される</li>
|
|
|
114 <li>計算をノーマルレベルとメタレベルに階層化、 信頼性と拡張性をメタレベルで保証する
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
115 <ul>
|
|
86
|
116 <li>並列処理の信頼性を通常の計算(ノーマルレベル) に保証</li>
|
|
89
|
117 <li>CPU、GPU などの実行環境の切り替え、データ拡張等を提供</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
118 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
119 </li>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
120 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
121
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
122
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
123 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
124 <div class='slide '>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
125 <!-- _S9SLIDE_ -->
|
|
86
|
126 <h2 id="gears-os-1">Gears OS</h2>
|
|
|
127 <ul>
|
|
|
128 <li>本研究ではGears OS の並列処理機構、並列処理構文(par goto)の実装、Gears OS を実装するにつれて必要なったモジュール化の導入を行う</li>
|
|
88
|
129 <li>また、並列処理を行う例題を用いて評価、 OpenMP、 Go 言語との比較を行う</li>
|
|
86
|
130 </ul>
|
|
|
131
|
|
|
132
|
|
|
133 </div>
|
|
|
134 <div class='slide '>
|
|
|
135 <!-- _S9SLIDE_ -->
|
|
89
|
136 <h2 id="code-geardata-gear">Code Gear/Data Gear</h2>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
137 <ul>
|
|
88
|
138 <li>Gears OS は Code Gear、 Data Gear という単位で構成される</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
139 <li>Code Gear はプログラムの処理そのものを表す</li>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
140 <li>Data Gear はデータそのものを表す</li>
|
|
86
|
141 <li>Code Gear は必要な Input Data Gear が揃ったら実行し、Output Data Gear を生成する</li>
|
|
|
142 <li>Code Gear と Input / Output Data Gear の対応から依存関係を解決し、Input Data Gear が揃った Code Gear の並列実行を行う</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
143 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
144
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
145 <div style="text-align: center;">
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
146 <img src="./images/codeGear_dataGear_dependency.svg" alt="message" width="600" />
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
147 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
148
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
149
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
150 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
151 <div class='slide '>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
152 <!-- _S9SLIDE_ -->
|
|
86
|
153 <h2 id="section-1">メタ計算</h2>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
154 <ul>
|
|
82
|
155 <li>メタ計算 は通常の計算を実行するための計算</li>
|
|
|
156 <li>信頼性の確保やメモリ管理、スレッド管理、CPU、GPU の資源管理等</li>
|
|
|
157 <li>Gears OS のメタ計算は通常の計算とは別の階層のメタレベルで行われる</li>
|
|
|
158 <li>メタレベルは Code/Data Gear に対応して Meta Code/Data Gear で行われる</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
159 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
160
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
161
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
162 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
163 <div class='slide '>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
164 <!-- _S9SLIDE_ -->
|
|
82
|
165 <h2 id="meta-gear">Meta Gear</h2>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
166 <ul>
|
|
88
|
167 <li>メタ計算 は Code Gear の接続間に行われる</li>
|
|
82
|
168 <li>メタ計算 の処理も Code/Data Gear で実現する</li>
|
|
|
169 <li>この Gear を Meta Code/Data Gearと呼ぶ
|
|
|
170 <ul>
|
|
|
171 <li>Meta Code Gear は メタ計算 のプログラム部分</li>
|
|
|
172 <li>Meta Data Gear は Meta Code Gear で管理されるデータ部分</li>
|
|
|
173 </ul>
|
|
|
174 </li>
|
|
|
175 <li>Gears OS は通常の Code/Data Gear から Meta Code/Data Gear 部分は見えないように実装を行う</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
176 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
177
|
|
82
|
178 <div style="text-align: center;">
|
|
|
179 <img src="./images/meta_cg_dg.svg" alt="message" width="850" />
|
|
|
180 </div>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
181
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
182
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
183 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
184 <div class='slide '>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
185 <!-- _S9SLIDE_ -->
|
|
88
|
186 <h2 id="continuation-based-c">Continuation based C</h2>
|
|
|
187 <ul>
|
|
|
188 <li>Gears OS の実装は本研究室で開発している Continuation based C(CbC) を用いる</li>
|
|
|
189 <li>CbC は Code Gear を用いて記述する事を基本とする</li>
|
|
|
190 </ul>
|
|
|
191
|
|
|
192
|
|
|
193 </div>
|
|
|
194 <div class='slide '>
|
|
|
195 <!-- _S9SLIDE_ -->
|
|
|
196 <h2 id="continuation-based-c-1">Continuation based C</h2>
|
|
|
197 <ul>
|
|
|
198 <li>CbC の Code Gear の定義は <strong>__code CG名</strong> で行う</li>
|
|
|
199 <li>Code Gear 間は <strong>goto CG名</strong> で移動する。この移動を継続と呼ぶ</li>
|
|
|
200 <li>Code Gear の継続は C の関数呼び出しとは異なり、戻り値を持たないためスタックの変更を行わない
|
|
|
201 <ul>
|
|
|
202 <li>このような環境を持たない継続を軽量継続と呼ぶ</li>
|
|
|
203 </ul>
|
|
|
204 </li>
|
|
|
205 <li>下記のコードでは Code Gear を2つ定義し、 cg0 から cg1 への継続を示している</li>
|
|
|
206 </ul>
|
|
|
207
|
|
|
208 <pre lang="c"><code>__code cg0(int a, int b) {
|
|
|
209 goto cg1(a+b);
|
|
|
210 }
|
|
|
211
|
|
|
212 __code cg1(int c) {
|
|
|
213 goto cg2(c);
|
|
|
214 }
|
|
|
215 </code></pre>
|
|
|
216
|
|
|
217
|
|
|
218 </div>
|
|
|
219 <div class='slide '>
|
|
|
220 <!-- _S9SLIDE_ -->
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
221 <h2 id="context">Context</h2>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
222 <ul>
|
|
82
|
223 <li>Context は接続可能な Code/Data Gear の集合を表現する Meta Data Gear</li>
|
|
88
|
224 <li>従来のOS のスレッドやプロセスに対応し、以下の要素を定義している
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
225 <ul>
|
|
88
|
226 <li>独立したメモリ空間</li>
|
|
89
|
227 <li>Code/Data Gear へのポインタ</li>
|
|
82
|
228 <li>並列実行用の Task 情報</li>
|
|
88
|
229 <li>Data Gear の型情報</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
230 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
231 </li>
|
|
82
|
232 <li>Gears OS ではメタ計算でこの Context を経由して Data Gear にアクセスする</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
233 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
234
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
235
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
236 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
237 <div class='slide '>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
238 <!-- _S9SLIDE_ -->
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
239 <h2 id="data-gear-">Data Gear の表現</h2>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
240 <ul>
|
|
82
|
241 <li>Data Gear は構造体を用いて定義する</li>
|
|
|
242 <li>メタ計算では任意の Data Gear を一律に扱うため、全ての Data Gear は共用体の中で定義される</li>
|
|
|
243 <li>Data Gear のメモリに確保する際のサイズ情報はこの型から決定する</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
244 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
245
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
246 <pre lang="c"><code>/* data Gear define */
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
247 union Data {
|
|
82
|
248 struct Timer {
|
|
|
249 union Data* timer;
|
|
|
250 enum Code start;
|
|
|
251 enum Code end;
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
252 enum Code next;
|
|
82
|
253 } Timer;
|
|
|
254 struct TimerImpl {
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
255 double time;
|
|
82
|
256 } TimerImpl;
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
257 ....
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
258 };
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
259 </code></pre>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
260
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
261
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
262 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
263 <div class='slide '>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
264 <!-- _S9SLIDE_ -->
|
|
88
|
265 <h2 id="stub-code-gear">stub Code Gear</h2>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
266 <ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
267 <li>Data Gear にアクセスするにはContext を経由する</li>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
268 <li>だが、通常の Code Gear では Meta Data Gear である Context の参照は避ける必要がある</li>
|
|
89
|
269 <li>Gears OS ではメタレベルで通常の Code Gear で必要な Data Gear を Context から取り出す処理を行う stub Code Gear を用意している</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
270 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
271
|
|
88
|
272 <pre lang="c"><code>// normal level Code Gear
|
|
|
273 __code cg0(struct Context* context, struct Integer integer, struct Queue queue) {
|
|
|
274 ...
|
|
|
275 }
|
|
|
276
|
|
|
277 // meta level stub Code Gear
|
|
|
278 __code cg0_stub(struct Context* context) {
|
|
|
279 // get data index number
|
|
|
280 Integer integer = &context->data[context->dataNum]->Integer
|
|
|
281 // get enum data
|
|
|
282 Queue* queue = &context->data[Queue]->Queue;
|
|
|
283 // continuation Code Gear
|
|
|
284 goto cg0(context, integer, queue);
|
|
|
285 }
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
286 </code></pre>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
287
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
288
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
289 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
290 <div class='slide '>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
291 <!-- _S9SLIDE_ -->
|
|
82
|
292 <h2 id="context--stub-code-gear-">Context での stub Code Gear の記述の問題点</h2>
|
|
|
293 <ul>
|
|
88
|
294 <li>stub Code Gear は Context から Code Gear と Data Gear の全ての組合せを展開して記述する必要がある</li>
|
|
|
295 <li>しかし、 Gears OS を実装するに連れて、 stub Code Gear の記述が煩雑になる場所がでてきた
|
|
|
296 <ul>
|
|
|
297 <li>Data Gear は番号で指定するため、 Code Gear が どの Data Gear の番号に対応しているかを記述する必要がある</li>
|
|
89
|
298 <li>stub Code Gear を自動生成するために、同じ番号の Data Gear を使いまわす問題</li>
|
|
88
|
299 </ul>
|
|
|
300 </li>
|
|
82
|
301 <li>そのため Gears OS のモジュール化する仕組みとして <strong>Interface</strong> を導入した</li>
|
|
|
302 </ul>
|
|
|
303
|
|
|
304
|
|
|
305 </div>
|
|
|
306 <div class='slide '>
|
|
|
307 <!-- _S9SLIDE_ -->
|
|
|
308 <h2 id="interface">Interface</h2>
|
|
|
309 <ul>
|
|
|
310 <li>Interface はある Data Gear と それに対する操作(API) を行う Code Gear の集合を表現する Meta Data Gear</li>
|
|
88
|
311 <li>stub Code Gear はInteface を実装した Code Gear で決まった形になるため、自動生成が可能である</li>
|
|
|
312 <li>Interface を導入することで、 Stack や Queue などのデータ構造を仕様と実装に分けて記述することが出来る</li>
|
|
82
|
313 <li>Interface は Java のインターフェース、 Haskell の型クラスに対応する</li>
|
|
|
314 </ul>
|
|
|
315
|
|
|
316
|
|
|
317 </div>
|
|
|
318 <div class='slide '>
|
|
|
319 <!-- _S9SLIDE_ -->
|
|
|
320 <h2 id="interface-">Interface の定義</h2>
|
|
86
|
321 <ul>
|
|
|
322 <li>Interface の定義には以下の内容を定義する
|
|
|
323 <ul>
|
|
|
324 <li>引数のData Gear 群</li>
|
|
|
325 <li>操作(API) 実行後に継続される Code Gear</li>
|
|
|
326 <li>操作(API) である Code Gear と Code Gear に渡す引数情報</li>
|
|
|
327 </ul>
|
|
|
328 </li>
|
|
|
329 </ul>
|
|
|
330
|
|
|
331 <pre lang="c"><code>typedef struct Queue<Impl>{
|
|
|
332 // Data Gear parameter
|
|
|
333 union Data* queue;
|
|
|
334 union Data* data;
|
|
|
335 __code next(...);
|
|
|
336 __code whenEmpty(...);
|
|
|
337
|
|
|
338 // Code Gear
|
|
|
339 __code clear(Impl* queue, __code next(...));
|
|
|
340 __code put(Impl* queue, union Data* data, __code next(...));
|
|
|
341 __code take(Impl* queue, __code next(union Data*, ...));
|
|
|
342 __code isEmpty(Impl* queue, __code next(...), __code whenEmpty(...));
|
|
|
343 } Queue;
|
|
|
344 </code></pre>
|
|
82
|
345
|
|
|
346
|
|
|
347 </div>
|
|
|
348 <div class='slide '>
|
|
|
349 <!-- _S9SLIDE_ -->
|
|
|
350 <h2 id="interface--1">Interface の実装</h2>
|
|
86
|
351 <ul>
|
|
|
352 <li>Interface には複数の実装を行うことが出来る</li>
|
|
|
353 <li>実装した Code Gear を Interface で定義した Code Gear に代入することで実装を行う</li>
|
|
|
354 <li>代入する Code Gear を入れ替えることで別の実装を表現する</li>
|
|
|
355 <li>実装した Data Gear の生成は関数呼び出しで行われ、外から見るとInterface の型で扱われる</li>
|
|
|
356 </ul>
|
|
|
357
|
|
|
358 <pre><code>Queue* createSingleLinkedQueue(struct Context* context) {
|
|
|
359 struct Queue* queue = new Queue(); // Allocate Queue interface
|
|
|
360 struct SingleLinkedQueue* singleLinkedQueue = new SingleLinkedQueue(); // Allocate Queue implement
|
|
|
361 queue->queue = (union Data*)singleLinkedQueue;
|
|
|
362 singleLinkedQueue->top = new Element();
|
|
|
363 singleLinkedQueue->last = singleLinkedQueue->top;
|
|
|
364 queue->clear = C_clearSingleLinkedQueue;
|
|
|
365 queue->put = C_putSingleLinkedQueue;
|
|
|
366 queue->take = C_takeSingleLinkedQueue;
|
|
|
367 queue->isEmpty = C_isEmptySingleLinkedQueue;
|
|
|
368 return queue;
|
|
|
369 }
|
|
|
370 </code></pre>
|
|
|
371
|
|
|
372
|
|
|
373 </div>
|
|
|
374 <div class='slide '>
|
|
|
375 <!-- _S9SLIDE_ -->
|
|
|
376 <h2 id="interface--2">Interface の実装例</h2>
|
|
|
377 <ul>
|
|
|
378 <li>SingleLinkedQueue の put 実装</li>
|
|
88
|
379 <li>引数は Queue Interface の put 定義にあわせる</li>
|
|
86
|
380 <li>第1引数は 実装対象の Data Gear の型になる</li>
|
|
|
381 <li>第3引数の(…) は Output Data Gear を記述する
|
|
|
382 <ul>
|
|
|
383 <li>… は可変長引数のような扱いで、 継続先の Code Gear が複数の値をInput Data Gear とする可能性がある</li>
|
|
|
384 </ul>
|
|
|
385 </li>
|
|
|
386 </ul>
|
|
|
387
|
|
|
388 <pre lang="c"><code>__code putSingleLinkedQueue(struct SingleLinkedQueue* queue, union Data* data, __code next(...)) {
|
|
|
389 Element* element = new Element();
|
|
|
390 element->data = data;
|
|
|
391 element->next = NULL;
|
|
|
392 queue->last->next = element;
|
|
|
393 queue->last = element;
|
|
|
394 goto next(...);
|
|
|
395 }
|
|
|
396 </code></pre>
|
|
82
|
397
|
|
|
398
|
|
|
399 </div>
|
|
|
400 <div class='slide '>
|
|
|
401 <!-- _S9SLIDE_ -->
|
|
|
402 <h2 id="interface--code-gear-">Interface を利用した Code Gear の呼び出し</h2>
|
|
86
|
403 <ul>
|
|
|
404 <li>Interface を利用した Code Gear への継続は <code>goto interface->method</code> で行われる</li>
|
|
89
|
405 <li>ここでの <strong>interface</strong> は Interfaceの型で包んだData Gear、 <strong>method</strong> は実装した Code Gear に対応する</li>
|
|
86
|
406 </ul>
|
|
|
407
|
|
|
408 <pre><code>__code code1() {
|
|
|
409 Queue* queue = createSingleLinkedQueue(context);
|
|
|
410 Node* node = new Node();
|
|
|
411 node->color = Red;
|
|
|
412 goto queue->put(node, queueTest2);
|
|
|
413 }
|
|
|
414 </code></pre>
|
|
82
|
415
|
|
|
416
|
|
|
417 </div>
|
|
|
418 <div class='slide '>
|
|
|
419 <!-- _S9SLIDE_ -->
|
|
86
|
420 <h2 id="interface--code-gear--1">Interface を利用した Code Gear の呼び出し(スクリプト変換後)</h2>
|
|
|
421 <ul>
|
|
88
|
422 <li>Interface を利用した Code Gear の継続はスクリプトによって変換される
|
|
|
423 <ul>
|
|
|
424 <li>変換後は Context を参照するため、メタレベルの記述になる</li>
|
|
|
425 </ul>
|
|
|
426 </li>
|
|
86
|
427 <li>Gearef マクロは Context から Interface の引数格納用の Data Gear を取り出す</li>
|
|
|
428 <li>この Data Gear は Context を初期化した際に特別に生成され、型は Interface と同じになる</li>
|
|
88
|
429 <li>呼び出すCode Gear の引数情報に合わせて引数に格納し、 実装された Code Gear へ継続する</li>
|
|
86
|
430 </ul>
|
|
|
431
|
|
|
432 <pre><code>__code code1(struct Context *context) {
|
|
|
433 Queue* queue = createSingleLinkedQueue(context);
|
|
|
434 Node* node = &ALLOCATE(context, Node)->Node;
|
|
|
435 node->color = Red;
|
|
|
436 Gearef(context, Queue)->queue = (union Data*) queue;
|
|
|
437 Gearef(context, Queue)->data = (union Data*) node;
|
|
|
438 Gearef(context, Queue)->next = C_queueTest2;
|
|
|
439 goto meta(context, queue->put);
|
|
|
440 }
|
|
|
441 </code></pre>
|
|
|
442
|
|
|
443
|
|
|
444 </div>
|
|
|
445 <div class='slide '>
|
|
|
446 <!-- _S9SLIDE_ -->
|
|
|
447 <h2 id="interface--stub-code-gear">Interface での stub Code Gear</h2>
|
|
|
448 <ul>
|
|
88
|
449 <li>メタ計算で格納された引数は stub Code Gear で Code Gear に渡される</li>
|
|
|
450 <li>Interface を実装した Code Gear は Interface の定義から stub Code Gear の自動生成が可能である</li>
|
|
86
|
451 </ul>
|
|
|
452
|
|
|
453 <pre lang="c"><code>__code putSingleLinkedQueue(struct Context *context,struct SingleLinkedQueue* queue, union Data* data, enum Code next) {
|
|
|
454 Element* element = &ALLOCATE(context, Element)->Element;
|
|
|
455 element->data = data;
|
|
|
456 element->next = NULL;
|
|
|
457 queue->last->next = element;
|
|
|
458 queue->last = element;
|
|
|
459 goto meta(context, next);
|
|
|
460 }
|
|
|
461
|
|
|
462 // generated by script
|
|
|
463 __code putSingleLinkedQueue_stub(struct Context* context) {
|
|
|
464 SingleLinkedQueue* queue = (SingleLinkedQueue*)GearImpl(context, Queue, queue);
|
|
|
465 Data* data = Gearef(context, Queue)->data;
|
|
|
466 enum Code next = Gearef(context, Queue)->next;
|
|
|
467 goto putSingleLinkedQueue(context, queue, data, next);
|
|
|
468 }
|
|
|
469 </code></pre>
|
|
|
470
|
|
|
471
|
|
|
472 </div>
|
|
|
473 <div class='slide '>
|
|
|
474 <!-- _S9SLIDE_ -->
|
|
|
475 <h2 id="section-2">並列処理の構成</h2>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
476 <ul>
|
|
88
|
477 <li>今回はInterface を利用した並列処理機構の実装を行う</li>
|
|
|
478 <li>構成要素として以下が挙げられる
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
479 <ul>
|
|
82
|
480 <li>Task(Context)</li>
|
|
86
|
481 <li>TaskManager
|
|
|
482 <ul>
|
|
|
483 <li>Worker の生成、依存関係を解決したTask を Worker に送信する</li>
|
|
|
484 </ul>
|
|
|
485 </li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
486 <li>Worker
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
487 <ul>
|
|
86
|
488 <li>SynchronizedQueue から Task を取得し、実行する</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
489 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
490 </li>
|
|
88
|
491 <li>SynchronizedQueue
|
|
|
492 <ul>
|
|
|
493 <li>マルチスレッド 環境でもデータの一貫性を保証する Queue</li>
|
|
|
494 </ul>
|
|
|
495 </li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
496 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
497 </li>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
498 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
499
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
500
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
501 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
502 <div class='slide '>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
503 <!-- _S9SLIDE_ -->
|
|
82
|
504 <h2 id="taskcontext">Task(Context)</h2>
|
|
86
|
505 <ul>
|
|
|
506 <li>Gears OS では並列実行する Task を Context で表現する</li>
|
|
88
|
507 <li>Context は Task用の情報として以下の情報をもっている
|
|
86
|
508 <ul>
|
|
|
509 <li>実行する Code Gear</li>
|
|
|
510 <li>Input/Output Data Gear の格納場所</li>
|
|
|
511 <li>待っている Input Data Gear の数</li>
|
|
|
512 </ul>
|
|
|
513 </li>
|
|
|
514 <li>実際に実行される Code Gear の引数情報は Interface の Code Gear 実装と同等に記述できる
|
|
|
515 <ul>
|
|
88
|
516 <li>Code Gear の stub Code Gear は自動生成される</li>
|
|
86
|
517 </ul>
|
|
|
518 </li>
|
|
|
519 </ul>
|
|
|
520
|
|
|
521 <pre lang="c"><code>__code add(struct Integer* input1, struct Integer* input2, __code next(struct Integer* output, ...)) {
|
|
|
522 output->value = input1->value + input2->value;
|
|
|
523 goto next(output, ...);
|
|
|
524 }
|
|
|
525 </code></pre>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
526
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
527
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
528 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
529 <div class='slide '>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
530 <!-- _S9SLIDE_ -->
|
|
82
|
531 <h2 id="taskmanger">TaskManger</h2>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
532 <ul>
|
|
82
|
533 <li>依存関係を解決した Task を各 Worker の Queue に送信する</li>
|
|
88
|
534 <li>Worker を作成、終了処理も行う</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
535 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
536
|
|
82
|
537 <div style="text-align: center;">
|
|
86
|
538 <img src="./images/sendTask.svg" alt="message" width="800" />
|
|
82
|
539 </div>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
540
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
541
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
542 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
543 <div class='slide '>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
544 <!-- _S9SLIDE_ -->
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
545 <h2 id="worker">Worker</h2>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
546 <ul>
|
|
86
|
547 <li>初期化の際にスレッドと Worker 用の Context を生成する</li>
|
|
88
|
548 <li>生成されたスレッドではTaskManager から送信された Task を取得して実行する</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
549 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
550
|
|
86
|
551 <div>
|
|
|
552 <div style="float: left;">
|
|
|
553 <img src="./images/workerRun.svg" alt="message" width="600" />
|
|
|
554 </div>
|
|
|
555 <div style="float: left; font-size=100%;">
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
556 <ol>
|
|
86
|
557 <li>Worker は Queue から Task を取得する</li>
|
|
|
558 <li>Worker Context から Task へ入れ替える</li>
|
|
|
559 <li>Task の Code Gear を実行</li>
|
|
|
560 <li>Task の Output Data Gear の書き出し</li>
|
|
|
561 <li>Task から WorkerContext へ入れ替える</li>
|
|
|
562 <li>Worker は再び Queue から Task を取得する</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
563 </ol>
|
|
86
|
564 </div>
|
|
88
|
565 <div style="clear: both;"></div>
|
|
86
|
566 </div>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
567
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
568
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
569 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
570 <div class='slide '>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
571 <!-- _S9SLIDE_ -->
|
|
82
|
572 <h2 id="synchronized-queue">Synchronized Queue</h2>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
573 <ul>
|
|
86
|
574 <li>Worker で使用される Queue</li>
|
|
88
|
575 <li>Task を送信するスレッドと Task を取得するスレッドで操作される</li>
|
|
86
|
576 <li>そのためマルチスレッドでのデータの一貫性を保証する必要がある</li>
|
|
88
|
577 <li>Gears OS では CAS(Check and Set、 Compare and Swap) を使用した Synchronized Queue として実装する
|
|
|
578 <ul>
|
|
|
579 <li>CAS は値を更新する際に更新前の値と実際に保存されているメモリ番地の値を比較する</li>
|
|
|
580 </ul>
|
|
|
581 </li>
|
|
86
|
582 <li>この Queue は Queue Interface を実装し、 List を利用した実装を行った</li>
|
|
|
583 </ul>
|
|
|
584
|
|
|
585 <pre><code>struct SynchronizedQueue {
|
|
|
586 struct Element* top;
|
|
|
587 struct Element* last;
|
|
|
588 struct Atomic* atomic;
|
|
|
589 };
|
|
|
590 // Singly Linked List element
|
|
|
591 struct Element {
|
|
|
592 union Data* top;
|
|
|
593 struct Element* next;
|
|
|
594 };
|
|
|
595 </code></pre>
|
|
|
596
|
|
|
597
|
|
|
598 </div>
|
|
|
599 <div class='slide '>
|
|
|
600 <!-- _S9SLIDE_ -->
|
|
|
601 <h2 id="section-3">依存関係の解決</h2>
|
|
|
602 <ul>
|
|
88
|
603 <li>依存関係の解決は Data Gear がメタレベルで持っている Queue を使用する</li>
|
|
|
604 <li>この Queue には Data Gear に依存関係がある Code Gear が格納されている</li>
|
|
86
|
605 </ul>
|
|
|
606
|
|
88
|
607 <div>
|
|
|
608 <div style="float: left;">
|
|
|
609 <img src="./images/dependency.svg" alt="message" width="550" />
|
|
|
610 </div>
|
|
|
611 <div style="float: left; font-size=100%;">
|
|
|
612 <ol>
|
|
|
613 <li>Task の Code Gear を実行する</li>
|
|
|
614 <li>Output Data Gear の書き出し処理を行う</li>
|
|
|
615 この際にメタレベルの Queue を参照する
|
|
|
616 <li>依存関係にある Task を取り出し、 待っている</li>
|
|
|
617 Data Gearのカウンタをデクリメントする
|
|
|
618 </ol>
|
|
|
619 </div>
|
|
|
620 <div style="clear: both;"></div>
|
|
86
|
621 </div>
|
|
|
622
|
|
88
|
623 <ul>
|
|
|
624 <li>カウンタの値が0になった実行可能な Task は TaskManager を通して Worker に送信される</li>
|
|
|
625 </ul>
|
|
|
626
|
|
86
|
627
|
|
|
628 </div>
|
|
|
629 <div class='slide '>
|
|
|
630 <!-- _S9SLIDE_ -->
|
|
|
631 <h2 id="section-4">並列構文</h2>
|
|
|
632 <ul>
|
|
|
633 <li>並列実行の Task の生成は新しく Context を生成し、実行する Code Gear、待ち合わせる Input Data Gear の数、Input/Output Data Gear への参照を設定する</li>
|
|
89
|
634 <li>この記述を直接書くと Meta Data Gear である Context を直接参照しているため、ノーマルレベルでの記述では好ましくない</li>
|
|
|
635 <li>Task の設定は煩雑な記述であるが、並列実行されることを除けば通常の CbC の goto 文と同等である</li>
|
|
86
|
636 <li>そこで Context を直接参照しない並列構文、 <strong>par goto</strong> 構文を新たに考案した</li>
|
|
|
637 <li>par goto 構文には引数として Input/Output Data Gear等を渡す
|
|
82
|
638 <ul>
|
|
86
|
639 <li>スクリプトによって Code Gear の Input/Output の数を解析する</li>
|
|
|
640 </ul>
|
|
|
641 </li>
|
|
|
642 </ul>
|
|
|
643
|
|
|
644 <pre lang="c"><code>__code code1(Integer *integer1, Integer * integer2, Integer *output) {
|
|
|
645 par goto add(integer1, integer2, output, __exit);
|
|
|
646 goto code2();
|
|
|
647 }
|
|
|
648 </code></pre>
|
|
|
649
|
|
|
650
|
|
|
651 </div>
|
|
|
652 <div class='slide '>
|
|
|
653 <!-- _S9SLIDE_ -->
|
|
|
654 <h2 id="cuda-">CUDA への対応</h2>
|
|
|
655 <ul>
|
|
|
656 <li>Gears OS は GPU での実行もサポートする</li>
|
|
|
657 <li>GPU で性能を出すためには GPU に合わせた並列プログラミングが必要になる</li>
|
|
|
658 <li>今回は CUDA への実行のサポートをおこなった</li>
|
|
89
|
659 <li>CUDA は GPU を Device、 CPU を Host として定義する</li>
|
|
86
|
660 <li>CUDA は処理の最小の単位を thread とし、それをまとめた block を展開し Device 上で実行されるプログラム(Kernel)を実行する</li>
|
|
89
|
661 <li>今回 CUDAWorker、CUDAExecutor、 CUDABuffer を使用して CUDA に合わせた並列処理機構を提供する</li>
|
|
86
|
662 </ul>
|
|
|
663
|
|
88
|
664
|
|
86
|
665 </div>
|
|
88
|
666 <div class='slide '>
|
|
|
667 <!-- _S9SLIDE_ -->
|
|
|
668 <h2 id="cudaworker">CUDAWorker</h2>
|
|
|
669 <ul>
|
|
|
670 <li>CUDA で実行する Task を受け取る Worker</li>
|
|
|
671 <li>初期化の際に CUDA ライブラリの初期化等を行う</li>
|
|
|
672 </ul>
|
|
86
|
673
|
|
|
674
|
|
|
675 </div>
|
|
|
676 <div class='slide '>
|
|
|
677 <!-- _S9SLIDE_ -->
|
|
|
678 <h2 id="cudaexecutor">CUDAExecutor</h2>
|
|
|
679 <ul>
|
|
88
|
680 <li>CUDAExecutor は Executor Interface を実装した以下の Code Gear を持つ
|
|
86
|
681 <ul>
|
|
|
682 <li>HostからDevice へのデータの送信(read)</li>
|
|
|
683 <li>kernel の実行(exec)</li>
|
|
|
684 <li>Device から Host へのデータの書き出し(write)</li>
|
|
|
685 </ul>
|
|
|
686 </li>
|
|
|
687 </ul>
|
|
|
688
|
|
|
689 <pre lang="c"><code>typedef struct Executor<Impl>{
|
|
|
690 union Data* Executor;
|
|
|
691 struct Context* task;
|
|
|
692 __code next(...);
|
|
|
693 // method
|
|
|
694 __code read(Impl* executor, struct Context* task, __code next(...));
|
|
|
695 __code exec(Impl* executor, struct Context* task, __code next(...));
|
|
|
696 __code write(Impl* executor, struct Context* task, __code next(...));
|
|
|
697 }
|
|
|
698 </code></pre>
|
|
|
699
|
|
|
700
|
|
|
701 </div>
|
|
|
702 <div class='slide '>
|
|
|
703 <!-- _S9SLIDE_ -->
|
|
|
704 <h2 id="cudabuffer">CUDABuffer</h2>
|
|
|
705 <ul>
|
|
88
|
706 <li>Host、Device 間でデータのやり取りをする際、 Gears OS での Data Gear をDevice 用にマッピングする必要がある
|
|
86
|
707 <ul>
|
|
|
708 <li>Device にデータ領域を確保するにはサイズの指定が必要</li>
|
|
|
709 <li>Data Gear には Meta Data Gear でデータのサイズを持っている</li>
|
|
89
|
710 <li>しかし、 Data Gear の要素の中に Data Gear へのポインタがあるとポインタ分でサイズ計算してしまうため、 GPU では参照できなくなってしまう</li>
|
|
86
|
711 </ul>
|
|
|
712 </li>
|
|
|
713 <li>CUDA Buffer ではそのマッピングを行う
|
|
|
714 <ul>
|
|
|
715 <li>このマッピングは Task の stub Code Gear で行われる</li>
|
|
|
716 </ul>
|
|
|
717 </li>
|
|
|
718 </ul>
|
|
|
719
|
|
|
720 <div style="text-align: center;">
|
|
|
721 <img src="./images/cudaDataArchitecture.svg" alt="message" width="500" />
|
|
|
722 </div>
|
|
|
723
|
|
|
724
|
|
|
725 </div>
|
|
|
726 <div class='slide '>
|
|
|
727 <!-- _S9SLIDE_ -->
|
|
|
728 <h2 id="cuda--1">CUDA での呼び出し</h2>
|
|
|
729 <ul>
|
|
89
|
730 <li>Gears OS では Task で実行される Code Gear の stub Code Gear で CUDA による実行を切り替える</li>
|
|
86
|
731 <li>stub Code Gear で CUDABuffer でのマッピング、 実行する kernel の読み込みを行う</li>
|
|
|
732 <li>stub Code Gear は CUDA で実行する際は CUDAExecutor の Code Gear に継続する</li>
|
|
|
733 </ul>
|
|
|
734
|
|
|
735
|
|
|
736 </div>
|
|
|
737 <div class='slide '>
|
|
|
738 <!-- _S9SLIDE_ -->
|
|
|
739 <h2 id="gears-os-">Gears OS の評価</h2>
|
|
|
740 <ul>
|
|
|
741 <li>並列処理のタスクの例題として Twice と BitonicSort を実装し、 以下の環境で測定を行った</li>
|
|
|
742 <li>CPU 環境
|
|
|
743 <ul>
|
|
|
744 <li>Model : Dell PowerEdgeR630</li>
|
|
|
745 <li>Memory : 768GB</li>
|
|
|
746 <li>CPU : 2 x 18-Core Intel Xeon 2.30GHz</li>
|
|
|
747 </ul>
|
|
|
748 </li>
|
|
|
749 <li>GPU 環境
|
|
|
750 <ul>
|
|
|
751 <li>GPU : GeForce GTX 1070</li>
|
|
|
752 <li>Cores : 1920</li>
|
|
|
753 <li>ClockSpeed : 1683MHz</li>
|
|
|
754 <li>Memory Size : 8GB GDDR5</li>
|
|
|
755 <li>Memory Bandwidth : 256GB/s</li>
|
|
82
|
756 </ul>
|
|
|
757 </li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
758 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
759
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
760
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
761 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
762 <div class='slide '>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
763 <!-- _S9SLIDE_ -->
|
|
86
|
764 <h2 id="twice">Twice</h2>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
765 <ul>
|
|
86
|
766 <li>Twice は与えられた整数配列を2倍にする例題である</li>
|
|
|
767 <li>並列実行の依存関係がなく、並列度が高い課題である</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
768 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
769
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
770
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
771 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
772 <div class='slide '>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
773 <!-- _S9SLIDE_ -->
|
|
86
|
774 <h2 id="twice-">Twice の結果</h2>
|
|
88
|
775 <ul>
|
|
|
776 <li>要素数 2^27</li>
|
|
|
777 <li>CPU での実行時は 2^27 を 2^6 個に分割して Task を生成する</li>
|
|
|
778 <li>GPU での実行時は1次元の block 数を 2^15、 block 内の thread 数を 2^10 で展開</li>
|
|
|
779 <li>1 CPU と 32 CPU では 約27.1倍の速度向上が見られた</li>
|
|
|
780 <li>GPU 実行は kernel のみの実行時間は32 CPU に比べて約7.2倍の速度向上、通信時間を含めると 16 CPU より遅い</li>
|
|
|
781 <li>通信時間がオーバーヘッドになっている</li>
|
|
|
782 </ul>
|
|
|
783
|
|
86
|
784 <table border="1" align="center" width="50%">
|
|
|
785 <tbody>
|
|
|
786 <tr>
|
|
|
787 <td style="text-align: center;">Processor</td>
|
|
|
788 <td style="text-align: center;">Time(ms)</td>
|
|
|
789 </tr>
|
|
|
790 <tr>
|
|
|
791 <td style="text-align: center;">1 CPU</td>
|
|
|
792 <td style="text-align: right;">1181.215</td>
|
|
|
793 </tr>
|
|
|
794 <tr>
|
|
|
795 <td style="text-align: center;">2 CPUs</td>
|
|
|
796 <td style="text-align: right;">627.914</td>
|
|
|
797 </tr>
|
|
|
798 <tr>
|
|
|
799 <td style="text-align: center;">4 CPUs</td>
|
|
|
800 <td style="text-align: right;">324.059</td>
|
|
|
801 </tr>
|
|
|
802 <tr>
|
|
|
803 <td style="text-align: center;">8 CPUs</td>
|
|
|
804 <td style="text-align: right;">159.932</td>
|
|
|
805 </tr>
|
|
|
806 <tr>
|
|
|
807 <td style="text-align: center;">16 CPUs</td>
|
|
|
808 <td style="text-align: right;">85.518</td>
|
|
|
809 </tr>
|
|
|
810 <tr>
|
|
|
811 <td style="text-align: center;">32 CPUs</td>
|
|
|
812 <td style="text-align: right;">43.496</td>
|
|
|
813 </tr>
|
|
|
814 <tr>
|
|
|
815 <td style="text-align: center;">GPU</td>
|
|
88
|
816 <td style="text-align: right;">127.018</td>
|
|
86
|
817 </tr>
|
|
|
818 <tr>
|
|
|
819 <td style="text-align: center;">GPU(kernel only)</td>
|
|
|
820 <td style="text-align: right;">6.018</td>
|
|
|
821 </tr>
|
|
|
822 </tbody>
|
|
|
823 </table>
|
|
|
824
|
|
82
|
825
|
|
|
826 </div>
|
|
|
827 <div class='slide '>
|
|
|
828 <!-- _S9SLIDE_ -->
|
|
86
|
829 <h2 id="bitonicsort">BitonicSort</h2>
|
|
82
|
830 <ul>
|
|
86
|
831 <li>並列処理向けのソートアルゴリズム</li>
|
|
|
832 <li>決まった2点間の要素の入れ替えをステージ毎に並列に実行し、 Output Data Gear として書き出し、次のステージの Code Gear の Input Data Gear とする</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
833 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
834
|
|
86
|
835 <div style="text-align: center;">
|
|
|
836 <img src="./images/bitonicNetwork.svg" alt="message" width="500" />
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
837 </div>
|
|
82
|
838
|
|
|
839
|
|
|
840 </div>
|
|
|
841 <div class='slide '>
|
|
|
842 <!-- _S9SLIDE_ -->
|
|
|
843 <h2 id="bitonicsort-">BitonicSort の結果</h2>
|
|
88
|
844 <ul>
|
|
|
845 <li>要素数 2^24</li>
|
|
|
846 <li>CPU での実行時は 2^24 を 2^6 個に分割して Task を生成する</li>
|
|
|
847 <li>GPU での実行時は1次元の block 数を 2^14、 block 内の thread 数を 2^10 で展開</li>
|
|
|
848 <li>1 CPU と 32 CPU で約22.12倍の速度向上</li>
|
|
|
849 <li>GPU は通信時間を含めると 8 CPU の約1.16倍、 kernel のみの実行では 32 CPU の約11.48倍になった</li>
|
|
|
850 <li>現在の Gears OS の CUDA 実装では Output Data Gear を書き出す際に一度 GPU から CPU へ kernel の結果の書き出しを行っているため、差がでてしまった</li>
|
|
|
851 </ul>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
852
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
853 <table border="1" align="center" width="50%">
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
854 <tbody>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
855 <tr>
|
|
86
|
856 <td style="text-align: center;">Processor</td>
|
|
|
857 <td style="text-align: center;">Time(s)</td>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
858 </tr>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
859 <tr>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
860 <td style="text-align: center;">1 CPU</td>
|
|
86
|
861 <td style="text-align: right;">41.416</td>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
862 </tr>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
863 <tr>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
864 <td style="text-align: center;">2 CPUs</td>
|
|
86
|
865 <td style="text-align: right;">23.340</td>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
866 </tr>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
867 <tr>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
868 <td style="text-align: center;">4 CPUs</td>
|
|
86
|
869 <td style="text-align: right;">11.952</td>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
870 </tr>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
871 <tr>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
872 <td style="text-align: center;">8 CPUs</td>
|
|
86
|
873 <td style="text-align: right;">6.320</td>
|
|
|
874 </tr>
|
|
|
875 <tr>
|
|
|
876 <td style="text-align: center;">16 CPUs</td>
|
|
|
877 <td style="text-align: right;">3.336</td>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
878 </tr>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
879 <tr>
|
|
86
|
880 <td style="text-align: center;">32 CPUs</td>
|
|
|
881 <td style="text-align: right;">1.872</td>
|
|
|
882 </tr>
|
|
|
883 <tr>
|
|
|
884 <td style="text-align: center;">GPU</td>
|
|
|
885 <td style="text-align: right;">5.420</td>
|
|
|
886 </tr>
|
|
|
887 <tr>
|
|
|
888 <td style="text-align: center;">GPU(kernel only)</td>
|
|
|
889 <td style="text-align: right;">0.163</td>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
890 </tr>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
891 </tbody>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
892 </table>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
893
|
|
88
|
894
|
|
|
895 </div>
|
|
|
896 <div class='slide '>
|
|
|
897 <!-- _S9SLIDE_ -->
|
|
|
898 <h2 id="openmp-">OpenMP との比較</h2>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
899 <ul>
|
|
88
|
900 <li>OpenMP は C、 C++ のプログラムにアノテーションを付けることで並列化を行う</li>
|
|
|
901 <li>データの待ち合わせ処理はバリア等のアノテーションで記述する</li>
|
|
|
902 <li>Gears OS は並列処理を par goto 構文、 データの待ち合わせを Code Gear と Input/Ouput Data Gear の関係で行う</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
903 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
904
|
|
88
|
905 <pre lang="c"><code>#pragma omp parallel for
|
|
|
906 for(int i = 0; i < length; i++) {
|
|
|
907 a[i] = a[i] * 2;
|
|
|
908 }
|
|
|
909 </code></pre>
|
|
|
910
|
|
|
911
|
|
|
912 </div>
|
|
|
913 <div class='slide '>
|
|
|
914 <!-- _S9SLIDE_ -->
|
|
|
915 <h2 id="openmp--1">OpenMP との比較</h2>
|
|
|
916 <ul>
|
|
|
917 <li>OpenMP で Twice を実装し、速度比較を行った</li>
|
|
|
918 <li>OpenMP は 1CPU と 32CPU で約10.8倍の速度向上が見られた</li>
|
|
|
919 <li>一方 Gears OS では約27.1倍と台数効果は高くなっている</li>
|
|
|
920 <li>しかし、 Gears OS は 1CPU の実行速度が OpenMP に比べて大幅に遅くなっている</li>
|
|
|
921 </ul>
|
|
|
922
|
|
|
923 <div style="text-align: center;">
|
|
|
924 <img src="./images/vsopenmp.svg" alt="message" width="500" />
|
|
|
925 </div>
|
|
|
926
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
927
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
928 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
929 <div class='slide '>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
930 <!-- _S9SLIDE_ -->
|
|
88
|
931 <h2 id="go-">Go 言語との比較</h2>
|
|
|
932 <ul>
|
|
|
933 <li>Go 言語は並列実行を <strong>go funciton(argv)</strong> の構文で行う。 この実行を goroutine と呼ぶ</li>
|
|
|
934 <li>データの待ち合わせはチャネルというデータ構造で行う</li>
|
|
|
935 <li>チャネルでのデータの送受信は <strong><-</strong> を使用して行うため、簡潔に書くことが出来る</li>
|
|
|
936 <li>しかし、 チャネルは複数の goroutine で共有されるため、データの送信元が推測しづらい</li>
|
|
|
937 <li>Gears OS では goroutine は par goto 文とほぼ同等に扱える</li>
|
|
|
938 <li>par goto 文では書き出す Data Gear を指定するため、書き出し元が推測しやすい</li>
|
|
|
939 </ul>
|
|
|
940
|
|
|
941 <pre lang="go"><code>c := make(chan []int)
|
|
|
942 for i :=0; i < *split; i++ {
|
|
|
943 // call goroutine
|
|
|
944 go twice(list, prefix, i, c);
|
|
|
945 }
|
|
|
946
|
|
|
947 func twice(list []int, prefix int, index int, c chan []int) {
|
|
|
948 for i := 0; i < prefix; i++ {
|
|
|
949 list[prefix*index+i] = list[prefix*index+i] * 2;
|
|
|
950 }
|
|
|
951 c <- list
|
|
|
952 }
|
|
|
953 </code></pre>
|
|
|
954
|
|
|
955
|
|
|
956 </div>
|
|
|
957 <div class='slide '>
|
|
|
958 <!-- _S9SLIDE_ -->
|
|
|
959 <h2 id="go--1">Go 言語との比較</h2>
|
|
|
960 <ul>
|
|
|
961 <li>Go 言語でも OpenMP と同様に Twice を実装し、速度比較を行った</li>
|
|
|
962 <li>Go 言語は 1CPU と 32CPU で約4.33倍の速度向上が見られた</li>
|
|
|
963 <li>OpenMP と同様に台数効果自体は Gears OS が高いが、 1CPU での実行時間は Go 言語が大幅に速い</li>
|
|
|
964 </ul>
|
|
|
965
|
|
|
966 <div style="text-align: center;">
|
|
|
967 <img src="./images/vsgo.svg" alt="message" width="500" />
|
|
|
968 </div>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
969
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
970
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
971 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
972 <div class='slide '>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
973 <!-- _S9SLIDE_ -->
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
974 <h2 id="section-5">まとめ</h2>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
975 <ul>
|
|
86
|
976 <li>Gears OS の並列処理機構の実装を行った</li>
|
|
|
977 <li>Interface を導入することで、見通しの良し Gears OS のプログラミングが可能となった</li>
|
|
|
978 <li>par goto 構文を導入することで、ノーマルレベルで並列処理の記述が可能になった</li>
|
|
|
979 <li>2つの例題である程度の台数効果が出ることを確認した</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
980 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
981
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
982
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
983 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
984 <div class='slide '>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
985 <!-- _S9SLIDE_ -->
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
986 <h2 id="section-6">今後の課題</h2>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
987 <ul>
|
|
86
|
988 <li>Gears OS の並列処理の信頼性の保証、チューニングを行う</li>
|
|
|
989 <li>Gears OS では検証とモデル検査をメタレベルで実現することで信頼性を保証する
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
990 <ul>
|
|
88
|
991 <li>証明は CbC のプログラムを証明支援系の Agda に対応して行う。 並列処理の信頼性を保証するには SynchronizedQueue の証明を行う必要がある</li>
|
|
86
|
992 <li>モデル検査は CbC で記述された モデル検査器である akasha を使用して行う。 モデル検査の方針としては Code Gear の並列実行を擬似並列で実行し、全ての組合せを列挙する方法で行う</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
993 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
994 </li>
|
|
86
|
995 <li>OpenMP、 Goとの比較から、 Gears OS が 1CPU での動作が遅いということがわかった。
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
996 <ul>
|
|
86
|
997 <li>par goto 文を使用する度に Context を生成するため、 ある程度の時間がかかってしまう</li>
|
|
89
|
998 <li>モデル検査で par goto の Code Gear のフローを解析し、処理がかる場合は Context を生成せずに関数呼出しを行う等の最適化が必要</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
999 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1000 </li>
|
|
86
|
1001 <li>現在の CUDA 実装では CPU、GPU 間のデータの通信コストがかかってしまうことが例題からわかった
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1002 <ul>
|
|
89
|
1003 <li>Meta Data Gear に Data Gear が CPU、 GPU のどこで所持されているのかを持たせ、 GPU の Data Gear が CPU で必要になったときに始めてデータの通信を行う</li>
|
77
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1004 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1005 </li>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1006 </ul>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1007 <!-- === end markdown block === -->
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1008 </div>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1009
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1010
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1011 </div><!-- presentation -->
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1012 </body>
|
Tatsuki IHA <innparusu@cr.ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
1013 </html>
|
