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

ringbuffer: add "has_data" helper function #18

Merged
merged 2 commits into from
Oct 26, 2022

Conversation

chrisguikema
Copy link
Contributor

The ringbuffers are opaque, so the only way to check if a buffer has data is to add this simple helper function.

@chrisguikema chrisguikema force-pushed the ringbuffer_helpers branch 2 times, most recently from 7084511 to 96170d3 Compare October 26, 2022 00:18
Copy link
Member

@axel-h axel-h left a comment

Choose a reason for hiding this comment

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

Looks ok to me. The ring buffer implementation seems a bit fragile, but that should not block this PR.

@chrisguikema
Copy link
Contributor Author

@lsf37 can this be merged?

@lsf37
Copy link
Member

lsf37 commented Oct 26, 2022

I think so, but I'm not really across the ringbuffer implementation. @kent-mcleod ?

Signed-off-by: Chris Guikema <[email protected]>
The ringbuffers are opaque, so the only way to check if a buffer has
data is to add this simple helper function.

Signed-off-by: Chris Guikema <[email protected]>
@kent-mcleod
Copy link
Member

Looks ok to me. The ring buffer implementation seems a bit fragile, but that should not block this PR.

Yea, it looks a bit too domain specific to justify having it as its own library...

@kent-mcleod kent-mcleod merged commit daa7e44 into seL4:master Oct 26, 2022
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.

4 participants