update number set x=x-1 where x > 0

/**
 * 獲取庫(kù)存回調(diào)
 * @author yuhao.wang
 */
public interface IStockCallback {

 /**
  * 獲取庫(kù)存
  * @return
  */
 int getStock();
}

/**
 * 扣庫(kù)存
 *
 * @author yuhao.wang
 */
@Service
public class StockService {
    Logger logger = LoggerFactory.getLogger(StockService.class);

    /**
     * 不限庫(kù)存
     */
    public static final long UNINITIALIZED_STOCK = -3L;

    /**
     * Redis 客戶端
     */
    @Autowired
    private RedisTemplate<String, Object> redisTemplate;

    /**
     * 執(zhí)行扣庫(kù)存的腳本
     */
    public static final String STOCK_LUA;

    static {
        /**
         *
         * @desc 扣減庫(kù)存Lua腳本
         * 庫(kù)存（stock）-1：表示不限庫(kù)存
         * 庫(kù)存（stock）0：表示沒有庫(kù)存
         * 庫(kù)存（stock）大于0：表示剩余庫(kù)存
         *
         * @params 庫(kù)存key
         * @return
         *   -3:庫(kù)存未初始化
         *   -2:庫(kù)存不足
         *   -1:不限庫(kù)存
         *   大于等于0:剩余庫(kù)存（扣減之后剩余的庫(kù)存）
         *      redis緩存的庫(kù)存(value)是-1表示不限庫(kù)存，直接返回1
         */
        StringBuilder sb = new StringBuilder();
        sb.append("if (redis.call('exists', KEYS[1]) == 1) then");
        sb.append("    local stock = tonumber(redis.call('get', KEYS[1]));");
        sb.append("    local num = tonumber(ARGV[1]);");
        sb.append("    if (stock == -1) then");
        sb.append("        return -1;");
        sb.append("    end;");
        sb.append("    if (stock >= num) then");
        sb.append("        return redis.call('incrby', KEYS[1], 0 - num);");
        sb.append("    end;");
        sb.append("    return -2;");
        sb.append("end;");
        sb.append("return -3;");
        STOCK_LUA = sb.toString();
    }

    /**
     * @param key           庫(kù)存key
     * @param expire        庫(kù)存有效時(shí)間,單位秒
     * @param num           扣減數(shù)量
     * @param stockCallback 初始化庫(kù)存回調(diào)函數(shù)
     * @return -2:庫(kù)存不足; -1:不限庫(kù)存; 大于等于0:扣減庫(kù)存之后的剩余庫(kù)存
     */
    public long stock(String key, long expire, int num, IStockCallback stockCallback) {
        long stock = stock(key, num);
        // 初始化庫(kù)存
        if (stock == UNINITIALIZED_STOCK) {
            RedisLock redisLock = new RedisLock(redisTemplate, key);
            try {
                // 獲取鎖
                if (redisLock.tryLock()) {
                    // 雙重驗(yàn)證，避免并發(fā)時(shí)重復(fù)回源到數(shù)據(jù)庫(kù)
                    stock = stock(key, num);
                    if (stock == UNINITIALIZED_STOCK) {
                        // 獲取初始化庫(kù)存
                        final int initStock = stockCallback.getStock();
                        // 將庫(kù)存設(shè)置到redis
                        redisTemplate.opsForValue().set(key, initStock, expire, TimeUnit.SECONDS);
                        // 調(diào)一次扣庫(kù)存的操作
                        stock = stock(key, num);
                    }
                }
            } catch (Exception e) {
                logger.error(e.getMessage(), e);
            } finally {
                redisLock.unlock();
            }

        }
        return stock;
    }

    /**
     * 加庫(kù)存(還原庫(kù)存)
     *
     * @param key    庫(kù)存key
     * @param num    庫(kù)存數(shù)量
     * @return
     */
    public long addStock(String key, int num) {

        return addStock(key, null, num);
    }

    /**
     * 加庫(kù)存
     *
     * @param key    庫(kù)存key
     * @param expire 過期時(shí)間（秒）
     * @param num    庫(kù)存數(shù)量
     * @return
     */
    public long addStock(String key, Long expire, int num) {
        boolean hasKey = redisTemplate.hasKey(key);
        // 判斷key是否存在，存在就直接更新
        if (hasKey) {
            return redisTemplate.opsForValue().increment(key, num);
        }

        Assert.notNull(expire,"初始化庫(kù)存失敗，庫(kù)存過期時(shí)間不能為null");
        RedisLock redisLock = new RedisLock(redisTemplate, key);
        try {
            if (redisLock.tryLock()) {
                // 獲取到鎖后再次判斷一下是否有key
                hasKey = redisTemplate.hasKey(key);
                if (!hasKey) {
                    // 初始化庫(kù)存
                    redisTemplate.opsForValue().set(key, num, expire, TimeUnit.SECONDS);
                }
            }
        } catch (Exception e) {
            logger.error(e.getMessage(), e);
        } finally {
            redisLock.unlock();
        }

        return num;
    }

    /**
     * 獲取庫(kù)存
     *
     * @param key 庫(kù)存key
     * @return -1:不限庫(kù)存; 大于等于0:剩余庫(kù)存
     */
    public int getStock(String key) {
        Integer stock = (Integer) redisTemplate.opsForValue().get(key);
        return stock == null ? -1 : stock;
    }

    /**
     * 扣庫(kù)存
     *
     * @param key 庫(kù)存key
     * @param num 扣減庫(kù)存數(shù)量
     * @return 扣減之后剩余的庫(kù)存【-3:庫(kù)存未初始化; -2:庫(kù)存不足; -1:不限庫(kù)存; 大于等于0:扣減庫(kù)存之后的剩余庫(kù)存】
     */
    private Long stock(String key, int num) {
        // 腳本里的KEYS參數(shù)
        List<String> keys = new ArrayList<>();
        keys.add(key);
        // 腳本里的ARGV參數(shù)
        List<String> args = new ArrayList<>();
        args.add(Integer.toString(num));

        long result = redisTemplate.execute(new RedisCallback<Long>() {
            @Override
            public Long doInRedis(RedisConnection connection) throws DataAccessException {
                Object nativeConnection = connection.getNativeConnection();
                // 集群模式和單機(jī)模式雖然執(zhí)行腳本的方法一樣，但是沒有共同的接口，所以只能分開執(zhí)行
                // 集群模式
                if (nativeConnection instanceof JedisCluster) {
                    return (Long) ((JedisCluster) nativeConnection).eval(STOCK_LUA, keys, args);
                }

                // 單機(jī)模式
                else if (nativeConnection instanceof Jedis) {
                    return (Long) ((Jedis) nativeConnection).eval(STOCK_LUA, keys, args);
                }
                return UNINITIALIZED_STOCK;
            }
        });
        return result;
    }
}

/**
 * @author yuhao.wang
 */
@RestController
public class StockController {

    @Autowired
    private StockService stockService;

    @RequestMapping(value = "stock", produces = MediaType.APPLICATION_JSON_UTF8_VALUE)
    public Object stock() {
        // 商品ID
        long commodityId = 1;
        // 庫(kù)存ID
        String redisKey = "redis_key:stock:" + commodityId;
        long stock = stockService.stock(redisKey, 60 * 60, 2, () -> initStock(commodityId));
        return stock >= 0;
    }

    /**
     * 獲取初始的庫(kù)存
     *
     * @return
     */
    private int initStock(long commodityId) {
        // TODO 這里做一些初始化庫(kù)存的操作
        return 1000;
    }

    @RequestMapping(value = "getStock", produces = MediaType.APPLICATION_JSON_UTF8_VALUE)
    public Object getStock() {
        // 商品ID
        long commodityId = 1;
        // 庫(kù)存ID
        String redisKey = "redis_key:stock:" + commodityId;

        return stockService.getStock(redisKey);
    }

    @RequestMapping(value = "addStock", produces = MediaType.APPLICATION_JSON_UTF8_VALUE)
    public Object addStock() {
        // 商品ID
        long commodityId = 2;
        // 庫(kù)存ID
        String redisKey = "redis_key:stock:" + commodityId;

        return stockService.addStock(redisKey, 2);
    }
}