Metody analizy wydajności i precyzji oprogramowania Wojciech Matuszewski.

Prezentacja na temat: "Metody analizy wydajności i precyzji oprogramowania Wojciech Matuszewski."— Zapis prezentacji:

1 Metody analizy wydajności i precyzji oprogramowania Wojciech Matuszewski

2 Plan prezenetacji Tło i motywacja Ogólne pojęcia Analiza wydajności Analiza dokładności

3 Tło i motywacja System nawigacji satelitarnej Przeliczenia współrzędnych Ograniczone zasoby sprzętowe Brak FPU Obliczenia w czasie rzeczywistym Zapewnienie odpowiedniej dokładności

4 Podstawowe pojęcia Czarna skrzynka Biała skrzynka Analiza statyczna Analiza dynamiczna

5 Analiza wydajnościowa Ograniczone zasoby: Czas Energia Pamięć

6 Analiza algorytmów Metoda formalna Pozwala wstępnie porównać rozwiązania Pracochłonna

7 Narzędzia typu CIT CIT – Compile-time Instrumenation Tools Przykłady: prof, gprof Procedury analityczne dodawane na etapie kompilacji Zmodyfikowany program Brak obsługi bibliotek dołączanych dynamicznie

8 Narzędzia próbkujące ST – Sampling Tools Przykłady: qProf, OProfile Uruchamiane równolegle z programem Okresowe zbieranie danych o stanie Możliwe pominięcie krótkich funkcji Wydłużenie czasu działania

9 Liczniki sprzętowe HCT – Hardware Counter-based Tools Przykłady: Perfsuite, hpccount Wykorzystanie sprzętowych liczników zdarzeń Ograniczona ilość liczników → konieczność wielu przebiegów Potrzebne wsparcie sprzętowe

10 Narzędzie typu BIT BIT – Binary Instrumentation Tools Przykład: Pin Wstrzykiwanie wywołań procedur analitycznych do kodu uruchomionego programu Możliwość włączania i wyłączania

11 Sondy Dynamic probes Przykład: Dtrace, ftrace „Sondy“ - procedury analityczne wbudowane w biblioteki, frameworki, system Odpalanie sond na podobnej zasadzie, co w BIT

12 Testy wzorcowe Wygodne do testów porównawczych Tworzone do testowania konkretnych typów systemów fbench

13 Analiza dokładności Niedoskonałość reprezentacji liczb Niedoskonałość algorytmów Wymagania dokładności

14 Analiza numeryczna Metoda formalna Pomaga w wyborze odpowiedniego algorytmu

15 Automatyczne szacowanie błędu Porównywanie wyników programu z „prawidłowymi“ Problem doboru danych Problem zdobycia danych wzorcowych

16 Bibliografia An Overview of Software Performance Analysis Tools and Techniques: From GProf to DTrace, Justin Thiel Error analysis of system mathematical functions, Gaston Gonnet fbench - Trigonometry Intense Floating Point Benchmark, John Walker, 2014 Dynamic probes with ftrace, Jonathan Corbet, 2009 Performance Analysis Methodology, Brendan Gregg Wykorzystanie sprzętowych liczników zdarzeń do oceny wydajności algorytmów, Szymon Acedański, 2009

17 Dziękuję za uwagę Pytania?