diff options
| author | Adin Scannell <ascannell@google.com> | 2018-06-01 13:50:17 -0700 |
|---|---|---|
| committer | Shentubot <shentubot@google.com> | 2018-06-01 13:51:16 -0700 |
| commit | 659b10d1a6a236765be8b6e6dc0d72eaa55253ee (patch) | |
| tree | 73f3134e6c617563cc508cb95217b86982ef7665 /pkg/sentry/kernel/task_exit.go | |
| parent | d1ca50d49e52338feb1d46b69725b9ac21cc3ccc (diff) | |
Move page tables lock into the address space.
This is necessary to prevent races with invalidation. It is currently
possible that page tables are garbage collected while paging caches
refer to them. We must ensure that pages are held until caches can be
invalidated. This is not achieved by this goal alone, but moving locking
to outside the page tables themselves is a requisite.
PiperOrigin-RevId: 198920784
Change-Id: I66fffecd49cb14aa2e676a84a68cabfc0c8b3e9a
Diffstat (limited to 'pkg/sentry/kernel/task_exit.go')
0 files changed, 0 insertions, 0 deletions