-
-
Notifications
You must be signed in to change notification settings - Fork 45
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Race-condition when using Metatheory from multiple threads #224
Comments
What branch are you on? Are you on latest MT If you instead are trying to call |
I pulled the latest changes from
Yes, I only need the first case: saturate independent egraph objects on parallel threads. |
I will investigate further. I think it's because each rule has its own custom callstack |
I'm getting errors when calling saturate for an egraph from multiple threads.
I'm careful not to use any shared variables. The race condition seems to occur inside Metatheory (ale/3.0 branch).
Here is the test script
Calling this from a julia instance with 12 threads
julia -t 12
: leads to the following output (example)With a single thread there is no error.
The text was updated successfully, but these errors were encountered: