数据库中的原子比较和交换

Question

我正在研究工作排队解决方案.我想查询数据库中的给定行,其中状态列具有特定值,修改该值并返回行,我想以原子方式执行,以便其他任何查询都不会看到它:

begin transaction
select * from table where pk = x and status = y
update table set status = z where pk = x
commit transaction
--(the row would be returned)

2个或更多并发查询必须不能返回该行(一个查询执行会看到该行,而其状态= y) - 有点像互锁的CompareAndExchange操作.

我知道上面的代码运行(对于SQL服务器),但交换总是原子的吗？

我需要一个适用于SQL Server和Oracle的解决方案

Answer 1

PK是主键吗？那么这是一个非问题,如果你已经知道主键没有运动.如果pk 是主键,那么这就引出了一个显而易见的问题:你怎么知道要出列的项目的pk ...

问题是如果您不知道主键并且想要将下一个'可用'(即状态= y)出列并将其标记为已出列(删除它或设置status = z).

正确的方法是使用单个语句.不幸的是,Oracle和SQL Server之间的语法不同.SQL Server语法是:

update top (1) [<table>]
set status = z 
output DELETED.*
where  status = y;

我对Oracle的RETURNING子句不太熟悉,给出了一个类似于SQL的OUTPUT的例子.

其他SQL Server解决方案要求SELECT(使用UPDLOCK)上的锁提示是正确的.在Oracle中,preffered avenue使用FOR UPDATE,但这在SQL Server中不起作用,因为FOR UPDATE将与SQL中的游标一起使用.

在任何情况下,您在原始帖子中的行为都是不正确的.多个会话都可以选择相同的行,甚至全部更新它,将相同的出列项返回给多个读者.

Answer 2

作为一般规则，要进行像这样的原子操作，您需要确保在执行选择时设置独占（或更新）锁，以便其他事务无法在更新之前读取该行。

典型的语法类似于：

 select * from table where pk = x and status = y for update

但你需要查一下才能确定。