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

[patch-axel-52] #166

Open
wants to merge 15 commits into
base: master
Choose a base branch
from
Open

[patch-axel-52] #166

wants to merge 15 commits into from

Conversation

axel-h
Copy link
Owner

@axel-h axel-h commented Jun 28, 2024

No description provided.

Axel Heider and others added 2 commits July 1, 2024 09:11
The return codes are not checked anywhere, so they serve no practical
purpose. Remove them to avoid giving false hopes that any caller will
eventually care or even handle errors.

Signed-off-by: Axel Heider <[email protected]>
axel-h added 13 commits July 1, 2024 09:30
Signed-off-by: Axel Heider <[email protected]>
This is a convenient way to create thread names dynamically.
Also change seL4_DebugNameThread() to use strncpy() instead of
strcpy() to honor the IPC buffer size.

Signed-off-by: Axel Heider <[email protected]>
In C++11 memory order aware access functions were introduced, these
are available in C also. Use them to allow the compiler choosing
proper barriers automatically.

Signed-off-by: Axel Heider <[email protected]>
Use a local mask variable concurrently to detect secondary core start
instead of incrementing ksNumCPUs. This give the compiler full control
over the concurrent accesses, ksNumCPUs is just set at the end when all
cores are up.

Signed-off-by: Axel Heider <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant