在Clojure stm的竞争条件？

Question

您好我正在阅读本书的快乐,并且在关于STM的部分中,他们有2个交易的图像,其中A最初从参考中检索与B相同的值,然后事务A和B都进行计算但是A完成首先,提交变量,因此B必须重试.

但我正在思考的是,B是否会重复A的提交.如果是这样的话那么如果相反呢？那么最终的价值将明显不同.

这似乎很容易被忽视,我相信我完全不理解它.请帮我解开这个.

Answer 1

我们来看看例子:

(defn test-trans []
  (let [x (ref 1)
        t-inc #(dosync (alter x inc))
        t-mul #(dosync (alter x (partial * 2)))
        fns (flatten (repeat 10 [t-mul t-inc]))]
    (last (pmap (fn [f] (f)) fns))
    @x))

这里我们有2个事务函数 - 增加x1并乘以x2.我们并行应用20个这样的函数(每种函数10个)并观察最终值ref.实际上每次运行的结果都不同:

=> (test-trans)
2418
=> (test-trans)
2380
=> (test-trans)
1804
=> (test-trans)
4210

实际上这是正确的行为.STM保证代码将在没有锁的情况下执行,并且以原子方式应用更改(它们不能仅部分应用).但是,它并不能保证我们对不同的交易顺序会有相同的结果.

Clojure提供了很好的并行编程工具,可以简化正确的代码编写.但是避免这种竞争条件是开发人员的责任(实际上,这种情况是系统设计不良的明显迹象).

SQL的另一个例子:

DELETE FROM tbl WHERE col=1
UPDATE tbl SET col=2 WHERE col=1

如果这些查询是并行执行的,那么无论什么隔离级别将用于事务 - 结果将取决于顺序.