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

[pdpix] Fixed Size demi_pop #547

Merged
merged 6 commits into from
Mar 21, 2023
Merged

[pdpix] Fixed Size demi_pop #547

merged 6 commits into from
Mar 21, 2023

Conversation

ppenna
Copy link
Contributor

@ppenna ppenna commented Mar 14, 2023

Description

This PR closes #499

Summary of Changes

  • Introduced a size parameter in demi_pop()
  • Fixed tests accordingly

@ppenna ppenna added the enhancement Enhancement Request on an Existing Feature label Mar 14, 2023
@ppenna ppenna self-assigned this Mar 14, 2023
@ppenna ppenna marked this pull request as draft March 14, 2023 19:27
@ppenna ppenna force-pushed the enhancement-pdpix-pop branch 3 times, most recently from e2f6bdc to 8ce9f46 Compare March 15, 2023 17:12
@ppenna ppenna requested a review from iyzhang March 16, 2023 14:11
@ppenna ppenna marked this pull request as ready for review March 16, 2023 14:11
@@ -373,10 +373,20 @@ impl CatcollarLibOS {
}

/// Pops data from a socket.
pub fn pop(&mut self, qd: QDesc) -> Result<QToken, Fail> {
trace!("pop() qd={:?}", qd);
pub fn pop(&mut self, qd: QDesc, size: Option<usize>) -> Result<QToken, Fail> {
Copy link
Contributor

Choose a reason for hiding this comment

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

We should probably also check that the size is not above some max threshold

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Sure. This requires major work, thus I created a issue to keep track of this: #559

@ppenna ppenna merged commit 24dd9f3 into dev Mar 21, 2023
@ppenna ppenna deleted the enhancement-pdpix-pop branch March 21, 2023 12:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Enhancement Request on an Existing Feature
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[pdpix] Fixed Size demi_pop
2 participants