-
Notifications
You must be signed in to change notification settings - Fork 129
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fully dynamic updates of run["cores"] and run["workers"].
We have everywhere replaced task["active"] = False by set_inactive(task_id, run) which does the required bookkeeping under the task_lock. The intention is that the task_lock will only be held for a very short time. So in request_task we only grab it at the moment when we actually add a task to the run (currently it is held during the whole invocation of request_task). If it works then this PR can serve as a model for other types of bookkeeping like the number of committed games.
- Loading branch information
Showing
2 changed files
with
86 additions
and
69 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters