Ось урок, згенерований спеціально за твоїм запитом, у стилі CS50.

🎓 CS50: Транзакції та Атомарність (Atomic Operations)

Лектор: Твій AI-інструктор (у дусі David Malan) Тема: Як не загубити гроші у цифровій безодні?

1. 🔥 Вступ: Де зникають гроші?

Уявіть собі ситуацію. Ви стоїте біля банкомату. Ви хочете переказати 1000 гривень своєму найкращому другові на день народження.

Ви натискаєте "Надіслати". Система списує 1000 грн з вашого рахунку... І тут — БАЦ! 💥 Вимикається світло. Сервер падає. Інтернет зникає.

Питання до вас: 1. Гроші з вашого рахунку вже пішли? (Так, операція списання пройшла). 2. Чи отримав їх друг? (Ні, операція зарахування не встигла відбутися). 3. Де тепер ці 1000 гривень?

Вони розчинилися в цифровому ефірі. Ви розлючені, друг без подарунка, банк має "дірку" в балансі. Це — катастрофа.

У світі програмування ми не можемо сподіватися на удачу. Нам потрібен механізм, який гарантує: або все відбувається ідеально, або не відбувається взагалі нічого.

Сьогодні ми розберемо суперсилу, яка тримає купи весь світовий бізнес — Транзакції.

2. 🧠 Теоретична база: Все або нічого

Давайте заглянемо "під капот".

Що таке транзакція?

Уявіть, що ви збираєте складний набір LEGO. Транзакція — це коли ви кажете: "Поки я не добудую цей зореліт повністю, ніхто не має бачити його частин. А якщо мені не вистачить хоча б однієї деталі — я розберу все назад до останнього кубика, ніби я й не починав".

У комп'ютерних науках Транзакція — це послідовність операцій, яка сприймається системою як єдине ціле.

Головне слово: Атомарність (Atomicity)

Згадайте уроки фізики. Атом (у класичному розумінні) — неподільний. Атомарна операція — це операція, яку не можна розірвати посередині.

Вона має лише два стани: 1. ✅ Committed (Зафіксовано): Всі кроки успішні. 2. ↩️ Rolled Back (Відкочено): Сталася помилка, повертаємо все, як було до початку.

Запам’ятайте це: У транзакцій немає стану "трішки зроблено". Вагітність не буває частковою. Транзакція — теж.

Як це працює "під капот"? (Проста аналогія)

У баз даних є щось на кшталт чернетки (журнал транзакцій). Коли ви кажете BEGIN TRANSACTION: 1. База даних відкриває чистий аркуш. 2. Ви пишете туди всі зміни (зняти гроші, додати гроші). 3. Інші користувачі поки що не бачать цих записів. Вони бачать стару версію. 4. Якщо ви кажете COMMIT — база даних миттєво "підшиває" цей аркуш до головної книги. 5. Якщо кажете ROLLBACK (або стається збій) — чернетка просто викидається у смітник. Ваші дані в безпеці.

3. 🧪 Приклади: Від простого до реального

Приклад №1: Банківський переказ (Класика)

Давайте подивимось на псевдокод SQL.

Без транзакції (Небезпечно! 💀):

UPDATE accounts SET balance = balance - 100 WHERE user = 'Alice';
-- <-- О тут вимкнули світло! Alice втратила гроші.
UPDATE accounts SET balance = balance + 100 WHERE user = 'Bob';

З транзакцією (Безпечно 🛡️):

Питання до вас: Що станеться, якщо світло вимкнеться на тому ж самому місці в коді нижче?

BEGIN; -- Починаємо запис у "чернетку"

  UPDATE accounts SET balance = balance - 100 WHERE user = 'Alice';
  -- <-- Світло вимкнулось тут!

  UPDATE accounts SET balance = balance + 100 WHERE user = 'Bob';

COMMIT; -- Зберегти зміни назавжди

Відповідь: Нічого страшного не станеться! Оскільки команда COMMIT не надійшла, база даних автоматично зробить ROLLBACK при перезапуску. Гроші повернуться до Alice. Магія! ✨

Приклад №2: Купівля останнього квитка в кіно

Уявіть реальний проєкт. Сайт кінотеатру. Залишився один квиток на "Месників". Два користувачі, Андрій і Оля, натискають "Купити" одночасно (з різницею в мілісекунду).

Сценарій без атомарності (Race Condition): 1. Сервер для Андрія перевіряє: "Місця є?" -> ТАК (1 місце). 2. Сервер для Олі перевіряє: "Місця є?" -> ТАК (1 місце). Ой-йой... 3. Андрій купує. (Місць: 0). 4. Оля купує. (Місць: -1).

Ви продали одне крісло двом людям. У кінотеатрі буде бійка. 🥊

Рішення з транзакцією: Транзакція може "заблокувати" рядок у базі даних. 1. Транзакція Андрія починається: "Я беру це місце, нікому не чіпати!". 2. Транзакція Олі пробує перевірити місце, але система каже: "Чекай, Андрій ще не вирішив". 3. Андрій купує. COMMIT. 4. Транзакція Олі нарешті отримує доступ, перевіряє наявність... Місць: 0. "Вибачте, квитки розпродані".

Ми врятували кінотеатр від скандалу!

4. 🛠 Практична частина

Час закачати рукави. Уявіть, що ви бекенд-розробник.

Завдання 1: Логіка обміну У грі є два гравці. Гравець А міняє свій Меч на Щит гравця Б. Напишіть (словами або псевдокодом) 4 кроки, які мають бути всередині BEGIN ... COMMIT, щоб ніхто не залишився і без меча, і без щита.

Завдання 2: "Поломка" Ви пишете скрипт для інтернет-магазину. 1. Зменшити кількість товару на складі. 2. Створити запис про замовлення. 3. Зняти гроші з картки клієнта (через зовнішній сервіс банку).

Ситуація: Пункти 1 і 2 пройшли успішно (в базі даних), а на пункті 3 банк повернув помилку "Недостатньо коштів". Ваша дія: Яку команду ви маєте надіслати базі даних? Що буде з товаром на складі?

Завдання 3: Міні-кейс Ви робите систему реєстрації. Коли користувач реєструється, ми: 1. Вставляємо його в таблицю Users. 2. Збільшуємо лічильник TotalUsers у таблиці Stats. 3. Надсилаємо йому Email "Привіт!".

Поміркуйте: чи варто включати надсилання Email (пункт 3) всередину транзакції бази даних? (Підказка: А якщо відправка пошти зависне на 30 секунд? Що буде з вашою базою?)

Завдання 4: А що, якщо... Що буде, якщо ви зробите BEGIN, виконаєте купу команд, підете на обід і забудете зробити COMMIT? Як це вплине на інших користувачів системи?

5. 💡 Мислення як у розробника

Як відрізнити новачка від профі в роботі з транзакціями?

1. Новачок тримає транзакцію відкритою занадто довго. Це як зайняти кабінку для перевдягання в магазині і піти говорити по телефону. Черга (інші користувачі) стоїть і чекає, поки ви звільните ресурси. Правило профі: Транзакції мають бути максимально короткими. Зробив справу — COMMIT.

2. Новачок пхає в транзакцію зовнішні запити. Ніколи не робіть HTTP-запити, надсилання пошти або читання великих файлів всередині транзакції БД. Якщо мережа лагає, ви "повісите" всю базу даних.

3. Профі думає про "брудні дані". Досвідчений розробник завжди питає: "А що побачить інший користувач, поки моя транзакція ще не завершена?".

6. 🧩 Підсумок

Отже, друзі!

Ми сьогодні розібрали, як не втратити гроші, дані та нерви. * Транзакція — це капсула безпеки. * Атомарність — принцип "все або нічого". * BEGIN, COMMIT, ROLLBACK — ваші заклинання.

Тепер ви вмієте: ✅ Проєктувати надійні фінансові операції. ✅ Уникати ситуацій, коли дані "зависають" у невідомості. ✅ Розуміти, чому сайти іноді просять "зачекати обробки замовлення".

🔍 У наступній серії: Ми навчилися безпечно записувати дані. Але що, як їх стане мільйон? Як знайти потрібний запис за мілісекунду, а не за годину? Наступного разу ми поговоримо про Індекси (Indexing) — як працює швидкий пошук у бібліотеці даних.

А поки що — це був CS50. [Кивок головою] 😉