Możliwości automatycznego zrównoleglania kodu w kompilatorze języka C Piotr Błaszyński Katedra Inżynierii Oprogramowania
Szybkie programy Prawa ograniczające: prawo Moore'a (jego granice), prawo Gatesa, prawo Amdahla, prawo Gustafsona.
Problemy i rozwiązania Programiści nie znają wszystkich metod uzyskiwania wyższej wydajności, Pracując z istniejącym kodem muszą go dobrze zrozumieć przed dokonaniem zmian. Automatyczne wyszukiwanie najlepszego kodu sekwencyjnego, równoległego.
Problemy i inne rozwiązania LLVM Profiler guided HotSpot i JIT (dlaczego muszą być rozpędzone i czy zużywają zasoby) Architektury się jednak zmieniają
Kompilacja iteracyjna Przy pomocy modelu statycznego dokonuje się wyboru metod optymalizacji kodu wynikowego jak w tradycyjnym kompilatorze, Wybierane są parametry dla wybranych optymalizacji, Generowany jest tymczasowy kod wynikowy z wybranymi wcześniej parametrami, Testowana jest wydajność kodu wynikowego, informacje te są zwrotnie przekazywane do kompilatora
Kompilacja iteracyjna Na podstawie powyższych informacji zmieniane są parametry i następuje kolejna kompilacja, W przypadku jeśli wydajność jest na wystarczającym poziomie, przygotowywana jest wersja ostateczna kodu wynikowego.
Model kompilatora Kod źródłowy Kompilator (analiza statyczna) Ostateczny kod wynikowy Tymczasowy kod wynikowy Profilowanie / symulacja (analiza dynamiczna) System ekspercki Analiza empiryczna Algorytmy ewolucyjne Sprzężenie zwrotne Wyniki empiryczne Pula transformacji
Metody testowania 1.Przygotowanie eksperymentów i na ich podstawie opracowanie części wiedzy 2.Opracowanie modelu Dane wejściowe: Program źródłowy, architektura, rozmiar problemu, zbiór parametrów. Dane wejściowe przekształcane przy pomocy opracowanego modelu. Na wyjściu otrzymujemy wybrane/zaproponowane parametry (zestaw parametrów) dla zadanego kryterium (czas, pamięć, energia). Dodatkowo elementem danych wejściowych dla opracowanego modelu jest wiedza pochodząca z eksperymentów.
Stosowane narzędzia MiiBench + Własny zestaw testowy GCC Własny frontend kompilatora (ANSI C) przygotowanie do analizy zależności
Prosty przykład - loop unrolling Loop Unrolling Żeby można było zmieniać kolejność kodu, w większości przypadku należy zwracać uwagę na granice pojedynczej iteracji pętli (występuje tam przede wszystkim zmiana przepływu sterowania przez instrukcje skoku). Efektywną techniką pozwalającą rozwiązać ten problem jest rozwijanie pętli. Zalecane są niewielkie rozmiary rozwinięć. Dzięki rozwinięciom możliwe jest łatwiejsze, o ile nie ma zależności, znalezienie możliwości zrównoleglenia.
Prosty przykład - loop unrolling Pętla for for (i=0; i<N; i++) S(i); Po rozwinięciu czterokrotnym: for (i=0; i+4<N; i+=4){ S(i); S(i+l); S(i+2); S(i+3); } for( ; i<N; i++) S(i);
Prosty przykład - loop unrolling wszystkie testy z MiiBench, wielkość rozwinięć większa od przyjętej standardowo, własny frontend kompilatora (ANSI C) - modyfikacja źródeł.
Prosty przykład - loop unrolling Przykładowy program w wersji oryginalnej, for (i = 1; i > 8; j = 1 + (j / 2); weight[i] = j << 8; }
Prosty przykład - loop unrolling Przykładowy program w wersji rozwiniętej 4 razy, for (i = 1; i + 4 > 8; j = 1 + (j / 2); weight[i] = j > 8; j = 1 + (j / 2); weight[i+1] = j > 8; j = 1 + (j / 2); weight[i+2] = j > 8; j = 1 + (j / 2); weight[i+3] = j > 8; j = 1 + (j / 2); weight[i] = j << 8; }
Prosty przykład - loop unrolling Przykładowe wyniki: Przed: 8 10 Found dataset: 8 Command line: -z -k -f -c../../consumer_data/2.wav > ftmp_out Loop wrap: 10 real 0m31.143s user 0m30.422s sys 0m0.648s Po: 8 10 Found dataset: 8 Command line: -z -k -f -c../../consumer_data/2.wav > ftmp_out Loop wrap: 10 real 0m29.050s user 0m28.526s sys 0m0.416s
Prosty przykład - loop unrolling Dobór do kompilacji statycznej na danej architekturze: Wychodzi, że dla większości programów wartości dające efekty na architekturze 2-rdzeniowej, procesor E8400, _sensowne zmiany dają wartości loop_unroll z przedziału Należy pamiętać o kosztach zmian: ll a.out4 -rwxr-xr-x 1 ubuntu ubuntu :40 a.out4 ll a.out8 -rwxr-xr-x 1 ubuntu ubuntu :46 a.out8
Zadania - analiza zależności konieczność przetestowania dla dużej liczby przypadków testowych (różne kody źródłowe) dla uzyskania jakości przemysłowej - w przypadku ręcznej ekstrakcji pętli jest niemożliwe do wykonania, własny frontend kompilatora (ANSI C), przygotowanie do analizy zależności, możliwość analizy przy pomocy różnych narzędzi (Petit, Loopo, Candl) o różnych formatach wejściowych, potrzebna również przy rozwijaniu pętli.
Reprezentacja kodu żródłowego Formy pośrednie reprezentacji kodu źródłowego Gcc Vhdl2bool Stepson
Reprezentacja kodu żródłowego Gcc Inne formy przejściowe Gcc – SSA, GIMPLE tree_list tree_list identifier_node strg: __divdc3 lngt: 8 function_decl srcp: :0 body: undefined link: extern tree_list tree_list identifier_node strg: __mulxc3 lngt: 8 function_type algn: 8
Reprezentacja kodu żródłowego Gcc Inne formy przejściowe Gcc Zalety: Gotowy kompilator, Standardowy, istnieje wiele rozwiązań opartych o tą formę. Wady: Skomplikowanie, Zbyt „odległy” od kodu źródłowego, Trudny w odczycie przez człowieka
Reprezentacja kodu żródłowego VHDL2BOOL Inne formy przejściowe Vhdl2bool Drzewo katalogów Zalety: trywialna obsługa przestrzeni nazw, możliwość zajmowania się tylko fragmentem kodu. Wady: Konieczność ustalania formatu, Trudności w manipulacji, Problemy z przekształcaniem plików.
Reprezentacja kodu żródłowego Stepson (1):for(i=0 ; i<10 ; i++) { (2):for(j=0 ; j<10 ; j++) { a[i][j] = i+j; b[i][j] = i*j; } (3): for(k=9 ; k>=0 ; k--) { c[i][k] = i+k; d[i][k] = i*k; }
Reprezentacja kodu żródłowego Stepson ParseTree1 (1) (for(i=0 ; i<10 ; i++)) | |-- ParseTree2 (2) (for(j=0 ; j<10 ; j++)) | | | \ ParseTree2a (a[i][j] = i+j;) | \ ParseTree2b (b[i][j] = i*j;) | |-- ParseTree3 (3) (for(k=9 ; k>=0 ; k--)) | \ ParseTree3a (c[i][k] = i+k;) \ ParseTree3b (d[i][k] = i*k;)
Transformacja pętli while Metoda transformacji Wyszukanie zmiennej, po której iterujemy, Wyszukanie wszystkich miejsc jej użycia, Określenie warunku zakończenia pętli
Transformacja pętli while Przekształcenie powyższej pętli: i=0 while (i<n)for (i=0 ; i<n ; i++){a[i] = b[i] + c[i]; i++;}
Transformacja pętli while Inne tranformacje i istotne ograniczenia a=otherList.head() t=list.head();a=otherList.head() while (t!=NULL)for (t=list.head() ; t!=NULL ; t++){ *a = *t + sVal; a++; t++;}
Podsumowanie Cele i osiągnięcia najbliższe Rozwój bazy testów, Analiza zależności, Konwersja while na for, Zależności i przestrzeń iteracji jako polyhedra (wielościan), wskaźniki, Implementacja prostych transformacji. Cele strategiczne: Kompilacja iteracyjna (również ekstracja wiedzy), Automatyczne zrównoleglanie dużego zbioru testowego (z naciskiem na wybraną klasę algorytmów), Większy niż w innych rozwiązaniach podzbiór języka C (w przyszłości również C++, kompilacja kodu zarządzanego)
Dziękuję za uwagę