sync: add len and is_empty methods to mpsc senders
#7103
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Darksonn
reviewed
Jan 21, 2025
Comment on lines
+1098
to
+1100
| pub fn len(&self) -> usize { | ||
| self.chan.semaphore().bound - self.chan.semaphore().semaphore.available_permits() | ||
| } |
There was a problem hiding this comment.
Unfortunately, this seems incorrect to me. This will include permits in the count, but to match the receiver length method, permits should not be counted.
There was a problem hiding this comment.
Hmm true, I've updated the test locally and it does seem to be affected by reserved permits. I am not well versed in the internals of tokio, but it seems like the length may not be able to be derived from the bounded sender as is due to this reserved permits issue? I'd like to be wrong, but if not then perhaps it would require an atomic counter added to keep track of reserved permits vs messages?
There was a problem hiding this comment.
I believe I commented on this issue previously: #6314 (comment)
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Motivation
Closes #7077
Tldr; adds
lenandis_emptymethods to both bounded and unbounded Senders.Solution
@conradludgate mentioned in the issue in a comment that the unbounded len can be derived from the seamphore's available permits / 2. However it seems like I didn't need to divide the semaphore available permits based on tests.
The implementation of
lenfor boundedSenderdid not use the semaphore's available permits directly, and instead used the semaphore'sbound - available_permits.I've added tests for these new methods which are passing.
Related PR #7092