blob: 3221c8dee272f2bebe8afb705c725e7a8ed9b25f [file] [log] [blame]
Josef Bacikdc11dd52013-08-14 15:05:12 -04001/*
2 * Copyright (C) 2013 Fusion IO. All rights reserved.
3 *
4 * This program is free software; you can redistribute it and/or
5 * modify it under the terms of the GNU General Public
6 * License v2 as published by the Free Software Foundation.
7 *
8 * This program is distributed in the hope that it will be useful,
9 * but WITHOUT ANY WARRANTY; without even the implied warranty of
10 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
11 * General Public License for more details.
12 *
13 * You should have received a copy of the GNU General Public
14 * License along with this program; if not, write to the
15 * Free Software Foundation, Inc., 59 Temple Place - Suite 330,
16 * Boston, MA 021110-1307, USA.
17 */
18
19#include <linux/slab.h>
20#include "btrfs-tests.h"
21#include "../ctree.h"
Josef Bacikd0bd4562015-09-23 14:54:14 -040022#include "../disk-io.h"
Josef Bacikdc11dd52013-08-14 15:05:12 -040023#include "../free-space-cache.h"
24
Feifei Xu0ef64472016-06-01 19:18:24 +080025#define BITS_PER_BITMAP (PAGE_SIZE * 8UL)
Josef Bacikdc11dd52013-08-14 15:05:12 -040026
27/*
Nicholas D Steeves01327612016-05-19 21:18:45 -040028 * This test just does basic sanity checking, making sure we can add an extent
Josef Bacikdc11dd52013-08-14 15:05:12 -040029 * entry and remove space from either end and the middle, and make sure we can
30 * remove space that covers adjacent extent entries.
31 */
32static int test_extents(struct btrfs_block_group_cache *cache)
33{
34 int ret = 0;
35
36 test_msg("Running extent only tests\n");
37
38 /* First just make sure we can remove an entire entry */
Byongho Leeee221842015-12-15 01:42:10 +090039 ret = btrfs_add_free_space(cache, 0, SZ_4M);
Josef Bacikdc11dd52013-08-14 15:05:12 -040040 if (ret) {
41 test_msg("Error adding initial extents %d\n", ret);
42 return ret;
43 }
44
Byongho Leeee221842015-12-15 01:42:10 +090045 ret = btrfs_remove_free_space(cache, 0, SZ_4M);
Josef Bacikdc11dd52013-08-14 15:05:12 -040046 if (ret) {
47 test_msg("Error removing extent %d\n", ret);
48 return ret;
49 }
50
Byongho Leeee221842015-12-15 01:42:10 +090051 if (test_check_exists(cache, 0, SZ_4M)) {
Josef Bacikdc11dd52013-08-14 15:05:12 -040052 test_msg("Full remove left some lingering space\n");
53 return -1;
54 }
55
56 /* Ok edge and middle cases now */
Byongho Leeee221842015-12-15 01:42:10 +090057 ret = btrfs_add_free_space(cache, 0, SZ_4M);
Josef Bacikdc11dd52013-08-14 15:05:12 -040058 if (ret) {
59 test_msg("Error adding half extent %d\n", ret);
60 return ret;
61 }
62
Byongho Leeee221842015-12-15 01:42:10 +090063 ret = btrfs_remove_free_space(cache, 3 * SZ_1M, SZ_1M);
Josef Bacikdc11dd52013-08-14 15:05:12 -040064 if (ret) {
65 test_msg("Error removing tail end %d\n", ret);
66 return ret;
67 }
68
Byongho Leeee221842015-12-15 01:42:10 +090069 ret = btrfs_remove_free_space(cache, 0, SZ_1M);
Josef Bacikdc11dd52013-08-14 15:05:12 -040070 if (ret) {
71 test_msg("Error removing front end %d\n", ret);
72 return ret;
73 }
74
Byongho Leeee221842015-12-15 01:42:10 +090075 ret = btrfs_remove_free_space(cache, SZ_2M, 4096);
Josef Bacikdc11dd52013-08-14 15:05:12 -040076 if (ret) {
Masanari Iida77d84ff2013-12-09 00:22:53 +090077 test_msg("Error removing middle piece %d\n", ret);
Josef Bacikdc11dd52013-08-14 15:05:12 -040078 return ret;
79 }
80
Byongho Leeee221842015-12-15 01:42:10 +090081 if (test_check_exists(cache, 0, SZ_1M)) {
Josef Bacikdc11dd52013-08-14 15:05:12 -040082 test_msg("Still have space at the front\n");
83 return -1;
84 }
85
Byongho Leeee221842015-12-15 01:42:10 +090086 if (test_check_exists(cache, SZ_2M, 4096)) {
Josef Bacikdc11dd52013-08-14 15:05:12 -040087 test_msg("Still have space in the middle\n");
88 return -1;
89 }
90
Byongho Leeee221842015-12-15 01:42:10 +090091 if (test_check_exists(cache, 3 * SZ_1M, SZ_1M)) {
Josef Bacikdc11dd52013-08-14 15:05:12 -040092 test_msg("Still have space at the end\n");
93 return -1;
94 }
95
96 /* Cleanup */
97 __btrfs_remove_free_space_cache(cache->free_space_ctl);
98
99 return 0;
100}
101
Feifei Xub9ef22d2016-06-01 19:18:25 +0800102static int test_bitmaps(struct btrfs_block_group_cache *cache,
103 u32 sectorsize)
Josef Bacikdc11dd52013-08-14 15:05:12 -0400104{
105 u64 next_bitmap_offset;
106 int ret;
107
108 test_msg("Running bitmap only tests\n");
109
Byongho Leeee221842015-12-15 01:42:10 +0900110 ret = test_add_free_space_entry(cache, 0, SZ_4M, 1);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400111 if (ret) {
112 test_msg("Couldn't create a bitmap entry %d\n", ret);
113 return ret;
114 }
115
Byongho Leeee221842015-12-15 01:42:10 +0900116 ret = btrfs_remove_free_space(cache, 0, SZ_4M);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400117 if (ret) {
118 test_msg("Error removing bitmap full range %d\n", ret);
119 return ret;
120 }
121
Byongho Leeee221842015-12-15 01:42:10 +0900122 if (test_check_exists(cache, 0, SZ_4M)) {
Josef Bacikdc11dd52013-08-14 15:05:12 -0400123 test_msg("Left some space in bitmap\n");
124 return -1;
125 }
126
Byongho Leeee221842015-12-15 01:42:10 +0900127 ret = test_add_free_space_entry(cache, 0, SZ_4M, 1);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400128 if (ret) {
129 test_msg("Couldn't add to our bitmap entry %d\n", ret);
130 return ret;
131 }
132
Byongho Leeee221842015-12-15 01:42:10 +0900133 ret = btrfs_remove_free_space(cache, SZ_1M, SZ_2M);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400134 if (ret) {
135 test_msg("Couldn't remove middle chunk %d\n", ret);
136 return ret;
137 }
138
139 /*
140 * The first bitmap we have starts at offset 0 so the next one is just
141 * at the end of the first bitmap.
142 */
Feifei Xub9ef22d2016-06-01 19:18:25 +0800143 next_bitmap_offset = (u64)(BITS_PER_BITMAP * sectorsize);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400144
145 /* Test a bit straddling two bitmaps */
Byongho Leeee221842015-12-15 01:42:10 +0900146 ret = test_add_free_space_entry(cache, next_bitmap_offset - SZ_2M,
147 SZ_4M, 1);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400148 if (ret) {
149 test_msg("Couldn't add space that straddles two bitmaps %d\n",
150 ret);
151 return ret;
152 }
153
Byongho Leeee221842015-12-15 01:42:10 +0900154 ret = btrfs_remove_free_space(cache, next_bitmap_offset - SZ_1M, SZ_2M);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400155 if (ret) {
156 test_msg("Couldn't remove overlapping space %d\n", ret);
157 return ret;
158 }
159
Byongho Leeee221842015-12-15 01:42:10 +0900160 if (test_check_exists(cache, next_bitmap_offset - SZ_1M, SZ_2M)) {
Josef Bacikdc11dd52013-08-14 15:05:12 -0400161 test_msg("Left some space when removing overlapping\n");
162 return -1;
163 }
164
165 __btrfs_remove_free_space_cache(cache->free_space_ctl);
166
167 return 0;
168}
169
170/* This is the high grade jackassery */
Feifei Xub9ef22d2016-06-01 19:18:25 +0800171static int test_bitmaps_and_extents(struct btrfs_block_group_cache *cache,
172 u32 sectorsize)
Josef Bacikdc11dd52013-08-14 15:05:12 -0400173{
Feifei Xub9ef22d2016-06-01 19:18:25 +0800174 u64 bitmap_offset = (u64)(BITS_PER_BITMAP * sectorsize);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400175 int ret;
176
177 test_msg("Running bitmap and extent tests\n");
178
179 /*
180 * First let's do something simple, an extent at the same offset as the
181 * bitmap, but the free space completely in the extent and then
182 * completely in the bitmap.
183 */
Byongho Leeee221842015-12-15 01:42:10 +0900184 ret = test_add_free_space_entry(cache, SZ_4M, SZ_1M, 1);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400185 if (ret) {
186 test_msg("Couldn't create bitmap entry %d\n", ret);
187 return ret;
188 }
189
Byongho Leeee221842015-12-15 01:42:10 +0900190 ret = test_add_free_space_entry(cache, 0, SZ_1M, 0);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400191 if (ret) {
192 test_msg("Couldn't add extent entry %d\n", ret);
193 return ret;
194 }
195
Byongho Leeee221842015-12-15 01:42:10 +0900196 ret = btrfs_remove_free_space(cache, 0, SZ_1M);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400197 if (ret) {
198 test_msg("Couldn't remove extent entry %d\n", ret);
199 return ret;
200 }
201
Byongho Leeee221842015-12-15 01:42:10 +0900202 if (test_check_exists(cache, 0, SZ_1M)) {
Josef Bacikdc11dd52013-08-14 15:05:12 -0400203 test_msg("Left remnants after our remove\n");
204 return -1;
205 }
206
207 /* Now to add back the extent entry and remove from the bitmap */
Byongho Leeee221842015-12-15 01:42:10 +0900208 ret = test_add_free_space_entry(cache, 0, SZ_1M, 0);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400209 if (ret) {
210 test_msg("Couldn't re-add extent entry %d\n", ret);
211 return ret;
212 }
213
Byongho Leeee221842015-12-15 01:42:10 +0900214 ret = btrfs_remove_free_space(cache, SZ_4M, SZ_1M);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400215 if (ret) {
216 test_msg("Couldn't remove from bitmap %d\n", ret);
217 return ret;
218 }
219
Byongho Leeee221842015-12-15 01:42:10 +0900220 if (test_check_exists(cache, SZ_4M, SZ_1M)) {
Josef Bacikdc11dd52013-08-14 15:05:12 -0400221 test_msg("Left remnants in the bitmap\n");
222 return -1;
223 }
224
225 /*
226 * Ok so a little more evil, extent entry and bitmap at the same offset,
227 * removing an overlapping chunk.
228 */
Byongho Leeee221842015-12-15 01:42:10 +0900229 ret = test_add_free_space_entry(cache, SZ_1M, SZ_4M, 1);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400230 if (ret) {
231 test_msg("Couldn't add to a bitmap %d\n", ret);
232 return ret;
233 }
234
Byongho Leeee221842015-12-15 01:42:10 +0900235 ret = btrfs_remove_free_space(cache, SZ_512K, 3 * SZ_1M);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400236 if (ret) {
237 test_msg("Couldn't remove overlapping space %d\n", ret);
238 return ret;
239 }
240
Byongho Leeee221842015-12-15 01:42:10 +0900241 if (test_check_exists(cache, SZ_512K, 3 * SZ_1M)) {
Masanari Iida8faaaea2014-01-07 21:58:06 +0900242 test_msg("Left over pieces after removing overlapping\n");
Josef Bacikdc11dd52013-08-14 15:05:12 -0400243 return -1;
244 }
245
246 __btrfs_remove_free_space_cache(cache->free_space_ctl);
247
248 /* Now with the extent entry offset into the bitmap */
Byongho Leeee221842015-12-15 01:42:10 +0900249 ret = test_add_free_space_entry(cache, SZ_4M, SZ_4M, 1);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400250 if (ret) {
251 test_msg("Couldn't add space to the bitmap %d\n", ret);
252 return ret;
253 }
254
Byongho Leeee221842015-12-15 01:42:10 +0900255 ret = test_add_free_space_entry(cache, SZ_2M, SZ_2M, 0);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400256 if (ret) {
257 test_msg("Couldn't add extent to the cache %d\n", ret);
258 return ret;
259 }
260
Byongho Leeee221842015-12-15 01:42:10 +0900261 ret = btrfs_remove_free_space(cache, 3 * SZ_1M, SZ_4M);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400262 if (ret) {
263 test_msg("Problem removing overlapping space %d\n", ret);
264 return ret;
265 }
266
Byongho Leeee221842015-12-15 01:42:10 +0900267 if (test_check_exists(cache, 3 * SZ_1M, SZ_4M)) {
Josef Bacikdc11dd52013-08-14 15:05:12 -0400268 test_msg("Left something behind when removing space");
269 return -1;
270 }
271
272 /*
273 * This has blown up in the past, the extent entry starts before the
274 * bitmap entry, but we're trying to remove an offset that falls
275 * completely within the bitmap range and is in both the extent entry
276 * and the bitmap entry, looks like this
277 *
278 * [ extent ]
279 * [ bitmap ]
280 * [ del ]
281 */
282 __btrfs_remove_free_space_cache(cache->free_space_ctl);
Byongho Leeee221842015-12-15 01:42:10 +0900283 ret = test_add_free_space_entry(cache, bitmap_offset + SZ_4M, SZ_4M, 1);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400284 if (ret) {
285 test_msg("Couldn't add bitmap %d\n", ret);
286 return ret;
287 }
288
Byongho Leeee221842015-12-15 01:42:10 +0900289 ret = test_add_free_space_entry(cache, bitmap_offset - SZ_1M,
290 5 * SZ_1M, 0);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400291 if (ret) {
292 test_msg("Couldn't add extent entry %d\n", ret);
293 return ret;
294 }
295
Byongho Leeee221842015-12-15 01:42:10 +0900296 ret = btrfs_remove_free_space(cache, bitmap_offset + SZ_1M, 5 * SZ_1M);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400297 if (ret) {
298 test_msg("Failed to free our space %d\n", ret);
299 return ret;
300 }
301
Byongho Leeee221842015-12-15 01:42:10 +0900302 if (test_check_exists(cache, bitmap_offset + SZ_1M, 5 * SZ_1M)) {
Josef Bacikdc11dd52013-08-14 15:05:12 -0400303 test_msg("Left stuff over\n");
304 return -1;
305 }
306
307 __btrfs_remove_free_space_cache(cache->free_space_ctl);
308
309 /*
310 * This blew up before, we have part of the free space in a bitmap and
311 * then the entirety of the rest of the space in an extent. This used
312 * to return -EAGAIN back from btrfs_remove_extent, make sure this
313 * doesn't happen.
314 */
Byongho Leeee221842015-12-15 01:42:10 +0900315 ret = test_add_free_space_entry(cache, SZ_1M, SZ_2M, 1);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400316 if (ret) {
317 test_msg("Couldn't add bitmap entry %d\n", ret);
318 return ret;
319 }
320
Byongho Leeee221842015-12-15 01:42:10 +0900321 ret = test_add_free_space_entry(cache, 3 * SZ_1M, SZ_1M, 0);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400322 if (ret) {
323 test_msg("Couldn't add extent entry %d\n", ret);
324 return ret;
325 }
326
Byongho Leeee221842015-12-15 01:42:10 +0900327 ret = btrfs_remove_free_space(cache, SZ_1M, 3 * SZ_1M);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400328 if (ret) {
329 test_msg("Error removing bitmap and extent overlapping %d\n", ret);
330 return ret;
331 }
332
333 __btrfs_remove_free_space_cache(cache->free_space_ctl);
334 return 0;
335}
336
Filipe Manana20005522014-08-29 13:35:13 +0100337/* Used by test_steal_space_from_bitmap_to_extent(). */
338static bool test_use_bitmap(struct btrfs_free_space_ctl *ctl,
339 struct btrfs_free_space *info)
340{
341 return ctl->free_extents > 0;
342}
343
344/* Used by test_steal_space_from_bitmap_to_extent(). */
345static int
346check_num_extents_and_bitmaps(const struct btrfs_block_group_cache *cache,
347 const int num_extents,
348 const int num_bitmaps)
349{
350 if (cache->free_space_ctl->free_extents != num_extents) {
351 test_msg("Incorrect # of extent entries in the cache: %d, expected %d\n",
352 cache->free_space_ctl->free_extents, num_extents);
353 return -EINVAL;
354 }
355 if (cache->free_space_ctl->total_bitmaps != num_bitmaps) {
356 test_msg("Incorrect # of extent entries in the cache: %d, expected %d\n",
357 cache->free_space_ctl->total_bitmaps, num_bitmaps);
358 return -EINVAL;
359 }
360 return 0;
361}
362
363/* Used by test_steal_space_from_bitmap_to_extent(). */
364static int check_cache_empty(struct btrfs_block_group_cache *cache)
365{
366 u64 offset;
367 u64 max_extent_size;
368
369 /*
370 * Now lets confirm that there's absolutely no free space left to
371 * allocate.
372 */
373 if (cache->free_space_ctl->free_space != 0) {
374 test_msg("Cache free space is not 0\n");
375 return -EINVAL;
376 }
377
378 /* And any allocation request, no matter how small, should fail now. */
379 offset = btrfs_find_space_for_alloc(cache, 0, 4096, 0,
380 &max_extent_size);
381 if (offset != 0) {
382 test_msg("Space allocation did not fail, returned offset: %llu",
383 offset);
384 return -EINVAL;
385 }
386
387 /* And no extent nor bitmap entries in the cache anymore. */
388 return check_num_extents_and_bitmaps(cache, 0, 0);
389}
390
391/*
392 * Before we were able to steal free space from a bitmap entry to an extent
393 * entry, we could end up with 2 entries representing a contiguous free space.
394 * One would be an extent entry and the other a bitmap entry. Since in order
395 * to allocate space to a caller we use only 1 entry, we couldn't return that
396 * whole range to the caller if it was requested. This forced the caller to
397 * either assume ENOSPC or perform several smaller space allocations, which
398 * wasn't optimal as they could be spread all over the block group while under
399 * concurrency (extra overhead and fragmentation).
400 *
Nicholas D Steeves01327612016-05-19 21:18:45 -0400401 * This stealing approach is beneficial, since we always prefer to allocate
402 * from extent entries, both for clustered and non-clustered allocation
403 * requests.
Filipe Manana20005522014-08-29 13:35:13 +0100404 */
405static int
Feifei Xub9ef22d2016-06-01 19:18:25 +0800406test_steal_space_from_bitmap_to_extent(struct btrfs_block_group_cache *cache,
407 u32 sectorsize)
Filipe Manana20005522014-08-29 13:35:13 +0100408{
409 int ret;
410 u64 offset;
411 u64 max_extent_size;
David Sterba20e55062015-11-19 11:42:28 +0100412 const struct btrfs_free_space_op test_free_space_ops = {
David Sterba28f07792015-11-19 11:42:24 +0100413 .recalc_thresholds = cache->free_space_ctl->op->recalc_thresholds,
414 .use_bitmap = test_use_bitmap,
415 };
David Sterba20e55062015-11-19 11:42:28 +0100416 const struct btrfs_free_space_op *orig_free_space_ops;
Filipe Manana20005522014-08-29 13:35:13 +0100417
418 test_msg("Running space stealing from bitmap to extent\n");
419
420 /*
421 * For this test, we want to ensure we end up with an extent entry
422 * immediately adjacent to a bitmap entry, where the bitmap starts
423 * at an offset where the extent entry ends. We keep adding and
424 * removing free space to reach into this state, but to get there
425 * we need to reach a point where marking new free space doesn't
426 * result in adding new extent entries or merging the new space
427 * with existing extent entries - the space ends up being marked
428 * in an existing bitmap that covers the new free space range.
429 *
430 * To get there, we need to reach the threshold defined set at
431 * cache->free_space_ctl->extents_thresh, which currently is
432 * 256 extents on a x86_64 system at least, and a few other
433 * conditions (check free_space_cache.c). Instead of making the
434 * test much longer and complicated, use a "use_bitmap" operation
435 * that forces use of bitmaps as soon as we have at least 1
436 * extent entry.
437 */
David Sterba28f07792015-11-19 11:42:24 +0100438 orig_free_space_ops = cache->free_space_ctl->op;
439 cache->free_space_ctl->op = &test_free_space_ops;
Filipe Manana20005522014-08-29 13:35:13 +0100440
441 /*
442 * Extent entry covering free space range [128Mb - 256Kb, 128Mb - 128Kb[
443 */
Byongho Leeee221842015-12-15 01:42:10 +0900444 ret = test_add_free_space_entry(cache, SZ_128M - SZ_256K, SZ_128K, 0);
Filipe Manana20005522014-08-29 13:35:13 +0100445 if (ret) {
446 test_msg("Couldn't add extent entry %d\n", ret);
447 return ret;
448 }
449
450 /* Bitmap entry covering free space range [128Mb + 512Kb, 256Mb[ */
Byongho Leeee221842015-12-15 01:42:10 +0900451 ret = test_add_free_space_entry(cache, SZ_128M + SZ_512K,
452 SZ_128M - SZ_512K, 1);
Filipe Manana20005522014-08-29 13:35:13 +0100453 if (ret) {
454 test_msg("Couldn't add bitmap entry %d\n", ret);
455 return ret;
456 }
457
458 ret = check_num_extents_and_bitmaps(cache, 2, 1);
459 if (ret)
460 return ret;
461
462 /*
463 * Now make only the first 256Kb of the bitmap marked as free, so that
464 * we end up with only the following ranges marked as free space:
465 *
466 * [128Mb - 256Kb, 128Mb - 128Kb[
467 * [128Mb + 512Kb, 128Mb + 768Kb[
468 */
469 ret = btrfs_remove_free_space(cache,
Byongho Leeee221842015-12-15 01:42:10 +0900470 SZ_128M + 768 * SZ_1K,
471 SZ_128M - 768 * SZ_1K);
Filipe Manana20005522014-08-29 13:35:13 +0100472 if (ret) {
473 test_msg("Failed to free part of bitmap space %d\n", ret);
474 return ret;
475 }
476
477 /* Confirm that only those 2 ranges are marked as free. */
Byongho Leeee221842015-12-15 01:42:10 +0900478 if (!test_check_exists(cache, SZ_128M - SZ_256K, SZ_128K)) {
Filipe Manana20005522014-08-29 13:35:13 +0100479 test_msg("Free space range missing\n");
480 return -ENOENT;
481 }
Byongho Leeee221842015-12-15 01:42:10 +0900482 if (!test_check_exists(cache, SZ_128M + SZ_512K, SZ_256K)) {
Filipe Manana20005522014-08-29 13:35:13 +0100483 test_msg("Free space range missing\n");
484 return -ENOENT;
485 }
486
487 /*
488 * Confirm that the bitmap range [128Mb + 768Kb, 256Mb[ isn't marked
489 * as free anymore.
490 */
Byongho Leeee221842015-12-15 01:42:10 +0900491 if (test_check_exists(cache, SZ_128M + 768 * SZ_1K,
492 SZ_128M - 768 * SZ_1K)) {
Filipe Manana20005522014-08-29 13:35:13 +0100493 test_msg("Bitmap region not removed from space cache\n");
494 return -EINVAL;
495 }
496
497 /*
498 * Confirm that the region [128Mb + 256Kb, 128Mb + 512Kb[, which is
499 * covered by the bitmap, isn't marked as free.
500 */
Byongho Leeee221842015-12-15 01:42:10 +0900501 if (test_check_exists(cache, SZ_128M + SZ_256K, SZ_256K)) {
Filipe Manana20005522014-08-29 13:35:13 +0100502 test_msg("Invalid bitmap region marked as free\n");
503 return -EINVAL;
504 }
505
506 /*
507 * Confirm that the region [128Mb, 128Mb + 256Kb[, which is covered
508 * by the bitmap too, isn't marked as free either.
509 */
Byongho Leeee221842015-12-15 01:42:10 +0900510 if (test_check_exists(cache, SZ_128M, SZ_256K)) {
Filipe Manana20005522014-08-29 13:35:13 +0100511 test_msg("Invalid bitmap region marked as free\n");
512 return -EINVAL;
513 }
514
515 /*
516 * Now lets mark the region [128Mb, 128Mb + 512Kb[ as free too. But,
517 * lets make sure the free space cache marks it as free in the bitmap,
518 * and doesn't insert a new extent entry to represent this region.
519 */
Byongho Leeee221842015-12-15 01:42:10 +0900520 ret = btrfs_add_free_space(cache, SZ_128M, SZ_512K);
Filipe Manana20005522014-08-29 13:35:13 +0100521 if (ret) {
522 test_msg("Error adding free space: %d\n", ret);
523 return ret;
524 }
525 /* Confirm the region is marked as free. */
Byongho Leeee221842015-12-15 01:42:10 +0900526 if (!test_check_exists(cache, SZ_128M, SZ_512K)) {
Filipe Manana20005522014-08-29 13:35:13 +0100527 test_msg("Bitmap region not marked as free\n");
528 return -ENOENT;
529 }
530
531 /*
532 * Confirm that no new extent entries or bitmap entries were added to
533 * the cache after adding that free space region.
534 */
535 ret = check_num_extents_and_bitmaps(cache, 2, 1);
536 if (ret)
537 return ret;
538
539 /*
540 * Now lets add a small free space region to the right of the previous
541 * one, which is not contiguous with it and is part of the bitmap too.
542 * The goal is to test that the bitmap entry space stealing doesn't
543 * steal this space region.
544 */
Feifei Xub9ef22d2016-06-01 19:18:25 +0800545 ret = btrfs_add_free_space(cache, SZ_128M + SZ_16M, sectorsize);
Filipe Manana20005522014-08-29 13:35:13 +0100546 if (ret) {
547 test_msg("Error adding free space: %d\n", ret);
548 return ret;
549 }
550
551 /*
552 * Confirm that no new extent entries or bitmap entries were added to
553 * the cache after adding that free space region.
554 */
555 ret = check_num_extents_and_bitmaps(cache, 2, 1);
556 if (ret)
557 return ret;
558
559 /*
560 * Now mark the region [128Mb - 128Kb, 128Mb[ as free too. This will
561 * expand the range covered by the existing extent entry that represents
562 * the free space [128Mb - 256Kb, 128Mb - 128Kb[.
563 */
Byongho Leeee221842015-12-15 01:42:10 +0900564 ret = btrfs_add_free_space(cache, SZ_128M - SZ_128K, SZ_128K);
Filipe Manana20005522014-08-29 13:35:13 +0100565 if (ret) {
566 test_msg("Error adding free space: %d\n", ret);
567 return ret;
568 }
569 /* Confirm the region is marked as free. */
Byongho Leeee221842015-12-15 01:42:10 +0900570 if (!test_check_exists(cache, SZ_128M - SZ_128K, SZ_128K)) {
Filipe Manana20005522014-08-29 13:35:13 +0100571 test_msg("Extent region not marked as free\n");
572 return -ENOENT;
573 }
574
575 /*
576 * Confirm that our extent entry didn't stole all free space from the
577 * bitmap, because of the small 4Kb free space region.
578 */
579 ret = check_num_extents_and_bitmaps(cache, 2, 1);
580 if (ret)
581 return ret;
582
583 /*
584 * So now we have the range [128Mb - 256Kb, 128Mb + 768Kb[ as free
585 * space. Without stealing bitmap free space into extent entry space,
586 * we would have all this free space represented by 2 entries in the
587 * cache:
588 *
589 * extent entry covering range: [128Mb - 256Kb, 128Mb[
590 * bitmap entry covering range: [128Mb, 128Mb + 768Kb[
591 *
592 * Attempting to allocate the whole free space (1Mb) would fail, because
593 * we can't allocate from multiple entries.
594 * With the bitmap free space stealing, we get a single extent entry
595 * that represents the 1Mb free space, and therefore we're able to
596 * allocate the whole free space at once.
597 */
Byongho Leeee221842015-12-15 01:42:10 +0900598 if (!test_check_exists(cache, SZ_128M - SZ_256K, SZ_1M)) {
Filipe Manana20005522014-08-29 13:35:13 +0100599 test_msg("Expected region not marked as free\n");
600 return -ENOENT;
601 }
602
Feifei Xub9ef22d2016-06-01 19:18:25 +0800603 if (cache->free_space_ctl->free_space != (SZ_1M + sectorsize)) {
604 test_msg("Cache free space is not 1Mb + %u\n", sectorsize);
Filipe Manana20005522014-08-29 13:35:13 +0100605 return -EINVAL;
606 }
607
608 offset = btrfs_find_space_for_alloc(cache,
Byongho Leeee221842015-12-15 01:42:10 +0900609 0, SZ_1M, 0,
Filipe Manana20005522014-08-29 13:35:13 +0100610 &max_extent_size);
Byongho Leeee221842015-12-15 01:42:10 +0900611 if (offset != (SZ_128M - SZ_256K)) {
Filipe Manana20005522014-08-29 13:35:13 +0100612 test_msg("Failed to allocate 1Mb from space cache, returned offset is: %llu\n",
613 offset);
614 return -EINVAL;
615 }
616
Feifei Xub9ef22d2016-06-01 19:18:25 +0800617 /*
618 * All that remains is a sectorsize free space region in a bitmap.
619 * Confirm.
620 */
Filipe Manana20005522014-08-29 13:35:13 +0100621 ret = check_num_extents_and_bitmaps(cache, 1, 1);
622 if (ret)
623 return ret;
624
Feifei Xub9ef22d2016-06-01 19:18:25 +0800625 if (cache->free_space_ctl->free_space != sectorsize) {
626 test_msg("Cache free space is not %u\n", sectorsize);
Filipe Manana20005522014-08-29 13:35:13 +0100627 return -EINVAL;
628 }
629
630 offset = btrfs_find_space_for_alloc(cache,
Feifei Xub9ef22d2016-06-01 19:18:25 +0800631 0, sectorsize, 0,
Filipe Manana20005522014-08-29 13:35:13 +0100632 &max_extent_size);
Byongho Leeee221842015-12-15 01:42:10 +0900633 if (offset != (SZ_128M + SZ_16M)) {
Feifei Xub9ef22d2016-06-01 19:18:25 +0800634 test_msg("Failed to allocate %u, returned offset : %llu\n",
635 sectorsize, offset);
Filipe Manana20005522014-08-29 13:35:13 +0100636 return -EINVAL;
637 }
638
639 ret = check_cache_empty(cache);
640 if (ret)
641 return ret;
642
643 __btrfs_remove_free_space_cache(cache->free_space_ctl);
644
645 /*
646 * Now test a similar scenario, but where our extent entry is located
647 * to the right of the bitmap entry, so that we can check that stealing
648 * space from a bitmap to the front of an extent entry works.
649 */
650
651 /*
652 * Extent entry covering free space range [128Mb + 128Kb, 128Mb + 256Kb[
653 */
Byongho Leeee221842015-12-15 01:42:10 +0900654 ret = test_add_free_space_entry(cache, SZ_128M + SZ_128K, SZ_128K, 0);
Filipe Manana20005522014-08-29 13:35:13 +0100655 if (ret) {
656 test_msg("Couldn't add extent entry %d\n", ret);
657 return ret;
658 }
659
660 /* Bitmap entry covering free space range [0, 128Mb - 512Kb[ */
Byongho Leeee221842015-12-15 01:42:10 +0900661 ret = test_add_free_space_entry(cache, 0, SZ_128M - SZ_512K, 1);
Filipe Manana20005522014-08-29 13:35:13 +0100662 if (ret) {
663 test_msg("Couldn't add bitmap entry %d\n", ret);
664 return ret;
665 }
666
667 ret = check_num_extents_and_bitmaps(cache, 2, 1);
668 if (ret)
669 return ret;
670
671 /*
672 * Now make only the last 256Kb of the bitmap marked as free, so that
673 * we end up with only the following ranges marked as free space:
674 *
675 * [128Mb + 128b, 128Mb + 256Kb[
676 * [128Mb - 768Kb, 128Mb - 512Kb[
677 */
Byongho Leeee221842015-12-15 01:42:10 +0900678 ret = btrfs_remove_free_space(cache, 0, SZ_128M - 768 * SZ_1K);
Filipe Manana20005522014-08-29 13:35:13 +0100679 if (ret) {
680 test_msg("Failed to free part of bitmap space %d\n", ret);
681 return ret;
682 }
683
684 /* Confirm that only those 2 ranges are marked as free. */
Byongho Leeee221842015-12-15 01:42:10 +0900685 if (!test_check_exists(cache, SZ_128M + SZ_128K, SZ_128K)) {
Filipe Manana20005522014-08-29 13:35:13 +0100686 test_msg("Free space range missing\n");
687 return -ENOENT;
688 }
Byongho Leeee221842015-12-15 01:42:10 +0900689 if (!test_check_exists(cache, SZ_128M - 768 * SZ_1K, SZ_256K)) {
Filipe Manana20005522014-08-29 13:35:13 +0100690 test_msg("Free space range missing\n");
691 return -ENOENT;
692 }
693
694 /*
695 * Confirm that the bitmap range [0, 128Mb - 768Kb[ isn't marked
696 * as free anymore.
697 */
Byongho Leeee221842015-12-15 01:42:10 +0900698 if (test_check_exists(cache, 0, SZ_128M - 768 * SZ_1K)) {
Filipe Manana20005522014-08-29 13:35:13 +0100699 test_msg("Bitmap region not removed from space cache\n");
700 return -EINVAL;
701 }
702
703 /*
704 * Confirm that the region [128Mb - 512Kb, 128Mb[, which is
705 * covered by the bitmap, isn't marked as free.
706 */
Byongho Leeee221842015-12-15 01:42:10 +0900707 if (test_check_exists(cache, SZ_128M - SZ_512K, SZ_512K)) {
Filipe Manana20005522014-08-29 13:35:13 +0100708 test_msg("Invalid bitmap region marked as free\n");
709 return -EINVAL;
710 }
711
712 /*
713 * Now lets mark the region [128Mb - 512Kb, 128Mb[ as free too. But,
714 * lets make sure the free space cache marks it as free in the bitmap,
715 * and doesn't insert a new extent entry to represent this region.
716 */
Byongho Leeee221842015-12-15 01:42:10 +0900717 ret = btrfs_add_free_space(cache, SZ_128M - SZ_512K, SZ_512K);
Filipe Manana20005522014-08-29 13:35:13 +0100718 if (ret) {
719 test_msg("Error adding free space: %d\n", ret);
720 return ret;
721 }
722 /* Confirm the region is marked as free. */
Byongho Leeee221842015-12-15 01:42:10 +0900723 if (!test_check_exists(cache, SZ_128M - SZ_512K, SZ_512K)) {
Filipe Manana20005522014-08-29 13:35:13 +0100724 test_msg("Bitmap region not marked as free\n");
725 return -ENOENT;
726 }
727
728 /*
729 * Confirm that no new extent entries or bitmap entries were added to
730 * the cache after adding that free space region.
731 */
732 ret = check_num_extents_and_bitmaps(cache, 2, 1);
733 if (ret)
734 return ret;
735
736 /*
737 * Now lets add a small free space region to the left of the previous
738 * one, which is not contiguous with it and is part of the bitmap too.
739 * The goal is to test that the bitmap entry space stealing doesn't
740 * steal this space region.
741 */
Feifei Xub9ef22d2016-06-01 19:18:25 +0800742 ret = btrfs_add_free_space(cache, SZ_32M, 2 * sectorsize);
Filipe Manana20005522014-08-29 13:35:13 +0100743 if (ret) {
744 test_msg("Error adding free space: %d\n", ret);
745 return ret;
746 }
747
748 /*
749 * Now mark the region [128Mb, 128Mb + 128Kb[ as free too. This will
750 * expand the range covered by the existing extent entry that represents
751 * the free space [128Mb + 128Kb, 128Mb + 256Kb[.
752 */
Byongho Leeee221842015-12-15 01:42:10 +0900753 ret = btrfs_add_free_space(cache, SZ_128M, SZ_128K);
Filipe Manana20005522014-08-29 13:35:13 +0100754 if (ret) {
755 test_msg("Error adding free space: %d\n", ret);
756 return ret;
757 }
758 /* Confirm the region is marked as free. */
Byongho Leeee221842015-12-15 01:42:10 +0900759 if (!test_check_exists(cache, SZ_128M, SZ_128K)) {
Filipe Manana20005522014-08-29 13:35:13 +0100760 test_msg("Extent region not marked as free\n");
761 return -ENOENT;
762 }
763
764 /*
765 * Confirm that our extent entry didn't stole all free space from the
Feifei Xub9ef22d2016-06-01 19:18:25 +0800766 * bitmap, because of the small 2 * sectorsize free space region.
Filipe Manana20005522014-08-29 13:35:13 +0100767 */
768 ret = check_num_extents_and_bitmaps(cache, 2, 1);
769 if (ret)
770 return ret;
771
772 /*
773 * So now we have the range [128Mb - 768Kb, 128Mb + 256Kb[ as free
774 * space. Without stealing bitmap free space into extent entry space,
775 * we would have all this free space represented by 2 entries in the
776 * cache:
777 *
778 * extent entry covering range: [128Mb, 128Mb + 256Kb[
779 * bitmap entry covering range: [128Mb - 768Kb, 128Mb[
780 *
781 * Attempting to allocate the whole free space (1Mb) would fail, because
782 * we can't allocate from multiple entries.
783 * With the bitmap free space stealing, we get a single extent entry
784 * that represents the 1Mb free space, and therefore we're able to
785 * allocate the whole free space at once.
786 */
Byongho Leeee221842015-12-15 01:42:10 +0900787 if (!test_check_exists(cache, SZ_128M - 768 * SZ_1K, SZ_1M)) {
Filipe Manana20005522014-08-29 13:35:13 +0100788 test_msg("Expected region not marked as free\n");
789 return -ENOENT;
790 }
791
Feifei Xub9ef22d2016-06-01 19:18:25 +0800792 if (cache->free_space_ctl->free_space != (SZ_1M + 2 * sectorsize)) {
793 test_msg("Cache free space is not 1Mb + %u\n", 2 * sectorsize);
Filipe Manana20005522014-08-29 13:35:13 +0100794 return -EINVAL;
795 }
796
Byongho Leeee221842015-12-15 01:42:10 +0900797 offset = btrfs_find_space_for_alloc(cache, 0, SZ_1M, 0,
Filipe Manana20005522014-08-29 13:35:13 +0100798 &max_extent_size);
Byongho Leeee221842015-12-15 01:42:10 +0900799 if (offset != (SZ_128M - 768 * SZ_1K)) {
Filipe Manana20005522014-08-29 13:35:13 +0100800 test_msg("Failed to allocate 1Mb from space cache, returned offset is: %llu\n",
801 offset);
802 return -EINVAL;
803 }
804
Feifei Xub9ef22d2016-06-01 19:18:25 +0800805 /*
806 * All that remains is 2 * sectorsize free space region
807 * in a bitmap. Confirm.
808 */
Filipe Manana20005522014-08-29 13:35:13 +0100809 ret = check_num_extents_and_bitmaps(cache, 1, 1);
810 if (ret)
811 return ret;
812
Feifei Xub9ef22d2016-06-01 19:18:25 +0800813 if (cache->free_space_ctl->free_space != 2 * sectorsize) {
814 test_msg("Cache free space is not %u\n", 2 * sectorsize);
Filipe Manana20005522014-08-29 13:35:13 +0100815 return -EINVAL;
816 }
817
818 offset = btrfs_find_space_for_alloc(cache,
Feifei Xub9ef22d2016-06-01 19:18:25 +0800819 0, 2 * sectorsize, 0,
Filipe Manana20005522014-08-29 13:35:13 +0100820 &max_extent_size);
Byongho Leeee221842015-12-15 01:42:10 +0900821 if (offset != SZ_32M) {
Feifei Xub9ef22d2016-06-01 19:18:25 +0800822 test_msg("Failed to allocate %u, offset: %llu\n",
823 2 * sectorsize,
Filipe Manana20005522014-08-29 13:35:13 +0100824 offset);
825 return -EINVAL;
826 }
827
828 ret = check_cache_empty(cache);
829 if (ret)
830 return ret;
831
David Sterba28f07792015-11-19 11:42:24 +0100832 cache->free_space_ctl->op = orig_free_space_ops;
Filipe Manana20005522014-08-29 13:35:13 +0100833 __btrfs_remove_free_space_cache(cache->free_space_ctl);
834
835 return 0;
836}
837
Feifei Xub9ef22d2016-06-01 19:18:25 +0800838int btrfs_test_free_space_cache(u32 sectorsize, u32 nodesize)
Josef Bacikdc11dd52013-08-14 15:05:12 -0400839{
Jeff Mahoney7c0260e2016-06-20 14:14:09 -0400840 struct btrfs_fs_info *fs_info;
Josef Bacikdc11dd52013-08-14 15:05:12 -0400841 struct btrfs_block_group_cache *cache;
Josef Bacikd0bd4562015-09-23 14:54:14 -0400842 struct btrfs_root *root = NULL;
843 int ret = -ENOMEM;
Josef Bacikdc11dd52013-08-14 15:05:12 -0400844
845 test_msg("Running btrfs free space cache tests\n");
846
Feifei Xu36b3dc02016-06-01 19:18:29 +0800847 /*
848 * For ppc64 (with 64k page size), bytes per bitmap might be
849 * larger than 1G. To make bitmap test available in ppc64,
850 * alloc dummy block group whose size cross bitmaps.
851 */
852 cache = btrfs_alloc_dummy_block_group(BITS_PER_BITMAP * sectorsize
853 + PAGE_SIZE, sectorsize);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400854 if (!cache) {
855 test_msg("Couldn't run the tests\n");
856 return 0;
857 }
858
Jeff Mahoney7c0260e2016-06-20 14:14:09 -0400859 fs_info = btrfs_alloc_dummy_fs_info();
860 if (!fs_info) {
861 ret = -ENOMEM;
862 goto out;
863 }
864
865 root = btrfs_alloc_dummy_root(fs_info, sectorsize, nodesize);
Dan Carpenter89b6c8d2015-11-10 12:10:03 +0300866 if (IS_ERR(root)) {
867 ret = PTR_ERR(root);
Josef Bacikd0bd4562015-09-23 14:54:14 -0400868 goto out;
Dan Carpenter89b6c8d2015-11-10 12:10:03 +0300869 }
Josef Bacikd0bd4562015-09-23 14:54:14 -0400870
Josef Bacikd0bd4562015-09-23 14:54:14 -0400871 root->fs_info->extent_root = root;
872 cache->fs_info = root->fs_info;
873
Josef Bacikdc11dd52013-08-14 15:05:12 -0400874 ret = test_extents(cache);
875 if (ret)
876 goto out;
Feifei Xub9ef22d2016-06-01 19:18:25 +0800877 ret = test_bitmaps(cache, sectorsize);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400878 if (ret)
879 goto out;
Feifei Xub9ef22d2016-06-01 19:18:25 +0800880 ret = test_bitmaps_and_extents(cache, sectorsize);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400881 if (ret)
882 goto out;
Filipe Manana20005522014-08-29 13:35:13 +0100883
Feifei Xub9ef22d2016-06-01 19:18:25 +0800884 ret = test_steal_space_from_bitmap_to_extent(cache, sectorsize);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400885out:
Omar Sandoval7c55ee02015-09-29 20:50:36 -0700886 btrfs_free_dummy_block_group(cache);
Josef Bacikd0bd4562015-09-23 14:54:14 -0400887 btrfs_free_dummy_root(root);
Jeff Mahoney7c0260e2016-06-20 14:14:09 -0400888 btrfs_free_dummy_fs_info(fs_info);
Josef Bacikdc11dd52013-08-14 15:05:12 -0400889 test_msg("Free space cache tests finished\n");
890 return ret;
891}