2018-04-03 17:23:33 +00:00
|
|
|
// SPDX-License-Identifier: GPL-2.0
|
2011-06-13 17:52:59 +00:00
|
|
|
/*
|
|
|
|
* Copyright (C) 2011 STRATO. All rights reserved.
|
|
|
|
*/
|
|
|
|
|
2017-05-31 17:32:09 +00:00
|
|
|
#include <linux/mm.h>
|
btrfs: fix check_shared for fiemap ioctl
Only in the case of different root_id or different object_id, check_shared
identified extent as the shared. However, If a extent was referred by
different offset of same file, it should also be identified as shared.
In addition, check_shared's loop scale is at least n^3, so if a extent
has too many references, even causes soft hang up.
First, add all delayed_ref to the ref_tree and calculate the unqiue_refs,
if the unique_refs is greater than one, return BACKREF_FOUND_SHARED.
Then individually add the on-disk reference(inline/keyed) to the ref_tree
and calculate the unique_refs of the ref_tree to check if the unique_refs
is greater than one.Because once there are two references to return
SHARED, so the time complexity is close to the constant.
Reported-by: Tsutomu Itoh <t-itoh@jp.fujitsu.com>
Signed-off-by: Lu Fengqi <lufq.fnst@cn.fujitsu.com>
Signed-off-by: David Sterba <dsterba@suse.com>
2016-06-13 01:36:46 +00:00
|
|
|
#include <linux/rbtree.h>
|
2017-07-12 22:20:08 +00:00
|
|
|
#include <trace/events/btrfs.h>
|
2011-06-13 17:52:59 +00:00
|
|
|
#include "ctree.h"
|
|
|
|
#include "disk-io.h"
|
|
|
|
#include "backref.h"
|
2011-11-23 17:55:04 +00:00
|
|
|
#include "ulist.h"
|
|
|
|
#include "transaction.h"
|
|
|
|
#include "delayed-ref.h"
|
2012-04-13 10:28:08 +00:00
|
|
|
#include "locking.h"
|
2011-06-13 17:52:59 +00:00
|
|
|
|
2014-09-10 20:20:45 +00:00
|
|
|
/* Just an arbitrary number so we can be sure this happened */
|
|
|
|
#define BACKREF_FOUND_SHARED 6
|
|
|
|
|
2012-05-17 14:43:03 +00:00
|
|
|
struct extent_inode_elem {
|
|
|
|
u64 inum;
|
|
|
|
u64 offset;
|
|
|
|
struct extent_inode_elem *next;
|
|
|
|
};
|
|
|
|
|
2017-06-29 03:56:55 +00:00
|
|
|
static int check_extent_in_eb(const struct btrfs_key *key,
|
|
|
|
const struct extent_buffer *eb,
|
|
|
|
const struct btrfs_file_extent_item *fi,
|
|
|
|
u64 extent_item_pos,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
struct extent_inode_elem **eie,
|
|
|
|
bool ignore_offset)
|
2012-05-17 14:43:03 +00:00
|
|
|
{
|
2013-07-05 17:58:19 +00:00
|
|
|
u64 offset = 0;
|
2012-05-17 14:43:03 +00:00
|
|
|
struct extent_inode_elem *e;
|
|
|
|
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
if (!ignore_offset &&
|
|
|
|
!btrfs_file_extent_compression(eb, fi) &&
|
2013-07-05 17:58:19 +00:00
|
|
|
!btrfs_file_extent_encryption(eb, fi) &&
|
|
|
|
!btrfs_file_extent_other_encoding(eb, fi)) {
|
|
|
|
u64 data_offset;
|
|
|
|
u64 data_len;
|
2012-05-17 14:43:03 +00:00
|
|
|
|
2013-07-05 17:58:19 +00:00
|
|
|
data_offset = btrfs_file_extent_offset(eb, fi);
|
|
|
|
data_len = btrfs_file_extent_num_bytes(eb, fi);
|
|
|
|
|
|
|
|
if (extent_item_pos < data_offset ||
|
|
|
|
extent_item_pos >= data_offset + data_len)
|
|
|
|
return 1;
|
|
|
|
offset = extent_item_pos - data_offset;
|
|
|
|
}
|
2012-05-17 14:43:03 +00:00
|
|
|
|
|
|
|
e = kmalloc(sizeof(*e), GFP_NOFS);
|
|
|
|
if (!e)
|
|
|
|
return -ENOMEM;
|
|
|
|
|
|
|
|
e->next = *eie;
|
|
|
|
e->inum = key->objectid;
|
2013-07-05 17:58:19 +00:00
|
|
|
e->offset = key->offset + offset;
|
2012-05-17 14:43:03 +00:00
|
|
|
*eie = e;
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2014-01-28 11:13:38 +00:00
|
|
|
static void free_inode_elem_list(struct extent_inode_elem *eie)
|
|
|
|
{
|
|
|
|
struct extent_inode_elem *eie_next;
|
|
|
|
|
|
|
|
for (; eie; eie = eie_next) {
|
|
|
|
eie_next = eie->next;
|
|
|
|
kfree(eie);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-06-29 03:56:55 +00:00
|
|
|
static int find_extent_in_eb(const struct extent_buffer *eb,
|
|
|
|
u64 wanted_disk_byte, u64 extent_item_pos,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
struct extent_inode_elem **eie,
|
|
|
|
bool ignore_offset)
|
2012-05-17 14:43:03 +00:00
|
|
|
{
|
|
|
|
u64 disk_byte;
|
|
|
|
struct btrfs_key key;
|
|
|
|
struct btrfs_file_extent_item *fi;
|
|
|
|
int slot;
|
|
|
|
int nritems;
|
|
|
|
int extent_type;
|
|
|
|
int ret;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* from the shared data ref, we only have the leaf but we need
|
|
|
|
* the key. thus, we must look into all items and see that we
|
|
|
|
* find one (some) with a reference to our extent item.
|
|
|
|
*/
|
|
|
|
nritems = btrfs_header_nritems(eb);
|
|
|
|
for (slot = 0; slot < nritems; ++slot) {
|
|
|
|
btrfs_item_key_to_cpu(eb, &key, slot);
|
|
|
|
if (key.type != BTRFS_EXTENT_DATA_KEY)
|
|
|
|
continue;
|
|
|
|
fi = btrfs_item_ptr(eb, slot, struct btrfs_file_extent_item);
|
|
|
|
extent_type = btrfs_file_extent_type(eb, fi);
|
|
|
|
if (extent_type == BTRFS_FILE_EXTENT_INLINE)
|
|
|
|
continue;
|
|
|
|
/* don't skip BTRFS_FILE_EXTENT_PREALLOC, we can handle that */
|
|
|
|
disk_byte = btrfs_file_extent_disk_bytenr(eb, fi);
|
|
|
|
if (disk_byte != wanted_disk_byte)
|
|
|
|
continue;
|
|
|
|
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
ret = check_extent_in_eb(&key, eb, fi, extent_item_pos, eie, ignore_offset);
|
2012-05-17 14:43:03 +00:00
|
|
|
if (ret < 0)
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2017-07-12 22:20:06 +00:00
|
|
|
struct preftree {
|
2018-08-22 19:51:53 +00:00
|
|
|
struct rb_root_cached root;
|
2017-07-12 22:20:07 +00:00
|
|
|
unsigned int count;
|
2017-07-12 22:20:06 +00:00
|
|
|
};
|
|
|
|
|
2018-08-22 19:51:53 +00:00
|
|
|
#define PREFTREE_INIT { .root = RB_ROOT_CACHED, .count = 0 }
|
2017-07-12 22:20:06 +00:00
|
|
|
|
|
|
|
struct preftrees {
|
|
|
|
struct preftree direct; /* BTRFS_SHARED_[DATA|BLOCK]_REF_KEY */
|
|
|
|
struct preftree indirect; /* BTRFS_[TREE_BLOCK|EXTENT_DATA]_REF_KEY */
|
|
|
|
struct preftree indirect_missing_keys;
|
|
|
|
};
|
|
|
|
|
2017-07-12 22:20:10 +00:00
|
|
|
/*
|
|
|
|
* Checks for a shared extent during backref search.
|
|
|
|
*
|
|
|
|
* The share_count tracks prelim_refs (direct and indirect) having a
|
|
|
|
* ref->count >0:
|
|
|
|
* - incremented when a ref->count transitions to >0
|
|
|
|
* - decremented when a ref->count transitions to <1
|
|
|
|
*/
|
|
|
|
struct share_check {
|
|
|
|
u64 root_objectid;
|
|
|
|
u64 inum;
|
|
|
|
int share_count;
|
|
|
|
};
|
|
|
|
|
|
|
|
static inline int extent_is_shared(struct share_check *sc)
|
|
|
|
{
|
|
|
|
return (sc && sc->share_count > 1) ? BACKREF_FOUND_SHARED : 0;
|
|
|
|
}
|
|
|
|
|
2013-08-09 05:25:36 +00:00
|
|
|
static struct kmem_cache *btrfs_prelim_ref_cache;
|
|
|
|
|
|
|
|
int __init btrfs_prelim_ref_init(void)
|
|
|
|
{
|
|
|
|
btrfs_prelim_ref_cache = kmem_cache_create("btrfs_prelim_ref",
|
2017-06-29 03:56:57 +00:00
|
|
|
sizeof(struct prelim_ref),
|
2013-08-09 05:25:36 +00:00
|
|
|
0,
|
2016-06-23 18:17:08 +00:00
|
|
|
SLAB_MEM_SPREAD,
|
2013-08-09 05:25:36 +00:00
|
|
|
NULL);
|
|
|
|
if (!btrfs_prelim_ref_cache)
|
|
|
|
return -ENOMEM;
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2018-02-19 16:24:18 +00:00
|
|
|
void __cold btrfs_prelim_ref_exit(void)
|
2013-08-09 05:25:36 +00:00
|
|
|
{
|
2016-01-29 13:36:35 +00:00
|
|
|
kmem_cache_destroy(btrfs_prelim_ref_cache);
|
2013-08-09 05:25:36 +00:00
|
|
|
}
|
|
|
|
|
2017-07-12 22:20:06 +00:00
|
|
|
static void free_pref(struct prelim_ref *ref)
|
|
|
|
{
|
|
|
|
kmem_cache_free(btrfs_prelim_ref_cache, ref);
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Return 0 when both refs are for the same block (and can be merged).
|
|
|
|
* A -1 return indicates ref1 is a 'lower' block than ref2, while 1
|
|
|
|
* indicates a 'higher' block.
|
|
|
|
*/
|
|
|
|
static int prelim_ref_compare(struct prelim_ref *ref1,
|
|
|
|
struct prelim_ref *ref2)
|
|
|
|
{
|
|
|
|
if (ref1->level < ref2->level)
|
|
|
|
return -1;
|
|
|
|
if (ref1->level > ref2->level)
|
|
|
|
return 1;
|
|
|
|
if (ref1->root_id < ref2->root_id)
|
|
|
|
return -1;
|
|
|
|
if (ref1->root_id > ref2->root_id)
|
|
|
|
return 1;
|
|
|
|
if (ref1->key_for_search.type < ref2->key_for_search.type)
|
|
|
|
return -1;
|
|
|
|
if (ref1->key_for_search.type > ref2->key_for_search.type)
|
|
|
|
return 1;
|
|
|
|
if (ref1->key_for_search.objectid < ref2->key_for_search.objectid)
|
|
|
|
return -1;
|
|
|
|
if (ref1->key_for_search.objectid > ref2->key_for_search.objectid)
|
|
|
|
return 1;
|
|
|
|
if (ref1->key_for_search.offset < ref2->key_for_search.offset)
|
|
|
|
return -1;
|
|
|
|
if (ref1->key_for_search.offset > ref2->key_for_search.offset)
|
|
|
|
return 1;
|
|
|
|
if (ref1->parent < ref2->parent)
|
|
|
|
return -1;
|
|
|
|
if (ref1->parent > ref2->parent)
|
|
|
|
return 1;
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2017-11-30 12:14:47 +00:00
|
|
|
static void update_share_count(struct share_check *sc, int oldcount,
|
|
|
|
int newcount)
|
2017-07-12 22:20:10 +00:00
|
|
|
{
|
|
|
|
if ((!sc) || (oldcount == 0 && newcount < 1))
|
|
|
|
return;
|
|
|
|
|
|
|
|
if (oldcount > 0 && newcount < 1)
|
|
|
|
sc->share_count--;
|
|
|
|
else if (oldcount < 1 && newcount > 0)
|
|
|
|
sc->share_count++;
|
|
|
|
}
|
|
|
|
|
2017-07-12 22:20:06 +00:00
|
|
|
/*
|
|
|
|
* Add @newref to the @root rbtree, merging identical refs.
|
|
|
|
*
|
2017-07-12 22:20:10 +00:00
|
|
|
* Callers should assume that newref has been freed after calling.
|
2017-07-12 22:20:06 +00:00
|
|
|
*/
|
2017-07-12 22:20:08 +00:00
|
|
|
static void prelim_ref_insert(const struct btrfs_fs_info *fs_info,
|
|
|
|
struct preftree *preftree,
|
2017-07-12 22:20:10 +00:00
|
|
|
struct prelim_ref *newref,
|
|
|
|
struct share_check *sc)
|
2017-07-12 22:20:06 +00:00
|
|
|
{
|
2018-08-22 19:51:53 +00:00
|
|
|
struct rb_root_cached *root;
|
2017-07-12 22:20:06 +00:00
|
|
|
struct rb_node **p;
|
|
|
|
struct rb_node *parent = NULL;
|
|
|
|
struct prelim_ref *ref;
|
|
|
|
int result;
|
2018-08-22 19:51:53 +00:00
|
|
|
bool leftmost = true;
|
2017-07-12 22:20:06 +00:00
|
|
|
|
|
|
|
root = &preftree->root;
|
2018-08-22 19:51:53 +00:00
|
|
|
p = &root->rb_root.rb_node;
|
2017-07-12 22:20:06 +00:00
|
|
|
|
|
|
|
while (*p) {
|
|
|
|
parent = *p;
|
|
|
|
ref = rb_entry(parent, struct prelim_ref, rbnode);
|
|
|
|
result = prelim_ref_compare(ref, newref);
|
|
|
|
if (result < 0) {
|
|
|
|
p = &(*p)->rb_left;
|
|
|
|
} else if (result > 0) {
|
|
|
|
p = &(*p)->rb_right;
|
2018-08-22 19:51:53 +00:00
|
|
|
leftmost = false;
|
2017-07-12 22:20:06 +00:00
|
|
|
} else {
|
|
|
|
/* Identical refs, merge them and free @newref */
|
|
|
|
struct extent_inode_elem *eie = ref->inode_list;
|
|
|
|
|
|
|
|
while (eie && eie->next)
|
|
|
|
eie = eie->next;
|
|
|
|
|
|
|
|
if (!eie)
|
|
|
|
ref->inode_list = newref->inode_list;
|
|
|
|
else
|
|
|
|
eie->next = newref->inode_list;
|
2017-07-12 22:20:08 +00:00
|
|
|
trace_btrfs_prelim_ref_merge(fs_info, ref, newref,
|
|
|
|
preftree->count);
|
2017-07-12 22:20:10 +00:00
|
|
|
/*
|
|
|
|
* A delayed ref can have newref->count < 0.
|
|
|
|
* The ref->count is updated to follow any
|
|
|
|
* BTRFS_[ADD|DROP]_DELAYED_REF actions.
|
|
|
|
*/
|
|
|
|
update_share_count(sc, ref->count,
|
|
|
|
ref->count + newref->count);
|
2017-07-12 22:20:06 +00:00
|
|
|
ref->count += newref->count;
|
|
|
|
free_pref(newref);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-07-12 22:20:10 +00:00
|
|
|
update_share_count(sc, 0, newref->count);
|
2017-07-12 22:20:07 +00:00
|
|
|
preftree->count++;
|
2017-07-12 22:20:08 +00:00
|
|
|
trace_btrfs_prelim_ref_insert(fs_info, newref, NULL, preftree->count);
|
2017-07-12 22:20:06 +00:00
|
|
|
rb_link_node(&newref->rbnode, parent, p);
|
2018-08-22 19:51:53 +00:00
|
|
|
rb_insert_color_cached(&newref->rbnode, root, leftmost);
|
2017-07-12 22:20:06 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Release the entire tree. We don't care about internal consistency so
|
|
|
|
* just free everything and then reset the tree root.
|
|
|
|
*/
|
|
|
|
static void prelim_release(struct preftree *preftree)
|
|
|
|
{
|
|
|
|
struct prelim_ref *ref, *next_ref;
|
|
|
|
|
2018-08-22 19:51:53 +00:00
|
|
|
rbtree_postorder_for_each_entry_safe(ref, next_ref,
|
|
|
|
&preftree->root.rb_root, rbnode)
|
2017-07-12 22:20:06 +00:00
|
|
|
free_pref(ref);
|
|
|
|
|
2018-08-22 19:51:53 +00:00
|
|
|
preftree->root = RB_ROOT_CACHED;
|
2017-07-12 22:20:07 +00:00
|
|
|
preftree->count = 0;
|
2017-07-12 22:20:06 +00:00
|
|
|
}
|
|
|
|
|
2012-05-15 15:55:51 +00:00
|
|
|
/*
|
|
|
|
* the rules for all callers of this function are:
|
|
|
|
* - obtaining the parent is the goal
|
|
|
|
* - if you add a key, you must know that it is a correct key
|
|
|
|
* - if you cannot add the parent or a correct key, then we will look into the
|
|
|
|
* block later to set a correct key
|
|
|
|
*
|
|
|
|
* delayed refs
|
|
|
|
* ============
|
|
|
|
* backref type | shared | indirect | shared | indirect
|
|
|
|
* information | tree | tree | data | data
|
|
|
|
* --------------------+--------+----------+--------+----------
|
|
|
|
* parent logical | y | - | - | -
|
|
|
|
* key to resolve | - | y | y | y
|
|
|
|
* tree block logical | - | - | - | -
|
|
|
|
* root for resolving | y | y | y | y
|
|
|
|
*
|
|
|
|
* - column 1: we've the parent -> done
|
|
|
|
* - column 2, 3, 4: we use the key to find the parent
|
|
|
|
*
|
|
|
|
* on disk refs (inline or keyed)
|
|
|
|
* ==============================
|
|
|
|
* backref type | shared | indirect | shared | indirect
|
|
|
|
* information | tree | tree | data | data
|
|
|
|
* --------------------+--------+----------+--------+----------
|
|
|
|
* parent logical | y | - | y | -
|
|
|
|
* key to resolve | - | - | - | y
|
|
|
|
* tree block logical | y | y | y | y
|
|
|
|
* root for resolving | - | y | y | y
|
|
|
|
*
|
|
|
|
* - column 1, 3: we've the parent -> done
|
|
|
|
* - column 2: we take the first key from the block to find the parent
|
2017-06-29 03:56:57 +00:00
|
|
|
* (see add_missing_keys)
|
2012-05-15 15:55:51 +00:00
|
|
|
* - column 4: we use the key to find the parent
|
|
|
|
*
|
|
|
|
* additional information that's available but not required to find the parent
|
|
|
|
* block might help in merging entries to gain some speed.
|
|
|
|
*/
|
2017-07-12 22:20:08 +00:00
|
|
|
static int add_prelim_ref(const struct btrfs_fs_info *fs_info,
|
|
|
|
struct preftree *preftree, u64 root_id,
|
2017-06-29 03:56:57 +00:00
|
|
|
const struct btrfs_key *key, int level, u64 parent,
|
2017-07-12 22:20:10 +00:00
|
|
|
u64 wanted_disk_byte, int count,
|
|
|
|
struct share_check *sc, gfp_t gfp_mask)
|
2011-11-23 17:55:04 +00:00
|
|
|
{
|
2017-06-29 03:56:57 +00:00
|
|
|
struct prelim_ref *ref;
|
2011-11-23 17:55:04 +00:00
|
|
|
|
2013-10-30 05:25:24 +00:00
|
|
|
if (root_id == BTRFS_DATA_RELOC_TREE_OBJECTID)
|
|
|
|
return 0;
|
|
|
|
|
2013-08-09 05:25:36 +00:00
|
|
|
ref = kmem_cache_alloc(btrfs_prelim_ref_cache, gfp_mask);
|
2011-11-23 17:55:04 +00:00
|
|
|
if (!ref)
|
|
|
|
return -ENOMEM;
|
|
|
|
|
|
|
|
ref->root_id = root_id;
|
Btrfs: teach backref walking about backrefs with underflowed offset values
When cloning/deduplicating file extents (through the clone and extent_same
ioctls) we can get data back references with offset values that are a
result of an unsigned integer arithmetic underflow, that is, values that
are much larger then they could be otherwise.
This is not a problem when decrementing or dropping the back references
(happens when we overwrite the extents or punch a hole for example, through
__btrfs_drop_extents()), since we compute the same too large offset value,
but it is a problem for the backref walking code, used by an incremental
send and the ioctls that are used by the btrfs tool "inspect-internal"
commands, as it makes it miss the corresponding file extent items because
the search key is set for an extent item that starts at an offset matching
the exceptionally large offset value of the data back reference. For an
incremental send this causes the send ioctl to fail with -EIO.
So teach the backref walking code to deal with these cases by setting the
search key's offset to 0 if the backref's offset value is larger than
LLONG_MAX (the largest possible file offset). This makes sure the backref
walking code finds the corresponding file extent items at the expense of
scanning more items and leafs in the btree.
Fixing the clone/dedup ioctls to not produce such underflowed results would
require major changes breaking backward compatibility, updating user space
tools, etc.
Simple reproducer case for fstests:
seq=`basename $0`
seqres=$RESULT_DIR/$seq
echo "QA output created by $seq"
tmp=/tmp/$$
status=1 # failure is the default!
trap "_cleanup; exit \$status" 0 1 2 3 15
_cleanup()
{
rm -fr $send_files_dir
rm -f $tmp.*
}
# get standard environment, filters and checks
. ./common/rc
. ./common/filter
# real QA test starts here
_supported_fs btrfs
_supported_os Linux
_require_scratch
_require_cloner
_need_to_be_root
send_files_dir=$TEST_DIR/btrfs-test-$seq
rm -f $seqres.full
rm -fr $send_files_dir
mkdir $send_files_dir
_scratch_mkfs >>$seqres.full 2>&1
_scratch_mount
# Create our test file with a single extent of 64K starting at file
# offset 128K.
$XFS_IO_PROG -f -c "pwrite -S 0xaa 128K 64K" $SCRATCH_MNT/foo \
| _filter_xfs_io
_run_btrfs_util_prog subvolume snapshot -r $SCRATCH_MNT \
$SCRATCH_MNT/mysnap1
# Now clone parts of the original extent into lower offsets of the file.
#
# The first clone operation adds a file extent item to file offset 0
# that points to our initial extent with a data offset of 16K. The
# corresponding data back reference in the extent tree has an offset of
# 18446744073709535232, which is the result of file_offset - data_offset
# = 0 - 16K.
#
# The second clone operation adds a file extent item to file offset 16K
# that points to our initial extent with a data offset of 48K. The
# corresponding data back reference in the extent tree has an offset of
# 18446744073709518848, which is the result of file_offset - data_offset
# = 16K - 48K.
#
# Those large back reference offsets (result of unsigned arithmetic
# underflow) confused the back reference walking code (used by an
# incremental send and the multiple inspect-internal ioctls) and made it
# miss the back references, which for the case of an incremental send it
# made it fail with -EIO and print a message like the following to
# dmesg:
#
# "BTRFS error (device sdc): did not find backref in send_root. \
# inode=257, offset=0, disk_byte=12845056 found extent=12845056"
#
$CLONER_PROG -s $(((128 + 16) * 1024)) -d 0 -l $((16 * 1024)) \
$SCRATCH_MNT/foo $SCRATCH_MNT/foo
$CLONER_PROG -s $(((128 + 48) * 1024)) -d $((16 * 1024)) \
-l $((16 * 1024)) $SCRATCH_MNT/foo $SCRATCH_MNT/foo
_run_btrfs_util_prog subvolume snapshot -r $SCRATCH_MNT \
$SCRATCH_MNT/mysnap2
_run_btrfs_util_prog send $SCRATCH_MNT/mysnap1 -f $send_files_dir/1.snap
_run_btrfs_util_prog send -p $SCRATCH_MNT/mysnap1 $SCRATCH_MNT/mysnap2 \
-f $send_files_dir/2.snap
echo "File digest in the original filesystem:"
md5sum $SCRATCH_MNT/mysnap2/foo | _filter_scratch
# Now recreate the filesystem by receiving both send streams and verify
# we get the same file contents that the original filesystem had.
_scratch_unmount
_scratch_mkfs >>$seqres.full 2>&1
_scratch_mount
_run_btrfs_util_prog receive $SCRATCH_MNT -f $send_files_dir/1.snap
_run_btrfs_util_prog receive $SCRATCH_MNT -f $send_files_dir/2.snap
echo "File digest in the new filesystem:"
md5sum $SCRATCH_MNT/mysnap2/foo | _filter_scratch
status=0
exit
The test's expected golden output is:
wrote 65536/65536 bytes at offset 131072
XXX Bytes, X ops; XX:XX:XX.X (XXX YYY/sec and XXX ops/sec)
File digest in the original filesystem:
6c6079335cff141b8a31233ead04cbff SCRATCH_MNT/mysnap2/foo
File digest in the new filesystem:
6c6079335cff141b8a31233ead04cbff SCRATCH_MNT/mysnap2/foo
But it failed with:
(...)
@@ -1,7 +1,5 @@
QA output created by 097
wrote 65536/65536 bytes at offset 131072
XXX Bytes, X ops; XX:XX:XX.X (XXX YYY/sec and XXX ops/sec)
-File digest in the original filesystem:
-6c6079335cff141b8a31233ead04cbff SCRATCH_MNT/mysnap2/foo
-File digest in the new filesystem:
-6c6079335cff141b8a31233ead04cbff SCRATCH_MNT/mysnap2/foo
...
$ cat /home/fdmanana/git/hub/xfstests/results//btrfs/097.full
(...)
ERROR: send ioctl failed with -5: Input/output error
Signed-off-by: Filipe Manana <fdmanana@suse.com>
Signed-off-by: Chris Mason <clm@fb.com>
2015-07-29 16:21:17 +00:00
|
|
|
if (key) {
|
2012-05-15 15:55:51 +00:00
|
|
|
ref->key_for_search = *key;
|
Btrfs: teach backref walking about backrefs with underflowed offset values
When cloning/deduplicating file extents (through the clone and extent_same
ioctls) we can get data back references with offset values that are a
result of an unsigned integer arithmetic underflow, that is, values that
are much larger then they could be otherwise.
This is not a problem when decrementing or dropping the back references
(happens when we overwrite the extents or punch a hole for example, through
__btrfs_drop_extents()), since we compute the same too large offset value,
but it is a problem for the backref walking code, used by an incremental
send and the ioctls that are used by the btrfs tool "inspect-internal"
commands, as it makes it miss the corresponding file extent items because
the search key is set for an extent item that starts at an offset matching
the exceptionally large offset value of the data back reference. For an
incremental send this causes the send ioctl to fail with -EIO.
So teach the backref walking code to deal with these cases by setting the
search key's offset to 0 if the backref's offset value is larger than
LLONG_MAX (the largest possible file offset). This makes sure the backref
walking code finds the corresponding file extent items at the expense of
scanning more items and leafs in the btree.
Fixing the clone/dedup ioctls to not produce such underflowed results would
require major changes breaking backward compatibility, updating user space
tools, etc.
Simple reproducer case for fstests:
seq=`basename $0`
seqres=$RESULT_DIR/$seq
echo "QA output created by $seq"
tmp=/tmp/$$
status=1 # failure is the default!
trap "_cleanup; exit \$status" 0 1 2 3 15
_cleanup()
{
rm -fr $send_files_dir
rm -f $tmp.*
}
# get standard environment, filters and checks
. ./common/rc
. ./common/filter
# real QA test starts here
_supported_fs btrfs
_supported_os Linux
_require_scratch
_require_cloner
_need_to_be_root
send_files_dir=$TEST_DIR/btrfs-test-$seq
rm -f $seqres.full
rm -fr $send_files_dir
mkdir $send_files_dir
_scratch_mkfs >>$seqres.full 2>&1
_scratch_mount
# Create our test file with a single extent of 64K starting at file
# offset 128K.
$XFS_IO_PROG -f -c "pwrite -S 0xaa 128K 64K" $SCRATCH_MNT/foo \
| _filter_xfs_io
_run_btrfs_util_prog subvolume snapshot -r $SCRATCH_MNT \
$SCRATCH_MNT/mysnap1
# Now clone parts of the original extent into lower offsets of the file.
#
# The first clone operation adds a file extent item to file offset 0
# that points to our initial extent with a data offset of 16K. The
# corresponding data back reference in the extent tree has an offset of
# 18446744073709535232, which is the result of file_offset - data_offset
# = 0 - 16K.
#
# The second clone operation adds a file extent item to file offset 16K
# that points to our initial extent with a data offset of 48K. The
# corresponding data back reference in the extent tree has an offset of
# 18446744073709518848, which is the result of file_offset - data_offset
# = 16K - 48K.
#
# Those large back reference offsets (result of unsigned arithmetic
# underflow) confused the back reference walking code (used by an
# incremental send and the multiple inspect-internal ioctls) and made it
# miss the back references, which for the case of an incremental send it
# made it fail with -EIO and print a message like the following to
# dmesg:
#
# "BTRFS error (device sdc): did not find backref in send_root. \
# inode=257, offset=0, disk_byte=12845056 found extent=12845056"
#
$CLONER_PROG -s $(((128 + 16) * 1024)) -d 0 -l $((16 * 1024)) \
$SCRATCH_MNT/foo $SCRATCH_MNT/foo
$CLONER_PROG -s $(((128 + 48) * 1024)) -d $((16 * 1024)) \
-l $((16 * 1024)) $SCRATCH_MNT/foo $SCRATCH_MNT/foo
_run_btrfs_util_prog subvolume snapshot -r $SCRATCH_MNT \
$SCRATCH_MNT/mysnap2
_run_btrfs_util_prog send $SCRATCH_MNT/mysnap1 -f $send_files_dir/1.snap
_run_btrfs_util_prog send -p $SCRATCH_MNT/mysnap1 $SCRATCH_MNT/mysnap2 \
-f $send_files_dir/2.snap
echo "File digest in the original filesystem:"
md5sum $SCRATCH_MNT/mysnap2/foo | _filter_scratch
# Now recreate the filesystem by receiving both send streams and verify
# we get the same file contents that the original filesystem had.
_scratch_unmount
_scratch_mkfs >>$seqres.full 2>&1
_scratch_mount
_run_btrfs_util_prog receive $SCRATCH_MNT -f $send_files_dir/1.snap
_run_btrfs_util_prog receive $SCRATCH_MNT -f $send_files_dir/2.snap
echo "File digest in the new filesystem:"
md5sum $SCRATCH_MNT/mysnap2/foo | _filter_scratch
status=0
exit
The test's expected golden output is:
wrote 65536/65536 bytes at offset 131072
XXX Bytes, X ops; XX:XX:XX.X (XXX YYY/sec and XXX ops/sec)
File digest in the original filesystem:
6c6079335cff141b8a31233ead04cbff SCRATCH_MNT/mysnap2/foo
File digest in the new filesystem:
6c6079335cff141b8a31233ead04cbff SCRATCH_MNT/mysnap2/foo
But it failed with:
(...)
@@ -1,7 +1,5 @@
QA output created by 097
wrote 65536/65536 bytes at offset 131072
XXX Bytes, X ops; XX:XX:XX.X (XXX YYY/sec and XXX ops/sec)
-File digest in the original filesystem:
-6c6079335cff141b8a31233ead04cbff SCRATCH_MNT/mysnap2/foo
-File digest in the new filesystem:
-6c6079335cff141b8a31233ead04cbff SCRATCH_MNT/mysnap2/foo
...
$ cat /home/fdmanana/git/hub/xfstests/results//btrfs/097.full
(...)
ERROR: send ioctl failed with -5: Input/output error
Signed-off-by: Filipe Manana <fdmanana@suse.com>
Signed-off-by: Chris Mason <clm@fb.com>
2015-07-29 16:21:17 +00:00
|
|
|
/*
|
|
|
|
* We can often find data backrefs with an offset that is too
|
|
|
|
* large (>= LLONG_MAX, maximum allowed file offset) due to
|
|
|
|
* underflows when subtracting a file's offset with the data
|
|
|
|
* offset of its corresponding extent data item. This can
|
|
|
|
* happen for example in the clone ioctl.
|
|
|
|
* So if we detect such case we set the search key's offset to
|
|
|
|
* zero to make sure we will find the matching file extent item
|
|
|
|
* at add_all_parents(), otherwise we will miss it because the
|
|
|
|
* offset taken form the backref is much larger then the offset
|
|
|
|
* of the file extent item. This can make us scan a very large
|
|
|
|
* number of file extent items, but at least it will not make
|
|
|
|
* us miss any.
|
|
|
|
* This is an ugly workaround for a behaviour that should have
|
|
|
|
* never existed, but it does and a fix for the clone ioctl
|
|
|
|
* would touch a lot of places, cause backwards incompatibility
|
|
|
|
* and would not fix the problem for extents cloned with older
|
|
|
|
* kernels.
|
|
|
|
*/
|
|
|
|
if (ref->key_for_search.type == BTRFS_EXTENT_DATA_KEY &&
|
|
|
|
ref->key_for_search.offset >= LLONG_MAX)
|
|
|
|
ref->key_for_search.offset = 0;
|
|
|
|
} else {
|
2012-05-15 15:55:51 +00:00
|
|
|
memset(&ref->key_for_search, 0, sizeof(ref->key_for_search));
|
Btrfs: teach backref walking about backrefs with underflowed offset values
When cloning/deduplicating file extents (through the clone and extent_same
ioctls) we can get data back references with offset values that are a
result of an unsigned integer arithmetic underflow, that is, values that
are much larger then they could be otherwise.
This is not a problem when decrementing or dropping the back references
(happens when we overwrite the extents or punch a hole for example, through
__btrfs_drop_extents()), since we compute the same too large offset value,
but it is a problem for the backref walking code, used by an incremental
send and the ioctls that are used by the btrfs tool "inspect-internal"
commands, as it makes it miss the corresponding file extent items because
the search key is set for an extent item that starts at an offset matching
the exceptionally large offset value of the data back reference. For an
incremental send this causes the send ioctl to fail with -EIO.
So teach the backref walking code to deal with these cases by setting the
search key's offset to 0 if the backref's offset value is larger than
LLONG_MAX (the largest possible file offset). This makes sure the backref
walking code finds the corresponding file extent items at the expense of
scanning more items and leafs in the btree.
Fixing the clone/dedup ioctls to not produce such underflowed results would
require major changes breaking backward compatibility, updating user space
tools, etc.
Simple reproducer case for fstests:
seq=`basename $0`
seqres=$RESULT_DIR/$seq
echo "QA output created by $seq"
tmp=/tmp/$$
status=1 # failure is the default!
trap "_cleanup; exit \$status" 0 1 2 3 15
_cleanup()
{
rm -fr $send_files_dir
rm -f $tmp.*
}
# get standard environment, filters and checks
. ./common/rc
. ./common/filter
# real QA test starts here
_supported_fs btrfs
_supported_os Linux
_require_scratch
_require_cloner
_need_to_be_root
send_files_dir=$TEST_DIR/btrfs-test-$seq
rm -f $seqres.full
rm -fr $send_files_dir
mkdir $send_files_dir
_scratch_mkfs >>$seqres.full 2>&1
_scratch_mount
# Create our test file with a single extent of 64K starting at file
# offset 128K.
$XFS_IO_PROG -f -c "pwrite -S 0xaa 128K 64K" $SCRATCH_MNT/foo \
| _filter_xfs_io
_run_btrfs_util_prog subvolume snapshot -r $SCRATCH_MNT \
$SCRATCH_MNT/mysnap1
# Now clone parts of the original extent into lower offsets of the file.
#
# The first clone operation adds a file extent item to file offset 0
# that points to our initial extent with a data offset of 16K. The
# corresponding data back reference in the extent tree has an offset of
# 18446744073709535232, which is the result of file_offset - data_offset
# = 0 - 16K.
#
# The second clone operation adds a file extent item to file offset 16K
# that points to our initial extent with a data offset of 48K. The
# corresponding data back reference in the extent tree has an offset of
# 18446744073709518848, which is the result of file_offset - data_offset
# = 16K - 48K.
#
# Those large back reference offsets (result of unsigned arithmetic
# underflow) confused the back reference walking code (used by an
# incremental send and the multiple inspect-internal ioctls) and made it
# miss the back references, which for the case of an incremental send it
# made it fail with -EIO and print a message like the following to
# dmesg:
#
# "BTRFS error (device sdc): did not find backref in send_root. \
# inode=257, offset=0, disk_byte=12845056 found extent=12845056"
#
$CLONER_PROG -s $(((128 + 16) * 1024)) -d 0 -l $((16 * 1024)) \
$SCRATCH_MNT/foo $SCRATCH_MNT/foo
$CLONER_PROG -s $(((128 + 48) * 1024)) -d $((16 * 1024)) \
-l $((16 * 1024)) $SCRATCH_MNT/foo $SCRATCH_MNT/foo
_run_btrfs_util_prog subvolume snapshot -r $SCRATCH_MNT \
$SCRATCH_MNT/mysnap2
_run_btrfs_util_prog send $SCRATCH_MNT/mysnap1 -f $send_files_dir/1.snap
_run_btrfs_util_prog send -p $SCRATCH_MNT/mysnap1 $SCRATCH_MNT/mysnap2 \
-f $send_files_dir/2.snap
echo "File digest in the original filesystem:"
md5sum $SCRATCH_MNT/mysnap2/foo | _filter_scratch
# Now recreate the filesystem by receiving both send streams and verify
# we get the same file contents that the original filesystem had.
_scratch_unmount
_scratch_mkfs >>$seqres.full 2>&1
_scratch_mount
_run_btrfs_util_prog receive $SCRATCH_MNT -f $send_files_dir/1.snap
_run_btrfs_util_prog receive $SCRATCH_MNT -f $send_files_dir/2.snap
echo "File digest in the new filesystem:"
md5sum $SCRATCH_MNT/mysnap2/foo | _filter_scratch
status=0
exit
The test's expected golden output is:
wrote 65536/65536 bytes at offset 131072
XXX Bytes, X ops; XX:XX:XX.X (XXX YYY/sec and XXX ops/sec)
File digest in the original filesystem:
6c6079335cff141b8a31233ead04cbff SCRATCH_MNT/mysnap2/foo
File digest in the new filesystem:
6c6079335cff141b8a31233ead04cbff SCRATCH_MNT/mysnap2/foo
But it failed with:
(...)
@@ -1,7 +1,5 @@
QA output created by 097
wrote 65536/65536 bytes at offset 131072
XXX Bytes, X ops; XX:XX:XX.X (XXX YYY/sec and XXX ops/sec)
-File digest in the original filesystem:
-6c6079335cff141b8a31233ead04cbff SCRATCH_MNT/mysnap2/foo
-File digest in the new filesystem:
-6c6079335cff141b8a31233ead04cbff SCRATCH_MNT/mysnap2/foo
...
$ cat /home/fdmanana/git/hub/xfstests/results//btrfs/097.full
(...)
ERROR: send ioctl failed with -5: Input/output error
Signed-off-by: Filipe Manana <fdmanana@suse.com>
Signed-off-by: Chris Mason <clm@fb.com>
2015-07-29 16:21:17 +00:00
|
|
|
}
|
2011-11-23 17:55:04 +00:00
|
|
|
|
2012-05-30 16:05:21 +00:00
|
|
|
ref->inode_list = NULL;
|
2011-11-23 17:55:04 +00:00
|
|
|
ref->level = level;
|
|
|
|
ref->count = count;
|
|
|
|
ref->parent = parent;
|
|
|
|
ref->wanted_disk_byte = wanted_disk_byte;
|
2017-07-12 22:20:10 +00:00
|
|
|
prelim_ref_insert(fs_info, preftree, ref, sc);
|
|
|
|
return extent_is_shared(sc);
|
2011-11-23 17:55:04 +00:00
|
|
|
}
|
|
|
|
|
2017-07-12 22:20:06 +00:00
|
|
|
/* direct refs use root == 0, key == NULL */
|
2017-07-12 22:20:08 +00:00
|
|
|
static int add_direct_ref(const struct btrfs_fs_info *fs_info,
|
|
|
|
struct preftrees *preftrees, int level, u64 parent,
|
2017-07-12 22:20:10 +00:00
|
|
|
u64 wanted_disk_byte, int count,
|
|
|
|
struct share_check *sc, gfp_t gfp_mask)
|
2017-07-12 22:20:06 +00:00
|
|
|
{
|
2017-07-12 22:20:08 +00:00
|
|
|
return add_prelim_ref(fs_info, &preftrees->direct, 0, NULL, level,
|
2017-07-12 22:20:10 +00:00
|
|
|
parent, wanted_disk_byte, count, sc, gfp_mask);
|
2017-07-12 22:20:06 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/* indirect refs use parent == 0 */
|
2017-07-12 22:20:08 +00:00
|
|
|
static int add_indirect_ref(const struct btrfs_fs_info *fs_info,
|
|
|
|
struct preftrees *preftrees, u64 root_id,
|
2017-07-12 22:20:06 +00:00
|
|
|
const struct btrfs_key *key, int level,
|
2017-07-12 22:20:10 +00:00
|
|
|
u64 wanted_disk_byte, int count,
|
|
|
|
struct share_check *sc, gfp_t gfp_mask)
|
2017-07-12 22:20:06 +00:00
|
|
|
{
|
|
|
|
struct preftree *tree = &preftrees->indirect;
|
|
|
|
|
|
|
|
if (!key)
|
|
|
|
tree = &preftrees->indirect_missing_keys;
|
2017-07-12 22:20:08 +00:00
|
|
|
return add_prelim_ref(fs_info, tree, root_id, key, level, 0,
|
2017-07-12 22:20:10 +00:00
|
|
|
wanted_disk_byte, count, sc, gfp_mask);
|
2017-07-12 22:20:06 +00:00
|
|
|
}
|
|
|
|
|
2011-11-23 17:55:04 +00:00
|
|
|
static int add_all_parents(struct btrfs_root *root, struct btrfs_path *path,
|
2017-06-29 03:56:57 +00:00
|
|
|
struct ulist *parents, struct prelim_ref *ref,
|
2014-03-19 17:35:14 +00:00
|
|
|
int level, u64 time_seq, const u64 *extent_item_pos,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
u64 total_refs, bool ignore_offset)
|
2011-11-23 17:55:04 +00:00
|
|
|
{
|
2012-06-19 13:42:26 +00:00
|
|
|
int ret = 0;
|
|
|
|
int slot;
|
|
|
|
struct extent_buffer *eb;
|
|
|
|
struct btrfs_key key;
|
2014-01-24 19:05:42 +00:00
|
|
|
struct btrfs_key *key_for_search = &ref->key_for_search;
|
2011-11-23 17:55:04 +00:00
|
|
|
struct btrfs_file_extent_item *fi;
|
2013-07-05 18:03:47 +00:00
|
|
|
struct extent_inode_elem *eie = NULL, *old = NULL;
|
2011-11-23 17:55:04 +00:00
|
|
|
u64 disk_byte;
|
2014-01-24 19:05:42 +00:00
|
|
|
u64 wanted_disk_byte = ref->wanted_disk_byte;
|
|
|
|
u64 count = 0;
|
2011-11-23 17:55:04 +00:00
|
|
|
|
2012-06-19 13:42:26 +00:00
|
|
|
if (level != 0) {
|
|
|
|
eb = path->nodes[level];
|
|
|
|
ret = ulist_add(parents, eb->start, 0, GFP_NOFS);
|
2012-05-30 16:05:21 +00:00
|
|
|
if (ret < 0)
|
|
|
|
return ret;
|
2011-11-23 17:55:04 +00:00
|
|
|
return 0;
|
2012-06-19 13:42:26 +00:00
|
|
|
}
|
2011-11-23 17:55:04 +00:00
|
|
|
|
|
|
|
/*
|
2012-06-19 13:42:26 +00:00
|
|
|
* We normally enter this function with the path already pointing to
|
|
|
|
* the first item to check. But sometimes, we may enter it with
|
|
|
|
* slot==nritems. In that case, go to the next leaf before we continue.
|
2011-11-23 17:55:04 +00:00
|
|
|
*/
|
2015-04-16 06:54:50 +00:00
|
|
|
if (path->slots[0] >= btrfs_header_nritems(path->nodes[0])) {
|
2017-03-16 16:04:34 +00:00
|
|
|
if (time_seq == SEQ_LAST)
|
2015-04-16 06:54:50 +00:00
|
|
|
ret = btrfs_next_leaf(root, path);
|
|
|
|
else
|
|
|
|
ret = btrfs_next_old_leaf(root, path, time_seq);
|
|
|
|
}
|
2011-11-23 17:55:04 +00:00
|
|
|
|
2014-03-19 17:35:14 +00:00
|
|
|
while (!ret && count < total_refs) {
|
2011-11-23 17:55:04 +00:00
|
|
|
eb = path->nodes[0];
|
2012-06-19 13:42:26 +00:00
|
|
|
slot = path->slots[0];
|
|
|
|
|
|
|
|
btrfs_item_key_to_cpu(eb, &key, slot);
|
|
|
|
|
|
|
|
if (key.objectid != key_for_search->objectid ||
|
|
|
|
key.type != BTRFS_EXTENT_DATA_KEY)
|
|
|
|
break;
|
|
|
|
|
|
|
|
fi = btrfs_item_ptr(eb, slot, struct btrfs_file_extent_item);
|
|
|
|
disk_byte = btrfs_file_extent_disk_bytenr(eb, fi);
|
|
|
|
|
|
|
|
if (disk_byte == wanted_disk_byte) {
|
|
|
|
eie = NULL;
|
2013-07-05 18:03:47 +00:00
|
|
|
old = NULL;
|
2014-01-24 19:05:42 +00:00
|
|
|
count++;
|
2012-06-19 13:42:26 +00:00
|
|
|
if (extent_item_pos) {
|
|
|
|
ret = check_extent_in_eb(&key, eb, fi,
|
|
|
|
*extent_item_pos,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
&eie, ignore_offset);
|
2012-06-19 13:42:26 +00:00
|
|
|
if (ret < 0)
|
|
|
|
break;
|
|
|
|
}
|
2013-07-05 18:03:47 +00:00
|
|
|
if (ret > 0)
|
|
|
|
goto next;
|
2014-07-28 08:57:04 +00:00
|
|
|
ret = ulist_add_merge_ptr(parents, eb->start,
|
|
|
|
eie, (void **)&old, GFP_NOFS);
|
2013-07-05 18:03:47 +00:00
|
|
|
if (ret < 0)
|
|
|
|
break;
|
|
|
|
if (!ret && extent_item_pos) {
|
|
|
|
while (old->next)
|
|
|
|
old = old->next;
|
|
|
|
old->next = eie;
|
2012-06-19 13:42:26 +00:00
|
|
|
}
|
2014-01-28 11:13:38 +00:00
|
|
|
eie = NULL;
|
2011-11-23 17:55:04 +00:00
|
|
|
}
|
2013-07-05 18:03:47 +00:00
|
|
|
next:
|
2017-03-16 16:04:34 +00:00
|
|
|
if (time_seq == SEQ_LAST)
|
2015-04-16 06:54:50 +00:00
|
|
|
ret = btrfs_next_item(root, path);
|
|
|
|
else
|
|
|
|
ret = btrfs_next_old_item(root, path, time_seq);
|
2011-11-23 17:55:04 +00:00
|
|
|
}
|
|
|
|
|
2012-06-19 13:42:26 +00:00
|
|
|
if (ret > 0)
|
|
|
|
ret = 0;
|
2014-01-28 11:13:38 +00:00
|
|
|
else if (ret < 0)
|
|
|
|
free_inode_elem_list(eie);
|
2012-06-19 13:42:26 +00:00
|
|
|
return ret;
|
2011-11-23 17:55:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* resolve an indirect backref in the form (root_id, key, level)
|
|
|
|
* to a logical address
|
|
|
|
*/
|
2017-06-29 03:56:57 +00:00
|
|
|
static int resolve_indirect_ref(struct btrfs_fs_info *fs_info,
|
|
|
|
struct btrfs_path *path, u64 time_seq,
|
|
|
|
struct prelim_ref *ref, struct ulist *parents,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
const u64 *extent_item_pos, u64 total_refs,
|
|
|
|
bool ignore_offset)
|
2011-11-23 17:55:04 +00:00
|
|
|
{
|
|
|
|
struct btrfs_root *root;
|
|
|
|
struct btrfs_key root_key;
|
|
|
|
struct extent_buffer *eb;
|
|
|
|
int ret = 0;
|
|
|
|
int root_level;
|
|
|
|
int level = ref->level;
|
2014-01-23 05:47:48 +00:00
|
|
|
int index;
|
2011-11-23 17:55:04 +00:00
|
|
|
|
|
|
|
root_key.objectid = ref->root_id;
|
|
|
|
root_key.type = BTRFS_ROOT_ITEM_KEY;
|
|
|
|
root_key.offset = (u64)-1;
|
2014-01-23 05:47:48 +00:00
|
|
|
|
|
|
|
index = srcu_read_lock(&fs_info->subvol_srcu);
|
|
|
|
|
2015-11-05 22:37:58 +00:00
|
|
|
root = btrfs_get_fs_root(fs_info, &root_key, false);
|
2011-11-23 17:55:04 +00:00
|
|
|
if (IS_ERR(root)) {
|
2014-01-23 05:47:48 +00:00
|
|
|
srcu_read_unlock(&fs_info->subvol_srcu, index);
|
2011-11-23 17:55:04 +00:00
|
|
|
ret = PTR_ERR(root);
|
|
|
|
goto out;
|
|
|
|
}
|
|
|
|
|
2016-06-21 13:52:41 +00:00
|
|
|
if (btrfs_is_testing(fs_info)) {
|
2015-10-05 14:35:29 +00:00
|
|
|
srcu_read_unlock(&fs_info->subvol_srcu, index);
|
|
|
|
ret = -ENOENT;
|
|
|
|
goto out;
|
|
|
|
}
|
|
|
|
|
2014-03-13 19:42:13 +00:00
|
|
|
if (path->search_commit_root)
|
|
|
|
root_level = btrfs_header_level(root->commit_root);
|
2017-03-16 16:04:34 +00:00
|
|
|
else if (time_seq == SEQ_LAST)
|
2015-04-16 06:54:50 +00:00
|
|
|
root_level = btrfs_header_level(root->node);
|
2014-03-13 19:42:13 +00:00
|
|
|
else
|
|
|
|
root_level = btrfs_old_root_level(root, time_seq);
|
2011-11-23 17:55:04 +00:00
|
|
|
|
2014-01-23 05:47:48 +00:00
|
|
|
if (root_level + 1 == level) {
|
|
|
|
srcu_read_unlock(&fs_info->subvol_srcu, index);
|
2011-11-23 17:55:04 +00:00
|
|
|
goto out;
|
2014-01-23 05:47:48 +00:00
|
|
|
}
|
2011-11-23 17:55:04 +00:00
|
|
|
|
|
|
|
path->lowest_level = level;
|
2017-03-16 16:04:34 +00:00
|
|
|
if (time_seq == SEQ_LAST)
|
2015-04-16 06:54:50 +00:00
|
|
|
ret = btrfs_search_slot(NULL, root, &ref->key_for_search, path,
|
|
|
|
0, 0);
|
|
|
|
else
|
|
|
|
ret = btrfs_search_old_slot(root, &ref->key_for_search, path,
|
|
|
|
time_seq);
|
2014-01-23 05:47:48 +00:00
|
|
|
|
|
|
|
/* root node has been locked, we can release @subvol_srcu safely here */
|
|
|
|
srcu_read_unlock(&fs_info->subvol_srcu, index);
|
|
|
|
|
2016-09-20 14:05:02 +00:00
|
|
|
btrfs_debug(fs_info,
|
|
|
|
"search slot in root %llu (level %d, ref count %d) returned %d for key (%llu %u %llu)",
|
2013-08-20 11:20:07 +00:00
|
|
|
ref->root_id, level, ref->count, ret,
|
|
|
|
ref->key_for_search.objectid, ref->key_for_search.type,
|
|
|
|
ref->key_for_search.offset);
|
2011-11-23 17:55:04 +00:00
|
|
|
if (ret < 0)
|
|
|
|
goto out;
|
|
|
|
|
|
|
|
eb = path->nodes[level];
|
2012-06-27 13:23:09 +00:00
|
|
|
while (!eb) {
|
2013-10-31 05:00:08 +00:00
|
|
|
if (WARN_ON(!level)) {
|
2012-06-27 13:23:09 +00:00
|
|
|
ret = 1;
|
|
|
|
goto out;
|
|
|
|
}
|
|
|
|
level--;
|
|
|
|
eb = path->nodes[level];
|
2011-11-23 17:55:04 +00:00
|
|
|
}
|
|
|
|
|
2014-01-24 19:05:42 +00:00
|
|
|
ret = add_all_parents(root, path, parents, ref, level, time_seq,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
extent_item_pos, total_refs, ignore_offset);
|
2011-11-23 17:55:04 +00:00
|
|
|
out:
|
2013-06-12 20:20:08 +00:00
|
|
|
path->lowest_level = 0;
|
|
|
|
btrfs_release_path(path);
|
2011-11-23 17:55:04 +00:00
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2017-06-29 03:56:56 +00:00
|
|
|
static struct extent_inode_elem *
|
|
|
|
unode_aux_to_inode_list(struct ulist_node *node)
|
|
|
|
{
|
|
|
|
if (!node)
|
|
|
|
return NULL;
|
|
|
|
return (struct extent_inode_elem *)(uintptr_t)node->aux;
|
|
|
|
}
|
|
|
|
|
2011-11-23 17:55:04 +00:00
|
|
|
/*
|
2018-11-28 11:05:13 +00:00
|
|
|
* We maintain three separate rbtrees: one for direct refs, one for
|
2017-07-12 22:20:06 +00:00
|
|
|
* indirect refs which have a key, and one for indirect refs which do not
|
|
|
|
* have a key. Each tree does merge on insertion.
|
|
|
|
*
|
|
|
|
* Once all of the references are located, we iterate over the tree of
|
|
|
|
* indirect refs with missing keys. An appropriate key is located and
|
|
|
|
* the ref is moved onto the tree for indirect refs. After all missing
|
|
|
|
* keys are thus located, we iterate over the indirect ref tree, resolve
|
|
|
|
* each reference, and then insert the resolved reference onto the
|
|
|
|
* direct tree (merging there too).
|
|
|
|
*
|
|
|
|
* New backrefs (i.e., for parent nodes) are added to the appropriate
|
|
|
|
* rbtree as they are encountered. The new backrefs are subsequently
|
|
|
|
* resolved as above.
|
2011-11-23 17:55:04 +00:00
|
|
|
*/
|
2017-06-29 03:56:57 +00:00
|
|
|
static int resolve_indirect_refs(struct btrfs_fs_info *fs_info,
|
|
|
|
struct btrfs_path *path, u64 time_seq,
|
2017-07-12 22:20:06 +00:00
|
|
|
struct preftrees *preftrees,
|
2017-06-29 03:56:57 +00:00
|
|
|
const u64 *extent_item_pos, u64 total_refs,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
struct share_check *sc, bool ignore_offset)
|
2011-11-23 17:55:04 +00:00
|
|
|
{
|
|
|
|
int err;
|
|
|
|
int ret = 0;
|
|
|
|
struct ulist *parents;
|
|
|
|
struct ulist_node *node;
|
2012-05-22 12:56:50 +00:00
|
|
|
struct ulist_iterator uiter;
|
2017-07-12 22:20:06 +00:00
|
|
|
struct rb_node *rnode;
|
2011-11-23 17:55:04 +00:00
|
|
|
|
|
|
|
parents = ulist_alloc(GFP_NOFS);
|
|
|
|
if (!parents)
|
|
|
|
return -ENOMEM;
|
|
|
|
|
|
|
|
/*
|
2017-07-12 22:20:06 +00:00
|
|
|
* We could trade memory usage for performance here by iterating
|
|
|
|
* the tree, allocating new refs for each insertion, and then
|
|
|
|
* freeing the entire indirect tree when we're done. In some test
|
|
|
|
* cases, the tree can grow quite large (~200k objects).
|
2011-11-23 17:55:04 +00:00
|
|
|
*/
|
2018-08-22 19:51:53 +00:00
|
|
|
while ((rnode = rb_first_cached(&preftrees->indirect.root))) {
|
2017-07-12 22:20:06 +00:00
|
|
|
struct prelim_ref *ref;
|
|
|
|
|
|
|
|
ref = rb_entry(rnode, struct prelim_ref, rbnode);
|
|
|
|
if (WARN(ref->parent,
|
|
|
|
"BUG: direct ref found in indirect tree")) {
|
|
|
|
ret = -EINVAL;
|
|
|
|
goto out;
|
|
|
|
}
|
|
|
|
|
2018-08-22 19:51:53 +00:00
|
|
|
rb_erase_cached(&ref->rbnode, &preftrees->indirect.root);
|
2017-07-12 22:20:07 +00:00
|
|
|
preftrees->indirect.count--;
|
2017-07-12 22:20:06 +00:00
|
|
|
|
|
|
|
if (ref->count == 0) {
|
|
|
|
free_pref(ref);
|
2011-11-23 17:55:04 +00:00
|
|
|
continue;
|
2017-07-12 22:20:06 +00:00
|
|
|
}
|
|
|
|
|
2017-07-12 22:20:10 +00:00
|
|
|
if (sc && sc->root_objectid &&
|
|
|
|
ref->root_id != sc->root_objectid) {
|
2017-07-12 22:20:06 +00:00
|
|
|
free_pref(ref);
|
2014-09-10 20:20:45 +00:00
|
|
|
ret = BACKREF_FOUND_SHARED;
|
|
|
|
goto out;
|
|
|
|
}
|
2017-06-29 03:56:57 +00:00
|
|
|
err = resolve_indirect_ref(fs_info, path, time_seq, ref,
|
|
|
|
parents, extent_item_pos,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
total_refs, ignore_offset);
|
2014-01-23 05:47:49 +00:00
|
|
|
/*
|
|
|
|
* we can only tolerate ENOENT,otherwise,we should catch error
|
|
|
|
* and return directly.
|
|
|
|
*/
|
|
|
|
if (err == -ENOENT) {
|
2017-07-12 22:20:10 +00:00
|
|
|
prelim_ref_insert(fs_info, &preftrees->direct, ref,
|
|
|
|
NULL);
|
2011-11-23 17:55:04 +00:00
|
|
|
continue;
|
2014-01-23 05:47:49 +00:00
|
|
|
} else if (err) {
|
2017-07-12 22:20:06 +00:00
|
|
|
free_pref(ref);
|
2014-01-23 05:47:49 +00:00
|
|
|
ret = err;
|
|
|
|
goto out;
|
|
|
|
}
|
2011-11-23 17:55:04 +00:00
|
|
|
|
|
|
|
/* we put the first parent into the ref at hand */
|
2012-05-22 12:56:50 +00:00
|
|
|
ULIST_ITER_INIT(&uiter);
|
|
|
|
node = ulist_next(parents, &uiter);
|
2011-11-23 17:55:04 +00:00
|
|
|
ref->parent = node ? node->val : 0;
|
2017-06-29 03:56:56 +00:00
|
|
|
ref->inode_list = unode_aux_to_inode_list(node);
|
2011-11-23 17:55:04 +00:00
|
|
|
|
2017-07-12 22:20:06 +00:00
|
|
|
/* Add a prelim_ref(s) for any other parent(s). */
|
2012-05-22 12:56:50 +00:00
|
|
|
while ((node = ulist_next(parents, &uiter))) {
|
2017-07-12 22:20:06 +00:00
|
|
|
struct prelim_ref *new_ref;
|
|
|
|
|
2013-08-09 05:25:36 +00:00
|
|
|
new_ref = kmem_cache_alloc(btrfs_prelim_ref_cache,
|
|
|
|
GFP_NOFS);
|
2011-11-23 17:55:04 +00:00
|
|
|
if (!new_ref) {
|
2017-07-12 22:20:06 +00:00
|
|
|
free_pref(ref);
|
2011-11-23 17:55:04 +00:00
|
|
|
ret = -ENOMEM;
|
2013-04-15 10:26:38 +00:00
|
|
|
goto out;
|
2011-11-23 17:55:04 +00:00
|
|
|
}
|
|
|
|
memcpy(new_ref, ref, sizeof(*ref));
|
|
|
|
new_ref->parent = node->val;
|
2017-06-29 03:56:56 +00:00
|
|
|
new_ref->inode_list = unode_aux_to_inode_list(node);
|
2017-07-12 22:20:10 +00:00
|
|
|
prelim_ref_insert(fs_info, &preftrees->direct,
|
|
|
|
new_ref, NULL);
|
2011-11-23 17:55:04 +00:00
|
|
|
}
|
2017-07-12 22:20:06 +00:00
|
|
|
|
2017-07-12 22:20:10 +00:00
|
|
|
/*
|
2018-11-28 11:05:13 +00:00
|
|
|
* Now it's a direct ref, put it in the direct tree. We must
|
2017-07-12 22:20:10 +00:00
|
|
|
* do this last because the ref could be merged/freed here.
|
|
|
|
*/
|
|
|
|
prelim_ref_insert(fs_info, &preftrees->direct, ref, NULL);
|
2017-07-12 22:20:06 +00:00
|
|
|
|
2011-11-23 17:55:04 +00:00
|
|
|
ulist_reinit(parents);
|
2017-07-12 22:20:09 +00:00
|
|
|
cond_resched();
|
2011-11-23 17:55:04 +00:00
|
|
|
}
|
2013-04-15 10:26:38 +00:00
|
|
|
out:
|
2011-11-23 17:55:04 +00:00
|
|
|
ulist_free(parents);
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2012-05-15 15:55:51 +00:00
|
|
|
/*
|
|
|
|
* read tree blocks and add keys where required.
|
|
|
|
*/
|
2017-06-29 03:56:57 +00:00
|
|
|
static int add_missing_keys(struct btrfs_fs_info *fs_info,
|
2017-07-12 22:20:06 +00:00
|
|
|
struct preftrees *preftrees)
|
2012-05-15 15:55:51 +00:00
|
|
|
{
|
2017-06-29 03:56:57 +00:00
|
|
|
struct prelim_ref *ref;
|
2012-05-15 15:55:51 +00:00
|
|
|
struct extent_buffer *eb;
|
2017-07-12 22:20:06 +00:00
|
|
|
struct preftree *tree = &preftrees->indirect_missing_keys;
|
|
|
|
struct rb_node *node;
|
2012-05-15 15:55:51 +00:00
|
|
|
|
2018-08-22 19:51:53 +00:00
|
|
|
while ((node = rb_first_cached(&tree->root))) {
|
2017-07-12 22:20:06 +00:00
|
|
|
ref = rb_entry(node, struct prelim_ref, rbnode);
|
2018-08-22 19:51:53 +00:00
|
|
|
rb_erase_cached(node, &tree->root);
|
2017-07-12 22:20:06 +00:00
|
|
|
|
|
|
|
BUG_ON(ref->parent); /* should not be a direct ref */
|
|
|
|
BUG_ON(ref->key_for_search.type);
|
2012-05-15 15:55:51 +00:00
|
|
|
BUG_ON(!ref->wanted_disk_byte);
|
2017-07-12 22:20:06 +00:00
|
|
|
|
2018-03-29 01:08:11 +00:00
|
|
|
eb = read_tree_block(fs_info, ref->wanted_disk_byte, 0,
|
|
|
|
ref->level - 1, NULL);
|
2015-05-25 09:30:15 +00:00
|
|
|
if (IS_ERR(eb)) {
|
2017-07-12 22:20:06 +00:00
|
|
|
free_pref(ref);
|
2015-05-25 09:30:15 +00:00
|
|
|
return PTR_ERR(eb);
|
|
|
|
} else if (!extent_buffer_uptodate(eb)) {
|
2017-07-12 22:20:06 +00:00
|
|
|
free_pref(ref);
|
2013-04-23 18:17:42 +00:00
|
|
|
free_extent_buffer(eb);
|
|
|
|
return -EIO;
|
|
|
|
}
|
2012-05-15 15:55:51 +00:00
|
|
|
btrfs_tree_read_lock(eb);
|
|
|
|
if (btrfs_header_level(eb) == 0)
|
|
|
|
btrfs_item_key_to_cpu(eb, &ref->key_for_search, 0);
|
|
|
|
else
|
|
|
|
btrfs_node_key_to_cpu(eb, &ref->key_for_search, 0);
|
|
|
|
btrfs_tree_read_unlock(eb);
|
|
|
|
free_extent_buffer(eb);
|
2017-07-12 22:20:10 +00:00
|
|
|
prelim_ref_insert(fs_info, &preftrees->indirect, ref, NULL);
|
2017-07-12 22:20:09 +00:00
|
|
|
cond_resched();
|
2012-05-15 15:55:51 +00:00
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2011-11-23 17:55:04 +00:00
|
|
|
/*
|
|
|
|
* add all currently queued delayed refs from this head whose seq nr is
|
|
|
|
* smaller or equal that seq to the list
|
|
|
|
*/
|
2017-07-12 22:20:08 +00:00
|
|
|
static int add_delayed_refs(const struct btrfs_fs_info *fs_info,
|
|
|
|
struct btrfs_delayed_ref_head *head, u64 seq,
|
2017-07-12 22:20:06 +00:00
|
|
|
struct preftrees *preftrees, u64 *total_refs,
|
2017-07-12 22:20:10 +00:00
|
|
|
struct share_check *sc)
|
2011-11-23 17:55:04 +00:00
|
|
|
{
|
2015-03-30 09:03:00 +00:00
|
|
|
struct btrfs_delayed_ref_node *node;
|
2011-11-23 17:55:04 +00:00
|
|
|
struct btrfs_delayed_extent_op *extent_op = head->extent_op;
|
2012-05-15 15:55:51 +00:00
|
|
|
struct btrfs_key key;
|
2017-07-12 22:20:06 +00:00
|
|
|
struct btrfs_key tmp_op_key;
|
2017-10-19 18:16:00 +00:00
|
|
|
struct rb_node *n;
|
2017-07-12 22:20:11 +00:00
|
|
|
int count;
|
2012-01-26 20:01:11 +00:00
|
|
|
int ret = 0;
|
2011-11-23 17:55:04 +00:00
|
|
|
|
2018-03-15 12:36:22 +00:00
|
|
|
if (extent_op && extent_op->update_key)
|
2017-07-12 22:20:06 +00:00
|
|
|
btrfs_disk_key_to_cpu(&tmp_op_key, &extent_op->key);
|
2011-11-23 17:55:04 +00:00
|
|
|
|
2014-01-23 14:21:38 +00:00
|
|
|
spin_lock(&head->lock);
|
2018-08-22 19:51:50 +00:00
|
|
|
for (n = rb_first_cached(&head->ref_tree); n; n = rb_next(n)) {
|
2017-10-19 18:16:00 +00:00
|
|
|
node = rb_entry(n, struct btrfs_delayed_ref_node,
|
|
|
|
ref_node);
|
2011-11-23 17:55:04 +00:00
|
|
|
if (node->seq > seq)
|
|
|
|
continue;
|
|
|
|
|
|
|
|
switch (node->action) {
|
|
|
|
case BTRFS_ADD_DELAYED_EXTENT:
|
|
|
|
case BTRFS_UPDATE_DELAYED_HEAD:
|
|
|
|
WARN_ON(1);
|
|
|
|
continue;
|
|
|
|
case BTRFS_ADD_DELAYED_REF:
|
2017-07-12 22:20:11 +00:00
|
|
|
count = node->ref_mod;
|
2011-11-23 17:55:04 +00:00
|
|
|
break;
|
|
|
|
case BTRFS_DROP_DELAYED_REF:
|
2017-07-12 22:20:11 +00:00
|
|
|
count = node->ref_mod * -1;
|
2011-11-23 17:55:04 +00:00
|
|
|
break;
|
|
|
|
default:
|
|
|
|
BUG_ON(1);
|
|
|
|
}
|
2017-07-12 22:20:11 +00:00
|
|
|
*total_refs += count;
|
2011-11-23 17:55:04 +00:00
|
|
|
switch (node->type) {
|
|
|
|
case BTRFS_TREE_BLOCK_REF_KEY: {
|
2017-07-12 22:20:06 +00:00
|
|
|
/* NORMAL INDIRECT METADATA backref */
|
2011-11-23 17:55:04 +00:00
|
|
|
struct btrfs_delayed_tree_ref *ref;
|
|
|
|
|
|
|
|
ref = btrfs_delayed_node_to_tree_ref(node);
|
2017-07-12 22:20:08 +00:00
|
|
|
ret = add_indirect_ref(fs_info, preftrees, ref->root,
|
|
|
|
&tmp_op_key, ref->level + 1,
|
2017-07-12 22:20:11 +00:00
|
|
|
node->bytenr, count, sc,
|
|
|
|
GFP_ATOMIC);
|
2011-11-23 17:55:04 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case BTRFS_SHARED_BLOCK_REF_KEY: {
|
2017-07-12 22:20:06 +00:00
|
|
|
/* SHARED DIRECT METADATA backref */
|
2011-11-23 17:55:04 +00:00
|
|
|
struct btrfs_delayed_tree_ref *ref;
|
|
|
|
|
|
|
|
ref = btrfs_delayed_node_to_tree_ref(node);
|
2017-07-12 22:20:06 +00:00
|
|
|
|
2017-07-12 22:20:11 +00:00
|
|
|
ret = add_direct_ref(fs_info, preftrees, ref->level + 1,
|
|
|
|
ref->parent, node->bytenr, count,
|
2017-07-12 22:20:10 +00:00
|
|
|
sc, GFP_ATOMIC);
|
2011-11-23 17:55:04 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case BTRFS_EXTENT_DATA_REF_KEY: {
|
2017-07-12 22:20:06 +00:00
|
|
|
/* NORMAL INDIRECT DATA backref */
|
2011-11-23 17:55:04 +00:00
|
|
|
struct btrfs_delayed_data_ref *ref;
|
|
|
|
ref = btrfs_delayed_node_to_data_ref(node);
|
|
|
|
|
|
|
|
key.objectid = ref->objectid;
|
|
|
|
key.type = BTRFS_EXTENT_DATA_KEY;
|
|
|
|
key.offset = ref->offset;
|
2014-09-10 20:20:45 +00:00
|
|
|
|
|
|
|
/*
|
|
|
|
* Found a inum that doesn't match our known inum, we
|
|
|
|
* know it's shared.
|
|
|
|
*/
|
2017-07-12 22:20:10 +00:00
|
|
|
if (sc && sc->inum && ref->objectid != sc->inum) {
|
2014-09-10 20:20:45 +00:00
|
|
|
ret = BACKREF_FOUND_SHARED;
|
2017-07-12 22:20:10 +00:00
|
|
|
goto out;
|
2014-09-10 20:20:45 +00:00
|
|
|
}
|
|
|
|
|
2017-07-12 22:20:08 +00:00
|
|
|
ret = add_indirect_ref(fs_info, preftrees, ref->root,
|
2017-07-12 22:20:11 +00:00
|
|
|
&key, 0, node->bytenr, count, sc,
|
|
|
|
GFP_ATOMIC);
|
2011-11-23 17:55:04 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case BTRFS_SHARED_DATA_REF_KEY: {
|
2017-07-12 22:20:06 +00:00
|
|
|
/* SHARED DIRECT FULL backref */
|
2011-11-23 17:55:04 +00:00
|
|
|
struct btrfs_delayed_data_ref *ref;
|
|
|
|
|
|
|
|
ref = btrfs_delayed_node_to_data_ref(node);
|
2017-07-12 22:20:06 +00:00
|
|
|
|
2017-07-12 22:20:11 +00:00
|
|
|
ret = add_direct_ref(fs_info, preftrees, 0, ref->parent,
|
|
|
|
node->bytenr, count, sc,
|
|
|
|
GFP_ATOMIC);
|
2011-11-23 17:55:04 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
WARN_ON(1);
|
|
|
|
}
|
2017-07-12 22:20:10 +00:00
|
|
|
/*
|
|
|
|
* We must ignore BACKREF_FOUND_SHARED until all delayed
|
|
|
|
* refs have been checked.
|
|
|
|
*/
|
|
|
|
if (ret && (ret != BACKREF_FOUND_SHARED))
|
2014-01-23 14:21:38 +00:00
|
|
|
break;
|
2011-11-23 17:55:04 +00:00
|
|
|
}
|
2017-07-12 22:20:10 +00:00
|
|
|
if (!ret)
|
|
|
|
ret = extent_is_shared(sc);
|
|
|
|
out:
|
2014-01-23 14:21:38 +00:00
|
|
|
spin_unlock(&head->lock);
|
|
|
|
return ret;
|
2011-11-23 17:55:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* add all inline backrefs for bytenr to the list
|
2017-07-12 22:20:10 +00:00
|
|
|
*
|
|
|
|
* Returns 0 on success, <0 on error, or BACKREF_FOUND_SHARED.
|
2011-11-23 17:55:04 +00:00
|
|
|
*/
|
2017-07-12 22:20:08 +00:00
|
|
|
static int add_inline_refs(const struct btrfs_fs_info *fs_info,
|
|
|
|
struct btrfs_path *path, u64 bytenr,
|
2017-07-12 22:20:06 +00:00
|
|
|
int *info_level, struct preftrees *preftrees,
|
2017-07-12 22:20:10 +00:00
|
|
|
u64 *total_refs, struct share_check *sc)
|
2011-11-23 17:55:04 +00:00
|
|
|
{
|
2012-01-26 20:01:11 +00:00
|
|
|
int ret = 0;
|
2011-11-23 17:55:04 +00:00
|
|
|
int slot;
|
|
|
|
struct extent_buffer *leaf;
|
|
|
|
struct btrfs_key key;
|
2013-06-28 17:11:22 +00:00
|
|
|
struct btrfs_key found_key;
|
2011-11-23 17:55:04 +00:00
|
|
|
unsigned long ptr;
|
|
|
|
unsigned long end;
|
|
|
|
struct btrfs_extent_item *ei;
|
|
|
|
u64 flags;
|
|
|
|
u64 item_size;
|
|
|
|
|
|
|
|
/*
|
|
|
|
* enumerate all inline refs
|
|
|
|
*/
|
|
|
|
leaf = path->nodes[0];
|
2012-05-22 11:43:25 +00:00
|
|
|
slot = path->slots[0];
|
2011-11-23 17:55:04 +00:00
|
|
|
|
|
|
|
item_size = btrfs_item_size_nr(leaf, slot);
|
|
|
|
BUG_ON(item_size < sizeof(*ei));
|
|
|
|
|
|
|
|
ei = btrfs_item_ptr(leaf, slot, struct btrfs_extent_item);
|
|
|
|
flags = btrfs_extent_flags(leaf, ei);
|
2014-03-19 17:35:14 +00:00
|
|
|
*total_refs += btrfs_extent_refs(leaf, ei);
|
2013-06-28 17:11:22 +00:00
|
|
|
btrfs_item_key_to_cpu(leaf, &found_key, slot);
|
2011-11-23 17:55:04 +00:00
|
|
|
|
|
|
|
ptr = (unsigned long)(ei + 1);
|
|
|
|
end = (unsigned long)ei + item_size;
|
|
|
|
|
2013-06-28 17:11:22 +00:00
|
|
|
if (found_key.type == BTRFS_EXTENT_ITEM_KEY &&
|
|
|
|
flags & BTRFS_EXTENT_FLAG_TREE_BLOCK) {
|
2011-11-23 17:55:04 +00:00
|
|
|
struct btrfs_tree_block_info *info;
|
|
|
|
|
|
|
|
info = (struct btrfs_tree_block_info *)ptr;
|
|
|
|
*info_level = btrfs_tree_block_level(leaf, info);
|
|
|
|
ptr += sizeof(struct btrfs_tree_block_info);
|
|
|
|
BUG_ON(ptr > end);
|
2013-06-28 17:11:22 +00:00
|
|
|
} else if (found_key.type == BTRFS_METADATA_ITEM_KEY) {
|
|
|
|
*info_level = found_key.offset;
|
2011-11-23 17:55:04 +00:00
|
|
|
} else {
|
|
|
|
BUG_ON(!(flags & BTRFS_EXTENT_FLAG_DATA));
|
|
|
|
}
|
|
|
|
|
|
|
|
while (ptr < end) {
|
|
|
|
struct btrfs_extent_inline_ref *iref;
|
|
|
|
u64 offset;
|
|
|
|
int type;
|
|
|
|
|
|
|
|
iref = (struct btrfs_extent_inline_ref *)ptr;
|
2017-08-18 21:15:19 +00:00
|
|
|
type = btrfs_get_extent_inline_ref_type(leaf, iref,
|
|
|
|
BTRFS_REF_TYPE_ANY);
|
|
|
|
if (type == BTRFS_REF_TYPE_INVALID)
|
2018-06-22 08:18:01 +00:00
|
|
|
return -EUCLEAN;
|
2017-08-18 21:15:19 +00:00
|
|
|
|
2011-11-23 17:55:04 +00:00
|
|
|
offset = btrfs_extent_inline_ref_offset(leaf, iref);
|
|
|
|
|
|
|
|
switch (type) {
|
|
|
|
case BTRFS_SHARED_BLOCK_REF_KEY:
|
2017-07-12 22:20:08 +00:00
|
|
|
ret = add_direct_ref(fs_info, preftrees,
|
|
|
|
*info_level + 1, offset,
|
2017-07-12 22:20:10 +00:00
|
|
|
bytenr, 1, NULL, GFP_NOFS);
|
2011-11-23 17:55:04 +00:00
|
|
|
break;
|
|
|
|
case BTRFS_SHARED_DATA_REF_KEY: {
|
|
|
|
struct btrfs_shared_data_ref *sdref;
|
|
|
|
int count;
|
|
|
|
|
|
|
|
sdref = (struct btrfs_shared_data_ref *)(iref + 1);
|
|
|
|
count = btrfs_shared_data_ref_count(leaf, sdref);
|
2017-07-12 22:20:06 +00:00
|
|
|
|
2017-07-12 22:20:08 +00:00
|
|
|
ret = add_direct_ref(fs_info, preftrees, 0, offset,
|
2017-07-12 22:20:10 +00:00
|
|
|
bytenr, count, sc, GFP_NOFS);
|
2011-11-23 17:55:04 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case BTRFS_TREE_BLOCK_REF_KEY:
|
2017-07-12 22:20:08 +00:00
|
|
|
ret = add_indirect_ref(fs_info, preftrees, offset,
|
|
|
|
NULL, *info_level + 1,
|
2017-07-12 22:20:10 +00:00
|
|
|
bytenr, 1, NULL, GFP_NOFS);
|
2011-11-23 17:55:04 +00:00
|
|
|
break;
|
|
|
|
case BTRFS_EXTENT_DATA_REF_KEY: {
|
|
|
|
struct btrfs_extent_data_ref *dref;
|
|
|
|
int count;
|
|
|
|
u64 root;
|
|
|
|
|
|
|
|
dref = (struct btrfs_extent_data_ref *)(&iref->offset);
|
|
|
|
count = btrfs_extent_data_ref_count(leaf, dref);
|
|
|
|
key.objectid = btrfs_extent_data_ref_objectid(leaf,
|
|
|
|
dref);
|
|
|
|
key.type = BTRFS_EXTENT_DATA_KEY;
|
|
|
|
key.offset = btrfs_extent_data_ref_offset(leaf, dref);
|
2014-09-10 20:20:45 +00:00
|
|
|
|
2017-07-12 22:20:10 +00:00
|
|
|
if (sc && sc->inum && key.objectid != sc->inum) {
|
2014-09-10 20:20:45 +00:00
|
|
|
ret = BACKREF_FOUND_SHARED;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2011-11-23 17:55:04 +00:00
|
|
|
root = btrfs_extent_data_ref_root(leaf, dref);
|
2017-07-12 22:20:06 +00:00
|
|
|
|
2017-07-12 22:20:08 +00:00
|
|
|
ret = add_indirect_ref(fs_info, preftrees, root,
|
|
|
|
&key, 0, bytenr, count,
|
2017-07-12 22:20:10 +00:00
|
|
|
sc, GFP_NOFS);
|
2011-11-23 17:55:04 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
WARN_ON(1);
|
|
|
|
}
|
2013-04-10 11:22:50 +00:00
|
|
|
if (ret)
|
|
|
|
return ret;
|
2011-11-23 17:55:04 +00:00
|
|
|
ptr += btrfs_extent_inline_ref_size(type);
|
|
|
|
}
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* add all non-inline backrefs for bytenr to the list
|
2017-07-12 22:20:10 +00:00
|
|
|
*
|
|
|
|
* Returns 0 on success, <0 on error, or BACKREF_FOUND_SHARED.
|
2011-11-23 17:55:04 +00:00
|
|
|
*/
|
2017-06-29 03:56:57 +00:00
|
|
|
static int add_keyed_refs(struct btrfs_fs_info *fs_info,
|
|
|
|
struct btrfs_path *path, u64 bytenr,
|
2017-07-12 22:20:06 +00:00
|
|
|
int info_level, struct preftrees *preftrees,
|
2017-07-12 22:20:10 +00:00
|
|
|
struct share_check *sc)
|
2011-11-23 17:55:04 +00:00
|
|
|
{
|
|
|
|
struct btrfs_root *extent_root = fs_info->extent_root;
|
|
|
|
int ret;
|
|
|
|
int slot;
|
|
|
|
struct extent_buffer *leaf;
|
|
|
|
struct btrfs_key key;
|
|
|
|
|
|
|
|
while (1) {
|
|
|
|
ret = btrfs_next_item(extent_root, path);
|
|
|
|
if (ret < 0)
|
|
|
|
break;
|
|
|
|
if (ret) {
|
|
|
|
ret = 0;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
slot = path->slots[0];
|
|
|
|
leaf = path->nodes[0];
|
|
|
|
btrfs_item_key_to_cpu(leaf, &key, slot);
|
|
|
|
|
|
|
|
if (key.objectid != bytenr)
|
|
|
|
break;
|
|
|
|
if (key.type < BTRFS_TREE_BLOCK_REF_KEY)
|
|
|
|
continue;
|
|
|
|
if (key.type > BTRFS_SHARED_DATA_REF_KEY)
|
|
|
|
break;
|
|
|
|
|
|
|
|
switch (key.type) {
|
|
|
|
case BTRFS_SHARED_BLOCK_REF_KEY:
|
2017-07-12 22:20:06 +00:00
|
|
|
/* SHARED DIRECT METADATA backref */
|
2017-07-12 22:20:08 +00:00
|
|
|
ret = add_direct_ref(fs_info, preftrees,
|
|
|
|
info_level + 1, key.offset,
|
2017-07-12 22:20:10 +00:00
|
|
|
bytenr, 1, NULL, GFP_NOFS);
|
2011-11-23 17:55:04 +00:00
|
|
|
break;
|
|
|
|
case BTRFS_SHARED_DATA_REF_KEY: {
|
2017-07-12 22:20:06 +00:00
|
|
|
/* SHARED DIRECT FULL backref */
|
2011-11-23 17:55:04 +00:00
|
|
|
struct btrfs_shared_data_ref *sdref;
|
|
|
|
int count;
|
|
|
|
|
|
|
|
sdref = btrfs_item_ptr(leaf, slot,
|
|
|
|
struct btrfs_shared_data_ref);
|
|
|
|
count = btrfs_shared_data_ref_count(leaf, sdref);
|
2017-07-12 22:20:08 +00:00
|
|
|
ret = add_direct_ref(fs_info, preftrees, 0,
|
|
|
|
key.offset, bytenr, count,
|
2017-07-12 22:20:10 +00:00
|
|
|
sc, GFP_NOFS);
|
2011-11-23 17:55:04 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
case BTRFS_TREE_BLOCK_REF_KEY:
|
2017-07-12 22:20:06 +00:00
|
|
|
/* NORMAL INDIRECT METADATA backref */
|
2017-07-12 22:20:08 +00:00
|
|
|
ret = add_indirect_ref(fs_info, preftrees, key.offset,
|
|
|
|
NULL, info_level + 1, bytenr,
|
2017-07-12 22:20:10 +00:00
|
|
|
1, NULL, GFP_NOFS);
|
2011-11-23 17:55:04 +00:00
|
|
|
break;
|
|
|
|
case BTRFS_EXTENT_DATA_REF_KEY: {
|
2017-07-12 22:20:06 +00:00
|
|
|
/* NORMAL INDIRECT DATA backref */
|
2011-11-23 17:55:04 +00:00
|
|
|
struct btrfs_extent_data_ref *dref;
|
|
|
|
int count;
|
|
|
|
u64 root;
|
|
|
|
|
|
|
|
dref = btrfs_item_ptr(leaf, slot,
|
|
|
|
struct btrfs_extent_data_ref);
|
|
|
|
count = btrfs_extent_data_ref_count(leaf, dref);
|
|
|
|
key.objectid = btrfs_extent_data_ref_objectid(leaf,
|
|
|
|
dref);
|
|
|
|
key.type = BTRFS_EXTENT_DATA_KEY;
|
|
|
|
key.offset = btrfs_extent_data_ref_offset(leaf, dref);
|
2014-09-10 20:20:45 +00:00
|
|
|
|
2017-07-12 22:20:10 +00:00
|
|
|
if (sc && sc->inum && key.objectid != sc->inum) {
|
2014-09-10 20:20:45 +00:00
|
|
|
ret = BACKREF_FOUND_SHARED;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2011-11-23 17:55:04 +00:00
|
|
|
root = btrfs_extent_data_ref_root(leaf, dref);
|
2017-07-12 22:20:08 +00:00
|
|
|
ret = add_indirect_ref(fs_info, preftrees, root,
|
|
|
|
&key, 0, bytenr, count,
|
2017-07-12 22:20:10 +00:00
|
|
|
sc, GFP_NOFS);
|
2011-11-23 17:55:04 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
default:
|
|
|
|
WARN_ON(1);
|
|
|
|
}
|
2013-04-10 11:22:50 +00:00
|
|
|
if (ret)
|
|
|
|
return ret;
|
|
|
|
|
2011-11-23 17:55:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* this adds all existing backrefs (inline backrefs, backrefs and delayed
|
|
|
|
* refs) for the given bytenr to the refs list, merges duplicates and resolves
|
|
|
|
* indirect refs to their parent bytenr.
|
|
|
|
* When roots are found, they're added to the roots list
|
|
|
|
*
|
2017-03-16 16:04:34 +00:00
|
|
|
* If time_seq is set to SEQ_LAST, it will not search delayed_refs, and behave
|
2015-04-16 06:54:50 +00:00
|
|
|
* much like trans == NULL case, the difference only lies in it will not
|
|
|
|
* commit root.
|
|
|
|
* The special case is for qgroup to search roots in commit_transaction().
|
|
|
|
*
|
2017-07-12 22:20:10 +00:00
|
|
|
* @sc - if !NULL, then immediately return BACKREF_FOUND_SHARED when a
|
|
|
|
* shared extent is detected.
|
|
|
|
*
|
|
|
|
* Otherwise this returns 0 for success and <0 for an error.
|
|
|
|
*
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
* If ignore_offset is set to false, only extent refs whose offsets match
|
|
|
|
* extent_item_pos are returned. If true, every extent ref is returned
|
|
|
|
* and extent_item_pos is ignored.
|
|
|
|
*
|
2011-11-23 17:55:04 +00:00
|
|
|
* FIXME some caching might speed things up
|
|
|
|
*/
|
|
|
|
static int find_parent_nodes(struct btrfs_trans_handle *trans,
|
|
|
|
struct btrfs_fs_info *fs_info, u64 bytenr,
|
2012-06-21 09:08:04 +00:00
|
|
|
u64 time_seq, struct ulist *refs,
|
2014-09-10 20:20:45 +00:00
|
|
|
struct ulist *roots, const u64 *extent_item_pos,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
struct share_check *sc, bool ignore_offset)
|
2011-11-23 17:55:04 +00:00
|
|
|
{
|
|
|
|
struct btrfs_key key;
|
|
|
|
struct btrfs_path *path;
|
|
|
|
struct btrfs_delayed_ref_root *delayed_refs = NULL;
|
2012-03-03 12:41:15 +00:00
|
|
|
struct btrfs_delayed_ref_head *head;
|
2011-11-23 17:55:04 +00:00
|
|
|
int info_level = 0;
|
|
|
|
int ret;
|
2017-06-29 03:56:57 +00:00
|
|
|
struct prelim_ref *ref;
|
2017-07-12 22:20:06 +00:00
|
|
|
struct rb_node *node;
|
2014-01-28 11:13:38 +00:00
|
|
|
struct extent_inode_elem *eie = NULL;
|
2017-07-12 22:20:06 +00:00
|
|
|
/* total of both direct AND indirect refs! */
|
2014-03-19 17:35:14 +00:00
|
|
|
u64 total_refs = 0;
|
2017-07-12 22:20:06 +00:00
|
|
|
struct preftrees preftrees = {
|
|
|
|
.direct = PREFTREE_INIT,
|
|
|
|
.indirect = PREFTREE_INIT,
|
|
|
|
.indirect_missing_keys = PREFTREE_INIT
|
|
|
|
};
|
2011-11-23 17:55:04 +00:00
|
|
|
|
|
|
|
key.objectid = bytenr;
|
|
|
|
key.offset = (u64)-1;
|
2013-06-28 17:11:22 +00:00
|
|
|
if (btrfs_fs_incompat(fs_info, SKINNY_METADATA))
|
|
|
|
key.type = BTRFS_METADATA_ITEM_KEY;
|
|
|
|
else
|
|
|
|
key.type = BTRFS_EXTENT_ITEM_KEY;
|
2011-11-23 17:55:04 +00:00
|
|
|
|
|
|
|
path = btrfs_alloc_path();
|
|
|
|
if (!path)
|
|
|
|
return -ENOMEM;
|
2014-02-13 03:19:47 +00:00
|
|
|
if (!trans) {
|
2013-06-12 20:20:08 +00:00
|
|
|
path->search_commit_root = 1;
|
2014-02-13 03:19:47 +00:00
|
|
|
path->skip_locking = 1;
|
|
|
|
}
|
2011-11-23 17:55:04 +00:00
|
|
|
|
2017-03-16 16:04:34 +00:00
|
|
|
if (time_seq == SEQ_LAST)
|
2015-04-16 06:54:50 +00:00
|
|
|
path->skip_locking = 1;
|
|
|
|
|
2011-11-23 17:55:04 +00:00
|
|
|
/*
|
|
|
|
* grab both a lock on the path and a lock on the delayed ref head.
|
|
|
|
* We need both to get a consistent picture of how the refs look
|
|
|
|
* at a specified point in time
|
|
|
|
*/
|
|
|
|
again:
|
2012-03-03 12:41:15 +00:00
|
|
|
head = NULL;
|
|
|
|
|
2011-11-23 17:55:04 +00:00
|
|
|
ret = btrfs_search_slot(trans, fs_info->extent_root, &key, path, 0, 0);
|
|
|
|
if (ret < 0)
|
|
|
|
goto out;
|
|
|
|
BUG_ON(ret == 0);
|
|
|
|
|
2014-05-07 21:06:09 +00:00
|
|
|
#ifdef CONFIG_BTRFS_FS_RUN_SANITY_TESTS
|
2015-04-16 06:54:50 +00:00
|
|
|
if (trans && likely(trans->type != __TRANS_DUMMY) &&
|
2017-03-16 16:04:34 +00:00
|
|
|
time_seq != SEQ_LAST) {
|
2014-05-07 21:06:09 +00:00
|
|
|
#else
|
2017-03-16 16:04:34 +00:00
|
|
|
if (trans && time_seq != SEQ_LAST) {
|
2014-05-07 21:06:09 +00:00
|
|
|
#endif
|
2012-03-23 16:32:28 +00:00
|
|
|
/*
|
|
|
|
* look if there are updates for this ref queued and lock the
|
|
|
|
* head
|
|
|
|
*/
|
|
|
|
delayed_refs = &trans->transaction->delayed_refs;
|
|
|
|
spin_lock(&delayed_refs->lock);
|
2017-01-30 20:24:37 +00:00
|
|
|
head = btrfs_find_delayed_ref_head(delayed_refs, bytenr);
|
2012-03-23 16:32:28 +00:00
|
|
|
if (head) {
|
|
|
|
if (!mutex_trylock(&head->mutex)) {
|
2017-09-29 19:43:57 +00:00
|
|
|
refcount_inc(&head->refs);
|
2012-03-23 16:32:28 +00:00
|
|
|
spin_unlock(&delayed_refs->lock);
|
|
|
|
|
|
|
|
btrfs_release_path(path);
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Mutex was contended, block until it's
|
|
|
|
* released and try again
|
|
|
|
*/
|
|
|
|
mutex_lock(&head->mutex);
|
|
|
|
mutex_unlock(&head->mutex);
|
2017-09-29 19:43:57 +00:00
|
|
|
btrfs_put_delayed_ref_head(head);
|
2012-03-23 16:32:28 +00:00
|
|
|
goto again;
|
|
|
|
}
|
2014-01-23 14:21:38 +00:00
|
|
|
spin_unlock(&delayed_refs->lock);
|
2017-07-12 22:20:08 +00:00
|
|
|
ret = add_delayed_refs(fs_info, head, time_seq,
|
2017-07-12 22:20:10 +00:00
|
|
|
&preftrees, &total_refs, sc);
|
2012-06-22 12:01:00 +00:00
|
|
|
mutex_unlock(&head->mutex);
|
2014-01-23 14:21:38 +00:00
|
|
|
if (ret)
|
2012-03-23 16:32:28 +00:00
|
|
|
goto out;
|
2014-01-23 14:21:38 +00:00
|
|
|
} else {
|
|
|
|
spin_unlock(&delayed_refs->lock);
|
2012-03-03 12:41:15 +00:00
|
|
|
}
|
2011-11-23 17:55:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
if (path->slots[0]) {
|
|
|
|
struct extent_buffer *leaf;
|
|
|
|
int slot;
|
|
|
|
|
2012-05-22 11:43:25 +00:00
|
|
|
path->slots[0]--;
|
2011-11-23 17:55:04 +00:00
|
|
|
leaf = path->nodes[0];
|
2012-05-22 11:43:25 +00:00
|
|
|
slot = path->slots[0];
|
2011-11-23 17:55:04 +00:00
|
|
|
btrfs_item_key_to_cpu(leaf, &key, slot);
|
|
|
|
if (key.objectid == bytenr &&
|
2013-06-28 17:11:22 +00:00
|
|
|
(key.type == BTRFS_EXTENT_ITEM_KEY ||
|
|
|
|
key.type == BTRFS_METADATA_ITEM_KEY)) {
|
2017-07-12 22:20:08 +00:00
|
|
|
ret = add_inline_refs(fs_info, path, bytenr,
|
|
|
|
&info_level, &preftrees,
|
2017-07-12 22:20:10 +00:00
|
|
|
&total_refs, sc);
|
2011-11-23 17:55:04 +00:00
|
|
|
if (ret)
|
|
|
|
goto out;
|
2017-06-29 03:56:57 +00:00
|
|
|
ret = add_keyed_refs(fs_info, path, bytenr, info_level,
|
2017-07-12 22:20:10 +00:00
|
|
|
&preftrees, sc);
|
2011-11-23 17:55:04 +00:00
|
|
|
if (ret)
|
|
|
|
goto out;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2017-07-12 22:20:06 +00:00
|
|
|
btrfs_release_path(path);
|
2011-11-23 17:55:04 +00:00
|
|
|
|
2017-07-12 22:20:06 +00:00
|
|
|
ret = add_missing_keys(fs_info, &preftrees);
|
2012-05-15 15:55:51 +00:00
|
|
|
if (ret)
|
|
|
|
goto out;
|
|
|
|
|
2018-08-22 19:51:53 +00:00
|
|
|
WARN_ON(!RB_EMPTY_ROOT(&preftrees.indirect_missing_keys.root.rb_root));
|
2011-11-23 17:55:04 +00:00
|
|
|
|
2017-07-12 22:20:06 +00:00
|
|
|
ret = resolve_indirect_refs(fs_info, path, time_seq, &preftrees,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
extent_item_pos, total_refs, sc, ignore_offset);
|
2011-11-23 17:55:04 +00:00
|
|
|
if (ret)
|
|
|
|
goto out;
|
|
|
|
|
2018-08-22 19:51:53 +00:00
|
|
|
WARN_ON(!RB_EMPTY_ROOT(&preftrees.indirect.root.rb_root));
|
2011-11-23 17:55:04 +00:00
|
|
|
|
2017-07-12 22:20:06 +00:00
|
|
|
/*
|
|
|
|
* This walks the tree of merged and resolved refs. Tree blocks are
|
|
|
|
* read in as needed. Unique entries are added to the ulist, and
|
|
|
|
* the list of found roots is updated.
|
|
|
|
*
|
|
|
|
* We release the entire tree in one go before returning.
|
|
|
|
*/
|
2018-08-22 19:51:53 +00:00
|
|
|
node = rb_first_cached(&preftrees.direct.root);
|
2017-07-12 22:20:06 +00:00
|
|
|
while (node) {
|
|
|
|
ref = rb_entry(node, struct prelim_ref, rbnode);
|
|
|
|
node = rb_next(&ref->rbnode);
|
2018-01-24 03:22:09 +00:00
|
|
|
/*
|
|
|
|
* ref->count < 0 can happen here if there are delayed
|
|
|
|
* refs with a node->action of BTRFS_DROP_DELAYED_REF.
|
|
|
|
* prelim_ref_insert() relies on this when merging
|
|
|
|
* identical refs to keep the overall count correct.
|
|
|
|
* prelim_ref_insert() will merge only those refs
|
|
|
|
* which compare identically. Any refs having
|
|
|
|
* e.g. different offsets would not be merged,
|
|
|
|
* and would retain their original ref->count < 0.
|
|
|
|
*/
|
2014-01-31 16:42:05 +00:00
|
|
|
if (roots && ref->count && ref->root_id && ref->parent == 0) {
|
2017-07-12 22:20:10 +00:00
|
|
|
if (sc && sc->root_objectid &&
|
|
|
|
ref->root_id != sc->root_objectid) {
|
2014-09-10 20:20:45 +00:00
|
|
|
ret = BACKREF_FOUND_SHARED;
|
|
|
|
goto out;
|
|
|
|
}
|
|
|
|
|
2011-11-23 17:55:04 +00:00
|
|
|
/* no parent == root of tree */
|
|
|
|
ret = ulist_add(roots, ref->root_id, 0, GFP_NOFS);
|
2013-03-29 23:03:21 +00:00
|
|
|
if (ret < 0)
|
|
|
|
goto out;
|
2011-11-23 17:55:04 +00:00
|
|
|
}
|
|
|
|
if (ref->count && ref->parent) {
|
2014-06-05 20:08:45 +00:00
|
|
|
if (extent_item_pos && !ref->inode_list &&
|
|
|
|
ref->level == 0) {
|
2012-05-17 14:43:03 +00:00
|
|
|
struct extent_buffer *eb;
|
2014-06-04 17:22:26 +00:00
|
|
|
|
2018-03-29 01:08:11 +00:00
|
|
|
eb = read_tree_block(fs_info, ref->parent, 0,
|
|
|
|
ref->level, NULL);
|
2015-05-25 09:30:15 +00:00
|
|
|
if (IS_ERR(eb)) {
|
|
|
|
ret = PTR_ERR(eb);
|
|
|
|
goto out;
|
|
|
|
} else if (!extent_buffer_uptodate(eb)) {
|
2013-04-23 18:17:42 +00:00
|
|
|
free_extent_buffer(eb);
|
2013-05-08 08:10:25 +00:00
|
|
|
ret = -EIO;
|
|
|
|
goto out;
|
2013-04-23 18:17:42 +00:00
|
|
|
}
|
2014-07-02 19:07:54 +00:00
|
|
|
btrfs_tree_read_lock(eb);
|
2018-04-04 00:00:17 +00:00
|
|
|
btrfs_set_lock_blocking_read(eb);
|
2012-05-17 14:43:03 +00:00
|
|
|
ret = find_extent_in_eb(eb, bytenr,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
*extent_item_pos, &eie, ignore_offset);
|
2014-07-02 19:07:54 +00:00
|
|
|
btrfs_tree_read_unlock_blocking(eb);
|
2012-05-17 14:43:03 +00:00
|
|
|
free_extent_buffer(eb);
|
2013-07-30 23:26:35 +00:00
|
|
|
if (ret < 0)
|
|
|
|
goto out;
|
|
|
|
ref->inode_list = eie;
|
2012-05-17 14:43:03 +00:00
|
|
|
}
|
2014-07-28 08:57:04 +00:00
|
|
|
ret = ulist_add_merge_ptr(refs, ref->parent,
|
|
|
|
ref->inode_list,
|
|
|
|
(void **)&eie, GFP_NOFS);
|
2013-03-29 23:03:21 +00:00
|
|
|
if (ret < 0)
|
|
|
|
goto out;
|
2012-05-30 16:05:21 +00:00
|
|
|
if (!ret && extent_item_pos) {
|
|
|
|
/*
|
|
|
|
* we've recorded that parent, so we must extend
|
|
|
|
* its inode list here
|
|
|
|
*/
|
|
|
|
BUG_ON(!eie);
|
|
|
|
while (eie->next)
|
|
|
|
eie = eie->next;
|
|
|
|
eie->next = ref->inode_list;
|
|
|
|
}
|
2014-01-28 11:13:38 +00:00
|
|
|
eie = NULL;
|
2011-11-23 17:55:04 +00:00
|
|
|
}
|
2017-07-12 22:20:09 +00:00
|
|
|
cond_resched();
|
2011-11-23 17:55:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
out:
|
|
|
|
btrfs_free_path(path);
|
2017-07-12 22:20:06 +00:00
|
|
|
|
|
|
|
prelim_release(&preftrees.direct);
|
|
|
|
prelim_release(&preftrees.indirect);
|
|
|
|
prelim_release(&preftrees.indirect_missing_keys);
|
|
|
|
|
2014-01-28 11:13:38 +00:00
|
|
|
if (ret < 0)
|
|
|
|
free_inode_elem_list(eie);
|
2011-11-23 17:55:04 +00:00
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2012-05-17 14:43:03 +00:00
|
|
|
static void free_leaf_list(struct ulist *blocks)
|
|
|
|
{
|
|
|
|
struct ulist_node *node = NULL;
|
|
|
|
struct extent_inode_elem *eie;
|
|
|
|
struct ulist_iterator uiter;
|
|
|
|
|
|
|
|
ULIST_ITER_INIT(&uiter);
|
|
|
|
while ((node = ulist_next(blocks, &uiter))) {
|
|
|
|
if (!node->aux)
|
|
|
|
continue;
|
2017-06-29 03:56:56 +00:00
|
|
|
eie = unode_aux_to_inode_list(node);
|
2014-01-28 11:13:38 +00:00
|
|
|
free_inode_elem_list(eie);
|
2012-05-17 14:43:03 +00:00
|
|
|
node->aux = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
ulist_free(blocks);
|
|
|
|
}
|
|
|
|
|
2011-11-23 17:55:04 +00:00
|
|
|
/*
|
|
|
|
* Finds all leafs with a reference to the specified combination of bytenr and
|
|
|
|
* offset. key_list_head will point to a list of corresponding keys (caller must
|
|
|
|
* free each list element). The leafs will be stored in the leafs ulist, which
|
|
|
|
* must be freed with ulist_free.
|
|
|
|
*
|
|
|
|
* returns 0 on success, <0 on error
|
|
|
|
*/
|
|
|
|
static int btrfs_find_all_leafs(struct btrfs_trans_handle *trans,
|
|
|
|
struct btrfs_fs_info *fs_info, u64 bytenr,
|
2012-06-21 09:08:04 +00:00
|
|
|
u64 time_seq, struct ulist **leafs,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
const u64 *extent_item_pos, bool ignore_offset)
|
2011-11-23 17:55:04 +00:00
|
|
|
{
|
|
|
|
int ret;
|
|
|
|
|
|
|
|
*leafs = ulist_alloc(GFP_NOFS);
|
2014-01-31 16:42:05 +00:00
|
|
|
if (!*leafs)
|
2011-11-23 17:55:04 +00:00
|
|
|
return -ENOMEM;
|
|
|
|
|
btrfs: fix check_shared for fiemap ioctl
Only in the case of different root_id or different object_id, check_shared
identified extent as the shared. However, If a extent was referred by
different offset of same file, it should also be identified as shared.
In addition, check_shared's loop scale is at least n^3, so if a extent
has too many references, even causes soft hang up.
First, add all delayed_ref to the ref_tree and calculate the unqiue_refs,
if the unique_refs is greater than one, return BACKREF_FOUND_SHARED.
Then individually add the on-disk reference(inline/keyed) to the ref_tree
and calculate the unique_refs of the ref_tree to check if the unique_refs
is greater than one.Because once there are two references to return
SHARED, so the time complexity is close to the constant.
Reported-by: Tsutomu Itoh <t-itoh@jp.fujitsu.com>
Signed-off-by: Lu Fengqi <lufq.fnst@cn.fujitsu.com>
Signed-off-by: David Sterba <dsterba@suse.com>
2016-06-13 01:36:46 +00:00
|
|
|
ret = find_parent_nodes(trans, fs_info, bytenr, time_seq,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
*leafs, NULL, extent_item_pos, NULL, ignore_offset);
|
2011-11-23 17:55:04 +00:00
|
|
|
if (ret < 0 && ret != -ENOENT) {
|
2012-05-17 14:43:03 +00:00
|
|
|
free_leaf_list(*leafs);
|
2011-11-23 17:55:04 +00:00
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* walk all backrefs for a given extent to find all roots that reference this
|
|
|
|
* extent. Walking a backref means finding all extents that reference this
|
|
|
|
* extent and in turn walk the backrefs of those, too. Naturally this is a
|
|
|
|
* recursive process, but here it is implemented in an iterative fashion: We
|
|
|
|
* find all referencing extents for the extent in question and put them on a
|
|
|
|
* list. In turn, we find all referencing extents for those, further appending
|
|
|
|
* to the list. The way we iterate the list allows adding more elements after
|
|
|
|
* the current while iterating. The process stops when we reach the end of the
|
|
|
|
* list. Found roots are added to the roots list.
|
|
|
|
*
|
|
|
|
* returns 0 on success, < 0 on error.
|
|
|
|
*/
|
2017-06-29 03:56:57 +00:00
|
|
|
static int btrfs_find_all_roots_safe(struct btrfs_trans_handle *trans,
|
|
|
|
struct btrfs_fs_info *fs_info, u64 bytenr,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
u64 time_seq, struct ulist **roots,
|
|
|
|
bool ignore_offset)
|
2011-11-23 17:55:04 +00:00
|
|
|
{
|
|
|
|
struct ulist *tmp;
|
|
|
|
struct ulist_node *node = NULL;
|
2012-05-22 12:56:50 +00:00
|
|
|
struct ulist_iterator uiter;
|
2011-11-23 17:55:04 +00:00
|
|
|
int ret;
|
|
|
|
|
|
|
|
tmp = ulist_alloc(GFP_NOFS);
|
|
|
|
if (!tmp)
|
|
|
|
return -ENOMEM;
|
|
|
|
*roots = ulist_alloc(GFP_NOFS);
|
|
|
|
if (!*roots) {
|
|
|
|
ulist_free(tmp);
|
|
|
|
return -ENOMEM;
|
|
|
|
}
|
|
|
|
|
2012-05-22 12:56:50 +00:00
|
|
|
ULIST_ITER_INIT(&uiter);
|
2011-11-23 17:55:04 +00:00
|
|
|
while (1) {
|
btrfs: fix check_shared for fiemap ioctl
Only in the case of different root_id or different object_id, check_shared
identified extent as the shared. However, If a extent was referred by
different offset of same file, it should also be identified as shared.
In addition, check_shared's loop scale is at least n^3, so if a extent
has too many references, even causes soft hang up.
First, add all delayed_ref to the ref_tree and calculate the unqiue_refs,
if the unique_refs is greater than one, return BACKREF_FOUND_SHARED.
Then individually add the on-disk reference(inline/keyed) to the ref_tree
and calculate the unique_refs of the ref_tree to check if the unique_refs
is greater than one.Because once there are two references to return
SHARED, so the time complexity is close to the constant.
Reported-by: Tsutomu Itoh <t-itoh@jp.fujitsu.com>
Signed-off-by: Lu Fengqi <lufq.fnst@cn.fujitsu.com>
Signed-off-by: David Sterba <dsterba@suse.com>
2016-06-13 01:36:46 +00:00
|
|
|
ret = find_parent_nodes(trans, fs_info, bytenr, time_seq,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
tmp, *roots, NULL, NULL, ignore_offset);
|
2011-11-23 17:55:04 +00:00
|
|
|
if (ret < 0 && ret != -ENOENT) {
|
|
|
|
ulist_free(tmp);
|
|
|
|
ulist_free(*roots);
|
|
|
|
return ret;
|
|
|
|
}
|
2012-05-22 12:56:50 +00:00
|
|
|
node = ulist_next(tmp, &uiter);
|
2011-11-23 17:55:04 +00:00
|
|
|
if (!node)
|
|
|
|
break;
|
|
|
|
bytenr = node->val;
|
2014-01-26 14:32:18 +00:00
|
|
|
cond_resched();
|
2011-11-23 17:55:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
ulist_free(tmp);
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2014-03-13 19:42:13 +00:00
|
|
|
int btrfs_find_all_roots(struct btrfs_trans_handle *trans,
|
|
|
|
struct btrfs_fs_info *fs_info, u64 bytenr,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
u64 time_seq, struct ulist **roots,
|
|
|
|
bool ignore_offset)
|
2014-03-13 19:42:13 +00:00
|
|
|
{
|
|
|
|
int ret;
|
|
|
|
|
|
|
|
if (!trans)
|
|
|
|
down_read(&fs_info->commit_root_sem);
|
2017-06-29 03:56:57 +00:00
|
|
|
ret = btrfs_find_all_roots_safe(trans, fs_info, bytenr,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
time_seq, roots, ignore_offset);
|
2014-03-13 19:42:13 +00:00
|
|
|
if (!trans)
|
|
|
|
up_read(&fs_info->commit_root_sem);
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2015-05-19 19:49:50 +00:00
|
|
|
/**
|
|
|
|
* btrfs_check_shared - tell us whether an extent is shared
|
|
|
|
*
|
|
|
|
* btrfs_check_shared uses the backref walking code but will short
|
|
|
|
* circuit as soon as it finds a root or inode that doesn't match the
|
|
|
|
* one passed in. This provides a significant performance benefit for
|
|
|
|
* callers (such as fiemap) which want to know whether the extent is
|
|
|
|
* shared but do not need a ref count.
|
|
|
|
*
|
2017-06-29 03:56:58 +00:00
|
|
|
* This attempts to allocate a transaction in order to account for
|
|
|
|
* delayed refs, but continues on even when the alloc fails.
|
|
|
|
*
|
2015-05-19 19:49:50 +00:00
|
|
|
* Return: 0 if extent is not shared, 1 if it is shared, < 0 on error.
|
|
|
|
*/
|
2017-06-29 03:56:58 +00:00
|
|
|
int btrfs_check_shared(struct btrfs_root *root, u64 inum, u64 bytenr)
|
2014-09-10 20:20:45 +00:00
|
|
|
{
|
2017-06-29 03:56:58 +00:00
|
|
|
struct btrfs_fs_info *fs_info = root->fs_info;
|
|
|
|
struct btrfs_trans_handle *trans;
|
2014-09-10 20:20:45 +00:00
|
|
|
struct ulist *tmp = NULL;
|
|
|
|
struct ulist *roots = NULL;
|
|
|
|
struct ulist_iterator uiter;
|
|
|
|
struct ulist_node *node;
|
2015-02-25 14:47:32 +00:00
|
|
|
struct seq_list elem = SEQ_LIST_INIT(elem);
|
2014-09-10 20:20:45 +00:00
|
|
|
int ret = 0;
|
2017-07-12 22:20:10 +00:00
|
|
|
struct share_check shared = {
|
2018-08-06 05:25:24 +00:00
|
|
|
.root_objectid = root->root_key.objectid,
|
2017-07-12 22:20:10 +00:00
|
|
|
.inum = inum,
|
|
|
|
.share_count = 0,
|
|
|
|
};
|
2014-09-10 20:20:45 +00:00
|
|
|
|
|
|
|
tmp = ulist_alloc(GFP_NOFS);
|
|
|
|
roots = ulist_alloc(GFP_NOFS);
|
|
|
|
if (!tmp || !roots) {
|
|
|
|
ulist_free(tmp);
|
|
|
|
ulist_free(roots);
|
|
|
|
return -ENOMEM;
|
|
|
|
}
|
|
|
|
|
2017-06-29 03:56:58 +00:00
|
|
|
trans = btrfs_join_transaction(root);
|
|
|
|
if (IS_ERR(trans)) {
|
|
|
|
trans = NULL;
|
2014-09-10 20:20:45 +00:00
|
|
|
down_read(&fs_info->commit_root_sem);
|
2017-06-29 03:56:58 +00:00
|
|
|
} else {
|
|
|
|
btrfs_get_tree_mod_seq(fs_info, &elem);
|
|
|
|
}
|
|
|
|
|
2014-09-10 20:20:45 +00:00
|
|
|
ULIST_ITER_INIT(&uiter);
|
|
|
|
while (1) {
|
|
|
|
ret = find_parent_nodes(trans, fs_info, bytenr, elem.seq, tmp,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
roots, NULL, &shared, false);
|
2014-09-10 20:20:45 +00:00
|
|
|
if (ret == BACKREF_FOUND_SHARED) {
|
2015-05-19 19:49:50 +00:00
|
|
|
/* this is the only condition under which we return 1 */
|
2014-09-10 20:20:45 +00:00
|
|
|
ret = 1;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
if (ret < 0 && ret != -ENOENT)
|
|
|
|
break;
|
2015-05-19 19:49:50 +00:00
|
|
|
ret = 0;
|
2014-09-10 20:20:45 +00:00
|
|
|
node = ulist_next(tmp, &uiter);
|
|
|
|
if (!node)
|
|
|
|
break;
|
|
|
|
bytenr = node->val;
|
2018-03-14 15:03:11 +00:00
|
|
|
shared.share_count = 0;
|
2014-09-10 20:20:45 +00:00
|
|
|
cond_resched();
|
|
|
|
}
|
2017-06-29 03:56:58 +00:00
|
|
|
|
|
|
|
if (trans) {
|
2014-09-10 20:20:45 +00:00
|
|
|
btrfs_put_tree_mod_seq(fs_info, &elem);
|
2017-06-29 03:56:58 +00:00
|
|
|
btrfs_end_transaction(trans);
|
|
|
|
} else {
|
2014-09-10 20:20:45 +00:00
|
|
|
up_read(&fs_info->commit_root_sem);
|
2017-06-29 03:56:58 +00:00
|
|
|
}
|
2014-09-10 20:20:45 +00:00
|
|
|
ulist_free(tmp);
|
|
|
|
ulist_free(roots);
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2012-08-08 18:32:27 +00:00
|
|
|
int btrfs_find_one_extref(struct btrfs_root *root, u64 inode_objectid,
|
|
|
|
u64 start_off, struct btrfs_path *path,
|
|
|
|
struct btrfs_inode_extref **ret_extref,
|
|
|
|
u64 *found_off)
|
|
|
|
{
|
|
|
|
int ret, slot;
|
|
|
|
struct btrfs_key key;
|
|
|
|
struct btrfs_key found_key;
|
|
|
|
struct btrfs_inode_extref *extref;
|
2017-06-29 03:56:55 +00:00
|
|
|
const struct extent_buffer *leaf;
|
2012-08-08 18:32:27 +00:00
|
|
|
unsigned long ptr;
|
|
|
|
|
|
|
|
key.objectid = inode_objectid;
|
2014-06-04 16:41:45 +00:00
|
|
|
key.type = BTRFS_INODE_EXTREF_KEY;
|
2012-08-08 18:32:27 +00:00
|
|
|
key.offset = start_off;
|
|
|
|
|
|
|
|
ret = btrfs_search_slot(NULL, root, &key, path, 0, 0);
|
|
|
|
if (ret < 0)
|
|
|
|
return ret;
|
|
|
|
|
|
|
|
while (1) {
|
|
|
|
leaf = path->nodes[0];
|
|
|
|
slot = path->slots[0];
|
|
|
|
if (slot >= btrfs_header_nritems(leaf)) {
|
|
|
|
/*
|
|
|
|
* If the item at offset is not found,
|
|
|
|
* btrfs_search_slot will point us to the slot
|
|
|
|
* where it should be inserted. In our case
|
|
|
|
* that will be the slot directly before the
|
|
|
|
* next INODE_REF_KEY_V2 item. In the case
|
|
|
|
* that we're pointing to the last slot in a
|
|
|
|
* leaf, we must move one leaf over.
|
|
|
|
*/
|
|
|
|
ret = btrfs_next_leaf(root, path);
|
|
|
|
if (ret) {
|
|
|
|
if (ret >= 1)
|
|
|
|
ret = -ENOENT;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
btrfs_item_key_to_cpu(leaf, &found_key, slot);
|
|
|
|
|
|
|
|
/*
|
|
|
|
* Check that we're still looking at an extended ref key for
|
|
|
|
* this particular objectid. If we have different
|
|
|
|
* objectid or type then there are no more to be found
|
|
|
|
* in the tree and we can exit.
|
|
|
|
*/
|
|
|
|
ret = -ENOENT;
|
|
|
|
if (found_key.objectid != inode_objectid)
|
|
|
|
break;
|
2014-06-04 16:41:45 +00:00
|
|
|
if (found_key.type != BTRFS_INODE_EXTREF_KEY)
|
2012-08-08 18:32:27 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
ret = 0;
|
|
|
|
ptr = btrfs_item_ptr_offset(leaf, path->slots[0]);
|
|
|
|
extref = (struct btrfs_inode_extref *)ptr;
|
|
|
|
*ret_extref = extref;
|
|
|
|
if (found_off)
|
|
|
|
*found_off = found_key.offset;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2013-04-25 20:41:01 +00:00
|
|
|
/*
|
|
|
|
* this iterates to turn a name (from iref/extref) into a full filesystem path.
|
|
|
|
* Elements of the path are separated by '/' and the path is guaranteed to be
|
|
|
|
* 0-terminated. the path is only given within the current file system.
|
|
|
|
* Therefore, it never starts with a '/'. the caller is responsible to provide
|
|
|
|
* "size" bytes in "dest". the dest buffer will be filled backwards. finally,
|
|
|
|
* the start point of the resulting string is returned. this pointer is within
|
|
|
|
* dest, normally.
|
|
|
|
* in case the path buffer would overflow, the pointer is decremented further
|
|
|
|
* as if output was written to the buffer, though no more output is actually
|
|
|
|
* generated. that way, the caller can determine how much space would be
|
|
|
|
* required for the path to fit into the buffer. in that case, the returned
|
|
|
|
* value will be smaller than dest. callers must check this!
|
|
|
|
*/
|
2012-10-15 08:30:45 +00:00
|
|
|
char *btrfs_ref_to_path(struct btrfs_root *fs_root, struct btrfs_path *path,
|
|
|
|
u32 name_len, unsigned long name_off,
|
|
|
|
struct extent_buffer *eb_in, u64 parent,
|
|
|
|
char *dest, u32 size)
|
2011-06-13 17:52:59 +00:00
|
|
|
{
|
|
|
|
int slot;
|
|
|
|
u64 next_inum;
|
|
|
|
int ret;
|
2012-10-10 14:50:47 +00:00
|
|
|
s64 bytes_left = ((s64)size) - 1;
|
2011-06-13 17:52:59 +00:00
|
|
|
struct extent_buffer *eb = eb_in;
|
|
|
|
struct btrfs_key found_key;
|
2012-04-13 10:28:08 +00:00
|
|
|
int leave_spinning = path->leave_spinning;
|
2012-08-08 18:33:54 +00:00
|
|
|
struct btrfs_inode_ref *iref;
|
2011-06-13 17:52:59 +00:00
|
|
|
|
|
|
|
if (bytes_left >= 0)
|
|
|
|
dest[bytes_left] = '\0';
|
|
|
|
|
2012-04-13 10:28:08 +00:00
|
|
|
path->leave_spinning = 1;
|
2011-06-13 17:52:59 +00:00
|
|
|
while (1) {
|
2012-08-08 18:33:54 +00:00
|
|
|
bytes_left -= name_len;
|
2011-06-13 17:52:59 +00:00
|
|
|
if (bytes_left >= 0)
|
|
|
|
read_extent_buffer(eb, dest + bytes_left,
|
2012-08-08 18:33:54 +00:00
|
|
|
name_off, name_len);
|
2012-04-13 10:28:08 +00:00
|
|
|
if (eb != eb_in) {
|
2016-02-03 19:17:27 +00:00
|
|
|
if (!path->skip_locking)
|
|
|
|
btrfs_tree_read_unlock_blocking(eb);
|
2011-06-13 17:52:59 +00:00
|
|
|
free_extent_buffer(eb);
|
2012-04-13 10:28:08 +00:00
|
|
|
}
|
2015-01-02 18:03:17 +00:00
|
|
|
ret = btrfs_find_item(fs_root, path, parent, 0,
|
|
|
|
BTRFS_INODE_REF_KEY, &found_key);
|
2012-02-08 15:01:01 +00:00
|
|
|
if (ret > 0)
|
|
|
|
ret = -ENOENT;
|
2011-06-13 17:52:59 +00:00
|
|
|
if (ret)
|
|
|
|
break;
|
2012-08-08 18:33:54 +00:00
|
|
|
|
2011-06-13 17:52:59 +00:00
|
|
|
next_inum = found_key.offset;
|
|
|
|
|
|
|
|
/* regular exit ahead */
|
|
|
|
if (parent == next_inum)
|
|
|
|
break;
|
|
|
|
|
|
|
|
slot = path->slots[0];
|
|
|
|
eb = path->nodes[0];
|
|
|
|
/* make sure we can use eb after releasing the path */
|
2012-04-13 10:28:08 +00:00
|
|
|
if (eb != eb_in) {
|
2016-02-03 19:17:27 +00:00
|
|
|
if (!path->skip_locking)
|
2018-04-04 00:00:17 +00:00
|
|
|
btrfs_set_lock_blocking_read(eb);
|
2016-02-03 19:17:27 +00:00
|
|
|
path->nodes[0] = NULL;
|
|
|
|
path->locks[0] = 0;
|
2012-04-13 10:28:08 +00:00
|
|
|
}
|
2011-06-13 17:52:59 +00:00
|
|
|
btrfs_release_path(path);
|
|
|
|
iref = btrfs_item_ptr(eb, slot, struct btrfs_inode_ref);
|
2012-08-08 18:33:54 +00:00
|
|
|
|
|
|
|
name_len = btrfs_inode_ref_name_len(eb, iref);
|
|
|
|
name_off = (unsigned long)(iref + 1);
|
|
|
|
|
2011-06-13 17:52:59 +00:00
|
|
|
parent = next_inum;
|
|
|
|
--bytes_left;
|
|
|
|
if (bytes_left >= 0)
|
|
|
|
dest[bytes_left] = '/';
|
|
|
|
}
|
|
|
|
|
|
|
|
btrfs_release_path(path);
|
2012-04-13 10:28:08 +00:00
|
|
|
path->leave_spinning = leave_spinning;
|
2011-06-13 17:52:59 +00:00
|
|
|
|
|
|
|
if (ret)
|
|
|
|
return ERR_PTR(ret);
|
|
|
|
|
|
|
|
return dest + bytes_left;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* this makes the path point to (logical EXTENT_ITEM *)
|
|
|
|
* returns BTRFS_EXTENT_FLAG_DATA for data, BTRFS_EXTENT_FLAG_TREE_BLOCK for
|
|
|
|
* tree blocks and <0 on error.
|
|
|
|
*/
|
|
|
|
int extent_from_logical(struct btrfs_fs_info *fs_info, u64 logical,
|
2012-09-08 02:01:28 +00:00
|
|
|
struct btrfs_path *path, struct btrfs_key *found_key,
|
|
|
|
u64 *flags_ret)
|
2011-06-13 17:52:59 +00:00
|
|
|
{
|
|
|
|
int ret;
|
|
|
|
u64 flags;
|
2013-06-28 17:11:22 +00:00
|
|
|
u64 size = 0;
|
2011-06-13 17:52:59 +00:00
|
|
|
u32 item_size;
|
2017-06-29 03:56:55 +00:00
|
|
|
const struct extent_buffer *eb;
|
2011-06-13 17:52:59 +00:00
|
|
|
struct btrfs_extent_item *ei;
|
|
|
|
struct btrfs_key key;
|
|
|
|
|
2013-06-28 17:11:22 +00:00
|
|
|
if (btrfs_fs_incompat(fs_info, SKINNY_METADATA))
|
|
|
|
key.type = BTRFS_METADATA_ITEM_KEY;
|
|
|
|
else
|
|
|
|
key.type = BTRFS_EXTENT_ITEM_KEY;
|
2011-06-13 17:52:59 +00:00
|
|
|
key.objectid = logical;
|
|
|
|
key.offset = (u64)-1;
|
|
|
|
|
|
|
|
ret = btrfs_search_slot(NULL, fs_info->extent_root, &key, path, 0, 0);
|
|
|
|
if (ret < 0)
|
|
|
|
return ret;
|
|
|
|
|
2014-02-06 12:02:29 +00:00
|
|
|
ret = btrfs_previous_extent_item(fs_info->extent_root, path, 0);
|
|
|
|
if (ret) {
|
|
|
|
if (ret > 0)
|
|
|
|
ret = -ENOENT;
|
|
|
|
return ret;
|
2014-01-23 21:03:45 +00:00
|
|
|
}
|
2014-02-06 12:02:29 +00:00
|
|
|
btrfs_item_key_to_cpu(path->nodes[0], found_key, path->slots[0]);
|
2013-06-28 17:11:22 +00:00
|
|
|
if (found_key->type == BTRFS_METADATA_ITEM_KEY)
|
2016-06-15 13:22:56 +00:00
|
|
|
size = fs_info->nodesize;
|
2013-06-28 17:11:22 +00:00
|
|
|
else if (found_key->type == BTRFS_EXTENT_ITEM_KEY)
|
|
|
|
size = found_key->offset;
|
|
|
|
|
2014-01-23 21:03:45 +00:00
|
|
|
if (found_key->objectid > logical ||
|
2013-06-28 17:11:22 +00:00
|
|
|
found_key->objectid + size <= logical) {
|
2016-09-20 14:05:02 +00:00
|
|
|
btrfs_debug(fs_info,
|
|
|
|
"logical %llu is not within any extent", logical);
|
2011-06-13 17:52:59 +00:00
|
|
|
return -ENOENT;
|
2011-12-02 13:56:41 +00:00
|
|
|
}
|
2011-06-13 17:52:59 +00:00
|
|
|
|
|
|
|
eb = path->nodes[0];
|
|
|
|
item_size = btrfs_item_size_nr(eb, path->slots[0]);
|
|
|
|
BUG_ON(item_size < sizeof(*ei));
|
|
|
|
|
|
|
|
ei = btrfs_item_ptr(eb, path->slots[0], struct btrfs_extent_item);
|
|
|
|
flags = btrfs_extent_flags(eb, ei);
|
|
|
|
|
2016-09-20 14:05:02 +00:00
|
|
|
btrfs_debug(fs_info,
|
|
|
|
"logical %llu is at position %llu within the extent (%llu EXTENT_ITEM %llu) flags %#llx size %u",
|
2013-08-20 11:20:07 +00:00
|
|
|
logical, logical - found_key->objectid, found_key->objectid,
|
|
|
|
found_key->offset, flags, item_size);
|
2012-09-08 02:01:28 +00:00
|
|
|
|
|
|
|
WARN_ON(!flags_ret);
|
|
|
|
if (flags_ret) {
|
|
|
|
if (flags & BTRFS_EXTENT_FLAG_TREE_BLOCK)
|
|
|
|
*flags_ret = BTRFS_EXTENT_FLAG_TREE_BLOCK;
|
|
|
|
else if (flags & BTRFS_EXTENT_FLAG_DATA)
|
|
|
|
*flags_ret = BTRFS_EXTENT_FLAG_DATA;
|
|
|
|
else
|
|
|
|
BUG_ON(1);
|
|
|
|
return 0;
|
|
|
|
}
|
2011-06-13 17:52:59 +00:00
|
|
|
|
|
|
|
return -EIO;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* helper function to iterate extent inline refs. ptr must point to a 0 value
|
|
|
|
* for the first call and may be modified. it is used to track state.
|
|
|
|
* if more refs exist, 0 is returned and the next call to
|
2017-06-29 03:56:57 +00:00
|
|
|
* get_extent_inline_ref must pass the modified ptr parameter to get the
|
2011-06-13 17:52:59 +00:00
|
|
|
* next ref. after the last ref was processed, 1 is returned.
|
|
|
|
* returns <0 on error
|
|
|
|
*/
|
2017-06-29 03:56:57 +00:00
|
|
|
static int get_extent_inline_ref(unsigned long *ptr,
|
|
|
|
const struct extent_buffer *eb,
|
|
|
|
const struct btrfs_key *key,
|
|
|
|
const struct btrfs_extent_item *ei,
|
|
|
|
u32 item_size,
|
|
|
|
struct btrfs_extent_inline_ref **out_eiref,
|
|
|
|
int *out_type)
|
2011-06-13 17:52:59 +00:00
|
|
|
{
|
|
|
|
unsigned long end;
|
|
|
|
u64 flags;
|
|
|
|
struct btrfs_tree_block_info *info;
|
|
|
|
|
|
|
|
if (!*ptr) {
|
|
|
|
/* first call */
|
|
|
|
flags = btrfs_extent_flags(eb, ei);
|
|
|
|
if (flags & BTRFS_EXTENT_FLAG_TREE_BLOCK) {
|
2014-06-09 02:54:07 +00:00
|
|
|
if (key->type == BTRFS_METADATA_ITEM_KEY) {
|
|
|
|
/* a skinny metadata extent */
|
|
|
|
*out_eiref =
|
|
|
|
(struct btrfs_extent_inline_ref *)(ei + 1);
|
|
|
|
} else {
|
|
|
|
WARN_ON(key->type != BTRFS_EXTENT_ITEM_KEY);
|
|
|
|
info = (struct btrfs_tree_block_info *)(ei + 1);
|
|
|
|
*out_eiref =
|
|
|
|
(struct btrfs_extent_inline_ref *)(info + 1);
|
|
|
|
}
|
2011-06-13 17:52:59 +00:00
|
|
|
} else {
|
|
|
|
*out_eiref = (struct btrfs_extent_inline_ref *)(ei + 1);
|
|
|
|
}
|
|
|
|
*ptr = (unsigned long)*out_eiref;
|
2014-06-08 11:04:13 +00:00
|
|
|
if ((unsigned long)(*ptr) >= (unsigned long)ei + item_size)
|
2011-06-13 17:52:59 +00:00
|
|
|
return -ENOENT;
|
|
|
|
}
|
|
|
|
|
|
|
|
end = (unsigned long)ei + item_size;
|
2014-06-09 02:54:07 +00:00
|
|
|
*out_eiref = (struct btrfs_extent_inline_ref *)(*ptr);
|
2017-08-18 21:15:19 +00:00
|
|
|
*out_type = btrfs_get_extent_inline_ref_type(eb, *out_eiref,
|
|
|
|
BTRFS_REF_TYPE_ANY);
|
|
|
|
if (*out_type == BTRFS_REF_TYPE_INVALID)
|
2018-06-22 08:18:01 +00:00
|
|
|
return -EUCLEAN;
|
2011-06-13 17:52:59 +00:00
|
|
|
|
|
|
|
*ptr += btrfs_extent_inline_ref_size(*out_type);
|
|
|
|
WARN_ON(*ptr > end);
|
|
|
|
if (*ptr == end)
|
|
|
|
return 1; /* last */
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* reads the tree block backref for an extent. tree level and root are returned
|
|
|
|
* through out_level and out_root. ptr must point to a 0 value for the first
|
2017-06-29 03:56:57 +00:00
|
|
|
* call and may be modified (see get_extent_inline_ref comment).
|
2011-06-13 17:52:59 +00:00
|
|
|
* returns 0 if data was provided, 1 if there was no more data to provide or
|
|
|
|
* <0 on error.
|
|
|
|
*/
|
|
|
|
int tree_backref_for_extent(unsigned long *ptr, struct extent_buffer *eb,
|
2014-06-09 02:54:07 +00:00
|
|
|
struct btrfs_key *key, struct btrfs_extent_item *ei,
|
|
|
|
u32 item_size, u64 *out_root, u8 *out_level)
|
2011-06-13 17:52:59 +00:00
|
|
|
{
|
|
|
|
int ret;
|
|
|
|
int type;
|
|
|
|
struct btrfs_extent_inline_ref *eiref;
|
|
|
|
|
|
|
|
if (*ptr == (unsigned long)-1)
|
|
|
|
return 1;
|
|
|
|
|
|
|
|
while (1) {
|
2017-06-29 03:56:57 +00:00
|
|
|
ret = get_extent_inline_ref(ptr, eb, key, ei, item_size,
|
2014-06-09 02:54:07 +00:00
|
|
|
&eiref, &type);
|
2011-06-13 17:52:59 +00:00
|
|
|
if (ret < 0)
|
|
|
|
return ret;
|
|
|
|
|
|
|
|
if (type == BTRFS_TREE_BLOCK_REF_KEY ||
|
|
|
|
type == BTRFS_SHARED_BLOCK_REF_KEY)
|
|
|
|
break;
|
|
|
|
|
|
|
|
if (ret == 1)
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* we can treat both ref types equally here */
|
|
|
|
*out_root = btrfs_extent_inline_ref_offset(eb, eiref);
|
2014-12-15 16:04:42 +00:00
|
|
|
|
|
|
|
if (key->type == BTRFS_EXTENT_ITEM_KEY) {
|
|
|
|
struct btrfs_tree_block_info *info;
|
|
|
|
|
|
|
|
info = (struct btrfs_tree_block_info *)(ei + 1);
|
|
|
|
*out_level = btrfs_tree_block_level(eb, info);
|
|
|
|
} else {
|
|
|
|
ASSERT(key->type == BTRFS_METADATA_ITEM_KEY);
|
|
|
|
*out_level = (u8)key->offset;
|
|
|
|
}
|
2011-06-13 17:52:59 +00:00
|
|
|
|
|
|
|
if (ret == 1)
|
|
|
|
*ptr = (unsigned long)-1;
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2016-09-20 14:05:02 +00:00
|
|
|
static int iterate_leaf_refs(struct btrfs_fs_info *fs_info,
|
|
|
|
struct extent_inode_elem *inode_list,
|
|
|
|
u64 root, u64 extent_item_objectid,
|
|
|
|
iterate_extent_inodes_t *iterate, void *ctx)
|
2011-06-13 17:52:59 +00:00
|
|
|
{
|
2012-05-17 14:43:03 +00:00
|
|
|
struct extent_inode_elem *eie;
|
2011-12-02 13:56:41 +00:00
|
|
|
int ret = 0;
|
|
|
|
|
2012-05-17 14:43:03 +00:00
|
|
|
for (eie = inode_list; eie; eie = eie->next) {
|
2016-09-20 14:05:02 +00:00
|
|
|
btrfs_debug(fs_info,
|
|
|
|
"ref for %llu resolved, key (%llu EXTEND_DATA %llu), root %llu",
|
|
|
|
extent_item_objectid, eie->inum,
|
|
|
|
eie->offset, root);
|
2012-05-17 14:43:03 +00:00
|
|
|
ret = iterate(eie->inum, eie->offset, root, ctx);
|
2011-12-02 13:56:41 +00:00
|
|
|
if (ret) {
|
2016-09-20 14:05:02 +00:00
|
|
|
btrfs_debug(fs_info,
|
|
|
|
"stopping iteration for %llu due to ret=%d",
|
|
|
|
extent_item_objectid, ret);
|
2011-12-02 13:56:41 +00:00
|
|
|
break;
|
|
|
|
}
|
2011-06-13 17:52:59 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* calls iterate() for every inode that references the extent identified by
|
2011-12-02 13:56:41 +00:00
|
|
|
* the given parameters.
|
2011-06-13 17:52:59 +00:00
|
|
|
* when the iterator function returns a non-zero value, iteration stops.
|
|
|
|
*/
|
|
|
|
int iterate_extent_inodes(struct btrfs_fs_info *fs_info,
|
2011-12-02 13:56:41 +00:00
|
|
|
u64 extent_item_objectid, u64 extent_item_pos,
|
2012-03-23 16:32:28 +00:00
|
|
|
int search_commit_root,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
iterate_extent_inodes_t *iterate, void *ctx,
|
|
|
|
bool ignore_offset)
|
2011-06-13 17:52:59 +00:00
|
|
|
{
|
|
|
|
int ret;
|
2013-06-12 20:20:08 +00:00
|
|
|
struct btrfs_trans_handle *trans = NULL;
|
2012-03-23 16:32:28 +00:00
|
|
|
struct ulist *refs = NULL;
|
|
|
|
struct ulist *roots = NULL;
|
2011-12-02 13:56:41 +00:00
|
|
|
struct ulist_node *ref_node = NULL;
|
|
|
|
struct ulist_node *root_node = NULL;
|
2015-02-25 14:47:32 +00:00
|
|
|
struct seq_list tree_mod_seq_elem = SEQ_LIST_INIT(tree_mod_seq_elem);
|
2012-05-22 12:56:50 +00:00
|
|
|
struct ulist_iterator ref_uiter;
|
|
|
|
struct ulist_iterator root_uiter;
|
2011-06-13 17:52:59 +00:00
|
|
|
|
2016-09-20 14:05:02 +00:00
|
|
|
btrfs_debug(fs_info, "resolving all inodes for extent %llu",
|
2011-12-02 13:56:41 +00:00
|
|
|
extent_item_objectid);
|
2011-06-13 17:52:59 +00:00
|
|
|
|
2013-06-12 20:20:08 +00:00
|
|
|
if (!search_commit_root) {
|
2012-03-23 16:32:28 +00:00
|
|
|
trans = btrfs_join_transaction(fs_info->extent_root);
|
|
|
|
if (IS_ERR(trans))
|
|
|
|
return PTR_ERR(trans);
|
2012-05-16 16:36:03 +00:00
|
|
|
btrfs_get_tree_mod_seq(fs_info, &tree_mod_seq_elem);
|
2014-03-13 19:42:13 +00:00
|
|
|
} else {
|
|
|
|
down_read(&fs_info->commit_root_sem);
|
2012-03-23 16:32:28 +00:00
|
|
|
}
|
2011-06-13 17:52:59 +00:00
|
|
|
|
2011-12-02 13:56:41 +00:00
|
|
|
ret = btrfs_find_all_leafs(trans, fs_info, extent_item_objectid,
|
2012-06-21 09:08:04 +00:00
|
|
|
tree_mod_seq_elem.seq, &refs,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
&extent_item_pos, ignore_offset);
|
2011-12-02 13:56:41 +00:00
|
|
|
if (ret)
|
|
|
|
goto out;
|
2011-06-13 17:52:59 +00:00
|
|
|
|
2012-05-22 12:56:50 +00:00
|
|
|
ULIST_ITER_INIT(&ref_uiter);
|
|
|
|
while (!ret && (ref_node = ulist_next(refs, &ref_uiter))) {
|
2017-06-29 03:56:57 +00:00
|
|
|
ret = btrfs_find_all_roots_safe(trans, fs_info, ref_node->val,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
tree_mod_seq_elem.seq, &roots,
|
|
|
|
ignore_offset);
|
2011-12-02 13:56:41 +00:00
|
|
|
if (ret)
|
|
|
|
break;
|
2012-05-22 12:56:50 +00:00
|
|
|
ULIST_ITER_INIT(&root_uiter);
|
|
|
|
while (!ret && (root_node = ulist_next(roots, &root_uiter))) {
|
2016-09-20 14:05:02 +00:00
|
|
|
btrfs_debug(fs_info,
|
|
|
|
"root %llu references leaf %llu, data list %#llx",
|
|
|
|
root_node->val, ref_node->val,
|
|
|
|
ref_node->aux);
|
|
|
|
ret = iterate_leaf_refs(fs_info,
|
|
|
|
(struct extent_inode_elem *)
|
2012-08-13 08:52:38 +00:00
|
|
|
(uintptr_t)ref_node->aux,
|
|
|
|
root_node->val,
|
|
|
|
extent_item_objectid,
|
|
|
|
iterate, ctx);
|
2011-12-02 13:56:41 +00:00
|
|
|
}
|
2012-05-17 14:43:03 +00:00
|
|
|
ulist_free(roots);
|
2011-06-13 17:52:59 +00:00
|
|
|
}
|
|
|
|
|
2012-05-17 14:43:03 +00:00
|
|
|
free_leaf_list(refs);
|
2011-12-02 13:56:41 +00:00
|
|
|
out:
|
2012-03-23 16:32:28 +00:00
|
|
|
if (!search_commit_root) {
|
2012-05-16 16:36:03 +00:00
|
|
|
btrfs_put_tree_mod_seq(fs_info, &tree_mod_seq_elem);
|
2016-09-10 01:39:03 +00:00
|
|
|
btrfs_end_transaction(trans);
|
2014-03-13 19:42:13 +00:00
|
|
|
} else {
|
|
|
|
up_read(&fs_info->commit_root_sem);
|
2012-03-23 16:32:28 +00:00
|
|
|
}
|
|
|
|
|
2011-06-13 17:52:59 +00:00
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
int iterate_inodes_from_logical(u64 logical, struct btrfs_fs_info *fs_info,
|
|
|
|
struct btrfs_path *path,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
iterate_extent_inodes_t *iterate, void *ctx,
|
|
|
|
bool ignore_offset)
|
2011-06-13 17:52:59 +00:00
|
|
|
{
|
|
|
|
int ret;
|
2011-12-02 13:56:41 +00:00
|
|
|
u64 extent_item_pos;
|
2012-09-08 02:01:28 +00:00
|
|
|
u64 flags = 0;
|
2011-06-13 17:52:59 +00:00
|
|
|
struct btrfs_key found_key;
|
2012-03-23 16:32:28 +00:00
|
|
|
int search_commit_root = path->search_commit_root;
|
2011-06-13 17:52:59 +00:00
|
|
|
|
2012-09-08 02:01:28 +00:00
|
|
|
ret = extent_from_logical(fs_info, logical, path, &found_key, &flags);
|
2011-12-02 13:56:41 +00:00
|
|
|
btrfs_release_path(path);
|
2011-06-13 17:52:59 +00:00
|
|
|
if (ret < 0)
|
|
|
|
return ret;
|
2012-09-08 02:01:28 +00:00
|
|
|
if (flags & BTRFS_EXTENT_FLAG_TREE_BLOCK)
|
2012-08-01 10:28:01 +00:00
|
|
|
return -EINVAL;
|
2011-06-13 17:52:59 +00:00
|
|
|
|
2011-12-02 13:56:41 +00:00
|
|
|
extent_item_pos = logical - found_key.objectid;
|
2012-03-23 16:32:28 +00:00
|
|
|
ret = iterate_extent_inodes(fs_info, found_key.objectid,
|
|
|
|
extent_item_pos, search_commit_root,
|
btrfs: add a flag to iterate_inodes_from_logical to find all extent refs for uncompressed extents
The LOGICAL_INO ioctl provides a backward mapping from extent bytenr and
offset (encoded as a single logical address) to a list of extent refs.
LOGICAL_INO complements TREE_SEARCH, which provides the forward mapping
(extent ref -> extent bytenr and offset, or logical address). These are
useful capabilities for programs that manipulate extents and extent
references from userspace (e.g. dedup and defrag utilities).
When the extents are uncompressed (and not encrypted and not other),
check_extent_in_eb performs filtering of the extent refs to remove any
extent refs which do not contain the same extent offset as the 'logical'
parameter's extent offset. This prevents LOGICAL_INO from returning
references to more than a single block.
To find the set of extent references to an uncompressed extent from [a, b),
userspace has to run a loop like this pseudocode:
for (i = a; i < b; ++i)
extent_ref_set += LOGICAL_INO(i);
At each iteration of the loop (up to 32768 iterations for a 128M extent),
data we are interested in is collected in the kernel, then deleted by
the filter in check_extent_in_eb.
When the extents are compressed (or encrypted or other), the 'logical'
parameter must be an extent bytenr (the 'a' parameter in the loop).
No filtering by extent offset is done (or possible?) so the result is
the complete set of extent refs for the entire extent. This removes
the need for the loop, since we get all the extent refs in one call.
Add an 'ignore_offset' argument to iterate_inodes_from_logical,
[...several levels of function call graph...], and check_extent_in_eb, so
that we can disable the extent offset filtering for uncompressed extents.
This flag can be set by an improved version of the LOGICAL_INO ioctl to
get either behavior as desired.
There is no functional change in this patch. The new flag is always
false.
Signed-off-by: Zygo Blaxell <ce3g8jdj@umail.furryterror.org>
Reviewed-by: David Sterba <dsterba@suse.com>
[ minor coding style fixes ]
Signed-off-by: David Sterba <dsterba@suse.com>
2017-09-22 17:58:45 +00:00
|
|
|
iterate, ctx, ignore_offset);
|
2011-06-13 17:52:59 +00:00
|
|
|
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2012-08-08 18:33:54 +00:00
|
|
|
typedef int (iterate_irefs_t)(u64 parent, u32 name_len, unsigned long name_off,
|
|
|
|
struct extent_buffer *eb, void *ctx);
|
|
|
|
|
|
|
|
static int iterate_inode_refs(u64 inum, struct btrfs_root *fs_root,
|
|
|
|
struct btrfs_path *path,
|
|
|
|
iterate_irefs_t *iterate, void *ctx)
|
2011-06-13 17:52:59 +00:00
|
|
|
{
|
2012-04-13 10:28:00 +00:00
|
|
|
int ret = 0;
|
2011-06-13 17:52:59 +00:00
|
|
|
int slot;
|
|
|
|
u32 cur;
|
|
|
|
u32 len;
|
|
|
|
u32 name_len;
|
|
|
|
u64 parent = 0;
|
|
|
|
int found = 0;
|
|
|
|
struct extent_buffer *eb;
|
|
|
|
struct btrfs_item *item;
|
|
|
|
struct btrfs_inode_ref *iref;
|
|
|
|
struct btrfs_key found_key;
|
|
|
|
|
2012-04-13 10:28:00 +00:00
|
|
|
while (!ret) {
|
2015-01-02 18:03:17 +00:00
|
|
|
ret = btrfs_find_item(fs_root, path, inum,
|
|
|
|
parent ? parent + 1 : 0, BTRFS_INODE_REF_KEY,
|
|
|
|
&found_key);
|
|
|
|
|
2011-06-13 17:52:59 +00:00
|
|
|
if (ret < 0)
|
|
|
|
break;
|
|
|
|
if (ret) {
|
|
|
|
ret = found ? 0 : -ENOENT;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
++found;
|
|
|
|
|
|
|
|
parent = found_key.offset;
|
|
|
|
slot = path->slots[0];
|
2013-12-15 12:43:58 +00:00
|
|
|
eb = btrfs_clone_extent_buffer(path->nodes[0]);
|
|
|
|
if (!eb) {
|
|
|
|
ret = -ENOMEM;
|
|
|
|
break;
|
|
|
|
}
|
2011-06-13 17:52:59 +00:00
|
|
|
btrfs_release_path(path);
|
|
|
|
|
2013-09-16 14:58:09 +00:00
|
|
|
item = btrfs_item_nr(slot);
|
2011-06-13 17:52:59 +00:00
|
|
|
iref = btrfs_item_ptr(eb, slot, struct btrfs_inode_ref);
|
|
|
|
|
|
|
|
for (cur = 0; cur < btrfs_item_size(eb, item); cur += len) {
|
|
|
|
name_len = btrfs_inode_ref_name_len(eb, iref);
|
|
|
|
/* path must be released before calling iterate()! */
|
2016-09-20 14:05:02 +00:00
|
|
|
btrfs_debug(fs_root->fs_info,
|
|
|
|
"following ref at offset %u for inode %llu in tree %llu",
|
2018-08-06 05:25:24 +00:00
|
|
|
cur, found_key.objectid,
|
|
|
|
fs_root->root_key.objectid);
|
2012-08-08 18:33:54 +00:00
|
|
|
ret = iterate(parent, name_len,
|
|
|
|
(unsigned long)(iref + 1), eb, ctx);
|
2012-04-13 10:28:00 +00:00
|
|
|
if (ret)
|
2011-06-13 17:52:59 +00:00
|
|
|
break;
|
|
|
|
len = sizeof(*iref) + name_len;
|
|
|
|
iref = (struct btrfs_inode_ref *)((char *)iref + len);
|
|
|
|
}
|
|
|
|
free_extent_buffer(eb);
|
|
|
|
}
|
|
|
|
|
|
|
|
btrfs_release_path(path);
|
|
|
|
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2012-08-08 18:33:54 +00:00
|
|
|
static int iterate_inode_extrefs(u64 inum, struct btrfs_root *fs_root,
|
|
|
|
struct btrfs_path *path,
|
|
|
|
iterate_irefs_t *iterate, void *ctx)
|
|
|
|
{
|
|
|
|
int ret;
|
|
|
|
int slot;
|
|
|
|
u64 offset = 0;
|
|
|
|
u64 parent;
|
|
|
|
int found = 0;
|
|
|
|
struct extent_buffer *eb;
|
|
|
|
struct btrfs_inode_extref *extref;
|
|
|
|
u32 item_size;
|
|
|
|
u32 cur_offset;
|
|
|
|
unsigned long ptr;
|
|
|
|
|
|
|
|
while (1) {
|
|
|
|
ret = btrfs_find_one_extref(fs_root, inum, offset, path, &extref,
|
|
|
|
&offset);
|
|
|
|
if (ret < 0)
|
|
|
|
break;
|
|
|
|
if (ret) {
|
|
|
|
ret = found ? 0 : -ENOENT;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
++found;
|
|
|
|
|
|
|
|
slot = path->slots[0];
|
2013-12-15 12:43:58 +00:00
|
|
|
eb = btrfs_clone_extent_buffer(path->nodes[0]);
|
|
|
|
if (!eb) {
|
|
|
|
ret = -ENOMEM;
|
|
|
|
break;
|
|
|
|
}
|
2012-08-08 18:33:54 +00:00
|
|
|
btrfs_release_path(path);
|
|
|
|
|
2015-10-13 18:06:48 +00:00
|
|
|
item_size = btrfs_item_size_nr(eb, slot);
|
|
|
|
ptr = btrfs_item_ptr_offset(eb, slot);
|
2012-08-08 18:33:54 +00:00
|
|
|
cur_offset = 0;
|
|
|
|
|
|
|
|
while (cur_offset < item_size) {
|
|
|
|
u32 name_len;
|
|
|
|
|
|
|
|
extref = (struct btrfs_inode_extref *)(ptr + cur_offset);
|
|
|
|
parent = btrfs_inode_extref_parent(eb, extref);
|
|
|
|
name_len = btrfs_inode_extref_name_len(eb, extref);
|
|
|
|
ret = iterate(parent, name_len,
|
|
|
|
(unsigned long)&extref->name, eb, ctx);
|
|
|
|
if (ret)
|
|
|
|
break;
|
|
|
|
|
2015-10-13 18:06:48 +00:00
|
|
|
cur_offset += btrfs_inode_extref_name_len(eb, extref);
|
2012-08-08 18:33:54 +00:00
|
|
|
cur_offset += sizeof(*extref);
|
|
|
|
}
|
|
|
|
free_extent_buffer(eb);
|
|
|
|
|
|
|
|
offset++;
|
|
|
|
}
|
|
|
|
|
|
|
|
btrfs_release_path(path);
|
|
|
|
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
|
|
|
static int iterate_irefs(u64 inum, struct btrfs_root *fs_root,
|
|
|
|
struct btrfs_path *path, iterate_irefs_t *iterate,
|
|
|
|
void *ctx)
|
|
|
|
{
|
|
|
|
int ret;
|
|
|
|
int found_refs = 0;
|
|
|
|
|
|
|
|
ret = iterate_inode_refs(inum, fs_root, path, iterate, ctx);
|
|
|
|
if (!ret)
|
|
|
|
++found_refs;
|
|
|
|
else if (ret != -ENOENT)
|
|
|
|
return ret;
|
|
|
|
|
|
|
|
ret = iterate_inode_extrefs(inum, fs_root, path, iterate, ctx);
|
|
|
|
if (ret == -ENOENT && found_refs)
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
return ret;
|
|
|
|
}
|
|
|
|
|
2011-06-13 17:52:59 +00:00
|
|
|
/*
|
|
|
|
* returns 0 if the path could be dumped (probably truncated)
|
|
|
|
* returns <0 in case of an error
|
|
|
|
*/
|
2012-08-08 18:33:54 +00:00
|
|
|
static int inode_to_path(u64 inum, u32 name_len, unsigned long name_off,
|
|
|
|
struct extent_buffer *eb, void *ctx)
|
2011-06-13 17:52:59 +00:00
|
|
|
{
|
|
|
|
struct inode_fs_paths *ipath = ctx;
|
|
|
|
char *fspath;
|
|
|
|
char *fspath_min;
|
|
|
|
int i = ipath->fspath->elem_cnt;
|
|
|
|
const int s_ptr = sizeof(char *);
|
|
|
|
u32 bytes_left;
|
|
|
|
|
|
|
|
bytes_left = ipath->fspath->bytes_left > s_ptr ?
|
|
|
|
ipath->fspath->bytes_left - s_ptr : 0;
|
|
|
|
|
2011-11-02 19:48:34 +00:00
|
|
|
fspath_min = (char *)ipath->fspath->val + (i + 1) * s_ptr;
|
2012-10-15 08:30:45 +00:00
|
|
|
fspath = btrfs_ref_to_path(ipath->fs_root, ipath->btrfs_path, name_len,
|
|
|
|
name_off, eb, inum, fspath_min, bytes_left);
|
2011-06-13 17:52:59 +00:00
|
|
|
if (IS_ERR(fspath))
|
|
|
|
return PTR_ERR(fspath);
|
|
|
|
|
|
|
|
if (fspath > fspath_min) {
|
2011-11-20 12:31:57 +00:00
|
|
|
ipath->fspath->val[i] = (u64)(unsigned long)fspath;
|
2011-06-13 17:52:59 +00:00
|
|
|
++ipath->fspath->elem_cnt;
|
|
|
|
ipath->fspath->bytes_left = fspath - fspath_min;
|
|
|
|
} else {
|
|
|
|
++ipath->fspath->elem_missed;
|
|
|
|
ipath->fspath->bytes_missing += fspath_min - fspath;
|
|
|
|
ipath->fspath->bytes_left = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* this dumps all file system paths to the inode into the ipath struct, provided
|
|
|
|
* is has been created large enough. each path is zero-terminated and accessed
|
2011-11-02 19:48:34 +00:00
|
|
|
* from ipath->fspath->val[i].
|
2011-06-13 17:52:59 +00:00
|
|
|
* when it returns, there are ipath->fspath->elem_cnt number of paths available
|
2011-11-02 19:48:34 +00:00
|
|
|
* in ipath->fspath->val[]. when the allocated space wasn't sufficient, the
|
2016-05-20 01:18:45 +00:00
|
|
|
* number of missed paths is recorded in ipath->fspath->elem_missed, otherwise,
|
2011-06-13 17:52:59 +00:00
|
|
|
* it's zero. ipath->fspath->bytes_missing holds the number of bytes that would
|
|
|
|
* have been needed to return all paths.
|
|
|
|
*/
|
|
|
|
int paths_from_inode(u64 inum, struct inode_fs_paths *ipath)
|
|
|
|
{
|
|
|
|
return iterate_irefs(inum, ipath->fs_root, ipath->btrfs_path,
|
2012-08-08 18:33:54 +00:00
|
|
|
inode_to_path, ipath);
|
2011-06-13 17:52:59 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
struct btrfs_data_container *init_data_container(u32 total_bytes)
|
|
|
|
{
|
|
|
|
struct btrfs_data_container *data;
|
|
|
|
size_t alloc_bytes;
|
|
|
|
|
|
|
|
alloc_bytes = max_t(size_t, total_bytes, sizeof(*data));
|
2017-05-31 17:32:09 +00:00
|
|
|
data = kvmalloc(alloc_bytes, GFP_KERNEL);
|
2011-06-13 17:52:59 +00:00
|
|
|
if (!data)
|
|
|
|
return ERR_PTR(-ENOMEM);
|
|
|
|
|
|
|
|
if (total_bytes >= sizeof(*data)) {
|
|
|
|
data->bytes_left = total_bytes - sizeof(*data);
|
|
|
|
data->bytes_missing = 0;
|
|
|
|
} else {
|
|
|
|
data->bytes_missing = sizeof(*data) - total_bytes;
|
|
|
|
data->bytes_left = 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
data->elem_cnt = 0;
|
|
|
|
data->elem_missed = 0;
|
|
|
|
|
|
|
|
return data;
|
|
|
|
}
|
|
|
|
|
|
|
|
/*
|
|
|
|
* allocates space to return multiple file system paths for an inode.
|
|
|
|
* total_bytes to allocate are passed, note that space usable for actual path
|
|
|
|
* information will be total_bytes - sizeof(struct inode_fs_paths).
|
|
|
|
* the returned pointer must be freed with free_ipath() in the end.
|
|
|
|
*/
|
|
|
|
struct inode_fs_paths *init_ipath(s32 total_bytes, struct btrfs_root *fs_root,
|
|
|
|
struct btrfs_path *path)
|
|
|
|
{
|
|
|
|
struct inode_fs_paths *ifp;
|
|
|
|
struct btrfs_data_container *fspath;
|
|
|
|
|
|
|
|
fspath = init_data_container(total_bytes);
|
|
|
|
if (IS_ERR(fspath))
|
2018-07-26 01:22:58 +00:00
|
|
|
return ERR_CAST(fspath);
|
2011-06-13 17:52:59 +00:00
|
|
|
|
2017-05-31 17:32:09 +00:00
|
|
|
ifp = kmalloc(sizeof(*ifp), GFP_KERNEL);
|
2011-06-13 17:52:59 +00:00
|
|
|
if (!ifp) {
|
2017-05-31 17:32:09 +00:00
|
|
|
kvfree(fspath);
|
2011-06-13 17:52:59 +00:00
|
|
|
return ERR_PTR(-ENOMEM);
|
|
|
|
}
|
|
|
|
|
|
|
|
ifp->btrfs_path = path;
|
|
|
|
ifp->fspath = fspath;
|
|
|
|
ifp->fs_root = fs_root;
|
|
|
|
|
|
|
|
return ifp;
|
|
|
|
}
|
|
|
|
|
|
|
|
void free_ipath(struct inode_fs_paths *ipath)
|
|
|
|
{
|
2012-04-12 20:47:52 +00:00
|
|
|
if (!ipath)
|
|
|
|
return;
|
2017-05-31 17:32:09 +00:00
|
|
|
kvfree(ipath->fspath);
|
2011-06-13 17:52:59 +00:00
|
|
|
kfree(ipath);
|
|
|
|
}
|