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 */ 50*488f6730SDavid 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(); 5972b28077SLiu Bo if (!em) 60*488f6730SDavid Sterba return -ENOMEM; 6172b28077SLiu Bo 6272b28077SLiu Bo /* Add [0, 16K) */ 6372b28077SLiu Bo em->start = 0; 6472b28077SLiu Bo em->len = SZ_16K; 6572b28077SLiu Bo em->block_start = 0; 6672b28077SLiu Bo em->block_len = SZ_16K; 6772b28077SLiu Bo ret = add_extent_mapping(em_tree, em, 0); 6872b28077SLiu Bo ASSERT(ret == 0); 6972b28077SLiu Bo free_extent_map(em); 7072b28077SLiu Bo 7172b28077SLiu Bo /* Add [16K, 20K) following [0, 16K) */ 7272b28077SLiu Bo em = alloc_extent_map(); 73*488f6730SDavid Sterba if (!em) { 74*488f6730SDavid Sterba ret = -ENOMEM; 7572b28077SLiu Bo goto out; 76*488f6730SDavid Sterba } 7772b28077SLiu Bo 7872b28077SLiu Bo em->start = SZ_16K; 7972b28077SLiu Bo em->len = SZ_4K; 8072b28077SLiu Bo em->block_start = SZ_32K; /* avoid merging */ 8172b28077SLiu Bo em->block_len = SZ_4K; 8272b28077SLiu Bo ret = add_extent_mapping(em_tree, em, 0); 8372b28077SLiu Bo ASSERT(ret == 0); 8472b28077SLiu Bo free_extent_map(em); 8572b28077SLiu Bo 8672b28077SLiu Bo em = alloc_extent_map(); 87*488f6730SDavid Sterba if (!em) { 88*488f6730SDavid Sterba ret = -ENOMEM; 8972b28077SLiu Bo goto out; 90*488f6730SDavid Sterba } 9172b28077SLiu Bo 9272b28077SLiu Bo /* Add [0, 8K), should return [0, 16K) instead. */ 9372b28077SLiu Bo em->start = start; 9472b28077SLiu Bo em->len = len; 9572b28077SLiu Bo em->block_start = start; 9672b28077SLiu Bo em->block_len = len; 97f46b24c9SDavid Sterba ret = btrfs_add_extent_mapping(fs_info, em_tree, &em, em->start, em->len); 9872b28077SLiu Bo if (ret) 993c7251f2SDavid Sterba test_err("case1 [%llu %llu]: ret %d", start, start + len, ret); 10072b28077SLiu Bo if (em && 10172b28077SLiu Bo (em->start != 0 || extent_map_end(em) != SZ_16K || 10272b28077SLiu Bo em->block_start != 0 || em->block_len != SZ_16K)) 1033c7251f2SDavid Sterba test_err( 1043c7251f2SDavid Sterba "case1 [%llu %llu]: ret %d return a wrong em (start %llu len %llu block_start %llu block_len %llu", 10572b28077SLiu Bo start, start + len, ret, em->start, em->len, 10672b28077SLiu Bo em->block_start, em->block_len); 10772b28077SLiu Bo free_extent_map(em); 108*488f6730SDavid Sterba ret = 0; 10972b28077SLiu Bo out: 11072b28077SLiu Bo /* free memory */ 11172b28077SLiu Bo free_extent_map_tree(em_tree); 112*488f6730SDavid Sterba 113*488f6730SDavid Sterba return ret; 11472b28077SLiu Bo } 11572b28077SLiu Bo 11672b28077SLiu Bo /* 11772b28077SLiu Bo * Test scenario: 11872b28077SLiu Bo * 11972b28077SLiu Bo * Reading the inline ending up with EEXIST, ie. read an inline 12072b28077SLiu Bo * extent and discard page cache and read it again. 12172b28077SLiu Bo */ 122*488f6730SDavid Sterba static int test_case_2(struct btrfs_fs_info *fs_info, 1230e08eb9bSDavid Sterba struct extent_map_tree *em_tree) 12472b28077SLiu Bo { 12572b28077SLiu Bo struct extent_map *em; 12672b28077SLiu Bo int ret; 12772b28077SLiu Bo 12872b28077SLiu Bo em = alloc_extent_map(); 12972b28077SLiu Bo if (!em) 130*488f6730SDavid Sterba return -ENOMEM; 13172b28077SLiu Bo 13272b28077SLiu Bo /* Add [0, 1K) */ 13372b28077SLiu Bo em->start = 0; 13472b28077SLiu Bo em->len = SZ_1K; 13572b28077SLiu Bo em->block_start = EXTENT_MAP_INLINE; 13672b28077SLiu Bo em->block_len = (u64)-1; 13772b28077SLiu Bo ret = add_extent_mapping(em_tree, em, 0); 13872b28077SLiu Bo ASSERT(ret == 0); 13972b28077SLiu Bo free_extent_map(em); 14072b28077SLiu Bo 14172b28077SLiu Bo /* Add [4K, 4K) following [0, 1K) */ 14272b28077SLiu Bo em = alloc_extent_map(); 143*488f6730SDavid Sterba if (!em) { 144*488f6730SDavid Sterba ret = -ENOMEM; 14572b28077SLiu Bo goto out; 146*488f6730SDavid Sterba } 14772b28077SLiu Bo 14872b28077SLiu Bo em->start = SZ_4K; 14972b28077SLiu Bo em->len = SZ_4K; 15072b28077SLiu Bo em->block_start = SZ_4K; 15172b28077SLiu Bo em->block_len = SZ_4K; 15272b28077SLiu Bo ret = add_extent_mapping(em_tree, em, 0); 15372b28077SLiu Bo ASSERT(ret == 0); 15472b28077SLiu Bo free_extent_map(em); 15572b28077SLiu Bo 15672b28077SLiu Bo em = alloc_extent_map(); 157*488f6730SDavid Sterba if (!em) { 158*488f6730SDavid Sterba ret = -ENOMEM; 15972b28077SLiu Bo goto out; 160*488f6730SDavid Sterba } 16172b28077SLiu Bo 16272b28077SLiu Bo /* Add [0, 1K) */ 16372b28077SLiu Bo em->start = 0; 16472b28077SLiu Bo em->len = SZ_1K; 16572b28077SLiu Bo em->block_start = EXTENT_MAP_INLINE; 16672b28077SLiu Bo em->block_len = (u64)-1; 167f46b24c9SDavid Sterba ret = btrfs_add_extent_mapping(fs_info, em_tree, &em, em->start, em->len); 16872b28077SLiu Bo if (ret) 1693c7251f2SDavid Sterba test_err("case2 [0 1K]: ret %d", ret); 17072b28077SLiu Bo if (em && 17172b28077SLiu Bo (em->start != 0 || extent_map_end(em) != SZ_1K || 17272b28077SLiu Bo em->block_start != EXTENT_MAP_INLINE || em->block_len != (u64)-1)) 1733c7251f2SDavid Sterba test_err( 1743c7251f2SDavid Sterba "case2 [0 1K]: ret %d return a wrong em (start %llu len %llu block_start %llu block_len %llu", 17572b28077SLiu Bo ret, em->start, em->len, em->block_start, 17672b28077SLiu Bo em->block_len); 17772b28077SLiu Bo free_extent_map(em); 178*488f6730SDavid Sterba ret = 0; 17972b28077SLiu Bo out: 18072b28077SLiu Bo /* free memory */ 18172b28077SLiu Bo free_extent_map_tree(em_tree); 182*488f6730SDavid Sterba 183*488f6730SDavid Sterba return ret; 18472b28077SLiu Bo } 18572b28077SLiu Bo 186*488f6730SDavid Sterba static int __test_case_3(struct btrfs_fs_info *fs_info, 1870e08eb9bSDavid Sterba struct extent_map_tree *em_tree, u64 start) 188fd87526fSLiu Bo { 189fd87526fSLiu Bo struct extent_map *em; 190fd87526fSLiu Bo u64 len = SZ_4K; 191fd87526fSLiu Bo int ret; 192fd87526fSLiu Bo 193fd87526fSLiu Bo em = alloc_extent_map(); 194fd87526fSLiu Bo if (!em) 195*488f6730SDavid Sterba return -ENOMEM; 196fd87526fSLiu Bo 197fd87526fSLiu Bo /* Add [4K, 8K) */ 198fd87526fSLiu Bo em->start = SZ_4K; 199fd87526fSLiu Bo em->len = SZ_4K; 200fd87526fSLiu Bo em->block_start = SZ_4K; 201fd87526fSLiu Bo em->block_len = SZ_4K; 202fd87526fSLiu Bo ret = add_extent_mapping(em_tree, em, 0); 203fd87526fSLiu Bo ASSERT(ret == 0); 204fd87526fSLiu Bo free_extent_map(em); 205fd87526fSLiu Bo 206fd87526fSLiu Bo em = alloc_extent_map(); 207*488f6730SDavid Sterba if (!em) { 208*488f6730SDavid Sterba ret = -ENOMEM; 209fd87526fSLiu Bo goto out; 210*488f6730SDavid Sterba } 211fd87526fSLiu Bo 212fd87526fSLiu Bo /* Add [0, 16K) */ 213fd87526fSLiu Bo em->start = 0; 214fd87526fSLiu Bo em->len = SZ_16K; 215fd87526fSLiu Bo em->block_start = 0; 216fd87526fSLiu Bo em->block_len = SZ_16K; 217f46b24c9SDavid Sterba ret = btrfs_add_extent_mapping(fs_info, em_tree, &em, start, len); 218fd87526fSLiu Bo if (ret) 2193c7251f2SDavid Sterba test_err("case3 [0x%llx 0x%llx): ret %d", 220fd87526fSLiu Bo start, start + len, ret); 221fd87526fSLiu Bo /* 222fd87526fSLiu Bo * Since bytes within em are contiguous, em->block_start is identical to 223fd87526fSLiu Bo * em->start. 224fd87526fSLiu Bo */ 225fd87526fSLiu Bo if (em && 226fd87526fSLiu Bo (start < em->start || start + len > extent_map_end(em) || 227fd87526fSLiu Bo em->start != em->block_start || em->len != em->block_len)) 2283c7251f2SDavid Sterba test_err( 2293c7251f2SDavid Sterba "case3 [0x%llx 0x%llx): ret %d em (start 0x%llx len 0x%llx block_start 0x%llx block_len 0x%llx)", 230fd87526fSLiu Bo start, start + len, ret, em->start, em->len, 231fd87526fSLiu Bo em->block_start, em->block_len); 232fd87526fSLiu Bo free_extent_map(em); 233*488f6730SDavid Sterba ret = 0; 234fd87526fSLiu Bo out: 235fd87526fSLiu Bo /* free memory */ 236fd87526fSLiu Bo free_extent_map_tree(em_tree); 237*488f6730SDavid Sterba 238*488f6730SDavid Sterba return ret; 239fd87526fSLiu Bo } 240fd87526fSLiu Bo 241fd87526fSLiu Bo /* 242fd87526fSLiu Bo * Test scenario: 243fd87526fSLiu Bo * 244fd87526fSLiu Bo * Suppose that no extent map has been loaded into memory yet. 245fd87526fSLiu Bo * There is a file extent [0, 16K), two jobs are running concurrently 246fd87526fSLiu Bo * against it, t1 is buffered writing to [4K, 8K) and t2 is doing dio 247fd87526fSLiu Bo * read from [0, 4K) or [8K, 12K) or [12K, 16K). 248fd87526fSLiu Bo * 249fd87526fSLiu Bo * t1 goes ahead of t2 and adds em [4K, 8K) into tree. 250fd87526fSLiu Bo * 251fd87526fSLiu Bo * t1 t2 252fd87526fSLiu Bo * cow_file_range() btrfs_get_extent() 253fd87526fSLiu Bo * -> lookup_extent_mapping() 254fd87526fSLiu Bo * -> add_extent_mapping() 255fd87526fSLiu Bo * -> add_extent_mapping() 256fd87526fSLiu Bo */ 2570e08eb9bSDavid Sterba static void test_case_3(struct btrfs_fs_info *fs_info, 2580e08eb9bSDavid Sterba struct extent_map_tree *em_tree) 259fd87526fSLiu Bo { 2600e08eb9bSDavid Sterba __test_case_3(fs_info, em_tree, 0); 2610e08eb9bSDavid Sterba __test_case_3(fs_info, em_tree, SZ_8K); 2620e08eb9bSDavid Sterba __test_case_3(fs_info, em_tree, (12 * 1024ULL)); 263fd87526fSLiu Bo } 264fd87526fSLiu Bo 265*488f6730SDavid Sterba static int __test_case_4(struct btrfs_fs_info *fs_info, 2660e08eb9bSDavid Sterba struct extent_map_tree *em_tree, u64 start) 267cd77f4f8SLiu Bo { 268cd77f4f8SLiu Bo struct extent_map *em; 269cd77f4f8SLiu Bo u64 len = SZ_4K; 270cd77f4f8SLiu Bo int ret; 271cd77f4f8SLiu Bo 272cd77f4f8SLiu Bo em = alloc_extent_map(); 273cd77f4f8SLiu Bo if (!em) 274*488f6730SDavid Sterba return -ENOMEM; 275cd77f4f8SLiu Bo 276cd77f4f8SLiu Bo /* Add [0K, 8K) */ 277cd77f4f8SLiu Bo em->start = 0; 278cd77f4f8SLiu Bo em->len = SZ_8K; 279cd77f4f8SLiu Bo em->block_start = 0; 280cd77f4f8SLiu Bo em->block_len = SZ_8K; 281cd77f4f8SLiu Bo ret = add_extent_mapping(em_tree, em, 0); 282cd77f4f8SLiu Bo ASSERT(ret == 0); 283cd77f4f8SLiu Bo free_extent_map(em); 284cd77f4f8SLiu Bo 285cd77f4f8SLiu Bo em = alloc_extent_map(); 286*488f6730SDavid Sterba if (!em) { 287*488f6730SDavid Sterba ret = -ENOMEM; 288cd77f4f8SLiu Bo goto out; 289*488f6730SDavid Sterba } 290cd77f4f8SLiu Bo 291cd77f4f8SLiu Bo /* Add [8K, 24K) */ 292cd77f4f8SLiu Bo em->start = SZ_8K; 293cd77f4f8SLiu Bo em->len = 24 * 1024ULL; 294cd77f4f8SLiu Bo em->block_start = SZ_16K; /* avoid merging */ 295cd77f4f8SLiu Bo em->block_len = 24 * 1024ULL; 296cd77f4f8SLiu Bo ret = add_extent_mapping(em_tree, em, 0); 297cd77f4f8SLiu Bo ASSERT(ret == 0); 298cd77f4f8SLiu Bo free_extent_map(em); 299cd77f4f8SLiu Bo 300cd77f4f8SLiu Bo em = alloc_extent_map(); 301*488f6730SDavid Sterba if (!em) { 302*488f6730SDavid Sterba ret = -ENOMEM; 303cd77f4f8SLiu Bo goto out; 304*488f6730SDavid Sterba } 305cd77f4f8SLiu Bo /* Add [0K, 32K) */ 306cd77f4f8SLiu Bo em->start = 0; 307cd77f4f8SLiu Bo em->len = SZ_32K; 308cd77f4f8SLiu Bo em->block_start = 0; 309cd77f4f8SLiu Bo em->block_len = SZ_32K; 310f46b24c9SDavid Sterba ret = btrfs_add_extent_mapping(fs_info, em_tree, &em, start, len); 311cd77f4f8SLiu Bo if (ret) 3123c7251f2SDavid Sterba test_err("case4 [0x%llx 0x%llx): ret %d", 313cd77f4f8SLiu Bo start, len, ret); 314cd77f4f8SLiu Bo if (em && 315cd77f4f8SLiu Bo (start < em->start || start + len > extent_map_end(em))) 3163c7251f2SDavid Sterba test_err( 3173c7251f2SDavid 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)", 318cd77f4f8SLiu Bo start, len, ret, em->start, em->len, em->block_start, 319cd77f4f8SLiu Bo em->block_len); 320cd77f4f8SLiu Bo free_extent_map(em); 321*488f6730SDavid Sterba ret = 0; 322cd77f4f8SLiu Bo out: 323cd77f4f8SLiu Bo /* free memory */ 324cd77f4f8SLiu Bo free_extent_map_tree(em_tree); 325*488f6730SDavid Sterba 326*488f6730SDavid Sterba return ret; 327cd77f4f8SLiu Bo } 328cd77f4f8SLiu Bo 329cd77f4f8SLiu Bo /* 330cd77f4f8SLiu Bo * Test scenario: 331cd77f4f8SLiu Bo * 332cd77f4f8SLiu Bo * Suppose that no extent map has been loaded into memory yet. 333cd77f4f8SLiu Bo * There is a file extent [0, 32K), two jobs are running concurrently 334cd77f4f8SLiu Bo * against it, t1 is doing dio write to [8K, 32K) and t2 is doing dio 335cd77f4f8SLiu Bo * read from [0, 4K) or [4K, 8K). 336cd77f4f8SLiu Bo * 337cd77f4f8SLiu Bo * t1 goes ahead of t2 and splits em [0, 32K) to em [0K, 8K) and [8K 32K). 338cd77f4f8SLiu Bo * 339cd77f4f8SLiu Bo * t1 t2 340cd77f4f8SLiu Bo * btrfs_get_blocks_direct() btrfs_get_blocks_direct() 341cd77f4f8SLiu Bo * -> btrfs_get_extent() -> btrfs_get_extent() 342cd77f4f8SLiu Bo * -> lookup_extent_mapping() 343cd77f4f8SLiu Bo * -> add_extent_mapping() -> lookup_extent_mapping() 344cd77f4f8SLiu Bo * # load [0, 32K) 345cd77f4f8SLiu Bo * -> btrfs_new_extent_direct() 346cd77f4f8SLiu Bo * -> btrfs_drop_extent_cache() 347cd77f4f8SLiu Bo * # split [0, 32K) 348cd77f4f8SLiu Bo * -> add_extent_mapping() 349cd77f4f8SLiu Bo * # add [8K, 32K) 350cd77f4f8SLiu Bo * -> add_extent_mapping() 351cd77f4f8SLiu Bo * # handle -EEXIST when adding 352cd77f4f8SLiu Bo * # [0, 32K) 353cd77f4f8SLiu Bo */ 3540e08eb9bSDavid Sterba static void test_case_4(struct btrfs_fs_info *fs_info, 3550e08eb9bSDavid Sterba struct extent_map_tree *em_tree) 356cd77f4f8SLiu Bo { 3570e08eb9bSDavid Sterba __test_case_4(fs_info, em_tree, 0); 3580e08eb9bSDavid Sterba __test_case_4(fs_info, em_tree, SZ_4K); 359cd77f4f8SLiu Bo } 360cd77f4f8SLiu Bo 36197dc231eSColin Ian King int btrfs_test_extent_map(void) 36272b28077SLiu Bo { 3630e08eb9bSDavid Sterba struct btrfs_fs_info *fs_info = NULL; 36472b28077SLiu Bo struct extent_map_tree *em_tree; 365*488f6730SDavid Sterba int ret = 0; 36672b28077SLiu Bo 367315b76b4SDavid Sterba test_msg("running extent_map tests"); 36872b28077SLiu Bo 3690e08eb9bSDavid Sterba /* 3700e08eb9bSDavid Sterba * Note: the fs_info is not set up completely, we only need 3710e08eb9bSDavid Sterba * fs_info::fsid for the tracepoint. 3720e08eb9bSDavid Sterba */ 3730e08eb9bSDavid Sterba fs_info = btrfs_alloc_dummy_fs_info(PAGE_SIZE, PAGE_SIZE); 3740e08eb9bSDavid Sterba if (!fs_info) { 37537b2a7bcSDavid Sterba test_std_err(TEST_ALLOC_FS_INFO); 3760e08eb9bSDavid Sterba return -ENOMEM; 3770e08eb9bSDavid Sterba } 3780e08eb9bSDavid Sterba 37972b28077SLiu Bo em_tree = kzalloc(sizeof(*em_tree), GFP_KERNEL); 380*488f6730SDavid Sterba if (!em_tree) { 381*488f6730SDavid Sterba ret = -ENOMEM; 3820e08eb9bSDavid Sterba goto out; 383*488f6730SDavid Sterba } 38472b28077SLiu Bo 38572b28077SLiu Bo extent_map_tree_init(em_tree); 38672b28077SLiu Bo 3870e08eb9bSDavid Sterba test_case_1(fs_info, em_tree); 3880e08eb9bSDavid Sterba test_case_2(fs_info, em_tree); 3890e08eb9bSDavid Sterba test_case_3(fs_info, em_tree); 3900e08eb9bSDavid Sterba test_case_4(fs_info, em_tree); 39172b28077SLiu Bo 39272b28077SLiu Bo kfree(em_tree); 3930e08eb9bSDavid Sterba out: 3940e08eb9bSDavid Sterba btrfs_free_dummy_fs_info(fs_info); 3950e08eb9bSDavid Sterba 396*488f6730SDavid Sterba return ret; 39772b28077SLiu Bo } 398