-
Notifications
You must be signed in to change notification settings - Fork 82
Fix saved_sp's invariance when switching context #283
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
base: main
Are you sure you want to change the base?
Conversation
|
build_prs |
|
Job is started, see https://github.com/vivoblueos/kernel/actions/runs/20924993401. |
|
build_prs |
2 similar comments
|
build_prs |
|
build_prs |
|
✅ All jobs completed successfully, see https://github.com/vivoblueos/kernel/actions/runs/20924993401. |
|
Job is started, see https://github.com/vivoblueos/kernel/actions/runs/20925342903. |
|
Job is started, see https://github.com/vivoblueos/kernel/actions/runs/20925380244. |
|
Job is started, see https://github.com/vivoblueos/kernel/actions/runs/20925382276. |
|
❌ Job failed. Failed jobs: build_and_check_boards (failure), see https://github.com/vivoblueos/kernel/actions/runs/20925342903. |
|
❌ Job failed. Failed jobs: build_and_check_boards (failure), see https://github.com/vivoblueos/kernel/actions/runs/20925380244. |
|
build_prs |
|
Job is started, see https://github.com/vivoblueos/kernel/actions/runs/20925780941. |
|
✅ All jobs completed successfully, see https://github.com/vivoblueos/kernel/actions/runs/20925382276. |
|
✅ All jobs completed successfully, see https://github.com/vivoblueos/kernel/actions/runs/20925780941. |
|
build_prs |
|
Job is started, see https://github.com/vivoblueos/kernel/actions/runs/20927508503. |
|
✅ All jobs completed successfully, see https://github.com/vivoblueos/kernel/actions/runs/20927508503. |
|
build_prs |
|
Job is started, see https://github.com/vivoblueos/kernel/actions/runs/20955123277. |
|
✅ All jobs completed successfully, see https://github.com/vivoblueos/kernel/actions/runs/20955123277. |
|
build_prs |
|
build_prs |
|
Job is started, see https://github.com/vivoblueos/kernel/actions/runs/20971709528. |
|
Job is started, see https://github.com/vivoblueos/kernel/actions/runs/20971707610. |
|
❌ Job failed. Failed jobs: build_and_check_boards (failure), see https://github.com/vivoblueos/kernel/actions/runs/20971709528. |
|
✅ All jobs completed successfully, see https://github.com/vivoblueos/kernel/actions/runs/20971707610. |
|
build_prs |
1 similar comment
|
build_prs |
|
Job is started, see https://github.com/vivoblueos/kernel/actions/runs/20972183972. |
|
Job is started, see https://github.com/vivoblueos/kernel/actions/runs/20972185578. |
|
✅ All jobs completed successfully, see https://github.com/vivoblueos/kernel/actions/runs/20972183972. |
|
✅ All jobs completed successfully, see https://github.com/vivoblueos/kernel/actions/runs/20972185578. |
|
build_prs |
|
Job is started, see https://github.com/vivoblueos/kernel/actions/runs/20980716151. |
|
❌ Job failed. Failed jobs: build_and_check_boards (failure), see https://github.com/vivoblueos/kernel/actions/runs/20980716151. |
|
build_prs |
|
Job is started, see https://github.com/vivoblueos/kernel/actions/runs/20980924472. |
|
✅ All jobs completed successfully, see https://github.com/vivoblueos/kernel/actions/runs/20980924472. |
When the saved_sp is not null, we should be able to observe its new state and the new state !=
RUNNING.When a thread is
RUNNING, the saved_sp should be null.