You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When using a deterministic setup, calling proxy_registry::erase can end up calling proxy_registry::erase again, because kill_proxy then runs inline. I'm not 100% sure whether this can also happen with a regular scheduler, but we should fix the deadlock in any case.
The text was updated successfully, but these errors were encountered:
When using a deterministic setup, calling
proxy_registry::erase
can end up callingproxy_registry::erase
again, becausekill_proxy
then runs inline. I'm not 100% sure whether this can also happen with a regular scheduler, but we should fix the deadlock in any case.The text was updated successfully, but these errors were encountered: