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

Use Notify to coordinate waiters #186

Merged
merged 12 commits into from
Jan 29, 2024
Merged

Use Notify to coordinate waiters #186

merged 12 commits into from
Jan 29, 2024

Conversation

djc
Copy link
Owner

@djc djc commented Jan 26, 2024

Fixes #154; replaces #164. @levkk sorry for taking so long to get back to this. Would you like to review this?

This was referenced Jan 26, 2024
Copy link

codecov bot commented Jan 26, 2024

Codecov Report

Attention: 7 lines in your changes are missing coverage. Please review.

Comparison is base (6feafb9) 71.97% compared to head (7f37914) 72.47%.

Files Patch % Lines
bb8/src/api.rs 0.00% 5 Missing ⚠️
bb8/src/inner.rs 94.87% 2 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main     #186      +/-   ##
==========================================
+ Coverage   71.97%   72.47%   +0.49%     
==========================================
  Files           6        6              
  Lines         596      534      -62     
==========================================
- Hits          429      387      -42     
+ Misses        167      147      -20     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@djc djc force-pushed the notify branch 2 times, most recently from f1988d9 to d23b7e3 Compare January 26, 2024 13:08
Copy link
Owner Author

@djc djc left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Going to merge this proactively, but would be happy to address any feedback!

@djc djc merged commit 6ca2efc into main Jan 29, 2024
9 of 10 checks passed
@delete-merged-branch delete-merged-branch bot deleted the notify branch January 29, 2024 08:39
nicolasvan added a commit to OneSignal/pgcat that referenced this pull request Mar 12, 2024
nicolasvan added a commit to OneSignal/pgcat that referenced this pull request Mar 18, 2024
To get djc/bb8#186 and djc/bb8#189
which fix potential deadlocks (djc/bb8#154)
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

Successfully merging this pull request may close these issues.

Reentrant deadlock
2 participants