blob: fe4b2176a6e8fb7e48da86c66fdbe7347c2ee6ed [file] [log] [blame]
David Sterbac1d7c512018-04-03 19:23:33 +02001// SPDX-License-Identifier: GPL-2.0
Josef Bacik0f9dd462008-09-23 13:14:11 -04002/*
3 * Copyright (C) 2008 Red Hat. All rights reserved.
Josef Bacik0f9dd462008-09-23 13:14:11 -04004 */
5
Josef Bacik96303082009-07-13 21:29:25 -04006#include <linux/pagemap.h>
Josef Bacik0f9dd462008-09-23 13:14:11 -04007#include <linux/sched.h>
Ingo Molnarf361bf42017-02-03 23:47:37 +01008#include <linux/sched/signal.h>
Tejun Heo5a0e3ad2010-03-24 17:04:11 +09009#include <linux/slab.h>
Josef Bacik96303082009-07-13 21:29:25 -040010#include <linux/math64.h>
Josef Bacik6ab60602011-08-08 08:24:46 -040011#include <linux/ratelimit.h>
Masami Hiramatsu540adea2018-01-13 02:55:03 +090012#include <linux/error-injection.h>
Josef Bacik84de76a2018-09-28 07:17:49 -040013#include <linux/sched/mm.h>
Josef Bacik0f9dd462008-09-23 13:14:11 -040014#include "ctree.h"
Chris Masonfa9c0d792009-04-03 09:47:43 -040015#include "free-space-cache.h"
16#include "transaction.h"
Josef Bacik0af3d002010-06-21 14:48:16 -040017#include "disk-io.h"
Josef Bacik43be2142011-04-01 14:55:00 +000018#include "extent_io.h"
Filipe Manana04216822014-11-27 21:14:15 +000019#include "volumes.h"
Josef Bacik8719aaa2019-06-18 16:09:16 -040020#include "space-info.h"
Josef Bacik86736342019-06-19 15:12:00 -040021#include "delalloc-space.h"
Josef Bacikaac00232019-06-20 15:37:44 -040022#include "block-group.h"
Dennis Zhoub0643e52019-12-13 16:22:14 -080023#include "discard.h"
Chris Masonfa9c0d792009-04-03 09:47:43 -040024
Feifei Xu0ef64472016-06-01 19:18:24 +080025#define BITS_PER_BITMAP (PAGE_SIZE * 8UL)
Dennis Zhou5d90c5c2020-01-02 16:26:43 -050026#define MAX_CACHE_BYTES_PER_GIG SZ_64K
27#define FORCE_EXTENT_THRESHOLD SZ_1M
Josef Bacik96303082009-07-13 21:29:25 -040028
Filipe Manana55507ce2014-12-01 17:04:09 +000029struct btrfs_trim_range {
30 u64 start;
31 u64 bytes;
32 struct list_head list;
33};
34
Li Zefan34d52cb2011-03-29 13:46:06 +080035static int link_free_space(struct btrfs_free_space_ctl *ctl,
Josef Bacik0cb59c92010-07-02 12:14:14 -040036 struct btrfs_free_space *info);
Josef Bacikcd023e72012-05-14 10:06:40 -040037static void unlink_free_space(struct btrfs_free_space_ctl *ctl,
38 struct btrfs_free_space *info);
Josef Bacikcd799092020-10-23 09:58:08 -040039static int search_bitmap(struct btrfs_free_space_ctl *ctl,
40 struct btrfs_free_space *bitmap_info, u64 *offset,
41 u64 *bytes, bool for_alloc);
42static void free_bitmap(struct btrfs_free_space_ctl *ctl,
43 struct btrfs_free_space *bitmap_info);
44static void bitmap_clear_bits(struct btrfs_free_space_ctl *ctl,
45 struct btrfs_free_space *info, u64 offset,
46 u64 bytes);
Josef Bacik0cb59c92010-07-02 12:14:14 -040047
Li Zefan0414efa2011-04-20 10:20:14 +080048static struct inode *__lookup_free_space_inode(struct btrfs_root *root,
49 struct btrfs_path *path,
50 u64 offset)
Josef Bacik0af3d002010-06-21 14:48:16 -040051{
Jeff Mahoney0b246af2016-06-22 18:54:23 -040052 struct btrfs_fs_info *fs_info = root->fs_info;
Josef Bacik0af3d002010-06-21 14:48:16 -040053 struct btrfs_key key;
54 struct btrfs_key location;
55 struct btrfs_disk_key disk_key;
56 struct btrfs_free_space_header *header;
57 struct extent_buffer *leaf;
58 struct inode *inode = NULL;
Josef Bacik84de76a2018-09-28 07:17:49 -040059 unsigned nofs_flag;
Josef Bacik0af3d002010-06-21 14:48:16 -040060 int ret;
61
Josef Bacik0af3d002010-06-21 14:48:16 -040062 key.objectid = BTRFS_FREE_SPACE_OBJECTID;
Li Zefan0414efa2011-04-20 10:20:14 +080063 key.offset = offset;
Josef Bacik0af3d002010-06-21 14:48:16 -040064 key.type = 0;
65
66 ret = btrfs_search_slot(NULL, root, &key, path, 0, 0);
67 if (ret < 0)
68 return ERR_PTR(ret);
69 if (ret > 0) {
David Sterbab3b4aa72011-04-21 01:20:15 +020070 btrfs_release_path(path);
Josef Bacik0af3d002010-06-21 14:48:16 -040071 return ERR_PTR(-ENOENT);
72 }
73
74 leaf = path->nodes[0];
75 header = btrfs_item_ptr(leaf, path->slots[0],
76 struct btrfs_free_space_header);
77 btrfs_free_space_key(leaf, header, &disk_key);
78 btrfs_disk_key_to_cpu(&location, &disk_key);
David Sterbab3b4aa72011-04-21 01:20:15 +020079 btrfs_release_path(path);
Josef Bacik0af3d002010-06-21 14:48:16 -040080
Josef Bacik84de76a2018-09-28 07:17:49 -040081 /*
82 * We are often under a trans handle at this point, so we need to make
83 * sure NOFS is set to keep us from deadlocking.
84 */
85 nofs_flag = memalloc_nofs_save();
David Sterba0202e832020-05-15 19:35:59 +020086 inode = btrfs_iget_path(fs_info->sb, location.objectid, root, path);
Filipe Manana4222ea72018-10-24 10:13:03 +010087 btrfs_release_path(path);
Josef Bacik84de76a2018-09-28 07:17:49 -040088 memalloc_nofs_restore(nofs_flag);
Josef Bacik0af3d002010-06-21 14:48:16 -040089 if (IS_ERR(inode))
90 return inode;
Josef Bacik0af3d002010-06-21 14:48:16 -040091
Al Viro528c0322012-04-13 11:03:55 -040092 mapping_set_gfp_mask(inode->i_mapping,
Michal Hockoc62d2552015-11-06 16:28:49 -080093 mapping_gfp_constraint(inode->i_mapping,
94 ~(__GFP_FS | __GFP_HIGHMEM)));
Miao Xieadae52b2011-03-31 09:43:23 +000095
Li Zefan0414efa2011-04-20 10:20:14 +080096 return inode;
97}
98
David Sterba32da53862019-10-29 19:20:18 +010099struct inode *lookup_free_space_inode(struct btrfs_block_group *block_group,
David Sterba7949f332019-03-20 13:40:19 +0100100 struct btrfs_path *path)
Li Zefan0414efa2011-04-20 10:20:14 +0800101{
David Sterba7949f332019-03-20 13:40:19 +0100102 struct btrfs_fs_info *fs_info = block_group->fs_info;
Li Zefan0414efa2011-04-20 10:20:14 +0800103 struct inode *inode = NULL;
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400104 u32 flags = BTRFS_INODE_NODATASUM | BTRFS_INODE_NODATACOW;
Li Zefan0414efa2011-04-20 10:20:14 +0800105
106 spin_lock(&block_group->lock);
107 if (block_group->inode)
108 inode = igrab(block_group->inode);
109 spin_unlock(&block_group->lock);
110 if (inode)
111 return inode;
112
Jeff Mahoney77ab86b2017-02-15 16:28:30 -0500113 inode = __lookup_free_space_inode(fs_info->tree_root, path,
David Sterbab3470b52019-10-23 18:48:22 +0200114 block_group->start);
Li Zefan0414efa2011-04-20 10:20:14 +0800115 if (IS_ERR(inode))
116 return inode;
117
Josef Bacik0af3d002010-06-21 14:48:16 -0400118 spin_lock(&block_group->lock);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400119 if (!((BTRFS_I(inode)->flags & flags) == flags)) {
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400120 btrfs_info(fs_info, "Old style space inode found, converting.");
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400121 BTRFS_I(inode)->flags |= BTRFS_INODE_NODATASUM |
122 BTRFS_INODE_NODATACOW;
Josef Bacik2f356122011-06-10 15:31:13 -0400123 block_group->disk_cache_state = BTRFS_DC_CLEAR;
124 }
125
Josef Bacik300e4f82011-08-29 14:06:00 -0400126 if (!block_group->iref) {
Josef Bacik0af3d002010-06-21 14:48:16 -0400127 block_group->inode = igrab(inode);
128 block_group->iref = 1;
129 }
130 spin_unlock(&block_group->lock);
131
132 return inode;
133}
134
Eric Sandeen48a3b632013-04-25 20:41:01 +0000135static int __create_free_space_inode(struct btrfs_root *root,
136 struct btrfs_trans_handle *trans,
137 struct btrfs_path *path,
138 u64 ino, u64 offset)
Josef Bacik0af3d002010-06-21 14:48:16 -0400139{
140 struct btrfs_key key;
141 struct btrfs_disk_key disk_key;
142 struct btrfs_free_space_header *header;
143 struct btrfs_inode_item *inode_item;
144 struct extent_buffer *leaf;
Nikolay Borisovf0d12192020-12-03 10:09:49 +0200145 /* We inline CRCs for the free disk space cache */
146 const u64 flags = BTRFS_INODE_NOCOMPRESS | BTRFS_INODE_PREALLOC |
147 BTRFS_INODE_NODATASUM | BTRFS_INODE_NODATACOW;
Josef Bacik0af3d002010-06-21 14:48:16 -0400148 int ret;
149
Li Zefan0414efa2011-04-20 10:20:14 +0800150 ret = btrfs_insert_empty_inode(trans, root, path, ino);
Josef Bacik0af3d002010-06-21 14:48:16 -0400151 if (ret)
152 return ret;
153
154 leaf = path->nodes[0];
155 inode_item = btrfs_item_ptr(leaf, path->slots[0],
156 struct btrfs_inode_item);
157 btrfs_item_key(leaf, &disk_key, path->slots[0]);
David Sterbab159fa22016-11-08 18:09:03 +0100158 memzero_extent_buffer(leaf, (unsigned long)inode_item,
Josef Bacik0af3d002010-06-21 14:48:16 -0400159 sizeof(*inode_item));
160 btrfs_set_inode_generation(leaf, inode_item, trans->transid);
161 btrfs_set_inode_size(leaf, inode_item, 0);
162 btrfs_set_inode_nbytes(leaf, inode_item, 0);
163 btrfs_set_inode_uid(leaf, inode_item, 0);
164 btrfs_set_inode_gid(leaf, inode_item, 0);
165 btrfs_set_inode_mode(leaf, inode_item, S_IFREG | 0600);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400166 btrfs_set_inode_flags(leaf, inode_item, flags);
Josef Bacik0af3d002010-06-21 14:48:16 -0400167 btrfs_set_inode_nlink(leaf, inode_item, 1);
168 btrfs_set_inode_transid(leaf, inode_item, trans->transid);
Li Zefan0414efa2011-04-20 10:20:14 +0800169 btrfs_set_inode_block_group(leaf, inode_item, offset);
Josef Bacik0af3d002010-06-21 14:48:16 -0400170 btrfs_mark_buffer_dirty(leaf);
David Sterbab3b4aa72011-04-21 01:20:15 +0200171 btrfs_release_path(path);
Josef Bacik0af3d002010-06-21 14:48:16 -0400172
173 key.objectid = BTRFS_FREE_SPACE_OBJECTID;
Li Zefan0414efa2011-04-20 10:20:14 +0800174 key.offset = offset;
Josef Bacik0af3d002010-06-21 14:48:16 -0400175 key.type = 0;
Josef Bacik0af3d002010-06-21 14:48:16 -0400176 ret = btrfs_insert_empty_item(trans, root, path, &key,
177 sizeof(struct btrfs_free_space_header));
178 if (ret < 0) {
David Sterbab3b4aa72011-04-21 01:20:15 +0200179 btrfs_release_path(path);
Josef Bacik0af3d002010-06-21 14:48:16 -0400180 return ret;
181 }
Chris Masonc9dc4c62015-04-04 17:14:42 -0700182
Josef Bacik0af3d002010-06-21 14:48:16 -0400183 leaf = path->nodes[0];
184 header = btrfs_item_ptr(leaf, path->slots[0],
185 struct btrfs_free_space_header);
David Sterbab159fa22016-11-08 18:09:03 +0100186 memzero_extent_buffer(leaf, (unsigned long)header, sizeof(*header));
Josef Bacik0af3d002010-06-21 14:48:16 -0400187 btrfs_set_free_space_key(leaf, header, &disk_key);
188 btrfs_mark_buffer_dirty(leaf);
David Sterbab3b4aa72011-04-21 01:20:15 +0200189 btrfs_release_path(path);
Josef Bacik0af3d002010-06-21 14:48:16 -0400190
191 return 0;
192}
193
David Sterba4ca75f12019-03-20 13:42:57 +0100194int create_free_space_inode(struct btrfs_trans_handle *trans,
David Sterba32da53862019-10-29 19:20:18 +0100195 struct btrfs_block_group *block_group,
Li Zefan0414efa2011-04-20 10:20:14 +0800196 struct btrfs_path *path)
197{
198 int ret;
199 u64 ino;
200
David Sterba4ca75f12019-03-20 13:42:57 +0100201 ret = btrfs_find_free_objectid(trans->fs_info->tree_root, &ino);
Li Zefan0414efa2011-04-20 10:20:14 +0800202 if (ret < 0)
203 return ret;
204
David Sterba4ca75f12019-03-20 13:42:57 +0100205 return __create_free_space_inode(trans->fs_info->tree_root, trans, path,
David Sterbab3470b52019-10-23 18:48:22 +0200206 ino, block_group->start);
Li Zefan0414efa2011-04-20 10:20:14 +0800207}
208
Jeff Mahoney2ff7e612016-06-22 18:54:24 -0400209int btrfs_check_trunc_cache_free_space(struct btrfs_fs_info *fs_info,
Miao Xie7b61cd92013-05-13 13:55:09 +0000210 struct btrfs_block_rsv *rsv)
Josef Bacik0af3d002010-06-21 14:48:16 -0400211{
Josef Bacikc8174312011-11-02 09:29:35 -0400212 u64 needed_bytes;
Miao Xie7b61cd92013-05-13 13:55:09 +0000213 int ret;
Josef Bacikc8174312011-11-02 09:29:35 -0400214
215 /* 1 for slack space, 1 for updating the inode */
Josef Bacik2bd36e72019-08-22 15:14:33 -0400216 needed_bytes = btrfs_calc_insert_metadata_size(fs_info, 1) +
217 btrfs_calc_metadata_size(fs_info, 1);
Josef Bacikc8174312011-11-02 09:29:35 -0400218
Miao Xie7b61cd92013-05-13 13:55:09 +0000219 spin_lock(&rsv->lock);
220 if (rsv->reserved < needed_bytes)
221 ret = -ENOSPC;
222 else
223 ret = 0;
224 spin_unlock(&rsv->lock);
Wei Yongjun4b286cd2013-05-21 02:39:21 +0000225 return ret;
Miao Xie7b61cd92013-05-13 13:55:09 +0000226}
227
Jeff Mahoney77ab86b2017-02-15 16:28:30 -0500228int btrfs_truncate_free_space_cache(struct btrfs_trans_handle *trans,
David Sterba32da53862019-10-29 19:20:18 +0100229 struct btrfs_block_group *block_group,
Miao Xie7b61cd92013-05-13 13:55:09 +0000230 struct inode *inode)
231{
Jeff Mahoney77ab86b2017-02-15 16:28:30 -0500232 struct btrfs_root *root = BTRFS_I(inode)->root;
Miao Xie7b61cd92013-05-13 13:55:09 +0000233 int ret = 0;
Filipe Manana35c76642015-04-30 17:47:05 +0100234 bool locked = false;
Chris Mason1bbc6212015-04-06 12:46:08 -0700235
Chris Mason1bbc6212015-04-06 12:46:08 -0700236 if (block_group) {
Jeff Mahoney21e75ff2017-02-15 16:28:32 -0500237 struct btrfs_path *path = btrfs_alloc_path();
238
239 if (!path) {
240 ret = -ENOMEM;
241 goto fail;
242 }
Filipe Manana35c76642015-04-30 17:47:05 +0100243 locked = true;
Chris Mason1bbc6212015-04-06 12:46:08 -0700244 mutex_lock(&trans->transaction->cache_write_mutex);
245 if (!list_empty(&block_group->io_list)) {
246 list_del_init(&block_group->io_list);
247
Jeff Mahoneyafdb5712016-09-09 12:09:35 -0400248 btrfs_wait_cache_io(trans, block_group, path);
Chris Mason1bbc6212015-04-06 12:46:08 -0700249 btrfs_put_block_group(block_group);
250 }
251
252 /*
253 * now that we've truncated the cache away, its no longer
254 * setup or written
255 */
256 spin_lock(&block_group->lock);
257 block_group->disk_cache_state = BTRFS_DC_CLEAR;
258 spin_unlock(&block_group->lock);
Jeff Mahoney21e75ff2017-02-15 16:28:32 -0500259 btrfs_free_path(path);
Chris Mason1bbc6212015-04-06 12:46:08 -0700260 }
Josef Bacik0af3d002010-06-21 14:48:16 -0400261
Nikolay Borisov6ef06d22017-02-20 13:50:34 +0200262 btrfs_i_size_write(BTRFS_I(inode), 0);
Kirill A. Shutemov7caef262013-09-12 15:13:56 -0700263 truncate_pagecache(inode, 0);
Josef Bacik0af3d002010-06-21 14:48:16 -0400264
265 /*
Omar Sandovalf7e9e8f2018-05-11 13:13:32 -0700266 * We skip the throttling logic for free space cache inodes, so we don't
267 * need to check for -EAGAIN.
Josef Bacik0af3d002010-06-21 14:48:16 -0400268 */
Nikolay Borisov50743392020-11-02 16:48:55 +0200269 ret = btrfs_truncate_inode_items(trans, root, BTRFS_I(inode),
Josef Bacik0af3d002010-06-21 14:48:16 -0400270 0, BTRFS_EXTENT_DATA_KEY);
Filipe Manana35c76642015-04-30 17:47:05 +0100271 if (ret)
272 goto fail;
Josef Bacik0af3d002010-06-21 14:48:16 -0400273
Nikolay Borisov9a56fcd2020-11-02 16:48:59 +0200274 ret = btrfs_update_inode(trans, root, BTRFS_I(inode));
Chris Mason1bbc6212015-04-06 12:46:08 -0700275
Chris Mason1bbc6212015-04-06 12:46:08 -0700276fail:
Filipe Manana35c76642015-04-30 17:47:05 +0100277 if (locked)
278 mutex_unlock(&trans->transaction->cache_write_mutex);
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100279 if (ret)
Jeff Mahoney66642832016-06-10 18:19:25 -0400280 btrfs_abort_transaction(trans, ret);
Josef Bacikc8174312011-11-02 09:29:35 -0400281
Li Zefan82d59022011-04-20 10:33:24 +0800282 return ret;
Josef Bacik0af3d002010-06-21 14:48:16 -0400283}
284
David Sterba1d480532017-01-23 17:28:19 +0100285static void readahead_cache(struct inode *inode)
Josef Bacik9d66e232010-08-25 16:54:15 -0400286{
287 struct file_ra_state *ra;
288 unsigned long last_index;
289
290 ra = kzalloc(sizeof(*ra), GFP_NOFS);
291 if (!ra)
David Sterba1d480532017-01-23 17:28:19 +0100292 return;
Josef Bacik9d66e232010-08-25 16:54:15 -0400293
294 file_ra_state_init(ra, inode->i_mapping);
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300295 last_index = (i_size_read(inode) - 1) >> PAGE_SHIFT;
Josef Bacik9d66e232010-08-25 16:54:15 -0400296
297 page_cache_sync_readahead(inode->i_mapping, ra, NULL, 0, last_index);
298
299 kfree(ra);
Josef Bacik9d66e232010-08-25 16:54:15 -0400300}
301
Chris Mason4c6d1d82015-04-06 13:17:20 -0700302static int io_ctl_init(struct btrfs_io_ctl *io_ctl, struct inode *inode,
Jeff Mahoneyf15376d2016-06-22 18:56:18 -0400303 int write)
Josef Bacika67509c2011-10-05 15:18:58 -0400304{
Miao Xie5349d6c2014-06-19 10:42:49 +0800305 int num_pages;
Miao Xie5349d6c2014-06-19 10:42:49 +0800306
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300307 num_pages = DIV_ROUND_UP(i_size_read(inode), PAGE_SIZE);
Miao Xie5349d6c2014-06-19 10:42:49 +0800308
Zhihui Zhang8f6c72a2018-07-02 20:00:54 -0400309 /* Make sure we can fit our crcs and generation into the first page */
Nikolay Borisov7dbdb442020-12-03 10:09:48 +0200310 if (write && (num_pages * sizeof(u32) + sizeof(u64)) > PAGE_SIZE)
Miao Xie5349d6c2014-06-19 10:42:49 +0800311 return -ENOSPC;
312
Chris Mason4c6d1d82015-04-06 13:17:20 -0700313 memset(io_ctl, 0, sizeof(struct btrfs_io_ctl));
Miao Xie5349d6c2014-06-19 10:42:49 +0800314
David Sterba31e818f2015-02-20 18:00:26 +0100315 io_ctl->pages = kcalloc(num_pages, sizeof(struct page *), GFP_NOFS);
Josef Bacika67509c2011-10-05 15:18:58 -0400316 if (!io_ctl->pages)
317 return -ENOMEM;
Miao Xie5349d6c2014-06-19 10:42:49 +0800318
319 io_ctl->num_pages = num_pages;
Jeff Mahoneyf15376d2016-06-22 18:56:18 -0400320 io_ctl->fs_info = btrfs_sb(inode->i_sb);
Chris Masonc9dc4c62015-04-04 17:14:42 -0700321 io_ctl->inode = inode;
Miao Xie5349d6c2014-06-19 10:42:49 +0800322
Josef Bacika67509c2011-10-05 15:18:58 -0400323 return 0;
324}
Masami Hiramatsu663faf92018-01-13 02:55:33 +0900325ALLOW_ERROR_INJECTION(io_ctl_init, ERRNO);
Josef Bacika67509c2011-10-05 15:18:58 -0400326
Chris Mason4c6d1d82015-04-06 13:17:20 -0700327static void io_ctl_free(struct btrfs_io_ctl *io_ctl)
Josef Bacika67509c2011-10-05 15:18:58 -0400328{
329 kfree(io_ctl->pages);
Chris Masonc9dc4c62015-04-04 17:14:42 -0700330 io_ctl->pages = NULL;
Josef Bacika67509c2011-10-05 15:18:58 -0400331}
332
Chris Mason4c6d1d82015-04-06 13:17:20 -0700333static void io_ctl_unmap_page(struct btrfs_io_ctl *io_ctl)
Josef Bacika67509c2011-10-05 15:18:58 -0400334{
335 if (io_ctl->cur) {
Josef Bacika67509c2011-10-05 15:18:58 -0400336 io_ctl->cur = NULL;
337 io_ctl->orig = NULL;
338 }
339}
340
Chris Mason4c6d1d82015-04-06 13:17:20 -0700341static void io_ctl_map_page(struct btrfs_io_ctl *io_ctl, int clear)
Josef Bacika67509c2011-10-05 15:18:58 -0400342{
Josef Bacikb12d6862013-08-26 17:14:08 -0400343 ASSERT(io_ctl->index < io_ctl->num_pages);
Josef Bacika67509c2011-10-05 15:18:58 -0400344 io_ctl->page = io_ctl->pages[io_ctl->index++];
Chris Mason2b108262015-04-06 07:48:20 -0700345 io_ctl->cur = page_address(io_ctl->page);
Josef Bacika67509c2011-10-05 15:18:58 -0400346 io_ctl->orig = io_ctl->cur;
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300347 io_ctl->size = PAGE_SIZE;
Josef Bacika67509c2011-10-05 15:18:58 -0400348 if (clear)
David Sterba619a9742017-03-29 20:48:44 +0200349 clear_page(io_ctl->cur);
Josef Bacika67509c2011-10-05 15:18:58 -0400350}
351
Chris Mason4c6d1d82015-04-06 13:17:20 -0700352static void io_ctl_drop_pages(struct btrfs_io_ctl *io_ctl)
Josef Bacika67509c2011-10-05 15:18:58 -0400353{
354 int i;
355
356 io_ctl_unmap_page(io_ctl);
357
358 for (i = 0; i < io_ctl->num_pages; i++) {
Li Zefana1ee5a42012-01-09 14:27:42 +0800359 if (io_ctl->pages[i]) {
360 ClearPageChecked(io_ctl->pages[i]);
361 unlock_page(io_ctl->pages[i]);
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300362 put_page(io_ctl->pages[i]);
Li Zefana1ee5a42012-01-09 14:27:42 +0800363 }
Josef Bacika67509c2011-10-05 15:18:58 -0400364 }
365}
366
Johannes Thumshirn7a195f62020-02-12 00:10:20 +0900367static int io_ctl_prepare_pages(struct btrfs_io_ctl *io_ctl, bool uptodate)
Josef Bacika67509c2011-10-05 15:18:58 -0400368{
369 struct page *page;
Johannes Thumshirn831fa142020-02-12 00:10:19 +0900370 struct inode *inode = io_ctl->inode;
Josef Bacika67509c2011-10-05 15:18:58 -0400371 gfp_t mask = btrfs_alloc_write_mask(inode->i_mapping);
372 int i;
373
374 for (i = 0; i < io_ctl->num_pages; i++) {
375 page = find_or_create_page(inode->i_mapping, i, mask);
376 if (!page) {
377 io_ctl_drop_pages(io_ctl);
378 return -ENOMEM;
379 }
380 io_ctl->pages[i] = page;
381 if (uptodate && !PageUptodate(page)) {
382 btrfs_readpage(NULL, page);
383 lock_page(page);
Josef Bacik37971362019-09-24 16:50:43 -0400384 if (page->mapping != inode->i_mapping) {
385 btrfs_err(BTRFS_I(inode)->root->fs_info,
386 "free space cache page truncated");
387 io_ctl_drop_pages(io_ctl);
388 return -EIO;
389 }
Josef Bacika67509c2011-10-05 15:18:58 -0400390 if (!PageUptodate(page)) {
Frank Holtonefe120a2013-12-20 11:37:06 -0500391 btrfs_err(BTRFS_I(inode)->root->fs_info,
392 "error reading free space cache");
Josef Bacika67509c2011-10-05 15:18:58 -0400393 io_ctl_drop_pages(io_ctl);
394 return -EIO;
395 }
396 }
397 }
398
Josef Bacikf7d61dc2011-11-15 09:31:24 -0500399 for (i = 0; i < io_ctl->num_pages; i++) {
400 clear_page_dirty_for_io(io_ctl->pages[i]);
401 set_page_extent_mapped(io_ctl->pages[i]);
402 }
403
Josef Bacika67509c2011-10-05 15:18:58 -0400404 return 0;
405}
406
Chris Mason4c6d1d82015-04-06 13:17:20 -0700407static void io_ctl_set_generation(struct btrfs_io_ctl *io_ctl, u64 generation)
Josef Bacika67509c2011-10-05 15:18:58 -0400408{
Josef Bacika67509c2011-10-05 15:18:58 -0400409 io_ctl_map_page(io_ctl, 1);
410
411 /*
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400412 * Skip the csum areas. If we don't check crcs then we just have a
413 * 64bit chunk at the front of the first page.
Josef Bacika67509c2011-10-05 15:18:58 -0400414 */
Nikolay Borisov7dbdb442020-12-03 10:09:48 +0200415 io_ctl->cur += (sizeof(u32) * io_ctl->num_pages);
416 io_ctl->size -= sizeof(u64) + (sizeof(u32) * io_ctl->num_pages);
Josef Bacika67509c2011-10-05 15:18:58 -0400417
David Sterba6994ca362020-09-15 13:32:34 +0200418 put_unaligned_le64(generation, io_ctl->cur);
Josef Bacika67509c2011-10-05 15:18:58 -0400419 io_ctl->cur += sizeof(u64);
Josef Bacika67509c2011-10-05 15:18:58 -0400420}
421
Chris Mason4c6d1d82015-04-06 13:17:20 -0700422static int io_ctl_check_generation(struct btrfs_io_ctl *io_ctl, u64 generation)
Josef Bacika67509c2011-10-05 15:18:58 -0400423{
David Sterba6994ca362020-09-15 13:32:34 +0200424 u64 cache_gen;
Josef Bacika67509c2011-10-05 15:18:58 -0400425
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400426 /*
427 * Skip the crc area. If we don't check crcs then we just have a 64bit
428 * chunk at the front of the first page.
429 */
Nikolay Borisov7dbdb442020-12-03 10:09:48 +0200430 io_ctl->cur += sizeof(u32) * io_ctl->num_pages;
431 io_ctl->size -= sizeof(u64) + (sizeof(u32) * io_ctl->num_pages);
Josef Bacika67509c2011-10-05 15:18:58 -0400432
David Sterba6994ca362020-09-15 13:32:34 +0200433 cache_gen = get_unaligned_le64(io_ctl->cur);
434 if (cache_gen != generation) {
Jeff Mahoneyf15376d2016-06-22 18:56:18 -0400435 btrfs_err_rl(io_ctl->fs_info,
David Sterba94647322015-10-08 11:01:36 +0200436 "space cache generation (%llu) does not match inode (%llu)",
David Sterba6994ca362020-09-15 13:32:34 +0200437 cache_gen, generation);
Josef Bacika67509c2011-10-05 15:18:58 -0400438 io_ctl_unmap_page(io_ctl);
439 return -EIO;
440 }
441 io_ctl->cur += sizeof(u64);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400442 return 0;
443}
444
Chris Mason4c6d1d82015-04-06 13:17:20 -0700445static void io_ctl_set_crc(struct btrfs_io_ctl *io_ctl, int index)
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400446{
447 u32 *tmp;
448 u32 crc = ~(u32)0;
449 unsigned offset = 0;
450
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400451 if (index == 0)
Justin P. Mattockcb54f252011-11-21 08:43:28 -0800452 offset = sizeof(u32) * io_ctl->num_pages;
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400453
Johannes Thumshirn4bb3c2e2019-05-22 10:19:00 +0200454 crc = btrfs_crc32c(crc, io_ctl->orig + offset, PAGE_SIZE - offset);
455 btrfs_crc32c_final(crc, (u8 *)&crc);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400456 io_ctl_unmap_page(io_ctl);
Chris Mason2b108262015-04-06 07:48:20 -0700457 tmp = page_address(io_ctl->pages[0]);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400458 tmp += index;
459 *tmp = crc;
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400460}
461
Chris Mason4c6d1d82015-04-06 13:17:20 -0700462static int io_ctl_check_crc(struct btrfs_io_ctl *io_ctl, int index)
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400463{
464 u32 *tmp, val;
465 u32 crc = ~(u32)0;
466 unsigned offset = 0;
467
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400468 if (index == 0)
469 offset = sizeof(u32) * io_ctl->num_pages;
470
Chris Mason2b108262015-04-06 07:48:20 -0700471 tmp = page_address(io_ctl->pages[0]);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400472 tmp += index;
473 val = *tmp;
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400474
475 io_ctl_map_page(io_ctl, 0);
Johannes Thumshirn4bb3c2e2019-05-22 10:19:00 +0200476 crc = btrfs_crc32c(crc, io_ctl->orig + offset, PAGE_SIZE - offset);
477 btrfs_crc32c_final(crc, (u8 *)&crc);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400478 if (val != crc) {
Jeff Mahoneyf15376d2016-06-22 18:56:18 -0400479 btrfs_err_rl(io_ctl->fs_info,
David Sterba94647322015-10-08 11:01:36 +0200480 "csum mismatch on free space cache");
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400481 io_ctl_unmap_page(io_ctl);
482 return -EIO;
483 }
484
Josef Bacika67509c2011-10-05 15:18:58 -0400485 return 0;
486}
487
Chris Mason4c6d1d82015-04-06 13:17:20 -0700488static int io_ctl_add_entry(struct btrfs_io_ctl *io_ctl, u64 offset, u64 bytes,
Josef Bacika67509c2011-10-05 15:18:58 -0400489 void *bitmap)
490{
491 struct btrfs_free_space_entry *entry;
492
493 if (!io_ctl->cur)
494 return -ENOSPC;
495
496 entry = io_ctl->cur;
David Sterba6994ca362020-09-15 13:32:34 +0200497 put_unaligned_le64(offset, &entry->offset);
498 put_unaligned_le64(bytes, &entry->bytes);
Josef Bacika67509c2011-10-05 15:18:58 -0400499 entry->type = (bitmap) ? BTRFS_FREE_SPACE_BITMAP :
500 BTRFS_FREE_SPACE_EXTENT;
501 io_ctl->cur += sizeof(struct btrfs_free_space_entry);
502 io_ctl->size -= sizeof(struct btrfs_free_space_entry);
503
504 if (io_ctl->size >= sizeof(struct btrfs_free_space_entry))
505 return 0;
506
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400507 io_ctl_set_crc(io_ctl, io_ctl->index - 1);
Josef Bacika67509c2011-10-05 15:18:58 -0400508
509 /* No more pages to map */
510 if (io_ctl->index >= io_ctl->num_pages)
511 return 0;
512
513 /* map the next page */
514 io_ctl_map_page(io_ctl, 1);
515 return 0;
516}
517
Chris Mason4c6d1d82015-04-06 13:17:20 -0700518static int io_ctl_add_bitmap(struct btrfs_io_ctl *io_ctl, void *bitmap)
Josef Bacika67509c2011-10-05 15:18:58 -0400519{
520 if (!io_ctl->cur)
521 return -ENOSPC;
522
523 /*
524 * If we aren't at the start of the current page, unmap this one and
525 * map the next one if there is any left.
526 */
527 if (io_ctl->cur != io_ctl->orig) {
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400528 io_ctl_set_crc(io_ctl, io_ctl->index - 1);
Josef Bacika67509c2011-10-05 15:18:58 -0400529 if (io_ctl->index >= io_ctl->num_pages)
530 return -ENOSPC;
531 io_ctl_map_page(io_ctl, 0);
532 }
533
David Sterba69d24802018-06-29 10:56:44 +0200534 copy_page(io_ctl->cur, bitmap);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400535 io_ctl_set_crc(io_ctl, io_ctl->index - 1);
Josef Bacika67509c2011-10-05 15:18:58 -0400536 if (io_ctl->index < io_ctl->num_pages)
537 io_ctl_map_page(io_ctl, 0);
538 return 0;
539}
540
Chris Mason4c6d1d82015-04-06 13:17:20 -0700541static void io_ctl_zero_remaining_pages(struct btrfs_io_ctl *io_ctl)
Josef Bacika67509c2011-10-05 15:18:58 -0400542{
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400543 /*
544 * If we're not on the boundary we know we've modified the page and we
545 * need to crc the page.
546 */
547 if (io_ctl->cur != io_ctl->orig)
548 io_ctl_set_crc(io_ctl, io_ctl->index - 1);
549 else
550 io_ctl_unmap_page(io_ctl);
Josef Bacika67509c2011-10-05 15:18:58 -0400551
552 while (io_ctl->index < io_ctl->num_pages) {
553 io_ctl_map_page(io_ctl, 1);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400554 io_ctl_set_crc(io_ctl, io_ctl->index - 1);
Josef Bacika67509c2011-10-05 15:18:58 -0400555 }
556}
557
Chris Mason4c6d1d82015-04-06 13:17:20 -0700558static int io_ctl_read_entry(struct btrfs_io_ctl *io_ctl,
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400559 struct btrfs_free_space *entry, u8 *type)
Josef Bacika67509c2011-10-05 15:18:58 -0400560{
561 struct btrfs_free_space_entry *e;
Josef Bacik2f120c02011-11-10 20:45:05 -0500562 int ret;
563
564 if (!io_ctl->cur) {
565 ret = io_ctl_check_crc(io_ctl, io_ctl->index);
566 if (ret)
567 return ret;
568 }
Josef Bacika67509c2011-10-05 15:18:58 -0400569
570 e = io_ctl->cur;
David Sterba6994ca362020-09-15 13:32:34 +0200571 entry->offset = get_unaligned_le64(&e->offset);
572 entry->bytes = get_unaligned_le64(&e->bytes);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400573 *type = e->type;
Josef Bacika67509c2011-10-05 15:18:58 -0400574 io_ctl->cur += sizeof(struct btrfs_free_space_entry);
575 io_ctl->size -= sizeof(struct btrfs_free_space_entry);
576
577 if (io_ctl->size >= sizeof(struct btrfs_free_space_entry))
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400578 return 0;
Josef Bacika67509c2011-10-05 15:18:58 -0400579
580 io_ctl_unmap_page(io_ctl);
581
Josef Bacik2f120c02011-11-10 20:45:05 -0500582 return 0;
Josef Bacika67509c2011-10-05 15:18:58 -0400583}
584
Chris Mason4c6d1d82015-04-06 13:17:20 -0700585static int io_ctl_read_bitmap(struct btrfs_io_ctl *io_ctl,
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400586 struct btrfs_free_space *entry)
Josef Bacika67509c2011-10-05 15:18:58 -0400587{
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400588 int ret;
589
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400590 ret = io_ctl_check_crc(io_ctl, io_ctl->index);
591 if (ret)
592 return ret;
593
David Sterba69d24802018-06-29 10:56:44 +0200594 copy_page(entry->bitmap, io_ctl->cur);
Josef Bacika67509c2011-10-05 15:18:58 -0400595 io_ctl_unmap_page(io_ctl);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400596
597 return 0;
Josef Bacika67509c2011-10-05 15:18:58 -0400598}
599
David Sterbafa598b02020-12-03 17:18:38 +0100600static void recalculate_thresholds(struct btrfs_free_space_ctl *ctl)
601{
602 struct btrfs_block_group *block_group = ctl->private;
603 u64 max_bytes;
604 u64 bitmap_bytes;
605 u64 extent_bytes;
606 u64 size = block_group->length;
607 u64 bytes_per_bg = BITS_PER_BITMAP * ctl->unit;
608 u64 max_bitmaps = div64_u64(size + bytes_per_bg - 1, bytes_per_bg);
609
610 max_bitmaps = max_t(u64, max_bitmaps, 1);
611
612 ASSERT(ctl->total_bitmaps <= max_bitmaps);
613
614 /*
615 * We are trying to keep the total amount of memory used per 1GiB of
616 * space to be MAX_CACHE_BYTES_PER_GIG. However, with a reclamation
617 * mechanism of pulling extents >= FORCE_EXTENT_THRESHOLD out of
618 * bitmaps, we may end up using more memory than this.
619 */
620 if (size < SZ_1G)
621 max_bytes = MAX_CACHE_BYTES_PER_GIG;
622 else
623 max_bytes = MAX_CACHE_BYTES_PER_GIG * div_u64(size, SZ_1G);
624
625 bitmap_bytes = ctl->total_bitmaps * ctl->unit;
626
627 /*
628 * we want the extent entry threshold to always be at most 1/2 the max
629 * bytes we can have, or whatever is less than that.
630 */
631 extent_bytes = max_bytes - bitmap_bytes;
632 extent_bytes = min_t(u64, extent_bytes, max_bytes >> 1);
633
634 ctl->extents_thresh =
635 div_u64(extent_bytes, sizeof(struct btrfs_free_space));
636}
637
Eric Sandeen48a3b632013-04-25 20:41:01 +0000638static int __load_free_space_cache(struct btrfs_root *root, struct inode *inode,
639 struct btrfs_free_space_ctl *ctl,
640 struct btrfs_path *path, u64 offset)
Josef Bacik9d66e232010-08-25 16:54:15 -0400641{
David Sterba3ffbd682018-06-29 10:56:42 +0200642 struct btrfs_fs_info *fs_info = root->fs_info;
Josef Bacik9d66e232010-08-25 16:54:15 -0400643 struct btrfs_free_space_header *header;
644 struct extent_buffer *leaf;
Chris Mason4c6d1d82015-04-06 13:17:20 -0700645 struct btrfs_io_ctl io_ctl;
Josef Bacik9d66e232010-08-25 16:54:15 -0400646 struct btrfs_key key;
Josef Bacika67509c2011-10-05 15:18:58 -0400647 struct btrfs_free_space *e, *n;
Gui Hechengb76808f2014-12-31 09:51:35 +0800648 LIST_HEAD(bitmaps);
Josef Bacik9d66e232010-08-25 16:54:15 -0400649 u64 num_entries;
650 u64 num_bitmaps;
651 u64 generation;
Josef Bacika67509c2011-10-05 15:18:58 -0400652 u8 type;
Josef Bacikf6a39822011-06-06 10:50:35 -0400653 int ret = 0;
Josef Bacik9d66e232010-08-25 16:54:15 -0400654
Josef Bacik9d66e232010-08-25 16:54:15 -0400655 /* Nothing in the space cache, goodbye */
Li Zefan0414efa2011-04-20 10:20:14 +0800656 if (!i_size_read(inode))
Josef Bacika67509c2011-10-05 15:18:58 -0400657 return 0;
Josef Bacik9d66e232010-08-25 16:54:15 -0400658
659 key.objectid = BTRFS_FREE_SPACE_OBJECTID;
Li Zefan0414efa2011-04-20 10:20:14 +0800660 key.offset = offset;
Josef Bacik9d66e232010-08-25 16:54:15 -0400661 key.type = 0;
662
663 ret = btrfs_search_slot(NULL, root, &key, path, 0, 0);
Li Zefan0414efa2011-04-20 10:20:14 +0800664 if (ret < 0)
Josef Bacika67509c2011-10-05 15:18:58 -0400665 return 0;
Li Zefan0414efa2011-04-20 10:20:14 +0800666 else if (ret > 0) {
Chris Mason945d8962011-05-22 12:33:42 -0400667 btrfs_release_path(path);
Josef Bacika67509c2011-10-05 15:18:58 -0400668 return 0;
Josef Bacik9d66e232010-08-25 16:54:15 -0400669 }
670
Li Zefan0414efa2011-04-20 10:20:14 +0800671 ret = -1;
672
Josef Bacik9d66e232010-08-25 16:54:15 -0400673 leaf = path->nodes[0];
674 header = btrfs_item_ptr(leaf, path->slots[0],
675 struct btrfs_free_space_header);
676 num_entries = btrfs_free_space_entries(leaf, header);
677 num_bitmaps = btrfs_free_space_bitmaps(leaf, header);
678 generation = btrfs_free_space_generation(leaf, header);
Chris Mason945d8962011-05-22 12:33:42 -0400679 btrfs_release_path(path);
Josef Bacik9d66e232010-08-25 16:54:15 -0400680
Miao Xiee570fd22014-06-19 10:42:50 +0800681 if (!BTRFS_I(inode)->generation) {
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400682 btrfs_info(fs_info,
David Sterba913e1532017-07-13 15:32:18 +0200683 "the free space cache file (%llu) is invalid, skip it",
Miao Xiee570fd22014-06-19 10:42:50 +0800684 offset);
685 return 0;
686 }
687
Josef Bacik9d66e232010-08-25 16:54:15 -0400688 if (BTRFS_I(inode)->generation != generation) {
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400689 btrfs_err(fs_info,
690 "free space inode generation (%llu) did not match free space cache generation (%llu)",
691 BTRFS_I(inode)->generation, generation);
Josef Bacika67509c2011-10-05 15:18:58 -0400692 return 0;
Josef Bacik9d66e232010-08-25 16:54:15 -0400693 }
694
695 if (!num_entries)
Josef Bacika67509c2011-10-05 15:18:58 -0400696 return 0;
Josef Bacik9d66e232010-08-25 16:54:15 -0400697
Jeff Mahoneyf15376d2016-06-22 18:56:18 -0400698 ret = io_ctl_init(&io_ctl, inode, 0);
Li Zefan706efc62012-01-09 14:36:28 +0800699 if (ret)
700 return ret;
701
David Sterba1d480532017-01-23 17:28:19 +0100702 readahead_cache(inode);
Josef Bacik9d66e232010-08-25 16:54:15 -0400703
Johannes Thumshirn7a195f62020-02-12 00:10:20 +0900704 ret = io_ctl_prepare_pages(&io_ctl, true);
Josef Bacika67509c2011-10-05 15:18:58 -0400705 if (ret)
706 goto out;
Josef Bacik9d66e232010-08-25 16:54:15 -0400707
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400708 ret = io_ctl_check_crc(&io_ctl, 0);
709 if (ret)
710 goto free_cache;
711
Josef Bacika67509c2011-10-05 15:18:58 -0400712 ret = io_ctl_check_generation(&io_ctl, generation);
713 if (ret)
714 goto free_cache;
Josef Bacik9d66e232010-08-25 16:54:15 -0400715
Josef Bacika67509c2011-10-05 15:18:58 -0400716 while (num_entries) {
717 e = kmem_cache_zalloc(btrfs_free_space_cachep,
718 GFP_NOFS);
719 if (!e)
Josef Bacik9d66e232010-08-25 16:54:15 -0400720 goto free_cache;
Josef Bacik9d66e232010-08-25 16:54:15 -0400721
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400722 ret = io_ctl_read_entry(&io_ctl, e, &type);
723 if (ret) {
724 kmem_cache_free(btrfs_free_space_cachep, e);
725 goto free_cache;
726 }
727
Josef Bacika67509c2011-10-05 15:18:58 -0400728 if (!e->bytes) {
729 kmem_cache_free(btrfs_free_space_cachep, e);
730 goto free_cache;
Josef Bacik9d66e232010-08-25 16:54:15 -0400731 }
Josef Bacik9d66e232010-08-25 16:54:15 -0400732
Josef Bacika67509c2011-10-05 15:18:58 -0400733 if (type == BTRFS_FREE_SPACE_EXTENT) {
734 spin_lock(&ctl->tree_lock);
735 ret = link_free_space(ctl, e);
736 spin_unlock(&ctl->tree_lock);
737 if (ret) {
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400738 btrfs_err(fs_info,
Simon Kirbyc2cf52e2013-03-19 22:41:23 +0000739 "Duplicate entries in free space cache, dumping");
Josef Bacikdc89e982011-01-28 17:05:48 -0500740 kmem_cache_free(btrfs_free_space_cachep, e);
Josef Bacik9d66e232010-08-25 16:54:15 -0400741 goto free_cache;
742 }
Josef Bacika67509c2011-10-05 15:18:58 -0400743 } else {
Josef Bacikb12d6862013-08-26 17:14:08 -0400744 ASSERT(num_bitmaps);
Josef Bacika67509c2011-10-05 15:18:58 -0400745 num_bitmaps--;
Christophe Leroy3acd4852019-08-21 15:05:55 +0000746 e->bitmap = kmem_cache_zalloc(
747 btrfs_free_space_bitmap_cachep, GFP_NOFS);
Josef Bacika67509c2011-10-05 15:18:58 -0400748 if (!e->bitmap) {
749 kmem_cache_free(
750 btrfs_free_space_cachep, e);
751 goto free_cache;
Josef Bacik9d66e232010-08-25 16:54:15 -0400752 }
Josef Bacika67509c2011-10-05 15:18:58 -0400753 spin_lock(&ctl->tree_lock);
754 ret = link_free_space(ctl, e);
755 ctl->total_bitmaps++;
David Sterbafa598b02020-12-03 17:18:38 +0100756 recalculate_thresholds(ctl);
Josef Bacika67509c2011-10-05 15:18:58 -0400757 spin_unlock(&ctl->tree_lock);
758 if (ret) {
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400759 btrfs_err(fs_info,
Simon Kirbyc2cf52e2013-03-19 22:41:23 +0000760 "Duplicate entries in free space cache, dumping");
Josef Bacika67509c2011-10-05 15:18:58 -0400761 kmem_cache_free(btrfs_free_space_cachep, e);
762 goto free_cache;
763 }
764 list_add_tail(&e->list, &bitmaps);
Josef Bacik9d66e232010-08-25 16:54:15 -0400765 }
766
Josef Bacika67509c2011-10-05 15:18:58 -0400767 num_entries--;
Josef Bacik9d66e232010-08-25 16:54:15 -0400768 }
769
Josef Bacik2f120c02011-11-10 20:45:05 -0500770 io_ctl_unmap_page(&io_ctl);
771
Josef Bacika67509c2011-10-05 15:18:58 -0400772 /*
773 * We add the bitmaps at the end of the entries in order that
774 * the bitmap entries are added to the cache.
775 */
776 list_for_each_entry_safe(e, n, &bitmaps, list) {
777 list_del_init(&e->list);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400778 ret = io_ctl_read_bitmap(&io_ctl, e);
779 if (ret)
780 goto free_cache;
Josef Bacika67509c2011-10-05 15:18:58 -0400781 }
782
783 io_ctl_drop_pages(&io_ctl);
Josef Bacik9d66e232010-08-25 16:54:15 -0400784 ret = 1;
785out:
Josef Bacika67509c2011-10-05 15:18:58 -0400786 io_ctl_free(&io_ctl);
Josef Bacik9d66e232010-08-25 16:54:15 -0400787 return ret;
Josef Bacik9d66e232010-08-25 16:54:15 -0400788free_cache:
Josef Bacika67509c2011-10-05 15:18:58 -0400789 io_ctl_drop_pages(&io_ctl);
Li Zefan0414efa2011-04-20 10:20:14 +0800790 __btrfs_remove_free_space_cache(ctl);
Josef Bacik9d66e232010-08-25 16:54:15 -0400791 goto out;
792}
793
Josef Bacikcd799092020-10-23 09:58:08 -0400794static int copy_free_space_cache(struct btrfs_block_group *block_group,
795 struct btrfs_free_space_ctl *ctl)
796{
797 struct btrfs_free_space *info;
798 struct rb_node *n;
799 int ret = 0;
800
801 while (!ret && (n = rb_first(&ctl->free_space_offset)) != NULL) {
802 info = rb_entry(n, struct btrfs_free_space, offset_index);
803 if (!info->bitmap) {
804 unlink_free_space(ctl, info);
805 ret = btrfs_add_free_space(block_group, info->offset,
806 info->bytes);
807 kmem_cache_free(btrfs_free_space_cachep, info);
808 } else {
809 u64 offset = info->offset;
810 u64 bytes = ctl->unit;
811
812 while (search_bitmap(ctl, info, &offset, &bytes,
813 false) == 0) {
814 ret = btrfs_add_free_space(block_group, offset,
815 bytes);
816 if (ret)
817 break;
818 bitmap_clear_bits(ctl, info, offset, bytes);
819 offset = info->offset;
820 bytes = ctl->unit;
821 }
822 free_bitmap(ctl, info);
823 }
824 cond_resched();
825 }
826 return ret;
827}
828
David Sterba32da53862019-10-29 19:20:18 +0100829int load_free_space_cache(struct btrfs_block_group *block_group)
Josef Bacik0cb59c92010-07-02 12:14:14 -0400830{
David Sterbabb6cb1c2019-03-20 13:47:15 +0100831 struct btrfs_fs_info *fs_info = block_group->fs_info;
Li Zefan34d52cb2011-03-29 13:46:06 +0800832 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Josef Bacikcd799092020-10-23 09:58:08 -0400833 struct btrfs_free_space_ctl tmp_ctl = {};
Li Zefan0414efa2011-04-20 10:20:14 +0800834 struct inode *inode;
835 struct btrfs_path *path;
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400836 int ret = 0;
Li Zefan0414efa2011-04-20 10:20:14 +0800837 bool matched;
David Sterbabf38be62019-10-23 18:48:11 +0200838 u64 used = block_group->used;
Li Zefan0414efa2011-04-20 10:20:14 +0800839
840 /*
Josef Bacikcd799092020-10-23 09:58:08 -0400841 * Because we could potentially discard our loaded free space, we want
842 * to load everything into a temporary structure first, and then if it's
843 * valid copy it all into the actual free space ctl.
844 */
845 btrfs_init_free_space_ctl(block_group, &tmp_ctl);
846
847 /*
Li Zefan0414efa2011-04-20 10:20:14 +0800848 * If this block group has been marked to be cleared for one reason or
849 * another then we can't trust the on disk cache, so just return.
850 */
851 spin_lock(&block_group->lock);
852 if (block_group->disk_cache_state != BTRFS_DC_WRITTEN) {
853 spin_unlock(&block_group->lock);
854 return 0;
855 }
856 spin_unlock(&block_group->lock);
857
858 path = btrfs_alloc_path();
859 if (!path)
860 return 0;
Josef Bacikd53ba472012-04-12 16:03:57 -0400861 path->search_commit_root = 1;
862 path->skip_locking = 1;
Li Zefan0414efa2011-04-20 10:20:14 +0800863
Filipe Manana4222ea72018-10-24 10:13:03 +0100864 /*
865 * We must pass a path with search_commit_root set to btrfs_iget in
866 * order to avoid a deadlock when allocating extents for the tree root.
867 *
868 * When we are COWing an extent buffer from the tree root, when looking
869 * for a free extent, at extent-tree.c:find_free_extent(), we can find
870 * block group without its free space cache loaded. When we find one
871 * we must load its space cache which requires reading its free space
872 * cache's inode item from the root tree. If this inode item is located
873 * in the same leaf that we started COWing before, then we end up in
874 * deadlock on the extent buffer (trying to read lock it when we
875 * previously write locked it).
876 *
877 * It's safe to read the inode item using the commit root because
878 * block groups, once loaded, stay in memory forever (until they are
879 * removed) as well as their space caches once loaded. New block groups
880 * once created get their ->cached field set to BTRFS_CACHE_FINISHED so
881 * we will never try to read their inode item while the fs is mounted.
882 */
David Sterba7949f332019-03-20 13:40:19 +0100883 inode = lookup_free_space_inode(block_group, path);
Li Zefan0414efa2011-04-20 10:20:14 +0800884 if (IS_ERR(inode)) {
885 btrfs_free_path(path);
886 return 0;
887 }
888
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400889 /* We may have converted the inode and made the cache invalid. */
890 spin_lock(&block_group->lock);
891 if (block_group->disk_cache_state != BTRFS_DC_WRITTEN) {
892 spin_unlock(&block_group->lock);
Tsutomu Itoha7e221e2012-02-14 17:12:23 +0900893 btrfs_free_path(path);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400894 goto out;
895 }
896 spin_unlock(&block_group->lock);
897
Josef Bacikcd799092020-10-23 09:58:08 -0400898 ret = __load_free_space_cache(fs_info->tree_root, inode, &tmp_ctl,
David Sterbab3470b52019-10-23 18:48:22 +0200899 path, block_group->start);
Li Zefan0414efa2011-04-20 10:20:14 +0800900 btrfs_free_path(path);
901 if (ret <= 0)
902 goto out;
903
Josef Bacikcd799092020-10-23 09:58:08 -0400904 matched = (tmp_ctl.free_space == (block_group->length - used -
905 block_group->bytes_super));
Li Zefan0414efa2011-04-20 10:20:14 +0800906
Josef Bacikcd799092020-10-23 09:58:08 -0400907 if (matched) {
908 ret = copy_free_space_cache(block_group, &tmp_ctl);
909 /*
910 * ret == 1 means we successfully loaded the free space cache,
911 * so we need to re-set it here.
912 */
913 if (ret == 0)
914 ret = 1;
915 } else {
916 __btrfs_remove_free_space_cache(&tmp_ctl);
Jeff Mahoney5d163e02016-09-20 10:05:00 -0400917 btrfs_warn(fs_info,
918 "block group %llu has wrong amount of free space",
David Sterbab3470b52019-10-23 18:48:22 +0200919 block_group->start);
Li Zefan0414efa2011-04-20 10:20:14 +0800920 ret = -1;
921 }
922out:
923 if (ret < 0) {
924 /* This cache is bogus, make sure it gets cleared */
925 spin_lock(&block_group->lock);
926 block_group->disk_cache_state = BTRFS_DC_CLEAR;
927 spin_unlock(&block_group->lock);
Li Zefan82d59022011-04-20 10:33:24 +0800928 ret = 0;
Li Zefan0414efa2011-04-20 10:20:14 +0800929
Jeff Mahoney5d163e02016-09-20 10:05:00 -0400930 btrfs_warn(fs_info,
931 "failed to load free space cache for block group %llu, rebuilding it now",
David Sterbab3470b52019-10-23 18:48:22 +0200932 block_group->start);
Li Zefan0414efa2011-04-20 10:20:14 +0800933 }
934
Josef Bacik66b53ba2020-10-23 09:58:07 -0400935 spin_lock(&ctl->tree_lock);
936 btrfs_discard_update_discardable(block_group);
937 spin_unlock(&ctl->tree_lock);
Li Zefan0414efa2011-04-20 10:20:14 +0800938 iput(inode);
939 return ret;
940}
941
Chris Masond4452bc2014-05-19 20:47:56 -0700942static noinline_for_stack
Chris Mason4c6d1d82015-04-06 13:17:20 -0700943int write_cache_extent_entries(struct btrfs_io_ctl *io_ctl,
Chris Masond4452bc2014-05-19 20:47:56 -0700944 struct btrfs_free_space_ctl *ctl,
David Sterba32da53862019-10-29 19:20:18 +0100945 struct btrfs_block_group *block_group,
Chris Masond4452bc2014-05-19 20:47:56 -0700946 int *entries, int *bitmaps,
947 struct list_head *bitmap_list)
Josef Bacik0cb59c92010-07-02 12:14:14 -0400948{
Josef Bacikc09544e2011-08-30 10:19:10 -0400949 int ret;
Chris Masond4452bc2014-05-19 20:47:56 -0700950 struct btrfs_free_cluster *cluster = NULL;
Chris Mason1bbc6212015-04-06 12:46:08 -0700951 struct btrfs_free_cluster *cluster_locked = NULL;
Chris Masond4452bc2014-05-19 20:47:56 -0700952 struct rb_node *node = rb_first(&ctl->free_space_offset);
Filipe Manana55507ce2014-12-01 17:04:09 +0000953 struct btrfs_trim_range *trim_entry;
Josef Bacikbe1a12a2011-04-06 13:05:22 -0400954
Josef Bacik43be2142011-04-01 14:55:00 +0000955 /* Get the cluster for this block_group if it exists */
Chris Masond4452bc2014-05-19 20:47:56 -0700956 if (block_group && !list_empty(&block_group->cluster_list)) {
Josef Bacik43be2142011-04-01 14:55:00 +0000957 cluster = list_entry(block_group->cluster_list.next,
958 struct btrfs_free_cluster,
959 block_group_list);
Chris Masond4452bc2014-05-19 20:47:56 -0700960 }
Josef Bacik43be2142011-04-01 14:55:00 +0000961
Josef Bacikf75b1302011-10-05 10:00:18 -0400962 if (!node && cluster) {
Chris Mason1bbc6212015-04-06 12:46:08 -0700963 cluster_locked = cluster;
964 spin_lock(&cluster_locked->lock);
Josef Bacikf75b1302011-10-05 10:00:18 -0400965 node = rb_first(&cluster->root);
966 cluster = NULL;
967 }
968
Josef Bacik0cb59c92010-07-02 12:14:14 -0400969 /* Write out the extent entries */
Josef Bacika67509c2011-10-05 15:18:58 -0400970 while (node) {
971 struct btrfs_free_space *e;
Josef Bacik0cb59c92010-07-02 12:14:14 -0400972
Josef Bacika67509c2011-10-05 15:18:58 -0400973 e = rb_entry(node, struct btrfs_free_space, offset_index);
Chris Masond4452bc2014-05-19 20:47:56 -0700974 *entries += 1;
Josef Bacik43be2142011-04-01 14:55:00 +0000975
Chris Masond4452bc2014-05-19 20:47:56 -0700976 ret = io_ctl_add_entry(io_ctl, e->offset, e->bytes,
Josef Bacika67509c2011-10-05 15:18:58 -0400977 e->bitmap);
978 if (ret)
Chris Masond4452bc2014-05-19 20:47:56 -0700979 goto fail;
Josef Bacika67509c2011-10-05 15:18:58 -0400980
981 if (e->bitmap) {
Chris Masond4452bc2014-05-19 20:47:56 -0700982 list_add_tail(&e->list, bitmap_list);
983 *bitmaps += 1;
Josef Bacika67509c2011-10-05 15:18:58 -0400984 }
985 node = rb_next(node);
986 if (!node && cluster) {
987 node = rb_first(&cluster->root);
Chris Mason1bbc6212015-04-06 12:46:08 -0700988 cluster_locked = cluster;
989 spin_lock(&cluster_locked->lock);
Josef Bacika67509c2011-10-05 15:18:58 -0400990 cluster = NULL;
991 }
992 }
Chris Mason1bbc6212015-04-06 12:46:08 -0700993 if (cluster_locked) {
994 spin_unlock(&cluster_locked->lock);
995 cluster_locked = NULL;
996 }
Filipe Manana55507ce2014-12-01 17:04:09 +0000997
998 /*
999 * Make sure we don't miss any range that was removed from our rbtree
1000 * because trimming is running. Otherwise after a umount+mount (or crash
1001 * after committing the transaction) we would leak free space and get
1002 * an inconsistent free space cache report from fsck.
1003 */
1004 list_for_each_entry(trim_entry, &ctl->trimming_ranges, list) {
1005 ret = io_ctl_add_entry(io_ctl, trim_entry->start,
1006 trim_entry->bytes, NULL);
1007 if (ret)
1008 goto fail;
1009 *entries += 1;
1010 }
1011
Chris Masond4452bc2014-05-19 20:47:56 -07001012 return 0;
1013fail:
Chris Mason1bbc6212015-04-06 12:46:08 -07001014 if (cluster_locked)
1015 spin_unlock(&cluster_locked->lock);
Chris Masond4452bc2014-05-19 20:47:56 -07001016 return -ENOSPC;
1017}
1018
1019static noinline_for_stack int
1020update_cache_item(struct btrfs_trans_handle *trans,
1021 struct btrfs_root *root,
1022 struct inode *inode,
1023 struct btrfs_path *path, u64 offset,
1024 int entries, int bitmaps)
1025{
1026 struct btrfs_key key;
1027 struct btrfs_free_space_header *header;
1028 struct extent_buffer *leaf;
1029 int ret;
1030
1031 key.objectid = BTRFS_FREE_SPACE_OBJECTID;
1032 key.offset = offset;
1033 key.type = 0;
1034
1035 ret = btrfs_search_slot(trans, root, &key, path, 0, 1);
1036 if (ret < 0) {
1037 clear_extent_bit(&BTRFS_I(inode)->io_tree, 0, inode->i_size - 1,
Omar Sandovale1821632019-08-15 14:04:04 -07001038 EXTENT_DELALLOC, 0, 0, NULL);
Chris Masond4452bc2014-05-19 20:47:56 -07001039 goto fail;
1040 }
1041 leaf = path->nodes[0];
1042 if (ret > 0) {
1043 struct btrfs_key found_key;
1044 ASSERT(path->slots[0]);
1045 path->slots[0]--;
1046 btrfs_item_key_to_cpu(leaf, &found_key, path->slots[0]);
1047 if (found_key.objectid != BTRFS_FREE_SPACE_OBJECTID ||
1048 found_key.offset != offset) {
1049 clear_extent_bit(&BTRFS_I(inode)->io_tree, 0,
Omar Sandovale1821632019-08-15 14:04:04 -07001050 inode->i_size - 1, EXTENT_DELALLOC, 0,
1051 0, NULL);
Chris Masond4452bc2014-05-19 20:47:56 -07001052 btrfs_release_path(path);
1053 goto fail;
1054 }
1055 }
1056
1057 BTRFS_I(inode)->generation = trans->transid;
1058 header = btrfs_item_ptr(leaf, path->slots[0],
1059 struct btrfs_free_space_header);
1060 btrfs_set_free_space_entries(leaf, header, entries);
1061 btrfs_set_free_space_bitmaps(leaf, header, bitmaps);
1062 btrfs_set_free_space_generation(leaf, header, trans->transid);
1063 btrfs_mark_buffer_dirty(leaf);
1064 btrfs_release_path(path);
1065
1066 return 0;
1067
1068fail:
1069 return -1;
1070}
1071
David Sterba6701bdb2019-03-20 13:49:09 +01001072static noinline_for_stack int write_pinned_extent_entries(
Nikolay Borisov6b45f6412020-01-20 16:09:15 +02001073 struct btrfs_trans_handle *trans,
David Sterba32da53862019-10-29 19:20:18 +01001074 struct btrfs_block_group *block_group,
Chris Mason4c6d1d82015-04-06 13:17:20 -07001075 struct btrfs_io_ctl *io_ctl,
Miao Xie5349d6c2014-06-19 10:42:49 +08001076 int *entries)
Chris Masond4452bc2014-05-19 20:47:56 -07001077{
1078 u64 start, extent_start, extent_end, len;
Chris Masond4452bc2014-05-19 20:47:56 -07001079 struct extent_io_tree *unpin = NULL;
1080 int ret;
Josef Bacika67509c2011-10-05 15:18:58 -04001081
Miao Xie5349d6c2014-06-19 10:42:49 +08001082 if (!block_group)
1083 return 0;
1084
Josef Bacika67509c2011-10-05 15:18:58 -04001085 /*
1086 * We want to add any pinned extents to our free space cache
1087 * so we don't leak the space
Chris Masond4452bc2014-05-19 20:47:56 -07001088 *
Li Zefandb804f22012-01-10 16:41:01 +08001089 * We shouldn't have switched the pinned extents yet so this is the
1090 * right one
1091 */
Nikolay Borisovfe119a62020-01-20 16:09:18 +02001092 unpin = &trans->transaction->pinned_extents;
Li Zefandb804f22012-01-10 16:41:01 +08001093
David Sterbab3470b52019-10-23 18:48:22 +02001094 start = block_group->start;
Li Zefandb804f22012-01-10 16:41:01 +08001095
David Sterbab3470b52019-10-23 18:48:22 +02001096 while (start < block_group->start + block_group->length) {
Li Zefandb804f22012-01-10 16:41:01 +08001097 ret = find_first_extent_bit(unpin, start,
1098 &extent_start, &extent_end,
Josef Bacike6138872012-09-27 17:07:30 -04001099 EXTENT_DIRTY, NULL);
Miao Xie5349d6c2014-06-19 10:42:49 +08001100 if (ret)
1101 return 0;
Josef Bacikbe1a12a2011-04-06 13:05:22 -04001102
Josef Bacika67509c2011-10-05 15:18:58 -04001103 /* This pinned extent is out of our range */
David Sterbab3470b52019-10-23 18:48:22 +02001104 if (extent_start >= block_group->start + block_group->length)
Miao Xie5349d6c2014-06-19 10:42:49 +08001105 return 0;
Josef Bacik0cb59c92010-07-02 12:14:14 -04001106
Li Zefandb804f22012-01-10 16:41:01 +08001107 extent_start = max(extent_start, start);
David Sterbab3470b52019-10-23 18:48:22 +02001108 extent_end = min(block_group->start + block_group->length,
1109 extent_end + 1);
Li Zefandb804f22012-01-10 16:41:01 +08001110 len = extent_end - extent_start;
Josef Bacik0cb59c92010-07-02 12:14:14 -04001111
Chris Masond4452bc2014-05-19 20:47:56 -07001112 *entries += 1;
1113 ret = io_ctl_add_entry(io_ctl, extent_start, len, NULL);
Josef Bacika67509c2011-10-05 15:18:58 -04001114 if (ret)
Miao Xie5349d6c2014-06-19 10:42:49 +08001115 return -ENOSPC;
Josef Bacik2f356122011-06-10 15:31:13 -04001116
Li Zefandb804f22012-01-10 16:41:01 +08001117 start = extent_end;
Josef Bacika67509c2011-10-05 15:18:58 -04001118 }
Josef Bacik0cb59c92010-07-02 12:14:14 -04001119
Miao Xie5349d6c2014-06-19 10:42:49 +08001120 return 0;
1121}
1122
1123static noinline_for_stack int
Chris Mason4c6d1d82015-04-06 13:17:20 -07001124write_bitmap_entries(struct btrfs_io_ctl *io_ctl, struct list_head *bitmap_list)
Miao Xie5349d6c2014-06-19 10:42:49 +08001125{
Geliang Tang7ae16812015-12-18 22:17:00 +08001126 struct btrfs_free_space *entry, *next;
Miao Xie5349d6c2014-06-19 10:42:49 +08001127 int ret;
1128
Josef Bacik0cb59c92010-07-02 12:14:14 -04001129 /* Write out the bitmaps */
Geliang Tang7ae16812015-12-18 22:17:00 +08001130 list_for_each_entry_safe(entry, next, bitmap_list, list) {
Chris Masond4452bc2014-05-19 20:47:56 -07001131 ret = io_ctl_add_bitmap(io_ctl, entry->bitmap);
Josef Bacika67509c2011-10-05 15:18:58 -04001132 if (ret)
Miao Xie5349d6c2014-06-19 10:42:49 +08001133 return -ENOSPC;
Josef Bacik0cb59c92010-07-02 12:14:14 -04001134 list_del_init(&entry->list);
Josef Bacikbe1a12a2011-04-06 13:05:22 -04001135 }
1136
Miao Xie5349d6c2014-06-19 10:42:49 +08001137 return 0;
1138}
Josef Bacik0cb59c92010-07-02 12:14:14 -04001139
Miao Xie5349d6c2014-06-19 10:42:49 +08001140static int flush_dirty_cache(struct inode *inode)
1141{
1142 int ret;
Josef Bacikbe1a12a2011-04-06 13:05:22 -04001143
Josef Bacik0ef8b722013-10-25 16:13:35 -04001144 ret = btrfs_wait_ordered_range(inode, 0, (u64)-1);
Miao Xie5349d6c2014-06-19 10:42:49 +08001145 if (ret)
Josef Bacik0ef8b722013-10-25 16:13:35 -04001146 clear_extent_bit(&BTRFS_I(inode)->io_tree, 0, inode->i_size - 1,
Omar Sandovale1821632019-08-15 14:04:04 -07001147 EXTENT_DELALLOC, 0, 0, NULL);
Chris Masond4452bc2014-05-19 20:47:56 -07001148
Miao Xie5349d6c2014-06-19 10:42:49 +08001149 return ret;
Chris Masond4452bc2014-05-19 20:47:56 -07001150}
1151
1152static void noinline_for_stack
Chris Masona3bdccc2015-04-24 11:00:00 -07001153cleanup_bitmap_list(struct list_head *bitmap_list)
Chris Masond4452bc2014-05-19 20:47:56 -07001154{
Geliang Tang7ae16812015-12-18 22:17:00 +08001155 struct btrfs_free_space *entry, *next;
Miao Xie5349d6c2014-06-19 10:42:49 +08001156
Geliang Tang7ae16812015-12-18 22:17:00 +08001157 list_for_each_entry_safe(entry, next, bitmap_list, list)
Chris Masond4452bc2014-05-19 20:47:56 -07001158 list_del_init(&entry->list);
Chris Masona3bdccc2015-04-24 11:00:00 -07001159}
1160
1161static void noinline_for_stack
1162cleanup_write_cache_enospc(struct inode *inode,
1163 struct btrfs_io_ctl *io_ctl,
David Sterba7bf1a152017-02-10 20:23:00 +01001164 struct extent_state **cached_state)
Chris Masona3bdccc2015-04-24 11:00:00 -07001165{
Chris Masond4452bc2014-05-19 20:47:56 -07001166 io_ctl_drop_pages(io_ctl);
1167 unlock_extent_cached(&BTRFS_I(inode)->io_tree, 0,
David Sterbae43bbe52017-12-12 21:43:52 +01001168 i_size_read(inode) - 1, cached_state);
Chris Masond4452bc2014-05-19 20:47:56 -07001169}
1170
Jeff Mahoneyafdb5712016-09-09 12:09:35 -04001171static int __btrfs_wait_cache_io(struct btrfs_root *root,
1172 struct btrfs_trans_handle *trans,
David Sterba32da53862019-10-29 19:20:18 +01001173 struct btrfs_block_group *block_group,
Jeff Mahoneyafdb5712016-09-09 12:09:35 -04001174 struct btrfs_io_ctl *io_ctl,
1175 struct btrfs_path *path, u64 offset)
Chris Masonc9dc4c62015-04-04 17:14:42 -07001176{
1177 int ret;
1178 struct inode *inode = io_ctl->inode;
1179
Chris Mason1bbc6212015-04-06 12:46:08 -07001180 if (!inode)
1181 return 0;
1182
Chris Masonc9dc4c62015-04-04 17:14:42 -07001183 /* Flush the dirty pages in the cache file. */
1184 ret = flush_dirty_cache(inode);
1185 if (ret)
1186 goto out;
1187
1188 /* Update the cache item to tell everyone this cache file is valid. */
1189 ret = update_cache_item(trans, root, inode, path, offset,
1190 io_ctl->entries, io_ctl->bitmaps);
1191out:
Chris Masonc9dc4c62015-04-04 17:14:42 -07001192 if (ret) {
1193 invalidate_inode_pages2(inode->i_mapping);
1194 BTRFS_I(inode)->generation = 0;
Filipe Mananabbcd1f42020-05-18 17:34:23 +01001195 if (block_group)
1196 btrfs_debug(root->fs_info,
Filipe Manana2e69a7a2020-05-18 17:34:11 +01001197 "failed to write free space cache for block group %llu error %d",
1198 block_group->start, ret);
Chris Masonc9dc4c62015-04-04 17:14:42 -07001199 }
Nikolay Borisov9a56fcd2020-11-02 16:48:59 +02001200 btrfs_update_inode(trans, root, BTRFS_I(inode));
Chris Masonc9dc4c62015-04-04 17:14:42 -07001201
1202 if (block_group) {
Chris Mason1bbc6212015-04-06 12:46:08 -07001203 /* the dirty list is protected by the dirty_bgs_lock */
1204 spin_lock(&trans->transaction->dirty_bgs_lock);
1205
1206 /* the disk_cache_state is protected by the block group lock */
Chris Masonc9dc4c62015-04-04 17:14:42 -07001207 spin_lock(&block_group->lock);
1208
1209 /*
1210 * only mark this as written if we didn't get put back on
Chris Mason1bbc6212015-04-06 12:46:08 -07001211 * the dirty list while waiting for IO. Otherwise our
1212 * cache state won't be right, and we won't get written again
Chris Masonc9dc4c62015-04-04 17:14:42 -07001213 */
1214 if (!ret && list_empty(&block_group->dirty_list))
1215 block_group->disk_cache_state = BTRFS_DC_WRITTEN;
1216 else if (ret)
1217 block_group->disk_cache_state = BTRFS_DC_ERROR;
1218
1219 spin_unlock(&block_group->lock);
Chris Mason1bbc6212015-04-06 12:46:08 -07001220 spin_unlock(&trans->transaction->dirty_bgs_lock);
Chris Masonc9dc4c62015-04-04 17:14:42 -07001221 io_ctl->inode = NULL;
1222 iput(inode);
1223 }
1224
1225 return ret;
1226
1227}
1228
Jeff Mahoneyafdb5712016-09-09 12:09:35 -04001229int btrfs_wait_cache_io(struct btrfs_trans_handle *trans,
David Sterba32da53862019-10-29 19:20:18 +01001230 struct btrfs_block_group *block_group,
Jeff Mahoneyafdb5712016-09-09 12:09:35 -04001231 struct btrfs_path *path)
1232{
1233 return __btrfs_wait_cache_io(block_group->fs_info->tree_root, trans,
1234 block_group, &block_group->io_ctl,
David Sterbab3470b52019-10-23 18:48:22 +02001235 path, block_group->start);
Jeff Mahoneyafdb5712016-09-09 12:09:35 -04001236}
1237
Chris Masond4452bc2014-05-19 20:47:56 -07001238/**
1239 * __btrfs_write_out_cache - write out cached info to an inode
1240 * @root - the root the inode belongs to
1241 * @ctl - the free space cache we are going to write out
1242 * @block_group - the block_group for this cache if it belongs to a block_group
1243 * @trans - the trans handle
Chris Masond4452bc2014-05-19 20:47:56 -07001244 *
1245 * This function writes out a free space cache struct to disk for quick recovery
Geliang Tang8cd1e732015-10-04 17:05:32 +08001246 * on mount. This will return 0 if it was successful in writing the cache out,
Omar Sandovalb8605452015-02-24 02:47:06 -08001247 * or an errno if it was not.
Chris Masond4452bc2014-05-19 20:47:56 -07001248 */
1249static int __btrfs_write_out_cache(struct btrfs_root *root, struct inode *inode,
1250 struct btrfs_free_space_ctl *ctl,
David Sterba32da53862019-10-29 19:20:18 +01001251 struct btrfs_block_group *block_group,
Chris Masonc9dc4c62015-04-04 17:14:42 -07001252 struct btrfs_io_ctl *io_ctl,
David Sterba0e8d9312017-02-10 20:26:24 +01001253 struct btrfs_trans_handle *trans)
Chris Masond4452bc2014-05-19 20:47:56 -07001254{
1255 struct extent_state *cached_state = NULL;
Miao Xie5349d6c2014-06-19 10:42:49 +08001256 LIST_HEAD(bitmap_list);
Chris Masond4452bc2014-05-19 20:47:56 -07001257 int entries = 0;
1258 int bitmaps = 0;
1259 int ret;
Chris Masonc9dc4c62015-04-04 17:14:42 -07001260 int must_iput = 0;
Chris Masond4452bc2014-05-19 20:47:56 -07001261
1262 if (!i_size_read(inode))
Omar Sandovalb8605452015-02-24 02:47:06 -08001263 return -EIO;
Chris Masond4452bc2014-05-19 20:47:56 -07001264
Chris Masonc9dc4c62015-04-04 17:14:42 -07001265 WARN_ON(io_ctl->pages);
Jeff Mahoneyf15376d2016-06-22 18:56:18 -04001266 ret = io_ctl_init(io_ctl, inode, 1);
Chris Masond4452bc2014-05-19 20:47:56 -07001267 if (ret)
Omar Sandovalb8605452015-02-24 02:47:06 -08001268 return ret;
Chris Masond4452bc2014-05-19 20:47:56 -07001269
Miao Xiee570fd22014-06-19 10:42:50 +08001270 if (block_group && (block_group->flags & BTRFS_BLOCK_GROUP_DATA)) {
1271 down_write(&block_group->data_rwsem);
1272 spin_lock(&block_group->lock);
1273 if (block_group->delalloc_bytes) {
1274 block_group->disk_cache_state = BTRFS_DC_WRITTEN;
1275 spin_unlock(&block_group->lock);
1276 up_write(&block_group->data_rwsem);
1277 BTRFS_I(inode)->generation = 0;
1278 ret = 0;
Chris Masonc9dc4c62015-04-04 17:14:42 -07001279 must_iput = 1;
Miao Xiee570fd22014-06-19 10:42:50 +08001280 goto out;
1281 }
1282 spin_unlock(&block_group->lock);
1283 }
1284
Chris Masond4452bc2014-05-19 20:47:56 -07001285 /* Lock all pages first so we can lock the extent safely. */
Johannes Thumshirn7a195f62020-02-12 00:10:20 +09001286 ret = io_ctl_prepare_pages(io_ctl, false);
Omar Sandovalb8605452015-02-24 02:47:06 -08001287 if (ret)
Josef Bacikb77000e2017-11-15 16:20:52 -05001288 goto out_unlock;
Chris Masond4452bc2014-05-19 20:47:56 -07001289
1290 lock_extent_bits(&BTRFS_I(inode)->io_tree, 0, i_size_read(inode) - 1,
David Sterbaff13db42015-12-03 14:30:40 +01001291 &cached_state);
Chris Masond4452bc2014-05-19 20:47:56 -07001292
Chris Masonc9dc4c62015-04-04 17:14:42 -07001293 io_ctl_set_generation(io_ctl, trans->transid);
Chris Masond4452bc2014-05-19 20:47:56 -07001294
Filipe Manana55507ce2014-12-01 17:04:09 +00001295 mutex_lock(&ctl->cache_writeout_mutex);
Miao Xie5349d6c2014-06-19 10:42:49 +08001296 /* Write out the extent entries in the free space cache */
Chris Mason1bbc6212015-04-06 12:46:08 -07001297 spin_lock(&ctl->tree_lock);
Chris Masonc9dc4c62015-04-04 17:14:42 -07001298 ret = write_cache_extent_entries(io_ctl, ctl,
Chris Masond4452bc2014-05-19 20:47:56 -07001299 block_group, &entries, &bitmaps,
1300 &bitmap_list);
Chris Masona3bdccc2015-04-24 11:00:00 -07001301 if (ret)
1302 goto out_nospc_locked;
Chris Masond4452bc2014-05-19 20:47:56 -07001303
Miao Xie5349d6c2014-06-19 10:42:49 +08001304 /*
1305 * Some spaces that are freed in the current transaction are pinned,
1306 * they will be added into free space cache after the transaction is
1307 * committed, we shouldn't lose them.
Chris Mason1bbc6212015-04-06 12:46:08 -07001308 *
1309 * If this changes while we are working we'll get added back to
1310 * the dirty list and redo it. No locking needed
Miao Xie5349d6c2014-06-19 10:42:49 +08001311 */
Nikolay Borisov6b45f6412020-01-20 16:09:15 +02001312 ret = write_pinned_extent_entries(trans, block_group, io_ctl, &entries);
Chris Masona3bdccc2015-04-24 11:00:00 -07001313 if (ret)
1314 goto out_nospc_locked;
Miao Xie5349d6c2014-06-19 10:42:49 +08001315
Filipe Manana55507ce2014-12-01 17:04:09 +00001316 /*
1317 * At last, we write out all the bitmaps and keep cache_writeout_mutex
1318 * locked while doing it because a concurrent trim can be manipulating
1319 * or freeing the bitmap.
1320 */
Chris Masonc9dc4c62015-04-04 17:14:42 -07001321 ret = write_bitmap_entries(io_ctl, &bitmap_list);
Chris Mason1bbc6212015-04-06 12:46:08 -07001322 spin_unlock(&ctl->tree_lock);
Filipe Manana55507ce2014-12-01 17:04:09 +00001323 mutex_unlock(&ctl->cache_writeout_mutex);
Miao Xie5349d6c2014-06-19 10:42:49 +08001324 if (ret)
1325 goto out_nospc;
1326
1327 /* Zero out the rest of the pages just to make sure */
Chris Masonc9dc4c62015-04-04 17:14:42 -07001328 io_ctl_zero_remaining_pages(io_ctl);
Miao Xie5349d6c2014-06-19 10:42:49 +08001329
1330 /* Everything is written out, now we dirty the pages in the file. */
Nikolay Borisov088545f2020-06-03 08:55:36 +03001331 ret = btrfs_dirty_pages(BTRFS_I(inode), io_ctl->pages,
1332 io_ctl->num_pages, 0, i_size_read(inode),
Goldwyn Rodriguesaa8c1a42020-10-14 09:55:45 -05001333 &cached_state, false);
Miao Xie5349d6c2014-06-19 10:42:49 +08001334 if (ret)
1335 goto out_nospc;
1336
Miao Xiee570fd22014-06-19 10:42:50 +08001337 if (block_group && (block_group->flags & BTRFS_BLOCK_GROUP_DATA))
1338 up_write(&block_group->data_rwsem);
Miao Xie5349d6c2014-06-19 10:42:49 +08001339 /*
1340 * Release the pages and unlock the extent, we will flush
1341 * them out later
1342 */
Chris Masonc9dc4c62015-04-04 17:14:42 -07001343 io_ctl_drop_pages(io_ctl);
Filipe Mananabbc37d62020-08-14 11:04:09 +01001344 io_ctl_free(io_ctl);
Miao Xie5349d6c2014-06-19 10:42:49 +08001345
1346 unlock_extent_cached(&BTRFS_I(inode)->io_tree, 0,
David Sterbae43bbe52017-12-12 21:43:52 +01001347 i_size_read(inode) - 1, &cached_state);
Miao Xie5349d6c2014-06-19 10:42:49 +08001348
Chris Masonc9dc4c62015-04-04 17:14:42 -07001349 /*
1350 * at this point the pages are under IO and we're happy,
Randy Dunlap260db432020-08-04 19:48:34 -07001351 * The caller is responsible for waiting on them and updating
Chris Masonc9dc4c62015-04-04 17:14:42 -07001352 * the cache and the inode
1353 */
1354 io_ctl->entries = entries;
1355 io_ctl->bitmaps = bitmaps;
1356
1357 ret = btrfs_fdatawrite_range(inode, 0, (u64)-1);
Miao Xie5349d6c2014-06-19 10:42:49 +08001358 if (ret)
Josef Bacik0ef8b722013-10-25 16:13:35 -04001359 goto out;
Josef Bacik0cb59c92010-07-02 12:14:14 -04001360
Chris Masonc9dc4c62015-04-04 17:14:42 -07001361 return 0;
1362
Chris Masona3bdccc2015-04-24 11:00:00 -07001363out_nospc_locked:
1364 cleanup_bitmap_list(&bitmap_list);
1365 spin_unlock(&ctl->tree_lock);
1366 mutex_unlock(&ctl->cache_writeout_mutex);
1367
Josef Bacika67509c2011-10-05 15:18:58 -04001368out_nospc:
David Sterba7bf1a152017-02-10 20:23:00 +01001369 cleanup_write_cache_enospc(inode, io_ctl, &cached_state);
Miao Xiee570fd22014-06-19 10:42:50 +08001370
Josef Bacikb77000e2017-11-15 16:20:52 -05001371out_unlock:
Miao Xiee570fd22014-06-19 10:42:50 +08001372 if (block_group && (block_group->flags & BTRFS_BLOCK_GROUP_DATA))
1373 up_write(&block_group->data_rwsem);
1374
Johannes Thumshirnfd8efa82020-02-12 00:10:22 +09001375out:
1376 io_ctl->inode = NULL;
1377 io_ctl_free(io_ctl);
1378 if (ret) {
1379 invalidate_inode_pages2(inode->i_mapping);
1380 BTRFS_I(inode)->generation = 0;
1381 }
Nikolay Borisov9a56fcd2020-11-02 16:48:59 +02001382 btrfs_update_inode(trans, root, BTRFS_I(inode));
Johannes Thumshirnfd8efa82020-02-12 00:10:22 +09001383 if (must_iput)
1384 iput(inode);
1385 return ret;
Li Zefan0414efa2011-04-20 10:20:14 +08001386}
1387
David Sterbafe041532019-03-20 13:51:56 +01001388int btrfs_write_out_cache(struct btrfs_trans_handle *trans,
David Sterba32da53862019-10-29 19:20:18 +01001389 struct btrfs_block_group *block_group,
Li Zefan0414efa2011-04-20 10:20:14 +08001390 struct btrfs_path *path)
1391{
David Sterbafe041532019-03-20 13:51:56 +01001392 struct btrfs_fs_info *fs_info = trans->fs_info;
Li Zefan0414efa2011-04-20 10:20:14 +08001393 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
1394 struct inode *inode;
1395 int ret = 0;
1396
Li Zefan0414efa2011-04-20 10:20:14 +08001397 spin_lock(&block_group->lock);
1398 if (block_group->disk_cache_state < BTRFS_DC_SETUP) {
1399 spin_unlock(&block_group->lock);
1400 return 0;
1401 }
1402 spin_unlock(&block_group->lock);
1403
David Sterba7949f332019-03-20 13:40:19 +01001404 inode = lookup_free_space_inode(block_group, path);
Li Zefan0414efa2011-04-20 10:20:14 +08001405 if (IS_ERR(inode))
1406 return 0;
1407
Jeff Mahoney77ab86b2017-02-15 16:28:30 -05001408 ret = __btrfs_write_out_cache(fs_info->tree_root, inode, ctl,
1409 block_group, &block_group->io_ctl, trans);
Josef Bacikc09544e2011-08-30 10:19:10 -04001410 if (ret) {
Filipe Mananabbcd1f42020-05-18 17:34:23 +01001411 btrfs_debug(fs_info,
Filipe Manana2e69a7a2020-05-18 17:34:11 +01001412 "failed to write free space cache for block group %llu error %d",
1413 block_group->start, ret);
Chris Masonc9dc4c62015-04-04 17:14:42 -07001414 spin_lock(&block_group->lock);
1415 block_group->disk_cache_state = BTRFS_DC_ERROR;
1416 spin_unlock(&block_group->lock);
1417
1418 block_group->io_ctl.inode = NULL;
1419 iput(inode);
Li Zefan0414efa2011-04-20 10:20:14 +08001420 }
1421
Chris Masonc9dc4c62015-04-04 17:14:42 -07001422 /*
1423 * if ret == 0 the caller is expected to call btrfs_wait_cache_io
1424 * to wait for IO and put the inode
1425 */
1426
Josef Bacik0cb59c92010-07-02 12:14:14 -04001427 return ret;
1428}
1429
Li Zefan34d52cb2011-03-29 13:46:06 +08001430static inline unsigned long offset_to_bit(u64 bitmap_start, u32 unit,
Josef Bacik96303082009-07-13 21:29:25 -04001431 u64 offset)
1432{
Josef Bacikb12d6862013-08-26 17:14:08 -04001433 ASSERT(offset >= bitmap_start);
Josef Bacik96303082009-07-13 21:29:25 -04001434 offset -= bitmap_start;
Li Zefan34d52cb2011-03-29 13:46:06 +08001435 return (unsigned long)(div_u64(offset, unit));
Josef Bacik96303082009-07-13 21:29:25 -04001436}
1437
Li Zefan34d52cb2011-03-29 13:46:06 +08001438static inline unsigned long bytes_to_bits(u64 bytes, u32 unit)
Josef Bacik96303082009-07-13 21:29:25 -04001439{
Li Zefan34d52cb2011-03-29 13:46:06 +08001440 return (unsigned long)(div_u64(bytes, unit));
Josef Bacik96303082009-07-13 21:29:25 -04001441}
1442
Li Zefan34d52cb2011-03-29 13:46:06 +08001443static inline u64 offset_to_bitmap(struct btrfs_free_space_ctl *ctl,
Josef Bacik96303082009-07-13 21:29:25 -04001444 u64 offset)
1445{
1446 u64 bitmap_start;
Feifei Xu0ef64472016-06-01 19:18:24 +08001447 u64 bytes_per_bitmap;
Josef Bacik96303082009-07-13 21:29:25 -04001448
Li Zefan34d52cb2011-03-29 13:46:06 +08001449 bytes_per_bitmap = BITS_PER_BITMAP * ctl->unit;
1450 bitmap_start = offset - ctl->start;
Feifei Xu0ef64472016-06-01 19:18:24 +08001451 bitmap_start = div64_u64(bitmap_start, bytes_per_bitmap);
Josef Bacik96303082009-07-13 21:29:25 -04001452 bitmap_start *= bytes_per_bitmap;
Li Zefan34d52cb2011-03-29 13:46:06 +08001453 bitmap_start += ctl->start;
Josef Bacik96303082009-07-13 21:29:25 -04001454
1455 return bitmap_start;
1456}
Josef Bacik0f9dd462008-09-23 13:14:11 -04001457
1458static int tree_insert_offset(struct rb_root *root, u64 offset,
Josef Bacik96303082009-07-13 21:29:25 -04001459 struct rb_node *node, int bitmap)
Josef Bacik0f9dd462008-09-23 13:14:11 -04001460{
1461 struct rb_node **p = &root->rb_node;
1462 struct rb_node *parent = NULL;
1463 struct btrfs_free_space *info;
1464
1465 while (*p) {
1466 parent = *p;
1467 info = rb_entry(parent, struct btrfs_free_space, offset_index);
1468
Josef Bacik96303082009-07-13 21:29:25 -04001469 if (offset < info->offset) {
Josef Bacik0f9dd462008-09-23 13:14:11 -04001470 p = &(*p)->rb_left;
Josef Bacik96303082009-07-13 21:29:25 -04001471 } else if (offset > info->offset) {
Josef Bacik0f9dd462008-09-23 13:14:11 -04001472 p = &(*p)->rb_right;
Josef Bacik96303082009-07-13 21:29:25 -04001473 } else {
1474 /*
1475 * we could have a bitmap entry and an extent entry
1476 * share the same offset. If this is the case, we want
1477 * the extent entry to always be found first if we do a
1478 * linear search through the tree, since we want to have
1479 * the quickest allocation time, and allocating from an
1480 * extent is faster than allocating from a bitmap. So
1481 * if we're inserting a bitmap and we find an entry at
1482 * this offset, we want to go right, or after this entry
1483 * logically. If we are inserting an extent and we've
1484 * found a bitmap, we want to go left, or before
1485 * logically.
1486 */
1487 if (bitmap) {
Josef Bacik207dde82011-05-13 14:49:23 -04001488 if (info->bitmap) {
1489 WARN_ON_ONCE(1);
1490 return -EEXIST;
1491 }
Josef Bacik96303082009-07-13 21:29:25 -04001492 p = &(*p)->rb_right;
1493 } else {
Josef Bacik207dde82011-05-13 14:49:23 -04001494 if (!info->bitmap) {
1495 WARN_ON_ONCE(1);
1496 return -EEXIST;
1497 }
Josef Bacik96303082009-07-13 21:29:25 -04001498 p = &(*p)->rb_left;
1499 }
1500 }
Josef Bacik0f9dd462008-09-23 13:14:11 -04001501 }
1502
1503 rb_link_node(node, parent, p);
1504 rb_insert_color(node, root);
1505
1506 return 0;
1507}
1508
1509/*
Josef Bacik70cb0742009-04-03 10:14:19 -04001510 * searches the tree for the given offset.
1511 *
Josef Bacik96303082009-07-13 21:29:25 -04001512 * fuzzy - If this is set, then we are trying to make an allocation, and we just
1513 * want a section that has at least bytes size and comes at or after the given
1514 * offset.
Josef Bacik0f9dd462008-09-23 13:14:11 -04001515 */
Josef Bacik96303082009-07-13 21:29:25 -04001516static struct btrfs_free_space *
Li Zefan34d52cb2011-03-29 13:46:06 +08001517tree_search_offset(struct btrfs_free_space_ctl *ctl,
Josef Bacik96303082009-07-13 21:29:25 -04001518 u64 offset, int bitmap_only, int fuzzy)
Josef Bacik0f9dd462008-09-23 13:14:11 -04001519{
Li Zefan34d52cb2011-03-29 13:46:06 +08001520 struct rb_node *n = ctl->free_space_offset.rb_node;
Josef Bacik96303082009-07-13 21:29:25 -04001521 struct btrfs_free_space *entry, *prev = NULL;
Josef Bacik0f9dd462008-09-23 13:14:11 -04001522
Josef Bacik96303082009-07-13 21:29:25 -04001523 /* find entry that is closest to the 'offset' */
1524 while (1) {
1525 if (!n) {
1526 entry = NULL;
Josef Bacik0f9dd462008-09-23 13:14:11 -04001527 break;
1528 }
Josef Bacik96303082009-07-13 21:29:25 -04001529
1530 entry = rb_entry(n, struct btrfs_free_space, offset_index);
1531 prev = entry;
1532
1533 if (offset < entry->offset)
1534 n = n->rb_left;
1535 else if (offset > entry->offset)
1536 n = n->rb_right;
1537 else
1538 break;
Josef Bacik0f9dd462008-09-23 13:14:11 -04001539 }
1540
Josef Bacik96303082009-07-13 21:29:25 -04001541 if (bitmap_only) {
1542 if (!entry)
1543 return NULL;
1544 if (entry->bitmap)
1545 return entry;
Josef Bacik0f9dd462008-09-23 13:14:11 -04001546
Josef Bacik96303082009-07-13 21:29:25 -04001547 /*
1548 * bitmap entry and extent entry may share same offset,
1549 * in that case, bitmap entry comes after extent entry.
1550 */
1551 n = rb_next(n);
1552 if (!n)
1553 return NULL;
1554 entry = rb_entry(n, struct btrfs_free_space, offset_index);
1555 if (entry->offset != offset)
1556 return NULL;
Josef Bacik0f9dd462008-09-23 13:14:11 -04001557
Josef Bacik96303082009-07-13 21:29:25 -04001558 WARN_ON(!entry->bitmap);
1559 return entry;
1560 } else if (entry) {
1561 if (entry->bitmap) {
Josef Bacik0f9dd462008-09-23 13:14:11 -04001562 /*
Josef Bacik96303082009-07-13 21:29:25 -04001563 * if previous extent entry covers the offset,
1564 * we should return it instead of the bitmap entry
Josef Bacik0f9dd462008-09-23 13:14:11 -04001565 */
Miao Xiede6c4112012-10-18 08:18:01 +00001566 n = rb_prev(&entry->offset_index);
1567 if (n) {
Josef Bacik96303082009-07-13 21:29:25 -04001568 prev = rb_entry(n, struct btrfs_free_space,
1569 offset_index);
Miao Xiede6c4112012-10-18 08:18:01 +00001570 if (!prev->bitmap &&
1571 prev->offset + prev->bytes > offset)
1572 entry = prev;
Josef Bacik0f9dd462008-09-23 13:14:11 -04001573 }
Josef Bacik96303082009-07-13 21:29:25 -04001574 }
1575 return entry;
1576 }
1577
1578 if (!prev)
1579 return NULL;
1580
1581 /* find last entry before the 'offset' */
1582 entry = prev;
1583 if (entry->offset > offset) {
1584 n = rb_prev(&entry->offset_index);
1585 if (n) {
1586 entry = rb_entry(n, struct btrfs_free_space,
1587 offset_index);
Josef Bacikb12d6862013-08-26 17:14:08 -04001588 ASSERT(entry->offset <= offset);
Josef Bacik0f9dd462008-09-23 13:14:11 -04001589 } else {
Josef Bacik96303082009-07-13 21:29:25 -04001590 if (fuzzy)
1591 return entry;
1592 else
1593 return NULL;
Josef Bacik0f9dd462008-09-23 13:14:11 -04001594 }
1595 }
1596
Josef Bacik96303082009-07-13 21:29:25 -04001597 if (entry->bitmap) {
Miao Xiede6c4112012-10-18 08:18:01 +00001598 n = rb_prev(&entry->offset_index);
1599 if (n) {
Josef Bacik96303082009-07-13 21:29:25 -04001600 prev = rb_entry(n, struct btrfs_free_space,
1601 offset_index);
Miao Xiede6c4112012-10-18 08:18:01 +00001602 if (!prev->bitmap &&
1603 prev->offset + prev->bytes > offset)
1604 return prev;
Josef Bacik96303082009-07-13 21:29:25 -04001605 }
Li Zefan34d52cb2011-03-29 13:46:06 +08001606 if (entry->offset + BITS_PER_BITMAP * ctl->unit > offset)
Josef Bacik96303082009-07-13 21:29:25 -04001607 return entry;
1608 } else if (entry->offset + entry->bytes > offset)
1609 return entry;
1610
1611 if (!fuzzy)
1612 return NULL;
1613
1614 while (1) {
1615 if (entry->bitmap) {
1616 if (entry->offset + BITS_PER_BITMAP *
Li Zefan34d52cb2011-03-29 13:46:06 +08001617 ctl->unit > offset)
Josef Bacik96303082009-07-13 21:29:25 -04001618 break;
1619 } else {
1620 if (entry->offset + entry->bytes > offset)
1621 break;
1622 }
1623
1624 n = rb_next(&entry->offset_index);
1625 if (!n)
1626 return NULL;
1627 entry = rb_entry(n, struct btrfs_free_space, offset_index);
1628 }
1629 return entry;
Josef Bacik0f9dd462008-09-23 13:14:11 -04001630}
1631
Li Zefanf333adb2010-11-09 14:57:39 +08001632static inline void
Li Zefan34d52cb2011-03-29 13:46:06 +08001633__unlink_free_space(struct btrfs_free_space_ctl *ctl,
Li Zefanf333adb2010-11-09 14:57:39 +08001634 struct btrfs_free_space *info)
Josef Bacik0f9dd462008-09-23 13:14:11 -04001635{
Li Zefan34d52cb2011-03-29 13:46:06 +08001636 rb_erase(&info->offset_index, &ctl->free_space_offset);
1637 ctl->free_extents--;
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001638
Dennis Zhou5dc7c102019-12-13 16:22:21 -08001639 if (!info->bitmap && !btrfs_free_space_trimmed(info)) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001640 ctl->discardable_extents[BTRFS_STAT_CURR]--;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08001641 ctl->discardable_bytes[BTRFS_STAT_CURR] -= info->bytes;
1642 }
Li Zefanf333adb2010-11-09 14:57:39 +08001643}
1644
Li Zefan34d52cb2011-03-29 13:46:06 +08001645static void unlink_free_space(struct btrfs_free_space_ctl *ctl,
Li Zefanf333adb2010-11-09 14:57:39 +08001646 struct btrfs_free_space *info)
1647{
Li Zefan34d52cb2011-03-29 13:46:06 +08001648 __unlink_free_space(ctl, info);
1649 ctl->free_space -= info->bytes;
Josef Bacik0f9dd462008-09-23 13:14:11 -04001650}
1651
Li Zefan34d52cb2011-03-29 13:46:06 +08001652static int link_free_space(struct btrfs_free_space_ctl *ctl,
Josef Bacik0f9dd462008-09-23 13:14:11 -04001653 struct btrfs_free_space *info)
1654{
1655 int ret = 0;
1656
Josef Bacikb12d6862013-08-26 17:14:08 -04001657 ASSERT(info->bytes || info->bitmap);
Li Zefan34d52cb2011-03-29 13:46:06 +08001658 ret = tree_insert_offset(&ctl->free_space_offset, info->offset,
Josef Bacik96303082009-07-13 21:29:25 -04001659 &info->offset_index, (info->bitmap != NULL));
Josef Bacik0f9dd462008-09-23 13:14:11 -04001660 if (ret)
1661 return ret;
1662
Dennis Zhou5dc7c102019-12-13 16:22:21 -08001663 if (!info->bitmap && !btrfs_free_space_trimmed(info)) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001664 ctl->discardable_extents[BTRFS_STAT_CURR]++;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08001665 ctl->discardable_bytes[BTRFS_STAT_CURR] += info->bytes;
1666 }
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001667
Li Zefan34d52cb2011-03-29 13:46:06 +08001668 ctl->free_space += info->bytes;
1669 ctl->free_extents++;
Josef Bacik96303082009-07-13 21:29:25 -04001670 return ret;
1671}
1672
Miao Xiebb3ac5a2011-08-05 09:32:35 +00001673static inline void __bitmap_clear_bits(struct btrfs_free_space_ctl *ctl,
1674 struct btrfs_free_space *info,
1675 u64 offset, u64 bytes)
Josef Bacik96303082009-07-13 21:29:25 -04001676{
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001677 unsigned long start, count, end;
1678 int extent_delta = -1;
Josef Bacik96303082009-07-13 21:29:25 -04001679
Li Zefan34d52cb2011-03-29 13:46:06 +08001680 start = offset_to_bit(info->offset, ctl->unit, offset);
1681 count = bytes_to_bits(bytes, ctl->unit);
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001682 end = start + count;
1683 ASSERT(end <= BITS_PER_BITMAP);
Josef Bacik96303082009-07-13 21:29:25 -04001684
Li Zefanf38b6e72011-03-14 13:40:51 +08001685 bitmap_clear(info->bitmap, start, count);
Josef Bacik96303082009-07-13 21:29:25 -04001686
1687 info->bytes -= bytes;
Josef Bacik553cceb2018-09-28 07:18:00 -04001688 if (info->max_extent_size > ctl->unit)
1689 info->max_extent_size = 0;
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001690
1691 if (start && test_bit(start - 1, info->bitmap))
1692 extent_delta++;
1693
1694 if (end < BITS_PER_BITMAP && test_bit(end, info->bitmap))
1695 extent_delta++;
1696
1697 info->bitmap_extents += extent_delta;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08001698 if (!btrfs_free_space_trimmed(info)) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001699 ctl->discardable_extents[BTRFS_STAT_CURR] += extent_delta;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08001700 ctl->discardable_bytes[BTRFS_STAT_CURR] -= bytes;
1701 }
Miao Xiebb3ac5a2011-08-05 09:32:35 +00001702}
1703
1704static void bitmap_clear_bits(struct btrfs_free_space_ctl *ctl,
1705 struct btrfs_free_space *info, u64 offset,
1706 u64 bytes)
1707{
1708 __bitmap_clear_bits(ctl, info, offset, bytes);
Li Zefan34d52cb2011-03-29 13:46:06 +08001709 ctl->free_space -= bytes;
Josef Bacik96303082009-07-13 21:29:25 -04001710}
1711
Li Zefan34d52cb2011-03-29 13:46:06 +08001712static void bitmap_set_bits(struct btrfs_free_space_ctl *ctl,
Josef Bacik817d52f2009-07-13 21:29:25 -04001713 struct btrfs_free_space *info, u64 offset,
1714 u64 bytes)
Josef Bacik96303082009-07-13 21:29:25 -04001715{
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001716 unsigned long start, count, end;
1717 int extent_delta = 1;
Josef Bacik96303082009-07-13 21:29:25 -04001718
Li Zefan34d52cb2011-03-29 13:46:06 +08001719 start = offset_to_bit(info->offset, ctl->unit, offset);
1720 count = bytes_to_bits(bytes, ctl->unit);
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001721 end = start + count;
1722 ASSERT(end <= BITS_PER_BITMAP);
Josef Bacik96303082009-07-13 21:29:25 -04001723
Li Zefanf38b6e72011-03-14 13:40:51 +08001724 bitmap_set(info->bitmap, start, count);
Josef Bacik96303082009-07-13 21:29:25 -04001725
1726 info->bytes += bytes;
Li Zefan34d52cb2011-03-29 13:46:06 +08001727 ctl->free_space += bytes;
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001728
1729 if (start && test_bit(start - 1, info->bitmap))
1730 extent_delta--;
1731
1732 if (end < BITS_PER_BITMAP && test_bit(end, info->bitmap))
1733 extent_delta--;
1734
1735 info->bitmap_extents += extent_delta;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08001736 if (!btrfs_free_space_trimmed(info)) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001737 ctl->discardable_extents[BTRFS_STAT_CURR] += extent_delta;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08001738 ctl->discardable_bytes[BTRFS_STAT_CURR] += bytes;
1739 }
Josef Bacik96303082009-07-13 21:29:25 -04001740}
1741
Miao Xiea4820392013-09-09 13:19:42 +08001742/*
1743 * If we can not find suitable extent, we will use bytes to record
1744 * the size of the max extent.
1745 */
Li Zefan34d52cb2011-03-29 13:46:06 +08001746static int search_bitmap(struct btrfs_free_space_ctl *ctl,
Josef Bacik96303082009-07-13 21:29:25 -04001747 struct btrfs_free_space *bitmap_info, u64 *offset,
Josef Bacik0584f712015-10-02 16:12:23 -04001748 u64 *bytes, bool for_alloc)
Josef Bacik96303082009-07-13 21:29:25 -04001749{
1750 unsigned long found_bits = 0;
Miao Xiea4820392013-09-09 13:19:42 +08001751 unsigned long max_bits = 0;
Josef Bacik96303082009-07-13 21:29:25 -04001752 unsigned long bits, i;
1753 unsigned long next_zero;
Miao Xiea4820392013-09-09 13:19:42 +08001754 unsigned long extent_bits;
Josef Bacik96303082009-07-13 21:29:25 -04001755
Josef Bacikcef40482015-10-02 16:09:42 -04001756 /*
1757 * Skip searching the bitmap if we don't have a contiguous section that
1758 * is large enough for this allocation.
1759 */
Josef Bacik0584f712015-10-02 16:12:23 -04001760 if (for_alloc &&
1761 bitmap_info->max_extent_size &&
Josef Bacikcef40482015-10-02 16:09:42 -04001762 bitmap_info->max_extent_size < *bytes) {
1763 *bytes = bitmap_info->max_extent_size;
1764 return -1;
1765 }
1766
Li Zefan34d52cb2011-03-29 13:46:06 +08001767 i = offset_to_bit(bitmap_info->offset, ctl->unit,
Josef Bacik96303082009-07-13 21:29:25 -04001768 max_t(u64, *offset, bitmap_info->offset));
Li Zefan34d52cb2011-03-29 13:46:06 +08001769 bits = bytes_to_bits(*bytes, ctl->unit);
Josef Bacik96303082009-07-13 21:29:25 -04001770
Wei Yongjunebb3dad2012-09-13 20:29:02 -06001771 for_each_set_bit_from(i, bitmap_info->bitmap, BITS_PER_BITMAP) {
Josef Bacik0584f712015-10-02 16:12:23 -04001772 if (for_alloc && bits == 1) {
1773 found_bits = 1;
1774 break;
1775 }
Josef Bacik96303082009-07-13 21:29:25 -04001776 next_zero = find_next_zero_bit(bitmap_info->bitmap,
1777 BITS_PER_BITMAP, i);
Miao Xiea4820392013-09-09 13:19:42 +08001778 extent_bits = next_zero - i;
1779 if (extent_bits >= bits) {
1780 found_bits = extent_bits;
Josef Bacik96303082009-07-13 21:29:25 -04001781 break;
Miao Xiea4820392013-09-09 13:19:42 +08001782 } else if (extent_bits > max_bits) {
1783 max_bits = extent_bits;
Josef Bacik96303082009-07-13 21:29:25 -04001784 }
1785 i = next_zero;
1786 }
1787
1788 if (found_bits) {
Li Zefan34d52cb2011-03-29 13:46:06 +08001789 *offset = (u64)(i * ctl->unit) + bitmap_info->offset;
1790 *bytes = (u64)(found_bits) * ctl->unit;
Josef Bacik96303082009-07-13 21:29:25 -04001791 return 0;
1792 }
1793
Miao Xiea4820392013-09-09 13:19:42 +08001794 *bytes = (u64)(max_bits) * ctl->unit;
Josef Bacikcef40482015-10-02 16:09:42 -04001795 bitmap_info->max_extent_size = *bytes;
Josef Bacik96303082009-07-13 21:29:25 -04001796 return -1;
1797}
1798
Josef Bacikad22cf62018-10-12 15:32:33 -04001799static inline u64 get_max_extent_size(struct btrfs_free_space *entry)
1800{
1801 if (entry->bitmap)
1802 return entry->max_extent_size;
1803 return entry->bytes;
1804}
1805
Miao Xiea4820392013-09-09 13:19:42 +08001806/* Cache the size of the max extent in bytes */
Li Zefan34d52cb2011-03-29 13:46:06 +08001807static struct btrfs_free_space *
David Woodhouse53b381b2013-01-29 18:40:14 -05001808find_free_space(struct btrfs_free_space_ctl *ctl, u64 *offset, u64 *bytes,
Miao Xiea4820392013-09-09 13:19:42 +08001809 unsigned long align, u64 *max_extent_size)
Josef Bacik96303082009-07-13 21:29:25 -04001810{
1811 struct btrfs_free_space *entry;
1812 struct rb_node *node;
David Woodhouse53b381b2013-01-29 18:40:14 -05001813 u64 tmp;
1814 u64 align_off;
Josef Bacik96303082009-07-13 21:29:25 -04001815 int ret;
1816
Li Zefan34d52cb2011-03-29 13:46:06 +08001817 if (!ctl->free_space_offset.rb_node)
Miao Xiea4820392013-09-09 13:19:42 +08001818 goto out;
Josef Bacik96303082009-07-13 21:29:25 -04001819
Li Zefan34d52cb2011-03-29 13:46:06 +08001820 entry = tree_search_offset(ctl, offset_to_bitmap(ctl, *offset), 0, 1);
Josef Bacik96303082009-07-13 21:29:25 -04001821 if (!entry)
Miao Xiea4820392013-09-09 13:19:42 +08001822 goto out;
Josef Bacik96303082009-07-13 21:29:25 -04001823
1824 for (node = &entry->offset_index; node; node = rb_next(node)) {
1825 entry = rb_entry(node, struct btrfs_free_space, offset_index);
Miao Xiea4820392013-09-09 13:19:42 +08001826 if (entry->bytes < *bytes) {
Josef Bacikad22cf62018-10-12 15:32:33 -04001827 *max_extent_size = max(get_max_extent_size(entry),
1828 *max_extent_size);
Josef Bacik96303082009-07-13 21:29:25 -04001829 continue;
Miao Xiea4820392013-09-09 13:19:42 +08001830 }
Josef Bacik96303082009-07-13 21:29:25 -04001831
David Woodhouse53b381b2013-01-29 18:40:14 -05001832 /* make sure the space returned is big enough
1833 * to match our requested alignment
1834 */
1835 if (*bytes >= align) {
Miao Xiea4820392013-09-09 13:19:42 +08001836 tmp = entry->offset - ctl->start + align - 1;
David Sterba47c57132015-02-20 18:43:47 +01001837 tmp = div64_u64(tmp, align);
David Woodhouse53b381b2013-01-29 18:40:14 -05001838 tmp = tmp * align + ctl->start;
1839 align_off = tmp - entry->offset;
1840 } else {
1841 align_off = 0;
1842 tmp = entry->offset;
1843 }
1844
Miao Xiea4820392013-09-09 13:19:42 +08001845 if (entry->bytes < *bytes + align_off) {
Josef Bacikad22cf62018-10-12 15:32:33 -04001846 *max_extent_size = max(get_max_extent_size(entry),
1847 *max_extent_size);
David Woodhouse53b381b2013-01-29 18:40:14 -05001848 continue;
Miao Xiea4820392013-09-09 13:19:42 +08001849 }
David Woodhouse53b381b2013-01-29 18:40:14 -05001850
Josef Bacik96303082009-07-13 21:29:25 -04001851 if (entry->bitmap) {
Miao Xiea4820392013-09-09 13:19:42 +08001852 u64 size = *bytes;
1853
Josef Bacik0584f712015-10-02 16:12:23 -04001854 ret = search_bitmap(ctl, entry, &tmp, &size, true);
David Woodhouse53b381b2013-01-29 18:40:14 -05001855 if (!ret) {
1856 *offset = tmp;
Miao Xiea4820392013-09-09 13:19:42 +08001857 *bytes = size;
Josef Bacik96303082009-07-13 21:29:25 -04001858 return entry;
Josef Bacikad22cf62018-10-12 15:32:33 -04001859 } else {
1860 *max_extent_size =
1861 max(get_max_extent_size(entry),
1862 *max_extent_size);
David Woodhouse53b381b2013-01-29 18:40:14 -05001863 }
Josef Bacik96303082009-07-13 21:29:25 -04001864 continue;
1865 }
1866
David Woodhouse53b381b2013-01-29 18:40:14 -05001867 *offset = tmp;
1868 *bytes = entry->bytes - align_off;
Josef Bacik96303082009-07-13 21:29:25 -04001869 return entry;
1870 }
Miao Xiea4820392013-09-09 13:19:42 +08001871out:
Josef Bacik96303082009-07-13 21:29:25 -04001872 return NULL;
1873}
1874
Li Zefan34d52cb2011-03-29 13:46:06 +08001875static void add_new_bitmap(struct btrfs_free_space_ctl *ctl,
Josef Bacik96303082009-07-13 21:29:25 -04001876 struct btrfs_free_space *info, u64 offset)
1877{
Li Zefan34d52cb2011-03-29 13:46:06 +08001878 info->offset = offset_to_bitmap(ctl, offset);
Josef Bacikf019f422009-09-11 16:11:20 -04001879 info->bytes = 0;
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001880 info->bitmap_extents = 0;
Alexandre Olivaf2d0f672011-11-28 12:04:43 -02001881 INIT_LIST_HEAD(&info->list);
Li Zefan34d52cb2011-03-29 13:46:06 +08001882 link_free_space(ctl, info);
1883 ctl->total_bitmaps++;
David Sterbafa598b02020-12-03 17:18:38 +01001884 recalculate_thresholds(ctl);
Josef Bacik96303082009-07-13 21:29:25 -04001885}
1886
Li Zefan34d52cb2011-03-29 13:46:06 +08001887static void free_bitmap(struct btrfs_free_space_ctl *ctl,
Li Zefanedf6e2d2010-11-09 14:50:07 +08001888 struct btrfs_free_space *bitmap_info)
1889{
Dennis Zhou27f0afc2020-01-02 16:26:45 -05001890 /*
1891 * Normally when this is called, the bitmap is completely empty. However,
1892 * if we are blowing up the free space cache for one reason or another
1893 * via __btrfs_remove_free_space_cache(), then it may not be freed and
1894 * we may leave stats on the table.
1895 */
1896 if (bitmap_info->bytes && !btrfs_free_space_trimmed(bitmap_info)) {
1897 ctl->discardable_extents[BTRFS_STAT_CURR] -=
1898 bitmap_info->bitmap_extents;
1899 ctl->discardable_bytes[BTRFS_STAT_CURR] -= bitmap_info->bytes;
1900
1901 }
Li Zefan34d52cb2011-03-29 13:46:06 +08001902 unlink_free_space(ctl, bitmap_info);
Christophe Leroy3acd4852019-08-21 15:05:55 +00001903 kmem_cache_free(btrfs_free_space_bitmap_cachep, bitmap_info->bitmap);
Josef Bacikdc89e982011-01-28 17:05:48 -05001904 kmem_cache_free(btrfs_free_space_cachep, bitmap_info);
Li Zefan34d52cb2011-03-29 13:46:06 +08001905 ctl->total_bitmaps--;
David Sterbafa598b02020-12-03 17:18:38 +01001906 recalculate_thresholds(ctl);
Li Zefanedf6e2d2010-11-09 14:50:07 +08001907}
1908
Li Zefan34d52cb2011-03-29 13:46:06 +08001909static noinline int remove_from_bitmap(struct btrfs_free_space_ctl *ctl,
Josef Bacik96303082009-07-13 21:29:25 -04001910 struct btrfs_free_space *bitmap_info,
1911 u64 *offset, u64 *bytes)
1912{
1913 u64 end;
Josef Bacik6606bb92009-07-31 11:03:58 -04001914 u64 search_start, search_bytes;
1915 int ret;
Josef Bacik96303082009-07-13 21:29:25 -04001916
1917again:
Li Zefan34d52cb2011-03-29 13:46:06 +08001918 end = bitmap_info->offset + (u64)(BITS_PER_BITMAP * ctl->unit) - 1;
Josef Bacik96303082009-07-13 21:29:25 -04001919
Josef Bacik6606bb92009-07-31 11:03:58 -04001920 /*
Josef Bacikbdb7d302012-06-27 15:10:56 -04001921 * We need to search for bits in this bitmap. We could only cover some
1922 * of the extent in this bitmap thanks to how we add space, so we need
1923 * to search for as much as it as we can and clear that amount, and then
1924 * go searching for the next bit.
Josef Bacik6606bb92009-07-31 11:03:58 -04001925 */
1926 search_start = *offset;
Josef Bacikbdb7d302012-06-27 15:10:56 -04001927 search_bytes = ctl->unit;
Josef Bacik13dbc082011-02-03 02:39:52 +00001928 search_bytes = min(search_bytes, end - search_start + 1);
Josef Bacik0584f712015-10-02 16:12:23 -04001929 ret = search_bitmap(ctl, bitmap_info, &search_start, &search_bytes,
1930 false);
Josef Bacikb50c6e22013-04-25 15:55:30 -04001931 if (ret < 0 || search_start != *offset)
1932 return -EINVAL;
Josef Bacik6606bb92009-07-31 11:03:58 -04001933
Josef Bacikbdb7d302012-06-27 15:10:56 -04001934 /* We may have found more bits than what we need */
1935 search_bytes = min(search_bytes, *bytes);
1936
1937 /* Cannot clear past the end of the bitmap */
1938 search_bytes = min(search_bytes, end - search_start + 1);
1939
1940 bitmap_clear_bits(ctl, bitmap_info, search_start, search_bytes);
1941 *offset += search_bytes;
1942 *bytes -= search_bytes;
Josef Bacik96303082009-07-13 21:29:25 -04001943
1944 if (*bytes) {
Josef Bacik6606bb92009-07-31 11:03:58 -04001945 struct rb_node *next = rb_next(&bitmap_info->offset_index);
Li Zefanedf6e2d2010-11-09 14:50:07 +08001946 if (!bitmap_info->bytes)
Li Zefan34d52cb2011-03-29 13:46:06 +08001947 free_bitmap(ctl, bitmap_info);
Josef Bacik96303082009-07-13 21:29:25 -04001948
Josef Bacik6606bb92009-07-31 11:03:58 -04001949 /*
1950 * no entry after this bitmap, but we still have bytes to
1951 * remove, so something has gone wrong.
1952 */
1953 if (!next)
Josef Bacik96303082009-07-13 21:29:25 -04001954 return -EINVAL;
1955
Josef Bacik6606bb92009-07-31 11:03:58 -04001956 bitmap_info = rb_entry(next, struct btrfs_free_space,
1957 offset_index);
1958
1959 /*
1960 * if the next entry isn't a bitmap we need to return to let the
1961 * extent stuff do its work.
1962 */
Josef Bacik96303082009-07-13 21:29:25 -04001963 if (!bitmap_info->bitmap)
1964 return -EAGAIN;
1965
Josef Bacik6606bb92009-07-31 11:03:58 -04001966 /*
1967 * Ok the next item is a bitmap, but it may not actually hold
1968 * the information for the rest of this free space stuff, so
1969 * look for it, and if we don't find it return so we can try
1970 * everything over again.
1971 */
1972 search_start = *offset;
Josef Bacikbdb7d302012-06-27 15:10:56 -04001973 search_bytes = ctl->unit;
Li Zefan34d52cb2011-03-29 13:46:06 +08001974 ret = search_bitmap(ctl, bitmap_info, &search_start,
Josef Bacik0584f712015-10-02 16:12:23 -04001975 &search_bytes, false);
Josef Bacik6606bb92009-07-31 11:03:58 -04001976 if (ret < 0 || search_start != *offset)
1977 return -EAGAIN;
1978
Josef Bacik96303082009-07-13 21:29:25 -04001979 goto again;
Li Zefanedf6e2d2010-11-09 14:50:07 +08001980 } else if (!bitmap_info->bytes)
Li Zefan34d52cb2011-03-29 13:46:06 +08001981 free_bitmap(ctl, bitmap_info);
Josef Bacik96303082009-07-13 21:29:25 -04001982
1983 return 0;
1984}
1985
Josef Bacik2cdc3422011-05-27 14:07:49 -04001986static u64 add_bytes_to_bitmap(struct btrfs_free_space_ctl *ctl,
1987 struct btrfs_free_space *info, u64 offset,
Dennis Zhouda080fe2019-12-13 16:22:13 -08001988 u64 bytes, enum btrfs_trim_state trim_state)
Josef Bacik2cdc3422011-05-27 14:07:49 -04001989{
1990 u64 bytes_to_set = 0;
1991 u64 end;
1992
Dennis Zhouda080fe2019-12-13 16:22:13 -08001993 /*
1994 * This is a tradeoff to make bitmap trim state minimal. We mark the
1995 * whole bitmap untrimmed if at any point we add untrimmed regions.
1996 */
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001997 if (trim_state == BTRFS_TRIM_STATE_UNTRIMMED) {
Dennis Zhou5dc7c102019-12-13 16:22:21 -08001998 if (btrfs_free_space_trimmed(info)) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001999 ctl->discardable_extents[BTRFS_STAT_CURR] +=
2000 info->bitmap_extents;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08002001 ctl->discardable_bytes[BTRFS_STAT_CURR] += info->bytes;
2002 }
Dennis Zhouda080fe2019-12-13 16:22:13 -08002003 info->trim_state = BTRFS_TRIM_STATE_UNTRIMMED;
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002004 }
Dennis Zhouda080fe2019-12-13 16:22:13 -08002005
Josef Bacik2cdc3422011-05-27 14:07:49 -04002006 end = info->offset + (u64)(BITS_PER_BITMAP * ctl->unit);
2007
2008 bytes_to_set = min(end - offset, bytes);
2009
2010 bitmap_set_bits(ctl, info, offset, bytes_to_set);
2011
Josef Bacikcef40482015-10-02 16:09:42 -04002012 /*
2013 * We set some bytes, we have no idea what the max extent size is
2014 * anymore.
2015 */
2016 info->max_extent_size = 0;
2017
Josef Bacik2cdc3422011-05-27 14:07:49 -04002018 return bytes_to_set;
2019
2020}
2021
Li Zefan34d52cb2011-03-29 13:46:06 +08002022static bool use_bitmap(struct btrfs_free_space_ctl *ctl,
2023 struct btrfs_free_space *info)
Josef Bacik96303082009-07-13 21:29:25 -04002024{
David Sterba32da53862019-10-29 19:20:18 +01002025 struct btrfs_block_group *block_group = ctl->private;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002026 struct btrfs_fs_info *fs_info = block_group->fs_info;
Josef Bacikd0bd4562015-09-23 14:54:14 -04002027 bool forced = false;
2028
2029#ifdef CONFIG_BTRFS_DEBUG
Jeff Mahoney2ff7e612016-06-22 18:54:24 -04002030 if (btrfs_should_fragment_free_space(block_group))
Josef Bacikd0bd4562015-09-23 14:54:14 -04002031 forced = true;
2032#endif
Josef Bacik96303082009-07-13 21:29:25 -04002033
Dennis Zhou5d90c5c2020-01-02 16:26:43 -05002034 /* This is a way to reclaim large regions from the bitmaps. */
2035 if (!forced && info->bytes >= FORCE_EXTENT_THRESHOLD)
2036 return false;
2037
Josef Bacik96303082009-07-13 21:29:25 -04002038 /*
2039 * If we are below the extents threshold then we can add this as an
2040 * extent, and don't have to deal with the bitmap
2041 */
Josef Bacikd0bd4562015-09-23 14:54:14 -04002042 if (!forced && ctl->free_extents < ctl->extents_thresh) {
Josef Bacik32cb0842011-03-18 16:16:21 -04002043 /*
2044 * If this block group has some small extents we don't want to
2045 * use up all of our free slots in the cache with them, we want
Nicholas D Steeves01327612016-05-19 21:18:45 -04002046 * to reserve them to larger extents, however if we have plenty
Josef Bacik32cb0842011-03-18 16:16:21 -04002047 * of cache left then go ahead an dadd them, no sense in adding
2048 * the overhead of a bitmap if we don't have to.
2049 */
Dennis Zhouf9bb6152020-01-02 16:26:44 -05002050 if (info->bytes <= fs_info->sectorsize * 8) {
2051 if (ctl->free_extents * 3 <= ctl->extents_thresh)
Li Zefan34d52cb2011-03-29 13:46:06 +08002052 return false;
Josef Bacik32cb0842011-03-18 16:16:21 -04002053 } else {
Li Zefan34d52cb2011-03-29 13:46:06 +08002054 return false;
Josef Bacik32cb0842011-03-18 16:16:21 -04002055 }
2056 }
Josef Bacik96303082009-07-13 21:29:25 -04002057
2058 /*
Josef Bacikdde57402013-02-12 14:07:51 -05002059 * The original block groups from mkfs can be really small, like 8
2060 * megabytes, so don't bother with a bitmap for those entries. However
2061 * some block groups can be smaller than what a bitmap would cover but
2062 * are still large enough that they could overflow the 32k memory limit,
2063 * so allow those block groups to still be allowed to have a bitmap
2064 * entry.
Josef Bacik96303082009-07-13 21:29:25 -04002065 */
David Sterbab3470b52019-10-23 18:48:22 +02002066 if (((BITS_PER_BITMAP * ctl->unit) >> 1) > block_group->length)
Li Zefan34d52cb2011-03-29 13:46:06 +08002067 return false;
2068
2069 return true;
2070}
2071
David Sterba20e55062015-11-19 11:42:28 +01002072static const struct btrfs_free_space_op free_space_op = {
Josef Bacik2cdc3422011-05-27 14:07:49 -04002073 .use_bitmap = use_bitmap,
2074};
2075
Li Zefan34d52cb2011-03-29 13:46:06 +08002076static int insert_into_bitmap(struct btrfs_free_space_ctl *ctl,
2077 struct btrfs_free_space *info)
2078{
2079 struct btrfs_free_space *bitmap_info;
David Sterba32da53862019-10-29 19:20:18 +01002080 struct btrfs_block_group *block_group = NULL;
Li Zefan34d52cb2011-03-29 13:46:06 +08002081 int added = 0;
Josef Bacik2cdc3422011-05-27 14:07:49 -04002082 u64 bytes, offset, bytes_added;
Dennis Zhouda080fe2019-12-13 16:22:13 -08002083 enum btrfs_trim_state trim_state;
Li Zefan34d52cb2011-03-29 13:46:06 +08002084 int ret;
Josef Bacik96303082009-07-13 21:29:25 -04002085
2086 bytes = info->bytes;
2087 offset = info->offset;
Dennis Zhouda080fe2019-12-13 16:22:13 -08002088 trim_state = info->trim_state;
Josef Bacik96303082009-07-13 21:29:25 -04002089
Li Zefan34d52cb2011-03-29 13:46:06 +08002090 if (!ctl->op->use_bitmap(ctl, info))
2091 return 0;
2092
Josef Bacik2cdc3422011-05-27 14:07:49 -04002093 if (ctl->op == &free_space_op)
2094 block_group = ctl->private;
Chris Mason38e87882011-06-10 16:36:57 -04002095again:
Josef Bacik2cdc3422011-05-27 14:07:49 -04002096 /*
2097 * Since we link bitmaps right into the cluster we need to see if we
2098 * have a cluster here, and if so and it has our bitmap we need to add
2099 * the free space to that bitmap.
2100 */
2101 if (block_group && !list_empty(&block_group->cluster_list)) {
2102 struct btrfs_free_cluster *cluster;
2103 struct rb_node *node;
2104 struct btrfs_free_space *entry;
2105
2106 cluster = list_entry(block_group->cluster_list.next,
2107 struct btrfs_free_cluster,
2108 block_group_list);
2109 spin_lock(&cluster->lock);
2110 node = rb_first(&cluster->root);
2111 if (!node) {
2112 spin_unlock(&cluster->lock);
Chris Mason38e87882011-06-10 16:36:57 -04002113 goto no_cluster_bitmap;
Josef Bacik2cdc3422011-05-27 14:07:49 -04002114 }
2115
2116 entry = rb_entry(node, struct btrfs_free_space, offset_index);
2117 if (!entry->bitmap) {
2118 spin_unlock(&cluster->lock);
Chris Mason38e87882011-06-10 16:36:57 -04002119 goto no_cluster_bitmap;
Josef Bacik2cdc3422011-05-27 14:07:49 -04002120 }
2121
2122 if (entry->offset == offset_to_bitmap(ctl, offset)) {
Dennis Zhouda080fe2019-12-13 16:22:13 -08002123 bytes_added = add_bytes_to_bitmap(ctl, entry, offset,
2124 bytes, trim_state);
Josef Bacik2cdc3422011-05-27 14:07:49 -04002125 bytes -= bytes_added;
2126 offset += bytes_added;
2127 }
2128 spin_unlock(&cluster->lock);
2129 if (!bytes) {
2130 ret = 1;
2131 goto out;
2132 }
2133 }
Chris Mason38e87882011-06-10 16:36:57 -04002134
2135no_cluster_bitmap:
Li Zefan34d52cb2011-03-29 13:46:06 +08002136 bitmap_info = tree_search_offset(ctl, offset_to_bitmap(ctl, offset),
Josef Bacik96303082009-07-13 21:29:25 -04002137 1, 0);
2138 if (!bitmap_info) {
Josef Bacikb12d6862013-08-26 17:14:08 -04002139 ASSERT(added == 0);
Josef Bacik96303082009-07-13 21:29:25 -04002140 goto new_bitmap;
2141 }
2142
Dennis Zhouda080fe2019-12-13 16:22:13 -08002143 bytes_added = add_bytes_to_bitmap(ctl, bitmap_info, offset, bytes,
2144 trim_state);
Josef Bacik2cdc3422011-05-27 14:07:49 -04002145 bytes -= bytes_added;
2146 offset += bytes_added;
2147 added = 0;
Josef Bacik96303082009-07-13 21:29:25 -04002148
2149 if (!bytes) {
2150 ret = 1;
2151 goto out;
2152 } else
2153 goto again;
2154
2155new_bitmap:
2156 if (info && info->bitmap) {
Li Zefan34d52cb2011-03-29 13:46:06 +08002157 add_new_bitmap(ctl, info, offset);
Josef Bacik96303082009-07-13 21:29:25 -04002158 added = 1;
2159 info = NULL;
2160 goto again;
2161 } else {
Li Zefan34d52cb2011-03-29 13:46:06 +08002162 spin_unlock(&ctl->tree_lock);
Josef Bacik96303082009-07-13 21:29:25 -04002163
2164 /* no pre-allocated info, allocate a new one */
2165 if (!info) {
Josef Bacikdc89e982011-01-28 17:05:48 -05002166 info = kmem_cache_zalloc(btrfs_free_space_cachep,
2167 GFP_NOFS);
Josef Bacik96303082009-07-13 21:29:25 -04002168 if (!info) {
Li Zefan34d52cb2011-03-29 13:46:06 +08002169 spin_lock(&ctl->tree_lock);
Josef Bacik96303082009-07-13 21:29:25 -04002170 ret = -ENOMEM;
2171 goto out;
2172 }
2173 }
2174
2175 /* allocate the bitmap */
Christophe Leroy3acd4852019-08-21 15:05:55 +00002176 info->bitmap = kmem_cache_zalloc(btrfs_free_space_bitmap_cachep,
2177 GFP_NOFS);
Dennis Zhouda080fe2019-12-13 16:22:13 -08002178 info->trim_state = BTRFS_TRIM_STATE_TRIMMED;
Li Zefan34d52cb2011-03-29 13:46:06 +08002179 spin_lock(&ctl->tree_lock);
Josef Bacik96303082009-07-13 21:29:25 -04002180 if (!info->bitmap) {
2181 ret = -ENOMEM;
2182 goto out;
2183 }
2184 goto again;
2185 }
2186
2187out:
2188 if (info) {
Christophe Leroy3acd4852019-08-21 15:05:55 +00002189 if (info->bitmap)
2190 kmem_cache_free(btrfs_free_space_bitmap_cachep,
2191 info->bitmap);
Josef Bacikdc89e982011-01-28 17:05:48 -05002192 kmem_cache_free(btrfs_free_space_cachep, info);
Josef Bacik96303082009-07-13 21:29:25 -04002193 }
Josef Bacik0f9dd462008-09-23 13:14:11 -04002194
2195 return ret;
2196}
2197
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002198/*
2199 * Free space merging rules:
2200 * 1) Merge trimmed areas together
2201 * 2) Let untrimmed areas coalesce with trimmed areas
2202 * 3) Always pull neighboring regions from bitmaps
2203 *
2204 * The above rules are for when we merge free space based on btrfs_trim_state.
2205 * Rules 2 and 3 are subtle because they are suboptimal, but are done for the
2206 * same reason: to promote larger extent regions which makes life easier for
2207 * find_free_extent(). Rule 2 enables coalescing based on the common path
2208 * being returning free space from btrfs_finish_extent_commit(). So when free
2209 * space is trimmed, it will prevent aggregating trimmed new region and
2210 * untrimmed regions in the rb_tree. Rule 3 is purely to obtain larger extents
2211 * and provide find_free_extent() with the largest extents possible hoping for
2212 * the reuse path.
2213 */
Chris Mason945d8962011-05-22 12:33:42 -04002214static bool try_merge_free_space(struct btrfs_free_space_ctl *ctl,
Li Zefanf333adb2010-11-09 14:57:39 +08002215 struct btrfs_free_space *info, bool update_stat)
Josef Bacik0f9dd462008-09-23 13:14:11 -04002216{
Josef Bacikbf53d462020-07-27 10:28:05 -04002217 struct btrfs_free_space *left_info = NULL;
Li Zefan120d66e2010-11-09 14:56:50 +08002218 struct btrfs_free_space *right_info;
2219 bool merged = false;
2220 u64 offset = info->offset;
2221 u64 bytes = info->bytes;
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002222 const bool is_trimmed = btrfs_free_space_trimmed(info);
Josef Bacik6226cb02009-04-03 10:14:18 -04002223
Josef Bacik0f9dd462008-09-23 13:14:11 -04002224 /*
2225 * first we want to see if there is free space adjacent to the range we
2226 * are adding, if there is remove that struct and add a new one to
2227 * cover the entire range
2228 */
Li Zefan34d52cb2011-03-29 13:46:06 +08002229 right_info = tree_search_offset(ctl, offset + bytes, 0, 0);
Josef Bacik96303082009-07-13 21:29:25 -04002230 if (right_info && rb_prev(&right_info->offset_index))
2231 left_info = rb_entry(rb_prev(&right_info->offset_index),
2232 struct btrfs_free_space, offset_index);
Josef Bacikbf53d462020-07-27 10:28:05 -04002233 else if (!right_info)
Li Zefan34d52cb2011-03-29 13:46:06 +08002234 left_info = tree_search_offset(ctl, offset - 1, 0, 0);
Josef Bacik0f9dd462008-09-23 13:14:11 -04002235
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002236 /* See try_merge_free_space() comment. */
2237 if (right_info && !right_info->bitmap &&
2238 (!is_trimmed || btrfs_free_space_trimmed(right_info))) {
Li Zefanf333adb2010-11-09 14:57:39 +08002239 if (update_stat)
Li Zefan34d52cb2011-03-29 13:46:06 +08002240 unlink_free_space(ctl, right_info);
Li Zefanf333adb2010-11-09 14:57:39 +08002241 else
Li Zefan34d52cb2011-03-29 13:46:06 +08002242 __unlink_free_space(ctl, right_info);
Josef Bacik6226cb02009-04-03 10:14:18 -04002243 info->bytes += right_info->bytes;
Josef Bacikdc89e982011-01-28 17:05:48 -05002244 kmem_cache_free(btrfs_free_space_cachep, right_info);
Li Zefan120d66e2010-11-09 14:56:50 +08002245 merged = true;
Josef Bacik0f9dd462008-09-23 13:14:11 -04002246 }
2247
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002248 /* See try_merge_free_space() comment. */
Josef Bacik96303082009-07-13 21:29:25 -04002249 if (left_info && !left_info->bitmap &&
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002250 left_info->offset + left_info->bytes == offset &&
2251 (!is_trimmed || btrfs_free_space_trimmed(left_info))) {
Li Zefanf333adb2010-11-09 14:57:39 +08002252 if (update_stat)
Li Zefan34d52cb2011-03-29 13:46:06 +08002253 unlink_free_space(ctl, left_info);
Li Zefanf333adb2010-11-09 14:57:39 +08002254 else
Li Zefan34d52cb2011-03-29 13:46:06 +08002255 __unlink_free_space(ctl, left_info);
Josef Bacik6226cb02009-04-03 10:14:18 -04002256 info->offset = left_info->offset;
2257 info->bytes += left_info->bytes;
Josef Bacikdc89e982011-01-28 17:05:48 -05002258 kmem_cache_free(btrfs_free_space_cachep, left_info);
Li Zefan120d66e2010-11-09 14:56:50 +08002259 merged = true;
Josef Bacik0f9dd462008-09-23 13:14:11 -04002260 }
2261
Li Zefan120d66e2010-11-09 14:56:50 +08002262 return merged;
2263}
2264
Filipe Manana20005522014-08-29 13:35:13 +01002265static bool steal_from_bitmap_to_end(struct btrfs_free_space_ctl *ctl,
2266 struct btrfs_free_space *info,
2267 bool update_stat)
2268{
2269 struct btrfs_free_space *bitmap;
2270 unsigned long i;
2271 unsigned long j;
2272 const u64 end = info->offset + info->bytes;
2273 const u64 bitmap_offset = offset_to_bitmap(ctl, end);
2274 u64 bytes;
2275
2276 bitmap = tree_search_offset(ctl, bitmap_offset, 1, 0);
2277 if (!bitmap)
2278 return false;
2279
2280 i = offset_to_bit(bitmap->offset, ctl->unit, end);
2281 j = find_next_zero_bit(bitmap->bitmap, BITS_PER_BITMAP, i);
2282 if (j == i)
2283 return false;
2284 bytes = (j - i) * ctl->unit;
2285 info->bytes += bytes;
2286
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002287 /* See try_merge_free_space() comment. */
2288 if (!btrfs_free_space_trimmed(bitmap))
2289 info->trim_state = BTRFS_TRIM_STATE_UNTRIMMED;
2290
Filipe Manana20005522014-08-29 13:35:13 +01002291 if (update_stat)
2292 bitmap_clear_bits(ctl, bitmap, end, bytes);
2293 else
2294 __bitmap_clear_bits(ctl, bitmap, end, bytes);
2295
2296 if (!bitmap->bytes)
2297 free_bitmap(ctl, bitmap);
2298
2299 return true;
2300}
2301
2302static bool steal_from_bitmap_to_front(struct btrfs_free_space_ctl *ctl,
2303 struct btrfs_free_space *info,
2304 bool update_stat)
2305{
2306 struct btrfs_free_space *bitmap;
2307 u64 bitmap_offset;
2308 unsigned long i;
2309 unsigned long j;
2310 unsigned long prev_j;
2311 u64 bytes;
2312
2313 bitmap_offset = offset_to_bitmap(ctl, info->offset);
2314 /* If we're on a boundary, try the previous logical bitmap. */
2315 if (bitmap_offset == info->offset) {
2316 if (info->offset == 0)
2317 return false;
2318 bitmap_offset = offset_to_bitmap(ctl, info->offset - 1);
2319 }
2320
2321 bitmap = tree_search_offset(ctl, bitmap_offset, 1, 0);
2322 if (!bitmap)
2323 return false;
2324
2325 i = offset_to_bit(bitmap->offset, ctl->unit, info->offset) - 1;
2326 j = 0;
2327 prev_j = (unsigned long)-1;
2328 for_each_clear_bit_from(j, bitmap->bitmap, BITS_PER_BITMAP) {
2329 if (j > i)
2330 break;
2331 prev_j = j;
2332 }
2333 if (prev_j == i)
2334 return false;
2335
2336 if (prev_j == (unsigned long)-1)
2337 bytes = (i + 1) * ctl->unit;
2338 else
2339 bytes = (i - prev_j) * ctl->unit;
2340
2341 info->offset -= bytes;
2342 info->bytes += bytes;
2343
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002344 /* See try_merge_free_space() comment. */
2345 if (!btrfs_free_space_trimmed(bitmap))
2346 info->trim_state = BTRFS_TRIM_STATE_UNTRIMMED;
2347
Filipe Manana20005522014-08-29 13:35:13 +01002348 if (update_stat)
2349 bitmap_clear_bits(ctl, bitmap, info->offset, bytes);
2350 else
2351 __bitmap_clear_bits(ctl, bitmap, info->offset, bytes);
2352
2353 if (!bitmap->bytes)
2354 free_bitmap(ctl, bitmap);
2355
2356 return true;
2357}
2358
2359/*
2360 * We prefer always to allocate from extent entries, both for clustered and
2361 * non-clustered allocation requests. So when attempting to add a new extent
2362 * entry, try to see if there's adjacent free space in bitmap entries, and if
2363 * there is, migrate that space from the bitmaps to the extent.
2364 * Like this we get better chances of satisfying space allocation requests
2365 * because we attempt to satisfy them based on a single cache entry, and never
2366 * on 2 or more entries - even if the entries represent a contiguous free space
2367 * region (e.g. 1 extent entry + 1 bitmap entry starting where the extent entry
2368 * ends).
2369 */
2370static void steal_from_bitmap(struct btrfs_free_space_ctl *ctl,
2371 struct btrfs_free_space *info,
2372 bool update_stat)
2373{
2374 /*
2375 * Only work with disconnected entries, as we can change their offset,
2376 * and must be extent entries.
2377 */
2378 ASSERT(!info->bitmap);
2379 ASSERT(RB_EMPTY_NODE(&info->offset_index));
2380
2381 if (ctl->total_bitmaps > 0) {
2382 bool stole_end;
2383 bool stole_front = false;
2384
2385 stole_end = steal_from_bitmap_to_end(ctl, info, update_stat);
2386 if (ctl->total_bitmaps > 0)
2387 stole_front = steal_from_bitmap_to_front(ctl, info,
2388 update_stat);
2389
2390 if (stole_end || stole_front)
2391 try_merge_free_space(ctl, info, update_stat);
2392 }
2393}
2394
Jeff Mahoneyab8d0fc2016-09-20 10:05:02 -04002395int __btrfs_add_free_space(struct btrfs_fs_info *fs_info,
2396 struct btrfs_free_space_ctl *ctl,
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002397 u64 offset, u64 bytes,
2398 enum btrfs_trim_state trim_state)
Li Zefan120d66e2010-11-09 14:56:50 +08002399{
Dennis Zhoub0643e52019-12-13 16:22:14 -08002400 struct btrfs_block_group *block_group = ctl->private;
Li Zefan120d66e2010-11-09 14:56:50 +08002401 struct btrfs_free_space *info;
2402 int ret = 0;
Dennis Zhou7fe6d452020-01-02 16:26:39 -05002403 u64 filter_bytes = bytes;
Li Zefan120d66e2010-11-09 14:56:50 +08002404
Josef Bacikdc89e982011-01-28 17:05:48 -05002405 info = kmem_cache_zalloc(btrfs_free_space_cachep, GFP_NOFS);
Li Zefan120d66e2010-11-09 14:56:50 +08002406 if (!info)
2407 return -ENOMEM;
2408
2409 info->offset = offset;
2410 info->bytes = bytes;
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002411 info->trim_state = trim_state;
Filipe Manana20005522014-08-29 13:35:13 +01002412 RB_CLEAR_NODE(&info->offset_index);
Li Zefan120d66e2010-11-09 14:56:50 +08002413
Li Zefan34d52cb2011-03-29 13:46:06 +08002414 spin_lock(&ctl->tree_lock);
Li Zefan120d66e2010-11-09 14:56:50 +08002415
Li Zefan34d52cb2011-03-29 13:46:06 +08002416 if (try_merge_free_space(ctl, info, true))
Li Zefan120d66e2010-11-09 14:56:50 +08002417 goto link;
2418
2419 /*
2420 * There was no extent directly to the left or right of this new
2421 * extent then we know we're going to have to allocate a new extent, so
2422 * before we do that see if we need to drop this into a bitmap
2423 */
Li Zefan34d52cb2011-03-29 13:46:06 +08002424 ret = insert_into_bitmap(ctl, info);
Li Zefan120d66e2010-11-09 14:56:50 +08002425 if (ret < 0) {
2426 goto out;
2427 } else if (ret) {
2428 ret = 0;
2429 goto out;
2430 }
2431link:
Filipe Manana20005522014-08-29 13:35:13 +01002432 /*
2433 * Only steal free space from adjacent bitmaps if we're sure we're not
2434 * going to add the new free space to existing bitmap entries - because
2435 * that would mean unnecessary work that would be reverted. Therefore
2436 * attempt to steal space from bitmaps if we're adding an extent entry.
2437 */
2438 steal_from_bitmap(ctl, info, true);
2439
Dennis Zhou7fe6d452020-01-02 16:26:39 -05002440 filter_bytes = max(filter_bytes, info->bytes);
2441
Li Zefan34d52cb2011-03-29 13:46:06 +08002442 ret = link_free_space(ctl, info);
Josef Bacik0f9dd462008-09-23 13:14:11 -04002443 if (ret)
Josef Bacikdc89e982011-01-28 17:05:48 -05002444 kmem_cache_free(btrfs_free_space_cachep, info);
Josef Bacik96303082009-07-13 21:29:25 -04002445out:
Josef Bacik66b53ba2020-10-23 09:58:07 -04002446 btrfs_discard_update_discardable(block_group);
Li Zefan34d52cb2011-03-29 13:46:06 +08002447 spin_unlock(&ctl->tree_lock);
Josef Bacik6226cb02009-04-03 10:14:18 -04002448
Josef Bacik0f9dd462008-09-23 13:14:11 -04002449 if (ret) {
Jeff Mahoneyab8d0fc2016-09-20 10:05:02 -04002450 btrfs_crit(fs_info, "unable to add free space :%d", ret);
Josef Bacikb12d6862013-08-26 17:14:08 -04002451 ASSERT(ret != -EEXIST);
Josef Bacik0f9dd462008-09-23 13:14:11 -04002452 }
2453
Dennis Zhou7fe6d452020-01-02 16:26:39 -05002454 if (trim_state != BTRFS_TRIM_STATE_TRIMMED) {
2455 btrfs_discard_check_filter(block_group, filter_bytes);
Dennis Zhoub0643e52019-12-13 16:22:14 -08002456 btrfs_discard_queue_work(&fs_info->discard_ctl, block_group);
Dennis Zhou7fe6d452020-01-02 16:26:39 -05002457 }
Dennis Zhoub0643e52019-12-13 16:22:14 -08002458
Josef Bacik0f9dd462008-09-23 13:14:11 -04002459 return ret;
2460}
2461
David Sterba32da53862019-10-29 19:20:18 +01002462int btrfs_add_free_space(struct btrfs_block_group *block_group,
Josef Bacik478b4d92019-06-20 15:37:43 -04002463 u64 bytenr, u64 size)
2464{
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002465 enum btrfs_trim_state trim_state = BTRFS_TRIM_STATE_UNTRIMMED;
2466
2467 if (btrfs_test_opt(block_group->fs_info, DISCARD_SYNC))
2468 trim_state = BTRFS_TRIM_STATE_TRIMMED;
2469
Josef Bacik478b4d92019-06-20 15:37:43 -04002470 return __btrfs_add_free_space(block_group->fs_info,
2471 block_group->free_space_ctl,
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002472 bytenr, size, trim_state);
Josef Bacik478b4d92019-06-20 15:37:43 -04002473}
2474
Dennis Zhoub0643e52019-12-13 16:22:14 -08002475/*
2476 * This is a subtle distinction because when adding free space back in general,
2477 * we want it to be added as untrimmed for async. But in the case where we add
2478 * it on loading of a block group, we want to consider it trimmed.
2479 */
2480int btrfs_add_free_space_async_trimmed(struct btrfs_block_group *block_group,
2481 u64 bytenr, u64 size)
2482{
2483 enum btrfs_trim_state trim_state = BTRFS_TRIM_STATE_UNTRIMMED;
2484
2485 if (btrfs_test_opt(block_group->fs_info, DISCARD_SYNC) ||
2486 btrfs_test_opt(block_group->fs_info, DISCARD_ASYNC))
2487 trim_state = BTRFS_TRIM_STATE_TRIMMED;
2488
2489 return __btrfs_add_free_space(block_group->fs_info,
2490 block_group->free_space_ctl,
2491 bytenr, size, trim_state);
2492}
2493
David Sterba32da53862019-10-29 19:20:18 +01002494int btrfs_remove_free_space(struct btrfs_block_group *block_group,
Josef Bacik6226cb02009-04-03 10:14:18 -04002495 u64 offset, u64 bytes)
Josef Bacik0f9dd462008-09-23 13:14:11 -04002496{
Li Zefan34d52cb2011-03-29 13:46:06 +08002497 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Josef Bacik0f9dd462008-09-23 13:14:11 -04002498 struct btrfs_free_space *info;
Josef Bacikb0175112012-12-18 11:39:19 -05002499 int ret;
2500 bool re_search = false;
Josef Bacik0f9dd462008-09-23 13:14:11 -04002501
Li Zefan34d52cb2011-03-29 13:46:06 +08002502 spin_lock(&ctl->tree_lock);
Josef Bacik6226cb02009-04-03 10:14:18 -04002503
Josef Bacik96303082009-07-13 21:29:25 -04002504again:
Josef Bacikb0175112012-12-18 11:39:19 -05002505 ret = 0;
Josef Bacikbdb7d302012-06-27 15:10:56 -04002506 if (!bytes)
2507 goto out_lock;
2508
Li Zefan34d52cb2011-03-29 13:46:06 +08002509 info = tree_search_offset(ctl, offset, 0, 0);
Josef Bacik96303082009-07-13 21:29:25 -04002510 if (!info) {
Josef Bacik6606bb92009-07-31 11:03:58 -04002511 /*
2512 * oops didn't find an extent that matched the space we wanted
2513 * to remove, look for a bitmap instead
2514 */
Li Zefan34d52cb2011-03-29 13:46:06 +08002515 info = tree_search_offset(ctl, offset_to_bitmap(ctl, offset),
Josef Bacik6606bb92009-07-31 11:03:58 -04002516 1, 0);
2517 if (!info) {
Josef Bacikb0175112012-12-18 11:39:19 -05002518 /*
2519 * If we found a partial bit of our free space in a
2520 * bitmap but then couldn't find the other part this may
2521 * be a problem, so WARN about it.
Chris Mason24a70312011-11-21 09:39:11 -05002522 */
Josef Bacikb0175112012-12-18 11:39:19 -05002523 WARN_ON(re_search);
Josef Bacik6606bb92009-07-31 11:03:58 -04002524 goto out_lock;
2525 }
Josef Bacik96303082009-07-13 21:29:25 -04002526 }
2527
Josef Bacikb0175112012-12-18 11:39:19 -05002528 re_search = false;
Josef Bacikbdb7d302012-06-27 15:10:56 -04002529 if (!info->bitmap) {
Li Zefan34d52cb2011-03-29 13:46:06 +08002530 unlink_free_space(ctl, info);
Josef Bacikbdb7d302012-06-27 15:10:56 -04002531 if (offset == info->offset) {
2532 u64 to_free = min(bytes, info->bytes);
Josef Bacik0f9dd462008-09-23 13:14:11 -04002533
Josef Bacikbdb7d302012-06-27 15:10:56 -04002534 info->bytes -= to_free;
2535 info->offset += to_free;
2536 if (info->bytes) {
2537 ret = link_free_space(ctl, info);
2538 WARN_ON(ret);
2539 } else {
2540 kmem_cache_free(btrfs_free_space_cachep, info);
2541 }
Josef Bacik0f9dd462008-09-23 13:14:11 -04002542
Josef Bacikbdb7d302012-06-27 15:10:56 -04002543 offset += to_free;
2544 bytes -= to_free;
2545 goto again;
2546 } else {
2547 u64 old_end = info->bytes + info->offset;
Chris Mason9b49c9b2008-09-24 11:23:25 -04002548
Josef Bacikbdb7d302012-06-27 15:10:56 -04002549 info->bytes = offset - info->offset;
Li Zefan34d52cb2011-03-29 13:46:06 +08002550 ret = link_free_space(ctl, info);
Josef Bacik96303082009-07-13 21:29:25 -04002551 WARN_ON(ret);
2552 if (ret)
2553 goto out_lock;
Josef Bacik96303082009-07-13 21:29:25 -04002554
Josef Bacikbdb7d302012-06-27 15:10:56 -04002555 /* Not enough bytes in this entry to satisfy us */
2556 if (old_end < offset + bytes) {
2557 bytes -= old_end - offset;
2558 offset = old_end;
2559 goto again;
2560 } else if (old_end == offset + bytes) {
2561 /* all done */
2562 goto out_lock;
2563 }
2564 spin_unlock(&ctl->tree_lock);
2565
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002566 ret = __btrfs_add_free_space(block_group->fs_info, ctl,
2567 offset + bytes,
2568 old_end - (offset + bytes),
2569 info->trim_state);
Josef Bacikbdb7d302012-06-27 15:10:56 -04002570 WARN_ON(ret);
2571 goto out;
2572 }
Josef Bacik0f9dd462008-09-23 13:14:11 -04002573 }
Josef Bacik96303082009-07-13 21:29:25 -04002574
Li Zefan34d52cb2011-03-29 13:46:06 +08002575 ret = remove_from_bitmap(ctl, info, &offset, &bytes);
Josef Bacikb0175112012-12-18 11:39:19 -05002576 if (ret == -EAGAIN) {
2577 re_search = true;
Josef Bacik96303082009-07-13 21:29:25 -04002578 goto again;
Josef Bacikb0175112012-12-18 11:39:19 -05002579 }
Josef Bacik96303082009-07-13 21:29:25 -04002580out_lock:
Josef Bacik66b53ba2020-10-23 09:58:07 -04002581 btrfs_discard_update_discardable(block_group);
Li Zefan34d52cb2011-03-29 13:46:06 +08002582 spin_unlock(&ctl->tree_lock);
Josef Bacik0f9dd462008-09-23 13:14:11 -04002583out:
Josef Bacik25179202008-10-29 14:49:05 -04002584 return ret;
2585}
2586
David Sterba32da53862019-10-29 19:20:18 +01002587void btrfs_dump_free_space(struct btrfs_block_group *block_group,
Josef Bacik0f9dd462008-09-23 13:14:11 -04002588 u64 bytes)
2589{
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002590 struct btrfs_fs_info *fs_info = block_group->fs_info;
Li Zefan34d52cb2011-03-29 13:46:06 +08002591 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Josef Bacik0f9dd462008-09-23 13:14:11 -04002592 struct btrfs_free_space *info;
2593 struct rb_node *n;
2594 int count = 0;
2595
Filipe Manana9084cb62018-10-22 10:43:06 +01002596 spin_lock(&ctl->tree_lock);
Li Zefan34d52cb2011-03-29 13:46:06 +08002597 for (n = rb_first(&ctl->free_space_offset); n; n = rb_next(n)) {
Josef Bacik0f9dd462008-09-23 13:14:11 -04002598 info = rb_entry(n, struct btrfs_free_space, offset_index);
Liu Bof6175ef2012-07-06 03:31:36 -06002599 if (info->bytes >= bytes && !block_group->ro)
Josef Bacik0f9dd462008-09-23 13:14:11 -04002600 count++;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002601 btrfs_crit(fs_info, "entry offset %llu, bytes %llu, bitmap %s",
Frank Holtonefe120a2013-12-20 11:37:06 -05002602 info->offset, info->bytes,
Josef Bacik96303082009-07-13 21:29:25 -04002603 (info->bitmap) ? "yes" : "no");
Josef Bacik0f9dd462008-09-23 13:14:11 -04002604 }
Filipe Manana9084cb62018-10-22 10:43:06 +01002605 spin_unlock(&ctl->tree_lock);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002606 btrfs_info(fs_info, "block group has cluster?: %s",
Josef Bacik96303082009-07-13 21:29:25 -04002607 list_empty(&block_group->cluster_list) ? "no" : "yes");
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002608 btrfs_info(fs_info,
Frank Holtonefe120a2013-12-20 11:37:06 -05002609 "%d blocks of free space at or bigger than bytes is", count);
Josef Bacik0f9dd462008-09-23 13:14:11 -04002610}
2611
Josef Bacikcd799092020-10-23 09:58:08 -04002612void btrfs_init_free_space_ctl(struct btrfs_block_group *block_group,
2613 struct btrfs_free_space_ctl *ctl)
Josef Bacik0f9dd462008-09-23 13:14:11 -04002614{
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002615 struct btrfs_fs_info *fs_info = block_group->fs_info;
Josef Bacik0f9dd462008-09-23 13:14:11 -04002616
Li Zefan34d52cb2011-03-29 13:46:06 +08002617 spin_lock_init(&ctl->tree_lock);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002618 ctl->unit = fs_info->sectorsize;
David Sterbab3470b52019-10-23 18:48:22 +02002619 ctl->start = block_group->start;
Li Zefan34d52cb2011-03-29 13:46:06 +08002620 ctl->private = block_group;
2621 ctl->op = &free_space_op;
Filipe Manana55507ce2014-12-01 17:04:09 +00002622 INIT_LIST_HEAD(&ctl->trimming_ranges);
2623 mutex_init(&ctl->cache_writeout_mutex);
Josef Bacik0f9dd462008-09-23 13:14:11 -04002624
Li Zefan34d52cb2011-03-29 13:46:06 +08002625 /*
2626 * we only want to have 32k of ram per block group for keeping
2627 * track of free space, and if we pass 1/2 of that we want to
2628 * start converting things over to using bitmaps
2629 */
Byongho Leeee221842015-12-15 01:42:10 +09002630 ctl->extents_thresh = (SZ_32K / 2) / sizeof(struct btrfs_free_space);
Josef Bacik0f9dd462008-09-23 13:14:11 -04002631}
2632
Chris Masonfa9c0d792009-04-03 09:47:43 -04002633/*
2634 * for a given cluster, put all of its extents back into the free
2635 * space cache. If the block group passed doesn't match the block group
2636 * pointed to by the cluster, someone else raced in and freed the
2637 * cluster already. In that case, we just return without changing anything
2638 */
Anand Jain69b0e092020-06-03 18:10:18 +08002639static void __btrfs_return_cluster_to_free_space(
David Sterba32da53862019-10-29 19:20:18 +01002640 struct btrfs_block_group *block_group,
Chris Masonfa9c0d792009-04-03 09:47:43 -04002641 struct btrfs_free_cluster *cluster)
2642{
Li Zefan34d52cb2011-03-29 13:46:06 +08002643 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Chris Masonfa9c0d792009-04-03 09:47:43 -04002644 struct btrfs_free_space *entry;
2645 struct rb_node *node;
2646
2647 spin_lock(&cluster->lock);
2648 if (cluster->block_group != block_group)
2649 goto out;
2650
Josef Bacik96303082009-07-13 21:29:25 -04002651 cluster->block_group = NULL;
Chris Masonfa9c0d792009-04-03 09:47:43 -04002652 cluster->window_start = 0;
Josef Bacik96303082009-07-13 21:29:25 -04002653 list_del_init(&cluster->block_group_list);
Josef Bacik96303082009-07-13 21:29:25 -04002654
Chris Masonfa9c0d792009-04-03 09:47:43 -04002655 node = rb_first(&cluster->root);
Josef Bacik96303082009-07-13 21:29:25 -04002656 while (node) {
Josef Bacik4e69b592011-03-21 10:11:24 -04002657 bool bitmap;
2658
Chris Masonfa9c0d792009-04-03 09:47:43 -04002659 entry = rb_entry(node, struct btrfs_free_space, offset_index);
2660 node = rb_next(&entry->offset_index);
2661 rb_erase(&entry->offset_index, &cluster->root);
Filipe Manana20005522014-08-29 13:35:13 +01002662 RB_CLEAR_NODE(&entry->offset_index);
Josef Bacik4e69b592011-03-21 10:11:24 -04002663
2664 bitmap = (entry->bitmap != NULL);
Filipe Manana20005522014-08-29 13:35:13 +01002665 if (!bitmap) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002666 /* Merging treats extents as if they were new */
Dennis Zhou5dc7c102019-12-13 16:22:21 -08002667 if (!btrfs_free_space_trimmed(entry)) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002668 ctl->discardable_extents[BTRFS_STAT_CURR]--;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08002669 ctl->discardable_bytes[BTRFS_STAT_CURR] -=
2670 entry->bytes;
2671 }
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002672
Li Zefan34d52cb2011-03-29 13:46:06 +08002673 try_merge_free_space(ctl, entry, false);
Filipe Manana20005522014-08-29 13:35:13 +01002674 steal_from_bitmap(ctl, entry, false);
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002675
2676 /* As we insert directly, update these statistics */
Dennis Zhou5dc7c102019-12-13 16:22:21 -08002677 if (!btrfs_free_space_trimmed(entry)) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002678 ctl->discardable_extents[BTRFS_STAT_CURR]++;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08002679 ctl->discardable_bytes[BTRFS_STAT_CURR] +=
2680 entry->bytes;
2681 }
Filipe Manana20005522014-08-29 13:35:13 +01002682 }
Li Zefan34d52cb2011-03-29 13:46:06 +08002683 tree_insert_offset(&ctl->free_space_offset,
Josef Bacik4e69b592011-03-21 10:11:24 -04002684 entry->offset, &entry->offset_index, bitmap);
Chris Masonfa9c0d792009-04-03 09:47:43 -04002685 }
Eric Paris6bef4d32010-02-23 19:43:04 +00002686 cluster->root = RB_ROOT;
Josef Bacik96303082009-07-13 21:29:25 -04002687
Chris Masonfa9c0d792009-04-03 09:47:43 -04002688out:
2689 spin_unlock(&cluster->lock);
Josef Bacik96303082009-07-13 21:29:25 -04002690 btrfs_put_block_group(block_group);
Chris Masonfa9c0d792009-04-03 09:47:43 -04002691}
2692
Eric Sandeen48a3b632013-04-25 20:41:01 +00002693static void __btrfs_remove_free_space_cache_locked(
2694 struct btrfs_free_space_ctl *ctl)
Josef Bacik0f9dd462008-09-23 13:14:11 -04002695{
2696 struct btrfs_free_space *info;
2697 struct rb_node *node;
Li Zefan581bb052011-04-20 10:06:11 +08002698
Li Zefan581bb052011-04-20 10:06:11 +08002699 while ((node = rb_last(&ctl->free_space_offset)) != NULL) {
2700 info = rb_entry(node, struct btrfs_free_space, offset_index);
Josef Bacik9b90f512011-06-24 16:02:51 +00002701 if (!info->bitmap) {
2702 unlink_free_space(ctl, info);
2703 kmem_cache_free(btrfs_free_space_cachep, info);
2704 } else {
2705 free_bitmap(ctl, info);
2706 }
David Sterba351810c2015-01-08 15:20:54 +01002707
2708 cond_resched_lock(&ctl->tree_lock);
Li Zefan581bb052011-04-20 10:06:11 +08002709 }
Chris Mason09655372011-05-21 09:27:38 -04002710}
2711
2712void __btrfs_remove_free_space_cache(struct btrfs_free_space_ctl *ctl)
2713{
2714 spin_lock(&ctl->tree_lock);
2715 __btrfs_remove_free_space_cache_locked(ctl);
Dennis Zhou27f0afc2020-01-02 16:26:45 -05002716 if (ctl->private)
Josef Bacik66b53ba2020-10-23 09:58:07 -04002717 btrfs_discard_update_discardable(ctl->private);
Li Zefan581bb052011-04-20 10:06:11 +08002718 spin_unlock(&ctl->tree_lock);
2719}
2720
David Sterba32da53862019-10-29 19:20:18 +01002721void btrfs_remove_free_space_cache(struct btrfs_block_group *block_group)
Josef Bacik0f9dd462008-09-23 13:14:11 -04002722{
Li Zefan34d52cb2011-03-29 13:46:06 +08002723 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Chris Masonfa9c0d792009-04-03 09:47:43 -04002724 struct btrfs_free_cluster *cluster;
Josef Bacik96303082009-07-13 21:29:25 -04002725 struct list_head *head;
Josef Bacik0f9dd462008-09-23 13:14:11 -04002726
Li Zefan34d52cb2011-03-29 13:46:06 +08002727 spin_lock(&ctl->tree_lock);
Josef Bacik96303082009-07-13 21:29:25 -04002728 while ((head = block_group->cluster_list.next) !=
2729 &block_group->cluster_list) {
2730 cluster = list_entry(head, struct btrfs_free_cluster,
2731 block_group_list);
Chris Masonfa9c0d792009-04-03 09:47:43 -04002732
2733 WARN_ON(cluster->block_group != block_group);
2734 __btrfs_return_cluster_to_free_space(block_group, cluster);
David Sterba351810c2015-01-08 15:20:54 +01002735
2736 cond_resched_lock(&ctl->tree_lock);
Chris Masonfa9c0d792009-04-03 09:47:43 -04002737 }
Chris Mason09655372011-05-21 09:27:38 -04002738 __btrfs_remove_free_space_cache_locked(ctl);
Josef Bacik66b53ba2020-10-23 09:58:07 -04002739 btrfs_discard_update_discardable(block_group);
Li Zefan34d52cb2011-03-29 13:46:06 +08002740 spin_unlock(&ctl->tree_lock);
Chris Masonfa9c0d792009-04-03 09:47:43 -04002741
Josef Bacik0f9dd462008-09-23 13:14:11 -04002742}
2743
Dennis Zhou6e80d4f2019-12-13 16:22:15 -08002744/**
2745 * btrfs_is_free_space_trimmed - see if everything is trimmed
2746 * @block_group: block_group of interest
2747 *
2748 * Walk @block_group's free space rb_tree to determine if everything is trimmed.
2749 */
2750bool btrfs_is_free_space_trimmed(struct btrfs_block_group *block_group)
2751{
2752 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
2753 struct btrfs_free_space *info;
2754 struct rb_node *node;
2755 bool ret = true;
2756
2757 spin_lock(&ctl->tree_lock);
2758 node = rb_first(&ctl->free_space_offset);
2759
2760 while (node) {
2761 info = rb_entry(node, struct btrfs_free_space, offset_index);
2762
2763 if (!btrfs_free_space_trimmed(info)) {
2764 ret = false;
2765 break;
2766 }
2767
2768 node = rb_next(node);
2769 }
2770
2771 spin_unlock(&ctl->tree_lock);
2772 return ret;
2773}
2774
David Sterba32da53862019-10-29 19:20:18 +01002775u64 btrfs_find_space_for_alloc(struct btrfs_block_group *block_group,
Miao Xiea4820392013-09-09 13:19:42 +08002776 u64 offset, u64 bytes, u64 empty_size,
2777 u64 *max_extent_size)
Josef Bacik0f9dd462008-09-23 13:14:11 -04002778{
Li Zefan34d52cb2011-03-29 13:46:06 +08002779 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Dennis Zhou9ddf6482020-01-02 16:26:41 -05002780 struct btrfs_discard_ctl *discard_ctl =
2781 &block_group->fs_info->discard_ctl;
Josef Bacik6226cb02009-04-03 10:14:18 -04002782 struct btrfs_free_space *entry = NULL;
Josef Bacik96303082009-07-13 21:29:25 -04002783 u64 bytes_search = bytes + empty_size;
Josef Bacik6226cb02009-04-03 10:14:18 -04002784 u64 ret = 0;
David Woodhouse53b381b2013-01-29 18:40:14 -05002785 u64 align_gap = 0;
2786 u64 align_gap_len = 0;
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002787 enum btrfs_trim_state align_gap_trim_state = BTRFS_TRIM_STATE_UNTRIMMED;
Josef Bacik0f9dd462008-09-23 13:14:11 -04002788
Li Zefan34d52cb2011-03-29 13:46:06 +08002789 spin_lock(&ctl->tree_lock);
David Woodhouse53b381b2013-01-29 18:40:14 -05002790 entry = find_free_space(ctl, &offset, &bytes_search,
Miao Xiea4820392013-09-09 13:19:42 +08002791 block_group->full_stripe_len, max_extent_size);
Josef Bacik6226cb02009-04-03 10:14:18 -04002792 if (!entry)
Josef Bacik96303082009-07-13 21:29:25 -04002793 goto out;
2794
2795 ret = offset;
2796 if (entry->bitmap) {
Li Zefan34d52cb2011-03-29 13:46:06 +08002797 bitmap_clear_bits(ctl, entry, offset, bytes);
Dennis Zhou9ddf6482020-01-02 16:26:41 -05002798
2799 if (!btrfs_free_space_trimmed(entry))
2800 atomic64_add(bytes, &discard_ctl->discard_bytes_saved);
2801
Li Zefanedf6e2d2010-11-09 14:50:07 +08002802 if (!entry->bytes)
Li Zefan34d52cb2011-03-29 13:46:06 +08002803 free_bitmap(ctl, entry);
Josef Bacik96303082009-07-13 21:29:25 -04002804 } else {
Li Zefan34d52cb2011-03-29 13:46:06 +08002805 unlink_free_space(ctl, entry);
David Woodhouse53b381b2013-01-29 18:40:14 -05002806 align_gap_len = offset - entry->offset;
2807 align_gap = entry->offset;
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002808 align_gap_trim_state = entry->trim_state;
David Woodhouse53b381b2013-01-29 18:40:14 -05002809
Dennis Zhou9ddf6482020-01-02 16:26:41 -05002810 if (!btrfs_free_space_trimmed(entry))
2811 atomic64_add(bytes, &discard_ctl->discard_bytes_saved);
2812
David Woodhouse53b381b2013-01-29 18:40:14 -05002813 entry->offset = offset + bytes;
2814 WARN_ON(entry->bytes < bytes + align_gap_len);
2815
2816 entry->bytes -= bytes + align_gap_len;
Josef Bacik6226cb02009-04-03 10:14:18 -04002817 if (!entry->bytes)
Josef Bacikdc89e982011-01-28 17:05:48 -05002818 kmem_cache_free(btrfs_free_space_cachep, entry);
Josef Bacik6226cb02009-04-03 10:14:18 -04002819 else
Li Zefan34d52cb2011-03-29 13:46:06 +08002820 link_free_space(ctl, entry);
Josef Bacik6226cb02009-04-03 10:14:18 -04002821 }
Josef Bacik96303082009-07-13 21:29:25 -04002822out:
Josef Bacik66b53ba2020-10-23 09:58:07 -04002823 btrfs_discard_update_discardable(block_group);
Li Zefan34d52cb2011-03-29 13:46:06 +08002824 spin_unlock(&ctl->tree_lock);
Josef Bacik817d52f2009-07-13 21:29:25 -04002825
David Woodhouse53b381b2013-01-29 18:40:14 -05002826 if (align_gap_len)
Jeff Mahoneyab8d0fc2016-09-20 10:05:02 -04002827 __btrfs_add_free_space(block_group->fs_info, ctl,
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002828 align_gap, align_gap_len,
2829 align_gap_trim_state);
Josef Bacik0f9dd462008-09-23 13:14:11 -04002830 return ret;
2831}
Chris Masonfa9c0d792009-04-03 09:47:43 -04002832
2833/*
2834 * given a cluster, put all of its extents back into the free space
2835 * cache. If a block group is passed, this function will only free
2836 * a cluster that belongs to the passed block group.
2837 *
2838 * Otherwise, it'll get a reference on the block group pointed to by the
2839 * cluster and remove the cluster from it.
2840 */
Anand Jain69b0e092020-06-03 18:10:18 +08002841void btrfs_return_cluster_to_free_space(
David Sterba32da53862019-10-29 19:20:18 +01002842 struct btrfs_block_group *block_group,
Chris Masonfa9c0d792009-04-03 09:47:43 -04002843 struct btrfs_free_cluster *cluster)
2844{
Li Zefan34d52cb2011-03-29 13:46:06 +08002845 struct btrfs_free_space_ctl *ctl;
Chris Masonfa9c0d792009-04-03 09:47:43 -04002846
2847 /* first, get a safe pointer to the block group */
2848 spin_lock(&cluster->lock);
2849 if (!block_group) {
2850 block_group = cluster->block_group;
2851 if (!block_group) {
2852 spin_unlock(&cluster->lock);
Anand Jain69b0e092020-06-03 18:10:18 +08002853 return;
Chris Masonfa9c0d792009-04-03 09:47:43 -04002854 }
2855 } else if (cluster->block_group != block_group) {
2856 /* someone else has already freed it don't redo their work */
2857 spin_unlock(&cluster->lock);
Anand Jain69b0e092020-06-03 18:10:18 +08002858 return;
Chris Masonfa9c0d792009-04-03 09:47:43 -04002859 }
Anand Jainb5790d52020-06-03 18:10:20 +08002860 btrfs_get_block_group(block_group);
Chris Masonfa9c0d792009-04-03 09:47:43 -04002861 spin_unlock(&cluster->lock);
2862
Li Zefan34d52cb2011-03-29 13:46:06 +08002863 ctl = block_group->free_space_ctl;
2864
Chris Masonfa9c0d792009-04-03 09:47:43 -04002865 /* now return any extents the cluster had on it */
Li Zefan34d52cb2011-03-29 13:46:06 +08002866 spin_lock(&ctl->tree_lock);
Anand Jain69b0e092020-06-03 18:10:18 +08002867 __btrfs_return_cluster_to_free_space(block_group, cluster);
Li Zefan34d52cb2011-03-29 13:46:06 +08002868 spin_unlock(&ctl->tree_lock);
Chris Masonfa9c0d792009-04-03 09:47:43 -04002869
Dennis Zhou6e80d4f2019-12-13 16:22:15 -08002870 btrfs_discard_queue_work(&block_group->fs_info->discard_ctl, block_group);
2871
Chris Masonfa9c0d792009-04-03 09:47:43 -04002872 /* finally drop our ref */
2873 btrfs_put_block_group(block_group);
Chris Masonfa9c0d792009-04-03 09:47:43 -04002874}
2875
David Sterba32da53862019-10-29 19:20:18 +01002876static u64 btrfs_alloc_from_bitmap(struct btrfs_block_group *block_group,
Josef Bacik96303082009-07-13 21:29:25 -04002877 struct btrfs_free_cluster *cluster,
Josef Bacik4e69b592011-03-21 10:11:24 -04002878 struct btrfs_free_space *entry,
Miao Xiea4820392013-09-09 13:19:42 +08002879 u64 bytes, u64 min_start,
2880 u64 *max_extent_size)
Josef Bacik96303082009-07-13 21:29:25 -04002881{
Li Zefan34d52cb2011-03-29 13:46:06 +08002882 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Josef Bacik96303082009-07-13 21:29:25 -04002883 int err;
2884 u64 search_start = cluster->window_start;
2885 u64 search_bytes = bytes;
2886 u64 ret = 0;
2887
Josef Bacik96303082009-07-13 21:29:25 -04002888 search_start = min_start;
2889 search_bytes = bytes;
2890
Josef Bacik0584f712015-10-02 16:12:23 -04002891 err = search_bitmap(ctl, entry, &search_start, &search_bytes, true);
Miao Xiea4820392013-09-09 13:19:42 +08002892 if (err) {
Josef Bacikad22cf62018-10-12 15:32:33 -04002893 *max_extent_size = max(get_max_extent_size(entry),
2894 *max_extent_size);
Josef Bacik4e69b592011-03-21 10:11:24 -04002895 return 0;
Miao Xiea4820392013-09-09 13:19:42 +08002896 }
Josef Bacik96303082009-07-13 21:29:25 -04002897
2898 ret = search_start;
Miao Xiebb3ac5a2011-08-05 09:32:35 +00002899 __bitmap_clear_bits(ctl, entry, ret, bytes);
Josef Bacik96303082009-07-13 21:29:25 -04002900
2901 return ret;
2902}
2903
Chris Masonfa9c0d792009-04-03 09:47:43 -04002904/*
2905 * given a cluster, try to allocate 'bytes' from it, returns 0
2906 * if it couldn't find anything suitably large, or a logical disk offset
2907 * if things worked out
2908 */
David Sterba32da53862019-10-29 19:20:18 +01002909u64 btrfs_alloc_from_cluster(struct btrfs_block_group *block_group,
Chris Masonfa9c0d792009-04-03 09:47:43 -04002910 struct btrfs_free_cluster *cluster, u64 bytes,
Miao Xiea4820392013-09-09 13:19:42 +08002911 u64 min_start, u64 *max_extent_size)
Chris Masonfa9c0d792009-04-03 09:47:43 -04002912{
Li Zefan34d52cb2011-03-29 13:46:06 +08002913 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Dennis Zhou9ddf6482020-01-02 16:26:41 -05002914 struct btrfs_discard_ctl *discard_ctl =
2915 &block_group->fs_info->discard_ctl;
Chris Masonfa9c0d792009-04-03 09:47:43 -04002916 struct btrfs_free_space *entry = NULL;
2917 struct rb_node *node;
2918 u64 ret = 0;
2919
2920 spin_lock(&cluster->lock);
2921 if (bytes > cluster->max_size)
2922 goto out;
2923
2924 if (cluster->block_group != block_group)
2925 goto out;
2926
2927 node = rb_first(&cluster->root);
2928 if (!node)
2929 goto out;
2930
2931 entry = rb_entry(node, struct btrfs_free_space, offset_index);
Dulshani Gunawardhana67871252013-10-31 10:33:04 +05302932 while (1) {
Josef Bacikad22cf62018-10-12 15:32:33 -04002933 if (entry->bytes < bytes)
2934 *max_extent_size = max(get_max_extent_size(entry),
2935 *max_extent_size);
Miao Xiea4820392013-09-09 13:19:42 +08002936
Josef Bacik4e69b592011-03-21 10:11:24 -04002937 if (entry->bytes < bytes ||
2938 (!entry->bitmap && entry->offset < min_start)) {
Chris Masonfa9c0d792009-04-03 09:47:43 -04002939 node = rb_next(&entry->offset_index);
2940 if (!node)
2941 break;
2942 entry = rb_entry(node, struct btrfs_free_space,
2943 offset_index);
2944 continue;
2945 }
Chris Masonfa9c0d792009-04-03 09:47:43 -04002946
Josef Bacik4e69b592011-03-21 10:11:24 -04002947 if (entry->bitmap) {
2948 ret = btrfs_alloc_from_bitmap(block_group,
2949 cluster, entry, bytes,
Miao Xiea4820392013-09-09 13:19:42 +08002950 cluster->window_start,
2951 max_extent_size);
Josef Bacik4e69b592011-03-21 10:11:24 -04002952 if (ret == 0) {
Josef Bacik4e69b592011-03-21 10:11:24 -04002953 node = rb_next(&entry->offset_index);
2954 if (!node)
2955 break;
2956 entry = rb_entry(node, struct btrfs_free_space,
2957 offset_index);
2958 continue;
2959 }
Josef Bacik9b230622012-01-26 15:01:12 -05002960 cluster->window_start += bytes;
Josef Bacik4e69b592011-03-21 10:11:24 -04002961 } else {
Josef Bacik4e69b592011-03-21 10:11:24 -04002962 ret = entry->offset;
2963
2964 entry->offset += bytes;
2965 entry->bytes -= bytes;
2966 }
Chris Masonfa9c0d792009-04-03 09:47:43 -04002967
Li Zefan5e71b5d2010-11-09 14:55:34 +08002968 if (entry->bytes == 0)
Chris Masonfa9c0d792009-04-03 09:47:43 -04002969 rb_erase(&entry->offset_index, &cluster->root);
Chris Masonfa9c0d792009-04-03 09:47:43 -04002970 break;
2971 }
2972out:
2973 spin_unlock(&cluster->lock);
Josef Bacik96303082009-07-13 21:29:25 -04002974
Li Zefan5e71b5d2010-11-09 14:55:34 +08002975 if (!ret)
2976 return 0;
2977
Li Zefan34d52cb2011-03-29 13:46:06 +08002978 spin_lock(&ctl->tree_lock);
Li Zefan5e71b5d2010-11-09 14:55:34 +08002979
Dennis Zhou9ddf6482020-01-02 16:26:41 -05002980 if (!btrfs_free_space_trimmed(entry))
2981 atomic64_add(bytes, &discard_ctl->discard_bytes_saved);
2982
Li Zefan34d52cb2011-03-29 13:46:06 +08002983 ctl->free_space -= bytes;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08002984 if (!entry->bitmap && !btrfs_free_space_trimmed(entry))
2985 ctl->discardable_bytes[BTRFS_STAT_CURR] -= bytes;
Li Zefan5e71b5d2010-11-09 14:55:34 +08002986 if (entry->bytes == 0) {
Li Zefan34d52cb2011-03-29 13:46:06 +08002987 ctl->free_extents--;
Josef Bacik4e69b592011-03-21 10:11:24 -04002988 if (entry->bitmap) {
Christophe Leroy3acd4852019-08-21 15:05:55 +00002989 kmem_cache_free(btrfs_free_space_bitmap_cachep,
2990 entry->bitmap);
Li Zefan34d52cb2011-03-29 13:46:06 +08002991 ctl->total_bitmaps--;
David Sterbafa598b02020-12-03 17:18:38 +01002992 recalculate_thresholds(ctl);
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002993 } else if (!btrfs_free_space_trimmed(entry)) {
2994 ctl->discardable_extents[BTRFS_STAT_CURR]--;
Josef Bacik4e69b592011-03-21 10:11:24 -04002995 }
Josef Bacikdc89e982011-01-28 17:05:48 -05002996 kmem_cache_free(btrfs_free_space_cachep, entry);
Li Zefan5e71b5d2010-11-09 14:55:34 +08002997 }
2998
Li Zefan34d52cb2011-03-29 13:46:06 +08002999 spin_unlock(&ctl->tree_lock);
Li Zefan5e71b5d2010-11-09 14:55:34 +08003000
Chris Masonfa9c0d792009-04-03 09:47:43 -04003001 return ret;
3002}
3003
David Sterba32da53862019-10-29 19:20:18 +01003004static int btrfs_bitmap_cluster(struct btrfs_block_group *block_group,
Josef Bacik96303082009-07-13 21:29:25 -04003005 struct btrfs_free_space *entry,
3006 struct btrfs_free_cluster *cluster,
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003007 u64 offset, u64 bytes,
3008 u64 cont1_bytes, u64 min_bytes)
Josef Bacik96303082009-07-13 21:29:25 -04003009{
Li Zefan34d52cb2011-03-29 13:46:06 +08003010 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Josef Bacik96303082009-07-13 21:29:25 -04003011 unsigned long next_zero;
3012 unsigned long i;
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003013 unsigned long want_bits;
3014 unsigned long min_bits;
Josef Bacik96303082009-07-13 21:29:25 -04003015 unsigned long found_bits;
Josef Bacikcef40482015-10-02 16:09:42 -04003016 unsigned long max_bits = 0;
Josef Bacik96303082009-07-13 21:29:25 -04003017 unsigned long start = 0;
3018 unsigned long total_found = 0;
Josef Bacik4e69b592011-03-21 10:11:24 -04003019 int ret;
Josef Bacik96303082009-07-13 21:29:25 -04003020
Wang Sheng-Hui96009762012-11-30 06:30:14 +00003021 i = offset_to_bit(entry->offset, ctl->unit,
Josef Bacik96303082009-07-13 21:29:25 -04003022 max_t(u64, offset, entry->offset));
Wang Sheng-Hui96009762012-11-30 06:30:14 +00003023 want_bits = bytes_to_bits(bytes, ctl->unit);
3024 min_bits = bytes_to_bits(min_bytes, ctl->unit);
Josef Bacik96303082009-07-13 21:29:25 -04003025
Josef Bacikcef40482015-10-02 16:09:42 -04003026 /*
3027 * Don't bother looking for a cluster in this bitmap if it's heavily
3028 * fragmented.
3029 */
3030 if (entry->max_extent_size &&
3031 entry->max_extent_size < cont1_bytes)
3032 return -ENOSPC;
Josef Bacik96303082009-07-13 21:29:25 -04003033again:
3034 found_bits = 0;
Wei Yongjunebb3dad2012-09-13 20:29:02 -06003035 for_each_set_bit_from(i, entry->bitmap, BITS_PER_BITMAP) {
Josef Bacik96303082009-07-13 21:29:25 -04003036 next_zero = find_next_zero_bit(entry->bitmap,
3037 BITS_PER_BITMAP, i);
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003038 if (next_zero - i >= min_bits) {
Josef Bacik96303082009-07-13 21:29:25 -04003039 found_bits = next_zero - i;
Josef Bacikcef40482015-10-02 16:09:42 -04003040 if (found_bits > max_bits)
3041 max_bits = found_bits;
Josef Bacik96303082009-07-13 21:29:25 -04003042 break;
3043 }
Josef Bacikcef40482015-10-02 16:09:42 -04003044 if (next_zero - i > max_bits)
3045 max_bits = next_zero - i;
Josef Bacik96303082009-07-13 21:29:25 -04003046 i = next_zero;
3047 }
3048
Josef Bacikcef40482015-10-02 16:09:42 -04003049 if (!found_bits) {
3050 entry->max_extent_size = (u64)max_bits * ctl->unit;
Josef Bacik4e69b592011-03-21 10:11:24 -04003051 return -ENOSPC;
Josef Bacikcef40482015-10-02 16:09:42 -04003052 }
Josef Bacik96303082009-07-13 21:29:25 -04003053
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003054 if (!total_found) {
Josef Bacik96303082009-07-13 21:29:25 -04003055 start = i;
Alexandre Olivab78d09b2011-11-30 13:43:00 -05003056 cluster->max_size = 0;
Josef Bacik96303082009-07-13 21:29:25 -04003057 }
3058
3059 total_found += found_bits;
3060
Wang Sheng-Hui96009762012-11-30 06:30:14 +00003061 if (cluster->max_size < found_bits * ctl->unit)
3062 cluster->max_size = found_bits * ctl->unit;
Josef Bacik96303082009-07-13 21:29:25 -04003063
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003064 if (total_found < want_bits || cluster->max_size < cont1_bytes) {
3065 i = next_zero + 1;
Josef Bacik96303082009-07-13 21:29:25 -04003066 goto again;
3067 }
3068
Wang Sheng-Hui96009762012-11-30 06:30:14 +00003069 cluster->window_start = start * ctl->unit + entry->offset;
Li Zefan34d52cb2011-03-29 13:46:06 +08003070 rb_erase(&entry->offset_index, &ctl->free_space_offset);
Josef Bacik4e69b592011-03-21 10:11:24 -04003071 ret = tree_insert_offset(&cluster->root, entry->offset,
3072 &entry->offset_index, 1);
Josef Bacikb12d6862013-08-26 17:14:08 -04003073 ASSERT(!ret); /* -EEXIST; Logic error */
Josef Bacik96303082009-07-13 21:29:25 -04003074
Josef Bacik3f7de032011-11-10 08:29:20 -05003075 trace_btrfs_setup_cluster(block_group, cluster,
Wang Sheng-Hui96009762012-11-30 06:30:14 +00003076 total_found * ctl->unit, 1);
Josef Bacik96303082009-07-13 21:29:25 -04003077 return 0;
3078}
3079
Chris Masonfa9c0d792009-04-03 09:47:43 -04003080/*
Josef Bacik4e69b592011-03-21 10:11:24 -04003081 * This searches the block group for just extents to fill the cluster with.
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003082 * Try to find a cluster with at least bytes total bytes, at least one
3083 * extent of cont1_bytes, and other clusters of at least min_bytes.
Josef Bacik4e69b592011-03-21 10:11:24 -04003084 */
Josef Bacik3de85bb2011-05-25 13:07:37 -04003085static noinline int
David Sterba32da53862019-10-29 19:20:18 +01003086setup_cluster_no_bitmap(struct btrfs_block_group *block_group,
Josef Bacik3de85bb2011-05-25 13:07:37 -04003087 struct btrfs_free_cluster *cluster,
3088 struct list_head *bitmaps, u64 offset, u64 bytes,
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003089 u64 cont1_bytes, u64 min_bytes)
Josef Bacik4e69b592011-03-21 10:11:24 -04003090{
Li Zefan34d52cb2011-03-29 13:46:06 +08003091 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Josef Bacik4e69b592011-03-21 10:11:24 -04003092 struct btrfs_free_space *first = NULL;
3093 struct btrfs_free_space *entry = NULL;
Josef Bacik4e69b592011-03-21 10:11:24 -04003094 struct btrfs_free_space *last;
3095 struct rb_node *node;
Josef Bacik4e69b592011-03-21 10:11:24 -04003096 u64 window_free;
3097 u64 max_extent;
Josef Bacik3f7de032011-11-10 08:29:20 -05003098 u64 total_size = 0;
Josef Bacik4e69b592011-03-21 10:11:24 -04003099
Li Zefan34d52cb2011-03-29 13:46:06 +08003100 entry = tree_search_offset(ctl, offset, 0, 1);
Josef Bacik4e69b592011-03-21 10:11:24 -04003101 if (!entry)
3102 return -ENOSPC;
3103
3104 /*
3105 * We don't want bitmaps, so just move along until we find a normal
3106 * extent entry.
3107 */
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003108 while (entry->bitmap || entry->bytes < min_bytes) {
3109 if (entry->bitmap && list_empty(&entry->list))
Josef Bacik86d4a772011-05-25 13:03:16 -04003110 list_add_tail(&entry->list, bitmaps);
Josef Bacik4e69b592011-03-21 10:11:24 -04003111 node = rb_next(&entry->offset_index);
3112 if (!node)
3113 return -ENOSPC;
3114 entry = rb_entry(node, struct btrfs_free_space, offset_index);
3115 }
3116
Josef Bacik4e69b592011-03-21 10:11:24 -04003117 window_free = entry->bytes;
3118 max_extent = entry->bytes;
3119 first = entry;
3120 last = entry;
Josef Bacik4e69b592011-03-21 10:11:24 -04003121
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003122 for (node = rb_next(&entry->offset_index); node;
3123 node = rb_next(&entry->offset_index)) {
Josef Bacik4e69b592011-03-21 10:11:24 -04003124 entry = rb_entry(node, struct btrfs_free_space, offset_index);
3125
Josef Bacik86d4a772011-05-25 13:03:16 -04003126 if (entry->bitmap) {
3127 if (list_empty(&entry->list))
3128 list_add_tail(&entry->list, bitmaps);
Josef Bacik4e69b592011-03-21 10:11:24 -04003129 continue;
Josef Bacik86d4a772011-05-25 13:03:16 -04003130 }
3131
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003132 if (entry->bytes < min_bytes)
3133 continue;
3134
3135 last = entry;
3136 window_free += entry->bytes;
3137 if (entry->bytes > max_extent)
Josef Bacik4e69b592011-03-21 10:11:24 -04003138 max_extent = entry->bytes;
Josef Bacik4e69b592011-03-21 10:11:24 -04003139 }
3140
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003141 if (window_free < bytes || max_extent < cont1_bytes)
3142 return -ENOSPC;
3143
Josef Bacik4e69b592011-03-21 10:11:24 -04003144 cluster->window_start = first->offset;
3145
3146 node = &first->offset_index;
3147
3148 /*
3149 * now we've found our entries, pull them out of the free space
3150 * cache and put them into the cluster rbtree
3151 */
3152 do {
3153 int ret;
3154
3155 entry = rb_entry(node, struct btrfs_free_space, offset_index);
3156 node = rb_next(&entry->offset_index);
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003157 if (entry->bitmap || entry->bytes < min_bytes)
Josef Bacik4e69b592011-03-21 10:11:24 -04003158 continue;
3159
Li Zefan34d52cb2011-03-29 13:46:06 +08003160 rb_erase(&entry->offset_index, &ctl->free_space_offset);
Josef Bacik4e69b592011-03-21 10:11:24 -04003161 ret = tree_insert_offset(&cluster->root, entry->offset,
3162 &entry->offset_index, 0);
Josef Bacik3f7de032011-11-10 08:29:20 -05003163 total_size += entry->bytes;
Josef Bacikb12d6862013-08-26 17:14:08 -04003164 ASSERT(!ret); /* -EEXIST; Logic error */
Josef Bacik4e69b592011-03-21 10:11:24 -04003165 } while (node && entry != last);
3166
3167 cluster->max_size = max_extent;
Josef Bacik3f7de032011-11-10 08:29:20 -05003168 trace_btrfs_setup_cluster(block_group, cluster, total_size, 0);
Josef Bacik4e69b592011-03-21 10:11:24 -04003169 return 0;
3170}
3171
3172/*
3173 * This specifically looks for bitmaps that may work in the cluster, we assume
3174 * that we have already failed to find extents that will work.
3175 */
Josef Bacik3de85bb2011-05-25 13:07:37 -04003176static noinline int
David Sterba32da53862019-10-29 19:20:18 +01003177setup_cluster_bitmap(struct btrfs_block_group *block_group,
Josef Bacik3de85bb2011-05-25 13:07:37 -04003178 struct btrfs_free_cluster *cluster,
3179 struct list_head *bitmaps, u64 offset, u64 bytes,
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003180 u64 cont1_bytes, u64 min_bytes)
Josef Bacik4e69b592011-03-21 10:11:24 -04003181{
Li Zefan34d52cb2011-03-29 13:46:06 +08003182 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Chris Mason1b9b9222015-12-15 07:15:32 -08003183 struct btrfs_free_space *entry = NULL;
Josef Bacik4e69b592011-03-21 10:11:24 -04003184 int ret = -ENOSPC;
Li Zefan0f0fbf12011-11-20 07:33:38 -05003185 u64 bitmap_offset = offset_to_bitmap(ctl, offset);
Josef Bacik4e69b592011-03-21 10:11:24 -04003186
Li Zefan34d52cb2011-03-29 13:46:06 +08003187 if (ctl->total_bitmaps == 0)
Josef Bacik4e69b592011-03-21 10:11:24 -04003188 return -ENOSPC;
3189
Josef Bacik86d4a772011-05-25 13:03:16 -04003190 /*
Li Zefan0f0fbf12011-11-20 07:33:38 -05003191 * The bitmap that covers offset won't be in the list unless offset
3192 * is just its start offset.
3193 */
Chris Mason1b9b9222015-12-15 07:15:32 -08003194 if (!list_empty(bitmaps))
3195 entry = list_first_entry(bitmaps, struct btrfs_free_space, list);
3196
3197 if (!entry || entry->offset != bitmap_offset) {
Li Zefan0f0fbf12011-11-20 07:33:38 -05003198 entry = tree_search_offset(ctl, bitmap_offset, 1, 0);
3199 if (entry && list_empty(&entry->list))
3200 list_add(&entry->list, bitmaps);
3201 }
3202
Josef Bacik86d4a772011-05-25 13:03:16 -04003203 list_for_each_entry(entry, bitmaps, list) {
Josef Bacik357b9782012-01-26 15:01:11 -05003204 if (entry->bytes < bytes)
Josef Bacik86d4a772011-05-25 13:03:16 -04003205 continue;
3206 ret = btrfs_bitmap_cluster(block_group, entry, cluster, offset,
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003207 bytes, cont1_bytes, min_bytes);
Josef Bacik86d4a772011-05-25 13:03:16 -04003208 if (!ret)
3209 return 0;
3210 }
3211
3212 /*
Li Zefan52621cb2011-11-20 07:33:38 -05003213 * The bitmaps list has all the bitmaps that record free space
3214 * starting after offset, so no more search is required.
Josef Bacik86d4a772011-05-25 13:03:16 -04003215 */
Li Zefan52621cb2011-11-20 07:33:38 -05003216 return -ENOSPC;
Josef Bacik4e69b592011-03-21 10:11:24 -04003217}
3218
3219/*
Chris Masonfa9c0d792009-04-03 09:47:43 -04003220 * here we try to find a cluster of blocks in a block group. The goal
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003221 * is to find at least bytes+empty_size.
Chris Masonfa9c0d792009-04-03 09:47:43 -04003222 * We might not find them all in one contiguous area.
3223 *
3224 * returns zero and sets up cluster if things worked out, otherwise
3225 * it returns -enospc
3226 */
David Sterba32da53862019-10-29 19:20:18 +01003227int btrfs_find_space_cluster(struct btrfs_block_group *block_group,
Chris Masonfa9c0d792009-04-03 09:47:43 -04003228 struct btrfs_free_cluster *cluster,
3229 u64 offset, u64 bytes, u64 empty_size)
3230{
David Sterba2ceeae22019-03-20 13:53:49 +01003231 struct btrfs_fs_info *fs_info = block_group->fs_info;
Li Zefan34d52cb2011-03-29 13:46:06 +08003232 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Josef Bacik86d4a772011-05-25 13:03:16 -04003233 struct btrfs_free_space *entry, *tmp;
Li Zefan52621cb2011-11-20 07:33:38 -05003234 LIST_HEAD(bitmaps);
Chris Masonfa9c0d792009-04-03 09:47:43 -04003235 u64 min_bytes;
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003236 u64 cont1_bytes;
Chris Masonfa9c0d792009-04-03 09:47:43 -04003237 int ret;
3238
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003239 /*
3240 * Choose the minimum extent size we'll require for this
3241 * cluster. For SSD_SPREAD, don't allow any fragmentation.
3242 * For metadata, allow allocates with smaller extents. For
3243 * data, keep it dense.
3244 */
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003245 if (btrfs_test_opt(fs_info, SSD_SPREAD)) {
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003246 cont1_bytes = min_bytes = bytes + empty_size;
Chris Mason451d7582009-06-09 20:28:34 -04003247 } else if (block_group->flags & BTRFS_BLOCK_GROUP_METADATA) {
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003248 cont1_bytes = bytes;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003249 min_bytes = fs_info->sectorsize;
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003250 } else {
3251 cont1_bytes = max(bytes, (bytes + empty_size) >> 2);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003252 min_bytes = fs_info->sectorsize;
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003253 }
Chris Masonfa9c0d792009-04-03 09:47:43 -04003254
Li Zefan34d52cb2011-03-29 13:46:06 +08003255 spin_lock(&ctl->tree_lock);
Josef Bacik7d0d2e82011-03-18 15:13:42 -04003256
3257 /*
3258 * If we know we don't have enough space to make a cluster don't even
3259 * bother doing all the work to try and find one.
3260 */
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003261 if (ctl->free_space < bytes) {
Li Zefan34d52cb2011-03-29 13:46:06 +08003262 spin_unlock(&ctl->tree_lock);
Josef Bacik7d0d2e82011-03-18 15:13:42 -04003263 return -ENOSPC;
3264 }
3265
Chris Masonfa9c0d792009-04-03 09:47:43 -04003266 spin_lock(&cluster->lock);
3267
3268 /* someone already found a cluster, hooray */
3269 if (cluster->block_group) {
3270 ret = 0;
3271 goto out;
3272 }
Josef Bacik4e69b592011-03-21 10:11:24 -04003273
Josef Bacik3f7de032011-11-10 08:29:20 -05003274 trace_btrfs_find_cluster(block_group, offset, bytes, empty_size,
3275 min_bytes);
3276
Josef Bacik86d4a772011-05-25 13:03:16 -04003277 ret = setup_cluster_no_bitmap(block_group, cluster, &bitmaps, offset,
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003278 bytes + empty_size,
3279 cont1_bytes, min_bytes);
Josef Bacik4e69b592011-03-21 10:11:24 -04003280 if (ret)
Josef Bacik86d4a772011-05-25 13:03:16 -04003281 ret = setup_cluster_bitmap(block_group, cluster, &bitmaps,
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003282 offset, bytes + empty_size,
3283 cont1_bytes, min_bytes);
Josef Bacik86d4a772011-05-25 13:03:16 -04003284
3285 /* Clear our temporary list */
3286 list_for_each_entry_safe(entry, tmp, &bitmaps, list)
3287 list_del_init(&entry->list);
Josef Bacik4e69b592011-03-21 10:11:24 -04003288
3289 if (!ret) {
Anand Jainb5790d52020-06-03 18:10:20 +08003290 btrfs_get_block_group(block_group);
Josef Bacik4e69b592011-03-21 10:11:24 -04003291 list_add_tail(&cluster->block_group_list,
3292 &block_group->cluster_list);
3293 cluster->block_group = block_group;
Josef Bacik3f7de032011-11-10 08:29:20 -05003294 } else {
3295 trace_btrfs_failed_cluster_setup(block_group);
Chris Masonfa9c0d792009-04-03 09:47:43 -04003296 }
Chris Masonfa9c0d792009-04-03 09:47:43 -04003297out:
3298 spin_unlock(&cluster->lock);
Li Zefan34d52cb2011-03-29 13:46:06 +08003299 spin_unlock(&ctl->tree_lock);
Chris Masonfa9c0d792009-04-03 09:47:43 -04003300
3301 return ret;
3302}
3303
3304/*
3305 * simple code to zero out a cluster
3306 */
3307void btrfs_init_free_cluster(struct btrfs_free_cluster *cluster)
3308{
3309 spin_lock_init(&cluster->lock);
3310 spin_lock_init(&cluster->refill_lock);
Eric Paris6bef4d32010-02-23 19:43:04 +00003311 cluster->root = RB_ROOT;
Chris Masonfa9c0d792009-04-03 09:47:43 -04003312 cluster->max_size = 0;
Josef Bacikc759c4e2015-10-02 15:25:10 -04003313 cluster->fragmented = false;
Chris Masonfa9c0d792009-04-03 09:47:43 -04003314 INIT_LIST_HEAD(&cluster->block_group_list);
3315 cluster->block_group = NULL;
3316}
3317
David Sterba32da53862019-10-29 19:20:18 +01003318static int do_trimming(struct btrfs_block_group *block_group,
Li Zefan7fe1e642011-12-29 14:47:27 +08003319 u64 *total_trimmed, u64 start, u64 bytes,
Filipe Manana55507ce2014-12-01 17:04:09 +00003320 u64 reserved_start, u64 reserved_bytes,
Dennis Zhoub0643e52019-12-13 16:22:14 -08003321 enum btrfs_trim_state reserved_trim_state,
Filipe Manana55507ce2014-12-01 17:04:09 +00003322 struct btrfs_trim_range *trim_entry)
Li Zefan7fe1e642011-12-29 14:47:27 +08003323{
3324 struct btrfs_space_info *space_info = block_group->space_info;
3325 struct btrfs_fs_info *fs_info = block_group->fs_info;
Filipe Manana55507ce2014-12-01 17:04:09 +00003326 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Li Zefan7fe1e642011-12-29 14:47:27 +08003327 int ret;
3328 int update = 0;
Dennis Zhoub0643e52019-12-13 16:22:14 -08003329 const u64 end = start + bytes;
3330 const u64 reserved_end = reserved_start + reserved_bytes;
3331 enum btrfs_trim_state trim_state = BTRFS_TRIM_STATE_UNTRIMMED;
Li Zefan7fe1e642011-12-29 14:47:27 +08003332 u64 trimmed = 0;
3333
3334 spin_lock(&space_info->lock);
3335 spin_lock(&block_group->lock);
3336 if (!block_group->ro) {
3337 block_group->reserved += reserved_bytes;
3338 space_info->bytes_reserved += reserved_bytes;
3339 update = 1;
3340 }
3341 spin_unlock(&block_group->lock);
3342 spin_unlock(&space_info->lock);
3343
Jeff Mahoney2ff7e612016-06-22 18:54:24 -04003344 ret = btrfs_discard_extent(fs_info, start, bytes, &trimmed);
Dennis Zhoub0643e52019-12-13 16:22:14 -08003345 if (!ret) {
Li Zefan7fe1e642011-12-29 14:47:27 +08003346 *total_trimmed += trimmed;
Dennis Zhoub0643e52019-12-13 16:22:14 -08003347 trim_state = BTRFS_TRIM_STATE_TRIMMED;
3348 }
Li Zefan7fe1e642011-12-29 14:47:27 +08003349
Filipe Manana55507ce2014-12-01 17:04:09 +00003350 mutex_lock(&ctl->cache_writeout_mutex);
Dennis Zhoub0643e52019-12-13 16:22:14 -08003351 if (reserved_start < start)
3352 __btrfs_add_free_space(fs_info, ctl, reserved_start,
3353 start - reserved_start,
3354 reserved_trim_state);
3355 if (start + bytes < reserved_start + reserved_bytes)
3356 __btrfs_add_free_space(fs_info, ctl, end, reserved_end - end,
3357 reserved_trim_state);
3358 __btrfs_add_free_space(fs_info, ctl, start, bytes, trim_state);
Filipe Manana55507ce2014-12-01 17:04:09 +00003359 list_del(&trim_entry->list);
3360 mutex_unlock(&ctl->cache_writeout_mutex);
Li Zefan7fe1e642011-12-29 14:47:27 +08003361
3362 if (update) {
3363 spin_lock(&space_info->lock);
3364 spin_lock(&block_group->lock);
3365 if (block_group->ro)
3366 space_info->bytes_readonly += reserved_bytes;
3367 block_group->reserved -= reserved_bytes;
3368 space_info->bytes_reserved -= reserved_bytes;
Li Zefan7fe1e642011-12-29 14:47:27 +08003369 spin_unlock(&block_group->lock);
Su Yue8f63a842018-11-28 11:21:12 +08003370 spin_unlock(&space_info->lock);
Li Zefan7fe1e642011-12-29 14:47:27 +08003371 }
3372
3373 return ret;
3374}
3375
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003376/*
3377 * If @async is set, then we will trim 1 region and return.
3378 */
David Sterba32da53862019-10-29 19:20:18 +01003379static int trim_no_bitmap(struct btrfs_block_group *block_group,
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003380 u64 *total_trimmed, u64 start, u64 end, u64 minlen,
3381 bool async)
Li Dongyangf7039b12011-03-24 10:24:28 +00003382{
Dennis Zhou19b2a2c2020-01-02 16:26:38 -05003383 struct btrfs_discard_ctl *discard_ctl =
3384 &block_group->fs_info->discard_ctl;
Li Zefan34d52cb2011-03-29 13:46:06 +08003385 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Li Zefan7fe1e642011-12-29 14:47:27 +08003386 struct btrfs_free_space *entry;
3387 struct rb_node *node;
Li Dongyangf7039b12011-03-24 10:24:28 +00003388 int ret = 0;
Li Zefan7fe1e642011-12-29 14:47:27 +08003389 u64 extent_start;
3390 u64 extent_bytes;
Dennis Zhoub0643e52019-12-13 16:22:14 -08003391 enum btrfs_trim_state extent_trim_state;
Li Zefan7fe1e642011-12-29 14:47:27 +08003392 u64 bytes;
Dennis Zhou19b2a2c2020-01-02 16:26:38 -05003393 const u64 max_discard_size = READ_ONCE(discard_ctl->max_discard_size);
Li Dongyangf7039b12011-03-24 10:24:28 +00003394
3395 while (start < end) {
Filipe Manana55507ce2014-12-01 17:04:09 +00003396 struct btrfs_trim_range trim_entry;
3397
3398 mutex_lock(&ctl->cache_writeout_mutex);
Li Zefan34d52cb2011-03-29 13:46:06 +08003399 spin_lock(&ctl->tree_lock);
Li Dongyangf7039b12011-03-24 10:24:28 +00003400
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003401 if (ctl->free_space < minlen)
3402 goto out_unlock;
Li Dongyangf7039b12011-03-24 10:24:28 +00003403
Li Zefan34d52cb2011-03-29 13:46:06 +08003404 entry = tree_search_offset(ctl, start, 0, 1);
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003405 if (!entry)
3406 goto out_unlock;
Li Dongyangf7039b12011-03-24 10:24:28 +00003407
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003408 /* Skip bitmaps and if async, already trimmed entries */
3409 while (entry->bitmap ||
3410 (async && btrfs_free_space_trimmed(entry))) {
Li Zefan7fe1e642011-12-29 14:47:27 +08003411 node = rb_next(&entry->offset_index);
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003412 if (!node)
3413 goto out_unlock;
Li Zefan7fe1e642011-12-29 14:47:27 +08003414 entry = rb_entry(node, struct btrfs_free_space,
3415 offset_index);
Li Dongyangf7039b12011-03-24 10:24:28 +00003416 }
3417
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003418 if (entry->offset >= end)
3419 goto out_unlock;
Li Zefan7fe1e642011-12-29 14:47:27 +08003420
3421 extent_start = entry->offset;
3422 extent_bytes = entry->bytes;
Dennis Zhoub0643e52019-12-13 16:22:14 -08003423 extent_trim_state = entry->trim_state;
Dennis Zhou4aa9ad52020-01-02 16:26:37 -05003424 if (async) {
3425 start = entry->offset;
3426 bytes = entry->bytes;
3427 if (bytes < minlen) {
3428 spin_unlock(&ctl->tree_lock);
3429 mutex_unlock(&ctl->cache_writeout_mutex);
3430 goto next;
3431 }
3432 unlink_free_space(ctl, entry);
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003433 /*
3434 * Let bytes = BTRFS_MAX_DISCARD_SIZE + X.
3435 * If X < BTRFS_ASYNC_DISCARD_MIN_FILTER, we won't trim
3436 * X when we come back around. So trim it now.
3437 */
3438 if (max_discard_size &&
3439 bytes >= (max_discard_size +
3440 BTRFS_ASYNC_DISCARD_MIN_FILTER)) {
Dennis Zhou19b2a2c2020-01-02 16:26:38 -05003441 bytes = max_discard_size;
3442 extent_bytes = max_discard_size;
3443 entry->offset += max_discard_size;
3444 entry->bytes -= max_discard_size;
Dennis Zhou4aa9ad52020-01-02 16:26:37 -05003445 link_free_space(ctl, entry);
3446 } else {
3447 kmem_cache_free(btrfs_free_space_cachep, entry);
3448 }
3449 } else {
3450 start = max(start, extent_start);
3451 bytes = min(extent_start + extent_bytes, end) - start;
3452 if (bytes < minlen) {
3453 spin_unlock(&ctl->tree_lock);
3454 mutex_unlock(&ctl->cache_writeout_mutex);
3455 goto next;
3456 }
Li Zefan7fe1e642011-12-29 14:47:27 +08003457
Dennis Zhou4aa9ad52020-01-02 16:26:37 -05003458 unlink_free_space(ctl, entry);
3459 kmem_cache_free(btrfs_free_space_cachep, entry);
3460 }
Li Zefan7fe1e642011-12-29 14:47:27 +08003461
Li Zefan34d52cb2011-03-29 13:46:06 +08003462 spin_unlock(&ctl->tree_lock);
Filipe Manana55507ce2014-12-01 17:04:09 +00003463 trim_entry.start = extent_start;
3464 trim_entry.bytes = extent_bytes;
3465 list_add_tail(&trim_entry.list, &ctl->trimming_ranges);
3466 mutex_unlock(&ctl->cache_writeout_mutex);
Li Dongyangf7039b12011-03-24 10:24:28 +00003467
Li Zefan7fe1e642011-12-29 14:47:27 +08003468 ret = do_trimming(block_group, total_trimmed, start, bytes,
Dennis Zhoub0643e52019-12-13 16:22:14 -08003469 extent_start, extent_bytes, extent_trim_state,
3470 &trim_entry);
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003471 if (ret) {
3472 block_group->discard_cursor = start + bytes;
Li Zefan7fe1e642011-12-29 14:47:27 +08003473 break;
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003474 }
Li Zefan7fe1e642011-12-29 14:47:27 +08003475next:
Li Dongyangf7039b12011-03-24 10:24:28 +00003476 start += bytes;
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003477 block_group->discard_cursor = start;
3478 if (async && *total_trimmed)
3479 break;
Li Dongyangf7039b12011-03-24 10:24:28 +00003480
3481 if (fatal_signal_pending(current)) {
3482 ret = -ERESTARTSYS;
3483 break;
3484 }
3485
3486 cond_resched();
3487 }
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003488
3489 return ret;
3490
3491out_unlock:
3492 block_group->discard_cursor = btrfs_block_group_end(block_group);
3493 spin_unlock(&ctl->tree_lock);
3494 mutex_unlock(&ctl->cache_writeout_mutex);
3495
Li Zefan7fe1e642011-12-29 14:47:27 +08003496 return ret;
3497}
3498
Dennis Zhouda080fe2019-12-13 16:22:13 -08003499/*
3500 * If we break out of trimming a bitmap prematurely, we should reset the
3501 * trimming bit. In a rather contrieved case, it's possible to race here so
3502 * reset the state to BTRFS_TRIM_STATE_UNTRIMMED.
3503 *
3504 * start = start of bitmap
3505 * end = near end of bitmap
3506 *
3507 * Thread 1: Thread 2:
3508 * trim_bitmaps(start)
3509 * trim_bitmaps(end)
3510 * end_trimming_bitmap()
3511 * reset_trimming_bitmap()
3512 */
3513static void reset_trimming_bitmap(struct btrfs_free_space_ctl *ctl, u64 offset)
3514{
3515 struct btrfs_free_space *entry;
3516
3517 spin_lock(&ctl->tree_lock);
3518 entry = tree_search_offset(ctl, offset, 1, 0);
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08003519 if (entry) {
Dennis Zhou5dc7c102019-12-13 16:22:21 -08003520 if (btrfs_free_space_trimmed(entry)) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08003521 ctl->discardable_extents[BTRFS_STAT_CURR] +=
3522 entry->bitmap_extents;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08003523 ctl->discardable_bytes[BTRFS_STAT_CURR] += entry->bytes;
3524 }
Dennis Zhouda080fe2019-12-13 16:22:13 -08003525 entry->trim_state = BTRFS_TRIM_STATE_UNTRIMMED;
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08003526 }
3527
Dennis Zhouda080fe2019-12-13 16:22:13 -08003528 spin_unlock(&ctl->tree_lock);
3529}
3530
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08003531static void end_trimming_bitmap(struct btrfs_free_space_ctl *ctl,
3532 struct btrfs_free_space *entry)
Dennis Zhouda080fe2019-12-13 16:22:13 -08003533{
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08003534 if (btrfs_free_space_trimming_bitmap(entry)) {
Dennis Zhouda080fe2019-12-13 16:22:13 -08003535 entry->trim_state = BTRFS_TRIM_STATE_TRIMMED;
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08003536 ctl->discardable_extents[BTRFS_STAT_CURR] -=
3537 entry->bitmap_extents;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08003538 ctl->discardable_bytes[BTRFS_STAT_CURR] -= entry->bytes;
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08003539 }
Dennis Zhouda080fe2019-12-13 16:22:13 -08003540}
3541
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003542/*
3543 * If @async is set, then we will trim 1 region and return.
3544 */
David Sterba32da53862019-10-29 19:20:18 +01003545static int trim_bitmaps(struct btrfs_block_group *block_group,
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003546 u64 *total_trimmed, u64 start, u64 end, u64 minlen,
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003547 u64 maxlen, bool async)
Li Zefan7fe1e642011-12-29 14:47:27 +08003548{
Dennis Zhou19b2a2c2020-01-02 16:26:38 -05003549 struct btrfs_discard_ctl *discard_ctl =
3550 &block_group->fs_info->discard_ctl;
Li Zefan7fe1e642011-12-29 14:47:27 +08003551 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
3552 struct btrfs_free_space *entry;
3553 int ret = 0;
3554 int ret2;
3555 u64 bytes;
3556 u64 offset = offset_to_bitmap(ctl, start);
Dennis Zhou19b2a2c2020-01-02 16:26:38 -05003557 const u64 max_discard_size = READ_ONCE(discard_ctl->max_discard_size);
Li Zefan7fe1e642011-12-29 14:47:27 +08003558
3559 while (offset < end) {
3560 bool next_bitmap = false;
Filipe Manana55507ce2014-12-01 17:04:09 +00003561 struct btrfs_trim_range trim_entry;
Li Zefan7fe1e642011-12-29 14:47:27 +08003562
Filipe Manana55507ce2014-12-01 17:04:09 +00003563 mutex_lock(&ctl->cache_writeout_mutex);
Li Zefan7fe1e642011-12-29 14:47:27 +08003564 spin_lock(&ctl->tree_lock);
3565
3566 if (ctl->free_space < minlen) {
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003567 block_group->discard_cursor =
3568 btrfs_block_group_end(block_group);
Li Zefan7fe1e642011-12-29 14:47:27 +08003569 spin_unlock(&ctl->tree_lock);
Filipe Manana55507ce2014-12-01 17:04:09 +00003570 mutex_unlock(&ctl->cache_writeout_mutex);
Li Zefan7fe1e642011-12-29 14:47:27 +08003571 break;
3572 }
3573
3574 entry = tree_search_offset(ctl, offset, 1, 0);
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003575 /*
3576 * Bitmaps are marked trimmed lossily now to prevent constant
3577 * discarding of the same bitmap (the reason why we are bound
3578 * by the filters). So, retrim the block group bitmaps when we
3579 * are preparing to punt to the unused_bgs list. This uses
3580 * @minlen to determine if we are in BTRFS_DISCARD_INDEX_UNUSED
3581 * which is the only discard index which sets minlen to 0.
3582 */
3583 if (!entry || (async && minlen && start == offset &&
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003584 btrfs_free_space_trimmed(entry))) {
Li Zefan7fe1e642011-12-29 14:47:27 +08003585 spin_unlock(&ctl->tree_lock);
Filipe Manana55507ce2014-12-01 17:04:09 +00003586 mutex_unlock(&ctl->cache_writeout_mutex);
Li Zefan7fe1e642011-12-29 14:47:27 +08003587 next_bitmap = true;
3588 goto next;
3589 }
3590
Dennis Zhouda080fe2019-12-13 16:22:13 -08003591 /*
3592 * Async discard bitmap trimming begins at by setting the start
3593 * to be key.objectid and the offset_to_bitmap() aligns to the
3594 * start of the bitmap. This lets us know we are fully
3595 * scanning the bitmap rather than only some portion of it.
3596 */
3597 if (start == offset)
3598 entry->trim_state = BTRFS_TRIM_STATE_TRIMMING;
3599
Li Zefan7fe1e642011-12-29 14:47:27 +08003600 bytes = minlen;
Josef Bacik0584f712015-10-02 16:12:23 -04003601 ret2 = search_bitmap(ctl, entry, &start, &bytes, false);
Li Zefan7fe1e642011-12-29 14:47:27 +08003602 if (ret2 || start >= end) {
Dennis Zhouda080fe2019-12-13 16:22:13 -08003603 /*
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003604 * We lossily consider a bitmap trimmed if we only skip
3605 * over regions <= BTRFS_ASYNC_DISCARD_MIN_FILTER.
Dennis Zhouda080fe2019-12-13 16:22:13 -08003606 */
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003607 if (ret2 && minlen <= BTRFS_ASYNC_DISCARD_MIN_FILTER)
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08003608 end_trimming_bitmap(ctl, entry);
Dennis Zhouda080fe2019-12-13 16:22:13 -08003609 else
3610 entry->trim_state = BTRFS_TRIM_STATE_UNTRIMMED;
Li Zefan7fe1e642011-12-29 14:47:27 +08003611 spin_unlock(&ctl->tree_lock);
Filipe Manana55507ce2014-12-01 17:04:09 +00003612 mutex_unlock(&ctl->cache_writeout_mutex);
Li Zefan7fe1e642011-12-29 14:47:27 +08003613 next_bitmap = true;
3614 goto next;
3615 }
3616
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003617 /*
3618 * We already trimmed a region, but are using the locking above
3619 * to reset the trim_state.
3620 */
3621 if (async && *total_trimmed) {
3622 spin_unlock(&ctl->tree_lock);
3623 mutex_unlock(&ctl->cache_writeout_mutex);
3624 goto out;
3625 }
3626
Li Zefan7fe1e642011-12-29 14:47:27 +08003627 bytes = min(bytes, end - start);
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003628 if (bytes < minlen || (async && maxlen && bytes > maxlen)) {
Li Zefan7fe1e642011-12-29 14:47:27 +08003629 spin_unlock(&ctl->tree_lock);
Filipe Manana55507ce2014-12-01 17:04:09 +00003630 mutex_unlock(&ctl->cache_writeout_mutex);
Li Zefan7fe1e642011-12-29 14:47:27 +08003631 goto next;
3632 }
3633
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003634 /*
3635 * Let bytes = BTRFS_MAX_DISCARD_SIZE + X.
3636 * If X < @minlen, we won't trim X when we come back around.
3637 * So trim it now. We differ here from trimming extents as we
3638 * don't keep individual state per bit.
3639 */
3640 if (async &&
3641 max_discard_size &&
3642 bytes > (max_discard_size + minlen))
Dennis Zhou19b2a2c2020-01-02 16:26:38 -05003643 bytes = max_discard_size;
Dennis Zhou4aa9ad52020-01-02 16:26:37 -05003644
Li Zefan7fe1e642011-12-29 14:47:27 +08003645 bitmap_clear_bits(ctl, entry, start, bytes);
3646 if (entry->bytes == 0)
3647 free_bitmap(ctl, entry);
3648
3649 spin_unlock(&ctl->tree_lock);
Filipe Manana55507ce2014-12-01 17:04:09 +00003650 trim_entry.start = start;
3651 trim_entry.bytes = bytes;
3652 list_add_tail(&trim_entry.list, &ctl->trimming_ranges);
3653 mutex_unlock(&ctl->cache_writeout_mutex);
Li Zefan7fe1e642011-12-29 14:47:27 +08003654
3655 ret = do_trimming(block_group, total_trimmed, start, bytes,
Dennis Zhoub0643e52019-12-13 16:22:14 -08003656 start, bytes, 0, &trim_entry);
Dennis Zhouda080fe2019-12-13 16:22:13 -08003657 if (ret) {
3658 reset_trimming_bitmap(ctl, offset);
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003659 block_group->discard_cursor =
3660 btrfs_block_group_end(block_group);
Li Zefan7fe1e642011-12-29 14:47:27 +08003661 break;
Dennis Zhouda080fe2019-12-13 16:22:13 -08003662 }
Li Zefan7fe1e642011-12-29 14:47:27 +08003663next:
3664 if (next_bitmap) {
3665 offset += BITS_PER_BITMAP * ctl->unit;
Dennis Zhouda080fe2019-12-13 16:22:13 -08003666 start = offset;
Li Zefan7fe1e642011-12-29 14:47:27 +08003667 } else {
3668 start += bytes;
Li Zefan7fe1e642011-12-29 14:47:27 +08003669 }
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003670 block_group->discard_cursor = start;
Li Zefan7fe1e642011-12-29 14:47:27 +08003671
3672 if (fatal_signal_pending(current)) {
Dennis Zhouda080fe2019-12-13 16:22:13 -08003673 if (start != offset)
3674 reset_trimming_bitmap(ctl, offset);
Li Zefan7fe1e642011-12-29 14:47:27 +08003675 ret = -ERESTARTSYS;
3676 break;
3677 }
3678
3679 cond_resched();
3680 }
3681
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003682 if (offset >= end)
3683 block_group->discard_cursor = end;
3684
3685out:
Li Zefan7fe1e642011-12-29 14:47:27 +08003686 return ret;
3687}
3688
David Sterba32da53862019-10-29 19:20:18 +01003689int btrfs_trim_block_group(struct btrfs_block_group *block_group,
Jeff Mahoneye33e17e2015-06-15 09:41:19 -04003690 u64 *trimmed, u64 start, u64 end, u64 minlen)
3691{
Dennis Zhouda080fe2019-12-13 16:22:13 -08003692 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Jeff Mahoneye33e17e2015-06-15 09:41:19 -04003693 int ret;
Dennis Zhouda080fe2019-12-13 16:22:13 -08003694 u64 rem = 0;
Jeff Mahoneye33e17e2015-06-15 09:41:19 -04003695
3696 *trimmed = 0;
3697
3698 spin_lock(&block_group->lock);
3699 if (block_group->removed) {
3700 spin_unlock(&block_group->lock);
3701 return 0;
3702 }
Filipe Manana6b7304a2020-05-08 11:01:47 +01003703 btrfs_freeze_block_group(block_group);
Jeff Mahoneye33e17e2015-06-15 09:41:19 -04003704 spin_unlock(&block_group->lock);
3705
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003706 ret = trim_no_bitmap(block_group, trimmed, start, end, minlen, false);
Jeff Mahoneye33e17e2015-06-15 09:41:19 -04003707 if (ret)
3708 goto out;
3709
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003710 ret = trim_bitmaps(block_group, trimmed, start, end, minlen, 0, false);
Dennis Zhouda080fe2019-12-13 16:22:13 -08003711 div64_u64_rem(end, BITS_PER_BITMAP * ctl->unit, &rem);
3712 /* If we ended in the middle of a bitmap, reset the trimming flag */
3713 if (rem)
3714 reset_trimming_bitmap(ctl, offset_to_bitmap(ctl, end));
Jeff Mahoneye33e17e2015-06-15 09:41:19 -04003715out:
Filipe Manana6b7304a2020-05-08 11:01:47 +01003716 btrfs_unfreeze_block_group(block_group);
Li Dongyangf7039b12011-03-24 10:24:28 +00003717 return ret;
3718}
Li Zefan581bb052011-04-20 10:06:11 +08003719
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003720int btrfs_trim_block_group_extents(struct btrfs_block_group *block_group,
3721 u64 *trimmed, u64 start, u64 end, u64 minlen,
3722 bool async)
3723{
3724 int ret;
3725
3726 *trimmed = 0;
3727
3728 spin_lock(&block_group->lock);
3729 if (block_group->removed) {
3730 spin_unlock(&block_group->lock);
3731 return 0;
3732 }
Filipe Manana6b7304a2020-05-08 11:01:47 +01003733 btrfs_freeze_block_group(block_group);
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003734 spin_unlock(&block_group->lock);
3735
3736 ret = trim_no_bitmap(block_group, trimmed, start, end, minlen, async);
Filipe Manana6b7304a2020-05-08 11:01:47 +01003737 btrfs_unfreeze_block_group(block_group);
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003738
3739 return ret;
3740}
3741
3742int btrfs_trim_block_group_bitmaps(struct btrfs_block_group *block_group,
3743 u64 *trimmed, u64 start, u64 end, u64 minlen,
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003744 u64 maxlen, bool async)
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003745{
3746 int ret;
3747
3748 *trimmed = 0;
3749
3750 spin_lock(&block_group->lock);
3751 if (block_group->removed) {
3752 spin_unlock(&block_group->lock);
3753 return 0;
3754 }
Filipe Manana6b7304a2020-05-08 11:01:47 +01003755 btrfs_freeze_block_group(block_group);
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003756 spin_unlock(&block_group->lock);
3757
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003758 ret = trim_bitmaps(block_group, trimmed, start, end, minlen, maxlen,
3759 async);
3760
Filipe Manana6b7304a2020-05-08 11:01:47 +01003761 btrfs_unfreeze_block_group(block_group);
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003762
3763 return ret;
3764}
3765
Josef Bacik74255aa2013-03-15 09:47:08 -04003766#ifdef CONFIG_BTRFS_FS_RUN_SANITY_TESTS
Josef Bacikdc11dd52013-08-14 15:05:12 -04003767/*
3768 * Use this if you need to make a bitmap or extent entry specifically, it
3769 * doesn't do any of the merging that add_free_space does, this acts a lot like
3770 * how the free space cache loading stuff works, so you can get really weird
3771 * configurations.
3772 */
David Sterba32da53862019-10-29 19:20:18 +01003773int test_add_free_space_entry(struct btrfs_block_group *cache,
Josef Bacikdc11dd52013-08-14 15:05:12 -04003774 u64 offset, u64 bytes, bool bitmap)
Josef Bacik74255aa2013-03-15 09:47:08 -04003775{
Josef Bacikdc11dd52013-08-14 15:05:12 -04003776 struct btrfs_free_space_ctl *ctl = cache->free_space_ctl;
3777 struct btrfs_free_space *info = NULL, *bitmap_info;
3778 void *map = NULL;
Dennis Zhouda080fe2019-12-13 16:22:13 -08003779 enum btrfs_trim_state trim_state = BTRFS_TRIM_STATE_TRIMMED;
Josef Bacikdc11dd52013-08-14 15:05:12 -04003780 u64 bytes_added;
3781 int ret;
Josef Bacik74255aa2013-03-15 09:47:08 -04003782
Josef Bacikdc11dd52013-08-14 15:05:12 -04003783again:
3784 if (!info) {
3785 info = kmem_cache_zalloc(btrfs_free_space_cachep, GFP_NOFS);
3786 if (!info)
3787 return -ENOMEM;
Josef Bacik74255aa2013-03-15 09:47:08 -04003788 }
3789
Josef Bacikdc11dd52013-08-14 15:05:12 -04003790 if (!bitmap) {
3791 spin_lock(&ctl->tree_lock);
3792 info->offset = offset;
3793 info->bytes = bytes;
Josef Bacikcef40482015-10-02 16:09:42 -04003794 info->max_extent_size = 0;
Josef Bacikdc11dd52013-08-14 15:05:12 -04003795 ret = link_free_space(ctl, info);
3796 spin_unlock(&ctl->tree_lock);
3797 if (ret)
3798 kmem_cache_free(btrfs_free_space_cachep, info);
3799 return ret;
3800 }
Josef Bacik74255aa2013-03-15 09:47:08 -04003801
Josef Bacikdc11dd52013-08-14 15:05:12 -04003802 if (!map) {
Christophe Leroy3acd4852019-08-21 15:05:55 +00003803 map = kmem_cache_zalloc(btrfs_free_space_bitmap_cachep, GFP_NOFS);
Josef Bacikdc11dd52013-08-14 15:05:12 -04003804 if (!map) {
3805 kmem_cache_free(btrfs_free_space_cachep, info);
3806 return -ENOMEM;
3807 }
3808 }
Josef Bacik74255aa2013-03-15 09:47:08 -04003809
Josef Bacikdc11dd52013-08-14 15:05:12 -04003810 spin_lock(&ctl->tree_lock);
3811 bitmap_info = tree_search_offset(ctl, offset_to_bitmap(ctl, offset),
3812 1, 0);
3813 if (!bitmap_info) {
3814 info->bitmap = map;
3815 map = NULL;
3816 add_new_bitmap(ctl, info, offset);
3817 bitmap_info = info;
Filipe Manana20005522014-08-29 13:35:13 +01003818 info = NULL;
Josef Bacikdc11dd52013-08-14 15:05:12 -04003819 }
Josef Bacik74255aa2013-03-15 09:47:08 -04003820
Dennis Zhouda080fe2019-12-13 16:22:13 -08003821 bytes_added = add_bytes_to_bitmap(ctl, bitmap_info, offset, bytes,
3822 trim_state);
Josef Bacikcef40482015-10-02 16:09:42 -04003823
Josef Bacikdc11dd52013-08-14 15:05:12 -04003824 bytes -= bytes_added;
3825 offset += bytes_added;
3826 spin_unlock(&ctl->tree_lock);
3827
3828 if (bytes)
3829 goto again;
3830
Filipe Manana20005522014-08-29 13:35:13 +01003831 if (info)
3832 kmem_cache_free(btrfs_free_space_cachep, info);
Christophe Leroy3acd4852019-08-21 15:05:55 +00003833 if (map)
3834 kmem_cache_free(btrfs_free_space_bitmap_cachep, map);
Josef Bacikdc11dd52013-08-14 15:05:12 -04003835 return 0;
Josef Bacik74255aa2013-03-15 09:47:08 -04003836}
3837
3838/*
3839 * Checks to see if the given range is in the free space cache. This is really
3840 * just used to check the absence of space, so if there is free space in the
3841 * range at all we will return 1.
3842 */
David Sterba32da53862019-10-29 19:20:18 +01003843int test_check_exists(struct btrfs_block_group *cache,
Josef Bacikdc11dd52013-08-14 15:05:12 -04003844 u64 offset, u64 bytes)
Josef Bacik74255aa2013-03-15 09:47:08 -04003845{
3846 struct btrfs_free_space_ctl *ctl = cache->free_space_ctl;
3847 struct btrfs_free_space *info;
3848 int ret = 0;
3849
3850 spin_lock(&ctl->tree_lock);
3851 info = tree_search_offset(ctl, offset, 0, 0);
3852 if (!info) {
3853 info = tree_search_offset(ctl, offset_to_bitmap(ctl, offset),
3854 1, 0);
3855 if (!info)
3856 goto out;
3857 }
3858
3859have_info:
3860 if (info->bitmap) {
3861 u64 bit_off, bit_bytes;
3862 struct rb_node *n;
3863 struct btrfs_free_space *tmp;
3864
3865 bit_off = offset;
3866 bit_bytes = ctl->unit;
Josef Bacik0584f712015-10-02 16:12:23 -04003867 ret = search_bitmap(ctl, info, &bit_off, &bit_bytes, false);
Josef Bacik74255aa2013-03-15 09:47:08 -04003868 if (!ret) {
3869 if (bit_off == offset) {
3870 ret = 1;
3871 goto out;
3872 } else if (bit_off > offset &&
3873 offset + bytes > bit_off) {
3874 ret = 1;
3875 goto out;
3876 }
3877 }
3878
3879 n = rb_prev(&info->offset_index);
3880 while (n) {
3881 tmp = rb_entry(n, struct btrfs_free_space,
3882 offset_index);
3883 if (tmp->offset + tmp->bytes < offset)
3884 break;
3885 if (offset + bytes < tmp->offset) {
Feifei Xu5473e0c42016-06-01 19:18:23 +08003886 n = rb_prev(&tmp->offset_index);
Josef Bacik74255aa2013-03-15 09:47:08 -04003887 continue;
3888 }
3889 info = tmp;
3890 goto have_info;
3891 }
3892
3893 n = rb_next(&info->offset_index);
3894 while (n) {
3895 tmp = rb_entry(n, struct btrfs_free_space,
3896 offset_index);
3897 if (offset + bytes < tmp->offset)
3898 break;
3899 if (tmp->offset + tmp->bytes < offset) {
Feifei Xu5473e0c42016-06-01 19:18:23 +08003900 n = rb_next(&tmp->offset_index);
Josef Bacik74255aa2013-03-15 09:47:08 -04003901 continue;
3902 }
3903 info = tmp;
3904 goto have_info;
3905 }
3906
Filipe Manana20005522014-08-29 13:35:13 +01003907 ret = 0;
Josef Bacik74255aa2013-03-15 09:47:08 -04003908 goto out;
3909 }
3910
3911 if (info->offset == offset) {
3912 ret = 1;
3913 goto out;
3914 }
3915
3916 if (offset > info->offset && offset < info->offset + info->bytes)
3917 ret = 1;
3918out:
3919 spin_unlock(&ctl->tree_lock);
3920 return ret;
3921}
Josef Bacikdc11dd52013-08-14 15:05:12 -04003922#endif /* CONFIG_BTRFS_FS_RUN_SANITY_TESTS */