0Pricing
Coding Interview Prep · Lekcja

Wyjaśnienie właściwości ACID

Atomowość, spójność, izolacja i trwałość na konkretnych przykładach.

Wyjaśnienie właściwości ACID to bezpłatna lekcja Coding Interview Prep na CoddyKit. To lekcja 1 z 4. Możesz przeczytać całą lekcję poniżej za darmo — a potem ćwiczyć ją interaktywnie w przeglądarce z wbudowanym edytorem kodu i tutorem AI dostępnym 24/7. To część ścieżki edukacyjnej Coding Interview Prep, a Twój postęp synchronizuje się między webem a aplikacją CoddyKit. Kurs Coding Interview Prep zawiera 4 lekcji w sumie.

Dlaczego rekruterzy pytają o ACID

Gdy rekruter na stanowisko seniorskie mówi „proszę omówić ACID”, nie sprawdza, czy zapamiętali Państwo cztery słowa. Chce wiedzieć, czy rozumieją Państwo, co baza danych gwarantuje, gdy wielu użytkowników korzysta z niej jednocześnie.

ACID oznacza Atomicity, Consistency, Isolation i Durability. Każda transakcyjna baza danych (Postgres, MySQL/InnoDB, SQL Server, Oracle) gwarantuje te cztery właściwości dla operacji objętych transakcją.

Najlepsze odpowiedzi łączą każdą literę z konkretną awarią, której dana właściwość zapobiega. W kolejnych scenach zrobimy dokładnie to.

Czym jest transakcja?

Transakcja to jednostka pracy, którą baza danych traktuje jako pojedynczą, niepodzielną operację. Rozpoczyna się ją za pomocą BEGIN, wykonuje co najmniej jedną instrukcję, a następnie używa COMMIT, aby trwale zapisać zmiany, lub ROLLBACK, aby je wszystkie odrzucić.

Klasycznym przykładem jest przelew bankowy: obciążenie jednego konta i uznanie drugiego. Obie operacje muszą się udać albo nie może udać się żadna. Transakcja jest mechanizmem, który pozwala dotrzymać tej obietnicy.

BEGIN;
UPDATE accounts SET balance = balance - 100 WHERE id = 1;
UPDATE accounts SET balance = balance + 100 WHERE id = 2;
COMMIT;

A = Atomowość

Atomowość oznacza, że transakcja działa na zasadzie wszystko albo nic. Jeśli dowolna instrukcja zakończy się niepowodzeniem albo serwer ulegnie awarii w trakcie wykonywania transakcji, każda zmiana w tej transakcji zostanie wycofana, jakby transakcja nigdy się nie rozpoczęła.

W przykładzie przelewu, jeśli uznanie drugiego konta nie powiedzie się po pomyślnym obciążeniu pierwszego, atomowość gwarantuje również wycofanie obciążenia. Nie dochodzi wtedy do utraty pieniędzy wskutek częściowo wykonanej operacji.

Sformułowanie na rozmowę kwalifikacyjną: "Atomowość gwarantuje, że transakcja zostanie zatwierdzona w całości albo wcale, pozostawiając po sobie żadnego stanu częściowego."

Atomowość w praktyce

Druga aktualizacja narusza tutaj ograniczenie sprawdzające (saldo nie może być ujemne). Baza danych przerywa transakcję, a ROLLBACK wycofuje również pierwszą aktualizację.

Najważniejszy punkt na rozmowie kwalifikacyjnej: po wycofaniu konto 1 nadal ma początkowe saldo. W tabeli nie pozostaje częściowy zapis.

BEGIN;
UPDATE accounts SET balance = balance - 100 WHERE id = 1;
-- next line fails: balance would go below 0
UPDATE accounts SET balance = balance - 999999 WHERE id = 2;
ROLLBACK;  -- account 1 is restored to its original balance

C = Spójność

Spójność oznacza, że transakcja przenosi bazę danych z jednego prawidłowego stanu do innego prawidłowego stanu. Każda zatwierdzona transakcja musi przestrzegać wszystkich zdefiniowanych reguł: ograniczeń, kluczy obcych, wyzwalaczy i kaskad.

Jeśli transakcja pozostawiłaby naruszone ograniczenie (osierocony klucz obcy, zduplikowany klucz główny lub nieudane sprawdzenie CHECK), baza danych odmówi jej zatwierdzenia.

Warto wspomnieć: baza danych wymusza zadeklarowane reguły, ale niezmienniki na poziomie aplikacji ("użytkownik może mieć najwyżej 3 aktywne sesje") pozostają po Państwa stronie, chyba że zostaną zamodelowane jako ograniczenia.

Spójność zapewniana przez ograniczenia

Spójność jest w dużej mierze sumą reguł schematu. Poniżej klucz obcy gwarantuje, że nie będzie można wstawić zamówienia dla nieistniejącego klienta.

Jeśli wstawienie odwołuje się do nieistniejącego klienta, transakcja kończy się niepowodzeniem, atomowość wycofuje tę operację, a spójność zostaje zachowana. Dlatego na rozmowach kwalifikacyjnych mówi się, że atomowość i spójność współdziałają.

CREATE TABLE orders (
  id INT PRIMARY KEY,
  customer_id INT NOT NULL REFERENCES customers(id),
  amount NUMERIC(10,2) CHECK (amount > 0)
);

-- This fails if customer 999 does not exist, keeping data consistent
INSERT INTO orders (id, customer_id, amount) VALUES (1, 999, 50.00);

I = Izolacja

Izolacja oznacza, że współbieżne transakcje nie zakłócają się wzajemnie. Idealnie każda transakcja działa tak, jakby wykonywała się samodzielnie, nawet gdy w tym samym czasie działa ich kilkadziesiąt.

W praktyce bazy danych oferują różne poziomy izolacji, stanowiące kompromis między restrykcyjnością a wydajnością. Słabsze poziomy dopuszczają pewne anomalie (brudne odczyty, odczyty fantomowe) w zamian za większą współbieżność.

To najbardziej rozbudowana część każdej rozmowy kwalifikacyjnej dotyczącej ACID, dlatego dwie kolejne lekcje szczegółowo omawiają poziomy izolacji i anomalie odczytu.

Dlaczego izolacja ma różne poziomy

Idealna izolacja (SERIALIZABLE) jest kosztowna, ponieważ musi zapobiegać każdemu możliwemu konfliktowi wynikającemu z przeplatania operacji, często przez blokowanie transakcji lub ich przerywanie.

Dlatego standard SQL definiuje cztery poziomy. Częsta pułapka na rozmowach kwalifikacyjnych polega na założeniu, że izolacja jest binarna. Tak nie jest. Należy jawnie wybrać wymagany poziom.

  • READ UNCOMMITTED najsłabszy
  • READ COMMITTED
  • REPEATABLE READ
  • SERIALIZABLE najsilniejszy
BEGIN TRANSACTION ISOLATION LEVEL SERIALIZABLE;
SELECT SUM(balance) FROM accounts;
-- ... business logic ...
COMMIT;

D = Trwałość

Trwałość oznacza, że po zatwierdzeniu transakcji jej zmiany przetrwają awarie, utratę zasilania i ponowne uruchomienie. Zatwierdzona transakcja znajduje się na trwałym nośniku.

Bazy danych osiągają to za pomocą dziennika zapisu z wyprzedzeniem (WAL): zmiany są zapisywane w trwałym dzienniku przed zaktualizowaniem plików danych. Po ponownym uruchomieniu silnik odtwarza dziennik, aby odzyskać zatwierdzone operacje, które nie zostały jeszcze zapisane w głównych plikach.

Sformułowanie na rozmowę kwalifikacyjną: "Trwałość gwarantuje WAL; commit zwraca wynik dopiero po opróżnieniu rekordu dziennika na dysk."

Przelew bankowy jako całość

Pojedynczy przelew wykorzystuje jednocześnie wszystkie cztery właściwości:

  • Atomowość: obie aktualizacje zostają zastosowane albo żadna.
  • Spójność: ograniczenie CHECK utrzymuje nieujemne salda.
  • Izolacja: współbieżny odczyt nie widzi częściowo wykonanego przelewu.
  • Trwałość: po wykonaniu COMMIT nowe salda przetrwają awarię.

Umiejętność przypisania jednego przykładu do wszystkich czterech liter to dokładnie to, co zapewnia punkty na rozmowie kwalifikacyjnej.

BEGIN;
UPDATE accounts SET balance = balance - 100
  WHERE id = 1 AND balance >= 100;
UPDATE accounts SET balance = balance + 100 WHERE id = 2;
COMMIT;

Częste pytania dodatkowe

Rekruterzy często sprawdzają również sytuacje graniczne. Należy przygotować się na pytania:

  • "Którą właściwość wymusza klucz obcy?" Spójność.
  • "Co chroni przed awarią serwera w trakcie transakcji?" Atomowość (wycofanie niezatwierdzonych zmian) oraz trwałość (odtworzenie zatwierdzonych zmian).
  • "Czy izolacja jest bezpłatna?" Nie, silniejsza izolacja zmniejsza współbieżność.
  • "Czy magazyny NoSQL zapewniają ACID?" Wiele z nich wymienia ACID na dostępność (BASE); odpowiedź zależy od silnika.

Szybki test

Sprawdźmy, czy potrafią Państwo rozpoznać rolę poszczególnych właściwości ACID.

Podsumowanie: ACID w pigułce

Teraz można już udzielić jasnej odpowiedzi:

  • Atomowość - wszystko albo nic; praca częściowa zostaje wycofana.
  • Spójność - każde zatwierdzenie przestrzega ograniczeń i pozostawia prawidłowy stan.
  • Izolacja - współbieżne transakcje nie psują się wzajemnie; jej restrykcyjność można dostosować.
  • Trwałość - zatwierdzone dane przetrwają awarie dzięki dziennikowi zapisu z wyprzedzeniem.

Warto powiązać każdą literę z konkretną awarią, której zapobiega, a początek każdej rozmowy kwalifikacyjnej dotyczącej współbieżności nie sprawi trudności.

Często zadawane pytania

Czy lekcja „Wyjaśnienie właściwości ACID” jest bezpłatna?

Tak — pełny tekst „Wyjaśnienie właściwości ACID” jest dostępny za darmo tutaj w sieci. Aby ćwiczyć ją interaktywnie (wbudowany edytor kodu i tutor AI dostępny 24/7) i odblokować resztę kursu Coding Interview Prep, przejdź na CoddyKit PRO. Kurs Coding Interview Prep zawiera 4 lekcji w sumie.

Co nauczysz się w „Wyjaśnienie właściwości ACID”?

Atomowość, spójność, izolacja i trwałość na konkretnych przykładach. Ćwiczysz Coding Interview Prep z praktycznym kodem, który uruchamiasz bezpośrednio w przeglądarce, a tutor AI dostępny 24/7 odpowiada na Twoje pytania podczas pracy nad lekcją.

Czy potrzebuję doświadczenia, aby zacząć Coding Interview Prep?

Nie wymagamy żadnego doświadczenia. Coding Interview Prep w CoddyKit jest strukturyzowany dla początkujących i zaawansowanych użytkowników, więc możesz zacząć tutaj lub od początku i uczyć się w swoim tempie. To lekcja 1 z 4.

Ile czasu zajmuje lekcja „Wyjaśnienie właściwości ACID”?

Większość lekcji CoddyKit trwa około 5–10 minut. Każda lekcja to mały, interaktywny krok, dzięki czemu robisz systematyczne postępy i zawsze wracasz dokładnie do tego samego miejsca — na webie i w aplikacji.

Czy mogę pisać i uruchamiać kod w tej lekcji Coding Interview Prep?

Tak. Każda lekcja Coding Interview Prep zawiera wbudowany edytor kodu, więc piszesz i uruchamiasz prawdziwy kod bezpośrednio w przeglądarce i od razu otrzymujesz sprzężenie zwrotne od AI — bez konfiguracji na komputerze.

Wszystkie lekcje w tym kursie

  1. Wyjaśnienie właściwości ACID
  2. Cztery poziomy izolacji
  3. Odczyty brudne, niepowtarzalne i fantomowe
  4. Zakleszczenia, blokady i MVCC
← Powrót do Coding Interview Prep