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

fix(core/vmm): fixe use of fences on VMM install #114

Merged
merged 1 commit into from
May 22, 2024

Conversation

josecm
Copy link
Member

@josecm josecm commented Dec 10, 2023

First a fence was required to enforce the dependency on install_info_ready being set calling vmm_vm_install as there is no real data dependency.

Second, we move the write fence which ensures the write to the page table is visible to within the install function. It is it responsibility to ensure it returns with its effects visible.

First a fence was required to enforce the dependency on
`install_info_ready` being set calling vmm_vm_install as there is no
real data dependency.

Second, we move the write fence which ensures the write to the page
table is visible to within the install function. It is it responsibility
to ensure it returns with its effects visible.

Signed-off-by: Jose Martins <[email protected]>
@josecm josecm force-pushed the fix/fences_vm_install branch from 2da121f to 599f251 Compare December 10, 2023 17:13
@josecm josecm mentioned this pull request Dec 10, 2023
@DavidMCerdeira DavidMCerdeira self-assigned this May 22, 2024
@DavidMCerdeira DavidMCerdeira requested a review from danielRep May 22, 2024 09:39
@DavidMCerdeira DavidMCerdeira merged commit 1cda032 into main May 22, 2024
@josecm josecm deleted the fix/fences_vm_install branch May 23, 2024 14:42
@josecm josecm mentioned this pull request May 23, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants