情報科学 › 研究のための計算の実務 › 並列化と GPU

Amdahl の法則

定理 3.1(「並列化と GPU」§3) ・ ✓公理まで証明済み

1 台での所要時間 T(1)T(1) が mm 個の部分の時間の和 T(1)=T1+⋯+TmT(1) = T_1 + \cdots + T_m(Ti≥0T_i \ge 0)に分かれ、pp 台では第 ii の部分が si>0s_i \gt 0 倍速くなって T(p)=∑i=1mTi/siT(p) = \sum_{i=1}^m T_i/s_i になるとする。fi=Ti/T(1)f_i = T_i/T(1) とおくと

S(p)=1∑i=1mfisiS(p) = \frac{1}{\displaystyle\sum_{i=1}^{m}\frac{f_i}{s_i}}

である(sis_i の、重み fif_i による調和平均)。とくに、逐次部分(割合 ff、s1=1s_1 = 1)と並列化できる部分(割合 1−f1 - f、1≤s2≤p1 \le s_2 \le p)の 2 つに分かれるとき

S(p)≤1f+1−fp≤1fS(p) \le \frac{1}{f + \dfrac{1-f}{p}} \le \frac{1}{f}

が成り立つ(f=0f = 0 のとき右端は +∞+\infty と読む)。左の等号は s2=ps_2 = p のときに成り立つ。

本文で読む(証明と前後の説明)→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています(前提の定理類 1 件、定義なども含めて 1 件)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

前提をたどる 証明が使う定理・定義(直接 1 件)

▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。

これを使っている定理

証明で明示的に参照している定理は、まだありません。

関連するノック 3 問