-
Notifications
You must be signed in to change notification settings - Fork 2k
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
core: move scheduler defines #15481
core: move scheduler defines #15481
Conversation
Looks like |
hah, but kernel_types.h is included by 53 files. Merge this one and I open another PR for the removal of kernel_types.h? |
sure, but you might as well drop |
well, IMO one thing at a time makes things easier to handle... do you mind? I pushed a commit adding an include of inttypes.h to sched.h. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Sure, just thought this would be a trivial removal either way.
But if CI is happy, this should be good.
0316474
to
83ad55b
Compare
some commits are already split out to separate PRs
00377db
to
4cd9138
Compare
I fixed the remaining warts, some files needed to replace a "kernel_types.h" with "sched.h", some were missing "limits.h" now. |
Just squash that single fixup so Murdock doesn't have to run twice |
sched.h now defines PRIkernel_pid to PRIi16, which in turn is defined in inttypes.h.
4cd9138
to
d6b6c0e
Compare
ndn.h | 2 +- | ||
2 files changed, 2 insertions(+), 2 deletions(-) | ||
|
||
diff --git a/face-table.h b/face-table.h |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Can you do a PR to https://github.com/named-data-iot/ndn-riot as a follow-up?
It feels a bit silly to carry downstream patches to a project that targets RIOT exclusively.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
We should probably do the same for the other two patches in pkg/ndn-riot/patches
, those also stem from previous API changes in RIOT
/** | ||
* Unique process identifier | ||
*/ | ||
typedef int16_t kernel_pid_t; |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
What meaning do negative pids have?
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think there's a KERNEL_PID_UNDEF that's -1? Anyhow, this is all copied and otherwise unchanged.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
You just moved KERNEL_PID_UNDEF
😉
It's 0 - so that's why I'm wondering what negative PIDs mean.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
simple cleanup, if Murdock is happy this should be good.
uncrustify is not happy :( |
I think this was it:
|
Huh I thought you removed |
Yeah, I'm removing the remaining uses in #15482. |
Contribution description
This PR moves some defines that clearly belong to scheduler/threading into from kernel_types.h to sched.h.
Testing procedure
Only moved code, successful CI run should be sufficient.
Issues/PRs references