关于“数据库悲观锁，查询加锁超卖”的问题

[NJ-BugMaker]

我在调用"api/v1/with-pcc-read"的时候，发现确实是超卖(准确的说，应该是少卖)的，这让我有点疑惑：事务中查询加排他锁理应不会出现超卖。当我读完源码并打印sql后，发现gorm的加锁方式 Set(gorm:query_option, for update) 并没有生效！所以我准备修改代码采用执行原生sql的方式再尝试，结果就是正确的了（没有超卖或少买的问题）。具体原因还没看，先反馈一下

func WithPccReadSecKillGoods(gid, userID int) error {
	tx := model.DB.Begin()
	skGood := model.PromotionSecKill{}
	tx.Debug().Raw("SELECT * FROM `promotion_sec_kill` WHERE goods_id= ？ ORDER BY `promotion_sec_kill`.`ps_id` LIMIT 1 FOR UPDATE", gid).First(&skGood)
	count := skGood.PsCount
	if count > 0 {
		// 1. 扣库存
		tx.Debug().Exec("UPDATE `promotion_sec_kill` SET `ps_count`= ? WHERE goods_id= ?", count-1, gid)
		// 2. 创建订单
	}
	tx.Commit()
	return nil
}

[VanQC]

结果并没有正确，实际promotion数据表中kill的数量和success数据表成功的数量是不一致的。 而且你的疑问“查询加排他锁理应不会出现超卖”，这个本身就不太对，加读锁，其他人也可以读，假设并发10个人都读到库存是90，那么他们更新数据库的时候都是更新成89。所以就会出现【实际promotion数据表中kill的数量】<【success数据表成功的数量】