|
2
|
1 \section{開発過程}
|
|
6
|
2 Cerium を用いた開発では、以下の段階にそれぞれ実装とテストを行う。
|
|
2
|
3
|
|
|
4 \begin{enumerate}
|
|
|
5 \item C によるシーケンシャルな実装 \label{list_dev_1}
|
|
|
6 \item SPE を考慮したデータ構造 (PolygonPack, SpanPack) を持つ実装 \label{list_dev_2}
|
|
4
|
7 \item コードをタスクに分割し、FIFO キューでシーケンシャルに実行する実装 \label{list_dev_3}
|
|
|
8 \item タスクを SPE に割り当て並列実行する実装 \label{list_dev_4}
|
|
2
|
9 \end{enumerate}
|
|
|
10
|
|
4
|
11 段階 (\ref{list_dev_1}) の実装は Task Manager を用いず、
|
|
|
12 プログラムのアルゴリズムの信頼性を確認するために用いる。
|
|
|
13
|
|
|
14 段階 (\ref{list_dev_2}) ではデータの変換が必要になり、
|
|
|
15 段階 (\ref{list_dev_1}) と同じ結果を得られるかどうかを検証する。
|
|
|
16 この段階までは、入力に対して出力が一意に決まる状況であり、テストは容易である。
|
|
2
|
17 シーケンシャルな実装であるため、デバッグも二分法により容易に行うことが出来る。
|
|
|
18
|
|
4
|
19 段階 (\ref{list_dev_3}) の実装からは Task Manager を用いる。
|
|
|
20 この段階まではアーキテクチャに依存しないので、
|
|
|
21 ターゲットが開発途中の段階でも記述することが可能である。
|
|
|
22 また、FIFO スケジューラを用いずに Random スケジューラを実装することにより、
|
|
|
23 並列実行特有の非決定的な実行が導入される。
|
|
|
24 非決定的な動作においても、段階 (\ref{list_dev_2}) までと同じ仕様を
|
|
|
25 満たすことを検証する必要がある。
|
|
|
26 これは、逐次型プログラムでは出て来ない問題である。
|
|
|
27
|
|
|
28 段階 (\ref{list_dev_4}) では、段階 (\ref{list_dev_3}) までが動いていれば
|
|
|
29 問題なく動作すると期待される。また、SPE タスクを、
|
|
|
30 SPE が持つ命令セットを用いて最適化することにより、更なる性能向上が期待できる。
|
|
|
31
|
|
|
32 段階 (\ref{list_dev_3}) から 段階 (\ref{list_dev_4}) へのプログラムの変換は
|
|
|
33 非常に容易である。Task Manager の API である set\_cpu() を用いることにより、
|
|
|
34 Task を PPE で実行するか SPE で実行するかを明示的に書くことが出来るからである。
|
|
|
35
|
|
|
36 {\small
|
|
|
37 \begin{verbatim}
|
|
|
38
|
|
|
39 Task *task1 = create_task(cmd1,siz1,in1,out1);
|
|
|
40 Task *task2 = create_task(cmd2,siz2,in2,out2);
|
|
|
41
|
|
|
42 task1->set_cpu(CPU_PPE); // PPE 上で実行される
|
|
|
43 task2->set_cpu(CPU_SPE); // SPE 上で実行される
|
|
|
44
|
|
|
45 \end{verbatim}
|
|
|
46 }
|
