Typy danych a wydajność

Wybór typu danych wpływa na wydajność — mniejsze typy zajmują mniej miejsca i przyspieszają operacje.

Dlaczego typ danych ma znaczenie dla szybkości programu

Typ danych określa nie tylko rodzaj wartości, którą można zapisać, lecz także sposób jej przechowywania, porównywania i przetwarzania. Liczba całkowita, liczba zmiennoprzecinkowa, znak, tekst, wartość logiczna czy data wymagają innych operacji procesora i zajmują inną ilość pamięci. Jeżeli program przechowuje dane w strukturze o znanym rozmiarze, może szybciej obliczać położenie kolejnych elementów oraz efektywniej korzystać z pamięci podręcznej procesora. Z tego powodu typ powinien odpowiadać rzeczywistemu zakresowi wartości, a nie być wybierany przypadkowo.

Mniejszy typ nie gwarantuje automatycznie odczuwalnego przyspieszenia pojedynczego działania. Znaczenie rośnie przy dużych tablicach, kolekcjach, plikach i tabelach baz danych, ponieważ wtedy oszczędność miejsca powtarza się dla każdego rekordu lub elementu. Mniejszy zbiór danych może zmieścić się w pamięci operacyjnej albo w pamięci podręcznej, a odczyt z RAM lub dysku wymaga mniej transferów. W praktyce wydajność zależy więc od połączenia typu danych z liczbą elementów, sposobem dostępu, układem pamięci i charakterem wykonywanych operacji.

Rozmiar, zakres wartości i reprezentacja

W programowaniu typ całkowity powinien obejmować wszystkie dopuszczalne wartości, ale nie musi mieć większego zakresu bez uzasadnienia. Zastosowanie typu 64-bitowego do niewielkiego licznika może zwiększyć zużycie pamięci w dużej tablicy w porównaniu z typem 32-bitowym. Z kolei zbyt mały typ prowadzi do przepełnienia, obcięcia wartości albo błędnego wyniku. Przykładowo licznik liczby operacji, rozmiaru pliku lub identyfikatora musi zostać dobrany tak, aby jego maksymalna wartość była zgodna z rzeczywistym zastosowaniem i ograniczeniami konkretnego języka.

Typy zmiennoprzecinkowe przechowują wartości według standardu IEEE 754, lecz ich dokładność jest ograniczona. Typ pojedynczej precyzji zajmuje mniej miejsca niż typ podwójnej precyzji, ale oferuje mniejszą liczbę znaczących cyfr i mniejszy zakres dokładnego odwzorowania. Nie należy zastępować liczb całkowitych zmiennoprzecinkowymi tylko dlatego, że oba typy przechowują liczby. Operacje arytmetyczne, porównania i konwersje mogą wtedy wymagać dodatkowego przetwarzania, a zaokrąglenia mogą zmienić wynik. Dla kwot pieniężnych często stosuje się liczby całkowite przechowujące najmniejszą jednostkę albo typ dziesiętny oferowany przez konkretny język lub silnik.

Tekst wymaga dodatkowego rozważenia kodowania znaków oraz długości wartości. Stała długość może upraszczać obliczanie pozycji w rekordzie, natomiast zmienna długość ogranicza niewykorzystane miejsce, gdy wpisy mają różną długość. Długi tekst zwiększa koszt kopiowania, sortowania, porównywania i przesyłania. Jeżeli aplikacja przechowuje krótkie kody, statusy lub identyfikatory, nie powinny one być reprezentowane jako obszerne pola tekstowe bez technicznej potrzeby. Warto również odróżnić tekst przeznaczony do wyświetlenia od danych, na których program wykonuje częste obliczenia lub wyszukiwanie.

Wpływ typów danych na pamięć i operacje

W strukturach przechowujących wiele rekordów rozmiar pola wpływa na lokalność pamięci. Gdy elementy są ułożone blisko siebie, procesor może pobrać większą ich liczbę w ramach jednego odczytu z pamięci podręcznej. Większe rekordy zmniejszają liczbę elementów mieszczących się w tym samym obszarze pamięci i zwiększają ilość danych przesuwanych podczas kopiowania. Dotyczy to między innymi tablic pikseli, buforów, indeksów, list wyników oraz struktur używanych przez aplikacje do przetwarzania plików.

W bazie danych typ kolumny wpływa na rozmiar tabeli, stron danych i indeksów. Węższa kolumna może zmniejszyć liczbę stron potrzebnych do przechowania tej samej liczby wierszy, co ogranicza ilość danych odczytywanych z pamięci masowej. Typ ma także znaczenie podczas sortowania, grupowania i porównań. Porównanie wartości liczbowych jest zwykle prostsze niż porównanie długich łańcuchów znaków, szczególnie gdy tekst wymaga uwzględnienia kodowania, wielkości liter lub reguł porządku sortowania. Nie oznacza to jednak, że każdą wartość należy zamienić na liczbę. Typ musi zachować znaczenie danych i umożliwiać ich poprawną walidację.

Konwersje między typami są dodatkowym etapem obliczeń. Mogą pojawić się przy przypisaniu wartości, wywołaniu funkcji, łączeniu danych z różnych źródeł albo porównaniu kolumn o odmiennych typach. Niejawna konwersja może również utrudnić wykorzystanie indeksu, jeżeli silnik musi przekształcić wartości przed wykonaniem warunku wyszukiwania. Dlatego pola używane razem w filtrach, relacjach i sortowaniu powinny mieć zgodne, świadomie dobrane typy. Przed zmianą typu należy sprawdzić zakres wartości, sposób zapisu danych, istniejące indeksy, format eksportu oraz kod aplikacji korzystający z danego pola.

Dobór typu podczas diagnostyki komputera

Problemy wynikające z niewłaściwych typów danych mogą objawiać się wolnym działaniem programu, zwiększonym zużyciem pamięci, opóźnieniami przy otwieraniu plików albo błędami po przekroczeniu zakresu licznika. Sama zmiana typu nie zawsze rozwiązuje problem, ponieważ przyczyną może być także nieefektywny algorytm, brak indeksu, nadmierne kopiowanie danych, wolny dysk lub niewystarczająca ilość pamięci RAM. Diagnostyka powinna obejmować pomiar czasu operacji, obserwację zużycia pamięci i sprawdzenie, czy spowolnienie występuje przy określonym rozmiarze danych.

W komputerze użytkownika warto rozróżnić problem programu od problemu sprzętowego. Jeżeli aplikacja zużywa dużo pamięci, system może przenosić część danych do pliku stronicowania, co powoduje dodatkowe operacje dyskowe. Jeżeli duże pliki są stale konwertowane między tekstem a liczbami, opóźnienie może wynikać z obciążenia procesora, a nie z uszkodzenia podzespołu. Warszawskie Pogotowie Komputerowe zajmuje się profesjonalną naprawą laptopów, komputerów PC i podzespołów, a w ramach diagnostyki można sprawdzić, czy źródłem spowolnienia jest pamięć, nośnik danych, chłodzenie, konfiguracja systemu czy konkretna aplikacja.

Bezpieczna optymalizacja zaczyna się od kopii danych i testu na reprezentatywnym zbiorze. Należy sprawdzić, czy po zmianie typu nie występują utracone miejsca po przecinku, przepełnienia, błędne daty lub niezgodności z plikami zapisanymi wcześniej. Wynik powinien być porównany przed i po modyfikacji, najlepiej z użyciem tych samych danych wejściowych. Tylko wtedy można ocenić, czy mniejszy typ rzeczywiście zmniejszył zużycie pamięci lub czas operacji, nie naruszając poprawności działania programu.