cbb44f0935
Add a new mount option uuid=auto, which is the default. If a persistent UUID xattr is found it is used. Otherwise, an existing ovelrayfs with copied up subdirs in upper dir that was never mounted with uuid=on retains the null UUID. A new overlayfs with no copied up subdirs, generates the persistent UUID on first mount. Signed-off-by: Amir Goldstein <amir73il@gmail.com>
733 lines
32 KiB
ReStructuredText
733 lines
32 KiB
ReStructuredText
.. SPDX-License-Identifier: GPL-2.0
|
|
|
|
Written by: Neil Brown
|
|
Please see MAINTAINERS file for where to send questions.
|
|
|
|
Overlay Filesystem
|
|
==================
|
|
|
|
This document describes a prototype for a new approach to providing
|
|
overlay-filesystem functionality in Linux (sometimes referred to as
|
|
union-filesystems). An overlay-filesystem tries to present a
|
|
filesystem which is the result over overlaying one filesystem on top
|
|
of the other.
|
|
|
|
|
|
Overlay objects
|
|
---------------
|
|
|
|
The overlay filesystem approach is 'hybrid', because the objects that
|
|
appear in the filesystem do not always appear to belong to that filesystem.
|
|
In many cases, an object accessed in the union will be indistinguishable
|
|
from accessing the corresponding object from the original filesystem.
|
|
This is most obvious from the 'st_dev' field returned by stat(2).
|
|
|
|
While directories will report an st_dev from the overlay-filesystem,
|
|
non-directory objects may report an st_dev from the lower filesystem or
|
|
upper filesystem that is providing the object. Similarly st_ino will
|
|
only be unique when combined with st_dev, and both of these can change
|
|
over the lifetime of a non-directory object. Many applications and
|
|
tools ignore these values and will not be affected.
|
|
|
|
In the special case of all overlay layers on the same underlying
|
|
filesystem, all objects will report an st_dev from the overlay
|
|
filesystem and st_ino from the underlying filesystem. This will
|
|
make the overlay mount more compliant with filesystem scanners and
|
|
overlay objects will be distinguishable from the corresponding
|
|
objects in the original filesystem.
|
|
|
|
On 64bit systems, even if all overlay layers are not on the same
|
|
underlying filesystem, the same compliant behavior could be achieved
|
|
with the "xino" feature. The "xino" feature composes a unique object
|
|
identifier from the real object st_ino and an underlying fsid index.
|
|
The "xino" feature uses the high inode number bits for fsid, because the
|
|
underlying filesystems rarely use the high inode number bits. In case
|
|
the underlying inode number does overflow into the high xino bits, overlay
|
|
filesystem will fall back to the non xino behavior for that inode.
|
|
|
|
The "xino" feature can be enabled with the "-o xino=on" overlay mount option.
|
|
If all underlying filesystems support NFS file handles, the value of st_ino
|
|
for overlay filesystem objects is not only unique, but also persistent over
|
|
the lifetime of the filesystem. The "-o xino=auto" overlay mount option
|
|
enables the "xino" feature only if the persistent st_ino requirement is met.
|
|
|
|
The following table summarizes what can be expected in different overlay
|
|
configurations.
|
|
|
|
Inode properties
|
|
````````````````
|
|
|
|
+--------------+------------+------------+-----------------+----------------+
|
|
|Configuration | Persistent | Uniform | st_ino == d_ino | d_ino == i_ino |
|
|
| | st_ino | st_dev | | [*] |
|
|
+==============+=====+======+=====+======+========+========+========+=======+
|
|
| | dir | !dir | dir | !dir | dir + !dir | dir | !dir |
|
|
+--------------+-----+------+-----+------+--------+--------+--------+-------+
|
|
| All layers | Y | Y | Y | Y | Y | Y | Y | Y |
|
|
| on same fs | | | | | | | | |
|
|
+--------------+-----+------+-----+------+--------+--------+--------+-------+
|
|
| Layers not | N | N | Y | N | N | Y | N | Y |
|
|
| on same fs, | | | | | | | | |
|
|
| xino=off | | | | | | | | |
|
|
+--------------+-----+------+-----+------+--------+--------+--------+-------+
|
|
| xino=on/auto | Y | Y | Y | Y | Y | Y | Y | Y |
|
|
+--------------+-----+------+-----+------+--------+--------+--------+-------+
|
|
| xino=on/auto,| N | N | Y | N | N | Y | N | Y |
|
|
| ino overflow | | | | | | | | |
|
|
+--------------+-----+------+-----+------+--------+--------+--------+-------+
|
|
|
|
[*] nfsd v3 readdirplus verifies d_ino == i_ino. i_ino is exposed via several
|
|
/proc files, such as /proc/locks and /proc/self/fdinfo/<fd> of an inotify
|
|
file descriptor.
|
|
|
|
Upper and Lower
|
|
---------------
|
|
|
|
An overlay filesystem combines two filesystems - an 'upper' filesystem
|
|
and a 'lower' filesystem. When a name exists in both filesystems, the
|
|
object in the 'upper' filesystem is visible while the object in the
|
|
'lower' filesystem is either hidden or, in the case of directories,
|
|
merged with the 'upper' object.
|
|
|
|
It would be more correct to refer to an upper and lower 'directory
|
|
tree' rather than 'filesystem' as it is quite possible for both
|
|
directory trees to be in the same filesystem and there is no
|
|
requirement that the root of a filesystem be given for either upper or
|
|
lower.
|
|
|
|
A wide range of filesystems supported by Linux can be the lower filesystem,
|
|
but not all filesystems that are mountable by Linux have the features
|
|
needed for OverlayFS to work. The lower filesystem does not need to be
|
|
writable. The lower filesystem can even be another overlayfs. The upper
|
|
filesystem will normally be writable and if it is it must support the
|
|
creation of trusted.* and/or user.* extended attributes, and must provide
|
|
valid d_type in readdir responses, so NFS is not suitable.
|
|
|
|
A read-only overlay of two read-only filesystems may use any
|
|
filesystem type.
|
|
|
|
Directories
|
|
-----------
|
|
|
|
Overlaying mainly involves directories. If a given name appears in both
|
|
upper and lower filesystems and refers to a non-directory in either,
|
|
then the lower object is hidden - the name refers only to the upper
|
|
object.
|
|
|
|
Where both upper and lower objects are directories, a merged directory
|
|
is formed.
|
|
|
|
At mount time, the two directories given as mount options "lowerdir" and
|
|
"upperdir" are combined into a merged directory:
|
|
|
|
mount -t overlay overlay -olowerdir=/lower,upperdir=/upper,\
|
|
workdir=/work /merged
|
|
|
|
The "workdir" needs to be an empty directory on the same filesystem
|
|
as upperdir.
|
|
|
|
Then whenever a lookup is requested in such a merged directory, the
|
|
lookup is performed in each actual directory and the combined result
|
|
is cached in the dentry belonging to the overlay filesystem. If both
|
|
actual lookups find directories, both are stored and a merged
|
|
directory is created, otherwise only one is stored: the upper if it
|
|
exists, else the lower.
|
|
|
|
Only the lists of names from directories are merged. Other content
|
|
such as metadata and extended attributes are reported for the upper
|
|
directory only. These attributes of the lower directory are hidden.
|
|
|
|
whiteouts and opaque directories
|
|
--------------------------------
|
|
|
|
In order to support rm and rmdir without changing the lower
|
|
filesystem, an overlay filesystem needs to record in the upper filesystem
|
|
that files have been removed. This is done using whiteouts and opaque
|
|
directories (non-directories are always opaque).
|
|
|
|
A whiteout is created as a character device with 0/0 device number.
|
|
When a whiteout is found in the upper level of a merged directory, any
|
|
matching name in the lower level is ignored, and the whiteout itself
|
|
is also hidden.
|
|
|
|
A directory is made opaque by setting the xattr "trusted.overlay.opaque"
|
|
to "y". Where the upper filesystem contains an opaque directory, any
|
|
directory in the lower filesystem with the same name is ignored.
|
|
|
|
readdir
|
|
-------
|
|
|
|
When a 'readdir' request is made on a merged directory, the upper and
|
|
lower directories are each read and the name lists merged in the
|
|
obvious way (upper is read first, then lower - entries that already
|
|
exist are not re-added). This merged name list is cached in the
|
|
'struct file' and so remains as long as the file is kept open. If the
|
|
directory is opened and read by two processes at the same time, they
|
|
will each have separate caches. A seekdir to the start of the
|
|
directory (offset 0) followed by a readdir will cause the cache to be
|
|
discarded and rebuilt.
|
|
|
|
This means that changes to the merged directory do not appear while a
|
|
directory is being read. This is unlikely to be noticed by many
|
|
programs.
|
|
|
|
seek offsets are assigned sequentially when the directories are read.
|
|
Thus if
|
|
|
|
- read part of a directory
|
|
- remember an offset, and close the directory
|
|
- re-open the directory some time later
|
|
- seek to the remembered offset
|
|
|
|
there may be little correlation between the old and new locations in
|
|
the list of filenames, particularly if anything has changed in the
|
|
directory.
|
|
|
|
Readdir on directories that are not merged is simply handled by the
|
|
underlying directory (upper or lower).
|
|
|
|
renaming directories
|
|
--------------------
|
|
|
|
When renaming a directory that is on the lower layer or merged (i.e. the
|
|
directory was not created on the upper layer to start with) overlayfs can
|
|
handle it in two different ways:
|
|
|
|
1. return EXDEV error: this error is returned by rename(2) when trying to
|
|
move a file or directory across filesystem boundaries. Hence
|
|
applications are usually prepared to hande this error (mv(1) for example
|
|
recursively copies the directory tree). This is the default behavior.
|
|
|
|
2. If the "redirect_dir" feature is enabled, then the directory will be
|
|
copied up (but not the contents). Then the "trusted.overlay.redirect"
|
|
extended attribute is set to the path of the original location from the
|
|
root of the overlay. Finally the directory is moved to the new
|
|
location.
|
|
|
|
There are several ways to tune the "redirect_dir" feature.
|
|
|
|
Kernel config options:
|
|
|
|
- OVERLAY_FS_REDIRECT_DIR:
|
|
If this is enabled, then redirect_dir is turned on by default.
|
|
- OVERLAY_FS_REDIRECT_ALWAYS_FOLLOW:
|
|
If this is enabled, then redirects are always followed by default. Enabling
|
|
this results in a less secure configuration. Enable this option only when
|
|
worried about backward compatibility with kernels that have the redirect_dir
|
|
feature and follow redirects even if turned off.
|
|
|
|
Module options (can also be changed through /sys/module/overlay/parameters/):
|
|
|
|
- "redirect_dir=BOOL":
|
|
See OVERLAY_FS_REDIRECT_DIR kernel config option above.
|
|
- "redirect_always_follow=BOOL":
|
|
See OVERLAY_FS_REDIRECT_ALWAYS_FOLLOW kernel config option above.
|
|
- "redirect_max=NUM":
|
|
The maximum number of bytes in an absolute redirect (default is 256).
|
|
|
|
Mount options:
|
|
|
|
- "redirect_dir=on":
|
|
Redirects are enabled.
|
|
- "redirect_dir=follow":
|
|
Redirects are not created, but followed.
|
|
- "redirect_dir=nofollow":
|
|
Redirects are not created and not followed.
|
|
- "redirect_dir=off":
|
|
If "redirect_always_follow" is enabled in the kernel/module config,
|
|
this "off" traslates to "follow", otherwise it translates to "nofollow".
|
|
|
|
When the NFS export feature is enabled, every copied up directory is
|
|
indexed by the file handle of the lower inode and a file handle of the
|
|
upper directory is stored in a "trusted.overlay.upper" extended attribute
|
|
on the index entry. On lookup of a merged directory, if the upper
|
|
directory does not match the file handle stores in the index, that is an
|
|
indication that multiple upper directories may be redirected to the same
|
|
lower directory. In that case, lookup returns an error and warns about
|
|
a possible inconsistency.
|
|
|
|
Because lower layer redirects cannot be verified with the index, enabling
|
|
NFS export support on an overlay filesystem with no upper layer requires
|
|
turning off redirect follow (e.g. "redirect_dir=nofollow").
|
|
|
|
|
|
Non-directories
|
|
---------------
|
|
|
|
Objects that are not directories (files, symlinks, device-special
|
|
files etc.) are presented either from the upper or lower filesystem as
|
|
appropriate. When a file in the lower filesystem is accessed in a way
|
|
the requires write-access, such as opening for write access, changing
|
|
some metadata etc., the file is first copied from the lower filesystem
|
|
to the upper filesystem (copy_up). Note that creating a hard-link
|
|
also requires copy_up, though of course creation of a symlink does
|
|
not.
|
|
|
|
The copy_up may turn out to be unnecessary, for example if the file is
|
|
opened for read-write but the data is not modified.
|
|
|
|
The copy_up process first makes sure that the containing directory
|
|
exists in the upper filesystem - creating it and any parents as
|
|
necessary. It then creates the object with the same metadata (owner,
|
|
mode, mtime, symlink-target etc.) and then if the object is a file, the
|
|
data is copied from the lower to the upper filesystem. Finally any
|
|
extended attributes are copied up.
|
|
|
|
Once the copy_up is complete, the overlay filesystem simply
|
|
provides direct access to the newly created file in the upper
|
|
filesystem - future operations on the file are barely noticed by the
|
|
overlay filesystem (though an operation on the name of the file such as
|
|
rename or unlink will of course be noticed and handled).
|
|
|
|
|
|
Permission model
|
|
----------------
|
|
|
|
Permission checking in the overlay filesystem follows these principles:
|
|
|
|
1) permission check SHOULD return the same result before and after copy up
|
|
|
|
2) task creating the overlay mount MUST NOT gain additional privileges
|
|
|
|
3) non-mounting task MAY gain additional privileges through the overlay,
|
|
compared to direct access on underlying lower or upper filesystems
|
|
|
|
This is achieved by performing two permission checks on each access
|
|
|
|
a) check if current task is allowed access based on local DAC (owner,
|
|
group, mode and posix acl), as well as MAC checks
|
|
|
|
b) check if mounting task would be allowed real operation on lower or
|
|
upper layer based on underlying filesystem permissions, again including
|
|
MAC checks
|
|
|
|
Check (a) ensures consistency (1) since owner, group, mode and posix acls
|
|
are copied up. On the other hand it can result in server enforced
|
|
permissions (used by NFS, for example) being ignored (3).
|
|
|
|
Check (b) ensures that no task gains permissions to underlying layers that
|
|
the mounting task does not have (2). This also means that it is possible
|
|
to create setups where the consistency rule (1) does not hold; normally,
|
|
however, the mounting task will have sufficient privileges to perform all
|
|
operations.
|
|
|
|
Another way to demonstrate this model is drawing parallels between
|
|
|
|
mount -t overlay overlay -olowerdir=/lower,upperdir=/upper,... /merged
|
|
|
|
and
|
|
|
|
cp -a /lower /upper
|
|
mount --bind /upper /merged
|
|
|
|
The resulting access permissions should be the same. The difference is in
|
|
the time of copy (on-demand vs. up-front).
|
|
|
|
|
|
Multiple lower layers
|
|
---------------------
|
|
|
|
Multiple lower layers can now be given using the colon (":") as a
|
|
separator character between the directory names. For example:
|
|
|
|
mount -t overlay overlay -olowerdir=/lower1:/lower2:/lower3 /merged
|
|
|
|
As the example shows, "upperdir=" and "workdir=" may be omitted. In
|
|
that case the overlay will be read-only.
|
|
|
|
The specified lower directories will be stacked beginning from the
|
|
rightmost one and going left. In the above example lower1 will be the
|
|
top, lower2 the middle and lower3 the bottom layer.
|
|
|
|
|
|
Metadata only copy up
|
|
---------------------
|
|
|
|
When metadata only copy up feature is enabled, overlayfs will only copy
|
|
up metadata (as opposed to whole file), when a metadata specific operation
|
|
like chown/chmod is performed. Full file will be copied up later when
|
|
file is opened for WRITE operation.
|
|
|
|
In other words, this is delayed data copy up operation and data is copied
|
|
up when there is a need to actually modify data.
|
|
|
|
There are multiple ways to enable/disable this feature. A config option
|
|
CONFIG_OVERLAY_FS_METACOPY can be set/unset to enable/disable this feature
|
|
by default. Or one can enable/disable it at module load time with module
|
|
parameter metacopy=on/off. Lastly, there is also a per mount option
|
|
metacopy=on/off to enable/disable this feature per mount.
|
|
|
|
Do not use metacopy=on with untrusted upper/lower directories. Otherwise
|
|
it is possible that an attacker can create a handcrafted file with
|
|
appropriate REDIRECT and METACOPY xattrs, and gain access to file on lower
|
|
pointed by REDIRECT. This should not be possible on local system as setting
|
|
"trusted." xattrs will require CAP_SYS_ADMIN. But it should be possible
|
|
for untrusted layers like from a pen drive.
|
|
|
|
Note: redirect_dir={off|nofollow|follow[*]} and nfs_export=on mount options
|
|
conflict with metacopy=on, and will result in an error.
|
|
|
|
[*] redirect_dir=follow only conflicts with metacopy=on if upperdir=... is
|
|
given.
|
|
|
|
|
|
Data-only lower layers
|
|
----------------------
|
|
|
|
With "metacopy" feature enabled, an overlayfs regular file may be a composition
|
|
of information from up to three different layers:
|
|
|
|
1) metadata from a file in the upper layer
|
|
|
|
2) st_ino and st_dev object identifier from a file in a lower layer
|
|
|
|
3) data from a file in another lower layer (further below)
|
|
|
|
The "lower data" file can be on any lower layer, except from the top most
|
|
lower layer.
|
|
|
|
Below the top most lower layer, any number of lower most layers may be defined
|
|
as "data-only" lower layers, using double colon ("::") separators.
|
|
A normal lower layer is not allowed to be below a data-only layer, so single
|
|
colon separators are not allowed to the right of double colon ("::") separators.
|
|
|
|
|
|
For example:
|
|
|
|
mount -t overlay overlay -olowerdir=/l1:/l2:/l3::/do1::/do2 /merged
|
|
|
|
The paths of files in the "data-only" lower layers are not visible in the
|
|
merged overlayfs directories and the metadata and st_ino/st_dev of files
|
|
in the "data-only" lower layers are not visible in overlayfs inodes.
|
|
|
|
Only the data of the files in the "data-only" lower layers may be visible
|
|
when a "metacopy" file in one of the lower layers above it, has a "redirect"
|
|
to the absolute path of the "lower data" file in the "data-only" lower layer.
|
|
|
|
|
|
fs-verity support
|
|
----------------------
|
|
|
|
During metadata copy up of a lower file, if the source file has
|
|
fs-verity enabled and overlay verity support is enabled, then the
|
|
digest of the lower file is added to the "trusted.overlay.metacopy"
|
|
xattr. This is then used to verify the content of the lower file
|
|
each the time the metacopy file is opened.
|
|
|
|
When a layer containing verity xattrs is used, it means that any such
|
|
metacopy file in the upper layer is guaranteed to match the content
|
|
that was in the lower at the time of the copy-up. If at any time
|
|
(during a mount, after a remount, etc) such a file in the lower is
|
|
replaced or modified in any way, access to the corresponding file in
|
|
overlayfs will result in EIO errors (either on open, due to overlayfs
|
|
digest check, or from a later read due to fs-verity) and a detailed
|
|
error is printed to the kernel logs. For more details of how fs-verity
|
|
file access works, see :ref:`Documentation/filesystems/fsverity.rst
|
|
<accessing_verity_files>`.
|
|
|
|
Verity can be used as a general robustness check to detect accidental
|
|
changes in the overlayfs directories in use. But, with additional care
|
|
it can also give more powerful guarantees. For example, if the upper
|
|
layer is fully trusted (by using dm-verity or something similar), then
|
|
an untrusted lower layer can be used to supply validated file content
|
|
for all metacopy files. If additionally the untrusted lower
|
|
directories are specified as "Data-only", then they can only supply
|
|
such file content, and the entire mount can be trusted to match the
|
|
upper layer.
|
|
|
|
This feature is controlled by the "verity" mount option, which
|
|
supports these values:
|
|
|
|
- "off":
|
|
The metacopy digest is never generated or used. This is the
|
|
default if verity option is not specified.
|
|
- "on":
|
|
Whenever a metacopy files specifies an expected digest, the
|
|
corresponding data file must match the specified digest. When
|
|
generating a metacopy file the verity digest will be set in it
|
|
based on the source file (if it has one).
|
|
- "require":
|
|
Same as "on", but additionally all metacopy files must specify a
|
|
digest (or EIO is returned on open). This means metadata copy up
|
|
will only be used if the data file has fs-verity enabled,
|
|
otherwise a full copy-up is used.
|
|
|
|
Sharing and copying layers
|
|
--------------------------
|
|
|
|
Lower layers may be shared among several overlay mounts and that is indeed
|
|
a very common practice. An overlay mount may use the same lower layer
|
|
path as another overlay mount and it may use a lower layer path that is
|
|
beneath or above the path of another overlay lower layer path.
|
|
|
|
Using an upper layer path and/or a workdir path that are already used by
|
|
another overlay mount is not allowed and may fail with EBUSY. Using
|
|
partially overlapping paths is not allowed and may fail with EBUSY.
|
|
If files are accessed from two overlayfs mounts which share or overlap the
|
|
upper layer and/or workdir path the behavior of the overlay is undefined,
|
|
though it will not result in a crash or deadlock.
|
|
|
|
Mounting an overlay using an upper layer path, where the upper layer path
|
|
was previously used by another mounted overlay in combination with a
|
|
different lower layer path, is allowed, unless the "inodes index" feature
|
|
or "metadata only copy up" feature is enabled.
|
|
|
|
With the "inodes index" feature, on the first time mount, an NFS file
|
|
handle of the lower layer root directory, along with the UUID of the lower
|
|
filesystem, are encoded and stored in the "trusted.overlay.origin" extended
|
|
attribute on the upper layer root directory. On subsequent mount attempts,
|
|
the lower root directory file handle and lower filesystem UUID are compared
|
|
to the stored origin in upper root directory. On failure to verify the
|
|
lower root origin, mount will fail with ESTALE. An overlayfs mount with
|
|
"inodes index" enabled will fail with EOPNOTSUPP if the lower filesystem
|
|
does not support NFS export, lower filesystem does not have a valid UUID or
|
|
if the upper filesystem does not support extended attributes.
|
|
|
|
For "metadata only copy up" feature there is no verification mechanism at
|
|
mount time. So if same upper is mounted with different set of lower, mount
|
|
probably will succeed but expect the unexpected later on. So don't do it.
|
|
|
|
It is quite a common practice to copy overlay layers to a different
|
|
directory tree on the same or different underlying filesystem, and even
|
|
to a different machine. With the "inodes index" feature, trying to mount
|
|
the copied layers will fail the verification of the lower root file handle.
|
|
|
|
|
|
Non-standard behavior
|
|
---------------------
|
|
|
|
Current version of overlayfs can act as a mostly POSIX compliant
|
|
filesystem.
|
|
|
|
This is the list of cases that overlayfs doesn't currently handle:
|
|
|
|
a) POSIX mandates updating st_atime for reads. This is currently not
|
|
done in the case when the file resides on a lower layer.
|
|
|
|
b) If a file residing on a lower layer is opened for read-only and then
|
|
memory mapped with MAP_SHARED, then subsequent changes to the file are not
|
|
reflected in the memory mapping.
|
|
|
|
c) If a file residing on a lower layer is being executed, then opening that
|
|
file for write or truncating the file will not be denied with ETXTBSY.
|
|
|
|
The following options allow overlayfs to act more like a standards
|
|
compliant filesystem:
|
|
|
|
1) "redirect_dir"
|
|
|
|
Enabled with the mount option or module option: "redirect_dir=on" or with
|
|
the kernel config option CONFIG_OVERLAY_FS_REDIRECT_DIR=y.
|
|
|
|
If this feature is disabled, then rename(2) on a lower or merged directory
|
|
will fail with EXDEV ("Invalid cross-device link").
|
|
|
|
2) "inode index"
|
|
|
|
Enabled with the mount option or module option "index=on" or with the
|
|
kernel config option CONFIG_OVERLAY_FS_INDEX=y.
|
|
|
|
If this feature is disabled and a file with multiple hard links is copied
|
|
up, then this will "break" the link. Changes will not be propagated to
|
|
other names referring to the same inode.
|
|
|
|
3) "xino"
|
|
|
|
Enabled with the mount option "xino=auto" or "xino=on", with the module
|
|
option "xino_auto=on" or with the kernel config option
|
|
CONFIG_OVERLAY_FS_XINO_AUTO=y. Also implicitly enabled by using the same
|
|
underlying filesystem for all layers making up the overlay.
|
|
|
|
If this feature is disabled or the underlying filesystem doesn't have
|
|
enough free bits in the inode number, then overlayfs will not be able to
|
|
guarantee that the values of st_ino and st_dev returned by stat(2) and the
|
|
value of d_ino returned by readdir(3) will act like on a normal filesystem.
|
|
E.g. the value of st_dev may be different for two objects in the same
|
|
overlay filesystem and the value of st_ino for filesystem objects may not be
|
|
persistent and could change even while the overlay filesystem is mounted, as
|
|
summarized in the `Inode properties`_ table above.
|
|
|
|
|
|
Changes to underlying filesystems
|
|
---------------------------------
|
|
|
|
Changes to the underlying filesystems while part of a mounted overlay
|
|
filesystem are not allowed. If the underlying filesystem is changed,
|
|
the behavior of the overlay is undefined, though it will not result in
|
|
a crash or deadlock.
|
|
|
|
Offline changes, when the overlay is not mounted, are allowed to the
|
|
upper tree. Offline changes to the lower tree are only allowed if the
|
|
"metadata only copy up", "inode index", "xino" and "redirect_dir" features
|
|
have not been used. If the lower tree is modified and any of these
|
|
features has been used, the behavior of the overlay is undefined,
|
|
though it will not result in a crash or deadlock.
|
|
|
|
When the overlay NFS export feature is enabled, overlay filesystems
|
|
behavior on offline changes of the underlying lower layer is different
|
|
than the behavior when NFS export is disabled.
|
|
|
|
On every copy_up, an NFS file handle of the lower inode, along with the
|
|
UUID of the lower filesystem, are encoded and stored in an extended
|
|
attribute "trusted.overlay.origin" on the upper inode.
|
|
|
|
When the NFS export feature is enabled, a lookup of a merged directory,
|
|
that found a lower directory at the lookup path or at the path pointed
|
|
to by the "trusted.overlay.redirect" extended attribute, will verify
|
|
that the found lower directory file handle and lower filesystem UUID
|
|
match the origin file handle that was stored at copy_up time. If a
|
|
found lower directory does not match the stored origin, that directory
|
|
will not be merged with the upper directory.
|
|
|
|
|
|
|
|
NFS export
|
|
----------
|
|
|
|
When the underlying filesystems supports NFS export and the "nfs_export"
|
|
feature is enabled, an overlay filesystem may be exported to NFS.
|
|
|
|
With the "nfs_export" feature, on copy_up of any lower object, an index
|
|
entry is created under the index directory. The index entry name is the
|
|
hexadecimal representation of the copy up origin file handle. For a
|
|
non-directory object, the index entry is a hard link to the upper inode.
|
|
For a directory object, the index entry has an extended attribute
|
|
"trusted.overlay.upper" with an encoded file handle of the upper
|
|
directory inode.
|
|
|
|
When encoding a file handle from an overlay filesystem object, the
|
|
following rules apply:
|
|
|
|
1. For a non-upper object, encode a lower file handle from lower inode
|
|
2. For an indexed object, encode a lower file handle from copy_up origin
|
|
3. For a pure-upper object and for an existing non-indexed upper object,
|
|
encode an upper file handle from upper inode
|
|
|
|
The encoded overlay file handle includes:
|
|
- Header including path type information (e.g. lower/upper)
|
|
- UUID of the underlying filesystem
|
|
- Underlying filesystem encoding of underlying inode
|
|
|
|
This encoding format is identical to the encoding format file handles that
|
|
are stored in extended attribute "trusted.overlay.origin".
|
|
|
|
When decoding an overlay file handle, the following steps are followed:
|
|
|
|
1. Find underlying layer by UUID and path type information.
|
|
2. Decode the underlying filesystem file handle to underlying dentry.
|
|
3. For a lower file handle, lookup the handle in index directory by name.
|
|
4. If a whiteout is found in index, return ESTALE. This represents an
|
|
overlay object that was deleted after its file handle was encoded.
|
|
5. For a non-directory, instantiate a disconnected overlay dentry from the
|
|
decoded underlying dentry, the path type and index inode, if found.
|
|
6. For a directory, use the connected underlying decoded dentry, path type
|
|
and index, to lookup a connected overlay dentry.
|
|
|
|
Decoding a non-directory file handle may return a disconnected dentry.
|
|
copy_up of that disconnected dentry will create an upper index entry with
|
|
no upper alias.
|
|
|
|
When overlay filesystem has multiple lower layers, a middle layer
|
|
directory may have a "redirect" to lower directory. Because middle layer
|
|
"redirects" are not indexed, a lower file handle that was encoded from the
|
|
"redirect" origin directory, cannot be used to find the middle or upper
|
|
layer directory. Similarly, a lower file handle that was encoded from a
|
|
descendant of the "redirect" origin directory, cannot be used to
|
|
reconstruct a connected overlay path. To mitigate the cases of
|
|
directories that cannot be decoded from a lower file handle, these
|
|
directories are copied up on encode and encoded as an upper file handle.
|
|
On an overlay filesystem with no upper layer this mitigation cannot be
|
|
used NFS export in this setup requires turning off redirect follow (e.g.
|
|
"redirect_dir=nofollow").
|
|
|
|
The overlay filesystem does not support non-directory connectable file
|
|
handles, so exporting with the 'subtree_check' exportfs configuration will
|
|
cause failures to lookup files over NFS.
|
|
|
|
When the NFS export feature is enabled, all directory index entries are
|
|
verified on mount time to check that upper file handles are not stale.
|
|
This verification may cause significant overhead in some cases.
|
|
|
|
Note: the mount options index=off,nfs_export=on are conflicting for a
|
|
read-write mount and will result in an error.
|
|
|
|
Note: the mount option uuid=off can be used to replace UUID of the underlying
|
|
filesystem in file handles with null, and effectively disable UUID checks. This
|
|
can be useful in case the underlying disk is copied and the UUID of this copy
|
|
is changed. This is only applicable if all lower/upper/work directories are on
|
|
the same filesystem, otherwise it will fallback to normal behaviour.
|
|
|
|
|
|
UUID and fsid
|
|
-------------
|
|
|
|
The UUID of overlayfs instance itself and the fsid reported by statfs(2) are
|
|
controlled by the "uuid" mount option, which supports these values:
|
|
|
|
- "null":
|
|
UUID of overlayfs is null. fsid is taken from upper most filesystem.
|
|
- "off":
|
|
UUID of overlayfs is null. fsid is taken from upper most filesystem.
|
|
UUID of underlying layers is ignored.
|
|
- "on":
|
|
UUID of overlayfs is generated and used to report a unique fsid.
|
|
UUID is stored in xattr "trusted.overlay.uuid", making overlayfs fsid
|
|
unique and persistent. This option requires an overlayfs with upper
|
|
filesystem that supports xattrs.
|
|
- "auto": (default)
|
|
UUID is taken from xattr "trusted.overlay.uuid" if it exists.
|
|
Upgrade to "uuid=on" on first time mount of new overlay filesystem that
|
|
meets the prerequites.
|
|
Downgrade to "uuid=null" for existing overlay filesystems that were never
|
|
mounted with "uuid=on".
|
|
|
|
|
|
Volatile mount
|
|
--------------
|
|
|
|
This is enabled with the "volatile" mount option. Volatile mounts are not
|
|
guaranteed to survive a crash. It is strongly recommended that volatile
|
|
mounts are only used if data written to the overlay can be recreated
|
|
without significant effort.
|
|
|
|
The advantage of mounting with the "volatile" option is that all forms of
|
|
sync calls to the upper filesystem are omitted.
|
|
|
|
In order to avoid a giving a false sense of safety, the syncfs (and fsync)
|
|
semantics of volatile mounts are slightly different than that of the rest of
|
|
VFS. If any writeback error occurs on the upperdir's filesystem after a
|
|
volatile mount takes place, all sync functions will return an error. Once this
|
|
condition is reached, the filesystem will not recover, and every subsequent sync
|
|
call will return an error, even if the upperdir has not experience a new error
|
|
since the last sync call.
|
|
|
|
When overlay is mounted with "volatile" option, the directory
|
|
"$workdir/work/incompat/volatile" is created. During next mount, overlay
|
|
checks for this directory and refuses to mount if present. This is a strong
|
|
indicator that user should throw away upper and work directories and create
|
|
fresh one. In very limited cases where the user knows that the system has
|
|
not crashed and contents of upperdir are intact, The "volatile" directory
|
|
can be removed.
|
|
|
|
|
|
User xattr
|
|
----------
|
|
|
|
The "-o userxattr" mount option forces overlayfs to use the
|
|
"user.overlay." xattr namespace instead of "trusted.overlay.". This is
|
|
useful for unprivileged mounting of overlayfs.
|
|
|
|
|
|
Testsuite
|
|
---------
|
|
|
|
There's a testsuite originally developed by David Howells and currently
|
|
maintained by Amir Goldstein at:
|
|
|
|
https://github.com/amir73il/unionmount-testsuite.git
|
|
|
|
Run as root:
|
|
|
|
# cd unionmount-testsuite
|
|
# ./run --ov --verify
|