-
Notifications
You must be signed in to change notification settings - Fork 522
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
Firmware SMP boot bug #354
Comments
Can you send a patch to fix this? |
We have mailing list based patch review so it would be great if you can send these patchs to OpenSBI mailing list. You need to join OpenSBI mailing list using following link Make sure you use "git send-email" to send the patches. Regards, |
Patch here: https://lists.infradead.org/pipermail/opensbi/2024-September/007375.html Regards, |
The patch fixes the firmware SMP boot bug. Was this patch applied to the |
Fixes: 8151105 ("firmware: fw_base.S: Remove _relocate_lottery") |
The cold-boot-hart lottery in
fw_base.S
has recently been modified by using the _boot_status variable instead of the _relocate_lottery variable. This introduces a data race since the _boot_status variable is also written by the cold-boot hart to indicate the current boot stage without waiting for the other cores to have completed the lottery. If a non-boot hart enters the lottery when the boot-hart has already completed relocation _boot_status is overwritten and the non-boot hart is stuck forever in _wait_for_boot_hart.The change has been introduced in this commit.
The text was updated successfully, but these errors were encountered: