mirror of
https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git
synced 2024-08-26 10:49:33 +00:00
![Dmitry Monakhov](/assets/img/avatar_default.png)
__generic_block_fiemap may spin very long time for large sparse files. Without this patch an unprivileged user may abuse system resources simply by spawning a vast number of unkilable busyloops (works on ext2/ext3): truncate --size 1T test for ((i=0;i<1024;i++)) do filefrag test > /dev/null & done Signed-off-by: Dmitry Monakhov <dmonakhov@openvz.org> Cc: Theodore Ts'o <tytso@mit.edu> Cc: Al Viro <viro@zeniv.linux.org.uk> Cc: Michael Kerrisk <mtk.manpages@gmail.com> Signed-off-by: Andrew Morton <akpm@linux-foundation.org> Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
229 lines
9.5 KiB
Text
229 lines
9.5 KiB
Text
============
|
|
Fiemap Ioctl
|
|
============
|
|
|
|
The fiemap ioctl is an efficient method for userspace to get file
|
|
extent mappings. Instead of block-by-block mapping (such as bmap), fiemap
|
|
returns a list of extents.
|
|
|
|
|
|
Request Basics
|
|
--------------
|
|
|
|
A fiemap request is encoded within struct fiemap:
|
|
|
|
struct fiemap {
|
|
__u64 fm_start; /* logical offset (inclusive) at
|
|
* which to start mapping (in) */
|
|
__u64 fm_length; /* logical length of mapping which
|
|
* userspace cares about (in) */
|
|
__u32 fm_flags; /* FIEMAP_FLAG_* flags for request (in/out) */
|
|
__u32 fm_mapped_extents; /* number of extents that were
|
|
* mapped (out) */
|
|
__u32 fm_extent_count; /* size of fm_extents array (in) */
|
|
__u32 fm_reserved;
|
|
struct fiemap_extent fm_extents[0]; /* array of mapped extents (out) */
|
|
};
|
|
|
|
|
|
fm_start, and fm_length specify the logical range within the file
|
|
which the process would like mappings for. Extents returned mirror
|
|
those on disk - that is, the logical offset of the 1st returned extent
|
|
may start before fm_start, and the range covered by the last returned
|
|
extent may end after fm_length. All offsets and lengths are in bytes.
|
|
|
|
Certain flags to modify the way in which mappings are looked up can be
|
|
set in fm_flags. If the kernel doesn't understand some particular
|
|
flags, it will return EBADR and the contents of fm_flags will contain
|
|
the set of flags which caused the error. If the kernel is compatible
|
|
with all flags passed, the contents of fm_flags will be unmodified.
|
|
It is up to userspace to determine whether rejection of a particular
|
|
flag is fatal to its operation. This scheme is intended to allow the
|
|
fiemap interface to grow in the future but without losing
|
|
compatibility with old software.
|
|
|
|
fm_extent_count specifies the number of elements in the fm_extents[] array
|
|
that can be used to return extents. If fm_extent_count is zero, then the
|
|
fm_extents[] array is ignored (no extents will be returned), and the
|
|
fm_mapped_extents count will hold the number of extents needed in
|
|
fm_extents[] to hold the file's current mapping. Note that there is
|
|
nothing to prevent the file from changing between calls to FIEMAP.
|
|
|
|
The following flags can be set in fm_flags:
|
|
|
|
* FIEMAP_FLAG_SYNC
|
|
If this flag is set, the kernel will sync the file before mapping extents.
|
|
|
|
* FIEMAP_FLAG_XATTR
|
|
If this flag is set, the extents returned will describe the inodes
|
|
extended attribute lookup tree, instead of its data tree.
|
|
|
|
|
|
Extent Mapping
|
|
--------------
|
|
|
|
Extent information is returned within the embedded fm_extents array
|
|
which userspace must allocate along with the fiemap structure. The
|
|
number of elements in the fiemap_extents[] array should be passed via
|
|
fm_extent_count. The number of extents mapped by kernel will be
|
|
returned via fm_mapped_extents. If the number of fiemap_extents
|
|
allocated is less than would be required to map the requested range,
|
|
the maximum number of extents that can be mapped in the fm_extent[]
|
|
array will be returned and fm_mapped_extents will be equal to
|
|
fm_extent_count. In that case, the last extent in the array will not
|
|
complete the requested range and will not have the FIEMAP_EXTENT_LAST
|
|
flag set (see the next section on extent flags).
|
|
|
|
Each extent is described by a single fiemap_extent structure as
|
|
returned in fm_extents.
|
|
|
|
struct fiemap_extent {
|
|
__u64 fe_logical; /* logical offset in bytes for the start of
|
|
* the extent */
|
|
__u64 fe_physical; /* physical offset in bytes for the start
|
|
* of the extent */
|
|
__u64 fe_length; /* length in bytes for the extent */
|
|
__u64 fe_reserved64[2];
|
|
__u32 fe_flags; /* FIEMAP_EXTENT_* flags for this extent */
|
|
__u32 fe_reserved[3];
|
|
};
|
|
|
|
All offsets and lengths are in bytes and mirror those on disk. It is valid
|
|
for an extents logical offset to start before the request or its logical
|
|
length to extend past the request. Unless FIEMAP_EXTENT_NOT_ALIGNED is
|
|
returned, fe_logical, fe_physical, and fe_length will be aligned to the
|
|
block size of the file system. With the exception of extents flagged as
|
|
FIEMAP_EXTENT_MERGED, adjacent extents will not be merged.
|
|
|
|
The fe_flags field contains flags which describe the extent returned.
|
|
A special flag, FIEMAP_EXTENT_LAST is always set on the last extent in
|
|
the file so that the process making fiemap calls can determine when no
|
|
more extents are available, without having to call the ioctl again.
|
|
|
|
Some flags are intentionally vague and will always be set in the
|
|
presence of other more specific flags. This way a program looking for
|
|
a general property does not have to know all existing and future flags
|
|
which imply that property.
|
|
|
|
For example, if FIEMAP_EXTENT_DATA_INLINE or FIEMAP_EXTENT_DATA_TAIL
|
|
are set, FIEMAP_EXTENT_NOT_ALIGNED will also be set. A program looking
|
|
for inline or tail-packed data can key on the specific flag. Software
|
|
which simply cares not to try operating on non-aligned extents
|
|
however, can just key on FIEMAP_EXTENT_NOT_ALIGNED, and not have to
|
|
worry about all present and future flags which might imply unaligned
|
|
data. Note that the opposite is not true - it would be valid for
|
|
FIEMAP_EXTENT_NOT_ALIGNED to appear alone.
|
|
|
|
* FIEMAP_EXTENT_LAST
|
|
This is the last extent in the file. A mapping attempt past this
|
|
extent will return nothing.
|
|
|
|
* FIEMAP_EXTENT_UNKNOWN
|
|
The location of this extent is currently unknown. This may indicate
|
|
the data is stored on an inaccessible volume or that no storage has
|
|
been allocated for the file yet.
|
|
|
|
* FIEMAP_EXTENT_DELALLOC
|
|
- This will also set FIEMAP_EXTENT_UNKNOWN.
|
|
Delayed allocation - while there is data for this extent, its
|
|
physical location has not been allocated yet.
|
|
|
|
* FIEMAP_EXTENT_ENCODED
|
|
This extent does not consist of plain filesystem blocks but is
|
|
encoded (e.g. encrypted or compressed). Reading the data in this
|
|
extent via I/O to the block device will have undefined results.
|
|
|
|
Note that it is *always* undefined to try to update the data
|
|
in-place by writing to the indicated location without the
|
|
assistance of the filesystem, or to access the data using the
|
|
information returned by the FIEMAP interface while the filesystem
|
|
is mounted. In other words, user applications may only read the
|
|
extent data via I/O to the block device while the filesystem is
|
|
unmounted, and then only if the FIEMAP_EXTENT_ENCODED flag is
|
|
clear; user applications must not try reading or writing to the
|
|
filesystem via the block device under any other circumstances.
|
|
|
|
* FIEMAP_EXTENT_DATA_ENCRYPTED
|
|
- This will also set FIEMAP_EXTENT_ENCODED
|
|
The data in this extent has been encrypted by the file system.
|
|
|
|
* FIEMAP_EXTENT_NOT_ALIGNED
|
|
Extent offsets and length are not guaranteed to be block aligned.
|
|
|
|
* FIEMAP_EXTENT_DATA_INLINE
|
|
This will also set FIEMAP_EXTENT_NOT_ALIGNED
|
|
Data is located within a meta data block.
|
|
|
|
* FIEMAP_EXTENT_DATA_TAIL
|
|
This will also set FIEMAP_EXTENT_NOT_ALIGNED
|
|
Data is packed into a block with data from other files.
|
|
|
|
* FIEMAP_EXTENT_UNWRITTEN
|
|
Unwritten extent - the extent is allocated but its data has not been
|
|
initialized. This indicates the extent's data will be all zero if read
|
|
through the filesystem but the contents are undefined if read directly from
|
|
the device.
|
|
|
|
* FIEMAP_EXTENT_MERGED
|
|
This will be set when a file does not support extents, i.e., it uses a block
|
|
based addressing scheme. Since returning an extent for each block back to
|
|
userspace would be highly inefficient, the kernel will try to merge most
|
|
adjacent blocks into 'extents'.
|
|
|
|
|
|
VFS -> File System Implementation
|
|
---------------------------------
|
|
|
|
File systems wishing to support fiemap must implement a ->fiemap callback on
|
|
their inode_operations structure. The fs ->fiemap call is responsible for
|
|
defining its set of supported fiemap flags, and calling a helper function on
|
|
each discovered extent:
|
|
|
|
struct inode_operations {
|
|
...
|
|
|
|
int (*fiemap)(struct inode *, struct fiemap_extent_info *, u64 start,
|
|
u64 len);
|
|
|
|
->fiemap is passed struct fiemap_extent_info which describes the
|
|
fiemap request:
|
|
|
|
struct fiemap_extent_info {
|
|
unsigned int fi_flags; /* Flags as passed from user */
|
|
unsigned int fi_extents_mapped; /* Number of mapped extents */
|
|
unsigned int fi_extents_max; /* Size of fiemap_extent array */
|
|
struct fiemap_extent *fi_extents_start; /* Start of fiemap_extent array */
|
|
};
|
|
|
|
It is intended that the file system should not need to access any of this
|
|
structure directly. Filesystem handlers should be tolerant to signals and return
|
|
EINTR once fatal signal received.
|
|
|
|
|
|
Flag checking should be done at the beginning of the ->fiemap callback via the
|
|
fiemap_check_flags() helper:
|
|
|
|
int fiemap_check_flags(struct fiemap_extent_info *fieinfo, u32 fs_flags);
|
|
|
|
The struct fieinfo should be passed in as received from ioctl_fiemap(). The
|
|
set of fiemap flags which the fs understands should be passed via fs_flags. If
|
|
fiemap_check_flags finds invalid user flags, it will place the bad values in
|
|
fieinfo->fi_flags and return -EBADR. If the file system gets -EBADR, from
|
|
fiemap_check_flags(), it should immediately exit, returning that error back to
|
|
ioctl_fiemap().
|
|
|
|
|
|
For each extent in the request range, the file system should call
|
|
the helper function, fiemap_fill_next_extent():
|
|
|
|
int fiemap_fill_next_extent(struct fiemap_extent_info *info, u64 logical,
|
|
u64 phys, u64 len, u32 flags, u32 dev);
|
|
|
|
fiemap_fill_next_extent() will use the passed values to populate the
|
|
next free extent in the fm_extents array. 'General' extent flags will
|
|
automatically be set from specific flags on behalf of the calling file
|
|
system so that the userspace API is not broken.
|
|
|
|
fiemap_fill_next_extent() returns 0 on success, and 1 when the
|
|
user-supplied fm_extents array is full. If an error is encountered
|
|
while copying the extent to user memory, -EFAULT will be returned.
|