高并发秒杀下，如何保证PHP+Redis系统库存一致性？

在高并发秒杀场景下，保证PHP+Redis系统的库存一致性是一个复杂的问题。以下是一些关键策略和实现方法，帮助你在高并发环境下确保库存一致性：

1. 使用Redis的原子操作

Redis提供了多种原子操作，如INCR、DECR、SETNX等，这些操作可以确保在高并发环境下不会出现竞态条件。

• 预减库存：在秒杀开始前，将库存数量加载到Redis中。当用户请求秒杀时，使用DECR命令减少库存。如果DECR返回的值大于等于0，说明库存充足，可以继续处理订单；否则，库存不足，秒杀失败。

  $redis = new Redis();
  $redis->connect('127.0.0.1', 6379);
  
  $stockKey = 'seckill:stock:product_id';
  $remainingStock = $redis->decr($stockKey);
  
  if ($remainingStock >= 0) {
     // 库存充足，继续处理订单
  } else {
     // 库存不足，秒杀失败
     $redis->incr($stockKey); // 回滚库存
  }
  

2. 使用Redis事务

Redis支持事务（MULTI/EXEC），可以将多个命令打包成一个原子操作。虽然Redis的事务不是严格意义上的ACID事务，但在大多数情况下可以满足需求。

```php $redis->multi(); $redis->decr($stockKey); $result = $redis->exec();

if ($result[0] >= 0) { // 库存充足，继续处理订单 } else { // 库存不足，秒杀失败 $redis->incr($stockKey); // 回滚库存 } ```

3. 使用Redis的Lua脚本

Lua脚本在Redis中是原子执行的，可以确保多个操作的原子性。你可以将库存检查和减少库存的逻辑封装在一个Lua脚本中。

```php $luaScript = " local stockKey = KEYS[1] local stock = tonumber(redis.call('GET', stockKey)) if stock > 0 then redis.call('DECR', stockKey) return 1 else return 0 end ";

$result = $redis->eval($luaScript, [$stockKey], 1);

if ($result == 1) { // 库存充足，继续处理订单 } else { // 库存不足，秒杀失败 } ```

4. 使用分布式锁

在高并发环境下，分布式锁可以确保同一时间只有一个请求能够操作库存。可以使用Redis的SETNX命令实现分布式锁。

```php $lockKey = 'seckill:lock:product_id'; $lockValue = uniqid(); $lockExpire = 10; // 锁的过期时间

if ($redis->set($lockKey, $lockValue, ['NX', 'EX' => $lockExpire])) { try { // 获取锁成功，处理库存 $remainingStock = $redis->decr($stockKey); if ($remainingStock >= 0) { // 库存充足，继续处理订单 } else { // 库存不足，秒杀失败 $redis->incr($stockKey); // 回滚库存 } } finally { // 释放锁 if ($redis->get($lockKey) == $lockValue) { $redis->del($lockKey); } } } else { // 获取锁失败，秒杀失败 } ```

5. 异步处理订单

在高并发场景下，可以将订单处理逻辑异步化。当用户秒杀成功后，将订单信息放入消息队列（如RabbitMQ、Kafka等），由后台服务异步处理订单。这样可以减少前端请求的响应时间，并降低系统的瞬时压力。

6. 限流和降级

为了防止系统被过多的请求压垮，可以使用限流策略（如令牌桶、漏桶算法）来控制请求的速率。同时，可以设置降级策略，当系统压力过大时，自动拒绝部分请求，保证核心功能的可用性。

7. 数据一致性校验

在秒杀结束后，可以通过定时任务或手动触发的方式，校验Redis中的库存与数据库中的库存是否一致。如果发现不一致，可以通过日志或告警系统进行人工干预。

8. 数据库乐观锁

在最终落单时，可以使用数据库的乐观锁机制来确保库存的一致性。例如，在更新库存时，检查库存数量是否大于0，并且使用UPDATE语句的WHERE条件来确保库存不会被超卖。

sql UPDATE products SET stock = stock - 1 WHERE id = :product_id AND stock > 0;

如果更新成功，说明库存充足；否则，库存不足。

总结

在高并发秒杀场景下，保证PHP+Redis系统的库存一致性需要结合多种策略。通过使用Redis的原子操作、Lua脚本、分布式锁、异步处理等手段，可以有效避免超卖问题。同时，限流、降级和数据一致性校验也是确保系统稳定性的重要手段。