7 Dec
2024
7 Dec
'24
2:23 p.m.
Vlada Krsmanovic <vladakrsmanovic(a)gmail.com> writes:
Hello,
Is it safe to use Spot with parallelism and python multiprocessing/
multhreading?
Hi Vlada,
Unfortunately no. The BuDDy library, that Spot uses for all BDD
operations, is not thread-safe. So any algorithm of Spot that touches a
BDD isn't thread-safe (just copying a BDD is enough to increment a
reference counter in BuDDy). And since Spot uses BDD to represent the
labels of automata... most algorithms aren't thread safe.
Alexandre