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

Race condition between close/read leads to deadlock #37

Closed
bherw opened this issue Jan 24, 2024 · 1 comment
Closed

Race condition between close/read leads to deadlock #37

bherw opened this issue Jan 24, 2024 · 1 comment

Comments

@bherw
Copy link

bherw commented Jan 24, 2024

Because the close method does not lock and the read method does not check the closed value after locking, it's possible for a deadlock to occur under the following series of events:

Thread 1 (reader): read last element from the channel
Thread 1: call operator>>
Thread 1: check closed(), which is false
Thread 1: lock mutex
Thread 1: check the predicate in wait()
Thread 2 (writer): call close()
Thread 2: set closed=true
Thread 2: call cnd_.notify_all()
Thread 1: calls wait() without predicate (in the implementation of the wait with predicate method)

At this point, Thread 1 waits forever because the notify_all occurred before the actual call to wait().

@bherw
Copy link
Author

bherw commented Jan 24, 2024

I don't have a good minimal test case for this, but it shows up often enough in our integration tests--maybe one in 500-600 usages of the channel.

andreiavrammsd added a commit that referenced this issue Jan 25, 2024
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