Clojure 并发编程.pdfVIP

Clojure 并发编程 在Clojure编程中，⼤多数数据类型是不可变的，因此当涉及并发编程时，使⽤这些数 据类型的代码在多个 理器上运⾏时是相当安全的。 但是许多次，需要共享数据，并 且当涉及多个 理器的共享数据时，有必要确保在使⽤多个 理器时保持数据的状态 的完整性。 这被称为并发编程，Clojure提供对这种编程的⽀持。 通过dosync ，ref ，set ，alter等暴露的软件事务存储器系统 （STM ）⽀持以同步和协调 的⽅式共享线程之间的变化状态。 代理系统⽀持以异步和独⽴的⽅式共享线程之间的 变化状态。 原⼦系统⽀持以同步和独⽴的⽅式共享线程之间的变化状态。 ⽽通过 def ，绑定等暴露的动态var系统⽀持隔离线程内的变化状态。 其他编程语⾔也遵循并⾏编程模型。 它们直接引⽤可以更改的数据。 如果需要共享访问，则对象被锁定，值被更改，并且进程继续下⼀次访问该 值。 在Clojure 中没有锁，但是对不可变持久数据结构的间接引⽤。 Clojure 中有三种类型的引⽤。 Vars -更改在线程中隔离。 Refs -更改在线程之间进⾏同步和协调。 Agents -涉及线程之间的异步独⽴变化。 在Clojure 中有关并发编程的以下操作是可能的。 事务 Clojure 中的并发是基于事务。 引⽤只能在事务中更改。 在事务中应⽤以下规则。 所有的变化都是atomic和孤⽴的。 对引⽤的每个更改都发⽣在事务中。 没有事务看到另⼀个事务所造成的影响。 所有事务都放在dosync块中。 我们已经看到了dosync块做了什么，让我们再看看。 dosync 在包含表达式和任何嵌套调⽤的事务中运⾏表达式 （在隐式do 中）。 如果此线程上没 有运⾏，则启动事务。 任何未捕获的异常将中⽌事务并流出dosync 。 以下是 dosync 的基本语法。 语法 (dosync expression) 参数 - 'expression'是将在dosync块中出现的⼀组表达式。 返回值 -⽆。 让我们看⼀个例⼦，其中我们试图改变⼀个引⽤变量的值。 例 (ns clojure.examples.example (:gen-class)) (defn Example [] (def names (ref [])) (alter names conj "Mark")) (Example) 输出 上述程序运⾏时出现以下错误。 aused by : java.lang.IllegalStateException: No transaction running at clojure.lang.LockingTransaction.getEx(LockingTransaction.jav at clojure.lang.Ref.alter(Ref.java:173) at clojure.core$alter.doInvoke(core.clj:1866) at clojure.lang.RestFn.invoke(RestFn.java:443) at clojure.examples.example$Example.invoke(main.clj:5) at clojure.examples.example$eval8.invoke(main.clj:7) at clojure.lang. ompiler.eval( ompiler.java:5424) ... 12 more 从错误中，您可以清楚地看到，您不能在不⾸先启动事务的情况下更改引⽤类型的 值。 为了使上⾯的代码⼯作，我们必须把alter命令放置在dosync块中，如下⾯的程序所 做。 例 (ns clojure.examples.example (:gen-class)) (defn Example [] (def names (ref [])) (defn change [newname] (dosync (alter names conj newname))) (change "John") (change "Mark") (println @names)) (Example) 上述程序产⽣以下输出。 输出 [John M