使用Booksleve和Redis进行检查和设置(CAS)操作

Question

Booksleve是否支持CAS操作（即Redis WATCH命令）？例如，如何实现以下内容？

WATCH mykey
val = GET mykey
val = val + 1
MULTI
SET mykey $val
EXEC

当多个线程试图用相同的数据修改相同的对象时，我需要这样做来避免竞争条件。

Answer 1

在nuget目前，我不这么认为。原因是Booksleve通常打算用作多路复用器，这使得“手表”无法使用。我可以补充一句，在操作期间，您必须将使用限制为单个调用方（每个Booksleve连接）。

这一点现在已经改变；如果我们希望手动实现incr（根据您的示例），我们可以使用：

// note this could be null if the old key didn't exist
var oldVal = await connection.Strings.GetInt64(db, key);

var newVal = (oldVal ?? 0) + 1;
using (var tran = connection.CreateTransaction())
{
    // check hasn't changed (this handles the WATCH, a checked GET,
    // and an UNWATCH if necessary); note tat conditions are not sent
    // until the Execute is called
    tran.AddCondition(Condition.KeyEquals(db, key, oldVal));

    // apply changes to perform assuming the conditions succeed
    tran.Strings.Set(db, key, newVal); // the SET

    // note that Execute includes the MULTI/EXEC, assuming the conditions pass
    if (!await tran.Execute()) return null; // aborted; either a pre-condition
                                         // failed, or a WATCH-key was changed
    return newVal; // successfully incremented
}

显然，您可能希望在重复的（在正常范围内）循环中html" target="_blank">执行它，这样，如果它由于watch而被中止，您可以从头开始重做。

这与您的示例略有不同，实际上是这样的（假设初始Get和第二个Get之间的值没有更改）：

val = GET mykey
newval = (val ?? 0) + 1
WATCH mykey
chk = GET mykey // and verifies chk == val as part of the Execute
MULTI
SET mykey $newval
EXEC

注意，如果watch和exec之间的值发生了更改，则exec仍然可以报告取消；或者（如果在两个get之间更改）：

val = GET mykey
newval = (val ?? 0) + 1
WATCH mykey
chk = GET mykey // and verifies chk == val as part of the Execute
UNWATCH

区别是多了一个get，但这是它能够与多路复用器一起工作的唯一方式--也就是说，使execute得到优化，以可靠地快速，从而不会影响其他调用方。