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

refactor(runqueue-clist): use peek_head as much as possible #434

Merged

Conversation

ROMemories
Copy link
Collaborator

Description

This is a very small refactor of the runqueue's CList which re-uses internal functions as much as possible while preserving performance.
It's an attempt to simplify its implementation to ease future refactors possibly required for formally verifying it.

Testing

I obtained the exact same results for the bench_sched_yield benchmark before and after this PR.

Issues/PRs references

Open Questions

Change checklist

  • I have cleaned up my commit history and squashed fixup commits.
  • I have followed the Coding Conventions.
  • I have performed a self-review of my own code.
  • I have made corresponding changes to the documentation.

src/riot-rs-runqueue/src/runqueue.rs Show resolved Hide resolved
src/riot-rs-runqueue/src/runqueue.rs Outdated Show resolved Hide resolved
src/riot-rs-runqueue/src/runqueue.rs Outdated Show resolved Hide resolved
@ROMemories ROMemories added this pull request to the merge queue Sep 20, 2024
Merged via the queue into future-proof-iot:main with commit e563838 Sep 20, 2024
26 checks passed
@ROMemories ROMemories deleted the refactor/peek-head-in-runqueue branch September 20, 2024 07:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants