我理解的是，redis+lua库存预扣是缓存层面的扣减，然后mysql乐观锁是数据库层面的扣减，二者要实现数据一致性