Question

在another question中，我询问了Java的并发多图。

是否有一些函数式编程（不可变）模式可以在Scala或Clojure程序中使用？我认为Scala解决方案可能涉及演员和clojure atom，ref或agent，但可能有更好的方法。由于两种语言都允许“回退”到Java互操作并只使用Java解决方案，我可以使用我在第一个问题中得到的任何答案，但这不符合函数式编程范例。 Haskell程序员如何解决这个问题？

Answer 1

标准Clojure映射和集合是不可变的（和持久的）[1]，因此它们在并发程序中也能正常工作。您可能希望将它们存储在ref / agent / var / atom中，具体取决于您的要求，您可以像以前一样更新ref / agent / var / atom。

如果值实际为refs，则可以有一个更可变的映射，如下所示：

{:a (ref #{1 2 3})
 :b (ref #{4 5 6})}

在这种情况下，您将能够实际向现有密钥添加值（当然在事务中）。添加和删除键仍将返回新的地图，这些地图将与原始地图共享相同的参考，因此其他地图的更改将对其他地方可见：

user=> (def mmap {:a (ref #{1 2 3}) :b (ref #{4 5 6})})
#'user/mmap
user=> mmap
{:a #<Ref@be0446: #{1 2 3}>, :b #<Ref@10aa282: #{4 5 6}>}
user=> (def mmap2 (assoc mmap :c (ref #{7 8 9})))
#'user/mmap2
user=> mmap2
{:c #<Ref@405f6: #{7 8 9}>, :a #<Ref@be0446: #{1 2 3}>, :b #<Ref@10aa282: #{4 5 6}>}
user=> mmap
{:a #<Ref@be0446: #{1 2 3}>, :b #<Ref@10aa282: #{4 5 6}>}
user=> (dosync (alter (:a mmap2) conj 0))
#{0 1 2 3}
user=> mmap
{:a #<Ref@be0446: #{0 1 2 3}>, :b #<Ref@10aa282: #{4 5 6}>}
user=> mmap2
{:c #<Ref@405f6: #{7 8 9}>, :a #<Ref@be0446: #{0 1 2 3}>, :b #<Ref@10aa282: #{4 5 6}>}

[1]也就是说，添加/删除/修改键，值实际上会返回一个新地图，而不会更改原始地图。

Answer 2

功能数据结构是不可变的数据结构。不可变数据结构没有并发问题，因为它们无法修改。

Answer 3

Akka库中的Scala有一个实现

https://github.com/akka/akka/blob/v2.3.0/akka-actor/src/main/scala/akka/util/Index.scala

功能等效于并发多重映射

3 个答案: