Make global pool resource thread-local (#487)

SleipnirGroup · Apr 5, 2024 · 1ed64b4 · 1ed64b4
1 parent ad884ed
commit 1ed64b4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/util/Pool.cpp b/src/util/Pool.cpp
@@ -5,7 +5,7 @@
 namespace sleipnir {
 
 PoolResource& GlobalPoolResource() {
-  static PoolResource pool{16384};
+  thread_local PoolResource pool{16384};
   return pool;
 }