blob: 57379e96ccc9094e01d47e070ee77ab33371af30 [file] [log] [blame]
David Sterbac1d7c512018-04-03 19:23:33 +02001// SPDX-License-Identifier: GPL-2.0
Liu Bo72b28072018-01-05 12:51:12 -07002/*
3 * Copyright (C) 2017 Oracle. All rights reserved.
Liu Bo72b28072018-01-05 12:51:12 -07004 */
5
6#include <linux/types.h>
7#include "btrfs-tests.h"
8#include "../ctree.h"
Nikolay Borisovbf2e2eb2019-12-10 20:00:45 +02009#include "../volumes.h"
10#include "../disk-io.h"
11#include "../block-group.h"
Liu Bo72b28072018-01-05 12:51:12 -070012
13static void free_extent_map_tree(struct extent_map_tree *em_tree)
14{
15 struct extent_map *em;
16 struct rb_node *node;
17
Liu Bo07e1ce02018-08-23 03:51:52 +080018 while (!RB_EMPTY_ROOT(&em_tree->map.rb_root)) {
19 node = rb_first_cached(&em_tree->map);
Liu Bo72b28072018-01-05 12:51:12 -070020 em = rb_entry(node, struct extent_map, rb_node);
21 remove_extent_mapping(em_tree, em);
22
23#ifdef CONFIG_BTRFS_DEBUG
24 if (refcount_read(&em->refs) != 1) {
David Sterba3c7251f2018-05-17 00:00:42 +020025 test_err(
26"em leak: em (start 0x%llx len 0x%llx block_start 0x%llx block_len 0x%llx) refs %d",
Liu Bo72b28072018-01-05 12:51:12 -070027 em->start, em->len, em->block_start,
28 em->block_len, refcount_read(&em->refs));
29
30 refcount_set(&em->refs, 1);
31 }
32#endif
33 free_extent_map(em);
34 }
35}
36
37/*
38 * Test scenario:
39 *
40 * Suppose that no extent map has been loaded into memory yet, there is a file
41 * extent [0, 16K), followed by another file extent [16K, 20K), two dio reads
42 * are entering btrfs_get_extent() concurrently, t1 is reading [8K, 16K), t2 is
43 * reading [0, 8K)
44 *
45 * t1 t2
46 * btrfs_get_extent() btrfs_get_extent()
47 * -> lookup_extent_mapping() ->lookup_extent_mapping()
48 * -> add_extent_mapping(0, 16K)
49 * -> return em
50 * ->add_extent_mapping(0, 16K)
51 * -> #handle -EEXIST
52 */
David Sterba488f6732019-03-15 18:06:16 +010053static int test_case_1(struct btrfs_fs_info *fs_info,
David Sterba0e08eb92018-04-03 21:55:17 +020054 struct extent_map_tree *em_tree)
Liu Bo72b28072018-01-05 12:51:12 -070055{
56 struct extent_map *em;
57 u64 start = 0;
58 u64 len = SZ_8K;
59 int ret;
60
61 em = alloc_extent_map();
David Sterba6c304742019-03-15 17:28:46 +010062 if (!em) {
63 test_std_err(TEST_ALLOC_EXTENT_MAP);
David Sterba488f6732019-03-15 18:06:16 +010064 return -ENOMEM;
David Sterba6c304742019-03-15 17:28:46 +010065 }
Liu Bo72b28072018-01-05 12:51:12 -070066
67 /* Add [0, 16K) */
68 em->start = 0;
69 em->len = SZ_16K;
70 em->block_start = 0;
71 em->block_len = SZ_16K;
David Sterba93ead462019-04-03 19:32:56 +020072 write_lock(&em_tree->lock);
Liu Bo72b28072018-01-05 12:51:12 -070073 ret = add_extent_mapping(em_tree, em, 0);
David Sterba93ead462019-04-03 19:32:56 +020074 write_unlock(&em_tree->lock);
David Sterbad7de4b02019-03-15 18:41:06 +010075 if (ret < 0) {
76 test_err("cannot add extent range [0, 16K)");
77 goto out;
78 }
Liu Bo72b28072018-01-05 12:51:12 -070079 free_extent_map(em);
80
81 /* Add [16K, 20K) following [0, 16K) */
82 em = alloc_extent_map();
David Sterba488f6732019-03-15 18:06:16 +010083 if (!em) {
David Sterba6c304742019-03-15 17:28:46 +010084 test_std_err(TEST_ALLOC_EXTENT_MAP);
David Sterba488f6732019-03-15 18:06:16 +010085 ret = -ENOMEM;
Liu Bo72b28072018-01-05 12:51:12 -070086 goto out;
David Sterba488f6732019-03-15 18:06:16 +010087 }
Liu Bo72b28072018-01-05 12:51:12 -070088
89 em->start = SZ_16K;
90 em->len = SZ_4K;
91 em->block_start = SZ_32K; /* avoid merging */
92 em->block_len = SZ_4K;
David Sterba93ead462019-04-03 19:32:56 +020093 write_lock(&em_tree->lock);
Liu Bo72b28072018-01-05 12:51:12 -070094 ret = add_extent_mapping(em_tree, em, 0);
David Sterba93ead462019-04-03 19:32:56 +020095 write_unlock(&em_tree->lock);
David Sterbad7de4b02019-03-15 18:41:06 +010096 if (ret < 0) {
97 test_err("cannot add extent range [16K, 20K)");
98 goto out;
99 }
Liu Bo72b28072018-01-05 12:51:12 -0700100 free_extent_map(em);
101
102 em = alloc_extent_map();
David Sterba488f6732019-03-15 18:06:16 +0100103 if (!em) {
David Sterba6c304742019-03-15 17:28:46 +0100104 test_std_err(TEST_ALLOC_EXTENT_MAP);
David Sterba488f6732019-03-15 18:06:16 +0100105 ret = -ENOMEM;
Liu Bo72b28072018-01-05 12:51:12 -0700106 goto out;
David Sterba488f6732019-03-15 18:06:16 +0100107 }
Liu Bo72b28072018-01-05 12:51:12 -0700108
109 /* Add [0, 8K), should return [0, 16K) instead. */
110 em->start = start;
111 em->len = len;
112 em->block_start = start;
113 em->block_len = len;
David Sterba93ead462019-04-03 19:32:56 +0200114 write_lock(&em_tree->lock);
David Sterbaf46b24c2018-04-03 21:45:57 +0200115 ret = btrfs_add_extent_mapping(fs_info, em_tree, &em, em->start, em->len);
David Sterba93ead462019-04-03 19:32:56 +0200116 write_unlock(&em_tree->lock);
David Sterbad7de4b02019-03-15 18:41:06 +0100117 if (ret) {
David Sterba3c7251f2018-05-17 00:00:42 +0200118 test_err("case1 [%llu %llu]: ret %d", start, start + len, ret);
David Sterbad7de4b02019-03-15 18:41:06 +0100119 goto out;
120 }
Liu Bo72b28072018-01-05 12:51:12 -0700121 if (em &&
122 (em->start != 0 || extent_map_end(em) != SZ_16K ||
David Sterbad7de4b02019-03-15 18:41:06 +0100123 em->block_start != 0 || em->block_len != SZ_16K)) {
David Sterba3c7251f2018-05-17 00:00:42 +0200124 test_err(
125"case1 [%llu %llu]: ret %d return a wrong em (start %llu len %llu block_start %llu block_len %llu",
Liu Bo72b28072018-01-05 12:51:12 -0700126 start, start + len, ret, em->start, em->len,
127 em->block_start, em->block_len);
David Sterbad7de4b02019-03-15 18:41:06 +0100128 ret = -EINVAL;
129 }
Liu Bo72b28072018-01-05 12:51:12 -0700130 free_extent_map(em);
131out:
Liu Bo72b28072018-01-05 12:51:12 -0700132 free_extent_map_tree(em_tree);
David Sterba488f6732019-03-15 18:06:16 +0100133
134 return ret;
Liu Bo72b28072018-01-05 12:51:12 -0700135}
136
137/*
138 * Test scenario:
139 *
140 * Reading the inline ending up with EEXIST, ie. read an inline
141 * extent and discard page cache and read it again.
142 */
David Sterba488f6732019-03-15 18:06:16 +0100143static int test_case_2(struct btrfs_fs_info *fs_info,
David Sterba0e08eb92018-04-03 21:55:17 +0200144 struct extent_map_tree *em_tree)
Liu Bo72b28072018-01-05 12:51:12 -0700145{
146 struct extent_map *em;
147 int ret;
148
149 em = alloc_extent_map();
David Sterba6c304742019-03-15 17:28:46 +0100150 if (!em) {
151 test_std_err(TEST_ALLOC_EXTENT_MAP);
David Sterba488f6732019-03-15 18:06:16 +0100152 return -ENOMEM;
David Sterba6c304742019-03-15 17:28:46 +0100153 }
Liu Bo72b28072018-01-05 12:51:12 -0700154
155 /* Add [0, 1K) */
156 em->start = 0;
157 em->len = SZ_1K;
158 em->block_start = EXTENT_MAP_INLINE;
159 em->block_len = (u64)-1;
David Sterba93ead462019-04-03 19:32:56 +0200160 write_lock(&em_tree->lock);
Liu Bo72b28072018-01-05 12:51:12 -0700161 ret = add_extent_mapping(em_tree, em, 0);
David Sterba93ead462019-04-03 19:32:56 +0200162 write_unlock(&em_tree->lock);
David Sterbae71f2e12019-03-15 18:41:06 +0100163 if (ret < 0) {
164 test_err("cannot add extent range [0, 1K)");
165 goto out;
166 }
Liu Bo72b28072018-01-05 12:51:12 -0700167 free_extent_map(em);
168
David Sterba3173fd922019-03-18 14:19:33 +0100169 /* Add [4K, 8K) following [0, 1K) */
Liu Bo72b28072018-01-05 12:51:12 -0700170 em = alloc_extent_map();
David Sterba488f6732019-03-15 18:06:16 +0100171 if (!em) {
David Sterba6c304742019-03-15 17:28:46 +0100172 test_std_err(TEST_ALLOC_EXTENT_MAP);
David Sterba488f6732019-03-15 18:06:16 +0100173 ret = -ENOMEM;
Liu Bo72b28072018-01-05 12:51:12 -0700174 goto out;
David Sterba488f6732019-03-15 18:06:16 +0100175 }
Liu Bo72b28072018-01-05 12:51:12 -0700176
177 em->start = SZ_4K;
178 em->len = SZ_4K;
179 em->block_start = SZ_4K;
180 em->block_len = SZ_4K;
David Sterba93ead462019-04-03 19:32:56 +0200181 write_lock(&em_tree->lock);
Liu Bo72b28072018-01-05 12:51:12 -0700182 ret = add_extent_mapping(em_tree, em, 0);
David Sterba93ead462019-04-03 19:32:56 +0200183 write_unlock(&em_tree->lock);
David Sterbae71f2e12019-03-15 18:41:06 +0100184 if (ret < 0) {
185 test_err("cannot add extent range [4K, 8K)");
186 goto out;
187 }
Liu Bo72b28072018-01-05 12:51:12 -0700188 free_extent_map(em);
189
190 em = alloc_extent_map();
David Sterba488f6732019-03-15 18:06:16 +0100191 if (!em) {
David Sterba6c304742019-03-15 17:28:46 +0100192 test_std_err(TEST_ALLOC_EXTENT_MAP);
David Sterba488f6732019-03-15 18:06:16 +0100193 ret = -ENOMEM;
Liu Bo72b28072018-01-05 12:51:12 -0700194 goto out;
David Sterba488f6732019-03-15 18:06:16 +0100195 }
Liu Bo72b28072018-01-05 12:51:12 -0700196
197 /* Add [0, 1K) */
198 em->start = 0;
199 em->len = SZ_1K;
200 em->block_start = EXTENT_MAP_INLINE;
201 em->block_len = (u64)-1;
David Sterba93ead462019-04-03 19:32:56 +0200202 write_lock(&em_tree->lock);
David Sterbaf46b24c2018-04-03 21:45:57 +0200203 ret = btrfs_add_extent_mapping(fs_info, em_tree, &em, em->start, em->len);
David Sterba93ead462019-04-03 19:32:56 +0200204 write_unlock(&em_tree->lock);
David Sterbae71f2e12019-03-15 18:41:06 +0100205 if (ret) {
David Sterba3c7251f2018-05-17 00:00:42 +0200206 test_err("case2 [0 1K]: ret %d", ret);
David Sterbae71f2e12019-03-15 18:41:06 +0100207 goto out;
208 }
Liu Bo72b28072018-01-05 12:51:12 -0700209 if (em &&
210 (em->start != 0 || extent_map_end(em) != SZ_1K ||
David Sterbae71f2e12019-03-15 18:41:06 +0100211 em->block_start != EXTENT_MAP_INLINE || em->block_len != (u64)-1)) {
David Sterba3c7251f2018-05-17 00:00:42 +0200212 test_err(
213"case2 [0 1K]: ret %d return a wrong em (start %llu len %llu block_start %llu block_len %llu",
Liu Bo72b28072018-01-05 12:51:12 -0700214 ret, em->start, em->len, em->block_start,
215 em->block_len);
David Sterbae71f2e12019-03-15 18:41:06 +0100216 ret = -EINVAL;
217 }
Liu Bo72b28072018-01-05 12:51:12 -0700218 free_extent_map(em);
219out:
Liu Bo72b28072018-01-05 12:51:12 -0700220 free_extent_map_tree(em_tree);
David Sterba488f6732019-03-15 18:06:16 +0100221
222 return ret;
Liu Bo72b28072018-01-05 12:51:12 -0700223}
224
David Sterba488f6732019-03-15 18:06:16 +0100225static int __test_case_3(struct btrfs_fs_info *fs_info,
David Sterba0e08eb92018-04-03 21:55:17 +0200226 struct extent_map_tree *em_tree, u64 start)
Liu Bofd87526f2018-01-05 12:51:13 -0700227{
228 struct extent_map *em;
229 u64 len = SZ_4K;
230 int ret;
231
232 em = alloc_extent_map();
David Sterba6c304742019-03-15 17:28:46 +0100233 if (!em) {
234 test_std_err(TEST_ALLOC_EXTENT_MAP);
David Sterba488f6732019-03-15 18:06:16 +0100235 return -ENOMEM;
David Sterba6c304742019-03-15 17:28:46 +0100236 }
Liu Bofd87526f2018-01-05 12:51:13 -0700237
238 /* Add [4K, 8K) */
239 em->start = SZ_4K;
240 em->len = SZ_4K;
241 em->block_start = SZ_4K;
242 em->block_len = SZ_4K;
David Sterba93ead462019-04-03 19:32:56 +0200243 write_lock(&em_tree->lock);
Liu Bofd87526f2018-01-05 12:51:13 -0700244 ret = add_extent_mapping(em_tree, em, 0);
David Sterba93ead462019-04-03 19:32:56 +0200245 write_unlock(&em_tree->lock);
David Sterba992dce72019-03-15 18:41:06 +0100246 if (ret < 0) {
247 test_err("cannot add extent range [4K, 8K)");
248 goto out;
249 }
Liu Bofd87526f2018-01-05 12:51:13 -0700250 free_extent_map(em);
251
252 em = alloc_extent_map();
David Sterba488f6732019-03-15 18:06:16 +0100253 if (!em) {
David Sterba6c304742019-03-15 17:28:46 +0100254 test_std_err(TEST_ALLOC_EXTENT_MAP);
David Sterba488f6732019-03-15 18:06:16 +0100255 ret = -ENOMEM;
Liu Bofd87526f2018-01-05 12:51:13 -0700256 goto out;
David Sterba488f6732019-03-15 18:06:16 +0100257 }
Liu Bofd87526f2018-01-05 12:51:13 -0700258
259 /* Add [0, 16K) */
260 em->start = 0;
261 em->len = SZ_16K;
262 em->block_start = 0;
263 em->block_len = SZ_16K;
David Sterba93ead462019-04-03 19:32:56 +0200264 write_lock(&em_tree->lock);
David Sterbaf46b24c2018-04-03 21:45:57 +0200265 ret = btrfs_add_extent_mapping(fs_info, em_tree, &em, start, len);
David Sterba93ead462019-04-03 19:32:56 +0200266 write_unlock(&em_tree->lock);
David Sterba992dce72019-03-15 18:41:06 +0100267 if (ret) {
David Sterba3c7251f2018-05-17 00:00:42 +0200268 test_err("case3 [0x%llx 0x%llx): ret %d",
Liu Bofd87526f2018-01-05 12:51:13 -0700269 start, start + len, ret);
David Sterba992dce72019-03-15 18:41:06 +0100270 goto out;
271 }
Liu Bofd87526f2018-01-05 12:51:13 -0700272 /*
273 * Since bytes within em are contiguous, em->block_start is identical to
274 * em->start.
275 */
276 if (em &&
277 (start < em->start || start + len > extent_map_end(em) ||
David Sterba992dce72019-03-15 18:41:06 +0100278 em->start != em->block_start || em->len != em->block_len)) {
David Sterba3c7251f2018-05-17 00:00:42 +0200279 test_err(
280"case3 [0x%llx 0x%llx): ret %d em (start 0x%llx len 0x%llx block_start 0x%llx block_len 0x%llx)",
Liu Bofd87526f2018-01-05 12:51:13 -0700281 start, start + len, ret, em->start, em->len,
282 em->block_start, em->block_len);
David Sterba992dce72019-03-15 18:41:06 +0100283 ret = -EINVAL;
284 }
Liu Bofd87526f2018-01-05 12:51:13 -0700285 free_extent_map(em);
286out:
Liu Bofd87526f2018-01-05 12:51:13 -0700287 free_extent_map_tree(em_tree);
David Sterba488f6732019-03-15 18:06:16 +0100288
289 return ret;
Liu Bofd87526f2018-01-05 12:51:13 -0700290}
291
292/*
293 * Test scenario:
294 *
295 * Suppose that no extent map has been loaded into memory yet.
296 * There is a file extent [0, 16K), two jobs are running concurrently
297 * against it, t1 is buffered writing to [4K, 8K) and t2 is doing dio
298 * read from [0, 4K) or [8K, 12K) or [12K, 16K).
299 *
300 * t1 goes ahead of t2 and adds em [4K, 8K) into tree.
301 *
302 * t1 t2
303 * cow_file_range() btrfs_get_extent()
304 * -> lookup_extent_mapping()
305 * -> add_extent_mapping()
306 * -> add_extent_mapping()
307 */
David Sterbaccfada12019-03-18 15:05:27 +0100308static int test_case_3(struct btrfs_fs_info *fs_info,
David Sterba0e08eb92018-04-03 21:55:17 +0200309 struct extent_map_tree *em_tree)
Liu Bofd87526f2018-01-05 12:51:13 -0700310{
David Sterbaccfada12019-03-18 15:05:27 +0100311 int ret;
312
313 ret = __test_case_3(fs_info, em_tree, 0);
314 if (ret)
315 return ret;
316 ret = __test_case_3(fs_info, em_tree, SZ_8K);
317 if (ret)
318 return ret;
David Sterba43f7cdd2019-03-18 14:14:35 +0100319 ret = __test_case_3(fs_info, em_tree, (12 * SZ_1K));
David Sterbaccfada12019-03-18 15:05:27 +0100320
321 return ret;
Liu Bofd87526f2018-01-05 12:51:13 -0700322}
323
David Sterba488f6732019-03-15 18:06:16 +0100324static int __test_case_4(struct btrfs_fs_info *fs_info,
David Sterba0e08eb92018-04-03 21:55:17 +0200325 struct extent_map_tree *em_tree, u64 start)
Liu Bocd77f4f2018-01-05 12:51:14 -0700326{
327 struct extent_map *em;
328 u64 len = SZ_4K;
329 int ret;
330
331 em = alloc_extent_map();
David Sterba6c304742019-03-15 17:28:46 +0100332 if (!em) {
333 test_std_err(TEST_ALLOC_EXTENT_MAP);
David Sterba488f6732019-03-15 18:06:16 +0100334 return -ENOMEM;
David Sterba6c304742019-03-15 17:28:46 +0100335 }
Liu Bocd77f4f2018-01-05 12:51:14 -0700336
337 /* Add [0K, 8K) */
338 em->start = 0;
339 em->len = SZ_8K;
340 em->block_start = 0;
341 em->block_len = SZ_8K;
David Sterba93ead462019-04-03 19:32:56 +0200342 write_lock(&em_tree->lock);
Liu Bocd77f4f2018-01-05 12:51:14 -0700343 ret = add_extent_mapping(em_tree, em, 0);
David Sterba93ead462019-04-03 19:32:56 +0200344 write_unlock(&em_tree->lock);
David Sterba7c6f6702019-03-15 18:41:06 +0100345 if (ret < 0) {
346 test_err("cannot add extent range [0, 8K)");
347 goto out;
348 }
Liu Bocd77f4f2018-01-05 12:51:14 -0700349 free_extent_map(em);
350
351 em = alloc_extent_map();
David Sterba488f6732019-03-15 18:06:16 +0100352 if (!em) {
David Sterba6c304742019-03-15 17:28:46 +0100353 test_std_err(TEST_ALLOC_EXTENT_MAP);
David Sterba488f6732019-03-15 18:06:16 +0100354 ret = -ENOMEM;
Liu Bocd77f4f2018-01-05 12:51:14 -0700355 goto out;
David Sterba488f6732019-03-15 18:06:16 +0100356 }
Liu Bocd77f4f2018-01-05 12:51:14 -0700357
David Sterba3173fd922019-03-18 14:19:33 +0100358 /* Add [8K, 32K) */
Liu Bocd77f4f2018-01-05 12:51:14 -0700359 em->start = SZ_8K;
David Sterba43f7cdd2019-03-18 14:14:35 +0100360 em->len = 24 * SZ_1K;
Liu Bocd77f4f2018-01-05 12:51:14 -0700361 em->block_start = SZ_16K; /* avoid merging */
David Sterba43f7cdd2019-03-18 14:14:35 +0100362 em->block_len = 24 * SZ_1K;
David Sterba93ead462019-04-03 19:32:56 +0200363 write_lock(&em_tree->lock);
Liu Bocd77f4f2018-01-05 12:51:14 -0700364 ret = add_extent_mapping(em_tree, em, 0);
David Sterba93ead462019-04-03 19:32:56 +0200365 write_unlock(&em_tree->lock);
David Sterba7c6f6702019-03-15 18:41:06 +0100366 if (ret < 0) {
367 test_err("cannot add extent range [8K, 32K)");
368 goto out;
369 }
Liu Bocd77f4f2018-01-05 12:51:14 -0700370 free_extent_map(em);
371
372 em = alloc_extent_map();
David Sterba488f6732019-03-15 18:06:16 +0100373 if (!em) {
David Sterba6c304742019-03-15 17:28:46 +0100374 test_std_err(TEST_ALLOC_EXTENT_MAP);
David Sterba488f6732019-03-15 18:06:16 +0100375 ret = -ENOMEM;
Liu Bocd77f4f2018-01-05 12:51:14 -0700376 goto out;
David Sterba488f6732019-03-15 18:06:16 +0100377 }
Liu Bocd77f4f2018-01-05 12:51:14 -0700378 /* Add [0K, 32K) */
379 em->start = 0;
380 em->len = SZ_32K;
381 em->block_start = 0;
382 em->block_len = SZ_32K;
David Sterba93ead462019-04-03 19:32:56 +0200383 write_lock(&em_tree->lock);
David Sterbaf46b24c2018-04-03 21:45:57 +0200384 ret = btrfs_add_extent_mapping(fs_info, em_tree, &em, start, len);
David Sterba93ead462019-04-03 19:32:56 +0200385 write_unlock(&em_tree->lock);
David Sterba7c6f6702019-03-15 18:41:06 +0100386 if (ret) {
David Sterba3c7251f2018-05-17 00:00:42 +0200387 test_err("case4 [0x%llx 0x%llx): ret %d",
Liu Bocd77f4f2018-01-05 12:51:14 -0700388 start, len, ret);
David Sterba7c6f6702019-03-15 18:41:06 +0100389 goto out;
390 }
391 if (em && (start < em->start || start + len > extent_map_end(em))) {
David Sterba3c7251f2018-05-17 00:00:42 +0200392 test_err(
393"case4 [0x%llx 0x%llx): ret %d, added wrong em (start 0x%llx len 0x%llx block_start 0x%llx block_len 0x%llx)",
Liu Bocd77f4f2018-01-05 12:51:14 -0700394 start, len, ret, em->start, em->len, em->block_start,
395 em->block_len);
David Sterba7c6f6702019-03-15 18:41:06 +0100396 ret = -EINVAL;
397 }
Liu Bocd77f4f2018-01-05 12:51:14 -0700398 free_extent_map(em);
399out:
Liu Bocd77f4f2018-01-05 12:51:14 -0700400 free_extent_map_tree(em_tree);
David Sterba488f6732019-03-15 18:06:16 +0100401
402 return ret;
Liu Bocd77f4f2018-01-05 12:51:14 -0700403}
404
405/*
406 * Test scenario:
407 *
408 * Suppose that no extent map has been loaded into memory yet.
409 * There is a file extent [0, 32K), two jobs are running concurrently
410 * against it, t1 is doing dio write to [8K, 32K) and t2 is doing dio
411 * read from [0, 4K) or [4K, 8K).
412 *
413 * t1 goes ahead of t2 and splits em [0, 32K) to em [0K, 8K) and [8K 32K).
414 *
415 * t1 t2
416 * btrfs_get_blocks_direct() btrfs_get_blocks_direct()
417 * -> btrfs_get_extent() -> btrfs_get_extent()
418 * -> lookup_extent_mapping()
419 * -> add_extent_mapping() -> lookup_extent_mapping()
420 * # load [0, 32K)
421 * -> btrfs_new_extent_direct()
422 * -> btrfs_drop_extent_cache()
423 * # split [0, 32K)
424 * -> add_extent_mapping()
425 * # add [8K, 32K)
426 * -> add_extent_mapping()
427 * # handle -EEXIST when adding
428 * # [0, 32K)
429 */
David Sterbaccfada12019-03-18 15:05:27 +0100430static int test_case_4(struct btrfs_fs_info *fs_info,
David Sterba0e08eb92018-04-03 21:55:17 +0200431 struct extent_map_tree *em_tree)
Liu Bocd77f4f2018-01-05 12:51:14 -0700432{
David Sterbaccfada12019-03-18 15:05:27 +0100433 int ret;
434
435 ret = __test_case_4(fs_info, em_tree, 0);
436 if (ret)
437 return ret;
438 ret = __test_case_4(fs_info, em_tree, SZ_4K);
439
440 return ret;
Liu Bocd77f4f2018-01-05 12:51:14 -0700441}
442
Nikolay Borisovbf2e2eb2019-12-10 20:00:45 +0200443struct rmap_test_vector {
444 u64 raid_type;
445 u64 physical_start;
446 u64 data_stripe_size;
447 u64 num_data_stripes;
448 u64 num_stripes;
449 /* Assume we won't have more than 5 physical stripes */
450 u64 data_stripe_phys_start[5];
451 bool expected_mapped_addr;
452 /* Physical to logical addresses */
453 u64 mapped_logical[5];
454};
455
456static int test_rmap_block(struct btrfs_fs_info *fs_info,
457 struct rmap_test_vector *test)
458{
459 struct extent_map *em;
460 struct map_lookup *map = NULL;
461 u64 *logical = NULL;
462 int i, out_ndaddrs, out_stripe_len;
463 int ret;
464
465 em = alloc_extent_map();
466 if (!em) {
467 test_std_err(TEST_ALLOC_EXTENT_MAP);
468 return -ENOMEM;
469 }
470
471 map = kmalloc(map_lookup_size(test->num_stripes), GFP_KERNEL);
472 if (!map) {
473 kfree(em);
474 test_std_err(TEST_ALLOC_EXTENT_MAP);
475 return -ENOMEM;
476 }
477
478 set_bit(EXTENT_FLAG_FS_MAPPING, &em->flags);
479 /* Start at 4GiB logical address */
480 em->start = SZ_4G;
481 em->len = test->data_stripe_size * test->num_data_stripes;
482 em->block_len = em->len;
483 em->orig_block_len = test->data_stripe_size;
484 em->map_lookup = map;
485
486 map->num_stripes = test->num_stripes;
487 map->stripe_len = BTRFS_STRIPE_LEN;
488 map->type = test->raid_type;
489
490 for (i = 0; i < map->num_stripes; i++) {
491 struct btrfs_device *dev = btrfs_alloc_dummy_device(fs_info);
492
493 if (IS_ERR(dev)) {
494 test_err("cannot allocate device");
495 ret = PTR_ERR(dev);
496 goto out;
497 }
498 map->stripes[i].dev = dev;
499 map->stripes[i].physical = test->data_stripe_phys_start[i];
500 }
501
502 write_lock(&fs_info->mapping_tree.lock);
503 ret = add_extent_mapping(&fs_info->mapping_tree, em, 0);
504 write_unlock(&fs_info->mapping_tree.lock);
505 if (ret) {
506 test_err("error adding block group mapping to mapping tree");
507 goto out_free;
508 }
509
510 ret = btrfs_rmap_block(fs_info, em->start, btrfs_sb_offset(1),
511 &logical, &out_ndaddrs, &out_stripe_len);
512 if (ret || (out_ndaddrs == 0 && test->expected_mapped_addr)) {
513 test_err("didn't rmap anything but expected %d",
514 test->expected_mapped_addr);
515 goto out;
516 }
517
518 if (out_stripe_len != BTRFS_STRIPE_LEN) {
519 test_err("calculated stripe length doesn't match");
520 goto out;
521 }
522
523 if (out_ndaddrs != test->expected_mapped_addr) {
524 for (i = 0; i < out_ndaddrs; i++)
525 test_msg("mapped %llu", logical[i]);
526 test_err("unexpected number of mapped addresses: %d", out_ndaddrs);
527 goto out;
528 }
529
530 for (i = 0; i < out_ndaddrs; i++) {
531 if (logical[i] != test->mapped_logical[i]) {
532 test_err("unexpected logical address mapped");
533 goto out;
534 }
535 }
536
537 ret = 0;
538out:
539 write_lock(&fs_info->mapping_tree.lock);
540 remove_extent_mapping(&fs_info->mapping_tree, em);
541 write_unlock(&fs_info->mapping_tree.lock);
542 /* For us */
543 free_extent_map(em);
544out_free:
545 /* For the tree */
546 free_extent_map(em);
547 kfree(logical);
548 return ret;
549}
550
Colin Ian King97dc2312018-01-08 23:06:32 +0000551int btrfs_test_extent_map(void)
Liu Bo72b28072018-01-05 12:51:12 -0700552{
David Sterba0e08eb92018-04-03 21:55:17 +0200553 struct btrfs_fs_info *fs_info = NULL;
Liu Bo72b28072018-01-05 12:51:12 -0700554 struct extent_map_tree *em_tree;
Nikolay Borisovbf2e2eb2019-12-10 20:00:45 +0200555 int ret = 0, i;
556 struct rmap_test_vector rmap_tests[] = {
557 {
558 /*
559 * Test a chunk with 2 data stripes one of which
560 * interesects the physical address of the super block
561 * is correctly recognised.
562 */
563 .raid_type = BTRFS_BLOCK_GROUP_RAID1,
564 .physical_start = SZ_64M - SZ_4M,
565 .data_stripe_size = SZ_256M,
566 .num_data_stripes = 2,
567 .num_stripes = 2,
568 .data_stripe_phys_start =
569 {SZ_64M - SZ_4M, SZ_64M - SZ_4M + SZ_256M},
570 .expected_mapped_addr = true,
571 .mapped_logical= {SZ_4G + SZ_4M}
572 },
573 {
574 /*
575 * Test that out-of-range physical addresses are
576 * ignored
577 */
578
579 /* SINGLE chunk type */
580 .raid_type = 0,
581 .physical_start = SZ_4G,
582 .data_stripe_size = SZ_256M,
583 .num_data_stripes = 1,
584 .num_stripes = 1,
585 .data_stripe_phys_start = {SZ_256M},
586 .expected_mapped_addr = false,
587 .mapped_logical = {0}
588 }
589 };
Liu Bo72b28072018-01-05 12:51:12 -0700590
David Sterba315b76b2018-05-17 00:00:44 +0200591 test_msg("running extent_map tests");
Liu Bo72b28072018-01-05 12:51:12 -0700592
David Sterba0e08eb92018-04-03 21:55:17 +0200593 /*
594 * Note: the fs_info is not set up completely, we only need
595 * fs_info::fsid for the tracepoint.
596 */
597 fs_info = btrfs_alloc_dummy_fs_info(PAGE_SIZE, PAGE_SIZE);
598 if (!fs_info) {
David Sterba37b2a7b2019-03-15 17:28:46 +0100599 test_std_err(TEST_ALLOC_FS_INFO);
David Sterba0e08eb92018-04-03 21:55:17 +0200600 return -ENOMEM;
601 }
602
Liu Bo72b28072018-01-05 12:51:12 -0700603 em_tree = kzalloc(sizeof(*em_tree), GFP_KERNEL);
David Sterba488f6732019-03-15 18:06:16 +0100604 if (!em_tree) {
605 ret = -ENOMEM;
David Sterba0e08eb92018-04-03 21:55:17 +0200606 goto out;
David Sterba488f6732019-03-15 18:06:16 +0100607 }
Liu Bo72b28072018-01-05 12:51:12 -0700608
609 extent_map_tree_init(em_tree);
610
David Sterbaccfada12019-03-18 15:05:27 +0100611 ret = test_case_1(fs_info, em_tree);
612 if (ret)
613 goto out;
614 ret = test_case_2(fs_info, em_tree);
615 if (ret)
616 goto out;
617 ret = test_case_3(fs_info, em_tree);
618 if (ret)
619 goto out;
620 ret = test_case_4(fs_info, em_tree);
Liu Bo72b28072018-01-05 12:51:12 -0700621
Nikolay Borisovbf2e2eb2019-12-10 20:00:45 +0200622 test_msg("running rmap tests");
623 for (i = 0; i < ARRAY_SIZE(rmap_tests); i++) {
624 ret = test_rmap_block(fs_info, &rmap_tests[i]);
625 if (ret)
626 goto out;
627 }
628
David Sterba0e08eb92018-04-03 21:55:17 +0200629out:
David Sterbaccfada12019-03-18 15:05:27 +0100630 kfree(em_tree);
David Sterba0e08eb92018-04-03 21:55:17 +0200631 btrfs_free_dummy_fs_info(fs_info);
632
David Sterba488f6732019-03-15 18:06:16 +0100633 return ret;
Liu Bo72b28072018-01-05 12:51:12 -0700634}