-
Notifications
You must be signed in to change notification settings - Fork 272
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
Too casually nested regions / scopes hang #377
Comments
I think this could be the issue at play in differential-datalog/#931 |
Can you say more about the issue there? I could believe that adding more regions could gum things up for whatever reason is at play here. But, if you have something specific that you were seeing (exactly the same behavior, or .. ?). |
Pretty much the exact same behavior, I'm not really entirely sure what caused it though, my best guesses are me eliminating some scary transmutes to do with scoping or (as a stretch) something to do with the new optimizations I added that allowed not doing trivial operations between enter/leave cycles? |
I think I've found the problem. A scope with no operators .. has nothing that will activate it. A message passing in to and out of it traverses no operators, and causes no activation to happen. This leaves the progress information of the message successfully transiting the scope in limbo, never communicated upwards. Shouldn't be too hard to fix. |
The following program hangs after printing twice, even on a single worker
It does not hang if a trivial operator is inserted between the inner
enter
andleave
operators.The text was updated successfully, but these errors were encountered: