I'm writing an SMT program, and I'm trying to workaround an interesting problem.
I need all my functions to exit together, however some of the threads get stuck at barriers, even when i don't want them to.
My question is: what happens when i delete a barrier? Do threads stuck at the barrier release? Is there a way to signal a release to a certain barrier, even if the number of threads at the barrier hasn't been achieved?
Thanks