情報科学 › 研究のための計算の実務 › 並列化と GPU
Gustafson の法則
定理 3.2(「並列化と GPU」§3) ・ ✓公理まで証明済み
p 台の並列機である計算を実行した所要時間が、逐次部分の時間 ts≥0 と並列部分の時間 tp≥0 の和 T(p)=ts+tp>0 で、並列部分では p 台がそれぞれ時間 tp ずつ仕事をしているとする。g=ts/T(p)(並列機での実行時間に占める逐次部分の割合)とおく。同じ計算を 1 台で実行すると、並列部分の仕事を順に行うので T(1)=ts+ptp かかり、
S(p)=T(p)T(1)=g+(1−g)pである(拡大速度向上)。この計算の 定義 2.1 の意味の逐次部分の割合 f=ts/T(1) は
f=g+(1−g)pg,g=1−f+fpfpを満たし、この f を 定理 3.1 の式に入れた値 1/(f+(1−f)/p) は g+(1−g)p に一致する。
本文で読む(証明と前後の説明)→
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
証明は Rikai の他の定理を参照していません(定義と論理だけで示されています)。
これを使っている定理
証明で明示的に参照している定理は、まだありません。
関連するノック 3 問