性能解析









曖昧さ回避
 「プロファイラー」はこの項目へ転送されています。

  • 犯罪者プロファイリングを行う者については「プロファイリング」をご覧ください。

  • NHK BSプレミアムの番組については「ザ・プロファイラー 〜夢と野望の人生〜」をご覧ください。


ソフトウェア工学における性能解析または性能分析（英: Performance analysis）とは、動的プログラム解析の一種であり、プログラムの実行を通して情報を収集することでプログラムの性能を解析することを言う。逆にプログラムを実行せずに行う解析を静的コード解析と呼ぶ。性能解析の目的は、実行時間やメモリ使用量を最適化するためにプログラムのどの部分を改良すべきかを決定することである（ボトルネック、アムダールの法則参照）。




目次






  • 1 プロファイラの利用


  • 2 歴史


  • 3 出力による分類


  • 4 データ収集法


    • 4.1 イベントベースのプロファイラ


    • 4.2 統計的プロファイラ


    • 4.3 手段




  • 5 実際の性能解析と性能強化


  • 6 主なプロファイラ


    • 6.1 多言語対応


    • 6.2 Java


    • 6.3 .NET Framework


    • 6.4 Delphi


    • 6.5 Perl


    • 6.6 ActionScript


    • 6.7 JavaScript




  • 7 関連項目


  • 8 参照


  • 9 外部リンク





プロファイラの利用


プロファイラ（英: Profiler）は性能解析ツールであり、プログラム実行時の各種情報を収集する。特に、関数呼び出しの頻度やそれにかかる時間を計測する。出力は記録したイベントの羅列（トレース）の場合と、観測したイベント群の統計的要約（プロファイル）の場合がある。プロファイラがデータを収集する技法は様々で、ハードウェアの割り込みを利用する技法、コードに命令を埋め込む技法、オペレーティングシステムのフックを利用する技法、性能カウンタを利用する技法などがある。プロファイラの使用はパフォーマンスエンジニアリングにおいて重要である。


プロファイルは統計的な総和としてソースコードの位置と関連付けてイベントを記録するため、データのサイズは対象となったコードのサイズにほぼ比例する。一方、トレースのサイズはプログラムの実行時間に比例したサイズとなってしまうため、実用的でないこともある。並列性のないプログラムでは、一般にプロファイルで十分だが、並列性のあるプログラムでの性能問題（メッセージ待ちや同期問題）については、イベントが時系列としてどういう順序で発生しているかが重要であるため、完全なトレースを必要とすることが多い。


プログラム解析ツールはプログラムの振る舞いを理解するために非常に重要である。コンピュータアーキテクトはそのようなツールを使って新たなコンピュータ・アーキテクチャでプログラムがうまく実行されるかどうかを評価する必要がある。ソフトウェア制作者は、作成したプログラムをそのようなツールで解析し、問題となるコードを特定する。コンパイラ作成者も、命令スケジューリングや分岐予測アルゴリズムがうまく機能しているかを知るためにそのようなツールを用いることが多い…
— ATOM、Programming Language Design and Implementation, 1994


歴史


UNIXにおけるプロファイラを使った性能解析は、1979年、"prof" ツールが導入されたころまで遡る。prof は関数毎にかかった時間をリストアップするツールである。1982年、"gprof" によって完全なコールグラフによる解析へと進化した（Gprof: a Call Graph Execution Profiler [1]）。


1994年、ディジタル・イクイップメント・コーポレーションの Amitabh Srivastava と Alan Eustace は ATOM に関する論文を発表した[2]。ATOM はプログラムをプロファイラに変換するシステムである。つまり、コンパイル時に解析用の命令を挿入して、実行時にその命令によって解析データが出力される。解析対象のプログラム自身に変更を加える技法を "instrumentation"（計測化）とも呼ぶ。


2004年、これまでで最も影響の大きかった論文（ACM SIGPLAN の学会誌 Programming Language Design and Implementation 誌上）20本に Gprof の論文と ATOM の論文が選ばれた [3]。



出力による分類



フラット・プロファイラ

ルーチン毎の平均実行時間を計算し、呼び出し側などのコンテキストを考慮した詳細な解析を行わない。

コールグラフ・プロファイラ

呼び出し回数や頻度を示し、呼び出し関係の連鎖に従った解析が可能。ただしコンテキスト（引数の値など）は考慮されない。



データ収集法



イベントベースのプロファイラ


以下のプログラミング言語はイベントベースのプロファイラを持つ。



.NET Framework

プロファイラエージェントを COM サーバーとしてアタッチできる。Visual Studio で解析できる。

Java

JDK 1.4 までは、Java Virtual Machine Profiler Interface (JVMPI) によりプロファイラへのフックが提供され、メソッド呼び出し、クラスのロード/アンロード、スレッドの出入りなどのイベントを捉えられた。これは、Java 5からは、Java Virtual Machine Tool Interface (JVMTI) になった。Java 5以降は、Java Management Extension API もある。Java 6 update 7 以降には Java VisualVM がつく[1]。

JavaScript

例えば、Firebug[2] や Google Chrome[3] や Safari[4] の Developer tools などで、関数の呼び出し回数、処理時間などが計測できる。

Python

コールグラフに基づくプロファイル情報を収集し、'sys.set_profile()' モジュールを使って c_{call,return,exception} や python_{call,return,exception} といったイベントを捉える。

Ruby

Ruby も Python と同様にインタフェースによってプロファイリングを行う。



統計的プロファイラ


プロファイラによってはサンプリングによって情報収集する。サンプリング型プロファイラは、オペレーティングシステムの割り込みを使って、対象プログラムのプログラムカウンタを一定間隔で調べる。サンプリング型のプロファイラは一般に精度が低いが、対象プログラムを通常とほぼ同じ速度で実行させることができる。


プロファイラによっては対象プログラムに情報を収集するための命令を追加するものもある。この場合、プログラムの性能が変化し、結果が不正確になったりするが、詳しい情報を収集することができる。


得られるデータは正確ではないが、統計的な近似になっている。一定間隔でサンプリングしてその時点で実行中だった関数がそのサンプリング間隔の間ずっと動作していたとして実行時間を収集していくのが一般的である。従って、サンプリング間隔が 0.01 秒であれば、実際にその関数が動作していた時間はほとんど 0 から 0.02 秒までありうる。その関数がサンプリングされる回数が多ければ多いほど誤差は小さくなっていく。例えば、サンプリング間隔 0.01 秒である関数の実行時間が 1 秒という結果が得られた場合、サンプリングされた回数 n は 100 回であり、誤差はその平方根、つまり 10回（= 0.1秒）と推定される[4] 。性能解析において問題となるのは時間のかかる呼び出し回数の多い関数であるため、このような誤差はあまり問題とはならない。


よく使われる統計的プロファイラとしては、GNUプロジェクトの gprof、Oprofile、シリコングラフィックスの Pixie などがある。



手段



マニュアル（手動）

実行時間を計算するコードをプログラマが明示的に組み込む。

コンパイラ補助

コンパイル時にプロファイラ用コードを組み込む。"gcc -pg ..." など。

バイナリ変換

コンパイル済みのバイナリに命令を追加する。ATOM など。

ランタイム補助

ツールの監視下でプログラムを実行する。PIN、Valgrind など。

ランタイム挿入

実行時にコードを修正し、ヘルパー関数へ飛ぶようにする。DynInst など。

ハイパーバイザ

ハイパーバイザ（VMモニタ）上で修正されていないプログラムを実行し、ハイパーバイザが情報を収集する。SIMMONなど。

シミュレータ


命令セットシミュレータ上で動作させて、情報を収集する。SIMMON など。



実際の性能解析と性能強化


逐次型プログラムに無限ループがある場合、問題を発見する最も単純な方法はデバッガを使って一時停止させ（無限ループしている箇所が不明なのでブレークポイントではない）、そのときのコールスタックを調査することである。コールスタック上には呼び出されている関数のアドレスが積まれている。どの関数が無限ループしているかは、シングルステップ実行させてコールスタックの変化を追っていけばわかる。


無限ループでなくとも同様の技法が活用できる。必要に応じて外側にループを追加することで時間のかかっている部分を数秒以上かかるように修正できる。そうしておいて、問題の箇所と思われるタイミングでデバッガによる一時停止を行い、コールスタックを確認する。これを繰り返していくことで何が問題なのか、どこを修正すればよいかが明確化される。


このような性能強化は、プログラムの誤動作を引き起こさないで単に遅くする種類のバグを修正する作業である。このようなバグをスラグ（slug = slowness bug）と呼ぶことがある。プログラムにはバグとスラグが含まれており、ソフトウェアテストによってバグは除去されるが、スラグは性能解析をしないと除去されない。


スラグにはいくつかの種類がある。意図的にプログラムの実行時間を長くするようなやり方は意図せずに行われることもある。最もよくあるスラグはループ内部で実行時間のほとんどを費やす「ホットスポット; hot spot」と言われる種類のものである。例えば、線型探索に時間がかかっている場合、それが二分探索で改善できるなら「ホットスポット」と言える。ホットスポットは必ずしもスラグとはいえないこともある。むしろ、ホットスポットとなっている関数をループ内で何度も呼び出す側の問題であることも多い。


また、別のスラグとして、ある問題に最適でない汎用的すぎるデータ構造を使っているために性能を低下させている場合がある。例えば、要素数が少ないなら、単純な配列による線型探索の方が複雑なハッシュテーブルなどよりも高速である。この種のスラグは、動的メモリ確保および解放に時間がかかっていることで判明することが多い。


別のスラグとして、データベースなどから有益な情報をまとめて収集する強力な関数を作成した場合があげられる。このような関数を何度も使うことで性能低下が発生する。このようなことが発生する要因として、不適切なカプセル化が考えられる。


性能解析において、統計的プロファイラの精度はあまり重要ではない。典型的なスラグは実行時間の多くを消費している。従って、細部に拘っても性能は改善されない。また、実際の性能強化においては、スタックトレースなどの情報の方が重要である。



主なプロファイラ


「en:List of performance analysis tools」も参照


多言語対応




  • Performance Application Programming Interface (PAPI) は最近のマイクロプロセッサに備わっているハードウェア性能カウンタの移植性のあるAPI


  • gprof GNU プロファイラ。GNU Binutils の一部。視覚化ツールとして VCG tools があり、Call Graph Drawing Interface (CGDI) や kprof と組み合わせて利用可能。主に C/C++ 向けだが、他の言語でも動作する。


  • Valgrind x86-Linux に特化したデバッグおよびプロファイラシステム（GPL）。メモリ管理上のバグやスレッド関連のバグを自動検出できる。フロントエンドとして alleyoop がある。任意の言語およびアセンブラで利用可能。


  • PerfSuite Linux 向けのオープンソースの性能解析ツール群。こちらにチュートリアル（英語）がある。


  • OProfile Linux 向けのGPLベースのプロファイラ


  • CodeAnalyst AMD のフリーな性能解析ツール（Windows版）Linux版 の CodeAnalyst もある。いずれも AMD の CPU を使用しているシステム向け。


  • Sysprof Linux 用統計的プロファイラ。カーネルモジュールを使って動作中の全プロセスの情報を収集する。プロセス間の呼び出し関係を視覚的に表示できる。


  • DynaProf は、実行時にアプリケーションのアドレス空間に直接性能解析用命令を埋め込むことで性能解析を行うツール。PAPIを通して任意の性能情報を収集できる。


  • TAU PAPI を利用した性能解析ツール群。


  • DynInst Homepage は、実行時にコードを書き換えるためのAPI（これを利用して命令を埋め込む）


  • Oracle Solaris Studio Performance Analyzer - Oracle Solaris Studio に含まれている（フリー）


  • Intel VTune Amplifier XE - C, C++, C#, Fortran, アセンブラ, Java


  • Windows Performance Toolkit - Windows ADK (アセスメント＆デプロイメント キット) の一部


  • shinyprofiler - C, C++, Lua



Java




  • Java VisualVM - JDK標準搭載


  • Test and Performance Tools Platform Project (TPTP) Eclipse用プロファイラプラグイン


  • NetBeans Debugger and Profiler - NetBeans用プロファイラ・アドイン

  • JProfiler


  • JRat Java用ランタイム解析ツールキット。LGPLライセンス

  • YourKit Java Profiler



.NET Framework




  • Visual Studio プロファイリング ツール - Visual Studio 2012 は Express 以外に搭載


  • CLR Profiler フリーなCLRプロファイラ（マイクロソフト）


  • NProf オープンソースの .NET 用統計的プロファイラ



Delphi




  • ProDelphi Delphi 2..7、2005、2006、Turbo Delphi (Win 32) 向けのプロファイラ（フリー版もある）


  • GpProfile Delphi 2, 3, 4, 5 向けのオープンソースプロファイラ



Perl




  • Devel::DProf オリジナルの Perl コードプロファイラ


  • Devel::Profiler より新しい Perl コードプロファイラ



ActionScript



  • Flex Builder プロファイラ


  • IntelliJ IDEA Flash/Flex Profiler plugin - IntelliJ IDEAプラグイン



JavaScript




  • Firebug - Firefox


  • Google Chrome Developer Tools


  • Safari Developer Tools


  • Nodetime - Node.js



関連項目



  • パフォーマンスエンジニアリング

  • 性能予測

  • 最悪実行時間



参照


[ヘルプ]



  1. ^ Java VisualVM


  2. ^ JavaScript Debugger and Profiler


  3. ^ Chrome DevTools


  4. ^ Safari Web Development Tools



外部リンク


  • サンプルデモ "Using VSTS Performance Tools to Speed Up Your App" by Ian Huff。マイクロソフトの開発者で Visual Studio Team System 2005 におけるプロファイラのデモを行っている。



-

Popular posts from this blog

Masuk log Menu navigasi

Image
JawaSundaBanyumasanBugisAcehBanjarMinangMelayuDeutschEnglishEspañolFrançaisItalianoNederlands (function()var node=document.getElementById("mw-dismissablenotice-anonplace");if(node)node.outerHTML="u003Cdiv class="mw-dismissable-notice"u003Eu003Cdiv class="mw-dismissable-notice-close"u003E[u003Ca tabindex="0" role="button"u003Etutupu003C/au003E]u003C/divu003Eu003Cdiv class="mw-dismissable-notice-body"u003Eu003Cdiv id="localNotice" lang="id" dir="ltr"u003Eu003C/divu003Eu003C/divu003Eu003C/divu003E";()); Masuk log Loncat ke navigasi Loncat ke pencarian Bahasa: Jawa | Sunda | Banyumasan | Bugis | Aceh | Banjar | Minang | Melayu | Deutsch | English | Español | Français | Italiano | Nederlands Nama pengguna Kata sandi   Biarkan saya tetap masuk Masuk log Bantuan masuk log Lupa kata sandi? Belum punya akun?Gabung Wikipedia Diperoleh dari "https:/...
Read more

Identifying “long and narrow” polygons in with PostGISlength and width of polygonWhy postgis st_overlaps reports Qgis' “avoid intersections” generated polygon as overlapping with others?Adjusting polygons to boundary and filling holesDrawing polygons with fixed area?How to remove spikes in Polygons with PostGISDeleting sliver polygons after difference operation in QGIS?Snapping boundaries in PostGISSplit polygon into parts adding attributes based on underlying polygon in QGISSplitting overlap between polygons and assign to nearest polygon using PostGIS?Expanding polygons and clipping at midpoint?Removing Intersection of Buffers in Same Layers

Image
Do I have to worry about players making “bad” choices on level up? Is thermodynamics only applicable to systems in equilibrium? gnu parallel how to use with ffmpeg Has any spacecraft ever had the ability to directly communicate with civilian air traffic control? Reverse the word in a string with the same order in javascript Is creating your own "experiment" considered cheating during a physics exam? How to stop co-workers from teasing me because I know Russian? What is a Recurrent Neural Network? Any examples of headwear for races with animal ears? Confusion about capacitors TikZ how to make supply and demand arrows for nodes? Does a creature that is immune to a condition still make a saving throw? How to verbalise code in Mathematica? Upright [...] in italics quotation Cannot populate data in lightning data table Stark VS Thanos Binary Numbers Magic Trick In gnome-terminal only 2 out of 3 zoom keys work You look catfish vs You look like a...
Read more

Старые Смолеговицы Содержание История | География | Демография | Достопримечательности | Примечания | НавигацияHGЯOLHGЯOL41 206 832 01641 606 406 141Административно-территориальное деление Ленинградской области«Переписная оброчная книга Водской пятины 1500 года», С. 793«Карта Ингерманландии: Ивангорода, Яма, Копорья, Нотеборга», по материалам 1676 г.«Генеральная карта провинции Ингерманландии» Э. Белинга и А. Андерсина, 1704 г., составлена по материалам 1678 г.«Географический чертёж над Ижорскою землей со своими городами» Адриана Шонбека 1705 г.Новая и достоверная всей Ингерманландии ланткарта. Грав. А. Ростовцев. СПб., 1727 г.Топографическая карта Санкт-Петербургской губернии. 5-и верстка. Шуберт. 1834 г.Описание Санкт-Петербургской губернии по уездам и станамСпецкарта западной части России Ф. Ф. Шуберта. 1844 г.Алфавитный список селений по уездам и станам С.-Петербургской губернииСписки населённых мест Российской Империи, составленные и издаваемые центральным статистическим комитетом министерства внутренних дел. XXXVII. Санкт-Петербургская губерния. По состоянию на 1862 год. СПб. 1864. С. 203Материалы по статистике народного хозяйства в С.-Петербургской губернии. Вып. IX. Частновладельческое хозяйство в Ямбургском уезде. СПб, 1888, С. 146, С. 2, 7, 54Положение о гербе муниципального образования Курское сельское поселениеСправочник истории административно-территориального деления Ленинградской области.Топографическая карта Ленинградской области, квадрат О-35-23-В (Хотыницы), 1930 г.АрхивированоАдминистративно-территориальное деление Ленинградской области. — Л., 1933, С. 27, 198АрхивированоАдминистративно-экономический справочник по Ленинградской области. — Л., 1936, с. 219АрхивированоАдминистративно-территориальное деление Ленинградской области. — Л., 1966, с. 175АрхивированоАдминистративно-территориальное деление Ленинградской области. — Лениздат, 1973, С. 180АрхивированоАдминистративно-территориальное деление Ленинградской области. — Лениздат, 1990, ISBN 5-289-00612-5, С. 38АрхивированоАдминистративно-территориальное деление Ленинградской области. — СПб., 2007, с. 60АрхивированоКоряков Юрий База данных «Этно-языковой состав населённых пунктов России». Ленинградская область.Административно-территориальное деление Ленинградской области. — СПб, 1997, ISBN 5-86153-055-6, С. 41АрхивированоКультовый комплекс Старые Смолеговицы // Электронная энциклопедия ЭрмитажаПроблемы выявления, изучения и сохранения культовых комплексов с каменными крестами: по материалам работ 2016-2017 гг. в Ленинградской области

Image
Населённые пункты по алфавитуНаселённые пункты Волосовского районаМызы Ингрии Беседском сельском поселенииВолосовского районаЛенинградской областиПисцово...
Read more