xref: /openbmc/linux/fs/btrfs/tests/extent-map-tests.c (revision 3173fd926c465aca52740497a5f5fac538a271fe)
1c1d7c514SDavid Sterba // SPDX-License-Identifier: GPL-2.0
272b28077SLiu Bo /*
372b28077SLiu Bo  * Copyright (C) 2017 Oracle.  All rights reserved.
472b28077SLiu Bo  */
572b28077SLiu Bo 
672b28077SLiu Bo #include <linux/types.h>
772b28077SLiu Bo #include "btrfs-tests.h"
872b28077SLiu Bo #include "../ctree.h"
972b28077SLiu Bo 
1072b28077SLiu Bo static void free_extent_map_tree(struct extent_map_tree *em_tree)
1172b28077SLiu Bo {
1272b28077SLiu Bo 	struct extent_map *em;
1372b28077SLiu Bo 	struct rb_node *node;
1472b28077SLiu Bo 
1507e1ce09SLiu Bo 	while (!RB_EMPTY_ROOT(&em_tree->map.rb_root)) {
1607e1ce09SLiu Bo 		node = rb_first_cached(&em_tree->map);
1772b28077SLiu Bo 		em = rb_entry(node, struct extent_map, rb_node);
1872b28077SLiu Bo 		remove_extent_mapping(em_tree, em);
1972b28077SLiu Bo 
2072b28077SLiu Bo #ifdef CONFIG_BTRFS_DEBUG
2172b28077SLiu Bo 		if (refcount_read(&em->refs) != 1) {
223c7251f2SDavid Sterba 			test_err(
233c7251f2SDavid Sterba "em leak: em (start 0x%llx len 0x%llx block_start 0x%llx block_len 0x%llx) refs %d",
2472b28077SLiu Bo 				 em->start, em->len, em->block_start,
2572b28077SLiu Bo 				 em->block_len, refcount_read(&em->refs));
2672b28077SLiu Bo 
2772b28077SLiu Bo 			refcount_set(&em->refs, 1);
2872b28077SLiu Bo 		}
2972b28077SLiu Bo #endif
3072b28077SLiu Bo 		free_extent_map(em);
3172b28077SLiu Bo 	}
3272b28077SLiu Bo }
3372b28077SLiu Bo 
3472b28077SLiu Bo /*
3572b28077SLiu Bo  * Test scenario:
3672b28077SLiu Bo  *
3772b28077SLiu Bo  * Suppose that no extent map has been loaded into memory yet, there is a file
3872b28077SLiu Bo  * extent [0, 16K), followed by another file extent [16K, 20K), two dio reads
3972b28077SLiu Bo  * are entering btrfs_get_extent() concurrently, t1 is reading [8K, 16K), t2 is
4072b28077SLiu Bo  * reading [0, 8K)
4172b28077SLiu Bo  *
4272b28077SLiu Bo  *     t1                            t2
4372b28077SLiu Bo  *  btrfs_get_extent()              btrfs_get_extent()
4472b28077SLiu Bo  *    -> lookup_extent_mapping()      ->lookup_extent_mapping()
4572b28077SLiu Bo  *    -> add_extent_mapping(0, 16K)
4672b28077SLiu Bo  *    -> return em
4772b28077SLiu Bo  *                                    ->add_extent_mapping(0, 16K)
4872b28077SLiu Bo  *                                    -> #handle -EEXIST
4972b28077SLiu Bo  */
50488f6730SDavid Sterba static int test_case_1(struct btrfs_fs_info *fs_info,
510e08eb9bSDavid Sterba 		struct extent_map_tree *em_tree)
5272b28077SLiu Bo {
5372b28077SLiu Bo 	struct extent_map *em;
5472b28077SLiu Bo 	u64 start = 0;
5572b28077SLiu Bo 	u64 len = SZ_8K;
5672b28077SLiu Bo 	int ret;
5772b28077SLiu Bo 
5872b28077SLiu Bo 	em = alloc_extent_map();
596c304746SDavid Sterba 	if (!em) {
606c304746SDavid Sterba 		test_std_err(TEST_ALLOC_EXTENT_MAP);
61488f6730SDavid Sterba 		return -ENOMEM;
626c304746SDavid Sterba 	}
6372b28077SLiu Bo 
6472b28077SLiu Bo 	/* Add [0, 16K) */
6572b28077SLiu Bo 	em->start = 0;
6672b28077SLiu Bo 	em->len = SZ_16K;
6772b28077SLiu Bo 	em->block_start = 0;
6872b28077SLiu Bo 	em->block_len = SZ_16K;
6972b28077SLiu Bo 	ret = add_extent_mapping(em_tree, em, 0);
70d7de4b08SDavid Sterba 	if (ret < 0) {
71d7de4b08SDavid Sterba 		test_err("cannot add extent range [0, 16K)");
72d7de4b08SDavid Sterba 		goto out;
73d7de4b08SDavid Sterba 	}
7472b28077SLiu Bo 	free_extent_map(em);
7572b28077SLiu Bo 
7672b28077SLiu Bo 	/* Add [16K, 20K) following [0, 16K)  */
7772b28077SLiu Bo 	em = alloc_extent_map();
78488f6730SDavid Sterba 	if (!em) {
796c304746SDavid Sterba 		test_std_err(TEST_ALLOC_EXTENT_MAP);
80488f6730SDavid Sterba 		ret = -ENOMEM;
8172b28077SLiu Bo 		goto out;
82488f6730SDavid Sterba 	}
8372b28077SLiu Bo 
8472b28077SLiu Bo 	em->start = SZ_16K;
8572b28077SLiu Bo 	em->len = SZ_4K;
8672b28077SLiu Bo 	em->block_start = SZ_32K; /* avoid merging */
8772b28077SLiu Bo 	em->block_len = SZ_4K;
8872b28077SLiu Bo 	ret = add_extent_mapping(em_tree, em, 0);
89d7de4b08SDavid Sterba 	if (ret < 0) {
90d7de4b08SDavid Sterba 		test_err("cannot add extent range [16K, 20K)");
91d7de4b08SDavid Sterba 		goto out;
92d7de4b08SDavid Sterba 	}
9372b28077SLiu Bo 	free_extent_map(em);
9472b28077SLiu Bo 
9572b28077SLiu Bo 	em = alloc_extent_map();
96488f6730SDavid Sterba 	if (!em) {
976c304746SDavid Sterba 		test_std_err(TEST_ALLOC_EXTENT_MAP);
98488f6730SDavid Sterba 		ret = -ENOMEM;
9972b28077SLiu Bo 		goto out;
100488f6730SDavid Sterba 	}
10172b28077SLiu Bo 
10272b28077SLiu Bo 	/* Add [0, 8K), should return [0, 16K) instead. */
10372b28077SLiu Bo 	em->start = start;
10472b28077SLiu Bo 	em->len = len;
10572b28077SLiu Bo 	em->block_start = start;
10672b28077SLiu Bo 	em->block_len = len;
107f46b24c9SDavid Sterba 	ret = btrfs_add_extent_mapping(fs_info, em_tree, &em, em->start, em->len);
108d7de4b08SDavid Sterba 	if (ret) {
1093c7251f2SDavid Sterba 		test_err("case1 [%llu %llu]: ret %d", start, start + len, ret);
110d7de4b08SDavid Sterba 		goto out;
111d7de4b08SDavid Sterba 	}
11272b28077SLiu Bo 	if (em &&
11372b28077SLiu Bo 	    (em->start != 0 || extent_map_end(em) != SZ_16K ||
114d7de4b08SDavid Sterba 	     em->block_start != 0 || em->block_len != SZ_16K)) {
1153c7251f2SDavid Sterba 		test_err(
1163c7251f2SDavid Sterba "case1 [%llu %llu]: ret %d return a wrong em (start %llu len %llu block_start %llu block_len %llu",
11772b28077SLiu Bo 			 start, start + len, ret, em->start, em->len,
11872b28077SLiu Bo 			 em->block_start, em->block_len);
119d7de4b08SDavid Sterba 		ret = -EINVAL;
120d7de4b08SDavid Sterba 	}
12172b28077SLiu Bo 	free_extent_map(em);
12272b28077SLiu Bo out:
12372b28077SLiu Bo 	free_extent_map_tree(em_tree);
124488f6730SDavid Sterba 
125488f6730SDavid Sterba 	return ret;
12672b28077SLiu Bo }
12772b28077SLiu Bo 
12872b28077SLiu Bo /*
12972b28077SLiu Bo  * Test scenario:
13072b28077SLiu Bo  *
13172b28077SLiu Bo  * Reading the inline ending up with EEXIST, ie. read an inline
13272b28077SLiu Bo  * extent and discard page cache and read it again.
13372b28077SLiu Bo  */
134488f6730SDavid Sterba static int test_case_2(struct btrfs_fs_info *fs_info,
1350e08eb9bSDavid Sterba 		struct extent_map_tree *em_tree)
13672b28077SLiu Bo {
13772b28077SLiu Bo 	struct extent_map *em;
13872b28077SLiu Bo 	int ret;
13972b28077SLiu Bo 
14072b28077SLiu Bo 	em = alloc_extent_map();
1416c304746SDavid Sterba 	if (!em) {
1426c304746SDavid Sterba 		test_std_err(TEST_ALLOC_EXTENT_MAP);
143488f6730SDavid Sterba 		return -ENOMEM;
1446c304746SDavid Sterba 	}
14572b28077SLiu Bo 
14672b28077SLiu Bo 	/* Add [0, 1K) */
14772b28077SLiu Bo 	em->start = 0;
14872b28077SLiu Bo 	em->len = SZ_1K;
14972b28077SLiu Bo 	em->block_start = EXTENT_MAP_INLINE;
15072b28077SLiu Bo 	em->block_len = (u64)-1;
15172b28077SLiu Bo 	ret = add_extent_mapping(em_tree, em, 0);
152e71f2e17SDavid Sterba 	if (ret < 0) {
153e71f2e17SDavid Sterba 		test_err("cannot add extent range [0, 1K)");
154e71f2e17SDavid Sterba 		goto out;
155e71f2e17SDavid Sterba 	}
15672b28077SLiu Bo 	free_extent_map(em);
15772b28077SLiu Bo 
158*3173fd92SDavid Sterba 	/* Add [4K, 8K) following [0, 1K)  */
15972b28077SLiu Bo 	em = alloc_extent_map();
160488f6730SDavid Sterba 	if (!em) {
1616c304746SDavid Sterba 		test_std_err(TEST_ALLOC_EXTENT_MAP);
162488f6730SDavid Sterba 		ret = -ENOMEM;
16372b28077SLiu Bo 		goto out;
164488f6730SDavid Sterba 	}
16572b28077SLiu Bo 
16672b28077SLiu Bo 	em->start = SZ_4K;
16772b28077SLiu Bo 	em->len = SZ_4K;
16872b28077SLiu Bo 	em->block_start = SZ_4K;
16972b28077SLiu Bo 	em->block_len = SZ_4K;
17072b28077SLiu Bo 	ret = add_extent_mapping(em_tree, em, 0);
171e71f2e17SDavid Sterba 	if (ret < 0) {
172e71f2e17SDavid Sterba 		test_err("cannot add extent range [4K, 8K)");
173e71f2e17SDavid Sterba 		goto out;
174e71f2e17SDavid Sterba 	}
17572b28077SLiu Bo 	free_extent_map(em);
17672b28077SLiu Bo 
17772b28077SLiu Bo 	em = alloc_extent_map();
178488f6730SDavid Sterba 	if (!em) {
1796c304746SDavid Sterba 		test_std_err(TEST_ALLOC_EXTENT_MAP);
180488f6730SDavid Sterba 		ret = -ENOMEM;
18172b28077SLiu Bo 		goto out;
182488f6730SDavid Sterba 	}
18372b28077SLiu Bo 
18472b28077SLiu Bo 	/* Add [0, 1K) */
18572b28077SLiu Bo 	em->start = 0;
18672b28077SLiu Bo 	em->len = SZ_1K;
18772b28077SLiu Bo 	em->block_start = EXTENT_MAP_INLINE;
18872b28077SLiu Bo 	em->block_len = (u64)-1;
189f46b24c9SDavid Sterba 	ret = btrfs_add_extent_mapping(fs_info, em_tree, &em, em->start, em->len);
190e71f2e17SDavid Sterba 	if (ret) {
1913c7251f2SDavid Sterba 		test_err("case2 [0 1K]: ret %d", ret);
192e71f2e17SDavid Sterba 		goto out;
193e71f2e17SDavid Sterba 	}
19472b28077SLiu Bo 	if (em &&
19572b28077SLiu Bo 	    (em->start != 0 || extent_map_end(em) != SZ_1K ||
196e71f2e17SDavid Sterba 	     em->block_start != EXTENT_MAP_INLINE || em->block_len != (u64)-1)) {
1973c7251f2SDavid Sterba 		test_err(
1983c7251f2SDavid Sterba "case2 [0 1K]: ret %d return a wrong em (start %llu len %llu block_start %llu block_len %llu",
19972b28077SLiu Bo 			 ret, em->start, em->len, em->block_start,
20072b28077SLiu Bo 			 em->block_len);
201e71f2e17SDavid Sterba 		ret = -EINVAL;
202e71f2e17SDavid Sterba 	}
20372b28077SLiu Bo 	free_extent_map(em);
20472b28077SLiu Bo out:
20572b28077SLiu Bo 	free_extent_map_tree(em_tree);
206488f6730SDavid Sterba 
207488f6730SDavid Sterba 	return ret;
20872b28077SLiu Bo }
20972b28077SLiu Bo 
210488f6730SDavid Sterba static int __test_case_3(struct btrfs_fs_info *fs_info,
2110e08eb9bSDavid Sterba 		struct extent_map_tree *em_tree, u64 start)
212fd87526fSLiu Bo {
213fd87526fSLiu Bo 	struct extent_map *em;
214fd87526fSLiu Bo 	u64 len = SZ_4K;
215fd87526fSLiu Bo 	int ret;
216fd87526fSLiu Bo 
217fd87526fSLiu Bo 	em = alloc_extent_map();
2186c304746SDavid Sterba 	if (!em) {
2196c304746SDavid Sterba 		test_std_err(TEST_ALLOC_EXTENT_MAP);
220488f6730SDavid Sterba 		return -ENOMEM;
2216c304746SDavid Sterba 	}
222fd87526fSLiu Bo 
223fd87526fSLiu Bo 	/* Add [4K, 8K) */
224fd87526fSLiu Bo 	em->start = SZ_4K;
225fd87526fSLiu Bo 	em->len = SZ_4K;
226fd87526fSLiu Bo 	em->block_start = SZ_4K;
227fd87526fSLiu Bo 	em->block_len = SZ_4K;
228fd87526fSLiu Bo 	ret = add_extent_mapping(em_tree, em, 0);
229992dce74SDavid Sterba 	if (ret < 0) {
230992dce74SDavid Sterba 		test_err("cannot add extent range [4K, 8K)");
231992dce74SDavid Sterba 		goto out;
232992dce74SDavid Sterba 	}
233fd87526fSLiu Bo 	free_extent_map(em);
234fd87526fSLiu Bo 
235fd87526fSLiu Bo 	em = alloc_extent_map();
236488f6730SDavid Sterba 	if (!em) {
2376c304746SDavid Sterba 		test_std_err(TEST_ALLOC_EXTENT_MAP);
238488f6730SDavid Sterba 		ret = -ENOMEM;
239fd87526fSLiu Bo 		goto out;
240488f6730SDavid Sterba 	}
241fd87526fSLiu Bo 
242fd87526fSLiu Bo 	/* Add [0, 16K) */
243fd87526fSLiu Bo 	em->start = 0;
244fd87526fSLiu Bo 	em->len = SZ_16K;
245fd87526fSLiu Bo 	em->block_start = 0;
246fd87526fSLiu Bo 	em->block_len = SZ_16K;
247f46b24c9SDavid Sterba 	ret = btrfs_add_extent_mapping(fs_info, em_tree, &em, start, len);
248992dce74SDavid Sterba 	if (ret) {
2493c7251f2SDavid Sterba 		test_err("case3 [0x%llx 0x%llx): ret %d",
250fd87526fSLiu Bo 			 start, start + len, ret);
251992dce74SDavid Sterba 		goto out;
252992dce74SDavid Sterba 	}
253fd87526fSLiu Bo 	/*
254fd87526fSLiu Bo 	 * Since bytes within em are contiguous, em->block_start is identical to
255fd87526fSLiu Bo 	 * em->start.
256fd87526fSLiu Bo 	 */
257fd87526fSLiu Bo 	if (em &&
258fd87526fSLiu Bo 	    (start < em->start || start + len > extent_map_end(em) ||
259992dce74SDavid Sterba 	     em->start != em->block_start || em->len != em->block_len)) {
2603c7251f2SDavid Sterba 		test_err(
2613c7251f2SDavid Sterba "case3 [0x%llx 0x%llx): ret %d em (start 0x%llx len 0x%llx block_start 0x%llx block_len 0x%llx)",
262fd87526fSLiu Bo 			 start, start + len, ret, em->start, em->len,
263fd87526fSLiu Bo 			 em->block_start, em->block_len);
264992dce74SDavid Sterba 		ret = -EINVAL;
265992dce74SDavid Sterba 	}
266fd87526fSLiu Bo 	free_extent_map(em);
267fd87526fSLiu Bo out:
268fd87526fSLiu Bo 	free_extent_map_tree(em_tree);
269488f6730SDavid Sterba 
270488f6730SDavid Sterba 	return ret;
271fd87526fSLiu Bo }
272fd87526fSLiu Bo 
273fd87526fSLiu Bo /*
274fd87526fSLiu Bo  * Test scenario:
275fd87526fSLiu Bo  *
276fd87526fSLiu Bo  * Suppose that no extent map has been loaded into memory yet.
277fd87526fSLiu Bo  * There is a file extent [0, 16K), two jobs are running concurrently
278fd87526fSLiu Bo  * against it, t1 is buffered writing to [4K, 8K) and t2 is doing dio
279fd87526fSLiu Bo  * read from [0, 4K) or [8K, 12K) or [12K, 16K).
280fd87526fSLiu Bo  *
281fd87526fSLiu Bo  * t1 goes ahead of t2 and adds em [4K, 8K) into tree.
282fd87526fSLiu Bo  *
283fd87526fSLiu Bo  *         t1                       t2
284fd87526fSLiu Bo  *  cow_file_range()	     btrfs_get_extent()
285fd87526fSLiu Bo  *                            -> lookup_extent_mapping()
286fd87526fSLiu Bo  *   -> add_extent_mapping()
287fd87526fSLiu Bo  *                            -> add_extent_mapping()
288fd87526fSLiu Bo  */
289ccfada1fSDavid Sterba static int test_case_3(struct btrfs_fs_info *fs_info,
2900e08eb9bSDavid Sterba 		struct extent_map_tree *em_tree)
291fd87526fSLiu Bo {
292ccfada1fSDavid Sterba 	int ret;
293ccfada1fSDavid Sterba 
294ccfada1fSDavid Sterba 	ret = __test_case_3(fs_info, em_tree, 0);
295ccfada1fSDavid Sterba 	if (ret)
296ccfada1fSDavid Sterba 		return ret;
297ccfada1fSDavid Sterba 	ret = __test_case_3(fs_info, em_tree, SZ_8K);
298ccfada1fSDavid Sterba 	if (ret)
299ccfada1fSDavid Sterba 		return ret;
30043f7cddcSDavid Sterba 	ret = __test_case_3(fs_info, em_tree, (12 * SZ_1K));
301ccfada1fSDavid Sterba 
302ccfada1fSDavid Sterba 	return ret;
303fd87526fSLiu Bo }
304fd87526fSLiu Bo 
305488f6730SDavid Sterba static int __test_case_4(struct btrfs_fs_info *fs_info,
3060e08eb9bSDavid Sterba 		struct extent_map_tree *em_tree, u64 start)
307cd77f4f8SLiu Bo {
308cd77f4f8SLiu Bo 	struct extent_map *em;
309cd77f4f8SLiu Bo 	u64 len = SZ_4K;
310cd77f4f8SLiu Bo 	int ret;
311cd77f4f8SLiu Bo 
312cd77f4f8SLiu Bo 	em = alloc_extent_map();
3136c304746SDavid Sterba 	if (!em) {
3146c304746SDavid Sterba 		test_std_err(TEST_ALLOC_EXTENT_MAP);
315488f6730SDavid Sterba 		return -ENOMEM;
3166c304746SDavid Sterba 	}
317cd77f4f8SLiu Bo 
318cd77f4f8SLiu Bo 	/* Add [0K, 8K) */
319cd77f4f8SLiu Bo 	em->start = 0;
320cd77f4f8SLiu Bo 	em->len = SZ_8K;
321cd77f4f8SLiu Bo 	em->block_start = 0;
322cd77f4f8SLiu Bo 	em->block_len = SZ_8K;
323cd77f4f8SLiu Bo 	ret = add_extent_mapping(em_tree, em, 0);
3247c6f6700SDavid Sterba 	if (ret < 0) {
3257c6f6700SDavid Sterba 		test_err("cannot add extent range [0, 8K)");
3267c6f6700SDavid Sterba 		goto out;
3277c6f6700SDavid Sterba 	}
328cd77f4f8SLiu Bo 	free_extent_map(em);
329cd77f4f8SLiu Bo 
330cd77f4f8SLiu Bo 	em = alloc_extent_map();
331488f6730SDavid Sterba 	if (!em) {
3326c304746SDavid Sterba 		test_std_err(TEST_ALLOC_EXTENT_MAP);
333488f6730SDavid Sterba 		ret = -ENOMEM;
334cd77f4f8SLiu Bo 		goto out;
335488f6730SDavid Sterba 	}
336cd77f4f8SLiu Bo 
337*3173fd92SDavid Sterba 	/* Add [8K, 32K) */
338cd77f4f8SLiu Bo 	em->start = SZ_8K;
33943f7cddcSDavid Sterba 	em->len = 24 * SZ_1K;
340cd77f4f8SLiu Bo 	em->block_start = SZ_16K; /* avoid merging */
34143f7cddcSDavid Sterba 	em->block_len = 24 * SZ_1K;
342cd77f4f8SLiu Bo 	ret = add_extent_mapping(em_tree, em, 0);
3437c6f6700SDavid Sterba 	if (ret < 0) {
3447c6f6700SDavid Sterba 		test_err("cannot add extent range [8K, 32K)");
3457c6f6700SDavid Sterba 		goto out;
3467c6f6700SDavid Sterba 	}
347cd77f4f8SLiu Bo 	free_extent_map(em);
348cd77f4f8SLiu Bo 
349cd77f4f8SLiu Bo 	em = alloc_extent_map();
350488f6730SDavid Sterba 	if (!em) {
3516c304746SDavid Sterba 		test_std_err(TEST_ALLOC_EXTENT_MAP);
352488f6730SDavid Sterba 		ret = -ENOMEM;
353cd77f4f8SLiu Bo 		goto out;
354488f6730SDavid Sterba 	}
355cd77f4f8SLiu Bo 	/* Add [0K, 32K) */
356cd77f4f8SLiu Bo 	em->start = 0;
357cd77f4f8SLiu Bo 	em->len = SZ_32K;
358cd77f4f8SLiu Bo 	em->block_start = 0;
359cd77f4f8SLiu Bo 	em->block_len = SZ_32K;
360f46b24c9SDavid Sterba 	ret = btrfs_add_extent_mapping(fs_info, em_tree, &em, start, len);
3617c6f6700SDavid Sterba 	if (ret) {
3623c7251f2SDavid Sterba 		test_err("case4 [0x%llx 0x%llx): ret %d",
363cd77f4f8SLiu Bo 			 start, len, ret);
3647c6f6700SDavid Sterba 		goto out;
3657c6f6700SDavid Sterba 	}
3667c6f6700SDavid Sterba 	if (em && (start < em->start || start + len > extent_map_end(em))) {
3673c7251f2SDavid Sterba 		test_err(
3683c7251f2SDavid Sterba "case4 [0x%llx 0x%llx): ret %d, added wrong em (start 0x%llx len 0x%llx block_start 0x%llx block_len 0x%llx)",
369cd77f4f8SLiu Bo 			 start, len, ret, em->start, em->len, em->block_start,
370cd77f4f8SLiu Bo 			 em->block_len);
3717c6f6700SDavid Sterba 		ret = -EINVAL;
3727c6f6700SDavid Sterba 	}
373cd77f4f8SLiu Bo 	free_extent_map(em);
374cd77f4f8SLiu Bo out:
375cd77f4f8SLiu Bo 	free_extent_map_tree(em_tree);
376488f6730SDavid Sterba 
377488f6730SDavid Sterba 	return ret;
378cd77f4f8SLiu Bo }
379cd77f4f8SLiu Bo 
380cd77f4f8SLiu Bo /*
381cd77f4f8SLiu Bo  * Test scenario:
382cd77f4f8SLiu Bo  *
383cd77f4f8SLiu Bo  * Suppose that no extent map has been loaded into memory yet.
384cd77f4f8SLiu Bo  * There is a file extent [0, 32K), two jobs are running concurrently
385cd77f4f8SLiu Bo  * against it, t1 is doing dio write to [8K, 32K) and t2 is doing dio
386cd77f4f8SLiu Bo  * read from [0, 4K) or [4K, 8K).
387cd77f4f8SLiu Bo  *
388cd77f4f8SLiu Bo  * t1 goes ahead of t2 and splits em [0, 32K) to em [0K, 8K) and [8K 32K).
389cd77f4f8SLiu Bo  *
390cd77f4f8SLiu Bo  *         t1                                t2
391cd77f4f8SLiu Bo  *  btrfs_get_blocks_direct()	       btrfs_get_blocks_direct()
392cd77f4f8SLiu Bo  *   -> btrfs_get_extent()              -> btrfs_get_extent()
393cd77f4f8SLiu Bo  *       -> lookup_extent_mapping()
394cd77f4f8SLiu Bo  *       -> add_extent_mapping()            -> lookup_extent_mapping()
395cd77f4f8SLiu Bo  *          # load [0, 32K)
396cd77f4f8SLiu Bo  *   -> btrfs_new_extent_direct()
397cd77f4f8SLiu Bo  *       -> btrfs_drop_extent_cache()
398cd77f4f8SLiu Bo  *          # split [0, 32K)
399cd77f4f8SLiu Bo  *       -> add_extent_mapping()
400cd77f4f8SLiu Bo  *          # add [8K, 32K)
401cd77f4f8SLiu Bo  *                                          -> add_extent_mapping()
402cd77f4f8SLiu Bo  *                                             # handle -EEXIST when adding
403cd77f4f8SLiu Bo  *                                             # [0, 32K)
404cd77f4f8SLiu Bo  */
405ccfada1fSDavid Sterba static int test_case_4(struct btrfs_fs_info *fs_info,
4060e08eb9bSDavid Sterba 		struct extent_map_tree *em_tree)
407cd77f4f8SLiu Bo {
408ccfada1fSDavid Sterba 	int ret;
409ccfada1fSDavid Sterba 
410ccfada1fSDavid Sterba 	ret = __test_case_4(fs_info, em_tree, 0);
411ccfada1fSDavid Sterba 	if (ret)
412ccfada1fSDavid Sterba 		return ret;
413ccfada1fSDavid Sterba 	ret = __test_case_4(fs_info, em_tree, SZ_4K);
414ccfada1fSDavid Sterba 
415ccfada1fSDavid Sterba 	return ret;
416cd77f4f8SLiu Bo }
417cd77f4f8SLiu Bo 
41897dc231eSColin Ian King int btrfs_test_extent_map(void)
41972b28077SLiu Bo {
4200e08eb9bSDavid Sterba 	struct btrfs_fs_info *fs_info = NULL;
42172b28077SLiu Bo 	struct extent_map_tree *em_tree;
422488f6730SDavid Sterba 	int ret = 0;
42372b28077SLiu Bo 
424315b76b4SDavid Sterba 	test_msg("running extent_map tests");
42572b28077SLiu Bo 
4260e08eb9bSDavid Sterba 	/*
4270e08eb9bSDavid Sterba 	 * Note: the fs_info is not set up completely, we only need
4280e08eb9bSDavid Sterba 	 * fs_info::fsid for the tracepoint.
4290e08eb9bSDavid Sterba 	 */
4300e08eb9bSDavid Sterba 	fs_info = btrfs_alloc_dummy_fs_info(PAGE_SIZE, PAGE_SIZE);
4310e08eb9bSDavid Sterba 	if (!fs_info) {
43237b2a7bcSDavid Sterba 		test_std_err(TEST_ALLOC_FS_INFO);
4330e08eb9bSDavid Sterba 		return -ENOMEM;
4340e08eb9bSDavid Sterba 	}
4350e08eb9bSDavid Sterba 
43672b28077SLiu Bo 	em_tree = kzalloc(sizeof(*em_tree), GFP_KERNEL);
437488f6730SDavid Sterba 	if (!em_tree) {
438488f6730SDavid Sterba 		ret = -ENOMEM;
4390e08eb9bSDavid Sterba 		goto out;
440488f6730SDavid Sterba 	}
44172b28077SLiu Bo 
44272b28077SLiu Bo 	extent_map_tree_init(em_tree);
44372b28077SLiu Bo 
444ccfada1fSDavid Sterba 	ret = test_case_1(fs_info, em_tree);
445ccfada1fSDavid Sterba 	if (ret)
446ccfada1fSDavid Sterba 		goto out;
447ccfada1fSDavid Sterba 	ret = test_case_2(fs_info, em_tree);
448ccfada1fSDavid Sterba 	if (ret)
449ccfada1fSDavid Sterba 		goto out;
450ccfada1fSDavid Sterba 	ret = test_case_3(fs_info, em_tree);
451ccfada1fSDavid Sterba 	if (ret)
452ccfada1fSDavid Sterba 		goto out;
453ccfada1fSDavid Sterba 	ret = test_case_4(fs_info, em_tree);
45472b28077SLiu Bo 
4550e08eb9bSDavid Sterba out:
456ccfada1fSDavid Sterba 	kfree(em_tree);
4570e08eb9bSDavid Sterba 	btrfs_free_dummy_fs_info(fs_info);
4580e08eb9bSDavid Sterba 
459488f6730SDavid Sterba 	return ret;
46072b28077SLiu Bo }
461