Clojure STM(dosync)x Java同步块

Clojure STM(dosync)方法和Java同步Block有什么区别?

我正在阅读“睡觉的理发师”问题下面的代码。 ( http://www.bestinclass.dk/index.clj/2009/09/scala-vs-clojure-round-2-concurrency.html )

(defn the-shop [a] (print "[k] entering shop" a) (dosync (if (< (count @queue) seats) (alter queue conj a) (print "[s] turning away customer" a)))) 

为了避免竞争条件,使用dosync ,所以我问自己“Java同步块有什么区别(STM)”? 它会阻止这个关键代码吗?

提前致谢 ! 丹塔斯

dosyncsynchronized允许访问完全不同的并发抽象。

synchronized是获取和释放锁的一种方式。 当线程进入synchronized块时,它会尝试获取适当的锁; 如果锁当前由另一个线程持有,则当前线程会阻塞并等待它被释放。 这会导致某些问题,例如死锁的风险。 线程离开synchronized块时释放锁定。

dosync标记要在事务中运行的代码块。 Clojure中的事务是一种协调对Refs(使用ref函数创建的对象)的更改的方法; 如果你需要一些代码来在Clojure中获得一些可变状态的一致视图 – 并且可能更改它们 – 你将它们放在Refs中并在事务中执行你的代码。

事务具有有趣的属性,如果由于某种原因它无法提交,它将重新启动,直到某个最大重试次数(当前硬编码为10000)。 交易无法提交的可能原因之一是无法获得一致的世界观(实际上,相关的参考资料 – 有一个“自适应历史”设施,这使得这个问题不像它在乍一看); 其他交易同时发生的变化; 等等

事务不会出现死锁的风险(除非程序员不通过Java互操作引入与STM系统无关的死锁); 另一方面,活锁是一种可能性,尽管它不是很可能。 一般来说,很多 – 虽然不是全部! – 与数据库事务相关联的直觉程序员在STM系统的上下文中是有效的,包括Clojure的系统。

STM是一个很大的话题; 学习Clojure STM的一个很好的资源是Mark Volkmann的软件事务内存文章。 它在最后部分讨论Clojure的STM时深入探讨,但开始时可以作为很好的介绍性阅读。

至于你引用的片段,它实际上并不是你通常想要在生产代码中模拟的东西,因为dosync块几乎总是没有副作用; 这里的print对于演示STM的内部工作非常有用,但是如果你想让一个事务在实际代码中产生副作用,你应该让它为此目的产生一个Clojure代理(只有当它执行时才会执行它的任务)事务成功提交)。

除了Michał的优秀答案之外,对于STM交易, 读取总是在交易开始时为您提供冻结价值,无需等待任何正在进行的交易完成。

为了给那些寻求的人提供一个完整的图片,Clojure确实有一个synchronized模拟。 当必须使用Java非线程安全类型进行互操作时,它非常有用。

 (locking x & body) 

基本差异如下

Clojure STM支持乐观并发,而JAVA synchronized则是悲观主义者

在有多个线程之前,Clojure STM不会获取锁定。 如果另一个线程更新了可变状态,则重复dosync内的操作。 此外, dosync对于可变状态是强制性的。 与JAVA不同,当丢失dosync时,Clojure会抛出illegalStateexception。