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 I call HetsInstance.choose!
And the instance of Hets is not reachable (a timeout occurs)
And there are other processes that call HetsInstance.choose!
Then the other instances must wait for the timeout to expire as well.
This is because choose! requests the version of Hets in a mutex-block.
Change the choosing mechanics in a way that the timeout does not make other processes wait.
The text was updated successfully, but these errors were encountered:
When I call
HetsInstance.choose!
And the instance of Hets is not reachable (a timeout occurs)
And there are other processes that call
HetsInstance.choose!
Then the other instances must wait for the timeout to expire as well.
This is because
choose!
requests the version of Hets in a mutex-block.Change the choosing mechanics in a way that the timeout does not make other processes wait.
The text was updated successfully, but these errors were encountered: