btrfs: generic readeahead interface
cover btrfs: generic readeahead interface
This series introduces a generic readahead interface for btrfs trees. The intention is to use it to speed up scrub in a first run, but balance is another hot candidate. In general, every tree walk could be accompanied by a readahead. Deletion of large files comes to mind, where the fetching of the csums takes most of the time.
To make testing easier, a simple ioctl interface is added to trigger a read- ahead from user mode. It also implements a tree walk in the traditional way. A tool to send the ioctl follows shortly.
A simple demonstration from my 7-disk test btrfs:
- enumerating the extent tree (traditional): 351s
- enumerating the extent tree (readahead): 41s
- enumerating extents+csum tree (readahead): 49s
The implementation is also tested with this tool in various combinations of parallel reads of the same and of different trees.
Arne Jansen (5):
btrfs: add READAHEAD extent state
btrfs: state information for readahead
btrfs: initial readahead code and prototypes
btrfs: hooks for readahead
btrfs: test ioctl for readahead
fs/btrfs/Makefile | 2 +- fs/btrfs/ctree.h | 13 + fs/btrfs/disk-io.c | 56 +++ fs/btrfs/disk-io.h | 2 + fs/btrfs/extent_io.c | 12 +- fs/btrfs/extent_io.h | 1 + fs/btrfs/ioctl.c | 86 +++++- fs/btrfs/ioctl.h | 16 + fs/btrfs/reada.c | 963 ++++++++++++++++++++++++++++++++++++++++++++++++++ fs/btrfs/volumes.c | 8 + fs/btrfs/volumes.h | 8 + 11 files changed, 1163 insertions(+), 4 deletions(-) create mode 100644 fs/btrfs/reada.c
Signature · 1 line
1.7.3.4
PATCH 1/5 btrfs: add READAHEAD extent state
Add a READAHEAD extent state flag.
Add a function to trigger a read with this flag set. Reset the flag in the end_io hook
--- fs/btrfs/disk-io.c | 36 ++++++++++++++++++++++++++++++++++++ fs/btrfs/disk-io.h | 2 ++ fs/btrfs/extent_io.c | 10 +++++++++- fs/btrfs/extent_io.h | 1 + 4 files changed, 48 insertions(+), 1 deletions(-)
fs/btrfs/disk-io.c +36 -0
@@ -958,6 +958,42 @@ int readahead_tree_block(struct btrfs_root *root, u64 bytenr, u32 blocksize,return ret; } +int reada_tree_block_flagged (struct btrfs_root *root,u64 bytenr,u32 blocksize, +int mirror_num,struct extent_buffer **eb) +{ +struct extent_buffer *buf =NULL ; +struct inode *btree_inode = root->fs_info->btree_inode; +int ret; + + buf =btrfs_find_create_tree_block (root, bytenr, blocksize); +if (!buf) +return 0 ; + + ret =set_extent_bits (&BTRFS_I (btree_inode)->io_tree, + bytenr, bytenr+blocksize-1 , +EXTENT_READAHEAD ,GFP_NOFS ); +if (ret) { +printk (KERN_ERR "set_extent_bits failed with %d\n" , ret); +free_extent_buffer (buf); +return ret; + } + +read_extent_buffer_pages (&BTRFS_I (btree_inode)->io_tree, + buf,0 ,0 , btree_get_extent, mirror_num); + +if (test_bit (EXTENT_BUFFER_CORRUPT , &buf->bflags)) { + *eb = buf; + ret = -EIO ; + }else if (extent_buffer_uptodate ( + &BTRFS_I (buf->first_page->mapping->host)->io_tree, + buf,NULL )) { + *eb = buf; + }else { +free_extent_buffer (buf); + } +return ret; +} +struct extent_buffer *btrfs_find_tree_block (struct btrfs_root *root,u64 bytenr,u32 blocksize) {
fs/btrfs/disk-io.h +2 -0
@@ -40,6 +40,8 @@ struct extent_buffer *read_tree_block(struct btrfs_root *root, u64 bytenr, u32 blocksize, u64 parent_transid);int readahead_tree_block (struct btrfs_root *root,u64 bytenr,u32 blocksize,u64 parent_transid); +int reada_tree_block_flagged (struct btrfs_root *root,u64 bytenr,u32 blocksize, +int mirror_num,struct extent_buffer **eb);struct extent_buffer *btrfs_find_create_tree_block (struct btrfs_root *root,u64 bytenr,u32 blocksize); int clean_tree_block(struct btrfs_trans_handle *trans,
fs/btrfs/extent_io.c +9 -1
@@ -1021,6 +1021,14 @@ int unlock_extent_cached(struct extent_io_tree *tree, u64 start, u64 end, mask); } +int unlock_ra_extent_cached (struct extent_io_tree *tree,u64 start,u64 end, +struct extent_state **cached,gfp_t mask) +{ +return clear_extent_bit (tree, start, end, +EXTENT_READAHEAD |EXTENT_LOCKED ,1 ,0 , cached, + mask); +} +int unlock_extent (struct extent_io_tree *tree,u64 start,u64 end,gfp_t mask) { return clear_extent_bit(tree, start, end, EXTENT_LOCKED, 1, 0, NULL,
@@ -1795,7 +1803,7 @@ static void end_bio_extent_readpage(struct bio *bio, int err)set_extent_uptodate (tree, start, end, &cached,GFP_ATOMIC ); } -unlock_extent_cached (tree, start, end, &cached,GFP_ATOMIC ); +unlock_ra_extent_cached (tree, start, end, &cached,GFP_ATOMIC );if (whole_page) {if (uptodate) {
fs/btrfs/extent_io.h +1 -0
@@ -17,6 +17,7 @@#define EXTENT_NODATASUM (1 << 10)#define EXTENT_DO_ACCOUNTING (1 << 11)#define EXTENT_FIRST_DELALLOC (1 << 12) +#define EXTENT_READAHEAD (1 << 13)#define EXTENT_IOBITS (EXTENT_LOCKED | EXTENT_WRITEBACK)#define EXTENT_CTLBITS (EXTENT_DO_ACCOUNTING | EXTENT_FIRST_DELALLOC)
Signature · 1 line
1.7.3.4
PATCH 2/5 btrfs: state information for readahead
In reply to Arne JansenAdd state information for readahead to btrfs_fs_info and btrfs_device
--- fs/btrfs/ctree.h | 4 ++++ fs/btrfs/disk-io.c | 4 ++++ fs/btrfs/volumes.c | 8 ++++++++ fs/btrfs/volumes.h | 8 ++++++++ 4 files changed, 24 insertions(+), 0 deletions(-)
fs/btrfs/ctree.h +4 -0
@@ -1079,6 +1079,10 @@ struct btrfs_fs_info {/* filesystem state */ u64 fs_state; + +/* readahead tree */ +spinlock_t reada_lock; +struct radix_tree_root reada_tree; };/*
fs/btrfs/disk-io.c +4 -0
@@ -1803,6 +1803,10 @@ struct btrfs_root *open_ctree(struct super_block *sb, fs_info->max_inline =8192 *1024 ; fs_info->metadata_ratio =0 ; +/* readahead state */ +INIT_RADIX_TREE (&fs_info->reada_tree,GFP_NOFS ); +spin_lock_init (&fs_info->reada_lock); + fs_info->thread_pool_size = min_t(unsigned long,num_online_cpus () +2 ,8 );
fs/btrfs/volumes.c +8 -0
@@ -396,6 +396,14 @@ static noinline int device_list_add(const char *path, }INIT_LIST_HEAD (&device->dev_alloc_list); +/* init readahead state */ +spin_lock_init (&device->reada_lock); + device->reada_curr_zone =NULL ; +atomic_set (&device->reada_in_flight,0 ); + device->reada_next =0 ; +INIT_RADIX_TREE (&device->reada_zones,GFP_NOFS ); +INIT_RADIX_TREE (&device->reada_extents,GFP_NOFS ); +mutex_lock (&fs_devices->device_list_mutex);list_add (&device->dev_list, &fs_devices->devices);mutex_unlock (&fs_devices->device_list_mutex);
fs/btrfs/volumes.h +8 -0
@@ -86,6 +86,14 @@ struct btrfs_device {u8 uuid[BTRFS_UUID_SIZE ];struct btrfs_work work; + +/* readahead state */ +spinlock_t reada_lock; +atomic_t reada_in_flight; +u64 reada_next; +struct reada_zone *reada_curr_zone; +struct radix_tree_root reada_zones; +struct radix_tree_root reada_extents; };struct btrfs_fs_devices {
Signature · 1 line
1.7.3.4
Re: [PATCH v1 2/5] btrfs: state information for readahead
Quoted 64 lines · Arne Jansen
Add state information for readahead to
btrfs_fs_infoandbtrfs_deviceSigned-off-by Arne Jansen <[email protected]>--- fs/btrfs/ctree.h | 4 ++++ fs/btrfs/disk-io.c | 4 ++++ fs/btrfs/volumes.c | 8 ++++++++ fs/btrfs/volumes.h | 8 ++++++++ 4 files changed, 24 insertions(+), 0 deletions(-)fs/btrfs/ctree.h +4
-0@@ -1079,6 +1079,10 @@ struct btrfs_fs_info {/* filesystem state */ u64 fs_state; + +/* readahead tree */ +spinlock_t reada_lock; +struct radix_tree_root reada_tree; };/* fs/btrfs/disk-io.c +4
-0@@ -1803,6 +1803,10 @@ struct btrfs_root *open_ctree(struct super_block *sb, fs_info->max_inline =8192 *1024 ; fs_info->metadata_ratio =0 ; +/* readahead state */ +INIT_RADIX_TREE (&fs_info->reada_tree,GFP_NOFS ); +spin_lock_init (&fs_info->reada_lock); + fs_info->thread_pool_size = min_t(unsigned long,num_online_cpus () +2 ,8 );fs/btrfs/volumes.c +8
-0@@ -396,6 +396,14 @@ static noinline int device_list_add(const char *path, }INIT_LIST_HEAD (&device->dev_alloc_list); +/* init readahead state */ +spin_lock_init (&device->reada_lock); + device->reada_curr_zone =NULL ; +atomic_set (&device->reada_in_flight,0 ); + device->reada_next =0 ; +INIT_RADIX_TREE (&device->reada_zones,GFP_NOFS ); +INIT_RADIX_TREE (&device->reada_extents,GFP_NOFS ); +mutex_lock (&fs_devices->device_list_mutex);list_add (&device->dev_list, &fs_devices->devices);mutex_unlock (&fs_devices->device_list_mutex);fs/btrfs/volumes.h +0
-0
fs/btrfs/volumes.h struct btrfs_device { · line 94
Quoted 9 lines
fs/btrfs/volumes.h +6
-0@@ -86,6 +86,14 @@ struct btrfs_device {u8 uuid[BTRFS_UUID_SIZE ];struct btrfs_work work; + +/* readahead state */ +spinlock_t reada_lock; +atomic_t reada_in_flight; +u64 reada_next; +struct reada_zone *reada_curr_zone;
struct reada_zone has not been defined yet...
thanks,
liubo
Quoted 5 lines
fs/btrfs/volumes.h +2
-0+struct radix_tree_root reada_zones; +struct radix_tree_root reada_extents; };struct btrfs_fs_devices {
Re: [PATCH v1 2/5] btrfs: state information for readahead
Quoted 67 lines · liubo
Quoted 66 lines · Arne Jansen
Add state information for readahead to
btrfs_fs_infoandbtrfs_deviceSigned-off-by Arne Jansen <[email protected]>--- fs/btrfs/ctree.h | 4 ++++ fs/btrfs/disk-io.c | 4 ++++ fs/btrfs/volumes.c | 8 ++++++++ fs/btrfs/volumes.h | 8 ++++++++ 4 files changed, 24 insertions(+), 0 deletions(-)fs/btrfs/ctree.h +4
-0@@ -1079,6 +1079,10 @@ struct btrfs_fs_info {/* filesystem state */ u64 fs_state; + +/* readahead tree */ +spinlock_t reada_lock; +struct radix_tree_root reada_tree; };/* fs/btrfs/disk-io.c +4
-0@@ -1803,6 +1803,10 @@ struct btrfs_root *open_ctree(struct super_block *sb, fs_info->max_inline =8192 *1024 ; fs_info->metadata_ratio =0 ; +/* readahead state */ +INIT_RADIX_TREE (&fs_info->reada_tree,GFP_NOFS ); +spin_lock_init (&fs_info->reada_lock); + fs_info->thread_pool_size = min_t(unsigned long,num_online_cpus () +2 ,8 );fs/btrfs/volumes.c +8
-0@@ -396,6 +396,14 @@ static noinline int device_list_add(const char *path, }INIT_LIST_HEAD (&device->dev_alloc_list); +/* init readahead state */ +spin_lock_init (&device->reada_lock); + device->reada_curr_zone =NULL ; +atomic_set (&device->reada_in_flight,0 ); + device->reada_next =0 ; +INIT_RADIX_TREE (&device->reada_zones,GFP_NOFS ); +INIT_RADIX_TREE (&device->reada_extents,GFP_NOFS ); +mutex_lock (&fs_devices->device_list_mutex);list_add (&device->dev_list, &fs_devices->devices);mutex_unlock (&fs_devices->device_list_mutex);fs/btrfs/volumes.h +0
-0@@ -86,6 +86,14 @@ struct btrfs_device {u8 uuid[BTRFS_UUID_SIZE ];
Quoted 9 lines
fs/btrfs/volumes.h struct btrfs_device { · line 94
Quoted 7 lines
fs/btrfs/volumes.h +6
-0struct btrfs_work work; + +/* readahead state */ +spinlock_t reada_lock; +atomic_t reada_in_flight; +u64 reada_next; +struct reada_zone *reada_curr_zone;struct
reada_zonehas not been defined yet...
well, it's just a pointer, so no problem here. Of course this series is just split for readability, though if applied incrementally each version compiles.
Thanks for looking at these :)
Arne
Quoted 10 lines
thanks,
liuboQuoted 5 lines
fs/btrfs/volumes.h +2
-0+struct radix_tree_root reada_zones; +struct radix_tree_root reada_extents; };struct btrfs_fs_devices {
PATCH 3/5 btrfs: initial readahead code and prototypes
In reply to Arne JansenThis is the implementation for the generic read ahead framework.
To trigger a readahead, btrfs_reada_add must be called. It will start a read ahead for the given range [start, end) on tree root. The returned handle can either be used to wait on the readahead to finish (btrfs_reada_wait), or to send it to the background (btrfs_reada_detach).
The read ahead works as follows:
On btrfs_reada_add, the root of the tree is inserted into a radix_tree. reada_start_machine will then search for extents to prefetch and trigger some reads. When a read finishes for a node, all contained node/leaf pointers that lie in the given range will also be enqueued. The reads will be triggered in sequential order, thus giving a big win over a naive enumeration. It will also make use of multi-device layouts. Each disk will have its on read pointer and all disks will by utilized in parallel. Also will no two disks read both sides of a mirror simultaneously, as this would waste seeking capacity. Instead both disks will read different parts of the filesystem.
Any number of readaheads can be started in parallel. The read order will be determined globally, i.e. 2 parallel readaheads will normally finish faster than the 2 started one after another.
--- fs/btrfs/Makefile | 2 +- fs/btrfs/ctree.h | 9 + fs/btrfs/reada.c | 963 +++++++++++++++++++++++++++++++++++++++++++++++++++++ 3 files changed, 973 insertions(+), 1 deletions(-)
fs/btrfs/Makefile +1 -1
@@ -7,4 +7,4 @@ btrfs-y += super.o ctree.o extent-tree.o print-tree.o root-tree.o dir-item.o \ extent_map.o sysfs.o struct-funcs.o xattr.o ordered-data.o \ extent_io.o volumes.o async-thread.o ioctl.o locking.o orphan.o \ export.o tree-log.o acl.o free-space-cache.o zlib.o lzo.o \ - compression.o delayed-ref.o relocation.o + compression.o delayed-ref.o relocation.o reada.o
fs/btrfs/ctree.h +9 -0
@@ -2641,4 +2641,13 @@ void btrfs_reloc_pre_snapshot(struct btrfs_trans_handle *trans, u64 *bytes_to_reserve);void btrfs_reloc_post_snapshot (struct btrfs_trans_handle *trans,struct btrfs_pending_snapshot *pending); + +/* reada.c */ +void *btrfs_reada_add (struct btrfs_root *root,struct btrfs_key *start, +struct btrfs_key *end); +int btrfs_reada_wait (void *handle); +void btrfs_reada_detach (void *handle); +int btree_readahead_hook (struct btrfs_root *root,struct extent_buffer *eb, +u64 start,int err); +#endif
fs/btrfs/reada.c new file +963 -0
963 lines not on this page · raw message
Signature · 1 line
1.7.3.4
Re: [PATCH v1 3/5] btrfs: initial readahead code and prototypes
Hi,
Quoted 52 lines · Arne Jansen
fs/btrfs/reada.c new file +52
-0+static struct reada_zone *reada_find_zone (struct btrfs_fs_info *fs_info, +struct btrfs_device *dev,u64 logical, +struct btrfs_multi_bio *multi) +{ +int ret; +int looped =0 ; +struct reada_zone *zone; +struct btrfs_block_group_cache *cache =NULL ; +u64 start; +u64 end; +int i; + +again: + zone =NULL ; +spin_lock (&fs_info->reada_lock); + ret =radix_tree_gang_lookup (&dev->reada_zones, (void **)&zone, + logical >>PAGE_CACHE_SHIFT ,1 ); +if (ret ==1 ) +kref_get (&zone->refcnt); +spin_unlock (&fs_info->reada_lock); + +if (ret ==1 ) { +if (logical >= zone->start && logical < zone->end) +return zone; +spin_lock (&fs_info->reada_lock); +reada_zone_put (zone); +spin_unlock (&fs_info->reada_lock); + } + +if (looped) +return NULL ; + + cache =btrfs_lookup_block_group (fs_info, logical); +if (!cache) +return NULL ; + + start = cache->key.objectid; + end = start + cache->key.offset -1 ; +btrfs_put_block_group (cache); + + zone =kzalloc (sizeof (*zone),GFP_NOFS ); +if (!zone) +return NULL ; + + zone->start = start; + zone->end = end; +INIT_LIST_HEAD (&zone->list); +spin_lock_init (&zone->lock); + zone->locked =0 ; +kref_init (&zone->refcnt); + zone->elems =0 ; + zone->device = dev;/* our device always sits at index 0 */
fs/btrfs/reada.c line 323
Quoted 10 lines
fs/btrfs/reada.c new file +10
-0+for (i =0 ; i < multi->num_stripes; ++i) { +/* bounds have already been checked */ + zone->devs[i] = multi->stripes[i].dev; + } + zone->ndevs = multi->num_stripes; + +spin_lock (&fs_info->reada_lock); + ret =radix_tree_insert (&dev->reada_zones, + (unsigned long )zone->end >>PAGE_CACHE_SHIFT , + zone);
this can sleep inside a spinlock, you initialize the radix tree with GFP_NOFS, which allows __GFP_WAIT.
Options:
1) use GFP_ATOMIC in radix tree init flags
2) do the radix_tree_preload/radix_tree_preload_end, GFP_NOFS outside of the locked section is ok but __GFP_WAIT has to be masked out (else radix tree insert will not use the preloaded node)
3) unmask __GFP_WAIT from radix tree init flags
I'd go for 3, as the atomic context is not required, and is easier than 2 to implement.
Quoted 10 lines
fs/btrfs/reada.c new file +10
-0+spin_unlock (&fs_info->reada_lock); + +if (ret) { +kfree (zone); + looped =1 ; + goto again; + } + +return zone; +}
Re: [PATCH v1 3/5] btrfs: initial readahead code and prototypes
Quoted 76 lines · David Sterba
Hi,
Quoted 52 lines · Arne Jansen
fs/btrfs/reada.c new file +52
-0+static struct reada_zone *reada_find_zone (struct btrfs_fs_info *fs_info, +struct btrfs_device *dev,u64 logical, +struct btrfs_multi_bio *multi) +{ +int ret; +int looped =0 ; +struct reada_zone *zone; +struct btrfs_block_group_cache *cache =NULL ; +u64 start; +u64 end; +int i; + +again: + zone =NULL ; +spin_lock (&fs_info->reada_lock); + ret =radix_tree_gang_lookup (&dev->reada_zones, (void **)&zone, + logical >>PAGE_CACHE_SHIFT ,1 ); +if (ret ==1 ) +kref_get (&zone->refcnt); +spin_unlock (&fs_info->reada_lock); + +if (ret ==1 ) { +if (logical >= zone->start && logical < zone->end) +return zone; +spin_lock (&fs_info->reada_lock); +reada_zone_put (zone); +spin_unlock (&fs_info->reada_lock); + } + +if (looped) +return NULL ; + + cache =btrfs_lookup_block_group (fs_info, logical); +if (!cache) +return NULL ; + + start = cache->key.objectid; + end = start + cache->key.offset -1 ; +btrfs_put_block_group (cache); + + zone =kzalloc (sizeof (*zone),GFP_NOFS ); +if (!zone) +return NULL ; + + zone->start = start; + zone->end = end; +INIT_LIST_HEAD (&zone->list); +spin_lock_init (&zone->lock); + zone->locked =0 ; +kref_init (&zone->refcnt); + zone->elems =0 ; + zone->device = dev;/* our device always sits at index 0 */ fs/btrfs/reada.c line 323
Quoted 10 lines
fs/btrfs/reada.c new file +10
-0+for (i =0 ; i < multi->num_stripes; ++i) { +/* bounds have already been checked */ + zone->devs[i] = multi->stripes[i].dev; + } + zone->ndevs = multi->num_stripes; + +spin_lock (&fs_info->reada_lock); + ret =radix_tree_insert (&dev->reada_zones, + (unsigned long )zone->end >>PAGE_CACHE_SHIFT , + zone);this can sleep inside a spinlock, you initialize the radix tree with
GFP_NOFS, which allows__GFP_WAIT.Options:
1) useGFP_ATOMICin radix tree init flags
2) do the radix_tree_preload/radix_tree_preload_end,GFP_NOFSoutside of the locked section is ok but__GFP_WAIThas to be masked out (else radix tree insert will not use the preloaded node)
3) unmask__GFP_WAITfrom radix tree init flags
Quoted 2 lines
I'd go for 3, as the atomic context is not required, and is easier than 2 to implement.
I like the second one, because it is the general way to fix this problem.
BTW: I think we can use RCU to protect the radix tree on the read side. Arne, how do you think about?
Thanks
Miao
Quoted 16 lines
fs/btrfs/reada.c line 333
Quoted 11 lines
fs/btrfs/reada.c new file +10
-0+spin_unlock (&fs_info->reada_lock); + +if (ret) { +kfree (zone); + looped =1 ; + goto again; + } + +return zone; +}--
To unsubscribe from this list: send the line "unsubscribe linux-btrfs" in the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
Re: [PATCH v1 3/5] btrfs: initial readahead code and prototypes
Quoted 77 lines · Miao Xie
Quoted 76 lines · David Sterba
Hi,
Quoted 52 lines · Arne Jansen
fs/btrfs/reada.c new file +52
-0+static struct reada_zone *reada_find_zone (struct btrfs_fs_info *fs_info, +struct btrfs_device *dev,u64 logical, +struct btrfs_multi_bio *multi) +{ +int ret; +int looped =0 ; +struct reada_zone *zone; +struct btrfs_block_group_cache *cache =NULL ; +u64 start; +u64 end; +int i; + +again: + zone =NULL ; +spin_lock (&fs_info->reada_lock); + ret =radix_tree_gang_lookup (&dev->reada_zones, (void **)&zone, + logical >>PAGE_CACHE_SHIFT ,1 ); +if (ret ==1 ) +kref_get (&zone->refcnt); +spin_unlock (&fs_info->reada_lock); + +if (ret ==1 ) { +if (logical >= zone->start && logical < zone->end) +return zone; +spin_lock (&fs_info->reada_lock); +reada_zone_put (zone); +spin_unlock (&fs_info->reada_lock); + } + +if (looped) +return NULL ; + + cache =btrfs_lookup_block_group (fs_info, logical); +if (!cache) +return NULL ; + + start = cache->key.objectid; + end = start + cache->key.offset -1 ; +btrfs_put_block_group (cache); + + zone =kzalloc (sizeof (*zone),GFP_NOFS ); +if (!zone) +return NULL ; + + zone->start = start; + zone->end = end; +INIT_LIST_HEAD (&zone->list); +spin_lock_init (&zone->lock); + zone->locked =0 ; +kref_init (&zone->refcnt); + zone->elems =0 ; + zone->device = dev;/* our device always sits at index 0 */ fs/btrfs/reada.c line 323
Quoted 10 lines
fs/btrfs/reada.c new file +10
-0+for (i =0 ; i < multi->num_stripes; ++i) { +/* bounds have already been checked */ + zone->devs[i] = multi->stripes[i].dev; + } + zone->ndevs = multi->num_stripes; + +spin_lock (&fs_info->reada_lock); + ret =radix_tree_insert (&dev->reada_zones, + (unsigned long )zone->end >>PAGE_CACHE_SHIFT , + zone);this can sleep inside a spinlock, you initialize the radix tree with
GFP_NOFS, which allows__GFP_WAIT.Options:
1) useGFP_ATOMICin radix tree init flags
2) do the radix_tree_preload/radix_tree_preload_end,GFP_NOFSoutside of the locked section is ok but__GFP_WAIThas to be masked out (else radix tree insert will not use the preloaded node)
3) unmask__GFP_WAITfrom radix tree init flags
Quoted 4 lines
Quoted 2 lines
I'd go for 3, as the atomic context is not required, and is easier than 2 to implement.
I like the second one, because it is the general way to fix this problem.
I can't use the second one, as I have code to insert into 3 trees inside one spin_lock, and preload can preload one for one insertion. My intention was to use GFP_ATOMIC, don't know how I ended up NOFS instead. If unmasking GFP_WAIT instead is sufficient, I'd prefer that solution, too.
Quoted 3 lines
BTW: I think we can use RCU to protect the radix tree on the read side. Arne, how do you think about?
I decided against RCU, because inside the same lock I also take a ref on the structure.
The data structures and locking are already quite complex, so I tried to keep it as simple as possible until profiling shows that this is a problem.
Mainly it works with a single global (well, per btrfs) lock, but splitting it is hard and will normally lead to needing more lock/unlocks, so I'd prefer to only do it if it doesn't scale.
Thanks,
Arne
Quoted 21 lines
Thanks
MiaoQuoted 16 lines
fs/btrfs/reada.c line 333
Quoted 11 lines
fs/btrfs/reada.c new file +10
-0+spin_unlock (&fs_info->reada_lock); + +if (ret) { +kfree (zone); + looped =1 ; + goto again; + } + +return zone; +}--
To unsubscribe from this list: send the line "unsubscribe linux-btrfs" in the body of a message to [email protected]
More majordomo info at http://vger.kernel.org/majordomo-info.html
PATCH 4/5 btrfs: hooks for readahead
In reply to Arne JansenThis adds the hooks needed for readahead. In the readpage_end_io_hook, the extent state is checked for the EXTENT_READAHEAD flag. Only in this case the readahead hook is called, to keep the impact on non-ra as low as possible.
Additionally, a hook for a failed IO is added, otherwise readahead would wait indefinitely for the extent to finish.
--- fs/btrfs/disk-io.c | 16 ++++++++++++++++ fs/btrfs/extent_io.c | 2 +- 2 files changed, 17 insertions(+), 1 deletions(-)
fs/btrfs/disk-io.c +16 -0
@@ -580,11 +580,26 @@ static int btree_readpage_end_io_hook(struct page *page, u64 start, u64 end, end =min_t (u64, eb->len,PAGE_CACHE_SIZE ); end = eb->start + end -1 ; err: +if (state && state->state &EXTENT_READAHEAD ) +btree_readahead_hook (root, eb, eb->start, ret); +free_extent_buffer (eb); out:return ret; } +static int btree_io_failed_hook (struct bio *failed_bio, +struct page *page,u64 start,u64 end, +struct extent_state *state) +{ +struct btrfs_root *root =BTRFS_I (page->mapping->host)->root; + +if (state && state->state &EXTENT_READAHEAD ) +btree_readahead_hook (root,NULL , start, -EIO ); + +return -EIO ;/* we fixed nothing */ +} +static void end_workqueue_bio (struct bio *bio,int err) {struct end_io_wq *end_io_wq = bio->bi_private;
@@ -3192,6 +3207,7 @@ static int btrfs_cleanup_transaction(struct btrfs_root *root)static struct extent_io_ops btree_extent_io_ops = { .write_cache_pages_lock_hook = btree_lock_page_hook, .readpage_end_io_hook = btree_readpage_end_io_hook, + .readpage_io_failed_hook = btree_io_failed_hook, .submit_bio_hook = btree_submit_bio_hook,/* note we're sharing with inode.c for the merge bio hook */ .merge_bio_hook = btrfs_merge_bio_hook,
fs/btrfs/extent_io.c +1 -1
@@ -1788,7 +1788,7 @@ static void end_bio_extent_readpage(struct bio *bio, int err)if (!uptodate && tree->ops && tree->ops->readpage_io_failed_hook) { ret = tree->ops->readpage_io_failed_hook (bio, page, - start, end,NULL ); + start, end, state);if (ret ==0 ) { uptodate =test_bit (BIO_UPTODATE , &bio->bi_flags);
Signature · 1 line
1.7.3.4
PATCH 5/5 btrfs: test ioctl for readahead
In reply to Arne JansenThis ioctl is added to trigger a readahead from user mode. It implements a readahead using the new interface and also a traditional tree walk. This way it's possible to measure the two side by side.
--- fs/btrfs/ioctl.c | 86 +++++++++++++++++++++++++++++++++++++++++++++++++++++- fs/btrfs/ioctl.h | 16 ++++++++++ 2 files changed, 101 insertions(+), 1 deletions(-)
fs/btrfs/ioctl.c +85 -1
@@ -2465,6 +2465,89 @@ static noinline long btrfs_ioctl_wait_sync(struct file *file, void __user *argp)return btrfs_wait_for_commit (root, transid); } +static noinline long btrfs_ioctl_reada_test (struct btrfs_fs_info *fs_info, +void __user *argp) +{ +struct btrfs_key start = {0 ,0 ,0 }; +struct btrfs_key end = {(u64)-1ll , (u8)-1 , (u64)-1ll }; +struct btrfs_ioctl_reada_args reada_args; +struct btrfs_key key; +struct btrfs_root *root =NULL ; + +if (!capable (CAP_SYS_ADMIN )) +return -EPERM ; + +if (!argp) +return -EINVAL ; + +if (copy_from_user (&reada_args, + (struct btrfs_ioctl_reada_args __user *)argp, +sizeof (reada_args))) +return -EFAULT ; + + start.objectid = reada_args.start_objectid; + start.type = reada_args.start_type; + start.offset = reada_args.start_offset; + end.objectid = reada_args.end_objectid; + end.type = reada_args.end_type; + end.offset = reada_args.end_offset; + + key.objectid = reada_args.tree; + key.type =BTRFS_ROOT_ITEM_KEY ; + key.offset = (u64)-1 ; + root =btrfs_read_fs_root_no_name (fs_info, &key); +if (IS_ERR (root)) +return -ENOENT ; + +if (!(reada_args.flags &BTRFS_READA_IOC_FLAGS_TRAD )) { +void *handle; + + handle =btrfs_reada_add (root, &start, &end); +if (IS_ERR (handle)) +return PTR_ERR (handle); + +if (reada_args.flags &BTRFS_READA_IOC_FLAGS_WAIT ) +btrfs_reada_wait (handle); +else +btrfs_reada_detach (handle); + }else { +struct btrfs_path *path; +struct extent_buffer *leaf; +int slot; +int ret; + +/* +* enumerate the tree the traditional way +*/ + path =btrfs_alloc_path (); +if (!path) +return -ENOMEM ; + path->reada =2 ; + + ret =btrfs_search_slot (NULL , root, &start, path,0 ,0 ); +if (ret <0 ) + goto out; + +do { + leaf = path->nodes[0 ]; + slot = path->slots[0 ]; +btrfs_item_key_to_cpu (leaf, &key, slot); + +if (key.objectid > end.objectid) +break ; +if (key.objectid == end.objectid && key.type > end.type) +break ; +if (key.objectid == end.objectid && + key.type == end.type && key.offset > end.offset) +break ; + }while ((ret =btrfs_next_leaf (root, path)) ==0 ); +out: +btrfs_free_path (path); +return ret >=0 ?0 : ret; + } +return 0 ; +} +long btrfs_ioctl (struct file *file,unsigned int cmd,unsigned long arg) {
@@ -2527,7 +2610,8 @@ long btrfs_ioctl(struct file *file, unsigned intreturn btrfs_ioctl_start_sync (file, argp);case BTRFS_IOC_WAIT_SYNC :return btrfs_ioctl_wait_sync (file, argp); +case BTRFS_IOC_READA_TEST : +return btrfs_ioctl_reada_test (root->fs_info, argp); } -return -ENOTTY ; }
fs/btrfs/ioctl.h +16 -0
@@ -157,6 +157,20 @@ struct btrfs_ioctl_space_args {struct btrfs_ioctl_space_info spaces[0 ]; }; +#define BTRFS_READA_IOC_FLAGS_WAIT 1 +#define BTRFS_READA_IOC_FLAGS_TRAD 2 +struct btrfs_ioctl_reada_args { +__u64 flags; +__u64 tree; +__u64 start_objectid; +__u8 start_type; +__u64 start_offset; +__u64 end_objectid; +__u8 end_type; +__u64 end_offset; +__u64 unused[100 ]; +}; +#define BTRFS_IOC_SNAP_CREATE _IOW(BTRFS_IOCTL_MAGIC, 1, \ struct btrfs_ioctl_vol_args)#define BTRFS_IOC_DEFRAG _IOW(BTRFS_IOCTL_MAGIC, 2, \
@@ -203,4 +217,6 @@ struct btrfs_ioctl_space_args { struct btrfs_ioctl_vol_args_v2)#define BTRFS_IOC_SUBVOL_GETFLAGS _IOW(BTRFS_IOCTL_MAGIC, 25, __u64)#define BTRFS_IOC_SUBVOL_SETFLAGS _IOW(BTRFS_IOCTL_MAGIC, 26, __u64) +#define BTRFS_IOC_READA_TEST _IOW(BTRFS_IOCTL_MAGIC, 99, \ + struct btrfs_ioctl_reada_args)#endif
Signature · 1 line
1.7.3.4