Блокування та ВИБРАТИ ДЛЯ ОНОВЛЕННЯ

Зрозуміти, як ізольовано працює база даних на одному терміналі, дуже просто... чекайте, я вже це сказав! Іноді «Атомарних оновлень» (наприклад, stock = stock - 1) недостатньо.

Уявімо, що вам потрібно перевірити, чи достатньо на балансі користувача, щоб купити речі на суму 50 євро:

1. SELECT balance FROM users WHERE id = 1;
2. JS: Якщо баланс < 50, заблокуйте їх!
3. В іншому випадку продовжте оформлення замовлення...
4. Запустіть дедукцію! (І тут ви знаходите користувача, який, перевіряючи чек на кроці 2, запустив інший паралельний, який спалив його обліковий запис, і тепер ви падаєте нижче нуля!).

ДЛЯ ОНОВЛЕННЯ Явне блокування

Додавання FOR UPDATE в кінці SELECT чарівним чином перетворює ваше невинне читання на запечатане блокування для інших клієнтів до наступного COMMIT. Ніхто інший не зможе виконати ОНОВЛЕННЯ (або одночасне читання для оновлення) для цих конкретних вибраних рядків, доки ви не вирішите, що з ними робити!

BEGIN;

-- If id=3 had already been locked by T1, T2 will sit in perpetual loading on this "read"
-- frozen in place, before receiving the raw data, until T1 runs COMMIT freeing everyone!
SELECT balance
FROM users
WHERE id = 3
FOR UPDATE;

-- at this point our Node JS instance lives with the guarantee, knowing for certain that NO ONE ELSE in the world has
-- manipulated (nor been able to read with intent to alter) that balance while we complete the application logic

UPDATE users SET balance = balance - 50 WHERE id = 3;

COMMIT;

Існує навіть FOR SHARE, який дозволяє іншим читачам продовжувати читання (якщо на базовому блокуванні), не блокуючи зчитування стану, але блокуючи будь-які можливі наступні оновлення, доки ви не зафіксуєте. Однак для змін завжди використовуйте грубу силу пункту ексклюзивного блокування:

Спробуйте самі