情報科学 › 研究のための計算の実務 › 並列化と GPU
Amdahl の法則
定理 3.1(「並列化と GPU」§3) ・ ✓公理まで証明済み
1 台での所要時間 T(1) が m 個の部分の時間の和 T(1)=T1+⋯+Tm(Ti≥0)に分かれ、p 台では第 i の部分が si>0 倍速くなって T(p)=∑i=1mTi/si になるとする。fi=Ti/T(1) とおくと
S(p)=i=1∑msifi1である(si の、重み fi による調和平均)。とくに、逐次部分(割合 f、s1=1)と並列化できる部分(割合 1−f、1≤s2≤p)の 2 つに分かれるとき
S(p)≤f+p1−f1≤f1が成り立つ(f=0 のとき右端は +∞ と読む)。左の等号は s2=p のときに成り立つ。
本文で読む(証明と前後の説明)→
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています(前提の定理類 1 件、定義なども含めて 1 件)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義(直接 1 件)
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
これを使っている定理
証明で明示的に参照している定理は、まだありません。
関連するノック 3 問