-
Notifications
You must be signed in to change notification settings - Fork 3.8k
[FIX] Fix threadpool reset by killing threads before destroying their shared queue #8658
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
Conversation
|
Thanks for the fix! Just curious, why wasn't this causing a segfault on linux? |
|
No clue. Maybe the thread kill implementation on linux worked faster than the one on macOS? |
|
LGTM, thanks @tkonolige ! |
junrushao
left a comment
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.
Thanks Tristan!
|
I will note that I introduced this bug, so don't give me too much thanks :) |
|
I would separate the thanks from past events as we work together to make the code base better together. |
tmoreau89
left a comment
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.
LGTM
|
The problem is still there https://ci.tlcpack.ai/blue/organizations/jenkins/tvm/detail/PR-8658/1/pipeline/41 |
bc564d1 to
feebf26
Compare
|
Thanks! So is it ready to merge? @tkonolige @masahi |
|
I've seen a number of recent CI jobs killed at |
@electriclilies @mbs-octoml @junrushao1994