Como resolver o problema de acesso concorrente ao produto durante uma venda? Como usar Redis para resolver esse problema sem bloqueio ao nível do banco de dados?