0
|
1 \chapter{CELL BROADBAND ENGINE} \label{chapter:cell}
|
|
2
|
|
3 \section{Cell Broadband Engineの構造}
|
6
|
4
|
|
5 ここでは研究、実験題材の対象となった Cell アーキテクチャについて説明する。
|
|
6
|
|
7 Cell Broadband Engine \cite{cell} は、ソニー・コンピュータエンタテインメント、
|
|
8 ソニー、IBM , 東芝によって開発されたマルチコア CPU である。
|
|
9 Cell は、1基の制御系プロセッサコア PPE ( PowerPc Processor ELement ) と
|
|
10 8基の演算系プロセッサコア SPE ( Synergistic Processor Element ) で構成される。
|
|
11 各プロセッサコアは、EIB (Element Interconnect Bus)
|
|
12 と呼ばれる高速なバスで接続されている。また、EIB はメインメモリや
|
|
13 外部入出力デバイスとも接続されていて、
|
|
14 各プロセッサコアは EIB を経由してデータアクセスをおこなう。
|
|
15 本研究で用いた PS3Linux (Yellow Dog Linux 6.2) では、6 個の SPE を
|
|
16 使うことが出来る ( \figref{cell_arch} )
|
|
17
|
|
18 この PPE と SPE の2種類の CPU を、プログラマ自身が用途に
|
|
19 合わせて適切に使い分けるように考慮する必要がある。
|
|
20
|
|
21 \begin{figure}[htb]
|
|
22 \begin{center}
|
7
|
23 \includegraphics[scale=0.8]{./images/cell-main.pdf}
|
6
|
24 \end{center}
|
|
25 \caption{Cell Broadband Engine Architecture}
|
|
26 \label{fig:cell_arch}
|
|
27 \end{figure}
|
|
28
|
|
29
|
0
|
30 \section{PPE (PowerPC Processor Element)}
|
6
|
31
|
|
32 PPE は Cell Broadband Engine のメインプロセッサで、複数の SPE を
|
|
33 コアプロセッサとして使用することができる汎用プロセッサである。
|
|
34 メインメモリや外部デバイスへの入出力、SPEを制御する役割を担っている。
|
|
35 PPU (PowerPC Processor Unit) は、
|
|
36 PPE の演算処理を行うユニットで、PowerPC アーキテクチャをベースとした
|
|
37 命令セットを持つ。PPSS (PowerPC Processor Storage Subsystem) は
|
|
38 PPU からメインメモリへのデータアクセスを制御する
|
|
39 ユニットである (\figref{cell_ppe}) 。
|
|
40
|
|
41 \begin{figure}[htb]
|
|
42 \begin{center}
|
7
|
43 \includegraphics[scale=0.6]{./images/PPE.pdf}
|
6
|
44 \end{center}
|
|
45 \caption{PPE (PowerPC Processor Element)}
|
7
|
46 \label{fig:ppe}
|
6
|
47 \end{figure}
|
|
48
|
0
|
49 \section{SPE (Synergistic Processor Element)}
|
6
|
50
|
|
51 SPE には 256KB の Local Store (LS) と呼ばれる、SPE から唯一、
|
|
52 直接参照できるメモリ領域があり、バスに負担をかける事無く
|
|
53 並列に計算を進めることが出来る。SPE からメインメモリへは、
|
|
54 直接アクセスすることは出来ず、SPE を構成する一つである
|
|
55 MFC (Memory Flow Controller) へ、チャネルを介して DMA (Direct Memory Access)
|
|
56 命令を送ることで行われる (\figref{cell_spe}) 。
|
|
57
|
|
58 \begin{figure}[htb]
|
|
59 \begin{center}
|
7
|
60 \includegraphics[scale=0.8]{./images/SPE.pdf}
|
6
|
61 \end{center}
|
|
62 \caption{SPE (Synergistic Processor Element)}
|
7
|
63 \label{fig:spe}
|
6
|
64 \end{figure}
|
|
65
|
0
|
66 \section{Cell の基本性能}
|
6
|
67
|
|
68 \subsection{DMA (Direct Memory Access)}
|
|
69
|
7
|
70 \ref{sec:spe}節 で述べた通り、SPE は LS 以外のメモリに
|
6
|
71 直接アクセスすることができず、PPE が利用するメインメモリ上のデータに
|
7
|
72 アクセスするには DMA (Direct Memory Access) を用いる。
|
|
73 DMA 転送とは、CPU を介さずに周辺装置とメモリとの間でデータ転送ことで、
|
|
74 Cell の場合はメインメモリと LS 間でデータの転送を行う。手順としては以下の様になる。
|
6
|
75
|
|
76 \begin{enumerate}
|
|
77 \item SPE プログラムが MFC (Memory Flow Controller) に対して
|
|
78 DMA 転送命令を発行
|
|
79 \item MFC が DMA Controller を介して DMA 転送を開始。
|
|
80 この間、SPE プログラムは停止しない。
|
|
81 \item DMA 転送の終了を待つ場合、SPE プログラム内で転送の完了を待つ
|
|
82 \end{enumerate}
|
|
83
|
|
84 この時、DMA 転送するデータとアドレスにはいくつか制限がある。
|
|
85 転送データが 16 バイト以上の場合、データサイズは 16 バイトの倍数で、
|
|
86 転送元と転送先のアドレスが 16 バイト境界に揃えられている必要がある。
|
|
87 転送データが 16 バイト未満の場合、データサイズは 1,2,4,8 バイトで、
|
|
88 転送サイズに応じた自然なアライメントである (転送サイズのバイト境界に
|
|
89 揃えられている) ことが条件となる。
|
|
90
|
|
91 \subsection{SIMD (Single Instruction Multiple Data)}
|
|
92 Cell では、SPE に実装されている 128 ビットレジスタを用いて
|
|
93 SIMD を行うことが出来る。SIMD とは、1 つの命令で
|
|
94 複数のデータに対して処理を行う演算方式である (\figref{cell_simd}) 。
|
|
95
|
|
96 \begin{figure}[htb]
|
|
97 \begin{center}
|
7
|
98 \includegraphics[scale=0.8]{./images/SIMD.pdf}
|
6
|
99 \end{center}
|
|
100 \caption{SIMD (Single Instruction Multiple Data)}
|
7
|
101 \label{fig:simd}
|
6
|
102 \end{figure}
|
|
103
|
|
104 \figref{cell_simd} のスカラ演算は以下のような式に当てはまる。
|
|
105
|
|
106 \begin{verbatim}
|
|
107 int a[4] = {1, 2, 3, 4};
|
|
108 int b[4] = {5, 6, 7, 8};
|
|
109 int c[4];
|
|
110
|
|
111 for (int i = 0; i < 4; i++) {
|
|
112 a[i] + b[i] = c[i];
|
|
113 }
|
|
114 \end{verbatim}
|
|
115
|
|
116 これに対し、SIMD 演算は以下のようになる。
|
|
117
|
|
118 \begin{verbatim}
|
|
119 vector signed int va = {1, 2, 3, 4};
|
|
120 vector signed int vb = {5, 6, 7, 8};
|
|
121 vector signed int vc;
|
|
122
|
|
123 vc = spu_add(va, vb);
|
|
124 \end{verbatim}
|
|
125
|
|
126 Cell の SIMD 演算では、vector 型の変数を用いる。
|
|
127
|
|
128 このように、通常は 4 回計算するところを 1 回の計算で行うことが
|
|
129 できる反面、すべての演算を 128 ビットで計算するため、なるべく
|
|
130 効果的に行う様に工夫する必要がある。
|
|
131
|
|
132 \begin{verbatim}
|
|
133 int a, b, c;
|
|
134
|
|
135 c = a + b;
|
|
136 \end{verbatim}
|
|
137
|
|
138 この様な計算の場合でも 128 ビット同士の演算を行うため、無駄が生じる。
|
|
139
|
7
|
140 \subsection{Mailbox} \label{sec:mailbox}
|
6
|
141
|
|
142 Mailbox とは SPE の MFC 内の FIFO キューであり、PPE と SPE 間の 32 ビット
|
|
143 メッセージの交換に用いられる。Mailbox では 3 つの振る舞いが
|
|
144 出来る様に設計されている (\figref{cell_mailbox}) 。
|
|
145
|
|
146 \begin{figure}[htb]
|
|
147 \begin{center}
|
7
|
148 \includegraphics[scale=0.8]{./images/Mailbox.pdf}
|
6
|
149 \end{center}
|
|
150 \caption{Mailbox}
|
7
|
151 \label{fig:mailbox}
|
6
|
152 \end{figure}
|
|
153
|
|
154 \begin{enumerate}
|
|
155 \item SPU Inbound Mailbox \\
|
|
156 PPE から SPE へデータを渡すためのキュー。キューのエントリ数は
|
|
157 実装依存による \cite{cell} が、研究環境では最大4個までのデータを蓄積できる。
|
|
158 このキューが空の場合は、SPE は、データがメールボックスに書き込まれるまでは、
|
|
159 命令でストールする。読み出すデータの順番は書き込んだ順番に保証されている。
|
|
160 \item SPU Outbound Mailbox \\
|
|
161 SPE から PPE へのデータを渡すためのキュー。研究環境では最大1個までしか
|
|
162 データが蓄積できない。
|
|
163 \item SPU Outbound interrupt Mailbox \\
|
|
164 SPU Outbound Mailbox とほとんど同じだが、このキューでは SPE から
|
|
165 キューにデータが書き込まれると、PPE に対して割り込みイベントが
|
|
166 発生し、データの読み出しタイミングを通知する事が出来る。
|
|
167 \end{enumerate}
|
|
168
|
0
|
169 \section{開発環境}
|
6
|
170
|
|
171 \subsection{libSPE2}
|
|
172
|
|
173 libSPE2 とは、PPE が SPE を扱うためのライブラリ群である \cite{libspe2} 。
|
|
174 libSPE2 は SPE Context Creation、SPE Program Image Handling、
|
|
175 SPE Run Control、SPE Event Handling、SPE MFC Problem State Facilities、
|
|
176 Direct SPE Access for Applications という基本構成でできている。
|
|
177 Cell の基本プログラムは次の様になる。
|
|
178
|
|
179 \begin{enumerate}
|
|
180 \item create N SPE context
|
|
181 \item Load the appropriate SPE executable object into each SPE context's local store
|
|
182 \item Create N threads
|
|
183 \item Wait for all N threads to terminate
|
|
184 \end{enumerate}
|
|
185
|
|
186 \subsection{SPU C/C++ 言語拡張}
|
|
187 SPE では基本的な C 言語の機能の他に、Cell 特有の拡張が行われている
|
|
188 \cite{cell_cpp} 。
|
|
189 \tabref{cell_cpp} に主な API を記す。
|
|
190
|
|
191 \begin{table}[htb]
|
|
192 \begin{center}
|
|
193 \caption{SPU C/C++ 言語拡張 API}
|
|
194 \label{tab:cell_cpp}
|
|
195 \begin{tabular}{|l|l|}
|
|
196 \hline
|
|
197 spu\_mfcdma32 & DMA 転送を開始する \\
|
|
198 \hline
|
|
199 spu\_read\_in\_mbox & PPE からの mail を取得する \\
|
|
200 \hline
|
|
201 spu\_write\_out\_mbox & PPE へ mail を送信する \\
|
|
202 \hline
|
|
203 spu\_add、spu\_sub、spu\_mul & SIMD 演算 (加算、減算、乗算) \\
|
|
204 \hline
|
|
205 \end{tabular}
|
|
206 \end{center}
|
|
207 \end{table}
|
|
208
|
|
209 SPE を効率よく使う上で \tabref{cell_cpp} の様な Cell 特有の API や、
|
|
210 SPE アセンブラ命令を学ぶことが必要となる。
|
|
211
|
|
212 \subsection{SPURS}
|
|
213
|
|
214 ここでは、現在発表されている Cell の開発環境である SPURS について説明する。
|
|
215
|
|
216 SPURS \cite{spurs} は、閉じた並列分散と考えることができる Cell の環境で、
|
|
217 いかに効率よく動作させるかということを考えたシステムである。
|
|
218
|
|
219 Cell の性能を存分に生かすためには SPE を効率よく使い切ることであり、
|
|
220 SPE の動作を止めることなく、同期を最小限に行う必要がある。
|
|
221 そこで SPURS では SPE を効率よく利用するために、PPE に依存せずに SPE コードを
|
|
222 選択し、実行することと機能は効率重視で割り切ることを挙げている。
|
|
223 そのため、SPE 上にカーネルを組み込んでいる。
|
|
224
|
|
225 アプリケーションを複数 SPE で実行するとき、アプリケーションプログラムを
|
|
226 出来るだけ小さな単位(タスク)に分割し、通信ライブラリを用いて
|
|
227 タスク間を依存関係で結合する。
|
|
228 LS 常駐のカーネルが、実行可能なタスクを選んで実行していく
|
|
229 (\figref{cell_spurs_task}) 。
|
|
230
|
|
231 \begin{figure}[htb]
|
|
232 \begin{center}
|
7
|
233 \includegraphics[scale=0.6]{./images/spurs_task.pdf}
|
6
|
234 \end{center}
|
|
235 \caption{SPURS Task}
|
7
|
236 \label{fig:spurs}
|
6
|
237 \end{figure}
|
|
238
|
|
239 これらの処理はデータを扱うため、SPURS はパイプラインで実行される
|
|
240 (\figref{cell_spurs_pipeline}) 。
|
|
241
|
|
242 \begin{figure}[htb]
|
|
243 \begin{center}
|
7
|
244 \includegraphics[scale=0.6]{./images/spurs_pipeline.pdf}
|
6
|
245 \end{center}
|
|
246 \caption{SPURS Pipeline}
|
7
|
247 \label{fig:spurs_pipeline}
|
6
|
248 \end{figure}
|
|
249
|
|
250 以上から、SPURS は複数の SPE を効率よく使うためのライブラリとして
|
|
251 優れた物であると思われるが、現在一般には公開されていない。
|