diff options
| author | Adin Scannell <ascannell@google.com> | 2018-06-06 23:25:26 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-06-06 23:26:14 -0700 |
| commit | d26984515900a2f88da047ee8a28ba1ca152aa58 (patch) | |
| tree | 3ba669b9d0a3cb397e1c04a888e7a45602b9370e /pkg/sentry/socket/rpcinet/socket.go | |
| parent | 3374849cb553fab16e69d39cf6e49f843d94790b (diff) | |
Ensure guest-mode for page table modifications.
Because of the KVM shadow page table implementation, modifications made
to guest page tables from host mode may not be syncronized correctly,
resulting in undefined behavior. This is a KVM bug: page table pages
should also be tracked for host modifications and resynced appropriately
(e.g. the guest could "DMA" into a page table page in theory).
However, since we can't rely on this being fixed everywhere, workaround
the issue by forcing page table modifications to be in guest mode. This
will generally be the case anyways, but now if an exit occurs during
modifications, we will re-enter and perform the modifications again.
PiperOrigin-RevId: 199587895
Change-Id: I83c20b4cf2a9f9fa56f59f34939601dd34538fb0
Diffstat (limited to 'pkg/sentry/socket/rpcinet/socket.go')
0 files changed, 0 insertions, 0 deletions