PostgreSQL 并发问题：下单之前检查商品数量是否足够，如果足够则购买后数量递减

[TangMonk]

用的默认的 Read Committed 并发控制，会不会出现多余的订单？

比如说现在有 100 个订单，会不会出现 100+个订单？

[ipconfiger]

要用 Serializable 才行

[TangMonk]

@ipconfiger 读取数量和递减数量的时候都用 Serializable 吗？

[tabris17]

update product set inventory=inventory-1 where product_id=123 and inventory>=1

[TangMonk]

@tabris17 默认就是这样的。。

[tabris17]

@TangMonk 你是说先 select 出 inventory ，然后 update 语句里不判断 inventory ？那必须 Serializable 隔离级别或者加锁

[TangMonk]

@tabris17 恩，对，先 select 出数量，然后再 update, 并且没有判断数量>=1 。

[TangMonk]

@tabris17 今天出现了这个问题，系统预先设置了 1000 个库存，然后后台发现 1008 个订单。。但是商品的数量还是为 0 ，并没有为-8 。。

[tabris17]

@TangMonk 如果是 set inventory=inventory-1 不会出现这种情况，除非你是 set inventory=?

[jjx]

版本机制

或用队列

最安全的就是队列+版本机制

[imzshh]

关键词： select for update

[TangMonk]

@tabris17 的确，用的就是 set inventory=?

[TangMonk]

@imzshh 谢谢，我搜下

[TangMonk]

@imzshh FOR UPDATE 不会锁住 SELECT 吗？只会锁 UPDATE , DELETE 和 FOR UPDATE 吗？

[TangMonk]

FOR UPDATE 貌似要比 Serializable 好用点

[TangMonk]

@tabris17 为什么 set inventory=inventory-1 不会出现这种情况呢

[imzshh]

@TangMonk 你自己做些测试吧，因为这个要配合事务一起用的，所以实现的时候要考虑的东西还挺多的，程序异常，死锁之类的。

[TangMonk]

@imzshh 好的，谢谢

[tabris17]

@TangMonk 因为字段自减是原子操作

[TangMonk]

@tabris17 刚才我开了几个线程请求测试了下，貌似不行，库存为 1000 ，库存递减到 0 的时候，才生成了 500 多个订单。。。

我换成 FOR UPDATE , 测试了下没有问题了。

看来要得好好补习下 MVCC 了

[TangMonk]

@TangMonk 读和写的都用 FOR UPDATE 锁住了