Skip to content
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

Allow pausing a nursery #72

Open
lordmauve opened this issue Jan 9, 2022 · 0 comments
Open

Allow pausing a nursery #72

lordmauve opened this issue Jan 9, 2022 · 0 comments

Comments

@lordmauve
Copy link
Owner

There are situations when it would be helpful to pause an entire nursery.

This would be more powerful than pausing a clock because pausing a clock still allows tasks to resume for input events or concurrency primitives.

For example, a pause screen needs to pause the entire game, including controls like the fire button.

Pausing a nursery would entail pausing all tasks within it, the task inside the nursery context, and any nurseries linked to those tasks, recursively. Paused means that if the task is resumed it will not actually be run until unpaused.

Pausing will need to be scoped so that if two of the containing nurseries for a task are paused the task will not run until both nurseries are unpaused (not either).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant