Transakcja

Transakcja to sekwencja operacji wykonywana jako jedna niepodzielna całość zgodnie z zasadami ACID.

Transakcja w praktyce systemów komputerowych

Transakcja porządkuje operacje, które z punktu widzenia aplikacji powinny zakończyć się wspólnym wynikiem. Przykładem może być przelew: zmniejszenie salda jednego rachunku i zwiększenie salda drugiego muszą być traktowane jako jeden proces. Zapisanie tylko pierwszej zmiany prowadziłoby do niespójności danych, dlatego system wykonuje operacje w ramach określonego zakresu i dopiero po ich poprawnym zakończeniu zatwierdza rezultat.

W bazach danych transakcja rozpoczyna się przed wykonaniem powiązanych poleceń, a kończy zatwierdzeniem albo wycofaniem zmian. Zatwierdzenie, często określane jako commit, oznacza utrwalenie wyniku. Wycofanie, czyli rollback, przywraca stan sprzed rozpoczęcia operacji, o ile mechanizm bazy ma wystarczające informacje do odtworzenia poprzednich wartości. Dzięki temu błąd pojedynczego kroku nie musi pozostawić częściowo wykonanej operacji.

Reguły ACID opisują oczekiwane właściwości takiego mechanizmu. Atomowość oznacza traktowanie zestawu zmian jako jednej całości. Spójność wymaga zachowania ograniczeń określonych dla danych, na przykład poprawnych typów, relacji i unikalności. Izolacja ogranicza wpływ równolegle wykonywanych transakcji na siebie. Trwałość oznacza, że zatwierdzone dane powinny przetrwać awarię procesu lub ponowne uruchomienie systemu, gdy zostały już zapisane w sposób uznany przez silnik za bezpieczny.

Zakres blokad, izolacja i zastosowania

Izolacja jest potrzebna, ponieważ wiele operacji może być wykonywanych jednocześnie. Jedna transakcja może odczytywać dane, gdy druga je zmienia, a sposób obsługi takiej sytuacji zależy od poziomu izolacji oraz konstrukcji silnika. Przy słabszej izolacji aplikacja może szybciej uzyskać dostęp do danych, lecz istnieje większe ryzyko odczytu wartości chwilowych albo uzyskania różnych wyników w ramach jednego procesu. Silniejsza izolacja ogranicza takie zjawiska, ale może zwiększyć liczbę oczekujących operacji.

Mechanizmy kontroli współbieżności wykorzystują między innymi blokady, znaczniki wersji lub dzienniki zmian. Blokada może dotyczyć pojedynczego rekordu, zakresu rekordów albo większego fragmentu danych. Im szerszy jest zakres blokady, tym łatwiej zapewnić przewidywalny wynik, ale tym więcej innych operacji może zostać wstrzymanych. Wersjonowanie pozwala niekiedy odczytywać wcześniejszy stan bez czekania na zakończenie zapisu, jednak wymaga przechowywania dodatkowych informacji.

Transakcje występują nie tylko przy płatnościach. Korzystają z nich systemy rezerwacji, programy magazynowe, aplikacje księgowe, narzędzia synchronizacji plików oraz instalatory aktualizacji. W każdym z tych przypadków chodzi o kontrolę zestawu zależnych zmian. W aplikacji należy też określić granice transakcji: zbyt krótka transakcja może pozostawić niespójny proces biznesowy, a zbyt długa może długo zajmować zasoby i zwiększać ryzyko blokad.

Ważne jest rozróżnienie między transakcją a kopią zapasową. Transakcja chroni spójność określonego zestawu operacji w czasie jego wykonywania. Kopia zapasowa służy do odtworzenia danych po awarii, błędzie użytkownika lub uszkodzeniu nośnika. Samo zatwierdzenie operacji nie gwarantuje odzyskania danych, jeśli fizyczny nośnik przestanie działać, zanim system wykona niezależną kopię.

Możliwe problemy podczas zapisu

Jednym z częstych problemów jest przerwanie transakcji przez utratę zasilania, awarię programu, brak miejsca na dane pomocnicze albo błąd urządzenia pamięci masowej. Po ponownym uruchomieniu system może przeprowadzić odtwarzanie na podstawie dziennika. Celem takiego procesu jest usunięcie niedokończonych zmian i zachowanie zmian, które zostały poprawnie utrwalone. Jeżeli dziennik lub dane są uszkodzone, odtwarzanie może zakończyć się błędem albo pozostawić część informacji niedostępną.

Inny problem stanowi zakleszczenie. Powstaje wtedy, gdy jedna transakcja czeka na zasób zajęty przez drugą, a druga oczekuje na zasób należący do pierwszej. System zwykle wykrywa taki cykl i wycofuje jedną z transakcji, aby pozostałe mogły kontynuować pracę. Aplikacja powinna być przygotowana na ponowienie operacji, ponieważ błąd zakleszczenia nie zawsze oznacza uszkodzenie danych.

Nieprawidłowe zarządzanie transakcjami może powodować długie blokady, opóźnienia i błędy widoczne dopiero przy większym obciążeniu. Ryzyko rośnie, gdy w jednej transakcji wykonywane są operacje niezwiązane bezpośrednio z bazą, takie jak oczekiwanie na odpowiedź urządzenia lub interakcję użytkownika. Warto również sprawdzić, czy po obsłużeniu wyjątku aplikacja faktycznie wycofuje zmiany, czy tylko zapisuje komunikat i kontynuuje pracę na niepełnym stanie.

Użytkownik może spotkać się z komunikatem o nieudanym zapisie, powielonym zamówieniem albo brakiem oczekiwanej zmiany po ponownym otwarciu programu. Nie zawsze wskazuje to na błąd samej transakcji. Przyczyną może być awaria dysku, niestabilne zasilanie, uszkodzony system plików, wadliwa pamięć operacyjna lub problem z przewodem i połączeniem urządzenia. Do oceny potrzebne są logi aplikacji, stan nośnika oraz informacja, czy problem powtarza się przy różnych operacjach.

Gdy zapis danych wymaga sprawdzenia sprzętu

Jeżeli błędy transakcji pojawiają się razem z zawieszaniem programu, znikaniem plików, spowolnieniem odczytu, samoczynnymi restartami albo komunikatami o błędach dysku, warto przerwać czynności zapisujące nowe dane. Kolejne próby mogą nadpisywać informacje potrzebne do odzysku. Najpierw należy zabezpieczyć ważne pliki na innym sprawnym nośniku, a przy podejrzeniu uszkodzenia dysku ograniczyć jego używanie do niezbędnych działań diagnostycznych.

Warszawskie Pogotowie Komputerowe prowadzi naprawę sprzętową laptopów, komputerów stacjonarnych i elementów elektronicznych.

Do zgłoszenia warto dołączyć dokładny opis objawów: moment wystąpienia błędu, informacje o utracie zasilania, nietypowych dźwiękach, wcześniejszych naprawach oraz tym, czy urządzenie było przenoszone lub narażone na wilgoć. Istotne jest także wskazanie najważniejszych danych i zakaz samodzielnego formatowania nośnika przed diagnozą. Fachowa ocena pozwala rozdzielić problem logiczny, związany z aplikacją lub strukturą danych, od usterki sprzętowej, która może przerywać zapis i zagrażać całemu urządzeniu.