Fix concurrency bug

Author: mhauru

HISTORY.md

@@ -1,3 +1,7 @@
+# 0.9.7
+
+Fix a concurrency bug, where Libtask would sometimes crash with a "Multiple concurrent writes to Dict detected!" error when TapedTasks were being executed concurrently.
+
 # 0.9.6
 
 Add support for Julia v1.12.

Project.toml

@@ -3,7 +3,7 @@ uuid = "6f1fad26-d15e-5dc8-ae53-837a1d7b8c9f"
 license = "MIT"
 desc = "Tape based task copying in Turing"
 repo = "https://github.com/TuringLang/Libtask.jl.git"
-version = "0.9.6"
+version = "0.9.7"
 
 [deps]
 MistyClosures = "dbe65cb8-6be2-42dd-bbc5-4196aaced4f4"

src/copyable_task.jl

@@ -113,7 +113,18 @@ struct CacheKey
     key::Any
 end
 
-const mc_cache = Dict{CacheKey,MistyClosure}()
+struct GlobalMCCache
+    cache::Dict{CacheKey,MistyClosure}
+    lock::ReentrantLock
+
+    GlobalMCCache() = new(Dict{CacheKey,MistyClosure}(), ReentrantLock())
+end
+
+Base.haskey(c::GlobalMCCache, key) = haskey(c.cache, key)
+Base.getindex(c::GlobalMCCache, key) = getindex(c.cache, key)
+Base.setindex!(c::GlobalMCCache, val, key) = @lock c.lock setindex!(c.cache, val, key)
+
+const mc_cache = GlobalMCCache()
 
 """
     TapedTask(taped_globals::Any, f, args...; kwargs...)