summaryrefslogtreecommitdiffhomepage
path: root/pkg/sentry/kernel/BUILD
diff options
context:
space:
mode:
authorNicolas Lacasse <nlacasse@google.com>2018-07-19 14:52:43 -0700
committerShentubot <shentubot@google.com>2018-07-19 14:53:38 -0700
commitea371031968095209793ea39007cfdf5a9d66d10 (patch)
treedda4a3353bf0d0a5197208af5eb4bd1c35d4209a /pkg/sentry/kernel/BUILD
parentdf5a5d388e1fc3349ee70c3476fdffb195fbce9c (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