情報科学 › ソフトウェア開発 › クラウドコンピューティング
拡張則とスループットの最大点
命題 5.5(「クラウドコンピューティング」§5) ・ ✓公理まで証明済み
台数 n における相対スループット(1 台のときを 1 とする)が
C(n)=1+σ(n−1)+κn(n−1)nで与えられるとする。ここで σ∈[0,1) は直列(並列化できない)部分の割合、κ は台数間の整合コスト(データの同期・調停)の係数で 0≤κ≤1−σ とする。κ>0 のとき、n を n≥1 の実数に拡張して考えると、C は
n∗=κ1−σでただ 1 つの最大値をとる(仮定 κ≤1−σ より n∗≥1 である)。とくに n>n∗ では台数を増やすほどスループットが下がる。また κ=0 のときは C は n≥1 で単調増加で、さらに σ>0 ならば limn→∞C(n)=1/σ(アムダールの法則の上限)となる(σ=0 かつ κ=0 のときは C(n)=n で上限を持たない)。
本文で読む(証明と前後の説明)→
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義
証明は Rikai の他の定理を参照していません(定義と論理だけで示されています)。
これを使っている定理
証明で明示的に参照している定理は、まだありません。
関連するノック 1 問