HOLDLOCK XLOCK ROWLOCK 有时不工作

Question

我有以下场景：银行环境中，我不希望特定客户完成从他的账户中提款，除非之前的提款没有提交。

为了实现这一点，我创建了下表

CREATE TABLE [dbo].[Locks](
        [CustomerID] [int] NOT NULL,
    CONSTRAINT [PK_Locks] PRIMARY KEY CLUSTERED 
    (
        [CustomerID] ASC
    )

现在，每当提款开始时，我都会使用以下代码将客户插入此帮助表（如果他不存在），然后在交易期间锁定该行，以便不会发生其他提款在提交第一个事务之前

BEGIN TRAN
IF NOT EXISTS (SELECT * FROM Locks WHERE CustomerID=@customerId) --if customerid does not exist, insert the row
BEGIN
    INSERT INTO Locks (CustomerID) 
    VALUES (@customerId)
END
SELECT CustomerID FROM Locks WITH (HOLDLOCK XLOCK ROWLOCK) WHERE CustomerID=@customerId --lock on row
--(check if customer has enough balance, then perform withdraw from customer account)
COMMIT

上面的代码似乎可以正常工作，每天有数千次提款，但我确实每周一次左右，我确实遇到了一个锁不起作用并且发现客户余额为负的情况，因为两次提款操作发生在同一时间。

任何想法在什么情况下 HOLDLOCK XLOCK ROWLOCK 可能无法锁定事务？

Answer 1

IF NOT EXISTS (SELECT * FROM Locks WHERE CustomerID=@customerId) --if customerid does not exist, insert the row
BEGIN
    INSERT INTO Locks (CustomerID) 
    VALUES (@customerId)
END
SELECT CustomerID FROM Locks WITH (HOLDLOCK XLOCK ROWLOCK) WHERE CustomerID=@customerId --lock on row
--(check if customer has enough balance, then perform withdraw from customer account)

这是一个竞态条件农场。

• 两个事务都可以运行 SELECT，得出没有锁的结论，然后都继续插入锁。有了 PK 约束，就会失败。这是最幸福的情况。
• 一个事务可以来，运行 SELECT，断定有一行并继续第二个 SELECT。同时该行可以被删除。 SELECT WITH（锁定提示）将找不到任何行，但仍会继续得出它锁定某些东西的结论（它没有，没有要锁定的行）。这是一个更糟糕的情况，它可能导致（请滚！）负余额。

这些是在 10 秒的代码检查中出现的。我敢肯定还有更多（我什至没有考虑回滚......）。使用行作为锁是一种反模式。 Use applocks instead.