Skip to contentSkip to conversation

btrfs: generic readeahead interface

PATCH Superseded Arne Jansen 4 participants 11 messages May 23, 2011 – May 26, 2011 Btrfs file system

v1 of 6 Superseded Latest is v6 →

lore
Share & tools
lore
#0 lore raw

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
#1 lore raw

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
index fe5aec9..7753eb9 100644
@@ -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
index 07b20dc..0c47d57 100644
@@ -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
index 0d1196d..df0bc46 100644
@@ -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
index af2d717..6317c78 100644
@@ -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
#2 lore raw

PATCH 2/5 btrfs: state information for readahead

In reply to Arne Jansen

Add 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
index 2e61fe1..4a33e30 100644
@@ -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
index 7753eb9..3d4f9c5 100644
@@ -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
index 8b9fb8c..800e670 100644
@@ -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
index cc2eada..33acd4e 100644
@@ -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
#3 lore raw

Re: [PATCH v1 2/5] btrfs: state information for readahead

Quoted 64 lines · Arne Jansen

Add 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
index 2e61fe1..4a33e30 100644
@@ -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
index 7753eb9..3d4f9c5 100644
@@ -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
index 8b9fb8c..800e670 100644
@@ -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
index cc2eada..33acd4e 100644

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 {
#4 lore raw

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_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
index 2e61fe1..4a33e30 100644
@@ -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
index 7753eb9..3d4f9c5 100644
@@ -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
index 8b9fb8c..800e670 100644
@@ -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
index cc2eada..33acd4e 100644
@@ -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 -0
 	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...

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,
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 {
#5 lore raw

PATCH 3/5 btrfs: initial readahead code and prototypes

In reply to Arne Jansen

This 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
index 31610ea..3e9ed71 100644
@@ -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
index 4a33e30..0de44a5 100644
@@ -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
#6 lore raw

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;
+}
#7 lore raw

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) 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

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

#8 lore raw

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) 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

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
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

#9 lore raw

PATCH 4/5 btrfs: hooks for readahead

In reply to Arne Jansen

This 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
index 3d4f9c5..7949f30 100644
@@ -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
index df0bc46..3622230 100644
@@ -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
#10 lore raw

PATCH 5/5 btrfs: test ioctl for readahead

In reply to Arne Jansen

This 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
index f580a3a..13a88d7 100644
@@ -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 int
 		return 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
index 8fb3821..9c744ce 100644
@@ -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