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.

Sign up for GitHub

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

Jump to bottom

Implement proper termination detection during shutdown #1082

Closed
hkaiser opened this issue Mar 22, 2014 · 1 comment
Closed

Implement proper termination detection during shutdown #1082

hkaiser opened this issue Mar 22, 2014 · 1 comment
Assignees
@hkaiser
Labels
category: core difficulty: medium type: enhancement
Milestone
0.9.9

Comments

@hkaiser
Copy link
Member

hkaiser commented Mar 22, 2014

Termination detection has been described by Dijkstra here: http://www.cs.mcgill.ca/~lli22/575/termination1.pdf. We should use this algorithm to make our shutdown procedure more robust.
@hkaiser hkaiser added this to the 0.9.9 milestone Mar 22, 2014
@hkaiser hkaiser self-assigned this Mar 22, 2014
hkaiser added a commit that referenced this issue Mar 22, 2014
@hkaiser
Started to work on #1082: Implement proper termination detection duri…
f89f7be 
…ng shutdown
hkaiser added a commit that referenced this issue Mar 22, 2014
@hkaiser
More work on #1082
5e44a3a
@hkaiser
Copy link
Member Author

hkaiser commented Mar 22, 2014

This has been implemented, I also removed the shutdown barrier, let's see if we need to re-introduce it.

@hkaiser hkaiser closed this as completed Mar 22, 2014
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@hkaiser hkaiser

Labels
category: core difficulty: medium type: enhancement
Projects
None yet
Milestone
0.9.9
Development

No branches or pull requests
1 participant
@hkaiser