19、Clojure并发编程：Refs与STM的深入探索

Clojure并发编程：Refs与STM的深入探索

在并发编程中，确保数据的一致性和避免竞态条件是至关重要的。Clojure提供了软件事务内存（STM）和引用（Refs）来帮助我们处理并发问题。下面将深入探讨这些特性，并通过示例代码展示如何在实际应用中使用它们。

1. 并发场景中的物品抢夺示例

假设存在角色Smaug死亡后，Bilbo和Gandalf抢夺其物品的场景。以下是相关代码：

; 假设Smaug死亡，Bilbo和Gandalf抢夺其物品
(wait-futures 1
              (while (loot smaug bilbo))
              (while (loot smaug gandalf)))
;= nil

@smaug
;= {:name "Smaug", :items #{}, :health 500}
@bilbo
;= {:name "Bilbo", :items #{0 44 36 13 ... 16}, :health 500}
@gandalf
;= {:name "Gandalf", :items #{32 4 26 ... 15}, :health 500}

这里的 loot 函数实现了物品抢夺的逻辑。通过检查抢夺结果，可以验证物品分配的一致性：

; 验证物品分配的一致性
(map (comp count :items deref) [bilbo gandalf])  
;= (21 29)
(fi