Bloqueo y SELECT FOR UPDATE

Entender cómo funciona una base de datos de forma aislada en un único terminal es sencillo… ¡no, espera, ya lo dije! A veces, las "Actualizaciones atómicas" (por ejemplo, stock = stock - 1) no son suficientes.

Imaginemos que necesitas comprobar si el usuario tiene saldo suficiente para comprar 50 € en cosas:

1. SELECT balance FROM users WHERE id = 1;
2. JS: Si el saldo es < 50, ¡bloquealo!
3. De lo contrario, continúe con el pago...
4. ¡Haz la deducción! (¡Y aquí te encuentras con un usuario que, mientras validaba el cheque en el punto 2, lanzó otro paralelo que quemó su cuenta y ahora cae por debajo de cero!).

PARA ACTUALIZAR Bloqueo explícito

Agregar FOR UPDATE al final de un SELECT transforma mágicamente su lectura inocente en un bloqueo para otros clientes hasta el próximo COMMIT. ¡Nadie más podrá ACTUALIZAR (o leer para obtener actualizaciones simultáneas) en esas líneas seleccionadas específicas hasta que usted decida qué hacer con ellas!

BEGIN;

-- Se id=3 era già stato bloccato da T1, T2 rimarrà in perenne caricamento su questa "lettura"
-- fermo immobile, prima di ricevere il dato grezzo, finchè T1 non esegue il COMMIT liberando tutti!
SELECT balance
FROM users
WHERE id = 3
FOR UPDATE;

-- a questo punto la nostra istanza JS Node vive garantita sapendo per certo che NESSUN ALTRO al mondo ha
-- manipolato (nè potuto leggere a scopo di alterare) quel saldo mentre completiamo la logica applicativa

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

COMMIT;

Incluso existe el FOR SHARE que deja la posibilidad a otros lectores de continuar leyendo (si está en bloqueo base) sin impedir la lectura del estado pero bloqueando cualquier posible actualización posterior hasta que usted se comprometa. Sin embargo, para modificaciones, utilice siempre la fuerza bruta de la cláusula de bloqueo exclusivo:

Pruébalo tú mismo