Zobrazení zdroje stránky Profilování (programování)

'''Profilování''' je vyhledávání míst v [[počítačový program|programu]], která jsou vhodná pro [[Optimalizace (informatika)|optimalizaci]]. Vyhledávání probíhá s pomocí speciálních nástrojů, nazývaných profilery, za běhu programu (tj. forma dynamické analýzy). Na základě konkrétního požadavku na optimalizaci se sleduje například využití [[paměť|paměti]], doba a frekvence provádění různých částí programu, systémová volání a podobně.

Možnosti konkrétního profileru závisí na [[Programovací jazyk|programovacím jazyku]], možnostech [[Překladač|kompilátoru]] a [[Počítačová platforma|platformě]] na které sledovaný program běží. Pro efektivní využívaní výstupních dat profileru k [[Optimalizace (informatika)|optimalizaci]] [[počítačový program|programu]] je důležité brát v potaz možné zkreslení výsledků vzniklé samotným připojením profileru k programu a metodou sběru dat.

Optimalizaci práce s pamětí na základě výstupů z profilování řeší programátor. V programovacích jazycích typu [[C (programovací jazyk)|C]] bez pokročilé správy paměti vyžaduje sledování paměti zásah programátora. Na platformách [[Java (platforma)|Java]] a [[.NET]] se při profilování paměti sleduje využívaná paměť, její [[Dynamická alokace paměti|alokace]] a uvolnění pomocí [[garbage collector]]u.

== Historie ==
Nástroje pro analýzu výkonnosti existovaly již pro systémy [[IBM/360]] a [[IBM/370]] po roce 1970. Obvykle byly založeny na využití [[Časovač (počítač)|časovače]], pomocí kterého se zaznamenávaly čas a stav vykonávaného programu (tzv. PSW, {{Vjazyce2|en|''program status word''}}), takže bylo možné najít tak zvaná ''horká místa'' programu. Na začátku roku 1974 byly uvedeny simulátory instrukční sady procesoru, které umožnily plné sledování průběhu výpočtu a přinesly další možnosti sledování výkonnosti.

Pro [[UN*X|unixové]] systémy byl v roce 1979 uveden jednoduchý nástroj <code>prof</code>, který vypisoval všechny použité funkce a jak dlouho jejich provedení trvalo. V roce 1982 rozšířil tento koncept nástroj [[gprof]], který vytvářel kompletní analytické grafy volání ({{Vjazyce2|en|''call graph''}}).<ref>''Gprof: a Call Graph Execution Profiler'' http://docs.freebsd.org/44doc/psd/18.gprof/paper.pdf</ref>

V roce 1994 publikovali zaměstnanci firmy [[Digital Equipment Corporation]] [[Amitabh Srivastava]] a [[Alan Eustace]] práci popisující ATOM<ref>http://www.stanford.edu/class/cs295/papers/atom.pdf{{Nedostupný zdroj}}</ref>, což je platforma pro konverzi programů na svůj vlastní profiler. ATOM funguje tak, že při [[Překladač|kompilaci]] vkládá do výstupního kódu části, které poskytují data pro analýzu. Tato technika se nazývá [[instrumentace (software)|instrumentace]] ({{Vjazyce2|en|''instrumentation''}}).

V roce 2004 byly práce popisující Gprof a ATOM zařazeny na seznam 50 nejvýznamnějších prací v PLDI ({{Vjazyce2|en|''Programming Language Design and Implementation''}}).<ref>http://www.cs.utexas.edu/users/mckinley/20-years.html</ref>

== Typy profilerů v závislosti na výstupních datech ==
[[Soubor:Profiler priklad.jpg|náhled|Možný Výstup Call-graph profileru]]

=== Flat profilery ===
Flat profilery zaznamenávají u jednotlivých [[funkce (programování)|funkcí]] průměrnou dobu zpracování, ale nesledují odkud a jak často jsou volány.

=== Call-graph profilery ===
Call-graph profilery (Call-graph = graf volání [[funkce (programování)|funkcí]]) zaznamenávají dobu a četnost volání funkcí, včetně výpisu zásobníku volání funkcí (parametry funkcí se nezaznamenávají).

== Typy profilerů v závislosti na granularitě dat ==
Podle typu sběru dat jsou profilery řazeny do dvou skupin na statické profilery a event-based profilery.

=== Statické profilery ===
Některé profilery pracují jako sběrače vzorků. Takovýto vzorkovací profiler sbírá data z cílového programu v pravidelných intervalech, to dělá pomocí vyvolání přerušení v operačním systému. Vzorkovací profily bývají obvykle méně přesné, ale umožňují cílovému programu běžet téměř plnou rychlostí.

Výsledná data nejsou přesná ale statisticky přibližná. "Skutečné množství chyb je větší nežli jedna perioda. Ve skutečnosti, pokud je n vzorkovacích period, potom očekávaná chyba je rovna <math>sqrt(n)</math>" <ref>{{Citace elektronického periodika |titul=Statistical Inaccuracy of <tt>gprof</tt> Output |url=http://www.cs.utah.edu/dept/old/texinfo/as/gprof.html |datum přístupu=21-04-2015 |url archivu=https://web.archive.org/web/20120529075000/http://www.cs.utah.edu/dept/old/texinfo/as/gprof.html#SEC12 |datum archivace=29-05-2012 |nedostupné=ano }}</ref>

V praxi potom může takovýto vzorkovací profiler poskytovat přesnější obraz o běhu cílového programu, než ostatní způsoby a to proto, že do běhu cílového program nezasahují natolik aby ho ovlivnili což může mít za následek paměťovou náročnost či zpomalení běhu.

Dedikovaný hardware může jít i nad rámec toho. ARM Cortex-M3 a některé MIPOS procesory mají registr zvaný PCSAMPLE, ten sbírá data z programového čítače a jeho účast je téměř nezjistitelná.

Nejčastěji používané statické profilery jsou [[AMD]] [[CodeAnalyst]], [[Apple Inc.]] [[Apple Developer Tools#Shark|Shark]] (OSX), [[oprofile]] (Linux), [[Intel]] [[VTune]], Parallel Amplifier (část [[Intel Parallel Studio]]) a [[Oracle Solaris Studio]] [[Performance Analyzer]].<ref>{{cite conference |last1=Schmidl |first1=Dirk |first2=Christian |last2=Terboven |first3=Dieter |last3=an Mey |first4=Matthias S. |last4=Müller |title=Suitability of Performance Tools for OpenMP Task-Parallel Programs |conference=Proc. 7th Int'l Workshop on Parallel Tools for High Performance Computing |year=2013 |pages=25–37 |url=https://books.google.com/books?id=-I64BAAAQBAJ&pg=PA27&lpg=PA27}}</ref>

=== Event-based ===
* [[Java (programovací jazyk)|Java]]: [[JVMTI]] (JVM Tools Interface) API, dříve známo jako JVMPI (JVM Profiling Iterface) poskytuje cestu jak zachytávat některé události jako je spuštění vlákna, jeho ukončení apodobně.
* [[.NET|.Net]]: Lze připojit profilovací agent jako COM server CLR za použití Profiling API. Podobně jako Java poskytuje prostředky jak zachytávat události jako je vstup a opuštění metody nebo vytvoření objektu.
* [[Python]]: Profilování zahrnuje profil modulu, hotshot (call-graf based) a použití 'sys.setprofile', c_{call,return,exception}, python_{call,return,exception}.
* [[Ruby]]: Používá podobné profilování jako Python, Flat-profiler v profile.rb, modul, Ruby-prof C-extension.

=== Instrumentace ===
Tato technika účinně přidává instrukce do cílového programu za účelem shromáždit požadované informace. Přidané instrukce mohou však změnit změnu výkonu a v některých případech může vést i k nepřesnosti výsledků. Vliv závisí na tom, jaké informace jsou shromažďovány a na tom jaká je úroveň podrobností. Například přidání kódu počítání každého volání procedury/rutiny bude mít pravděpodobně menší vliv než počítat, kolikrát každý příkaz poslechl. Některé počítače mají přidaný speciální hardware pro sběr informací. V tom případě je dopad na běh programu mnohem menší. Přístrojové vybavení je klíčem k určování úrovně kontroly a času, který je potřeba.

* Manuálně: Určuje programátor např. přidáním kódu na měření času určitého úkonu a to vlastní metodou nebo pomocí API, např. [[Application Response Measurement]].
* Automatický kód: Strojově přidán do zdrojového kódu pomocí automatického nástroje např. [[Parasoft Insure++]]
* Intermediate language: Instrumentace přidána do sestavy nebo binárního kódu, vhodné pro více jazyků vyšší úrovně, např. [[OpenPAT]].
* Asistence kompilátoru: [[gprof]], [[Quantify]] používá metody: gcc -pg ... pro gprof, a quantify g++..., pro Quantify.
* Binární překlad: Nástroj přidá instrumentaci do zkompilovaného spustitelného souboru, např. ATOM.
* Runtime instrumentace: Proběhne přímo před provedením kódu. Běh programu je následně plně pod dohledem nástroje, např. [[Pin (počítačový program)|Pin]], [[Valgrind]], [[DynamoRIO]].
* Runtime přidání: Kód je upraven za běhu aby byla provedena pomocná funkce, např. [[DynInst]].

== Reference ==
{{Překlad|jazyk= en|článek= Profiling (computer programming)|revize= 432996880}}
<references />

== Související články ==
* [[Ladění (programování)]]
* [[Trasování (programování)]]
* [[Valgrind]]

== Externí odkazy ==
* [https://en.wikipedia.org/wiki/Profiling_(information_science) Profiling (information science)]
* http://oprofile.sourceforge.net
* http://valgrind.org
* http://www.eqatec.com/tools/profiler/ {{Wayback|url=http://www.eqatec.com/tools/profiler/ |date=20110613044833 }}

{{Proces vývoje softwaru}}
{{Autoritní data}}
[[Kategorie:Optimalizace (informatika)]]
[[Kategorie:Systémový software]]