]> git.ipfire.org Git - thirdparty/kernel/stable.git/blob - Documentation/filesystems/overlayfs.rst
Merge tag 'kvm-x86-misc-6.7' of https://github.com/kvm-x86/linux into HEAD
[thirdparty/kernel/stable.git] / Documentation / filesystems / overlayfs.rst
1 .. SPDX-License-Identifier: GPL-2.0
2
3 Written by: Neil Brown
4 Please see MAINTAINERS file for where to send questions.
5
6 Overlay Filesystem
7 ==================
8
9 This document describes a prototype for a new approach to providing
10 overlay-filesystem functionality in Linux (sometimes referred to as
11 union-filesystems). An overlay-filesystem tries to present a
12 filesystem which is the result over overlaying one filesystem on top
13 of the other.
14
15
16 Overlay objects
17 ---------------
18
19 The overlay filesystem approach is 'hybrid', because the objects that
20 appear in the filesystem do not always appear to belong to that filesystem.
21 In many cases, an object accessed in the union will be indistinguishable
22 from accessing the corresponding object from the original filesystem.
23 This is most obvious from the 'st_dev' field returned by stat(2).
24
25 While directories will report an st_dev from the overlay-filesystem,
26 non-directory objects may report an st_dev from the lower filesystem or
27 upper filesystem that is providing the object. Similarly st_ino will
28 only be unique when combined with st_dev, and both of these can change
29 over the lifetime of a non-directory object. Many applications and
30 tools ignore these values and will not be affected.
31
32 In the special case of all overlay layers on the same underlying
33 filesystem, all objects will report an st_dev from the overlay
34 filesystem and st_ino from the underlying filesystem. This will
35 make the overlay mount more compliant with filesystem scanners and
36 overlay objects will be distinguishable from the corresponding
37 objects in the original filesystem.
38
39 On 64bit systems, even if all overlay layers are not on the same
40 underlying filesystem, the same compliant behavior could be achieved
41 with the "xino" feature. The "xino" feature composes a unique object
42 identifier from the real object st_ino and an underlying fsid index.
43 The "xino" feature uses the high inode number bits for fsid, because the
44 underlying filesystems rarely use the high inode number bits. In case
45 the underlying inode number does overflow into the high xino bits, overlay
46 filesystem will fall back to the non xino behavior for that inode.
47
48 The "xino" feature can be enabled with the "-o xino=on" overlay mount option.
49 If all underlying filesystems support NFS file handles, the value of st_ino
50 for overlay filesystem objects is not only unique, but also persistent over
51 the lifetime of the filesystem. The "-o xino=auto" overlay mount option
52 enables the "xino" feature only if the persistent st_ino requirement is met.
53
54 The following table summarizes what can be expected in different overlay
55 configurations.
56
57 Inode properties
58 ````````````````
59
60 +--------------+------------+------------+-----------------+----------------+
61 |Configuration | Persistent | Uniform | st_ino == d_ino | d_ino == i_ino |
62 | | st_ino | st_dev | | [*] |
63 +==============+=====+======+=====+======+========+========+========+=======+
64 | | dir | !dir | dir | !dir | dir + !dir | dir | !dir |
65 +--------------+-----+------+-----+------+--------+--------+--------+-------+
66 | All layers | Y | Y | Y | Y | Y | Y | Y | Y |
67 | on same fs | | | | | | | | |
68 +--------------+-----+------+-----+------+--------+--------+--------+-------+
69 | Layers not | N | N | Y | N | N | Y | N | Y |
70 | on same fs, | | | | | | | | |
71 | xino=off | | | | | | | | |
72 +--------------+-----+------+-----+------+--------+--------+--------+-------+
73 | xino=on/auto | Y | Y | Y | Y | Y | Y | Y | Y |
74 +--------------+-----+------+-----+------+--------+--------+--------+-------+
75 | xino=on/auto,| N | N | Y | N | N | Y | N | Y |
76 | ino overflow | | | | | | | | |
77 +--------------+-----+------+-----+------+--------+--------+--------+-------+
78
79 [*] nfsd v3 readdirplus verifies d_ino == i_ino. i_ino is exposed via several
80 /proc files, such as /proc/locks and /proc/self/fdinfo/<fd> of an inotify
81 file descriptor.
82
83 Upper and Lower
84 ---------------
85
86 An overlay filesystem combines two filesystems - an 'upper' filesystem
87 and a 'lower' filesystem. When a name exists in both filesystems, the
88 object in the 'upper' filesystem is visible while the object in the
89 'lower' filesystem is either hidden or, in the case of directories,
90 merged with the 'upper' object.
91
92 It would be more correct to refer to an upper and lower 'directory
93 tree' rather than 'filesystem' as it is quite possible for both
94 directory trees to be in the same filesystem and there is no
95 requirement that the root of a filesystem be given for either upper or
96 lower.
97
98 A wide range of filesystems supported by Linux can be the lower filesystem,
99 but not all filesystems that are mountable by Linux have the features
100 needed for OverlayFS to work. The lower filesystem does not need to be
101 writable. The lower filesystem can even be another overlayfs. The upper
102 filesystem will normally be writable and if it is it must support the
103 creation of trusted.* and/or user.* extended attributes, and must provide
104 valid d_type in readdir responses, so NFS is not suitable.
105
106 A read-only overlay of two read-only filesystems may use any
107 filesystem type.
108
109 Directories
110 -----------
111
112 Overlaying mainly involves directories. If a given name appears in both
113 upper and lower filesystems and refers to a non-directory in either,
114 then the lower object is hidden - the name refers only to the upper
115 object.
116
117 Where both upper and lower objects are directories, a merged directory
118 is formed.
119
120 At mount time, the two directories given as mount options "lowerdir" and
121 "upperdir" are combined into a merged directory:
122
123 mount -t overlay overlay -olowerdir=/lower,upperdir=/upper,\
124 workdir=/work /merged
125
126 The "workdir" needs to be an empty directory on the same filesystem
127 as upperdir.
128
129 Then whenever a lookup is requested in such a merged directory, the
130 lookup is performed in each actual directory and the combined result
131 is cached in the dentry belonging to the overlay filesystem. If both
132 actual lookups find directories, both are stored and a merged
133 directory is created, otherwise only one is stored: the upper if it
134 exists, else the lower.
135
136 Only the lists of names from directories are merged. Other content
137 such as metadata and extended attributes are reported for the upper
138 directory only. These attributes of the lower directory are hidden.
139
140 whiteouts and opaque directories
141 --------------------------------
142
143 In order to support rm and rmdir without changing the lower
144 filesystem, an overlay filesystem needs to record in the upper filesystem
145 that files have been removed. This is done using whiteouts and opaque
146 directories (non-directories are always opaque).
147
148 A whiteout is created as a character device with 0/0 device number.
149 When a whiteout is found in the upper level of a merged directory, any
150 matching name in the lower level is ignored, and the whiteout itself
151 is also hidden.
152
153 A directory is made opaque by setting the xattr "trusted.overlay.opaque"
154 to "y". Where the upper filesystem contains an opaque directory, any
155 directory in the lower filesystem with the same name is ignored.
156
157 readdir
158 -------
159
160 When a 'readdir' request is made on a merged directory, the upper and
161 lower directories are each read and the name lists merged in the
162 obvious way (upper is read first, then lower - entries that already
163 exist are not re-added). This merged name list is cached in the
164 'struct file' and so remains as long as the file is kept open. If the
165 directory is opened and read by two processes at the same time, they
166 will each have separate caches. A seekdir to the start of the
167 directory (offset 0) followed by a readdir will cause the cache to be
168 discarded and rebuilt.
169
170 This means that changes to the merged directory do not appear while a
171 directory is being read. This is unlikely to be noticed by many
172 programs.
173
174 seek offsets are assigned sequentially when the directories are read.
175 Thus if
176
177 - read part of a directory
178 - remember an offset, and close the directory
179 - re-open the directory some time later
180 - seek to the remembered offset
181
182 there may be little correlation between the old and new locations in
183 the list of filenames, particularly if anything has changed in the
184 directory.
185
186 Readdir on directories that are not merged is simply handled by the
187 underlying directory (upper or lower).
188
189 renaming directories
190 --------------------
191
192 When renaming a directory that is on the lower layer or merged (i.e. the
193 directory was not created on the upper layer to start with) overlayfs can
194 handle it in two different ways:
195
196 1. return EXDEV error: this error is returned by rename(2) when trying to
197 move a file or directory across filesystem boundaries. Hence
198 applications are usually prepared to handle this error (mv(1) for example
199 recursively copies the directory tree). This is the default behavior.
200
201 2. If the "redirect_dir" feature is enabled, then the directory will be
202 copied up (but not the contents). Then the "trusted.overlay.redirect"
203 extended attribute is set to the path of the original location from the
204 root of the overlay. Finally the directory is moved to the new
205 location.
206
207 There are several ways to tune the "redirect_dir" feature.
208
209 Kernel config options:
210
211 - OVERLAY_FS_REDIRECT_DIR:
212 If this is enabled, then redirect_dir is turned on by default.
213 - OVERLAY_FS_REDIRECT_ALWAYS_FOLLOW:
214 If this is enabled, then redirects are always followed by default. Enabling
215 this results in a less secure configuration. Enable this option only when
216 worried about backward compatibility with kernels that have the redirect_dir
217 feature and follow redirects even if turned off.
218
219 Module options (can also be changed through /sys/module/overlay/parameters/):
220
221 - "redirect_dir=BOOL":
222 See OVERLAY_FS_REDIRECT_DIR kernel config option above.
223 - "redirect_always_follow=BOOL":
224 See OVERLAY_FS_REDIRECT_ALWAYS_FOLLOW kernel config option above.
225 - "redirect_max=NUM":
226 The maximum number of bytes in an absolute redirect (default is 256).
227
228 Mount options:
229
230 - "redirect_dir=on":
231 Redirects are enabled.
232 - "redirect_dir=follow":
233 Redirects are not created, but followed.
234 - "redirect_dir=nofollow":
235 Redirects are not created and not followed.
236 - "redirect_dir=off":
237 If "redirect_always_follow" is enabled in the kernel/module config,
238 this "off" translates to "follow", otherwise it translates to "nofollow".
239
240 When the NFS export feature is enabled, every copied up directory is
241 indexed by the file handle of the lower inode and a file handle of the
242 upper directory is stored in a "trusted.overlay.upper" extended attribute
243 on the index entry. On lookup of a merged directory, if the upper
244 directory does not match the file handle stores in the index, that is an
245 indication that multiple upper directories may be redirected to the same
246 lower directory. In that case, lookup returns an error and warns about
247 a possible inconsistency.
248
249 Because lower layer redirects cannot be verified with the index, enabling
250 NFS export support on an overlay filesystem with no upper layer requires
251 turning off redirect follow (e.g. "redirect_dir=nofollow").
252
253
254 Non-directories
255 ---------------
256
257 Objects that are not directories (files, symlinks, device-special
258 files etc.) are presented either from the upper or lower filesystem as
259 appropriate. When a file in the lower filesystem is accessed in a way
260 the requires write-access, such as opening for write access, changing
261 some metadata etc., the file is first copied from the lower filesystem
262 to the upper filesystem (copy_up). Note that creating a hard-link
263 also requires copy_up, though of course creation of a symlink does
264 not.
265
266 The copy_up may turn out to be unnecessary, for example if the file is
267 opened for read-write but the data is not modified.
268
269 The copy_up process first makes sure that the containing directory
270 exists in the upper filesystem - creating it and any parents as
271 necessary. It then creates the object with the same metadata (owner,
272 mode, mtime, symlink-target etc.) and then if the object is a file, the
273 data is copied from the lower to the upper filesystem. Finally any
274 extended attributes are copied up.
275
276 Once the copy_up is complete, the overlay filesystem simply
277 provides direct access to the newly created file in the upper
278 filesystem - future operations on the file are barely noticed by the
279 overlay filesystem (though an operation on the name of the file such as
280 rename or unlink will of course be noticed and handled).
281
282
283 Permission model
284 ----------------
285
286 Permission checking in the overlay filesystem follows these principles:
287
288 1) permission check SHOULD return the same result before and after copy up
289
290 2) task creating the overlay mount MUST NOT gain additional privileges
291
292 3) non-mounting task MAY gain additional privileges through the overlay,
293 compared to direct access on underlying lower or upper filesystems
294
295 This is achieved by performing two permission checks on each access
296
297 a) check if current task is allowed access based on local DAC (owner,
298 group, mode and posix acl), as well as MAC checks
299
300 b) check if mounting task would be allowed real operation on lower or
301 upper layer based on underlying filesystem permissions, again including
302 MAC checks
303
304 Check (a) ensures consistency (1) since owner, group, mode and posix acls
305 are copied up. On the other hand it can result in server enforced
306 permissions (used by NFS, for example) being ignored (3).
307
308 Check (b) ensures that no task gains permissions to underlying layers that
309 the mounting task does not have (2). This also means that it is possible
310 to create setups where the consistency rule (1) does not hold; normally,
311 however, the mounting task will have sufficient privileges to perform all
312 operations.
313
314 Another way to demonstrate this model is drawing parallels between
315
316 mount -t overlay overlay -olowerdir=/lower,upperdir=/upper,... /merged
317
318 and
319
320 cp -a /lower /upper
321 mount --bind /upper /merged
322
323 The resulting access permissions should be the same. The difference is in
324 the time of copy (on-demand vs. up-front).
325
326
327 Multiple lower layers
328 ---------------------
329
330 Multiple lower layers can now be given using the colon (":") as a
331 separator character between the directory names. For example:
332
333 mount -t overlay overlay -olowerdir=/lower1:/lower2:/lower3 /merged
334
335 As the example shows, "upperdir=" and "workdir=" may be omitted. In
336 that case the overlay will be read-only.
337
338 The specified lower directories will be stacked beginning from the
339 rightmost one and going left. In the above example lower1 will be the
340 top, lower2 the middle and lower3 the bottom layer.
341
342 Note: directory names containing colons can be provided as lower layer by
343 escaping the colons with a single backslash. For example:
344
345 mount -t overlay overlay -olowerdir=/a\:lower\:\:dir /merged
346
347 Since kernel version v6.5, directory names containing colons can also
348 be provided as lower layer using the fsconfig syscall from new mount api:
349
350 fsconfig(fs_fd, FSCONFIG_SET_STRING, "lowerdir", "/a:lower::dir", 0);
351
352 In the latter case, colons in lower layer directory names will be escaped
353 as an octal characters (\072) when displayed in /proc/self/mountinfo.
354
355 Metadata only copy up
356 ---------------------
357
358 When metadata only copy up feature is enabled, overlayfs will only copy
359 up metadata (as opposed to whole file), when a metadata specific operation
360 like chown/chmod is performed. Full file will be copied up later when
361 file is opened for WRITE operation.
362
363 In other words, this is delayed data copy up operation and data is copied
364 up when there is a need to actually modify data.
365
366 There are multiple ways to enable/disable this feature. A config option
367 CONFIG_OVERLAY_FS_METACOPY can be set/unset to enable/disable this feature
368 by default. Or one can enable/disable it at module load time with module
369 parameter metacopy=on/off. Lastly, there is also a per mount option
370 metacopy=on/off to enable/disable this feature per mount.
371
372 Do not use metacopy=on with untrusted upper/lower directories. Otherwise
373 it is possible that an attacker can create a handcrafted file with
374 appropriate REDIRECT and METACOPY xattrs, and gain access to file on lower
375 pointed by REDIRECT. This should not be possible on local system as setting
376 "trusted." xattrs will require CAP_SYS_ADMIN. But it should be possible
377 for untrusted layers like from a pen drive.
378
379 Note: redirect_dir={off|nofollow|follow[*]} and nfs_export=on mount options
380 conflict with metacopy=on, and will result in an error.
381
382 [*] redirect_dir=follow only conflicts with metacopy=on if upperdir=... is
383 given.
384
385
386 Data-only lower layers
387 ----------------------
388
389 With "metacopy" feature enabled, an overlayfs regular file may be a composition
390 of information from up to three different layers:
391
392 1) metadata from a file in the upper layer
393
394 2) st_ino and st_dev object identifier from a file in a lower layer
395
396 3) data from a file in another lower layer (further below)
397
398 The "lower data" file can be on any lower layer, except from the top most
399 lower layer.
400
401 Below the top most lower layer, any number of lower most layers may be defined
402 as "data-only" lower layers, using double colon ("::") separators.
403 A normal lower layer is not allowed to be below a data-only layer, so single
404 colon separators are not allowed to the right of double colon ("::") separators.
405
406
407 For example:
408
409 mount -t overlay overlay -olowerdir=/l1:/l2:/l3::/do1::/do2 /merged
410
411 The paths of files in the "data-only" lower layers are not visible in the
412 merged overlayfs directories and the metadata and st_ino/st_dev of files
413 in the "data-only" lower layers are not visible in overlayfs inodes.
414
415 Only the data of the files in the "data-only" lower layers may be visible
416 when a "metacopy" file in one of the lower layers above it, has a "redirect"
417 to the absolute path of the "lower data" file in the "data-only" lower layer.
418
419
420 fs-verity support
421 ----------------------
422
423 During metadata copy up of a lower file, if the source file has
424 fs-verity enabled and overlay verity support is enabled, then the
425 digest of the lower file is added to the "trusted.overlay.metacopy"
426 xattr. This is then used to verify the content of the lower file
427 each the time the metacopy file is opened.
428
429 When a layer containing verity xattrs is used, it means that any such
430 metacopy file in the upper layer is guaranteed to match the content
431 that was in the lower at the time of the copy-up. If at any time
432 (during a mount, after a remount, etc) such a file in the lower is
433 replaced or modified in any way, access to the corresponding file in
434 overlayfs will result in EIO errors (either on open, due to overlayfs
435 digest check, or from a later read due to fs-verity) and a detailed
436 error is printed to the kernel logs. For more details of how fs-verity
437 file access works, see :ref:`Documentation/filesystems/fsverity.rst
438 <accessing_verity_files>`.
439
440 Verity can be used as a general robustness check to detect accidental
441 changes in the overlayfs directories in use. But, with additional care
442 it can also give more powerful guarantees. For example, if the upper
443 layer is fully trusted (by using dm-verity or something similar), then
444 an untrusted lower layer can be used to supply validated file content
445 for all metacopy files. If additionally the untrusted lower
446 directories are specified as "Data-only", then they can only supply
447 such file content, and the entire mount can be trusted to match the
448 upper layer.
449
450 This feature is controlled by the "verity" mount option, which
451 supports these values:
452
453 - "off":
454 The metacopy digest is never generated or used. This is the
455 default if verity option is not specified.
456 - "on":
457 Whenever a metacopy files specifies an expected digest, the
458 corresponding data file must match the specified digest. When
459 generating a metacopy file the verity digest will be set in it
460 based on the source file (if it has one).
461 - "require":
462 Same as "on", but additionally all metacopy files must specify a
463 digest (or EIO is returned on open). This means metadata copy up
464 will only be used if the data file has fs-verity enabled,
465 otherwise a full copy-up is used.
466
467 Sharing and copying layers
468 --------------------------
469
470 Lower layers may be shared among several overlay mounts and that is indeed
471 a very common practice. An overlay mount may use the same lower layer
472 path as another overlay mount and it may use a lower layer path that is
473 beneath or above the path of another overlay lower layer path.
474
475 Using an upper layer path and/or a workdir path that are already used by
476 another overlay mount is not allowed and may fail with EBUSY. Using
477 partially overlapping paths is not allowed and may fail with EBUSY.
478 If files are accessed from two overlayfs mounts which share or overlap the
479 upper layer and/or workdir path the behavior of the overlay is undefined,
480 though it will not result in a crash or deadlock.
481
482 Mounting an overlay using an upper layer path, where the upper layer path
483 was previously used by another mounted overlay in combination with a
484 different lower layer path, is allowed, unless the "inodes index" feature
485 or "metadata only copy up" feature is enabled.
486
487 With the "inodes index" feature, on the first time mount, an NFS file
488 handle of the lower layer root directory, along with the UUID of the lower
489 filesystem, are encoded and stored in the "trusted.overlay.origin" extended
490 attribute on the upper layer root directory. On subsequent mount attempts,
491 the lower root directory file handle and lower filesystem UUID are compared
492 to the stored origin in upper root directory. On failure to verify the
493 lower root origin, mount will fail with ESTALE. An overlayfs mount with
494 "inodes index" enabled will fail with EOPNOTSUPP if the lower filesystem
495 does not support NFS export, lower filesystem does not have a valid UUID or
496 if the upper filesystem does not support extended attributes.
497
498 For "metadata only copy up" feature there is no verification mechanism at
499 mount time. So if same upper is mounted with different set of lower, mount
500 probably will succeed but expect the unexpected later on. So don't do it.
501
502 It is quite a common practice to copy overlay layers to a different
503 directory tree on the same or different underlying filesystem, and even
504 to a different machine. With the "inodes index" feature, trying to mount
505 the copied layers will fail the verification of the lower root file handle.
506
507
508 Non-standard behavior
509 ---------------------
510
511 Current version of overlayfs can act as a mostly POSIX compliant
512 filesystem.
513
514 This is the list of cases that overlayfs doesn't currently handle:
515
516 a) POSIX mandates updating st_atime for reads. This is currently not
517 done in the case when the file resides on a lower layer.
518
519 b) If a file residing on a lower layer is opened for read-only and then
520 memory mapped with MAP_SHARED, then subsequent changes to the file are not
521 reflected in the memory mapping.
522
523 c) If a file residing on a lower layer is being executed, then opening that
524 file for write or truncating the file will not be denied with ETXTBSY.
525
526 The following options allow overlayfs to act more like a standards
527 compliant filesystem:
528
529 1) "redirect_dir"
530
531 Enabled with the mount option or module option: "redirect_dir=on" or with
532 the kernel config option CONFIG_OVERLAY_FS_REDIRECT_DIR=y.
533
534 If this feature is disabled, then rename(2) on a lower or merged directory
535 will fail with EXDEV ("Invalid cross-device link").
536
537 2) "inode index"
538
539 Enabled with the mount option or module option "index=on" or with the
540 kernel config option CONFIG_OVERLAY_FS_INDEX=y.
541
542 If this feature is disabled and a file with multiple hard links is copied
543 up, then this will "break" the link. Changes will not be propagated to
544 other names referring to the same inode.
545
546 3) "xino"
547
548 Enabled with the mount option "xino=auto" or "xino=on", with the module
549 option "xino_auto=on" or with the kernel config option
550 CONFIG_OVERLAY_FS_XINO_AUTO=y. Also implicitly enabled by using the same
551 underlying filesystem for all layers making up the overlay.
552
553 If this feature is disabled or the underlying filesystem doesn't have
554 enough free bits in the inode number, then overlayfs will not be able to
555 guarantee that the values of st_ino and st_dev returned by stat(2) and the
556 value of d_ino returned by readdir(3) will act like on a normal filesystem.
557 E.g. the value of st_dev may be different for two objects in the same
558 overlay filesystem and the value of st_ino for filesystem objects may not be
559 persistent and could change even while the overlay filesystem is mounted, as
560 summarized in the `Inode properties`_ table above.
561
562
563 Changes to underlying filesystems
564 ---------------------------------
565
566 Changes to the underlying filesystems while part of a mounted overlay
567 filesystem are not allowed. If the underlying filesystem is changed,
568 the behavior of the overlay is undefined, though it will not result in
569 a crash or deadlock.
570
571 Offline changes, when the overlay is not mounted, are allowed to the
572 upper tree. Offline changes to the lower tree are only allowed if the
573 "metadata only copy up", "inode index", "xino" and "redirect_dir" features
574 have not been used. If the lower tree is modified and any of these
575 features has been used, the behavior of the overlay is undefined,
576 though it will not result in a crash or deadlock.
577
578 When the overlay NFS export feature is enabled, overlay filesystems
579 behavior on offline changes of the underlying lower layer is different
580 than the behavior when NFS export is disabled.
581
582 On every copy_up, an NFS file handle of the lower inode, along with the
583 UUID of the lower filesystem, are encoded and stored in an extended
584 attribute "trusted.overlay.origin" on the upper inode.
585
586 When the NFS export feature is enabled, a lookup of a merged directory,
587 that found a lower directory at the lookup path or at the path pointed
588 to by the "trusted.overlay.redirect" extended attribute, will verify
589 that the found lower directory file handle and lower filesystem UUID
590 match the origin file handle that was stored at copy_up time. If a
591 found lower directory does not match the stored origin, that directory
592 will not be merged with the upper directory.
593
594
595
596 NFS export
597 ----------
598
599 When the underlying filesystems supports NFS export and the "nfs_export"
600 feature is enabled, an overlay filesystem may be exported to NFS.
601
602 With the "nfs_export" feature, on copy_up of any lower object, an index
603 entry is created under the index directory. The index entry name is the
604 hexadecimal representation of the copy up origin file handle. For a
605 non-directory object, the index entry is a hard link to the upper inode.
606 For a directory object, the index entry has an extended attribute
607 "trusted.overlay.upper" with an encoded file handle of the upper
608 directory inode.
609
610 When encoding a file handle from an overlay filesystem object, the
611 following rules apply:
612
613 1. For a non-upper object, encode a lower file handle from lower inode
614 2. For an indexed object, encode a lower file handle from copy_up origin
615 3. For a pure-upper object and for an existing non-indexed upper object,
616 encode an upper file handle from upper inode
617
618 The encoded overlay file handle includes:
619 - Header including path type information (e.g. lower/upper)
620 - UUID of the underlying filesystem
621 - Underlying filesystem encoding of underlying inode
622
623 This encoding format is identical to the encoding format file handles that
624 are stored in extended attribute "trusted.overlay.origin".
625
626 When decoding an overlay file handle, the following steps are followed:
627
628 1. Find underlying layer by UUID and path type information.
629 2. Decode the underlying filesystem file handle to underlying dentry.
630 3. For a lower file handle, lookup the handle in index directory by name.
631 4. If a whiteout is found in index, return ESTALE. This represents an
632 overlay object that was deleted after its file handle was encoded.
633 5. For a non-directory, instantiate a disconnected overlay dentry from the
634 decoded underlying dentry, the path type and index inode, if found.
635 6. For a directory, use the connected underlying decoded dentry, path type
636 and index, to lookup a connected overlay dentry.
637
638 Decoding a non-directory file handle may return a disconnected dentry.
639 copy_up of that disconnected dentry will create an upper index entry with
640 no upper alias.
641
642 When overlay filesystem has multiple lower layers, a middle layer
643 directory may have a "redirect" to lower directory. Because middle layer
644 "redirects" are not indexed, a lower file handle that was encoded from the
645 "redirect" origin directory, cannot be used to find the middle or upper
646 layer directory. Similarly, a lower file handle that was encoded from a
647 descendant of the "redirect" origin directory, cannot be used to
648 reconstruct a connected overlay path. To mitigate the cases of
649 directories that cannot be decoded from a lower file handle, these
650 directories are copied up on encode and encoded as an upper file handle.
651 On an overlay filesystem with no upper layer this mitigation cannot be
652 used NFS export in this setup requires turning off redirect follow (e.g.
653 "redirect_dir=nofollow").
654
655 The overlay filesystem does not support non-directory connectable file
656 handles, so exporting with the 'subtree_check' exportfs configuration will
657 cause failures to lookup files over NFS.
658
659 When the NFS export feature is enabled, all directory index entries are
660 verified on mount time to check that upper file handles are not stale.
661 This verification may cause significant overhead in some cases.
662
663 Note: the mount options index=off,nfs_export=on are conflicting for a
664 read-write mount and will result in an error.
665
666 Note: the mount option uuid=off can be used to replace UUID of the underlying
667 filesystem in file handles with null, and effectively disable UUID checks. This
668 can be useful in case the underlying disk is copied and the UUID of this copy
669 is changed. This is only applicable if all lower/upper/work directories are on
670 the same filesystem, otherwise it will fallback to normal behaviour.
671
672
673 UUID and fsid
674 -------------
675
676 The UUID of overlayfs instance itself and the fsid reported by statfs(2) are
677 controlled by the "uuid" mount option, which supports these values:
678
679 - "null":
680 UUID of overlayfs is null. fsid is taken from upper most filesystem.
681 - "off":
682 UUID of overlayfs is null. fsid is taken from upper most filesystem.
683 UUID of underlying layers is ignored.
684 - "on":
685 UUID of overlayfs is generated and used to report a unique fsid.
686 UUID is stored in xattr "trusted.overlay.uuid", making overlayfs fsid
687 unique and persistent. This option requires an overlayfs with upper
688 filesystem that supports xattrs.
689 - "auto": (default)
690 UUID is taken from xattr "trusted.overlay.uuid" if it exists.
691 Upgrade to "uuid=on" on first time mount of new overlay filesystem that
692 meets the prerequites.
693 Downgrade to "uuid=null" for existing overlay filesystems that were never
694 mounted with "uuid=on".
695
696
697 Volatile mount
698 --------------
699
700 This is enabled with the "volatile" mount option. Volatile mounts are not
701 guaranteed to survive a crash. It is strongly recommended that volatile
702 mounts are only used if data written to the overlay can be recreated
703 without significant effort.
704
705 The advantage of mounting with the "volatile" option is that all forms of
706 sync calls to the upper filesystem are omitted.
707
708 In order to avoid a giving a false sense of safety, the syncfs (and fsync)
709 semantics of volatile mounts are slightly different than that of the rest of
710 VFS. If any writeback error occurs on the upperdir's filesystem after a
711 volatile mount takes place, all sync functions will return an error. Once this
712 condition is reached, the filesystem will not recover, and every subsequent sync
713 call will return an error, even if the upperdir has not experience a new error
714 since the last sync call.
715
716 When overlay is mounted with "volatile" option, the directory
717 "$workdir/work/incompat/volatile" is created. During next mount, overlay
718 checks for this directory and refuses to mount if present. This is a strong
719 indicator that user should throw away upper and work directories and create
720 fresh one. In very limited cases where the user knows that the system has
721 not crashed and contents of upperdir are intact, The "volatile" directory
722 can be removed.
723
724
725 User xattr
726 ----------
727
728 The "-o userxattr" mount option forces overlayfs to use the
729 "user.overlay." xattr namespace instead of "trusted.overlay.". This is
730 useful for unprivileged mounting of overlayfs.
731
732
733 Testsuite
734 ---------
735
736 There's a testsuite originally developed by David Howells and currently
737 maintained by Amir Goldstein at:
738
739 https://github.com/amir73il/unionmount-testsuite.git
740
741 Run as root:
742
743 # cd unionmount-testsuite
744 # ./run --ov --verify