アムダールの法則のソースを表示

[[ファイル:AmdahlsLaw.svg|thumb|right|300px|複数のプロセッサを使って並列計算してプログラムの高速化を図る場合、そのプログラムの逐次的部分は、制限を受ける。例えば、仮にプログラムの95%を並列化できたとしても、残りの部分である5%は並列処理ができないため、どれだけプロセッサ数を増やしたとしても、図で示したように20倍以上には高速化しない。]]
'''アムダールの法則'''（アムダールのほうそく、{{lang-en|Amdahl's law}}）は、ある計算機システムとその対象とする計算についてのモデルにおいて、その計算機の並列度を上げた場合に、並列化できない部分の存在、特にその割合が「[[ボトルネック]]」となることを示した法則である。[[コンピュータ・アーキテクチャ|コンピュータ・アーキテクト]]の[[ジーン・アムダール]]が主張したものであり、'''アムダールの主張'''（アムダールのしゅちょう、{{lang-en|Amdahl's argument}}）という呼称もある<ref>{{Harvnb|Rodgers|1985|p=226}}</ref>。

複数のプロセッサを使い並列計算によってプログラムの高速化を図る場合、そのプログラムの中で逐次的に実行しなければならない部分の時間によって、高速化が制限される。例えば、1プロセッサでは20時間かかる問題があり、そのプログラムのうち、合計で1時間分が並列処理できないとする。この場合、19時間分（95%）は並列処理できるが、どれだけプロセッサを追加したとしても、最小実行時間は並列処理できない部分にかかる1時間（5%）より短くならない。

== 詳細 ==
アムダールの法則は、並列化しても問題の大きさが変化しないという前提と、問題には並列化できない部分があるという前提の上で、逐次的アルゴリズムとそれに対応したアルゴリズムの並列化実装によって期待できる高速化の関係をモデル化したものである。例えば、ある大きさの問題をあるアルゴリズムを並列化実装したもので実行した場合、問題の12%を並列化によって好きなように高速化できるとする（残り88%は並列化できない処理である）。アムダールの法則によれば、このときの並列化していない実装と比較した並列化版による高速化は最大でも <math>\frac{1}{1 - 0.12} = 1.136</math> 倍にしかならない。

より技術的に解説すると、この法則は、ある計算のうち高速化によって影響を受ける部分の割合 ''P'' とその性能向上率 ''S'' から、全体として達成可能な性能向上率を求めるものである。例えば、ある改良が計算全体の 30% に影響する場合、''P'' は 0.3 である。また、その部分が2倍に高速化されるなら ''S'' は 2 である。アムダールの法則によれば、全体としての性能向上は次の式で表される。

:<math>\frac{1}{(1 - P) + \frac{P}{S}}</math>.

従来の計算時間を 1 とする。改良されたプログラムの計算時間は、改良と関係しない部分の計算時間（1 &minus; ''P''）と改良された部分の計算時間（''P''/''S''）の合計となる。全体の性能向上率は、従来の計算時間を改良されたプログラムの計算時間で割ったものであり、上の式はそれを表している。

もう少し複雑な例を挙げる。あるタスクが4つの部分に分割されるとする。各部のタスク実行時間に占める割合は P1 = 0.11 (11%)、P2 = 0.18 (18%)、P3 = 0.23 (23%)、P4 = 0.48 (48%) で、全部を合計すると 100% になる。そこで、各部分に独自の改良を施す。P1 は改良しないので S1 = 1 (100%)、P2 は5倍に性能向上したので S2 = 5 (500%)、同様に S3 = 20 (2000%)、S4 = 1.6 (160%) とする。改良されたタスクの実行時間は <math>\frac{P1}{S1} + \frac{P2}{S2} + \frac{P3}{S3} + \frac{P4}{S4}</math> であるから、これに代入すると 

: <math>{\frac{0.11}{1} + \frac{0.18}{5} + \frac{0.23}{20} + \frac{0.48}{1.6}} = 0.4575</math> 

となり、オリジナルの半分弱の時間ということがわかる。従って、性能向上率は <math>\frac{1}{0.4575} = 2.186</math> と約2倍以上になる。注意すべきは、20倍とか5倍といった改良を施しても、システム全体としてはあまり効果が出ない点である。これは、P4 が元々実行時間の約半分を占めていて、S4 が 1.6 という点と P1 が全く改良されていない点が影響している。

== 並列化 ==
[[Image:Amdahl_law2.png|thumb|right|300px|[[並列コンピューティング]]で複数のプロセッサを使って性能向上を図る場合、対象プログラムの並列化できない部分の割合に大きく左右される。例えば、プログラムの半分(0.5)が並列実行できない場合、理論上の性能向上限界は 2 となる（1/(0.5+(1-0.5)/N) で N を極限まで大きくした場合）。]]

プログラムの並列化できる部分の実行時間の割合を ''P'' としたとき、並列化不可能な部分は (1 &minus; ''P'')であり、''N''個のプロセッサを使ったときの全体の性能向上率は次の式で表される。

:<math>S(N) = \frac{1}{(1-P) + \frac{P}{N}}</math>

''N'' が[[無限|無限大]]に近づく極限では、性能向上率は 1 / (1 − ''P'') となる。実際、(1 − ''P'') の並列化不可能な成分がどれほど小さくとも ''N'' が大きくなれば価格性能比は急激に低下していく。

例として、''P'' が90%ならば (1 − ''P'') は 10% となり、''N'' をどれだけ大きくしても性能向上は1プロセッサの10倍までで頭打ちとなる。このため、[[並列計算]]が有効であるのは、[[CPU|プロセッサ]]数が少ない場合か、適応領域の問題の ''P'' の値が極めて大きい場合（[[:en:embarrassingly parallel|embarrassingly parallel]] 問題と呼ぶ）に限られる。並列計算のプログラミング技法の多くは、(1 – ''P'') を可能な限り小さくするためのものである。

特定のプロセッサ数 (''NP'') での実測高速化係数 (''SU'') すなわち1プロセッサの何倍の性能かという値を使えば、''P'' すなわち並列化可能部分の割合は次のように推定できる。

:<math>P_\text{estimated} = \frac{\frac{1}{SU} - 1}{\frac{1}{NP} - 1}</math>

このように推定した ''P'' をアムダールの法則の式に適用すれば、異なるプロセッサ数での高速化の度合いが推定できる。

{| class="wikitable"
|+ 80%の性能を出すのに必要な並列度
|-
! プロセッサ数(N)
! 順次実行部分の実行時間の割合
|-
| 2 || 25%
|-
| 4 || 8.3%
|-
| 6 || 5.0%
|-
| 8 || 3.6%
|-
| 12 || 2.3%
|-
| 16 || 1.7%
|-
| 32 || 0.81%
|-
| 64 || 0.40%
|-
| 256 || 0.10%
|-
| 1024 || 0.024%
|-
| 4096 || 0.0061%
|-
| 65536 || 0.00038%
|}
これは 0.25 / (N - 1) で計算できる。

== 収穫逓減の法則との関係 ==
アムダールの法則は[[収穫逓減|収穫逓減の法則]]と組み合わせて述べられることが多いが、アムダールの法則を適用した特殊な例のみが「収穫逓減の法則」を示す。最初から（性能向上の観点で）最適な実装をしていく場合、改良に対して得られる性能向上は単調減少していく。しかし最適でない改良なら、さらなる改良を施すことで新たな性能向上が得られる場合もある。一般にシステムの改良は困難を伴う場合や時間がかかる場合があり、必ずしも常に最善の改良を行えるわけではない。

プロセッサを追加するとそれに対応して並列化して動作するプログラムがあるとする。そのようなプログラムで解くべき問題の大きさが固定の場合に、プロセッサを追加して性能向上を図ろうとしたとき、アムダールの法則は収穫逓減の法則と同じことを表す。プロセッサを追加する度に、それによって得られる性能向上の度合いは減っていく。プロセッサを倍増させたときの性能向上比率は減少していき、最終的には <math>\scriptstyle 1 / (1 \,-\, P)</math> へと近づいていく。

ここでは、メモリ帯域幅やI/O帯域幅といった[[ボトルネック]]の可能性を考慮していない。それらがプロセッサ数に比例して拡大しないなら、収穫逓減の傾向がさらに強まることになる。

== アムダール本人の見解 ==
結局のところ（並列化のオーバヘッドといったものを全て無視できるとしても）、解きたい問題が必要とする計算のうち、どれだけが並列化可能か、という点が支配的であり、アムダール本人は並列化による高性能化に悲観的であったと言われる<ref>富士通と共同開発したアムダールコンピュータでも、アムダール側のモデルはマルチプロセッサとしなかった（ http://homepage2.nifty.com/Miwa/6_F230-60/6_7(4).html ）</ref>。[[高性能計算]]の識者の間でも以前は見解が分かれており、[[ゴードン・ベル賞]]はこの問題へのチャレンジとして当初は設定された<ref>https://twitter.com/ProfMatsuoka/status/536447955352289280</ref>。

== 逐次的プログラムの高速化 ==
[[File:Amdahl_law1.png|thumb|right|350px|タスクが独立した二つの部分 A と B から構成されている。B は計算時間の約25%を占めている。がんばって B を改良して5倍の性能にしても、全体としての性能向上は少しでしかない。逆に A を2倍の性能に改良した方が全体性能はより向上する。]]

ある逐次的プログラムを改良したときの最大高速化係数は、そのプログラムの一部を <math>p</math> 倍に高速化した場合、次の不等式で表される。

:<math>\text{maximum speedup } \le \frac{p}{1 + f \cdot (p - 1)}</math>

ここで <math>\scriptstyle f</math> (<math>\scriptstyle 0 \;<\; f \;<\; 1</math>) は、改良した部分の（改良以前の）所要時間の割合である。例えば（右図参照）、

* B を5倍に高速化した場合 (<math>\scriptstyle p \;=\; 5</math>)、<math>\scriptstyle t_A \;=\; 3</math>、<math>\scriptstyle t_B \;=\; 1</math>、<math>\scriptstyle f \;=\; t_A / (t_A \,+\, t_B) \;=\; 0.75</math> とすると、
*:<math>\text{maximum speedup } \le \frac{5}{1 + 0.75 \cdot (5 - 1)} = 1.25</math>
* A を2倍に高速化した場合 (<math>\scriptstyle p \;=\; 2</math>)、<math>\scriptstyle t_B \;=\; 1</math>、<math>\scriptstyle t_A \;=\; 3</math>、<math>\scriptstyle f \;=\; t_B / (t_A \,+\, t_B) \;=\; 0.25</math> とすると、
*:<math>\text{maximum speedup } \le \frac{2}{1 + 0.25 \cdot (2 - 1)} = 1.60</math>

となる。したがって、Aを2倍に高速化した方がBを5倍に高速化するよりもよい結果となる。性能向上をパーセントで表す場合、次のように計算できる。

:<math>\text{percentage improvement} = \left(1 - \frac{1}{\text{speedup factor}}\right) \cdot 100</math>

* Aを2倍に高速化すると、プログラム全体は1.6倍に高速化し、オリジナルから37.5%の性能向上となる。
* しかし、Bを5倍に高速化しても、全体としては1.25倍の高速化でしかなく、20%しか性能向上しない。

== グスタフソンの法則との関係 ==
1988年、{{仮リンク|ジョン・グスタフソン|en|John Gustafson (scientist)}}は[[グスタフソンの法則]]と呼ばれることを指摘した。すなわち、人々が関心を持っているのは、アムダールの法則で示されるように、既に解かれた問題をより高速に解くことではなく、より大きな問題を（可能な限り正確な近似で）それなりの時間内に解くことだ、という点である。並列化できない部分が固定あるいは、問題の大きさの増大に対して非常にゆっくり増大する場合（例えば、[[ランダウの記号|O]](log ''n'')）、解ける問題の大きさはプロセッサの追加に比例して増大していく。

== 関連項目 == 
* [[アムダール|アムダール社]]
* [[ジーン・アムダール]]
* [[性能解析]]
* [[クリティカルパス法]]
* [[ブルックスの法則]]
* [[ムーアの法則]]
* [[90対90の法則]]
* [[グスタフソンの法則]]
* [[ニールギュンターの法則]]

== 脚注 ==
{{Reflist}}

== 参考文献 ==
* {{Cite journal| first = Gene | last = Amdahl | url = http://www-inst.eecs.berkeley.edu/~n252/paper/Amdahl.pdf | format = [[Portable Document Format|PDF]] | title = Validity of the Single Processor Approach to Achieving Large-Scale Computing Capabilities | journal = AFIPS Conference Proceedings | issue = 30 | pages = 483–485 | year = 1967}}
* {{Cite journal| last = Rodgers | first = David P. | year = 1985 | url = http://portal.acm.org/citation.cfm?id=327215 | title = Improvements in multiprocessor system design | journal = ACM SIGARCH Computer Architecture News archive | volume = 13 | issue = 3 | month = June | pages = 225–231 | issn = 0163-5964 | publisher = [[Association for Computing Machinery|ACM]] | location = New York, NY, USA | doi = 10.1145/327070.327215 |ref=harv}}

== 外部リンク ==
{{Commonscat|Amdahl's law}}
* [http://www.futurechips.org/thoughts-for-researchers/parallel-programming-gene-amdahl-said.html Cases where Amdahl's law is inapplicable]
* [http://purl.umn.edu/104341 Oral history interview with Gene M. Amdahl] [[チャールズ・バベッジ研究所|Charles Babbage Institute]], University of Minnesota. 
* [http://www.scl.ameslab.gov/Publications/Gus/AmdahlsLaw/Amdahls.html Reevaluating Amdahl's Law]
* [http://spartan.cis.temple.edu/shi/public_html/docs/amdahl/amdahl.html Reevaluating Amdahl's Law and Gustafson's Law]
* [http://www.julianbrowne.com/article/viewer/amdahls-law A simple interactive Amdahl's Law calculator]
* [http://demonstrations.wolfram.com/AmdahlsLaw/ "Amdahl's Law"] by Joel F. Klein, [[Wolframデモンストレーションプロジェクト|Wolfram Demonstrations Project]], 2007.
* [http://www.cs.wisc.edu/multifacet/amdahl/ Amdahl's Law in the Multicore Era]
* [http://www.gordon-taft.net/Amdahl_Law.html Amdahl's Law explanation]
* [http://www.cilk.com/multicore-blog/bid/5365/What-the-is-Parallelism-Anyhow Blog Post: "What the $#@! is Parallelism, Anyhow?"]
* [http://www.multicorepacketprocessing.com/how-should-amdahl-law-drive-the-redesigns-of-socket-system-calls-for-an-os-on-a-multicore-cpu Amdahl's Law applied to OS system calls on multicore CPU]
{{並列コンピューティング}}

{{DEFAULTSORT:あむたあるのほうそく}}
[[Category:コンピュータアーキテクチャ]]
[[Category:コンピュータに関する法則]]
[[Category:並列アルゴリズム解析]]
[[Category:エポニム]]