功能等效于并发多重映射

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]也就是说,添加/删除/修改键,值实际上返回一个新地图,而不更改原始地图.