之所以WATCH
未直接公开,是因为SE.Redis设计为在单个连接上多路复用来自不同调用堆栈的命令。这使得必须 非常 严格地管理任何事务工作。
我不清楚的东西相当的宗旨,以“不变”是 由本身 ,无以伦比一些已知值- 否则,你只是建立一个竞争状态。绝对有可能添加对此的支持,但我真的很想先了解预期的用例。你可以解释吗?
重新编辑;您的首选示例(最后一个) 对于redis 来说根本不可能- 与SE.Redis无关;如果在GET
内部进行MULTI
运算,直到EXEC
完成时才能得到答案-因此您不可能使用中的值SET
: 该值尚不可用 。
如果不是用于多路复用,则可以对第二个示例重新排序(基于SE.Redis的功能):
WATCH key
val = GET key
MULTI
val = val + 1
SET key $val
EXEC
这是 通常的 用法WATCH
:您先 观察 要查询的内容,然后知道{key}
在此循环中没有更改(或者至少事务将中止;没有不一致的状态)。但是,WATCH
多路复用器不能很好地发挥作用 ,这就是SE.Redis迫使您沿着 事务处理之前 获取值的路径进行操作的原因,然后允许您比较该值以断言该值是不变的。结果相同;略有不同的方法,但是它是多路复用器安全的。有关该主题的更多信息,请参见此处。