在京东的商品库存系统中，当用户下单扣减库存时，可能会出现高并发的情况。请简要说明如何使用 Redis 解决这个高并发扣减库存的问题。

答题要点

推荐的答题框架可采用分层分析法，先阐述整体思路，再分步骤说明具体操作。关键要点如下：1. 利用 Redis 的原子性操作，比如使用 Lua 脚本保证扣减操作的原子性，避免并发问题。2. 将库存信息存储在 Redis 中，因为 Redis 读写速度快，能应对高并发场景。3. 在扣减前先判断库存是否充足，若充足则进行扣减，不充足则返回相应提示。示例思路：首先，将商品库存存储在 Redis 的一个键值对中。当有用户下单时，使用 Lua 脚本检查库存是否足够，若足够则原子性地扣减库存，若不足则返回库存不足的提示。这样可以利用 Redis 的高性能和原子性，有效解决高并发扣减库存的问题。