-
Notifications
You must be signed in to change notification settings - Fork 139
Some more functionality to do things in parallel in Oscar #4780
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
Some more functionality to do things in parallel in Oscar #4780
Conversation
a25f5b3
to
f041220
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I just read through your PR and I am definitely interested in this functionality. I left you a few comments on the documentation -- which simply reflect what came to my mind, when reading the PR out of curiosity.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
you might actually want to (exceptionally) point the interested programmer to this file for a minimal working example.
It seems that the following snippet we copied to lines to 220 to 236 is not supported in julia 1.6
Which appears to handle putting the workers back to the pool better, and is supported in 1.10 since the tests pass for 1.10. and it seems that the code in Distributed/src/workerpool.jl for julia 1.6 (below), doesn't work for 1.11
So it seems we would need to drop support for 1.6 to merge this PR, thoughts @fingolfin @benlorenz ? |
Can't you make a branch depending on |
it wont compile in julia 1.6
It wont compile so branching wont work
I can try and see if i can replace threadpool with something would work in both? |
Try putting two different methods at the toplevel using
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good and seems to work fine, thanks!
Ping @antonydellavecchia