-
Notifications
You must be signed in to change notification settings - Fork 20
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
Updates to address issues 62, 63 (chapter 8) #67
Conversation
Signed-off-by: Ravi Sahita <[email protected]>
cc @ozkoyuncu |
with `sbi_covh_run_tvm_vcpu()` will fail. Any guest page faults taken by other | ||
TVM vCPUs in the | ||
invalidated pages continue to be reported to the host. | ||
completed. Attempts to run it with `sbi_covh_run_tvm_vcpu()` will fail. |
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 don't see any change in this paragraph did I miss something. not sure how it addressed the comment
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.
the main change to address the issue was from lines 410-417 - the above was just text wrapping issues I fixed in the same PR.
vCPU after the first part, and lazily handle the fault for the second part. | ||
Also the reclamation is of the confidential pages, and the shared memory pages | ||
provided by the host may be unique from those pages so that host has the option | ||
to service the request on the TVM synchronously or asynchronously. |
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.
@ozkoyuncu this section has the main text added.
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.
ack. thx
No description provided.