Início / dba / Perguntas / 96972
Accepted
user606521
Asked: 2015-04-04 03:59:14 +0800 CST

comprando item por cliente - como garantir que o usuário tenha fundos suficientes?

  • 772

Eu tenho que tabelas:

users (id serial, coins integer not null default 0)
purchases (id serial, price integer not null, user_id)

Quando uma nova linha é inserida na purchasestabela, quero subtrair amountda user.coinscoluna e garantir que user.coins >= 0(para que o usuário tenha fundos suficientes para fazer uma compra).

Eu quero fazer isso no AFTER INSERTgatilho:

UPDATE users SET coins = coins - NEW.price WHERE id = NEW.user_id;
RETURN NULL;

Minha pergunta é como garantir que o usuário não gaste mais moedas do que possui? Minha primeira ideia é apenas fazer CHECKrestrições na userstabela como esta CHECK (coins >= 0)- isso funcionará com várias inserções simultâneas na userstabela?

postgresql postgresql-9.3

1 respostas

  1. Best Answer

    Você tem que ter muito cuidado em casos como esses. O nível de isolamento de transação padrão que o PostgreSQL usa é READ COMMITTED, e nesse modo você pode facilmente obter casos desagradáveis ​​em que duas transações estão realizando verificações como esta:

    -- You will get READ COMMITTED by default.
BEGIN;

-- Make sure user has enough coins.
-- DANGER Nasty race condition in READ COMMITTED!
SELECT coins FROM users WHERE id = 123;

-- Just to make the race condition visible...
SELECT pg_sleep(10);

-- We think we have enough coins, go ahead and perform the UPDATE
UPDATE users SET coins = ... WHERE id = 123;

-- And since we think we've deducted the coins, record the purchase
INSERT INTO purchases ... ;

COMMIT;

    Se quiser ver a condição de corrida em ação, execute o mesmo SQL em duas sessões do psql ao mesmo tempo. Você verá que ambas as sessões pensarão que o usuário tem moedas suficientes para comprar um item e ambas registrarão uma compra. (Observe que exatamente o mesmo problema existiria com uma restrição CHECK na userstabela com READ COMMITTEDtransações.)

    Como corrigir essa condição de corrida? Leia sobre os níveis de isolamento de transações , você provavelmente deseja usar SERIALIZABLEpara códigos de contabilidade importantes, como verificar saldos de contas e registrar compras. Outra opção é usar SELECT ... FOR UPDATE para obter um bloqueio em nível de linha, digamos, na userstabela enquanto você verifica o saldo da conta, o que garantirá que duas transações não possam estar executando a mesma verificação delicada no mesmo tempo.

    • 1

relate perguntas