diff options
author | Nicolas Lacasse <nlacasse@google.com> | 2018-07-19 14:52:43 -0700 |
---|---|---|
committer | Shentubot <shentubot@google.com> | 2018-07-19 14:53:38 -0700 |
commit | ea371031968095209793ea39007cfdf5a9d66d10 (patch) | |
tree | dda4a3353bf0d0a5197208af5eb4bd1c35d4209a /pkg/sentry/kernel/BUILD | |
parent | df5a5d388e1fc3349ee70c3476fdffb195fbce9c (diff) |
ConfigureMMap on an overlay file delegates to the upper if there is no lower.
In the general case with an overlay, all mmap calls must go through the
overlay, because in the event of a copy-up, the overlay needs to invalidate any
previously-created mappings.
If there if no lower file, however, there will never be a copy-up, so the
overlay can delegate directly to the upper file in that case.
This also allows us to correctly mmap /dev/zero when it is in an overlay. This
file has special semantics which the overlay does not know about. In
particular, it does not implement Mappable(), which (in the general case) the
overlay uses to detect if a file is mappable or not.
PiperOrigin-RevId: 205306743
Change-Id: I92331649aa648340ef6e65411c2b42c12fa69631
Diffstat (limited to 'pkg/sentry/kernel/BUILD')
0 files changed, 0 insertions, 0 deletions