-
Notifications
You must be signed in to change notification settings - Fork 10.6k
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
Fix race in poll() based pollset #5609
Conversation
It was possible for entries in watchers[] to be deleted by another thread before we called begin_poll. I'd like to do something nicer than this eventually... but that'll be easier once we've got the polling loop cleaned up (which is currently WIP)
Is there an issue matching up to this? |
I tested the changes locally and I am not seeing the issue anymore. Thanks @ctiller ! |
Nice. LGTM on the code. |
Sanity failing? |
Sanity looks green here. |
Let's merge? Then we will have cleaner data about flakes available from
|
I think so On Sat, Mar 5, 2016, 7:31 AM Jan Tattermusch notifications@github.com
|
Sanity failure was addressed in a different PR On Sat, Mar 5, 2016, 7:31 AM Craig Tiller ctiller@google.com wrote:
|
Fix race in poll() based pollset
It was possible for entries in watchers[] to be deleted by another thread before we called begin_poll.
I'd like to do something nicer than this eventually... but that'll be easier once we've got the polling loop cleaned up (which is currently WIP)
CC @vjpai