Poznawanie MVCC i VACUUM

Witaj w świecie podstaw PostgreSQL! Dzisiaj przyjrzymy się Multi-Version Concurrency Control (MVCC). To skomplikowana nazwa prostej, ale potężnej koncepcji.

MVCC to mechanizm, dzięki któremu PostgreSQL pozwala wielu użytkownikom lub aplikacjom jednocześnie uzyskiwać dostęp do danych i je modyfikować, bez wzajemnego zakłócania pracy. Można go porównać do kontrolera ruchu w bazie danych.

Wyobraź sobie bazę danych bez MVCC. Jeśli jeden użytkownik odczytuje wiersz, inny użytkownik próbujący zaktualizować ten sam wiersz musiałby czekać. Nazywa się to blokowaniem, a jego nadmiar może boleśnie spowolnić bazę danych.

MVCC rozwiązuje ten problem, zapewniając, że odczyty nie blokują zapisów, a zapisy nie blokują odczytów. Każdy otrzymuje własny spójny widok danych.

Istota MVCC tkwi w sposobie obsługi zmian. Gdy wykonujesz operację UPDATE lub DELETE na wierszu w PostgreSQL, baza danych nie nadpisuje ani nie usuwa od razu oryginalnych danych.

Zamiast tego tworzy nową wersję wiersza (w przypadku aktualizacji) albo po prostu oznacza istniejący wiersz jako „usunięty”, nie usuwając go fizycznie. Stara wersja pozostaje dostępna tymczasowo.

Skąd PostgreSQL wie, którą wersję wiersza ma wyświetlić? Każda transakcja otrzymuje unikatowy identyfikator. Po utworzeniu wiersz otrzymuje wartość xmin (identyfikator transakcji tworzącej). Po jego „usunięciu” otrzymuje wartość xmax (identyfikator transakcji usuwającej).

• Twoja transakcja widzi tylko wiersze zatwierdzone przed jej rozpoczęciem.
• Pomija wiersze usunięte po jej rozpoczęciu.

Dzięki temu zawsze widzisz spójny migawkowy obraz danych.

Spójrzmy na prosty przykład pokazujący, jak polecenie UPDATE tworzy nowe wersje wierszy:

Najpierw utworzymy tabelę i wstawimy produkt:

Gdy teraz zaktualizujemy cenę, PostgreSQL nie zmienia istniejącego wiersza. Zamiast tego oznacza starą wersję wiersza jako „martwą” i wstawia zupełnie nową wersję wiersza ze zaktualizowaną ceną.

Stara wersja jest teraz „martwą krotką” – nie jest już widoczna dla nowych transakcji, ale nadal zajmuje miejsce na dysku.

Z czasem, w wyniku wielu operacji UPDATE i DELETE, w tabelach może zgromadzić się wiele takich „martwych krotek”. Prowadzi to do rozrostu tabeli.

Rozrost tabeli oznacza, że pliki bazy danych są większe, niż jest to konieczne, zajmują więcej miejsca na dysku i mogą spowalniać zapytania, ponieważ z dysku trzeba odczytać więcej danych.

Właśnie tutaj przydaje się polecenie VACUUM! Jego głównym zadaniem jest usuwanie tych martwych krotek. Działa jak osoba sprzątająca bazę danych, porządkując stare, nieużywane wersje danych.

VACUUM oznacza miejsce zajmowane przez martwe krotki jako możliwe do ponownego wykorzystania, udostępniając je nowym danym wstawianym do tabeli. Zapobiega to ciągłemu zwiększaniu rozmiaru tabeli i poprawia wydajność.

Po uruchomieniu VACUUM PostgreSQL skanuje tabelę, identyfikuje martwe krotki i dodaje lokalizacje zajmowanego przez nie miejsca do „mapy wolnego miejsca”. Nie zmniejsza to od razu pliku tabeli na dysku, ale gwarantuje, że przyszłe operacje INSERT lub UPDATE będą mogły ponownie wykorzystać to miejsce.

Podstawowe polecenie VACUUM uruchamia się w następujący sposób:

Właśnie poznali Państwo dwa kluczowe pojęcia związane z PostgreSQL!

• MVCC zapewnia wysoką współbieżność, umożliwiając istnienie wielu wersji danych.
• Operacje UPDATE i DELETE tworzą martwe krotki.
• Rozrost tabeli występuje, gdy martwe krotki się gromadzą i marnują miejsce.
• Polecenie VACUUM usuwa martwe krotki, dzięki czemu zajmowane przez nie miejsce można ponownie wykorzystać, zapobiegając rozrostowi tabel.

Zrozumienie tych pojęć jest kluczowe dla utrzymania sprawnej i wydajnej bazy danych PostgreSQL!