blob: e9cfe9da6bbe08de80266b1ef58a266e5f3f99b1 [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"
Li Zefan581bb052011-04-20 10:06:11 +080019#include "inode-map.h"
Filipe Manana04216822014-11-27 21:14:15 +000020#include "volumes.h"
Josef Bacik8719aaa2019-06-18 16:09:16 -040021#include "space-info.h"
Josef Bacik86736342019-06-19 15:12:00 -040022#include "delalloc-space.h"
Josef Bacikaac00232019-06-20 15:37:44 -040023#include "block-group.h"
Dennis Zhoub0643e52019-12-13 16:22:14 -080024#include "discard.h"
Chris Masonfa9c0d792009-04-03 09:47:43 -040025
Feifei Xu0ef64472016-06-01 19:18:24 +080026#define BITS_PER_BITMAP (PAGE_SIZE * 8UL)
Dennis Zhou5d90c5c2020-01-02 16:26:43 -050027#define MAX_CACHE_BYTES_PER_GIG SZ_64K
28#define FORCE_EXTENT_THRESHOLD SZ_1M
Josef Bacik96303082009-07-13 21:29:25 -040029
Filipe Manana55507ce2014-12-01 17:04:09 +000030struct btrfs_trim_range {
31 u64 start;
32 u64 bytes;
33 struct list_head list;
34};
35
Dennis Zhoudfb79dd2019-12-13 16:22:20 -080036static int count_bitmap_extents(struct btrfs_free_space_ctl *ctl,
37 struct btrfs_free_space *bitmap_info);
Li Zefan34d52cb2011-03-29 13:46:06 +080038static int link_free_space(struct btrfs_free_space_ctl *ctl,
Josef Bacik0cb59c92010-07-02 12:14:14 -040039 struct btrfs_free_space *info);
Josef Bacikcd023e72012-05-14 10:06:40 -040040static void unlink_free_space(struct btrfs_free_space_ctl *ctl,
41 struct btrfs_free_space *info);
Jeff Mahoneyafdb5712016-09-09 12:09:35 -040042static int btrfs_wait_cache_io_root(struct btrfs_root *root,
43 struct btrfs_trans_handle *trans,
44 struct btrfs_io_ctl *io_ctl,
45 struct btrfs_path *path);
Josef Bacik0cb59c92010-07-02 12:14:14 -040046
Li Zefan0414efa2011-04-20 10:20:14 +080047static struct inode *__lookup_free_space_inode(struct btrfs_root *root,
48 struct btrfs_path *path,
49 u64 offset)
Josef Bacik0af3d002010-06-21 14:48:16 -040050{
Jeff Mahoney0b246af2016-06-22 18:54:23 -040051 struct btrfs_fs_info *fs_info = root->fs_info;
Josef Bacik0af3d002010-06-21 14:48:16 -040052 struct btrfs_key key;
53 struct btrfs_key location;
54 struct btrfs_disk_key disk_key;
55 struct btrfs_free_space_header *header;
56 struct extent_buffer *leaf;
57 struct inode *inode = NULL;
Josef Bacik84de76a2018-09-28 07:17:49 -040058 unsigned nofs_flag;
Josef Bacik0af3d002010-06-21 14:48:16 -040059 int ret;
60
Josef Bacik0af3d002010-06-21 14:48:16 -040061 key.objectid = BTRFS_FREE_SPACE_OBJECTID;
Li Zefan0414efa2011-04-20 10:20:14 +080062 key.offset = offset;
Josef Bacik0af3d002010-06-21 14:48:16 -040063 key.type = 0;
64
65 ret = btrfs_search_slot(NULL, root, &key, path, 0, 0);
66 if (ret < 0)
67 return ERR_PTR(ret);
68 if (ret > 0) {
David Sterbab3b4aa72011-04-21 01:20:15 +020069 btrfs_release_path(path);
Josef Bacik0af3d002010-06-21 14:48:16 -040070 return ERR_PTR(-ENOENT);
71 }
72
73 leaf = path->nodes[0];
74 header = btrfs_item_ptr(leaf, path->slots[0],
75 struct btrfs_free_space_header);
76 btrfs_free_space_key(leaf, header, &disk_key);
77 btrfs_disk_key_to_cpu(&location, &disk_key);
David Sterbab3b4aa72011-04-21 01:20:15 +020078 btrfs_release_path(path);
Josef Bacik0af3d002010-06-21 14:48:16 -040079
Josef Bacik84de76a2018-09-28 07:17:49 -040080 /*
81 * We are often under a trans handle at this point, so we need to make
82 * sure NOFS is set to keep us from deadlocking.
83 */
84 nofs_flag = memalloc_nofs_save();
David Sterba4c66e0d2019-10-03 19:09:35 +020085 inode = btrfs_iget_path(fs_info->sb, &location, root, path);
Filipe Manana4222ea72018-10-24 10:13:03 +010086 btrfs_release_path(path);
Josef Bacik84de76a2018-09-28 07:17:49 -040087 memalloc_nofs_restore(nofs_flag);
Josef Bacik0af3d002010-06-21 14:48:16 -040088 if (IS_ERR(inode))
89 return inode;
Josef Bacik0af3d002010-06-21 14:48:16 -040090
Al Viro528c0322012-04-13 11:03:55 -040091 mapping_set_gfp_mask(inode->i_mapping,
Michal Hockoc62d2552015-11-06 16:28:49 -080092 mapping_gfp_constraint(inode->i_mapping,
93 ~(__GFP_FS | __GFP_HIGHMEM)));
Miao Xieadae52b2011-03-31 09:43:23 +000094
Li Zefan0414efa2011-04-20 10:20:14 +080095 return inode;
96}
97
David Sterba32da53862019-10-29 19:20:18 +010098struct inode *lookup_free_space_inode(struct btrfs_block_group *block_group,
David Sterba7949f332019-03-20 13:40:19 +010099 struct btrfs_path *path)
Li Zefan0414efa2011-04-20 10:20:14 +0800100{
David Sterba7949f332019-03-20 13:40:19 +0100101 struct btrfs_fs_info *fs_info = block_group->fs_info;
Li Zefan0414efa2011-04-20 10:20:14 +0800102 struct inode *inode = NULL;
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400103 u32 flags = BTRFS_INODE_NODATASUM | BTRFS_INODE_NODATACOW;
Li Zefan0414efa2011-04-20 10:20:14 +0800104
105 spin_lock(&block_group->lock);
106 if (block_group->inode)
107 inode = igrab(block_group->inode);
108 spin_unlock(&block_group->lock);
109 if (inode)
110 return inode;
111
Jeff Mahoney77ab86b2017-02-15 16:28:30 -0500112 inode = __lookup_free_space_inode(fs_info->tree_root, path,
David Sterbab3470b52019-10-23 18:48:22 +0200113 block_group->start);
Li Zefan0414efa2011-04-20 10:20:14 +0800114 if (IS_ERR(inode))
115 return inode;
116
Josef Bacik0af3d002010-06-21 14:48:16 -0400117 spin_lock(&block_group->lock);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400118 if (!((BTRFS_I(inode)->flags & flags) == flags)) {
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400119 btrfs_info(fs_info, "Old style space inode found, converting.");
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400120 BTRFS_I(inode)->flags |= BTRFS_INODE_NODATASUM |
121 BTRFS_INODE_NODATACOW;
Josef Bacik2f356122011-06-10 15:31:13 -0400122 block_group->disk_cache_state = BTRFS_DC_CLEAR;
123 }
124
Josef Bacik300e4f82011-08-29 14:06:00 -0400125 if (!block_group->iref) {
Josef Bacik0af3d002010-06-21 14:48:16 -0400126 block_group->inode = igrab(inode);
127 block_group->iref = 1;
128 }
129 spin_unlock(&block_group->lock);
130
131 return inode;
132}
133
Eric Sandeen48a3b632013-04-25 20:41:01 +0000134static int __create_free_space_inode(struct btrfs_root *root,
135 struct btrfs_trans_handle *trans,
136 struct btrfs_path *path,
137 u64 ino, u64 offset)
Josef Bacik0af3d002010-06-21 14:48:16 -0400138{
139 struct btrfs_key key;
140 struct btrfs_disk_key disk_key;
141 struct btrfs_free_space_header *header;
142 struct btrfs_inode_item *inode_item;
143 struct extent_buffer *leaf;
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400144 u64 flags = BTRFS_INODE_NOCOMPRESS | BTRFS_INODE_PREALLOC;
Josef Bacik0af3d002010-06-21 14:48:16 -0400145 int ret;
146
Li Zefan0414efa2011-04-20 10:20:14 +0800147 ret = btrfs_insert_empty_inode(trans, root, path, ino);
Josef Bacik0af3d002010-06-21 14:48:16 -0400148 if (ret)
149 return ret;
150
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400151 /* We inline crc's for the free disk space cache */
152 if (ino != BTRFS_FREE_INO_OBJECTID)
153 flags |= BTRFS_INODE_NODATASUM | BTRFS_INODE_NODATACOW;
154
Josef Bacik0af3d002010-06-21 14:48:16 -0400155 leaf = path->nodes[0];
156 inode_item = btrfs_item_ptr(leaf, path->slots[0],
157 struct btrfs_inode_item);
158 btrfs_item_key(leaf, &disk_key, path->slots[0]);
David Sterbab159fa22016-11-08 18:09:03 +0100159 memzero_extent_buffer(leaf, (unsigned long)inode_item,
Josef Bacik0af3d002010-06-21 14:48:16 -0400160 sizeof(*inode_item));
161 btrfs_set_inode_generation(leaf, inode_item, trans->transid);
162 btrfs_set_inode_size(leaf, inode_item, 0);
163 btrfs_set_inode_nbytes(leaf, inode_item, 0);
164 btrfs_set_inode_uid(leaf, inode_item, 0);
165 btrfs_set_inode_gid(leaf, inode_item, 0);
166 btrfs_set_inode_mode(leaf, inode_item, S_IFREG | 0600);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400167 btrfs_set_inode_flags(leaf, inode_item, flags);
Josef Bacik0af3d002010-06-21 14:48:16 -0400168 btrfs_set_inode_nlink(leaf, inode_item, 1);
169 btrfs_set_inode_transid(leaf, inode_item, trans->transid);
Li Zefan0414efa2011-04-20 10:20:14 +0800170 btrfs_set_inode_block_group(leaf, inode_item, offset);
Josef Bacik0af3d002010-06-21 14:48:16 -0400171 btrfs_mark_buffer_dirty(leaf);
David Sterbab3b4aa72011-04-21 01:20:15 +0200172 btrfs_release_path(path);
Josef Bacik0af3d002010-06-21 14:48:16 -0400173
174 key.objectid = BTRFS_FREE_SPACE_OBJECTID;
Li Zefan0414efa2011-04-20 10:20:14 +0800175 key.offset = offset;
Josef Bacik0af3d002010-06-21 14:48:16 -0400176 key.type = 0;
Josef Bacik0af3d002010-06-21 14:48:16 -0400177 ret = btrfs_insert_empty_item(trans, root, path, &key,
178 sizeof(struct btrfs_free_space_header));
179 if (ret < 0) {
David Sterbab3b4aa72011-04-21 01:20:15 +0200180 btrfs_release_path(path);
Josef Bacik0af3d002010-06-21 14:48:16 -0400181 return ret;
182 }
Chris Masonc9dc4c62015-04-04 17:14:42 -0700183
Josef Bacik0af3d002010-06-21 14:48:16 -0400184 leaf = path->nodes[0];
185 header = btrfs_item_ptr(leaf, path->slots[0],
186 struct btrfs_free_space_header);
David Sterbab159fa22016-11-08 18:09:03 +0100187 memzero_extent_buffer(leaf, (unsigned long)header, sizeof(*header));
Josef Bacik0af3d002010-06-21 14:48:16 -0400188 btrfs_set_free_space_key(leaf, header, &disk_key);
189 btrfs_mark_buffer_dirty(leaf);
David Sterbab3b4aa72011-04-21 01:20:15 +0200190 btrfs_release_path(path);
Josef Bacik0af3d002010-06-21 14:48:16 -0400191
192 return 0;
193}
194
David Sterba4ca75f12019-03-20 13:42:57 +0100195int create_free_space_inode(struct btrfs_trans_handle *trans,
David Sterba32da53862019-10-29 19:20:18 +0100196 struct btrfs_block_group *block_group,
Li Zefan0414efa2011-04-20 10:20:14 +0800197 struct btrfs_path *path)
198{
199 int ret;
200 u64 ino;
201
David Sterba4ca75f12019-03-20 13:42:57 +0100202 ret = btrfs_find_free_objectid(trans->fs_info->tree_root, &ino);
Li Zefan0414efa2011-04-20 10:20:14 +0800203 if (ret < 0)
204 return ret;
205
David Sterba4ca75f12019-03-20 13:42:57 +0100206 return __create_free_space_inode(trans->fs_info->tree_root, trans, path,
David Sterbab3470b52019-10-23 18:48:22 +0200207 ino, block_group->start);
Li Zefan0414efa2011-04-20 10:20:14 +0800208}
209
Jeff Mahoney2ff7e612016-06-22 18:54:24 -0400210int btrfs_check_trunc_cache_free_space(struct btrfs_fs_info *fs_info,
Miao Xie7b61cd92013-05-13 13:55:09 +0000211 struct btrfs_block_rsv *rsv)
Josef Bacik0af3d002010-06-21 14:48:16 -0400212{
Josef Bacikc8174312011-11-02 09:29:35 -0400213 u64 needed_bytes;
Miao Xie7b61cd92013-05-13 13:55:09 +0000214 int ret;
Josef Bacikc8174312011-11-02 09:29:35 -0400215
216 /* 1 for slack space, 1 for updating the inode */
Josef Bacik2bd36e72019-08-22 15:14:33 -0400217 needed_bytes = btrfs_calc_insert_metadata_size(fs_info, 1) +
218 btrfs_calc_metadata_size(fs_info, 1);
Josef Bacikc8174312011-11-02 09:29:35 -0400219
Miao Xie7b61cd92013-05-13 13:55:09 +0000220 spin_lock(&rsv->lock);
221 if (rsv->reserved < needed_bytes)
222 ret = -ENOSPC;
223 else
224 ret = 0;
225 spin_unlock(&rsv->lock);
Wei Yongjun4b286cd2013-05-21 02:39:21 +0000226 return ret;
Miao Xie7b61cd92013-05-13 13:55:09 +0000227}
228
Jeff Mahoney77ab86b2017-02-15 16:28:30 -0500229int btrfs_truncate_free_space_cache(struct btrfs_trans_handle *trans,
David Sterba32da53862019-10-29 19:20:18 +0100230 struct btrfs_block_group *block_group,
Miao Xie7b61cd92013-05-13 13:55:09 +0000231 struct inode *inode)
232{
Jeff Mahoney77ab86b2017-02-15 16:28:30 -0500233 struct btrfs_root *root = BTRFS_I(inode)->root;
Miao Xie7b61cd92013-05-13 13:55:09 +0000234 int ret = 0;
Filipe Manana35c76642015-04-30 17:47:05 +0100235 bool locked = false;
Chris Mason1bbc6212015-04-06 12:46:08 -0700236
Chris Mason1bbc6212015-04-06 12:46:08 -0700237 if (block_group) {
Jeff Mahoney21e75ff2017-02-15 16:28:32 -0500238 struct btrfs_path *path = btrfs_alloc_path();
239
240 if (!path) {
241 ret = -ENOMEM;
242 goto fail;
243 }
Filipe Manana35c76642015-04-30 17:47:05 +0100244 locked = true;
Chris Mason1bbc6212015-04-06 12:46:08 -0700245 mutex_lock(&trans->transaction->cache_write_mutex);
246 if (!list_empty(&block_group->io_list)) {
247 list_del_init(&block_group->io_list);
248
Jeff Mahoneyafdb5712016-09-09 12:09:35 -0400249 btrfs_wait_cache_io(trans, block_group, path);
Chris Mason1bbc6212015-04-06 12:46:08 -0700250 btrfs_put_block_group(block_group);
251 }
252
253 /*
254 * now that we've truncated the cache away, its no longer
255 * setup or written
256 */
257 spin_lock(&block_group->lock);
258 block_group->disk_cache_state = BTRFS_DC_CLEAR;
259 spin_unlock(&block_group->lock);
Jeff Mahoney21e75ff2017-02-15 16:28:32 -0500260 btrfs_free_path(path);
Chris Mason1bbc6212015-04-06 12:46:08 -0700261 }
Josef Bacik0af3d002010-06-21 14:48:16 -0400262
Nikolay Borisov6ef06d22017-02-20 13:50:34 +0200263 btrfs_i_size_write(BTRFS_I(inode), 0);
Kirill A. Shutemov7caef262013-09-12 15:13:56 -0700264 truncate_pagecache(inode, 0);
Josef Bacik0af3d002010-06-21 14:48:16 -0400265
266 /*
Omar Sandovalf7e9e8f2018-05-11 13:13:32 -0700267 * We skip the throttling logic for free space cache inodes, so we don't
268 * need to check for -EAGAIN.
Josef Bacik0af3d002010-06-21 14:48:16 -0400269 */
270 ret = btrfs_truncate_inode_items(trans, root, inode,
271 0, BTRFS_EXTENT_DATA_KEY);
Filipe Manana35c76642015-04-30 17:47:05 +0100272 if (ret)
273 goto fail;
Josef Bacik0af3d002010-06-21 14:48:16 -0400274
Li Zefan82d59022011-04-20 10:33:24 +0800275 ret = btrfs_update_inode(trans, root, inode);
Chris Mason1bbc6212015-04-06 12:46:08 -0700276
Chris Mason1bbc6212015-04-06 12:46:08 -0700277fail:
Filipe Manana35c76642015-04-30 17:47:05 +0100278 if (locked)
279 mutex_unlock(&trans->transaction->cache_write_mutex);
Jeff Mahoney79787ea2012-03-12 16:03:00 +0100280 if (ret)
Jeff Mahoney66642832016-06-10 18:19:25 -0400281 btrfs_abort_transaction(trans, ret);
Josef Bacikc8174312011-11-02 09:29:35 -0400282
Li Zefan82d59022011-04-20 10:33:24 +0800283 return ret;
Josef Bacik0af3d002010-06-21 14:48:16 -0400284}
285
David Sterba1d480532017-01-23 17:28:19 +0100286static void readahead_cache(struct inode *inode)
Josef Bacik9d66e232010-08-25 16:54:15 -0400287{
288 struct file_ra_state *ra;
289 unsigned long last_index;
290
291 ra = kzalloc(sizeof(*ra), GFP_NOFS);
292 if (!ra)
David Sterba1d480532017-01-23 17:28:19 +0100293 return;
Josef Bacik9d66e232010-08-25 16:54:15 -0400294
295 file_ra_state_init(ra, inode->i_mapping);
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300296 last_index = (i_size_read(inode) - 1) >> PAGE_SHIFT;
Josef Bacik9d66e232010-08-25 16:54:15 -0400297
298 page_cache_sync_readahead(inode->i_mapping, ra, NULL, 0, last_index);
299
300 kfree(ra);
Josef Bacik9d66e232010-08-25 16:54:15 -0400301}
302
Chris Mason4c6d1d82015-04-06 13:17:20 -0700303static int io_ctl_init(struct btrfs_io_ctl *io_ctl, struct inode *inode,
Jeff Mahoneyf15376d2016-06-22 18:56:18 -0400304 int write)
Josef Bacika67509c2011-10-05 15:18:58 -0400305{
Miao Xie5349d6c2014-06-19 10:42:49 +0800306 int num_pages;
307 int check_crcs = 0;
308
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300309 num_pages = DIV_ROUND_UP(i_size_read(inode), PAGE_SIZE);
Miao Xie5349d6c2014-06-19 10:42:49 +0800310
Nikolay Borisov4a0cc7c2017-01-10 20:35:31 +0200311 if (btrfs_ino(BTRFS_I(inode)) != BTRFS_FREE_INO_OBJECTID)
Miao Xie5349d6c2014-06-19 10:42:49 +0800312 check_crcs = 1;
313
Zhihui Zhang8f6c72a2018-07-02 20:00:54 -0400314 /* Make sure we can fit our crcs and generation into the first page */
Miao Xie5349d6c2014-06-19 10:42:49 +0800315 if (write && check_crcs &&
Zhihui Zhang8f6c72a2018-07-02 20:00:54 -0400316 (num_pages * sizeof(u32) + sizeof(u64)) > PAGE_SIZE)
Miao Xie5349d6c2014-06-19 10:42:49 +0800317 return -ENOSPC;
318
Chris Mason4c6d1d82015-04-06 13:17:20 -0700319 memset(io_ctl, 0, sizeof(struct btrfs_io_ctl));
Miao Xie5349d6c2014-06-19 10:42:49 +0800320
David Sterba31e818f2015-02-20 18:00:26 +0100321 io_ctl->pages = kcalloc(num_pages, sizeof(struct page *), GFP_NOFS);
Josef Bacika67509c2011-10-05 15:18:58 -0400322 if (!io_ctl->pages)
323 return -ENOMEM;
Miao Xie5349d6c2014-06-19 10:42:49 +0800324
325 io_ctl->num_pages = num_pages;
Jeff Mahoneyf15376d2016-06-22 18:56:18 -0400326 io_ctl->fs_info = btrfs_sb(inode->i_sb);
Miao Xie5349d6c2014-06-19 10:42:49 +0800327 io_ctl->check_crcs = check_crcs;
Chris Masonc9dc4c62015-04-04 17:14:42 -0700328 io_ctl->inode = inode;
Miao Xie5349d6c2014-06-19 10:42:49 +0800329
Josef Bacika67509c2011-10-05 15:18:58 -0400330 return 0;
331}
Masami Hiramatsu663faf92018-01-13 02:55:33 +0900332ALLOW_ERROR_INJECTION(io_ctl_init, ERRNO);
Josef Bacika67509c2011-10-05 15:18:58 -0400333
Chris Mason4c6d1d82015-04-06 13:17:20 -0700334static void io_ctl_free(struct btrfs_io_ctl *io_ctl)
Josef Bacika67509c2011-10-05 15:18:58 -0400335{
336 kfree(io_ctl->pages);
Chris Masonc9dc4c62015-04-04 17:14:42 -0700337 io_ctl->pages = NULL;
Josef Bacika67509c2011-10-05 15:18:58 -0400338}
339
Chris Mason4c6d1d82015-04-06 13:17:20 -0700340static void io_ctl_unmap_page(struct btrfs_io_ctl *io_ctl)
Josef Bacika67509c2011-10-05 15:18:58 -0400341{
342 if (io_ctl->cur) {
Josef Bacika67509c2011-10-05 15:18:58 -0400343 io_ctl->cur = NULL;
344 io_ctl->orig = NULL;
345 }
346}
347
Chris Mason4c6d1d82015-04-06 13:17:20 -0700348static void io_ctl_map_page(struct btrfs_io_ctl *io_ctl, int clear)
Josef Bacika67509c2011-10-05 15:18:58 -0400349{
Josef Bacikb12d6862013-08-26 17:14:08 -0400350 ASSERT(io_ctl->index < io_ctl->num_pages);
Josef Bacika67509c2011-10-05 15:18:58 -0400351 io_ctl->page = io_ctl->pages[io_ctl->index++];
Chris Mason2b108262015-04-06 07:48:20 -0700352 io_ctl->cur = page_address(io_ctl->page);
Josef Bacika67509c2011-10-05 15:18:58 -0400353 io_ctl->orig = io_ctl->cur;
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300354 io_ctl->size = PAGE_SIZE;
Josef Bacika67509c2011-10-05 15:18:58 -0400355 if (clear)
David Sterba619a9742017-03-29 20:48:44 +0200356 clear_page(io_ctl->cur);
Josef Bacika67509c2011-10-05 15:18:58 -0400357}
358
Chris Mason4c6d1d82015-04-06 13:17:20 -0700359static void io_ctl_drop_pages(struct btrfs_io_ctl *io_ctl)
Josef Bacika67509c2011-10-05 15:18:58 -0400360{
361 int i;
362
363 io_ctl_unmap_page(io_ctl);
364
365 for (i = 0; i < io_ctl->num_pages; i++) {
Li Zefana1ee5a42012-01-09 14:27:42 +0800366 if (io_ctl->pages[i]) {
367 ClearPageChecked(io_ctl->pages[i]);
368 unlock_page(io_ctl->pages[i]);
Kirill A. Shutemov09cbfea2016-04-01 15:29:47 +0300369 put_page(io_ctl->pages[i]);
Li Zefana1ee5a42012-01-09 14:27:42 +0800370 }
Josef Bacika67509c2011-10-05 15:18:58 -0400371 }
372}
373
Johannes Thumshirn7a195f62020-02-12 00:10:20 +0900374static int io_ctl_prepare_pages(struct btrfs_io_ctl *io_ctl, bool uptodate)
Josef Bacika67509c2011-10-05 15:18:58 -0400375{
376 struct page *page;
Johannes Thumshirn831fa142020-02-12 00:10:19 +0900377 struct inode *inode = io_ctl->inode;
Josef Bacika67509c2011-10-05 15:18:58 -0400378 gfp_t mask = btrfs_alloc_write_mask(inode->i_mapping);
379 int i;
380
381 for (i = 0; i < io_ctl->num_pages; i++) {
382 page = find_or_create_page(inode->i_mapping, i, mask);
383 if (!page) {
384 io_ctl_drop_pages(io_ctl);
385 return -ENOMEM;
386 }
387 io_ctl->pages[i] = page;
388 if (uptodate && !PageUptodate(page)) {
389 btrfs_readpage(NULL, page);
390 lock_page(page);
Josef Bacik37971362019-09-24 16:50:43 -0400391 if (page->mapping != inode->i_mapping) {
392 btrfs_err(BTRFS_I(inode)->root->fs_info,
393 "free space cache page truncated");
394 io_ctl_drop_pages(io_ctl);
395 return -EIO;
396 }
Josef Bacika67509c2011-10-05 15:18:58 -0400397 if (!PageUptodate(page)) {
Frank Holtonefe120a2013-12-20 11:37:06 -0500398 btrfs_err(BTRFS_I(inode)->root->fs_info,
399 "error reading free space cache");
Josef Bacika67509c2011-10-05 15:18:58 -0400400 io_ctl_drop_pages(io_ctl);
401 return -EIO;
402 }
403 }
404 }
405
Josef Bacikf7d61dc2011-11-15 09:31:24 -0500406 for (i = 0; i < io_ctl->num_pages; i++) {
407 clear_page_dirty_for_io(io_ctl->pages[i]);
408 set_page_extent_mapped(io_ctl->pages[i]);
409 }
410
Josef Bacika67509c2011-10-05 15:18:58 -0400411 return 0;
412}
413
Chris Mason4c6d1d82015-04-06 13:17:20 -0700414static void io_ctl_set_generation(struct btrfs_io_ctl *io_ctl, u64 generation)
Josef Bacika67509c2011-10-05 15:18:58 -0400415{
Al Viro528c0322012-04-13 11:03:55 -0400416 __le64 *val;
Josef Bacika67509c2011-10-05 15:18:58 -0400417
418 io_ctl_map_page(io_ctl, 1);
419
420 /*
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400421 * Skip the csum areas. If we don't check crcs then we just have a
422 * 64bit chunk at the front of the first page.
Josef Bacika67509c2011-10-05 15:18:58 -0400423 */
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400424 if (io_ctl->check_crcs) {
425 io_ctl->cur += (sizeof(u32) * io_ctl->num_pages);
426 io_ctl->size -= sizeof(u64) + (sizeof(u32) * io_ctl->num_pages);
427 } else {
428 io_ctl->cur += sizeof(u64);
429 io_ctl->size -= sizeof(u64) * 2;
430 }
Josef Bacika67509c2011-10-05 15:18:58 -0400431
432 val = io_ctl->cur;
433 *val = cpu_to_le64(generation);
434 io_ctl->cur += sizeof(u64);
Josef Bacika67509c2011-10-05 15:18:58 -0400435}
436
Chris Mason4c6d1d82015-04-06 13:17:20 -0700437static int io_ctl_check_generation(struct btrfs_io_ctl *io_ctl, u64 generation)
Josef Bacika67509c2011-10-05 15:18:58 -0400438{
Al Viro528c0322012-04-13 11:03:55 -0400439 __le64 *gen;
Josef Bacika67509c2011-10-05 15:18:58 -0400440
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400441 /*
442 * Skip the crc area. If we don't check crcs then we just have a 64bit
443 * chunk at the front of the first page.
444 */
445 if (io_ctl->check_crcs) {
446 io_ctl->cur += sizeof(u32) * io_ctl->num_pages;
447 io_ctl->size -= sizeof(u64) +
448 (sizeof(u32) * io_ctl->num_pages);
449 } else {
450 io_ctl->cur += sizeof(u64);
451 io_ctl->size -= sizeof(u64) * 2;
452 }
Josef Bacika67509c2011-10-05 15:18:58 -0400453
Josef Bacika67509c2011-10-05 15:18:58 -0400454 gen = io_ctl->cur;
455 if (le64_to_cpu(*gen) != generation) {
Jeff Mahoneyf15376d2016-06-22 18:56:18 -0400456 btrfs_err_rl(io_ctl->fs_info,
David Sterba94647322015-10-08 11:01:36 +0200457 "space cache generation (%llu) does not match inode (%llu)",
458 *gen, generation);
Josef Bacika67509c2011-10-05 15:18:58 -0400459 io_ctl_unmap_page(io_ctl);
460 return -EIO;
461 }
462 io_ctl->cur += sizeof(u64);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400463 return 0;
464}
465
Chris Mason4c6d1d82015-04-06 13:17:20 -0700466static void io_ctl_set_crc(struct btrfs_io_ctl *io_ctl, int index)
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400467{
468 u32 *tmp;
469 u32 crc = ~(u32)0;
470 unsigned offset = 0;
471
472 if (!io_ctl->check_crcs) {
473 io_ctl_unmap_page(io_ctl);
474 return;
475 }
476
477 if (index == 0)
Justin P. Mattockcb54f252011-11-21 08:43:28 -0800478 offset = sizeof(u32) * io_ctl->num_pages;
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400479
Johannes Thumshirn4bb3c2e2019-05-22 10:19:00 +0200480 crc = btrfs_crc32c(crc, io_ctl->orig + offset, PAGE_SIZE - offset);
481 btrfs_crc32c_final(crc, (u8 *)&crc);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400482 io_ctl_unmap_page(io_ctl);
Chris Mason2b108262015-04-06 07:48:20 -0700483 tmp = page_address(io_ctl->pages[0]);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400484 tmp += index;
485 *tmp = crc;
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400486}
487
Chris Mason4c6d1d82015-04-06 13:17:20 -0700488static int io_ctl_check_crc(struct btrfs_io_ctl *io_ctl, int index)
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400489{
490 u32 *tmp, val;
491 u32 crc = ~(u32)0;
492 unsigned offset = 0;
493
494 if (!io_ctl->check_crcs) {
495 io_ctl_map_page(io_ctl, 0);
496 return 0;
497 }
498
499 if (index == 0)
500 offset = sizeof(u32) * io_ctl->num_pages;
501
Chris Mason2b108262015-04-06 07:48:20 -0700502 tmp = page_address(io_ctl->pages[0]);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400503 tmp += index;
504 val = *tmp;
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400505
506 io_ctl_map_page(io_ctl, 0);
Johannes Thumshirn4bb3c2e2019-05-22 10:19:00 +0200507 crc = btrfs_crc32c(crc, io_ctl->orig + offset, PAGE_SIZE - offset);
508 btrfs_crc32c_final(crc, (u8 *)&crc);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400509 if (val != crc) {
Jeff Mahoneyf15376d2016-06-22 18:56:18 -0400510 btrfs_err_rl(io_ctl->fs_info,
David Sterba94647322015-10-08 11:01:36 +0200511 "csum mismatch on free space cache");
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400512 io_ctl_unmap_page(io_ctl);
513 return -EIO;
514 }
515
Josef Bacika67509c2011-10-05 15:18:58 -0400516 return 0;
517}
518
Chris Mason4c6d1d82015-04-06 13:17:20 -0700519static int io_ctl_add_entry(struct btrfs_io_ctl *io_ctl, u64 offset, u64 bytes,
Josef Bacika67509c2011-10-05 15:18:58 -0400520 void *bitmap)
521{
522 struct btrfs_free_space_entry *entry;
523
524 if (!io_ctl->cur)
525 return -ENOSPC;
526
527 entry = io_ctl->cur;
528 entry->offset = cpu_to_le64(offset);
529 entry->bytes = cpu_to_le64(bytes);
530 entry->type = (bitmap) ? BTRFS_FREE_SPACE_BITMAP :
531 BTRFS_FREE_SPACE_EXTENT;
532 io_ctl->cur += sizeof(struct btrfs_free_space_entry);
533 io_ctl->size -= sizeof(struct btrfs_free_space_entry);
534
535 if (io_ctl->size >= sizeof(struct btrfs_free_space_entry))
536 return 0;
537
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400538 io_ctl_set_crc(io_ctl, io_ctl->index - 1);
Josef Bacika67509c2011-10-05 15:18:58 -0400539
540 /* No more pages to map */
541 if (io_ctl->index >= io_ctl->num_pages)
542 return 0;
543
544 /* map the next page */
545 io_ctl_map_page(io_ctl, 1);
546 return 0;
547}
548
Chris Mason4c6d1d82015-04-06 13:17:20 -0700549static int io_ctl_add_bitmap(struct btrfs_io_ctl *io_ctl, void *bitmap)
Josef Bacika67509c2011-10-05 15:18:58 -0400550{
551 if (!io_ctl->cur)
552 return -ENOSPC;
553
554 /*
555 * If we aren't at the start of the current page, unmap this one and
556 * map the next one if there is any left.
557 */
558 if (io_ctl->cur != io_ctl->orig) {
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400559 io_ctl_set_crc(io_ctl, io_ctl->index - 1);
Josef Bacika67509c2011-10-05 15:18:58 -0400560 if (io_ctl->index >= io_ctl->num_pages)
561 return -ENOSPC;
562 io_ctl_map_page(io_ctl, 0);
563 }
564
David Sterba69d24802018-06-29 10:56:44 +0200565 copy_page(io_ctl->cur, bitmap);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400566 io_ctl_set_crc(io_ctl, io_ctl->index - 1);
Josef Bacika67509c2011-10-05 15:18:58 -0400567 if (io_ctl->index < io_ctl->num_pages)
568 io_ctl_map_page(io_ctl, 0);
569 return 0;
570}
571
Chris Mason4c6d1d82015-04-06 13:17:20 -0700572static void io_ctl_zero_remaining_pages(struct btrfs_io_ctl *io_ctl)
Josef Bacika67509c2011-10-05 15:18:58 -0400573{
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400574 /*
575 * If we're not on the boundary we know we've modified the page and we
576 * need to crc the page.
577 */
578 if (io_ctl->cur != io_ctl->orig)
579 io_ctl_set_crc(io_ctl, io_ctl->index - 1);
580 else
581 io_ctl_unmap_page(io_ctl);
Josef Bacika67509c2011-10-05 15:18:58 -0400582
583 while (io_ctl->index < io_ctl->num_pages) {
584 io_ctl_map_page(io_ctl, 1);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400585 io_ctl_set_crc(io_ctl, io_ctl->index - 1);
Josef Bacika67509c2011-10-05 15:18:58 -0400586 }
587}
588
Chris Mason4c6d1d82015-04-06 13:17:20 -0700589static int io_ctl_read_entry(struct btrfs_io_ctl *io_ctl,
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400590 struct btrfs_free_space *entry, u8 *type)
Josef Bacika67509c2011-10-05 15:18:58 -0400591{
592 struct btrfs_free_space_entry *e;
Josef Bacik2f120c02011-11-10 20:45:05 -0500593 int ret;
594
595 if (!io_ctl->cur) {
596 ret = io_ctl_check_crc(io_ctl, io_ctl->index);
597 if (ret)
598 return ret;
599 }
Josef Bacika67509c2011-10-05 15:18:58 -0400600
601 e = io_ctl->cur;
602 entry->offset = le64_to_cpu(e->offset);
603 entry->bytes = le64_to_cpu(e->bytes);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400604 *type = e->type;
Josef Bacika67509c2011-10-05 15:18:58 -0400605 io_ctl->cur += sizeof(struct btrfs_free_space_entry);
606 io_ctl->size -= sizeof(struct btrfs_free_space_entry);
607
608 if (io_ctl->size >= sizeof(struct btrfs_free_space_entry))
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400609 return 0;
Josef Bacika67509c2011-10-05 15:18:58 -0400610
611 io_ctl_unmap_page(io_ctl);
612
Josef Bacik2f120c02011-11-10 20:45:05 -0500613 return 0;
Josef Bacika67509c2011-10-05 15:18:58 -0400614}
615
Chris Mason4c6d1d82015-04-06 13:17:20 -0700616static int io_ctl_read_bitmap(struct btrfs_io_ctl *io_ctl,
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400617 struct btrfs_free_space *entry)
Josef Bacika67509c2011-10-05 15:18:58 -0400618{
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400619 int ret;
620
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400621 ret = io_ctl_check_crc(io_ctl, io_ctl->index);
622 if (ret)
623 return ret;
624
David Sterba69d24802018-06-29 10:56:44 +0200625 copy_page(entry->bitmap, io_ctl->cur);
Josef Bacika67509c2011-10-05 15:18:58 -0400626 io_ctl_unmap_page(io_ctl);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400627
628 return 0;
Josef Bacika67509c2011-10-05 15:18:58 -0400629}
630
Josef Bacikcd023e72012-05-14 10:06:40 -0400631/*
632 * Since we attach pinned extents after the fact we can have contiguous sections
633 * of free space that are split up in entries. This poses a problem with the
634 * tree logging stuff since it could have allocated across what appears to be 2
635 * entries since we would have merged the entries when adding the pinned extents
636 * back to the free space cache. So run through the space cache that we just
637 * loaded and merge contiguous entries. This will make the log replay stuff not
638 * blow up and it will make for nicer allocator behavior.
639 */
640static void merge_space_tree(struct btrfs_free_space_ctl *ctl)
641{
642 struct btrfs_free_space *e, *prev = NULL;
643 struct rb_node *n;
644
645again:
646 spin_lock(&ctl->tree_lock);
647 for (n = rb_first(&ctl->free_space_offset); n; n = rb_next(n)) {
648 e = rb_entry(n, struct btrfs_free_space, offset_index);
649 if (!prev)
650 goto next;
651 if (e->bitmap || prev->bitmap)
652 goto next;
653 if (prev->offset + prev->bytes == e->offset) {
654 unlink_free_space(ctl, prev);
655 unlink_free_space(ctl, e);
656 prev->bytes += e->bytes;
657 kmem_cache_free(btrfs_free_space_cachep, e);
658 link_free_space(ctl, prev);
659 prev = NULL;
660 spin_unlock(&ctl->tree_lock);
661 goto again;
662 }
663next:
664 prev = e;
665 }
666 spin_unlock(&ctl->tree_lock);
667}
668
Eric Sandeen48a3b632013-04-25 20:41:01 +0000669static int __load_free_space_cache(struct btrfs_root *root, struct inode *inode,
670 struct btrfs_free_space_ctl *ctl,
671 struct btrfs_path *path, u64 offset)
Josef Bacik9d66e232010-08-25 16:54:15 -0400672{
David Sterba3ffbd682018-06-29 10:56:42 +0200673 struct btrfs_fs_info *fs_info = root->fs_info;
Josef Bacik9d66e232010-08-25 16:54:15 -0400674 struct btrfs_free_space_header *header;
675 struct extent_buffer *leaf;
Chris Mason4c6d1d82015-04-06 13:17:20 -0700676 struct btrfs_io_ctl io_ctl;
Josef Bacik9d66e232010-08-25 16:54:15 -0400677 struct btrfs_key key;
Josef Bacika67509c2011-10-05 15:18:58 -0400678 struct btrfs_free_space *e, *n;
Gui Hechengb76808f2014-12-31 09:51:35 +0800679 LIST_HEAD(bitmaps);
Josef Bacik9d66e232010-08-25 16:54:15 -0400680 u64 num_entries;
681 u64 num_bitmaps;
682 u64 generation;
Josef Bacika67509c2011-10-05 15:18:58 -0400683 u8 type;
Josef Bacikf6a39822011-06-06 10:50:35 -0400684 int ret = 0;
Josef Bacik9d66e232010-08-25 16:54:15 -0400685
Josef Bacik9d66e232010-08-25 16:54:15 -0400686 /* Nothing in the space cache, goodbye */
Li Zefan0414efa2011-04-20 10:20:14 +0800687 if (!i_size_read(inode))
Josef Bacika67509c2011-10-05 15:18:58 -0400688 return 0;
Josef Bacik9d66e232010-08-25 16:54:15 -0400689
690 key.objectid = BTRFS_FREE_SPACE_OBJECTID;
Li Zefan0414efa2011-04-20 10:20:14 +0800691 key.offset = offset;
Josef Bacik9d66e232010-08-25 16:54:15 -0400692 key.type = 0;
693
694 ret = btrfs_search_slot(NULL, root, &key, path, 0, 0);
Li Zefan0414efa2011-04-20 10:20:14 +0800695 if (ret < 0)
Josef Bacika67509c2011-10-05 15:18:58 -0400696 return 0;
Li Zefan0414efa2011-04-20 10:20:14 +0800697 else if (ret > 0) {
Chris Mason945d8962011-05-22 12:33:42 -0400698 btrfs_release_path(path);
Josef Bacika67509c2011-10-05 15:18:58 -0400699 return 0;
Josef Bacik9d66e232010-08-25 16:54:15 -0400700 }
701
Li Zefan0414efa2011-04-20 10:20:14 +0800702 ret = -1;
703
Josef Bacik9d66e232010-08-25 16:54:15 -0400704 leaf = path->nodes[0];
705 header = btrfs_item_ptr(leaf, path->slots[0],
706 struct btrfs_free_space_header);
707 num_entries = btrfs_free_space_entries(leaf, header);
708 num_bitmaps = btrfs_free_space_bitmaps(leaf, header);
709 generation = btrfs_free_space_generation(leaf, header);
Chris Mason945d8962011-05-22 12:33:42 -0400710 btrfs_release_path(path);
Josef Bacik9d66e232010-08-25 16:54:15 -0400711
Miao Xiee570fd22014-06-19 10:42:50 +0800712 if (!BTRFS_I(inode)->generation) {
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400713 btrfs_info(fs_info,
David Sterba913e1532017-07-13 15:32:18 +0200714 "the free space cache file (%llu) is invalid, skip it",
Miao Xiee570fd22014-06-19 10:42:50 +0800715 offset);
716 return 0;
717 }
718
Josef Bacik9d66e232010-08-25 16:54:15 -0400719 if (BTRFS_I(inode)->generation != generation) {
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400720 btrfs_err(fs_info,
721 "free space inode generation (%llu) did not match free space cache generation (%llu)",
722 BTRFS_I(inode)->generation, generation);
Josef Bacika67509c2011-10-05 15:18:58 -0400723 return 0;
Josef Bacik9d66e232010-08-25 16:54:15 -0400724 }
725
726 if (!num_entries)
Josef Bacika67509c2011-10-05 15:18:58 -0400727 return 0;
Josef Bacik9d66e232010-08-25 16:54:15 -0400728
Jeff Mahoneyf15376d2016-06-22 18:56:18 -0400729 ret = io_ctl_init(&io_ctl, inode, 0);
Li Zefan706efc62012-01-09 14:36:28 +0800730 if (ret)
731 return ret;
732
David Sterba1d480532017-01-23 17:28:19 +0100733 readahead_cache(inode);
Josef Bacik9d66e232010-08-25 16:54:15 -0400734
Johannes Thumshirn7a195f62020-02-12 00:10:20 +0900735 ret = io_ctl_prepare_pages(&io_ctl, true);
Josef Bacika67509c2011-10-05 15:18:58 -0400736 if (ret)
737 goto out;
Josef Bacik9d66e232010-08-25 16:54:15 -0400738
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400739 ret = io_ctl_check_crc(&io_ctl, 0);
740 if (ret)
741 goto free_cache;
742
Josef Bacika67509c2011-10-05 15:18:58 -0400743 ret = io_ctl_check_generation(&io_ctl, generation);
744 if (ret)
745 goto free_cache;
Josef Bacik9d66e232010-08-25 16:54:15 -0400746
Josef Bacika67509c2011-10-05 15:18:58 -0400747 while (num_entries) {
748 e = kmem_cache_zalloc(btrfs_free_space_cachep,
749 GFP_NOFS);
750 if (!e)
Josef Bacik9d66e232010-08-25 16:54:15 -0400751 goto free_cache;
Josef Bacik9d66e232010-08-25 16:54:15 -0400752
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400753 ret = io_ctl_read_entry(&io_ctl, e, &type);
754 if (ret) {
755 kmem_cache_free(btrfs_free_space_cachep, e);
756 goto free_cache;
757 }
758
Dennis Zhoua7ccb252019-12-13 16:22:12 -0800759 /*
760 * Sync discard ensures that the free space cache is always
761 * trimmed. So when reading this in, the state should reflect
Dennis Zhoub0643e52019-12-13 16:22:14 -0800762 * that. We also do this for async as a stop gap for lack of
763 * persistence.
Dennis Zhoua7ccb252019-12-13 16:22:12 -0800764 */
Dennis Zhoub0643e52019-12-13 16:22:14 -0800765 if (btrfs_test_opt(fs_info, DISCARD_SYNC) ||
766 btrfs_test_opt(fs_info, DISCARD_ASYNC))
Dennis Zhoua7ccb252019-12-13 16:22:12 -0800767 e->trim_state = BTRFS_TRIM_STATE_TRIMMED;
768
Josef Bacika67509c2011-10-05 15:18:58 -0400769 if (!e->bytes) {
770 kmem_cache_free(btrfs_free_space_cachep, e);
771 goto free_cache;
Josef Bacik9d66e232010-08-25 16:54:15 -0400772 }
Josef Bacik9d66e232010-08-25 16:54:15 -0400773
Josef Bacika67509c2011-10-05 15:18:58 -0400774 if (type == BTRFS_FREE_SPACE_EXTENT) {
775 spin_lock(&ctl->tree_lock);
776 ret = link_free_space(ctl, e);
777 spin_unlock(&ctl->tree_lock);
778 if (ret) {
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400779 btrfs_err(fs_info,
Simon Kirbyc2cf52e2013-03-19 22:41:23 +0000780 "Duplicate entries in free space cache, dumping");
Josef Bacikdc89e982011-01-28 17:05:48 -0500781 kmem_cache_free(btrfs_free_space_cachep, e);
Josef Bacik9d66e232010-08-25 16:54:15 -0400782 goto free_cache;
783 }
Josef Bacika67509c2011-10-05 15:18:58 -0400784 } else {
Josef Bacikb12d6862013-08-26 17:14:08 -0400785 ASSERT(num_bitmaps);
Josef Bacika67509c2011-10-05 15:18:58 -0400786 num_bitmaps--;
Christophe Leroy3acd4852019-08-21 15:05:55 +0000787 e->bitmap = kmem_cache_zalloc(
788 btrfs_free_space_bitmap_cachep, GFP_NOFS);
Josef Bacika67509c2011-10-05 15:18:58 -0400789 if (!e->bitmap) {
790 kmem_cache_free(
791 btrfs_free_space_cachep, e);
792 goto free_cache;
Josef Bacik9d66e232010-08-25 16:54:15 -0400793 }
Josef Bacika67509c2011-10-05 15:18:58 -0400794 spin_lock(&ctl->tree_lock);
795 ret = link_free_space(ctl, e);
796 ctl->total_bitmaps++;
797 ctl->op->recalc_thresholds(ctl);
798 spin_unlock(&ctl->tree_lock);
799 if (ret) {
Jeff Mahoney0b246af2016-06-22 18:54:23 -0400800 btrfs_err(fs_info,
Simon Kirbyc2cf52e2013-03-19 22:41:23 +0000801 "Duplicate entries in free space cache, dumping");
Josef Bacika67509c2011-10-05 15:18:58 -0400802 kmem_cache_free(btrfs_free_space_cachep, e);
803 goto free_cache;
804 }
805 list_add_tail(&e->list, &bitmaps);
Josef Bacik9d66e232010-08-25 16:54:15 -0400806 }
807
Josef Bacika67509c2011-10-05 15:18:58 -0400808 num_entries--;
Josef Bacik9d66e232010-08-25 16:54:15 -0400809 }
810
Josef Bacik2f120c02011-11-10 20:45:05 -0500811 io_ctl_unmap_page(&io_ctl);
812
Josef Bacika67509c2011-10-05 15:18:58 -0400813 /*
814 * We add the bitmaps at the end of the entries in order that
815 * the bitmap entries are added to the cache.
816 */
817 list_for_each_entry_safe(e, n, &bitmaps, list) {
818 list_del_init(&e->list);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400819 ret = io_ctl_read_bitmap(&io_ctl, e);
820 if (ret)
821 goto free_cache;
Dennis Zhoudfb79dd2019-12-13 16:22:20 -0800822 e->bitmap_extents = count_bitmap_extents(ctl, e);
Dennis Zhou5dc7c102019-12-13 16:22:21 -0800823 if (!btrfs_free_space_trimmed(e)) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -0800824 ctl->discardable_extents[BTRFS_STAT_CURR] +=
825 e->bitmap_extents;
Dennis Zhou5dc7c102019-12-13 16:22:21 -0800826 ctl->discardable_bytes[BTRFS_STAT_CURR] += e->bytes;
827 }
Josef Bacika67509c2011-10-05 15:18:58 -0400828 }
829
830 io_ctl_drop_pages(&io_ctl);
Josef Bacikcd023e72012-05-14 10:06:40 -0400831 merge_space_tree(ctl);
Josef Bacik9d66e232010-08-25 16:54:15 -0400832 ret = 1;
833out:
Dennis Zhoudfb79dd2019-12-13 16:22:20 -0800834 btrfs_discard_update_discardable(ctl->private, ctl);
Josef Bacika67509c2011-10-05 15:18:58 -0400835 io_ctl_free(&io_ctl);
Josef Bacik9d66e232010-08-25 16:54:15 -0400836 return ret;
Josef Bacik9d66e232010-08-25 16:54:15 -0400837free_cache:
Josef Bacika67509c2011-10-05 15:18:58 -0400838 io_ctl_drop_pages(&io_ctl);
Li Zefan0414efa2011-04-20 10:20:14 +0800839 __btrfs_remove_free_space_cache(ctl);
Josef Bacik9d66e232010-08-25 16:54:15 -0400840 goto out;
841}
842
David Sterba32da53862019-10-29 19:20:18 +0100843int load_free_space_cache(struct btrfs_block_group *block_group)
Josef Bacik0cb59c92010-07-02 12:14:14 -0400844{
David Sterbabb6cb1c2019-03-20 13:47:15 +0100845 struct btrfs_fs_info *fs_info = block_group->fs_info;
Li Zefan34d52cb2011-03-29 13:46:06 +0800846 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Li Zefan0414efa2011-04-20 10:20:14 +0800847 struct inode *inode;
848 struct btrfs_path *path;
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400849 int ret = 0;
Li Zefan0414efa2011-04-20 10:20:14 +0800850 bool matched;
David Sterbabf38be62019-10-23 18:48:11 +0200851 u64 used = block_group->used;
Li Zefan0414efa2011-04-20 10:20:14 +0800852
853 /*
Li Zefan0414efa2011-04-20 10:20:14 +0800854 * If this block group has been marked to be cleared for one reason or
855 * another then we can't trust the on disk cache, so just return.
856 */
857 spin_lock(&block_group->lock);
858 if (block_group->disk_cache_state != BTRFS_DC_WRITTEN) {
859 spin_unlock(&block_group->lock);
860 return 0;
861 }
862 spin_unlock(&block_group->lock);
863
864 path = btrfs_alloc_path();
865 if (!path)
866 return 0;
Josef Bacikd53ba472012-04-12 16:03:57 -0400867 path->search_commit_root = 1;
868 path->skip_locking = 1;
Li Zefan0414efa2011-04-20 10:20:14 +0800869
Filipe Manana4222ea72018-10-24 10:13:03 +0100870 /*
871 * We must pass a path with search_commit_root set to btrfs_iget in
872 * order to avoid a deadlock when allocating extents for the tree root.
873 *
874 * When we are COWing an extent buffer from the tree root, when looking
875 * for a free extent, at extent-tree.c:find_free_extent(), we can find
876 * block group without its free space cache loaded. When we find one
877 * we must load its space cache which requires reading its free space
878 * cache's inode item from the root tree. If this inode item is located
879 * in the same leaf that we started COWing before, then we end up in
880 * deadlock on the extent buffer (trying to read lock it when we
881 * previously write locked it).
882 *
883 * It's safe to read the inode item using the commit root because
884 * block groups, once loaded, stay in memory forever (until they are
885 * removed) as well as their space caches once loaded. New block groups
886 * once created get their ->cached field set to BTRFS_CACHE_FINISHED so
887 * we will never try to read their inode item while the fs is mounted.
888 */
David Sterba7949f332019-03-20 13:40:19 +0100889 inode = lookup_free_space_inode(block_group, path);
Li Zefan0414efa2011-04-20 10:20:14 +0800890 if (IS_ERR(inode)) {
891 btrfs_free_path(path);
892 return 0;
893 }
894
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400895 /* We may have converted the inode and made the cache invalid. */
896 spin_lock(&block_group->lock);
897 if (block_group->disk_cache_state != BTRFS_DC_WRITTEN) {
898 spin_unlock(&block_group->lock);
Tsutomu Itoha7e221e2012-02-14 17:12:23 +0900899 btrfs_free_path(path);
Josef Bacik5b0e95b2011-10-06 08:58:24 -0400900 goto out;
901 }
902 spin_unlock(&block_group->lock);
903
Li Zefan0414efa2011-04-20 10:20:14 +0800904 ret = __load_free_space_cache(fs_info->tree_root, inode, ctl,
David Sterbab3470b52019-10-23 18:48:22 +0200905 path, block_group->start);
Li Zefan0414efa2011-04-20 10:20:14 +0800906 btrfs_free_path(path);
907 if (ret <= 0)
908 goto out;
909
910 spin_lock(&ctl->tree_lock);
David Sterbab3470b52019-10-23 18:48:22 +0200911 matched = (ctl->free_space == (block_group->length - used -
Li Zefan0414efa2011-04-20 10:20:14 +0800912 block_group->bytes_super));
913 spin_unlock(&ctl->tree_lock);
914
915 if (!matched) {
916 __btrfs_remove_free_space_cache(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
935 iput(inode);
936 return ret;
937}
938
Chris Masond4452bc2014-05-19 20:47:56 -0700939static noinline_for_stack
Chris Mason4c6d1d82015-04-06 13:17:20 -0700940int write_cache_extent_entries(struct btrfs_io_ctl *io_ctl,
Chris Masond4452bc2014-05-19 20:47:56 -0700941 struct btrfs_free_space_ctl *ctl,
David Sterba32da53862019-10-29 19:20:18 +0100942 struct btrfs_block_group *block_group,
Chris Masond4452bc2014-05-19 20:47:56 -0700943 int *entries, int *bitmaps,
944 struct list_head *bitmap_list)
Josef Bacik0cb59c92010-07-02 12:14:14 -0400945{
Josef Bacikc09544e2011-08-30 10:19:10 -0400946 int ret;
Chris Masond4452bc2014-05-19 20:47:56 -0700947 struct btrfs_free_cluster *cluster = NULL;
Chris Mason1bbc6212015-04-06 12:46:08 -0700948 struct btrfs_free_cluster *cluster_locked = NULL;
Chris Masond4452bc2014-05-19 20:47:56 -0700949 struct rb_node *node = rb_first(&ctl->free_space_offset);
Filipe Manana55507ce2014-12-01 17:04:09 +0000950 struct btrfs_trim_range *trim_entry;
Josef Bacikbe1a12a2011-04-06 13:05:22 -0400951
Josef Bacik43be2142011-04-01 14:55:00 +0000952 /* Get the cluster for this block_group if it exists */
Chris Masond4452bc2014-05-19 20:47:56 -0700953 if (block_group && !list_empty(&block_group->cluster_list)) {
Josef Bacik43be2142011-04-01 14:55:00 +0000954 cluster = list_entry(block_group->cluster_list.next,
955 struct btrfs_free_cluster,
956 block_group_list);
Chris Masond4452bc2014-05-19 20:47:56 -0700957 }
Josef Bacik43be2142011-04-01 14:55:00 +0000958
Josef Bacikf75b1302011-10-05 10:00:18 -0400959 if (!node && cluster) {
Chris Mason1bbc6212015-04-06 12:46:08 -0700960 cluster_locked = cluster;
961 spin_lock(&cluster_locked->lock);
Josef Bacikf75b1302011-10-05 10:00:18 -0400962 node = rb_first(&cluster->root);
963 cluster = NULL;
964 }
965
Josef Bacik0cb59c92010-07-02 12:14:14 -0400966 /* Write out the extent entries */
Josef Bacika67509c2011-10-05 15:18:58 -0400967 while (node) {
968 struct btrfs_free_space *e;
Josef Bacik0cb59c92010-07-02 12:14:14 -0400969
Josef Bacika67509c2011-10-05 15:18:58 -0400970 e = rb_entry(node, struct btrfs_free_space, offset_index);
Chris Masond4452bc2014-05-19 20:47:56 -0700971 *entries += 1;
Josef Bacik43be2142011-04-01 14:55:00 +0000972
Chris Masond4452bc2014-05-19 20:47:56 -0700973 ret = io_ctl_add_entry(io_ctl, e->offset, e->bytes,
Josef Bacika67509c2011-10-05 15:18:58 -0400974 e->bitmap);
975 if (ret)
Chris Masond4452bc2014-05-19 20:47:56 -0700976 goto fail;
Josef Bacika67509c2011-10-05 15:18:58 -0400977
978 if (e->bitmap) {
Chris Masond4452bc2014-05-19 20:47:56 -0700979 list_add_tail(&e->list, bitmap_list);
980 *bitmaps += 1;
Josef Bacika67509c2011-10-05 15:18:58 -0400981 }
982 node = rb_next(node);
983 if (!node && cluster) {
984 node = rb_first(&cluster->root);
Chris Mason1bbc6212015-04-06 12:46:08 -0700985 cluster_locked = cluster;
986 spin_lock(&cluster_locked->lock);
Josef Bacika67509c2011-10-05 15:18:58 -0400987 cluster = NULL;
988 }
989 }
Chris Mason1bbc6212015-04-06 12:46:08 -0700990 if (cluster_locked) {
991 spin_unlock(&cluster_locked->lock);
992 cluster_locked = NULL;
993 }
Filipe Manana55507ce2014-12-01 17:04:09 +0000994
995 /*
996 * Make sure we don't miss any range that was removed from our rbtree
997 * because trimming is running. Otherwise after a umount+mount (or crash
998 * after committing the transaction) we would leak free space and get
999 * an inconsistent free space cache report from fsck.
1000 */
1001 list_for_each_entry(trim_entry, &ctl->trimming_ranges, list) {
1002 ret = io_ctl_add_entry(io_ctl, trim_entry->start,
1003 trim_entry->bytes, NULL);
1004 if (ret)
1005 goto fail;
1006 *entries += 1;
1007 }
1008
Chris Masond4452bc2014-05-19 20:47:56 -07001009 return 0;
1010fail:
Chris Mason1bbc6212015-04-06 12:46:08 -07001011 if (cluster_locked)
1012 spin_unlock(&cluster_locked->lock);
Chris Masond4452bc2014-05-19 20:47:56 -07001013 return -ENOSPC;
1014}
1015
1016static noinline_for_stack int
1017update_cache_item(struct btrfs_trans_handle *trans,
1018 struct btrfs_root *root,
1019 struct inode *inode,
1020 struct btrfs_path *path, u64 offset,
1021 int entries, int bitmaps)
1022{
1023 struct btrfs_key key;
1024 struct btrfs_free_space_header *header;
1025 struct extent_buffer *leaf;
1026 int ret;
1027
1028 key.objectid = BTRFS_FREE_SPACE_OBJECTID;
1029 key.offset = offset;
1030 key.type = 0;
1031
1032 ret = btrfs_search_slot(trans, root, &key, path, 0, 1);
1033 if (ret < 0) {
1034 clear_extent_bit(&BTRFS_I(inode)->io_tree, 0, inode->i_size - 1,
Omar Sandovale1821632019-08-15 14:04:04 -07001035 EXTENT_DELALLOC, 0, 0, NULL);
Chris Masond4452bc2014-05-19 20:47:56 -07001036 goto fail;
1037 }
1038 leaf = path->nodes[0];
1039 if (ret > 0) {
1040 struct btrfs_key found_key;
1041 ASSERT(path->slots[0]);
1042 path->slots[0]--;
1043 btrfs_item_key_to_cpu(leaf, &found_key, path->slots[0]);
1044 if (found_key.objectid != BTRFS_FREE_SPACE_OBJECTID ||
1045 found_key.offset != offset) {
1046 clear_extent_bit(&BTRFS_I(inode)->io_tree, 0,
Omar Sandovale1821632019-08-15 14:04:04 -07001047 inode->i_size - 1, EXTENT_DELALLOC, 0,
1048 0, NULL);
Chris Masond4452bc2014-05-19 20:47:56 -07001049 btrfs_release_path(path);
1050 goto fail;
1051 }
1052 }
1053
1054 BTRFS_I(inode)->generation = trans->transid;
1055 header = btrfs_item_ptr(leaf, path->slots[0],
1056 struct btrfs_free_space_header);
1057 btrfs_set_free_space_entries(leaf, header, entries);
1058 btrfs_set_free_space_bitmaps(leaf, header, bitmaps);
1059 btrfs_set_free_space_generation(leaf, header, trans->transid);
1060 btrfs_mark_buffer_dirty(leaf);
1061 btrfs_release_path(path);
1062
1063 return 0;
1064
1065fail:
1066 return -1;
1067}
1068
David Sterba6701bdb2019-03-20 13:49:09 +01001069static noinline_for_stack int write_pinned_extent_entries(
Nikolay Borisov6b45f6412020-01-20 16:09:15 +02001070 struct btrfs_trans_handle *trans,
David Sterba32da53862019-10-29 19:20:18 +01001071 struct btrfs_block_group *block_group,
Chris Mason4c6d1d82015-04-06 13:17:20 -07001072 struct btrfs_io_ctl *io_ctl,
Miao Xie5349d6c2014-06-19 10:42:49 +08001073 int *entries)
Chris Masond4452bc2014-05-19 20:47:56 -07001074{
1075 u64 start, extent_start, extent_end, len;
Chris Masond4452bc2014-05-19 20:47:56 -07001076 struct extent_io_tree *unpin = NULL;
1077 int ret;
Josef Bacika67509c2011-10-05 15:18:58 -04001078
Miao Xie5349d6c2014-06-19 10:42:49 +08001079 if (!block_group)
1080 return 0;
1081
Josef Bacika67509c2011-10-05 15:18:58 -04001082 /*
1083 * We want to add any pinned extents to our free space cache
1084 * so we don't leak the space
Chris Masond4452bc2014-05-19 20:47:56 -07001085 *
Li Zefandb804f22012-01-10 16:41:01 +08001086 * We shouldn't have switched the pinned extents yet so this is the
1087 * right one
1088 */
Nikolay Borisovfe119a62020-01-20 16:09:18 +02001089 unpin = &trans->transaction->pinned_extents;
Li Zefandb804f22012-01-10 16:41:01 +08001090
David Sterbab3470b52019-10-23 18:48:22 +02001091 start = block_group->start;
Li Zefandb804f22012-01-10 16:41:01 +08001092
David Sterbab3470b52019-10-23 18:48:22 +02001093 while (start < block_group->start + block_group->length) {
Li Zefandb804f22012-01-10 16:41:01 +08001094 ret = find_first_extent_bit(unpin, start,
1095 &extent_start, &extent_end,
Josef Bacike6138872012-09-27 17:07:30 -04001096 EXTENT_DIRTY, NULL);
Miao Xie5349d6c2014-06-19 10:42:49 +08001097 if (ret)
1098 return 0;
Josef Bacikbe1a12a2011-04-06 13:05:22 -04001099
Josef Bacika67509c2011-10-05 15:18:58 -04001100 /* This pinned extent is out of our range */
David Sterbab3470b52019-10-23 18:48:22 +02001101 if (extent_start >= block_group->start + block_group->length)
Miao Xie5349d6c2014-06-19 10:42:49 +08001102 return 0;
Josef Bacik0cb59c92010-07-02 12:14:14 -04001103
Li Zefandb804f22012-01-10 16:41:01 +08001104 extent_start = max(extent_start, start);
David Sterbab3470b52019-10-23 18:48:22 +02001105 extent_end = min(block_group->start + block_group->length,
1106 extent_end + 1);
Li Zefandb804f22012-01-10 16:41:01 +08001107 len = extent_end - extent_start;
Josef Bacik0cb59c92010-07-02 12:14:14 -04001108
Chris Masond4452bc2014-05-19 20:47:56 -07001109 *entries += 1;
1110 ret = io_ctl_add_entry(io_ctl, extent_start, len, NULL);
Josef Bacika67509c2011-10-05 15:18:58 -04001111 if (ret)
Miao Xie5349d6c2014-06-19 10:42:49 +08001112 return -ENOSPC;
Josef Bacik2f356122011-06-10 15:31:13 -04001113
Li Zefandb804f22012-01-10 16:41:01 +08001114 start = extent_end;
Josef Bacika67509c2011-10-05 15:18:58 -04001115 }
Josef Bacik0cb59c92010-07-02 12:14:14 -04001116
Miao Xie5349d6c2014-06-19 10:42:49 +08001117 return 0;
1118}
1119
1120static noinline_for_stack int
Chris Mason4c6d1d82015-04-06 13:17:20 -07001121write_bitmap_entries(struct btrfs_io_ctl *io_ctl, struct list_head *bitmap_list)
Miao Xie5349d6c2014-06-19 10:42:49 +08001122{
Geliang Tang7ae16812015-12-18 22:17:00 +08001123 struct btrfs_free_space *entry, *next;
Miao Xie5349d6c2014-06-19 10:42:49 +08001124 int ret;
1125
Josef Bacik0cb59c92010-07-02 12:14:14 -04001126 /* Write out the bitmaps */
Geliang Tang7ae16812015-12-18 22:17:00 +08001127 list_for_each_entry_safe(entry, next, bitmap_list, list) {
Chris Masond4452bc2014-05-19 20:47:56 -07001128 ret = io_ctl_add_bitmap(io_ctl, entry->bitmap);
Josef Bacika67509c2011-10-05 15:18:58 -04001129 if (ret)
Miao Xie5349d6c2014-06-19 10:42:49 +08001130 return -ENOSPC;
Josef Bacik0cb59c92010-07-02 12:14:14 -04001131 list_del_init(&entry->list);
Josef Bacikbe1a12a2011-04-06 13:05:22 -04001132 }
1133
Miao Xie5349d6c2014-06-19 10:42:49 +08001134 return 0;
1135}
Josef Bacik0cb59c92010-07-02 12:14:14 -04001136
Miao Xie5349d6c2014-06-19 10:42:49 +08001137static int flush_dirty_cache(struct inode *inode)
1138{
1139 int ret;
Josef Bacikbe1a12a2011-04-06 13:05:22 -04001140
Josef Bacik0ef8b722013-10-25 16:13:35 -04001141 ret = btrfs_wait_ordered_range(inode, 0, (u64)-1);
Miao Xie5349d6c2014-06-19 10:42:49 +08001142 if (ret)
Josef Bacik0ef8b722013-10-25 16:13:35 -04001143 clear_extent_bit(&BTRFS_I(inode)->io_tree, 0, inode->i_size - 1,
Omar Sandovale1821632019-08-15 14:04:04 -07001144 EXTENT_DELALLOC, 0, 0, NULL);
Chris Masond4452bc2014-05-19 20:47:56 -07001145
Miao Xie5349d6c2014-06-19 10:42:49 +08001146 return ret;
Chris Masond4452bc2014-05-19 20:47:56 -07001147}
1148
1149static void noinline_for_stack
Chris Masona3bdccc2015-04-24 11:00:00 -07001150cleanup_bitmap_list(struct list_head *bitmap_list)
Chris Masond4452bc2014-05-19 20:47:56 -07001151{
Geliang Tang7ae16812015-12-18 22:17:00 +08001152 struct btrfs_free_space *entry, *next;
Miao Xie5349d6c2014-06-19 10:42:49 +08001153
Geliang Tang7ae16812015-12-18 22:17:00 +08001154 list_for_each_entry_safe(entry, next, bitmap_list, list)
Chris Masond4452bc2014-05-19 20:47:56 -07001155 list_del_init(&entry->list);
Chris Masona3bdccc2015-04-24 11:00:00 -07001156}
1157
1158static void noinline_for_stack
1159cleanup_write_cache_enospc(struct inode *inode,
1160 struct btrfs_io_ctl *io_ctl,
David Sterba7bf1a152017-02-10 20:23:00 +01001161 struct extent_state **cached_state)
Chris Masona3bdccc2015-04-24 11:00:00 -07001162{
Chris Masond4452bc2014-05-19 20:47:56 -07001163 io_ctl_drop_pages(io_ctl);
1164 unlock_extent_cached(&BTRFS_I(inode)->io_tree, 0,
David Sterbae43bbe52017-12-12 21:43:52 +01001165 i_size_read(inode) - 1, cached_state);
Chris Masond4452bc2014-05-19 20:47:56 -07001166}
1167
Jeff Mahoneyafdb5712016-09-09 12:09:35 -04001168static int __btrfs_wait_cache_io(struct btrfs_root *root,
1169 struct btrfs_trans_handle *trans,
David Sterba32da53862019-10-29 19:20:18 +01001170 struct btrfs_block_group *block_group,
Jeff Mahoneyafdb5712016-09-09 12:09:35 -04001171 struct btrfs_io_ctl *io_ctl,
1172 struct btrfs_path *path, u64 offset)
Chris Masonc9dc4c62015-04-04 17:14:42 -07001173{
1174 int ret;
1175 struct inode *inode = io_ctl->inode;
1176
Chris Mason1bbc6212015-04-06 12:46:08 -07001177 if (!inode)
1178 return 0;
1179
Chris Masonc9dc4c62015-04-04 17:14:42 -07001180 /* Flush the dirty pages in the cache file. */
1181 ret = flush_dirty_cache(inode);
1182 if (ret)
1183 goto out;
1184
1185 /* Update the cache item to tell everyone this cache file is valid. */
1186 ret = update_cache_item(trans, root, inode, path, offset,
1187 io_ctl->entries, io_ctl->bitmaps);
1188out:
1189 io_ctl_free(io_ctl);
1190 if (ret) {
1191 invalidate_inode_pages2(inode->i_mapping);
1192 BTRFS_I(inode)->generation = 0;
1193 if (block_group) {
Johannes Thumshirn1afb6482020-02-12 00:10:21 +09001194#ifdef CONFIG_BTRFS_DEBUG
David Sterba3ffbd682018-06-29 10:56:42 +02001195 btrfs_err(root->fs_info,
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001196 "failed to write free space cache for block group %llu",
David Sterbab3470b52019-10-23 18:48:22 +02001197 block_group->start);
Chris Masonc9dc4c62015-04-04 17:14:42 -07001198#endif
1199 }
1200 }
1201 btrfs_update_inode(trans, root, inode);
1202
1203 if (block_group) {
Chris Mason1bbc6212015-04-06 12:46:08 -07001204 /* the dirty list is protected by the dirty_bgs_lock */
1205 spin_lock(&trans->transaction->dirty_bgs_lock);
1206
1207 /* the disk_cache_state is protected by the block group lock */
Chris Masonc9dc4c62015-04-04 17:14:42 -07001208 spin_lock(&block_group->lock);
1209
1210 /*
1211 * only mark this as written if we didn't get put back on
Chris Mason1bbc6212015-04-06 12:46:08 -07001212 * the dirty list while waiting for IO. Otherwise our
1213 * cache state won't be right, and we won't get written again
Chris Masonc9dc4c62015-04-04 17:14:42 -07001214 */
1215 if (!ret && list_empty(&block_group->dirty_list))
1216 block_group->disk_cache_state = BTRFS_DC_WRITTEN;
1217 else if (ret)
1218 block_group->disk_cache_state = BTRFS_DC_ERROR;
1219
1220 spin_unlock(&block_group->lock);
Chris Mason1bbc6212015-04-06 12:46:08 -07001221 spin_unlock(&trans->transaction->dirty_bgs_lock);
Chris Masonc9dc4c62015-04-04 17:14:42 -07001222 io_ctl->inode = NULL;
1223 iput(inode);
1224 }
1225
1226 return ret;
1227
1228}
1229
Jeff Mahoneyafdb5712016-09-09 12:09:35 -04001230static int btrfs_wait_cache_io_root(struct btrfs_root *root,
1231 struct btrfs_trans_handle *trans,
1232 struct btrfs_io_ctl *io_ctl,
1233 struct btrfs_path *path)
1234{
1235 return __btrfs_wait_cache_io(root, trans, NULL, io_ctl, path, 0);
1236}
1237
1238int btrfs_wait_cache_io(struct btrfs_trans_handle *trans,
David Sterba32da53862019-10-29 19:20:18 +01001239 struct btrfs_block_group *block_group,
Jeff Mahoneyafdb5712016-09-09 12:09:35 -04001240 struct btrfs_path *path)
1241{
1242 return __btrfs_wait_cache_io(block_group->fs_info->tree_root, trans,
1243 block_group, &block_group->io_ctl,
David Sterbab3470b52019-10-23 18:48:22 +02001244 path, block_group->start);
Jeff Mahoneyafdb5712016-09-09 12:09:35 -04001245}
1246
Chris Masond4452bc2014-05-19 20:47:56 -07001247/**
1248 * __btrfs_write_out_cache - write out cached info to an inode
1249 * @root - the root the inode belongs to
1250 * @ctl - the free space cache we are going to write out
1251 * @block_group - the block_group for this cache if it belongs to a block_group
1252 * @trans - the trans handle
Chris Masond4452bc2014-05-19 20:47:56 -07001253 *
1254 * This function writes out a free space cache struct to disk for quick recovery
Geliang Tang8cd1e732015-10-04 17:05:32 +08001255 * on mount. This will return 0 if it was successful in writing the cache out,
Omar Sandovalb8605452015-02-24 02:47:06 -08001256 * or an errno if it was not.
Chris Masond4452bc2014-05-19 20:47:56 -07001257 */
1258static int __btrfs_write_out_cache(struct btrfs_root *root, struct inode *inode,
1259 struct btrfs_free_space_ctl *ctl,
David Sterba32da53862019-10-29 19:20:18 +01001260 struct btrfs_block_group *block_group,
Chris Masonc9dc4c62015-04-04 17:14:42 -07001261 struct btrfs_io_ctl *io_ctl,
David Sterba0e8d9312017-02-10 20:26:24 +01001262 struct btrfs_trans_handle *trans)
Chris Masond4452bc2014-05-19 20:47:56 -07001263{
1264 struct extent_state *cached_state = NULL;
Miao Xie5349d6c2014-06-19 10:42:49 +08001265 LIST_HEAD(bitmap_list);
Chris Masond4452bc2014-05-19 20:47:56 -07001266 int entries = 0;
1267 int bitmaps = 0;
1268 int ret;
Chris Masonc9dc4c62015-04-04 17:14:42 -07001269 int must_iput = 0;
Chris Masond4452bc2014-05-19 20:47:56 -07001270
1271 if (!i_size_read(inode))
Omar Sandovalb8605452015-02-24 02:47:06 -08001272 return -EIO;
Chris Masond4452bc2014-05-19 20:47:56 -07001273
Chris Masonc9dc4c62015-04-04 17:14:42 -07001274 WARN_ON(io_ctl->pages);
Jeff Mahoneyf15376d2016-06-22 18:56:18 -04001275 ret = io_ctl_init(io_ctl, inode, 1);
Chris Masond4452bc2014-05-19 20:47:56 -07001276 if (ret)
Omar Sandovalb8605452015-02-24 02:47:06 -08001277 return ret;
Chris Masond4452bc2014-05-19 20:47:56 -07001278
Miao Xiee570fd22014-06-19 10:42:50 +08001279 if (block_group && (block_group->flags & BTRFS_BLOCK_GROUP_DATA)) {
1280 down_write(&block_group->data_rwsem);
1281 spin_lock(&block_group->lock);
1282 if (block_group->delalloc_bytes) {
1283 block_group->disk_cache_state = BTRFS_DC_WRITTEN;
1284 spin_unlock(&block_group->lock);
1285 up_write(&block_group->data_rwsem);
1286 BTRFS_I(inode)->generation = 0;
1287 ret = 0;
Chris Masonc9dc4c62015-04-04 17:14:42 -07001288 must_iput = 1;
Miao Xiee570fd22014-06-19 10:42:50 +08001289 goto out;
1290 }
1291 spin_unlock(&block_group->lock);
1292 }
1293
Chris Masond4452bc2014-05-19 20:47:56 -07001294 /* Lock all pages first so we can lock the extent safely. */
Johannes Thumshirn7a195f62020-02-12 00:10:20 +09001295 ret = io_ctl_prepare_pages(io_ctl, false);
Omar Sandovalb8605452015-02-24 02:47:06 -08001296 if (ret)
Josef Bacikb77000e2017-11-15 16:20:52 -05001297 goto out_unlock;
Chris Masond4452bc2014-05-19 20:47:56 -07001298
1299 lock_extent_bits(&BTRFS_I(inode)->io_tree, 0, i_size_read(inode) - 1,
David Sterbaff13db42015-12-03 14:30:40 +01001300 &cached_state);
Chris Masond4452bc2014-05-19 20:47:56 -07001301
Chris Masonc9dc4c62015-04-04 17:14:42 -07001302 io_ctl_set_generation(io_ctl, trans->transid);
Chris Masond4452bc2014-05-19 20:47:56 -07001303
Filipe Manana55507ce2014-12-01 17:04:09 +00001304 mutex_lock(&ctl->cache_writeout_mutex);
Miao Xie5349d6c2014-06-19 10:42:49 +08001305 /* Write out the extent entries in the free space cache */
Chris Mason1bbc6212015-04-06 12:46:08 -07001306 spin_lock(&ctl->tree_lock);
Chris Masonc9dc4c62015-04-04 17:14:42 -07001307 ret = write_cache_extent_entries(io_ctl, ctl,
Chris Masond4452bc2014-05-19 20:47:56 -07001308 block_group, &entries, &bitmaps,
1309 &bitmap_list);
Chris Masona3bdccc2015-04-24 11:00:00 -07001310 if (ret)
1311 goto out_nospc_locked;
Chris Masond4452bc2014-05-19 20:47:56 -07001312
Miao Xie5349d6c2014-06-19 10:42:49 +08001313 /*
1314 * Some spaces that are freed in the current transaction are pinned,
1315 * they will be added into free space cache after the transaction is
1316 * committed, we shouldn't lose them.
Chris Mason1bbc6212015-04-06 12:46:08 -07001317 *
1318 * If this changes while we are working we'll get added back to
1319 * the dirty list and redo it. No locking needed
Miao Xie5349d6c2014-06-19 10:42:49 +08001320 */
Nikolay Borisov6b45f6412020-01-20 16:09:15 +02001321 ret = write_pinned_extent_entries(trans, block_group, io_ctl, &entries);
Chris Masona3bdccc2015-04-24 11:00:00 -07001322 if (ret)
1323 goto out_nospc_locked;
Miao Xie5349d6c2014-06-19 10:42:49 +08001324
Filipe Manana55507ce2014-12-01 17:04:09 +00001325 /*
1326 * At last, we write out all the bitmaps and keep cache_writeout_mutex
1327 * locked while doing it because a concurrent trim can be manipulating
1328 * or freeing the bitmap.
1329 */
Chris Masonc9dc4c62015-04-04 17:14:42 -07001330 ret = write_bitmap_entries(io_ctl, &bitmap_list);
Chris Mason1bbc6212015-04-06 12:46:08 -07001331 spin_unlock(&ctl->tree_lock);
Filipe Manana55507ce2014-12-01 17:04:09 +00001332 mutex_unlock(&ctl->cache_writeout_mutex);
Miao Xie5349d6c2014-06-19 10:42:49 +08001333 if (ret)
1334 goto out_nospc;
1335
1336 /* Zero out the rest of the pages just to make sure */
Chris Masonc9dc4c62015-04-04 17:14:42 -07001337 io_ctl_zero_remaining_pages(io_ctl);
Miao Xie5349d6c2014-06-19 10:42:49 +08001338
1339 /* Everything is written out, now we dirty the pages in the file. */
Jeff Mahoney2ff7e612016-06-22 18:54:24 -04001340 ret = btrfs_dirty_pages(inode, io_ctl->pages, io_ctl->num_pages, 0,
1341 i_size_read(inode), &cached_state);
Miao Xie5349d6c2014-06-19 10:42:49 +08001342 if (ret)
1343 goto out_nospc;
1344
Miao Xiee570fd22014-06-19 10:42:50 +08001345 if (block_group && (block_group->flags & BTRFS_BLOCK_GROUP_DATA))
1346 up_write(&block_group->data_rwsem);
Miao Xie5349d6c2014-06-19 10:42:49 +08001347 /*
1348 * Release the pages and unlock the extent, we will flush
1349 * them out later
1350 */
Chris Masonc9dc4c62015-04-04 17:14:42 -07001351 io_ctl_drop_pages(io_ctl);
Miao Xie5349d6c2014-06-19 10:42:49 +08001352
1353 unlock_extent_cached(&BTRFS_I(inode)->io_tree, 0,
David Sterbae43bbe52017-12-12 21:43:52 +01001354 i_size_read(inode) - 1, &cached_state);
Miao Xie5349d6c2014-06-19 10:42:49 +08001355
Chris Masonc9dc4c62015-04-04 17:14:42 -07001356 /*
1357 * at this point the pages are under IO and we're happy,
1358 * The caller is responsible for waiting on them and updating the
1359 * the cache and the inode
1360 */
1361 io_ctl->entries = entries;
1362 io_ctl->bitmaps = bitmaps;
1363
1364 ret = btrfs_fdatawrite_range(inode, 0, (u64)-1);
Miao Xie5349d6c2014-06-19 10:42:49 +08001365 if (ret)
Josef Bacik0ef8b722013-10-25 16:13:35 -04001366 goto out;
Josef Bacik0cb59c92010-07-02 12:14:14 -04001367
Chris Masonc9dc4c62015-04-04 17:14:42 -07001368 return 0;
1369
Chris Masona3bdccc2015-04-24 11:00:00 -07001370out_nospc_locked:
1371 cleanup_bitmap_list(&bitmap_list);
1372 spin_unlock(&ctl->tree_lock);
1373 mutex_unlock(&ctl->cache_writeout_mutex);
1374
Josef Bacika67509c2011-10-05 15:18:58 -04001375out_nospc:
David Sterba7bf1a152017-02-10 20:23:00 +01001376 cleanup_write_cache_enospc(inode, io_ctl, &cached_state);
Miao Xiee570fd22014-06-19 10:42:50 +08001377
Josef Bacikb77000e2017-11-15 16:20:52 -05001378out_unlock:
Miao Xiee570fd22014-06-19 10:42:50 +08001379 if (block_group && (block_group->flags & BTRFS_BLOCK_GROUP_DATA))
1380 up_write(&block_group->data_rwsem);
1381
Johannes Thumshirnfd8efa82020-02-12 00:10:22 +09001382out:
1383 io_ctl->inode = NULL;
1384 io_ctl_free(io_ctl);
1385 if (ret) {
1386 invalidate_inode_pages2(inode->i_mapping);
1387 BTRFS_I(inode)->generation = 0;
1388 }
1389 btrfs_update_inode(trans, root, inode);
1390 if (must_iput)
1391 iput(inode);
1392 return ret;
Li Zefan0414efa2011-04-20 10:20:14 +08001393}
1394
David Sterbafe041532019-03-20 13:51:56 +01001395int btrfs_write_out_cache(struct btrfs_trans_handle *trans,
David Sterba32da53862019-10-29 19:20:18 +01001396 struct btrfs_block_group *block_group,
Li Zefan0414efa2011-04-20 10:20:14 +08001397 struct btrfs_path *path)
1398{
David Sterbafe041532019-03-20 13:51:56 +01001399 struct btrfs_fs_info *fs_info = trans->fs_info;
Li Zefan0414efa2011-04-20 10:20:14 +08001400 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
1401 struct inode *inode;
1402 int ret = 0;
1403
Li Zefan0414efa2011-04-20 10:20:14 +08001404 spin_lock(&block_group->lock);
1405 if (block_group->disk_cache_state < BTRFS_DC_SETUP) {
1406 spin_unlock(&block_group->lock);
1407 return 0;
1408 }
1409 spin_unlock(&block_group->lock);
1410
David Sterba7949f332019-03-20 13:40:19 +01001411 inode = lookup_free_space_inode(block_group, path);
Li Zefan0414efa2011-04-20 10:20:14 +08001412 if (IS_ERR(inode))
1413 return 0;
1414
Jeff Mahoney77ab86b2017-02-15 16:28:30 -05001415 ret = __btrfs_write_out_cache(fs_info->tree_root, inode, ctl,
1416 block_group, &block_group->io_ctl, trans);
Josef Bacikc09544e2011-08-30 10:19:10 -04001417 if (ret) {
Johannes Thumshirn1afb6482020-02-12 00:10:21 +09001418#ifdef CONFIG_BTRFS_DEBUG
Jeff Mahoney0b246af2016-06-22 18:54:23 -04001419 btrfs_err(fs_info,
1420 "failed to write free space cache for block group %llu",
David Sterbab3470b52019-10-23 18:48:22 +02001421 block_group->start);
Josef Bacikc09544e2011-08-30 10:19:10 -04001422#endif
Chris Masonc9dc4c62015-04-04 17:14:42 -07001423 spin_lock(&block_group->lock);
1424 block_group->disk_cache_state = BTRFS_DC_ERROR;
1425 spin_unlock(&block_group->lock);
1426
1427 block_group->io_ctl.inode = NULL;
1428 iput(inode);
Li Zefan0414efa2011-04-20 10:20:14 +08001429 }
1430
Chris Masonc9dc4c62015-04-04 17:14:42 -07001431 /*
1432 * if ret == 0 the caller is expected to call btrfs_wait_cache_io
1433 * to wait for IO and put the inode
1434 */
1435
Josef Bacik0cb59c92010-07-02 12:14:14 -04001436 return ret;
1437}
1438
Li Zefan34d52cb2011-03-29 13:46:06 +08001439static inline unsigned long offset_to_bit(u64 bitmap_start, u32 unit,
Josef Bacik96303082009-07-13 21:29:25 -04001440 u64 offset)
1441{
Josef Bacikb12d6862013-08-26 17:14:08 -04001442 ASSERT(offset >= bitmap_start);
Josef Bacik96303082009-07-13 21:29:25 -04001443 offset -= bitmap_start;
Li Zefan34d52cb2011-03-29 13:46:06 +08001444 return (unsigned long)(div_u64(offset, unit));
Josef Bacik96303082009-07-13 21:29:25 -04001445}
1446
Li Zefan34d52cb2011-03-29 13:46:06 +08001447static inline unsigned long bytes_to_bits(u64 bytes, u32 unit)
Josef Bacik96303082009-07-13 21:29:25 -04001448{
Li Zefan34d52cb2011-03-29 13:46:06 +08001449 return (unsigned long)(div_u64(bytes, unit));
Josef Bacik96303082009-07-13 21:29:25 -04001450}
1451
Li Zefan34d52cb2011-03-29 13:46:06 +08001452static inline u64 offset_to_bitmap(struct btrfs_free_space_ctl *ctl,
Josef Bacik96303082009-07-13 21:29:25 -04001453 u64 offset)
1454{
1455 u64 bitmap_start;
Feifei Xu0ef64472016-06-01 19:18:24 +08001456 u64 bytes_per_bitmap;
Josef Bacik96303082009-07-13 21:29:25 -04001457
Li Zefan34d52cb2011-03-29 13:46:06 +08001458 bytes_per_bitmap = BITS_PER_BITMAP * ctl->unit;
1459 bitmap_start = offset - ctl->start;
Feifei Xu0ef64472016-06-01 19:18:24 +08001460 bitmap_start = div64_u64(bitmap_start, bytes_per_bitmap);
Josef Bacik96303082009-07-13 21:29:25 -04001461 bitmap_start *= bytes_per_bitmap;
Li Zefan34d52cb2011-03-29 13:46:06 +08001462 bitmap_start += ctl->start;
Josef Bacik96303082009-07-13 21:29:25 -04001463
1464 return bitmap_start;
1465}
Josef Bacik0f9dd462008-09-23 13:14:11 -04001466
1467static int tree_insert_offset(struct rb_root *root, u64 offset,
Josef Bacik96303082009-07-13 21:29:25 -04001468 struct rb_node *node, int bitmap)
Josef Bacik0f9dd462008-09-23 13:14:11 -04001469{
1470 struct rb_node **p = &root->rb_node;
1471 struct rb_node *parent = NULL;
1472 struct btrfs_free_space *info;
1473
1474 while (*p) {
1475 parent = *p;
1476 info = rb_entry(parent, struct btrfs_free_space, offset_index);
1477
Josef Bacik96303082009-07-13 21:29:25 -04001478 if (offset < info->offset) {
Josef Bacik0f9dd462008-09-23 13:14:11 -04001479 p = &(*p)->rb_left;
Josef Bacik96303082009-07-13 21:29:25 -04001480 } else if (offset > info->offset) {
Josef Bacik0f9dd462008-09-23 13:14:11 -04001481 p = &(*p)->rb_right;
Josef Bacik96303082009-07-13 21:29:25 -04001482 } else {
1483 /*
1484 * we could have a bitmap entry and an extent entry
1485 * share the same offset. If this is the case, we want
1486 * the extent entry to always be found first if we do a
1487 * linear search through the tree, since we want to have
1488 * the quickest allocation time, and allocating from an
1489 * extent is faster than allocating from a bitmap. So
1490 * if we're inserting a bitmap and we find an entry at
1491 * this offset, we want to go right, or after this entry
1492 * logically. If we are inserting an extent and we've
1493 * found a bitmap, we want to go left, or before
1494 * logically.
1495 */
1496 if (bitmap) {
Josef Bacik207dde82011-05-13 14:49:23 -04001497 if (info->bitmap) {
1498 WARN_ON_ONCE(1);
1499 return -EEXIST;
1500 }
Josef Bacik96303082009-07-13 21:29:25 -04001501 p = &(*p)->rb_right;
1502 } else {
Josef Bacik207dde82011-05-13 14:49:23 -04001503 if (!info->bitmap) {
1504 WARN_ON_ONCE(1);
1505 return -EEXIST;
1506 }
Josef Bacik96303082009-07-13 21:29:25 -04001507 p = &(*p)->rb_left;
1508 }
1509 }
Josef Bacik0f9dd462008-09-23 13:14:11 -04001510 }
1511
1512 rb_link_node(node, parent, p);
1513 rb_insert_color(node, root);
1514
1515 return 0;
1516}
1517
1518/*
Josef Bacik70cb0742009-04-03 10:14:19 -04001519 * searches the tree for the given offset.
1520 *
Josef Bacik96303082009-07-13 21:29:25 -04001521 * fuzzy - If this is set, then we are trying to make an allocation, and we just
1522 * want a section that has at least bytes size and comes at or after the given
1523 * offset.
Josef Bacik0f9dd462008-09-23 13:14:11 -04001524 */
Josef Bacik96303082009-07-13 21:29:25 -04001525static struct btrfs_free_space *
Li Zefan34d52cb2011-03-29 13:46:06 +08001526tree_search_offset(struct btrfs_free_space_ctl *ctl,
Josef Bacik96303082009-07-13 21:29:25 -04001527 u64 offset, int bitmap_only, int fuzzy)
Josef Bacik0f9dd462008-09-23 13:14:11 -04001528{
Li Zefan34d52cb2011-03-29 13:46:06 +08001529 struct rb_node *n = ctl->free_space_offset.rb_node;
Josef Bacik96303082009-07-13 21:29:25 -04001530 struct btrfs_free_space *entry, *prev = NULL;
Josef Bacik0f9dd462008-09-23 13:14:11 -04001531
Josef Bacik96303082009-07-13 21:29:25 -04001532 /* find entry that is closest to the 'offset' */
1533 while (1) {
1534 if (!n) {
1535 entry = NULL;
Josef Bacik0f9dd462008-09-23 13:14:11 -04001536 break;
1537 }
Josef Bacik96303082009-07-13 21:29:25 -04001538
1539 entry = rb_entry(n, struct btrfs_free_space, offset_index);
1540 prev = entry;
1541
1542 if (offset < entry->offset)
1543 n = n->rb_left;
1544 else if (offset > entry->offset)
1545 n = n->rb_right;
1546 else
1547 break;
Josef Bacik0f9dd462008-09-23 13:14:11 -04001548 }
1549
Josef Bacik96303082009-07-13 21:29:25 -04001550 if (bitmap_only) {
1551 if (!entry)
1552 return NULL;
1553 if (entry->bitmap)
1554 return entry;
Josef Bacik0f9dd462008-09-23 13:14:11 -04001555
Josef Bacik96303082009-07-13 21:29:25 -04001556 /*
1557 * bitmap entry and extent entry may share same offset,
1558 * in that case, bitmap entry comes after extent entry.
1559 */
1560 n = rb_next(n);
1561 if (!n)
1562 return NULL;
1563 entry = rb_entry(n, struct btrfs_free_space, offset_index);
1564 if (entry->offset != offset)
1565 return NULL;
Josef Bacik0f9dd462008-09-23 13:14:11 -04001566
Josef Bacik96303082009-07-13 21:29:25 -04001567 WARN_ON(!entry->bitmap);
1568 return entry;
1569 } else if (entry) {
1570 if (entry->bitmap) {
Josef Bacik0f9dd462008-09-23 13:14:11 -04001571 /*
Josef Bacik96303082009-07-13 21:29:25 -04001572 * if previous extent entry covers the offset,
1573 * we should return it instead of the bitmap entry
Josef Bacik0f9dd462008-09-23 13:14:11 -04001574 */
Miao Xiede6c4112012-10-18 08:18:01 +00001575 n = rb_prev(&entry->offset_index);
1576 if (n) {
Josef Bacik96303082009-07-13 21:29:25 -04001577 prev = rb_entry(n, struct btrfs_free_space,
1578 offset_index);
Miao Xiede6c4112012-10-18 08:18:01 +00001579 if (!prev->bitmap &&
1580 prev->offset + prev->bytes > offset)
1581 entry = prev;
Josef Bacik0f9dd462008-09-23 13:14:11 -04001582 }
Josef Bacik96303082009-07-13 21:29:25 -04001583 }
1584 return entry;
1585 }
1586
1587 if (!prev)
1588 return NULL;
1589
1590 /* find last entry before the 'offset' */
1591 entry = prev;
1592 if (entry->offset > offset) {
1593 n = rb_prev(&entry->offset_index);
1594 if (n) {
1595 entry = rb_entry(n, struct btrfs_free_space,
1596 offset_index);
Josef Bacikb12d6862013-08-26 17:14:08 -04001597 ASSERT(entry->offset <= offset);
Josef Bacik0f9dd462008-09-23 13:14:11 -04001598 } else {
Josef Bacik96303082009-07-13 21:29:25 -04001599 if (fuzzy)
1600 return entry;
1601 else
1602 return NULL;
Josef Bacik0f9dd462008-09-23 13:14:11 -04001603 }
1604 }
1605
Josef Bacik96303082009-07-13 21:29:25 -04001606 if (entry->bitmap) {
Miao Xiede6c4112012-10-18 08:18:01 +00001607 n = rb_prev(&entry->offset_index);
1608 if (n) {
Josef Bacik96303082009-07-13 21:29:25 -04001609 prev = rb_entry(n, struct btrfs_free_space,
1610 offset_index);
Miao Xiede6c4112012-10-18 08:18:01 +00001611 if (!prev->bitmap &&
1612 prev->offset + prev->bytes > offset)
1613 return prev;
Josef Bacik96303082009-07-13 21:29:25 -04001614 }
Li Zefan34d52cb2011-03-29 13:46:06 +08001615 if (entry->offset + BITS_PER_BITMAP * ctl->unit > offset)
Josef Bacik96303082009-07-13 21:29:25 -04001616 return entry;
1617 } else if (entry->offset + entry->bytes > offset)
1618 return entry;
1619
1620 if (!fuzzy)
1621 return NULL;
1622
1623 while (1) {
1624 if (entry->bitmap) {
1625 if (entry->offset + BITS_PER_BITMAP *
Li Zefan34d52cb2011-03-29 13:46:06 +08001626 ctl->unit > offset)
Josef Bacik96303082009-07-13 21:29:25 -04001627 break;
1628 } else {
1629 if (entry->offset + entry->bytes > offset)
1630 break;
1631 }
1632
1633 n = rb_next(&entry->offset_index);
1634 if (!n)
1635 return NULL;
1636 entry = rb_entry(n, struct btrfs_free_space, offset_index);
1637 }
1638 return entry;
Josef Bacik0f9dd462008-09-23 13:14:11 -04001639}
1640
Li Zefanf333adb2010-11-09 14:57:39 +08001641static inline void
Li Zefan34d52cb2011-03-29 13:46:06 +08001642__unlink_free_space(struct btrfs_free_space_ctl *ctl,
Li Zefanf333adb2010-11-09 14:57:39 +08001643 struct btrfs_free_space *info)
Josef Bacik0f9dd462008-09-23 13:14:11 -04001644{
Li Zefan34d52cb2011-03-29 13:46:06 +08001645 rb_erase(&info->offset_index, &ctl->free_space_offset);
1646 ctl->free_extents--;
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001647
Dennis Zhou5dc7c102019-12-13 16:22:21 -08001648 if (!info->bitmap && !btrfs_free_space_trimmed(info)) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001649 ctl->discardable_extents[BTRFS_STAT_CURR]--;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08001650 ctl->discardable_bytes[BTRFS_STAT_CURR] -= info->bytes;
1651 }
Li Zefanf333adb2010-11-09 14:57:39 +08001652}
1653
Li Zefan34d52cb2011-03-29 13:46:06 +08001654static void unlink_free_space(struct btrfs_free_space_ctl *ctl,
Li Zefanf333adb2010-11-09 14:57:39 +08001655 struct btrfs_free_space *info)
1656{
Li Zefan34d52cb2011-03-29 13:46:06 +08001657 __unlink_free_space(ctl, info);
1658 ctl->free_space -= info->bytes;
Josef Bacik0f9dd462008-09-23 13:14:11 -04001659}
1660
Li Zefan34d52cb2011-03-29 13:46:06 +08001661static int link_free_space(struct btrfs_free_space_ctl *ctl,
Josef Bacik0f9dd462008-09-23 13:14:11 -04001662 struct btrfs_free_space *info)
1663{
1664 int ret = 0;
1665
Josef Bacikb12d6862013-08-26 17:14:08 -04001666 ASSERT(info->bytes || info->bitmap);
Li Zefan34d52cb2011-03-29 13:46:06 +08001667 ret = tree_insert_offset(&ctl->free_space_offset, info->offset,
Josef Bacik96303082009-07-13 21:29:25 -04001668 &info->offset_index, (info->bitmap != NULL));
Josef Bacik0f9dd462008-09-23 13:14:11 -04001669 if (ret)
1670 return ret;
1671
Dennis Zhou5dc7c102019-12-13 16:22:21 -08001672 if (!info->bitmap && !btrfs_free_space_trimmed(info)) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001673 ctl->discardable_extents[BTRFS_STAT_CURR]++;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08001674 ctl->discardable_bytes[BTRFS_STAT_CURR] += info->bytes;
1675 }
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001676
Li Zefan34d52cb2011-03-29 13:46:06 +08001677 ctl->free_space += info->bytes;
1678 ctl->free_extents++;
Josef Bacik96303082009-07-13 21:29:25 -04001679 return ret;
1680}
1681
Li Zefan34d52cb2011-03-29 13:46:06 +08001682static void recalculate_thresholds(struct btrfs_free_space_ctl *ctl)
Josef Bacik96303082009-07-13 21:29:25 -04001683{
David Sterba32da53862019-10-29 19:20:18 +01001684 struct btrfs_block_group *block_group = ctl->private;
Josef Bacik25891f72009-09-11 16:11:20 -04001685 u64 max_bytes;
1686 u64 bitmap_bytes;
1687 u64 extent_bytes;
David Sterbab3470b52019-10-23 18:48:22 +02001688 u64 size = block_group->length;
Feifei Xu0ef64472016-06-01 19:18:24 +08001689 u64 bytes_per_bg = BITS_PER_BITMAP * ctl->unit;
1690 u64 max_bitmaps = div64_u64(size + bytes_per_bg - 1, bytes_per_bg);
Li Zefan34d52cb2011-03-29 13:46:06 +08001691
Feifei Xu0ef64472016-06-01 19:18:24 +08001692 max_bitmaps = max_t(u64, max_bitmaps, 1);
Josef Bacikdde57402013-02-12 14:07:51 -05001693
Josef Bacikb12d6862013-08-26 17:14:08 -04001694 ASSERT(ctl->total_bitmaps <= max_bitmaps);
Josef Bacik96303082009-07-13 21:29:25 -04001695
1696 /*
Dennis Zhou5d90c5c2020-01-02 16:26:43 -05001697 * We are trying to keep the total amount of memory used per 1GiB of
1698 * space to be MAX_CACHE_BYTES_PER_GIG. However, with a reclamation
1699 * mechanism of pulling extents >= FORCE_EXTENT_THRESHOLD out of
1700 * bitmaps, we may end up using more memory than this.
Josef Bacik96303082009-07-13 21:29:25 -04001701 */
Byongho Leeee221842015-12-15 01:42:10 +09001702 if (size < SZ_1G)
Li Zefan8eb2d822010-11-09 14:48:01 +08001703 max_bytes = MAX_CACHE_BYTES_PER_GIG;
1704 else
Byongho Leeee221842015-12-15 01:42:10 +09001705 max_bytes = MAX_CACHE_BYTES_PER_GIG * div_u64(size, SZ_1G);
Josef Bacik96303082009-07-13 21:29:25 -04001706
Dennis Zhou5d90c5c2020-01-02 16:26:43 -05001707 bitmap_bytes = ctl->total_bitmaps * ctl->unit;
Josef Bacik25891f72009-09-11 16:11:20 -04001708
1709 /*
David Sterbaf8c269d2015-01-16 17:21:12 +01001710 * we want the extent entry threshold to always be at most 1/2 the max
Josef Bacik25891f72009-09-11 16:11:20 -04001711 * bytes we can have, or whatever is less than that.
1712 */
1713 extent_bytes = max_bytes - bitmap_bytes;
David Sterbaf8c269d2015-01-16 17:21:12 +01001714 extent_bytes = min_t(u64, extent_bytes, max_bytes >> 1);
Josef Bacik25891f72009-09-11 16:11:20 -04001715
Li Zefan34d52cb2011-03-29 13:46:06 +08001716 ctl->extents_thresh =
David Sterbaf8c269d2015-01-16 17:21:12 +01001717 div_u64(extent_bytes, sizeof(struct btrfs_free_space));
Josef Bacik96303082009-07-13 21:29:25 -04001718}
1719
Miao Xiebb3ac5a2011-08-05 09:32:35 +00001720static inline void __bitmap_clear_bits(struct btrfs_free_space_ctl *ctl,
1721 struct btrfs_free_space *info,
1722 u64 offset, u64 bytes)
Josef Bacik96303082009-07-13 21:29:25 -04001723{
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001724 unsigned long start, count, end;
1725 int extent_delta = -1;
Josef Bacik96303082009-07-13 21:29:25 -04001726
Li Zefan34d52cb2011-03-29 13:46:06 +08001727 start = offset_to_bit(info->offset, ctl->unit, offset);
1728 count = bytes_to_bits(bytes, ctl->unit);
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001729 end = start + count;
1730 ASSERT(end <= BITS_PER_BITMAP);
Josef Bacik96303082009-07-13 21:29:25 -04001731
Li Zefanf38b6e72011-03-14 13:40:51 +08001732 bitmap_clear(info->bitmap, start, count);
Josef Bacik96303082009-07-13 21:29:25 -04001733
1734 info->bytes -= bytes;
Josef Bacik553cceb2018-09-28 07:18:00 -04001735 if (info->max_extent_size > ctl->unit)
1736 info->max_extent_size = 0;
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001737
1738 if (start && test_bit(start - 1, info->bitmap))
1739 extent_delta++;
1740
1741 if (end < BITS_PER_BITMAP && test_bit(end, info->bitmap))
1742 extent_delta++;
1743
1744 info->bitmap_extents += extent_delta;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08001745 if (!btrfs_free_space_trimmed(info)) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001746 ctl->discardable_extents[BTRFS_STAT_CURR] += extent_delta;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08001747 ctl->discardable_bytes[BTRFS_STAT_CURR] -= bytes;
1748 }
Miao Xiebb3ac5a2011-08-05 09:32:35 +00001749}
1750
1751static void bitmap_clear_bits(struct btrfs_free_space_ctl *ctl,
1752 struct btrfs_free_space *info, u64 offset,
1753 u64 bytes)
1754{
1755 __bitmap_clear_bits(ctl, info, offset, bytes);
Li Zefan34d52cb2011-03-29 13:46:06 +08001756 ctl->free_space -= bytes;
Josef Bacik96303082009-07-13 21:29:25 -04001757}
1758
Li Zefan34d52cb2011-03-29 13:46:06 +08001759static void bitmap_set_bits(struct btrfs_free_space_ctl *ctl,
Josef Bacik817d52f2009-07-13 21:29:25 -04001760 struct btrfs_free_space *info, u64 offset,
1761 u64 bytes)
Josef Bacik96303082009-07-13 21:29:25 -04001762{
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001763 unsigned long start, count, end;
1764 int extent_delta = 1;
Josef Bacik96303082009-07-13 21:29:25 -04001765
Li Zefan34d52cb2011-03-29 13:46:06 +08001766 start = offset_to_bit(info->offset, ctl->unit, offset);
1767 count = bytes_to_bits(bytes, ctl->unit);
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001768 end = start + count;
1769 ASSERT(end <= BITS_PER_BITMAP);
Josef Bacik96303082009-07-13 21:29:25 -04001770
Li Zefanf38b6e72011-03-14 13:40:51 +08001771 bitmap_set(info->bitmap, start, count);
Josef Bacik96303082009-07-13 21:29:25 -04001772
1773 info->bytes += bytes;
Li Zefan34d52cb2011-03-29 13:46:06 +08001774 ctl->free_space += bytes;
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001775
1776 if (start && test_bit(start - 1, info->bitmap))
1777 extent_delta--;
1778
1779 if (end < BITS_PER_BITMAP && test_bit(end, info->bitmap))
1780 extent_delta--;
1781
1782 info->bitmap_extents += extent_delta;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08001783 if (!btrfs_free_space_trimmed(info)) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001784 ctl->discardable_extents[BTRFS_STAT_CURR] += extent_delta;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08001785 ctl->discardable_bytes[BTRFS_STAT_CURR] += bytes;
1786 }
Josef Bacik96303082009-07-13 21:29:25 -04001787}
1788
Miao Xiea4820392013-09-09 13:19:42 +08001789/*
1790 * If we can not find suitable extent, we will use bytes to record
1791 * the size of the max extent.
1792 */
Li Zefan34d52cb2011-03-29 13:46:06 +08001793static int search_bitmap(struct btrfs_free_space_ctl *ctl,
Josef Bacik96303082009-07-13 21:29:25 -04001794 struct btrfs_free_space *bitmap_info, u64 *offset,
Josef Bacik0584f712015-10-02 16:12:23 -04001795 u64 *bytes, bool for_alloc)
Josef Bacik96303082009-07-13 21:29:25 -04001796{
1797 unsigned long found_bits = 0;
Miao Xiea4820392013-09-09 13:19:42 +08001798 unsigned long max_bits = 0;
Josef Bacik96303082009-07-13 21:29:25 -04001799 unsigned long bits, i;
1800 unsigned long next_zero;
Miao Xiea4820392013-09-09 13:19:42 +08001801 unsigned long extent_bits;
Josef Bacik96303082009-07-13 21:29:25 -04001802
Josef Bacikcef40482015-10-02 16:09:42 -04001803 /*
1804 * Skip searching the bitmap if we don't have a contiguous section that
1805 * is large enough for this allocation.
1806 */
Josef Bacik0584f712015-10-02 16:12:23 -04001807 if (for_alloc &&
1808 bitmap_info->max_extent_size &&
Josef Bacikcef40482015-10-02 16:09:42 -04001809 bitmap_info->max_extent_size < *bytes) {
1810 *bytes = bitmap_info->max_extent_size;
1811 return -1;
1812 }
1813
Li Zefan34d52cb2011-03-29 13:46:06 +08001814 i = offset_to_bit(bitmap_info->offset, ctl->unit,
Josef Bacik96303082009-07-13 21:29:25 -04001815 max_t(u64, *offset, bitmap_info->offset));
Li Zefan34d52cb2011-03-29 13:46:06 +08001816 bits = bytes_to_bits(*bytes, ctl->unit);
Josef Bacik96303082009-07-13 21:29:25 -04001817
Wei Yongjunebb3dad2012-09-13 20:29:02 -06001818 for_each_set_bit_from(i, bitmap_info->bitmap, BITS_PER_BITMAP) {
Josef Bacik0584f712015-10-02 16:12:23 -04001819 if (for_alloc && bits == 1) {
1820 found_bits = 1;
1821 break;
1822 }
Josef Bacik96303082009-07-13 21:29:25 -04001823 next_zero = find_next_zero_bit(bitmap_info->bitmap,
1824 BITS_PER_BITMAP, i);
Miao Xiea4820392013-09-09 13:19:42 +08001825 extent_bits = next_zero - i;
1826 if (extent_bits >= bits) {
1827 found_bits = extent_bits;
Josef Bacik96303082009-07-13 21:29:25 -04001828 break;
Miao Xiea4820392013-09-09 13:19:42 +08001829 } else if (extent_bits > max_bits) {
1830 max_bits = extent_bits;
Josef Bacik96303082009-07-13 21:29:25 -04001831 }
1832 i = next_zero;
1833 }
1834
1835 if (found_bits) {
Li Zefan34d52cb2011-03-29 13:46:06 +08001836 *offset = (u64)(i * ctl->unit) + bitmap_info->offset;
1837 *bytes = (u64)(found_bits) * ctl->unit;
Josef Bacik96303082009-07-13 21:29:25 -04001838 return 0;
1839 }
1840
Miao Xiea4820392013-09-09 13:19:42 +08001841 *bytes = (u64)(max_bits) * ctl->unit;
Josef Bacikcef40482015-10-02 16:09:42 -04001842 bitmap_info->max_extent_size = *bytes;
Josef Bacik96303082009-07-13 21:29:25 -04001843 return -1;
1844}
1845
Josef Bacikad22cf62018-10-12 15:32:33 -04001846static inline u64 get_max_extent_size(struct btrfs_free_space *entry)
1847{
1848 if (entry->bitmap)
1849 return entry->max_extent_size;
1850 return entry->bytes;
1851}
1852
Miao Xiea4820392013-09-09 13:19:42 +08001853/* Cache the size of the max extent in bytes */
Li Zefan34d52cb2011-03-29 13:46:06 +08001854static struct btrfs_free_space *
David Woodhouse53b381b2013-01-29 18:40:14 -05001855find_free_space(struct btrfs_free_space_ctl *ctl, u64 *offset, u64 *bytes,
Miao Xiea4820392013-09-09 13:19:42 +08001856 unsigned long align, u64 *max_extent_size)
Josef Bacik96303082009-07-13 21:29:25 -04001857{
1858 struct btrfs_free_space *entry;
1859 struct rb_node *node;
David Woodhouse53b381b2013-01-29 18:40:14 -05001860 u64 tmp;
1861 u64 align_off;
Josef Bacik96303082009-07-13 21:29:25 -04001862 int ret;
1863
Li Zefan34d52cb2011-03-29 13:46:06 +08001864 if (!ctl->free_space_offset.rb_node)
Miao Xiea4820392013-09-09 13:19:42 +08001865 goto out;
Josef Bacik96303082009-07-13 21:29:25 -04001866
Li Zefan34d52cb2011-03-29 13:46:06 +08001867 entry = tree_search_offset(ctl, offset_to_bitmap(ctl, *offset), 0, 1);
Josef Bacik96303082009-07-13 21:29:25 -04001868 if (!entry)
Miao Xiea4820392013-09-09 13:19:42 +08001869 goto out;
Josef Bacik96303082009-07-13 21:29:25 -04001870
1871 for (node = &entry->offset_index; node; node = rb_next(node)) {
1872 entry = rb_entry(node, struct btrfs_free_space, offset_index);
Miao Xiea4820392013-09-09 13:19:42 +08001873 if (entry->bytes < *bytes) {
Josef Bacikad22cf62018-10-12 15:32:33 -04001874 *max_extent_size = max(get_max_extent_size(entry),
1875 *max_extent_size);
Josef Bacik96303082009-07-13 21:29:25 -04001876 continue;
Miao Xiea4820392013-09-09 13:19:42 +08001877 }
Josef Bacik96303082009-07-13 21:29:25 -04001878
David Woodhouse53b381b2013-01-29 18:40:14 -05001879 /* make sure the space returned is big enough
1880 * to match our requested alignment
1881 */
1882 if (*bytes >= align) {
Miao Xiea4820392013-09-09 13:19:42 +08001883 tmp = entry->offset - ctl->start + align - 1;
David Sterba47c57132015-02-20 18:43:47 +01001884 tmp = div64_u64(tmp, align);
David Woodhouse53b381b2013-01-29 18:40:14 -05001885 tmp = tmp * align + ctl->start;
1886 align_off = tmp - entry->offset;
1887 } else {
1888 align_off = 0;
1889 tmp = entry->offset;
1890 }
1891
Miao Xiea4820392013-09-09 13:19:42 +08001892 if (entry->bytes < *bytes + align_off) {
Josef Bacikad22cf62018-10-12 15:32:33 -04001893 *max_extent_size = max(get_max_extent_size(entry),
1894 *max_extent_size);
David Woodhouse53b381b2013-01-29 18:40:14 -05001895 continue;
Miao Xiea4820392013-09-09 13:19:42 +08001896 }
David Woodhouse53b381b2013-01-29 18:40:14 -05001897
Josef Bacik96303082009-07-13 21:29:25 -04001898 if (entry->bitmap) {
Miao Xiea4820392013-09-09 13:19:42 +08001899 u64 size = *bytes;
1900
Josef Bacik0584f712015-10-02 16:12:23 -04001901 ret = search_bitmap(ctl, entry, &tmp, &size, true);
David Woodhouse53b381b2013-01-29 18:40:14 -05001902 if (!ret) {
1903 *offset = tmp;
Miao Xiea4820392013-09-09 13:19:42 +08001904 *bytes = size;
Josef Bacik96303082009-07-13 21:29:25 -04001905 return entry;
Josef Bacikad22cf62018-10-12 15:32:33 -04001906 } else {
1907 *max_extent_size =
1908 max(get_max_extent_size(entry),
1909 *max_extent_size);
David Woodhouse53b381b2013-01-29 18:40:14 -05001910 }
Josef Bacik96303082009-07-13 21:29:25 -04001911 continue;
1912 }
1913
David Woodhouse53b381b2013-01-29 18:40:14 -05001914 *offset = tmp;
1915 *bytes = entry->bytes - align_off;
Josef Bacik96303082009-07-13 21:29:25 -04001916 return entry;
1917 }
Miao Xiea4820392013-09-09 13:19:42 +08001918out:
Josef Bacik96303082009-07-13 21:29:25 -04001919 return NULL;
1920}
1921
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001922static int count_bitmap_extents(struct btrfs_free_space_ctl *ctl,
1923 struct btrfs_free_space *bitmap_info)
1924{
1925 struct btrfs_block_group *block_group = ctl->private;
1926 u64 bytes = bitmap_info->bytes;
1927 unsigned int rs, re;
1928 int count = 0;
1929
1930 if (!block_group || !bytes)
1931 return count;
1932
1933 bitmap_for_each_set_region(bitmap_info->bitmap, rs, re, 0,
1934 BITS_PER_BITMAP) {
1935 bytes -= (rs - re) * ctl->unit;
1936 count++;
1937
1938 if (!bytes)
1939 break;
1940 }
1941
1942 return count;
1943}
1944
Li Zefan34d52cb2011-03-29 13:46:06 +08001945static void add_new_bitmap(struct btrfs_free_space_ctl *ctl,
Josef Bacik96303082009-07-13 21:29:25 -04001946 struct btrfs_free_space *info, u64 offset)
1947{
Li Zefan34d52cb2011-03-29 13:46:06 +08001948 info->offset = offset_to_bitmap(ctl, offset);
Josef Bacikf019f422009-09-11 16:11:20 -04001949 info->bytes = 0;
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08001950 info->bitmap_extents = 0;
Alexandre Olivaf2d0f672011-11-28 12:04:43 -02001951 INIT_LIST_HEAD(&info->list);
Li Zefan34d52cb2011-03-29 13:46:06 +08001952 link_free_space(ctl, info);
1953 ctl->total_bitmaps++;
Josef Bacik96303082009-07-13 21:29:25 -04001954
Li Zefan34d52cb2011-03-29 13:46:06 +08001955 ctl->op->recalc_thresholds(ctl);
Josef Bacik96303082009-07-13 21:29:25 -04001956}
1957
Li Zefan34d52cb2011-03-29 13:46:06 +08001958static void free_bitmap(struct btrfs_free_space_ctl *ctl,
Li Zefanedf6e2d2010-11-09 14:50:07 +08001959 struct btrfs_free_space *bitmap_info)
1960{
Dennis Zhou27f0afc2020-01-02 16:26:45 -05001961 /*
1962 * Normally when this is called, the bitmap is completely empty. However,
1963 * if we are blowing up the free space cache for one reason or another
1964 * via __btrfs_remove_free_space_cache(), then it may not be freed and
1965 * we may leave stats on the table.
1966 */
1967 if (bitmap_info->bytes && !btrfs_free_space_trimmed(bitmap_info)) {
1968 ctl->discardable_extents[BTRFS_STAT_CURR] -=
1969 bitmap_info->bitmap_extents;
1970 ctl->discardable_bytes[BTRFS_STAT_CURR] -= bitmap_info->bytes;
1971
1972 }
Li Zefan34d52cb2011-03-29 13:46:06 +08001973 unlink_free_space(ctl, bitmap_info);
Christophe Leroy3acd4852019-08-21 15:05:55 +00001974 kmem_cache_free(btrfs_free_space_bitmap_cachep, bitmap_info->bitmap);
Josef Bacikdc89e982011-01-28 17:05:48 -05001975 kmem_cache_free(btrfs_free_space_cachep, bitmap_info);
Li Zefan34d52cb2011-03-29 13:46:06 +08001976 ctl->total_bitmaps--;
1977 ctl->op->recalc_thresholds(ctl);
Li Zefanedf6e2d2010-11-09 14:50:07 +08001978}
1979
Li Zefan34d52cb2011-03-29 13:46:06 +08001980static noinline int remove_from_bitmap(struct btrfs_free_space_ctl *ctl,
Josef Bacik96303082009-07-13 21:29:25 -04001981 struct btrfs_free_space *bitmap_info,
1982 u64 *offset, u64 *bytes)
1983{
1984 u64 end;
Josef Bacik6606bb92009-07-31 11:03:58 -04001985 u64 search_start, search_bytes;
1986 int ret;
Josef Bacik96303082009-07-13 21:29:25 -04001987
1988again:
Li Zefan34d52cb2011-03-29 13:46:06 +08001989 end = bitmap_info->offset + (u64)(BITS_PER_BITMAP * ctl->unit) - 1;
Josef Bacik96303082009-07-13 21:29:25 -04001990
Josef Bacik6606bb92009-07-31 11:03:58 -04001991 /*
Josef Bacikbdb7d302012-06-27 15:10:56 -04001992 * We need to search for bits in this bitmap. We could only cover some
1993 * of the extent in this bitmap thanks to how we add space, so we need
1994 * to search for as much as it as we can and clear that amount, and then
1995 * go searching for the next bit.
Josef Bacik6606bb92009-07-31 11:03:58 -04001996 */
1997 search_start = *offset;
Josef Bacikbdb7d302012-06-27 15:10:56 -04001998 search_bytes = ctl->unit;
Josef Bacik13dbc082011-02-03 02:39:52 +00001999 search_bytes = min(search_bytes, end - search_start + 1);
Josef Bacik0584f712015-10-02 16:12:23 -04002000 ret = search_bitmap(ctl, bitmap_info, &search_start, &search_bytes,
2001 false);
Josef Bacikb50c6e22013-04-25 15:55:30 -04002002 if (ret < 0 || search_start != *offset)
2003 return -EINVAL;
Josef Bacik6606bb92009-07-31 11:03:58 -04002004
Josef Bacikbdb7d302012-06-27 15:10:56 -04002005 /* We may have found more bits than what we need */
2006 search_bytes = min(search_bytes, *bytes);
2007
2008 /* Cannot clear past the end of the bitmap */
2009 search_bytes = min(search_bytes, end - search_start + 1);
2010
2011 bitmap_clear_bits(ctl, bitmap_info, search_start, search_bytes);
2012 *offset += search_bytes;
2013 *bytes -= search_bytes;
Josef Bacik96303082009-07-13 21:29:25 -04002014
2015 if (*bytes) {
Josef Bacik6606bb92009-07-31 11:03:58 -04002016 struct rb_node *next = rb_next(&bitmap_info->offset_index);
Li Zefanedf6e2d2010-11-09 14:50:07 +08002017 if (!bitmap_info->bytes)
Li Zefan34d52cb2011-03-29 13:46:06 +08002018 free_bitmap(ctl, bitmap_info);
Josef Bacik96303082009-07-13 21:29:25 -04002019
Josef Bacik6606bb92009-07-31 11:03:58 -04002020 /*
2021 * no entry after this bitmap, but we still have bytes to
2022 * remove, so something has gone wrong.
2023 */
2024 if (!next)
Josef Bacik96303082009-07-13 21:29:25 -04002025 return -EINVAL;
2026
Josef Bacik6606bb92009-07-31 11:03:58 -04002027 bitmap_info = rb_entry(next, struct btrfs_free_space,
2028 offset_index);
2029
2030 /*
2031 * if the next entry isn't a bitmap we need to return to let the
2032 * extent stuff do its work.
2033 */
Josef Bacik96303082009-07-13 21:29:25 -04002034 if (!bitmap_info->bitmap)
2035 return -EAGAIN;
2036
Josef Bacik6606bb92009-07-31 11:03:58 -04002037 /*
2038 * Ok the next item is a bitmap, but it may not actually hold
2039 * the information for the rest of this free space stuff, so
2040 * look for it, and if we don't find it return so we can try
2041 * everything over again.
2042 */
2043 search_start = *offset;
Josef Bacikbdb7d302012-06-27 15:10:56 -04002044 search_bytes = ctl->unit;
Li Zefan34d52cb2011-03-29 13:46:06 +08002045 ret = search_bitmap(ctl, bitmap_info, &search_start,
Josef Bacik0584f712015-10-02 16:12:23 -04002046 &search_bytes, false);
Josef Bacik6606bb92009-07-31 11:03:58 -04002047 if (ret < 0 || search_start != *offset)
2048 return -EAGAIN;
2049
Josef Bacik96303082009-07-13 21:29:25 -04002050 goto again;
Li Zefanedf6e2d2010-11-09 14:50:07 +08002051 } else if (!bitmap_info->bytes)
Li Zefan34d52cb2011-03-29 13:46:06 +08002052 free_bitmap(ctl, bitmap_info);
Josef Bacik96303082009-07-13 21:29:25 -04002053
2054 return 0;
2055}
2056
Josef Bacik2cdc3422011-05-27 14:07:49 -04002057static u64 add_bytes_to_bitmap(struct btrfs_free_space_ctl *ctl,
2058 struct btrfs_free_space *info, u64 offset,
Dennis Zhouda080fe2019-12-13 16:22:13 -08002059 u64 bytes, enum btrfs_trim_state trim_state)
Josef Bacik2cdc3422011-05-27 14:07:49 -04002060{
2061 u64 bytes_to_set = 0;
2062 u64 end;
2063
Dennis Zhouda080fe2019-12-13 16:22:13 -08002064 /*
2065 * This is a tradeoff to make bitmap trim state minimal. We mark the
2066 * whole bitmap untrimmed if at any point we add untrimmed regions.
2067 */
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002068 if (trim_state == BTRFS_TRIM_STATE_UNTRIMMED) {
Dennis Zhou5dc7c102019-12-13 16:22:21 -08002069 if (btrfs_free_space_trimmed(info)) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002070 ctl->discardable_extents[BTRFS_STAT_CURR] +=
2071 info->bitmap_extents;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08002072 ctl->discardable_bytes[BTRFS_STAT_CURR] += info->bytes;
2073 }
Dennis Zhouda080fe2019-12-13 16:22:13 -08002074 info->trim_state = BTRFS_TRIM_STATE_UNTRIMMED;
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002075 }
Dennis Zhouda080fe2019-12-13 16:22:13 -08002076
Josef Bacik2cdc3422011-05-27 14:07:49 -04002077 end = info->offset + (u64)(BITS_PER_BITMAP * ctl->unit);
2078
2079 bytes_to_set = min(end - offset, bytes);
2080
2081 bitmap_set_bits(ctl, info, offset, bytes_to_set);
2082
Josef Bacikcef40482015-10-02 16:09:42 -04002083 /*
2084 * We set some bytes, we have no idea what the max extent size is
2085 * anymore.
2086 */
2087 info->max_extent_size = 0;
2088
Josef Bacik2cdc3422011-05-27 14:07:49 -04002089 return bytes_to_set;
2090
2091}
2092
Li Zefan34d52cb2011-03-29 13:46:06 +08002093static bool use_bitmap(struct btrfs_free_space_ctl *ctl,
2094 struct btrfs_free_space *info)
Josef Bacik96303082009-07-13 21:29:25 -04002095{
David Sterba32da53862019-10-29 19:20:18 +01002096 struct btrfs_block_group *block_group = ctl->private;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002097 struct btrfs_fs_info *fs_info = block_group->fs_info;
Josef Bacikd0bd4562015-09-23 14:54:14 -04002098 bool forced = false;
2099
2100#ifdef CONFIG_BTRFS_DEBUG
Jeff Mahoney2ff7e612016-06-22 18:54:24 -04002101 if (btrfs_should_fragment_free_space(block_group))
Josef Bacikd0bd4562015-09-23 14:54:14 -04002102 forced = true;
2103#endif
Josef Bacik96303082009-07-13 21:29:25 -04002104
Dennis Zhou5d90c5c2020-01-02 16:26:43 -05002105 /* This is a way to reclaim large regions from the bitmaps. */
2106 if (!forced && info->bytes >= FORCE_EXTENT_THRESHOLD)
2107 return false;
2108
Josef Bacik96303082009-07-13 21:29:25 -04002109 /*
2110 * If we are below the extents threshold then we can add this as an
2111 * extent, and don't have to deal with the bitmap
2112 */
Josef Bacikd0bd4562015-09-23 14:54:14 -04002113 if (!forced && ctl->free_extents < ctl->extents_thresh) {
Josef Bacik32cb0842011-03-18 16:16:21 -04002114 /*
2115 * If this block group has some small extents we don't want to
2116 * use up all of our free slots in the cache with them, we want
Nicholas D Steeves01327612016-05-19 21:18:45 -04002117 * to reserve them to larger extents, however if we have plenty
Josef Bacik32cb0842011-03-18 16:16:21 -04002118 * of cache left then go ahead an dadd them, no sense in adding
2119 * the overhead of a bitmap if we don't have to.
2120 */
Dennis Zhouf9bb6152020-01-02 16:26:44 -05002121 if (info->bytes <= fs_info->sectorsize * 8) {
2122 if (ctl->free_extents * 3 <= ctl->extents_thresh)
Li Zefan34d52cb2011-03-29 13:46:06 +08002123 return false;
Josef Bacik32cb0842011-03-18 16:16:21 -04002124 } else {
Li Zefan34d52cb2011-03-29 13:46:06 +08002125 return false;
Josef Bacik32cb0842011-03-18 16:16:21 -04002126 }
2127 }
Josef Bacik96303082009-07-13 21:29:25 -04002128
2129 /*
Josef Bacikdde57402013-02-12 14:07:51 -05002130 * The original block groups from mkfs can be really small, like 8
2131 * megabytes, so don't bother with a bitmap for those entries. However
2132 * some block groups can be smaller than what a bitmap would cover but
2133 * are still large enough that they could overflow the 32k memory limit,
2134 * so allow those block groups to still be allowed to have a bitmap
2135 * entry.
Josef Bacik96303082009-07-13 21:29:25 -04002136 */
David Sterbab3470b52019-10-23 18:48:22 +02002137 if (((BITS_PER_BITMAP * ctl->unit) >> 1) > block_group->length)
Li Zefan34d52cb2011-03-29 13:46:06 +08002138 return false;
2139
2140 return true;
2141}
2142
David Sterba20e55062015-11-19 11:42:28 +01002143static const struct btrfs_free_space_op free_space_op = {
Josef Bacik2cdc3422011-05-27 14:07:49 -04002144 .recalc_thresholds = recalculate_thresholds,
2145 .use_bitmap = use_bitmap,
2146};
2147
Li Zefan34d52cb2011-03-29 13:46:06 +08002148static int insert_into_bitmap(struct btrfs_free_space_ctl *ctl,
2149 struct btrfs_free_space *info)
2150{
2151 struct btrfs_free_space *bitmap_info;
David Sterba32da53862019-10-29 19:20:18 +01002152 struct btrfs_block_group *block_group = NULL;
Li Zefan34d52cb2011-03-29 13:46:06 +08002153 int added = 0;
Josef Bacik2cdc3422011-05-27 14:07:49 -04002154 u64 bytes, offset, bytes_added;
Dennis Zhouda080fe2019-12-13 16:22:13 -08002155 enum btrfs_trim_state trim_state;
Li Zefan34d52cb2011-03-29 13:46:06 +08002156 int ret;
Josef Bacik96303082009-07-13 21:29:25 -04002157
2158 bytes = info->bytes;
2159 offset = info->offset;
Dennis Zhouda080fe2019-12-13 16:22:13 -08002160 trim_state = info->trim_state;
Josef Bacik96303082009-07-13 21:29:25 -04002161
Li Zefan34d52cb2011-03-29 13:46:06 +08002162 if (!ctl->op->use_bitmap(ctl, info))
2163 return 0;
2164
Josef Bacik2cdc3422011-05-27 14:07:49 -04002165 if (ctl->op == &free_space_op)
2166 block_group = ctl->private;
Chris Mason38e87882011-06-10 16:36:57 -04002167again:
Josef Bacik2cdc3422011-05-27 14:07:49 -04002168 /*
2169 * Since we link bitmaps right into the cluster we need to see if we
2170 * have a cluster here, and if so and it has our bitmap we need to add
2171 * the free space to that bitmap.
2172 */
2173 if (block_group && !list_empty(&block_group->cluster_list)) {
2174 struct btrfs_free_cluster *cluster;
2175 struct rb_node *node;
2176 struct btrfs_free_space *entry;
2177
2178 cluster = list_entry(block_group->cluster_list.next,
2179 struct btrfs_free_cluster,
2180 block_group_list);
2181 spin_lock(&cluster->lock);
2182 node = rb_first(&cluster->root);
2183 if (!node) {
2184 spin_unlock(&cluster->lock);
Chris Mason38e87882011-06-10 16:36:57 -04002185 goto no_cluster_bitmap;
Josef Bacik2cdc3422011-05-27 14:07:49 -04002186 }
2187
2188 entry = rb_entry(node, struct btrfs_free_space, offset_index);
2189 if (!entry->bitmap) {
2190 spin_unlock(&cluster->lock);
Chris Mason38e87882011-06-10 16:36:57 -04002191 goto no_cluster_bitmap;
Josef Bacik2cdc3422011-05-27 14:07:49 -04002192 }
2193
2194 if (entry->offset == offset_to_bitmap(ctl, offset)) {
Dennis Zhouda080fe2019-12-13 16:22:13 -08002195 bytes_added = add_bytes_to_bitmap(ctl, entry, offset,
2196 bytes, trim_state);
Josef Bacik2cdc3422011-05-27 14:07:49 -04002197 bytes -= bytes_added;
2198 offset += bytes_added;
2199 }
2200 spin_unlock(&cluster->lock);
2201 if (!bytes) {
2202 ret = 1;
2203 goto out;
2204 }
2205 }
Chris Mason38e87882011-06-10 16:36:57 -04002206
2207no_cluster_bitmap:
Li Zefan34d52cb2011-03-29 13:46:06 +08002208 bitmap_info = tree_search_offset(ctl, offset_to_bitmap(ctl, offset),
Josef Bacik96303082009-07-13 21:29:25 -04002209 1, 0);
2210 if (!bitmap_info) {
Josef Bacikb12d6862013-08-26 17:14:08 -04002211 ASSERT(added == 0);
Josef Bacik96303082009-07-13 21:29:25 -04002212 goto new_bitmap;
2213 }
2214
Dennis Zhouda080fe2019-12-13 16:22:13 -08002215 bytes_added = add_bytes_to_bitmap(ctl, bitmap_info, offset, bytes,
2216 trim_state);
Josef Bacik2cdc3422011-05-27 14:07:49 -04002217 bytes -= bytes_added;
2218 offset += bytes_added;
2219 added = 0;
Josef Bacik96303082009-07-13 21:29:25 -04002220
2221 if (!bytes) {
2222 ret = 1;
2223 goto out;
2224 } else
2225 goto again;
2226
2227new_bitmap:
2228 if (info && info->bitmap) {
Li Zefan34d52cb2011-03-29 13:46:06 +08002229 add_new_bitmap(ctl, info, offset);
Josef Bacik96303082009-07-13 21:29:25 -04002230 added = 1;
2231 info = NULL;
2232 goto again;
2233 } else {
Li Zefan34d52cb2011-03-29 13:46:06 +08002234 spin_unlock(&ctl->tree_lock);
Josef Bacik96303082009-07-13 21:29:25 -04002235
2236 /* no pre-allocated info, allocate a new one */
2237 if (!info) {
Josef Bacikdc89e982011-01-28 17:05:48 -05002238 info = kmem_cache_zalloc(btrfs_free_space_cachep,
2239 GFP_NOFS);
Josef Bacik96303082009-07-13 21:29:25 -04002240 if (!info) {
Li Zefan34d52cb2011-03-29 13:46:06 +08002241 spin_lock(&ctl->tree_lock);
Josef Bacik96303082009-07-13 21:29:25 -04002242 ret = -ENOMEM;
2243 goto out;
2244 }
2245 }
2246
2247 /* allocate the bitmap */
Christophe Leroy3acd4852019-08-21 15:05:55 +00002248 info->bitmap = kmem_cache_zalloc(btrfs_free_space_bitmap_cachep,
2249 GFP_NOFS);
Dennis Zhouda080fe2019-12-13 16:22:13 -08002250 info->trim_state = BTRFS_TRIM_STATE_TRIMMED;
Li Zefan34d52cb2011-03-29 13:46:06 +08002251 spin_lock(&ctl->tree_lock);
Josef Bacik96303082009-07-13 21:29:25 -04002252 if (!info->bitmap) {
2253 ret = -ENOMEM;
2254 goto out;
2255 }
2256 goto again;
2257 }
2258
2259out:
2260 if (info) {
Christophe Leroy3acd4852019-08-21 15:05:55 +00002261 if (info->bitmap)
2262 kmem_cache_free(btrfs_free_space_bitmap_cachep,
2263 info->bitmap);
Josef Bacikdc89e982011-01-28 17:05:48 -05002264 kmem_cache_free(btrfs_free_space_cachep, info);
Josef Bacik96303082009-07-13 21:29:25 -04002265 }
Josef Bacik0f9dd462008-09-23 13:14:11 -04002266
2267 return ret;
2268}
2269
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002270/*
2271 * Free space merging rules:
2272 * 1) Merge trimmed areas together
2273 * 2) Let untrimmed areas coalesce with trimmed areas
2274 * 3) Always pull neighboring regions from bitmaps
2275 *
2276 * The above rules are for when we merge free space based on btrfs_trim_state.
2277 * Rules 2 and 3 are subtle because they are suboptimal, but are done for the
2278 * same reason: to promote larger extent regions which makes life easier for
2279 * find_free_extent(). Rule 2 enables coalescing based on the common path
2280 * being returning free space from btrfs_finish_extent_commit(). So when free
2281 * space is trimmed, it will prevent aggregating trimmed new region and
2282 * untrimmed regions in the rb_tree. Rule 3 is purely to obtain larger extents
2283 * and provide find_free_extent() with the largest extents possible hoping for
2284 * the reuse path.
2285 */
Chris Mason945d8962011-05-22 12:33:42 -04002286static bool try_merge_free_space(struct btrfs_free_space_ctl *ctl,
Li Zefanf333adb2010-11-09 14:57:39 +08002287 struct btrfs_free_space *info, bool update_stat)
Josef Bacik0f9dd462008-09-23 13:14:11 -04002288{
Li Zefan120d66e2010-11-09 14:56:50 +08002289 struct btrfs_free_space *left_info;
2290 struct btrfs_free_space *right_info;
2291 bool merged = false;
2292 u64 offset = info->offset;
2293 u64 bytes = info->bytes;
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002294 const bool is_trimmed = btrfs_free_space_trimmed(info);
Josef Bacik6226cb02009-04-03 10:14:18 -04002295
Josef Bacik0f9dd462008-09-23 13:14:11 -04002296 /*
2297 * first we want to see if there is free space adjacent to the range we
2298 * are adding, if there is remove that struct and add a new one to
2299 * cover the entire range
2300 */
Li Zefan34d52cb2011-03-29 13:46:06 +08002301 right_info = tree_search_offset(ctl, offset + bytes, 0, 0);
Josef Bacik96303082009-07-13 21:29:25 -04002302 if (right_info && rb_prev(&right_info->offset_index))
2303 left_info = rb_entry(rb_prev(&right_info->offset_index),
2304 struct btrfs_free_space, offset_index);
2305 else
Li Zefan34d52cb2011-03-29 13:46:06 +08002306 left_info = tree_search_offset(ctl, offset - 1, 0, 0);
Josef Bacik0f9dd462008-09-23 13:14:11 -04002307
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002308 /* See try_merge_free_space() comment. */
2309 if (right_info && !right_info->bitmap &&
2310 (!is_trimmed || btrfs_free_space_trimmed(right_info))) {
Li Zefanf333adb2010-11-09 14:57:39 +08002311 if (update_stat)
Li Zefan34d52cb2011-03-29 13:46:06 +08002312 unlink_free_space(ctl, right_info);
Li Zefanf333adb2010-11-09 14:57:39 +08002313 else
Li Zefan34d52cb2011-03-29 13:46:06 +08002314 __unlink_free_space(ctl, right_info);
Josef Bacik6226cb02009-04-03 10:14:18 -04002315 info->bytes += right_info->bytes;
Josef Bacikdc89e982011-01-28 17:05:48 -05002316 kmem_cache_free(btrfs_free_space_cachep, right_info);
Li Zefan120d66e2010-11-09 14:56:50 +08002317 merged = true;
Josef Bacik0f9dd462008-09-23 13:14:11 -04002318 }
2319
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002320 /* See try_merge_free_space() comment. */
Josef Bacik96303082009-07-13 21:29:25 -04002321 if (left_info && !left_info->bitmap &&
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002322 left_info->offset + left_info->bytes == offset &&
2323 (!is_trimmed || btrfs_free_space_trimmed(left_info))) {
Li Zefanf333adb2010-11-09 14:57:39 +08002324 if (update_stat)
Li Zefan34d52cb2011-03-29 13:46:06 +08002325 unlink_free_space(ctl, left_info);
Li Zefanf333adb2010-11-09 14:57:39 +08002326 else
Li Zefan34d52cb2011-03-29 13:46:06 +08002327 __unlink_free_space(ctl, left_info);
Josef Bacik6226cb02009-04-03 10:14:18 -04002328 info->offset = left_info->offset;
2329 info->bytes += left_info->bytes;
Josef Bacikdc89e982011-01-28 17:05:48 -05002330 kmem_cache_free(btrfs_free_space_cachep, left_info);
Li Zefan120d66e2010-11-09 14:56:50 +08002331 merged = true;
Josef Bacik0f9dd462008-09-23 13:14:11 -04002332 }
2333
Li Zefan120d66e2010-11-09 14:56:50 +08002334 return merged;
2335}
2336
Filipe Manana20005522014-08-29 13:35:13 +01002337static bool steal_from_bitmap_to_end(struct btrfs_free_space_ctl *ctl,
2338 struct btrfs_free_space *info,
2339 bool update_stat)
2340{
2341 struct btrfs_free_space *bitmap;
2342 unsigned long i;
2343 unsigned long j;
2344 const u64 end = info->offset + info->bytes;
2345 const u64 bitmap_offset = offset_to_bitmap(ctl, end);
2346 u64 bytes;
2347
2348 bitmap = tree_search_offset(ctl, bitmap_offset, 1, 0);
2349 if (!bitmap)
2350 return false;
2351
2352 i = offset_to_bit(bitmap->offset, ctl->unit, end);
2353 j = find_next_zero_bit(bitmap->bitmap, BITS_PER_BITMAP, i);
2354 if (j == i)
2355 return false;
2356 bytes = (j - i) * ctl->unit;
2357 info->bytes += bytes;
2358
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002359 /* See try_merge_free_space() comment. */
2360 if (!btrfs_free_space_trimmed(bitmap))
2361 info->trim_state = BTRFS_TRIM_STATE_UNTRIMMED;
2362
Filipe Manana20005522014-08-29 13:35:13 +01002363 if (update_stat)
2364 bitmap_clear_bits(ctl, bitmap, end, bytes);
2365 else
2366 __bitmap_clear_bits(ctl, bitmap, end, bytes);
2367
2368 if (!bitmap->bytes)
2369 free_bitmap(ctl, bitmap);
2370
2371 return true;
2372}
2373
2374static bool steal_from_bitmap_to_front(struct btrfs_free_space_ctl *ctl,
2375 struct btrfs_free_space *info,
2376 bool update_stat)
2377{
2378 struct btrfs_free_space *bitmap;
2379 u64 bitmap_offset;
2380 unsigned long i;
2381 unsigned long j;
2382 unsigned long prev_j;
2383 u64 bytes;
2384
2385 bitmap_offset = offset_to_bitmap(ctl, info->offset);
2386 /* If we're on a boundary, try the previous logical bitmap. */
2387 if (bitmap_offset == info->offset) {
2388 if (info->offset == 0)
2389 return false;
2390 bitmap_offset = offset_to_bitmap(ctl, info->offset - 1);
2391 }
2392
2393 bitmap = tree_search_offset(ctl, bitmap_offset, 1, 0);
2394 if (!bitmap)
2395 return false;
2396
2397 i = offset_to_bit(bitmap->offset, ctl->unit, info->offset) - 1;
2398 j = 0;
2399 prev_j = (unsigned long)-1;
2400 for_each_clear_bit_from(j, bitmap->bitmap, BITS_PER_BITMAP) {
2401 if (j > i)
2402 break;
2403 prev_j = j;
2404 }
2405 if (prev_j == i)
2406 return false;
2407
2408 if (prev_j == (unsigned long)-1)
2409 bytes = (i + 1) * ctl->unit;
2410 else
2411 bytes = (i - prev_j) * ctl->unit;
2412
2413 info->offset -= bytes;
2414 info->bytes += bytes;
2415
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002416 /* See try_merge_free_space() comment. */
2417 if (!btrfs_free_space_trimmed(bitmap))
2418 info->trim_state = BTRFS_TRIM_STATE_UNTRIMMED;
2419
Filipe Manana20005522014-08-29 13:35:13 +01002420 if (update_stat)
2421 bitmap_clear_bits(ctl, bitmap, info->offset, bytes);
2422 else
2423 __bitmap_clear_bits(ctl, bitmap, info->offset, bytes);
2424
2425 if (!bitmap->bytes)
2426 free_bitmap(ctl, bitmap);
2427
2428 return true;
2429}
2430
2431/*
2432 * We prefer always to allocate from extent entries, both for clustered and
2433 * non-clustered allocation requests. So when attempting to add a new extent
2434 * entry, try to see if there's adjacent free space in bitmap entries, and if
2435 * there is, migrate that space from the bitmaps to the extent.
2436 * Like this we get better chances of satisfying space allocation requests
2437 * because we attempt to satisfy them based on a single cache entry, and never
2438 * on 2 or more entries - even if the entries represent a contiguous free space
2439 * region (e.g. 1 extent entry + 1 bitmap entry starting where the extent entry
2440 * ends).
2441 */
2442static void steal_from_bitmap(struct btrfs_free_space_ctl *ctl,
2443 struct btrfs_free_space *info,
2444 bool update_stat)
2445{
2446 /*
2447 * Only work with disconnected entries, as we can change their offset,
2448 * and must be extent entries.
2449 */
2450 ASSERT(!info->bitmap);
2451 ASSERT(RB_EMPTY_NODE(&info->offset_index));
2452
2453 if (ctl->total_bitmaps > 0) {
2454 bool stole_end;
2455 bool stole_front = false;
2456
2457 stole_end = steal_from_bitmap_to_end(ctl, info, update_stat);
2458 if (ctl->total_bitmaps > 0)
2459 stole_front = steal_from_bitmap_to_front(ctl, info,
2460 update_stat);
2461
2462 if (stole_end || stole_front)
2463 try_merge_free_space(ctl, info, update_stat);
2464 }
2465}
2466
Jeff Mahoneyab8d0fc2016-09-20 10:05:02 -04002467int __btrfs_add_free_space(struct btrfs_fs_info *fs_info,
2468 struct btrfs_free_space_ctl *ctl,
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002469 u64 offset, u64 bytes,
2470 enum btrfs_trim_state trim_state)
Li Zefan120d66e2010-11-09 14:56:50 +08002471{
Dennis Zhoub0643e52019-12-13 16:22:14 -08002472 struct btrfs_block_group *block_group = ctl->private;
Li Zefan120d66e2010-11-09 14:56:50 +08002473 struct btrfs_free_space *info;
2474 int ret = 0;
Dennis Zhou7fe6d452020-01-02 16:26:39 -05002475 u64 filter_bytes = bytes;
Li Zefan120d66e2010-11-09 14:56:50 +08002476
Josef Bacikdc89e982011-01-28 17:05:48 -05002477 info = kmem_cache_zalloc(btrfs_free_space_cachep, GFP_NOFS);
Li Zefan120d66e2010-11-09 14:56:50 +08002478 if (!info)
2479 return -ENOMEM;
2480
2481 info->offset = offset;
2482 info->bytes = bytes;
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002483 info->trim_state = trim_state;
Filipe Manana20005522014-08-29 13:35:13 +01002484 RB_CLEAR_NODE(&info->offset_index);
Li Zefan120d66e2010-11-09 14:56:50 +08002485
Li Zefan34d52cb2011-03-29 13:46:06 +08002486 spin_lock(&ctl->tree_lock);
Li Zefan120d66e2010-11-09 14:56:50 +08002487
Li Zefan34d52cb2011-03-29 13:46:06 +08002488 if (try_merge_free_space(ctl, info, true))
Li Zefan120d66e2010-11-09 14:56:50 +08002489 goto link;
2490
2491 /*
2492 * There was no extent directly to the left or right of this new
2493 * extent then we know we're going to have to allocate a new extent, so
2494 * before we do that see if we need to drop this into a bitmap
2495 */
Li Zefan34d52cb2011-03-29 13:46:06 +08002496 ret = insert_into_bitmap(ctl, info);
Li Zefan120d66e2010-11-09 14:56:50 +08002497 if (ret < 0) {
2498 goto out;
2499 } else if (ret) {
2500 ret = 0;
2501 goto out;
2502 }
2503link:
Filipe Manana20005522014-08-29 13:35:13 +01002504 /*
2505 * Only steal free space from adjacent bitmaps if we're sure we're not
2506 * going to add the new free space to existing bitmap entries - because
2507 * that would mean unnecessary work that would be reverted. Therefore
2508 * attempt to steal space from bitmaps if we're adding an extent entry.
2509 */
2510 steal_from_bitmap(ctl, info, true);
2511
Dennis Zhou7fe6d452020-01-02 16:26:39 -05002512 filter_bytes = max(filter_bytes, info->bytes);
2513
Li Zefan34d52cb2011-03-29 13:46:06 +08002514 ret = link_free_space(ctl, info);
Josef Bacik0f9dd462008-09-23 13:14:11 -04002515 if (ret)
Josef Bacikdc89e982011-01-28 17:05:48 -05002516 kmem_cache_free(btrfs_free_space_cachep, info);
Josef Bacik96303082009-07-13 21:29:25 -04002517out:
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002518 btrfs_discard_update_discardable(block_group, ctl);
Li Zefan34d52cb2011-03-29 13:46:06 +08002519 spin_unlock(&ctl->tree_lock);
Josef Bacik6226cb02009-04-03 10:14:18 -04002520
Josef Bacik0f9dd462008-09-23 13:14:11 -04002521 if (ret) {
Jeff Mahoneyab8d0fc2016-09-20 10:05:02 -04002522 btrfs_crit(fs_info, "unable to add free space :%d", ret);
Josef Bacikb12d6862013-08-26 17:14:08 -04002523 ASSERT(ret != -EEXIST);
Josef Bacik0f9dd462008-09-23 13:14:11 -04002524 }
2525
Dennis Zhou7fe6d452020-01-02 16:26:39 -05002526 if (trim_state != BTRFS_TRIM_STATE_TRIMMED) {
2527 btrfs_discard_check_filter(block_group, filter_bytes);
Dennis Zhoub0643e52019-12-13 16:22:14 -08002528 btrfs_discard_queue_work(&fs_info->discard_ctl, block_group);
Dennis Zhou7fe6d452020-01-02 16:26:39 -05002529 }
Dennis Zhoub0643e52019-12-13 16:22:14 -08002530
Josef Bacik0f9dd462008-09-23 13:14:11 -04002531 return ret;
2532}
2533
David Sterba32da53862019-10-29 19:20:18 +01002534int btrfs_add_free_space(struct btrfs_block_group *block_group,
Josef Bacik478b4d92019-06-20 15:37:43 -04002535 u64 bytenr, u64 size)
2536{
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002537 enum btrfs_trim_state trim_state = BTRFS_TRIM_STATE_UNTRIMMED;
2538
2539 if (btrfs_test_opt(block_group->fs_info, DISCARD_SYNC))
2540 trim_state = BTRFS_TRIM_STATE_TRIMMED;
2541
Josef Bacik478b4d92019-06-20 15:37:43 -04002542 return __btrfs_add_free_space(block_group->fs_info,
2543 block_group->free_space_ctl,
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002544 bytenr, size, trim_state);
Josef Bacik478b4d92019-06-20 15:37:43 -04002545}
2546
Dennis Zhoub0643e52019-12-13 16:22:14 -08002547/*
2548 * This is a subtle distinction because when adding free space back in general,
2549 * we want it to be added as untrimmed for async. But in the case where we add
2550 * it on loading of a block group, we want to consider it trimmed.
2551 */
2552int btrfs_add_free_space_async_trimmed(struct btrfs_block_group *block_group,
2553 u64 bytenr, u64 size)
2554{
2555 enum btrfs_trim_state trim_state = BTRFS_TRIM_STATE_UNTRIMMED;
2556
2557 if (btrfs_test_opt(block_group->fs_info, DISCARD_SYNC) ||
2558 btrfs_test_opt(block_group->fs_info, DISCARD_ASYNC))
2559 trim_state = BTRFS_TRIM_STATE_TRIMMED;
2560
2561 return __btrfs_add_free_space(block_group->fs_info,
2562 block_group->free_space_ctl,
2563 bytenr, size, trim_state);
2564}
2565
David Sterba32da53862019-10-29 19:20:18 +01002566int btrfs_remove_free_space(struct btrfs_block_group *block_group,
Josef Bacik6226cb02009-04-03 10:14:18 -04002567 u64 offset, u64 bytes)
Josef Bacik0f9dd462008-09-23 13:14:11 -04002568{
Li Zefan34d52cb2011-03-29 13:46:06 +08002569 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Josef Bacik0f9dd462008-09-23 13:14:11 -04002570 struct btrfs_free_space *info;
Josef Bacikb0175112012-12-18 11:39:19 -05002571 int ret;
2572 bool re_search = false;
Josef Bacik0f9dd462008-09-23 13:14:11 -04002573
Li Zefan34d52cb2011-03-29 13:46:06 +08002574 spin_lock(&ctl->tree_lock);
Josef Bacik6226cb02009-04-03 10:14:18 -04002575
Josef Bacik96303082009-07-13 21:29:25 -04002576again:
Josef Bacikb0175112012-12-18 11:39:19 -05002577 ret = 0;
Josef Bacikbdb7d302012-06-27 15:10:56 -04002578 if (!bytes)
2579 goto out_lock;
2580
Li Zefan34d52cb2011-03-29 13:46:06 +08002581 info = tree_search_offset(ctl, offset, 0, 0);
Josef Bacik96303082009-07-13 21:29:25 -04002582 if (!info) {
Josef Bacik6606bb92009-07-31 11:03:58 -04002583 /*
2584 * oops didn't find an extent that matched the space we wanted
2585 * to remove, look for a bitmap instead
2586 */
Li Zefan34d52cb2011-03-29 13:46:06 +08002587 info = tree_search_offset(ctl, offset_to_bitmap(ctl, offset),
Josef Bacik6606bb92009-07-31 11:03:58 -04002588 1, 0);
2589 if (!info) {
Josef Bacikb0175112012-12-18 11:39:19 -05002590 /*
2591 * If we found a partial bit of our free space in a
2592 * bitmap but then couldn't find the other part this may
2593 * be a problem, so WARN about it.
Chris Mason24a70312011-11-21 09:39:11 -05002594 */
Josef Bacikb0175112012-12-18 11:39:19 -05002595 WARN_ON(re_search);
Josef Bacik6606bb92009-07-31 11:03:58 -04002596 goto out_lock;
2597 }
Josef Bacik96303082009-07-13 21:29:25 -04002598 }
2599
Josef Bacikb0175112012-12-18 11:39:19 -05002600 re_search = false;
Josef Bacikbdb7d302012-06-27 15:10:56 -04002601 if (!info->bitmap) {
Li Zefan34d52cb2011-03-29 13:46:06 +08002602 unlink_free_space(ctl, info);
Josef Bacikbdb7d302012-06-27 15:10:56 -04002603 if (offset == info->offset) {
2604 u64 to_free = min(bytes, info->bytes);
Josef Bacik0f9dd462008-09-23 13:14:11 -04002605
Josef Bacikbdb7d302012-06-27 15:10:56 -04002606 info->bytes -= to_free;
2607 info->offset += to_free;
2608 if (info->bytes) {
2609 ret = link_free_space(ctl, info);
2610 WARN_ON(ret);
2611 } else {
2612 kmem_cache_free(btrfs_free_space_cachep, info);
2613 }
Josef Bacik0f9dd462008-09-23 13:14:11 -04002614
Josef Bacikbdb7d302012-06-27 15:10:56 -04002615 offset += to_free;
2616 bytes -= to_free;
2617 goto again;
2618 } else {
2619 u64 old_end = info->bytes + info->offset;
Chris Mason9b49c9b2008-09-24 11:23:25 -04002620
Josef Bacikbdb7d302012-06-27 15:10:56 -04002621 info->bytes = offset - info->offset;
Li Zefan34d52cb2011-03-29 13:46:06 +08002622 ret = link_free_space(ctl, info);
Josef Bacik96303082009-07-13 21:29:25 -04002623 WARN_ON(ret);
2624 if (ret)
2625 goto out_lock;
Josef Bacik96303082009-07-13 21:29:25 -04002626
Josef Bacikbdb7d302012-06-27 15:10:56 -04002627 /* Not enough bytes in this entry to satisfy us */
2628 if (old_end < offset + bytes) {
2629 bytes -= old_end - offset;
2630 offset = old_end;
2631 goto again;
2632 } else if (old_end == offset + bytes) {
2633 /* all done */
2634 goto out_lock;
2635 }
2636 spin_unlock(&ctl->tree_lock);
2637
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002638 ret = __btrfs_add_free_space(block_group->fs_info, ctl,
2639 offset + bytes,
2640 old_end - (offset + bytes),
2641 info->trim_state);
Josef Bacikbdb7d302012-06-27 15:10:56 -04002642 WARN_ON(ret);
2643 goto out;
2644 }
Josef Bacik0f9dd462008-09-23 13:14:11 -04002645 }
Josef Bacik96303082009-07-13 21:29:25 -04002646
Li Zefan34d52cb2011-03-29 13:46:06 +08002647 ret = remove_from_bitmap(ctl, info, &offset, &bytes);
Josef Bacikb0175112012-12-18 11:39:19 -05002648 if (ret == -EAGAIN) {
2649 re_search = true;
Josef Bacik96303082009-07-13 21:29:25 -04002650 goto again;
Josef Bacikb0175112012-12-18 11:39:19 -05002651 }
Josef Bacik96303082009-07-13 21:29:25 -04002652out_lock:
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002653 btrfs_discard_update_discardable(block_group, ctl);
Li Zefan34d52cb2011-03-29 13:46:06 +08002654 spin_unlock(&ctl->tree_lock);
Josef Bacik0f9dd462008-09-23 13:14:11 -04002655out:
Josef Bacik25179202008-10-29 14:49:05 -04002656 return ret;
2657}
2658
David Sterba32da53862019-10-29 19:20:18 +01002659void btrfs_dump_free_space(struct btrfs_block_group *block_group,
Josef Bacik0f9dd462008-09-23 13:14:11 -04002660 u64 bytes)
2661{
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002662 struct btrfs_fs_info *fs_info = block_group->fs_info;
Li Zefan34d52cb2011-03-29 13:46:06 +08002663 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Josef Bacik0f9dd462008-09-23 13:14:11 -04002664 struct btrfs_free_space *info;
2665 struct rb_node *n;
2666 int count = 0;
2667
Filipe Manana9084cb62018-10-22 10:43:06 +01002668 spin_lock(&ctl->tree_lock);
Li Zefan34d52cb2011-03-29 13:46:06 +08002669 for (n = rb_first(&ctl->free_space_offset); n; n = rb_next(n)) {
Josef Bacik0f9dd462008-09-23 13:14:11 -04002670 info = rb_entry(n, struct btrfs_free_space, offset_index);
Liu Bof6175ef2012-07-06 03:31:36 -06002671 if (info->bytes >= bytes && !block_group->ro)
Josef Bacik0f9dd462008-09-23 13:14:11 -04002672 count++;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002673 btrfs_crit(fs_info, "entry offset %llu, bytes %llu, bitmap %s",
Frank Holtonefe120a2013-12-20 11:37:06 -05002674 info->offset, info->bytes,
Josef Bacik96303082009-07-13 21:29:25 -04002675 (info->bitmap) ? "yes" : "no");
Josef Bacik0f9dd462008-09-23 13:14:11 -04002676 }
Filipe Manana9084cb62018-10-22 10:43:06 +01002677 spin_unlock(&ctl->tree_lock);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002678 btrfs_info(fs_info, "block group has cluster?: %s",
Josef Bacik96303082009-07-13 21:29:25 -04002679 list_empty(&block_group->cluster_list) ? "no" : "yes");
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002680 btrfs_info(fs_info,
Frank Holtonefe120a2013-12-20 11:37:06 -05002681 "%d blocks of free space at or bigger than bytes is", count);
Josef Bacik0f9dd462008-09-23 13:14:11 -04002682}
2683
David Sterba32da53862019-10-29 19:20:18 +01002684void btrfs_init_free_space_ctl(struct btrfs_block_group *block_group)
Josef Bacik0f9dd462008-09-23 13:14:11 -04002685{
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002686 struct btrfs_fs_info *fs_info = block_group->fs_info;
Li Zefan34d52cb2011-03-29 13:46:06 +08002687 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Josef Bacik0f9dd462008-09-23 13:14:11 -04002688
Li Zefan34d52cb2011-03-29 13:46:06 +08002689 spin_lock_init(&ctl->tree_lock);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04002690 ctl->unit = fs_info->sectorsize;
David Sterbab3470b52019-10-23 18:48:22 +02002691 ctl->start = block_group->start;
Li Zefan34d52cb2011-03-29 13:46:06 +08002692 ctl->private = block_group;
2693 ctl->op = &free_space_op;
Filipe Manana55507ce2014-12-01 17:04:09 +00002694 INIT_LIST_HEAD(&ctl->trimming_ranges);
2695 mutex_init(&ctl->cache_writeout_mutex);
Josef Bacik0f9dd462008-09-23 13:14:11 -04002696
Li Zefan34d52cb2011-03-29 13:46:06 +08002697 /*
2698 * we only want to have 32k of ram per block group for keeping
2699 * track of free space, and if we pass 1/2 of that we want to
2700 * start converting things over to using bitmaps
2701 */
Byongho Leeee221842015-12-15 01:42:10 +09002702 ctl->extents_thresh = (SZ_32K / 2) / sizeof(struct btrfs_free_space);
Josef Bacik0f9dd462008-09-23 13:14:11 -04002703}
2704
Chris Masonfa9c0d792009-04-03 09:47:43 -04002705/*
2706 * for a given cluster, put all of its extents back into the free
2707 * space cache. If the block group passed doesn't match the block group
2708 * pointed to by the cluster, someone else raced in and freed the
2709 * cluster already. In that case, we just return without changing anything
2710 */
2711static int
2712__btrfs_return_cluster_to_free_space(
David Sterba32da53862019-10-29 19:20:18 +01002713 struct btrfs_block_group *block_group,
Chris Masonfa9c0d792009-04-03 09:47:43 -04002714 struct btrfs_free_cluster *cluster)
2715{
Li Zefan34d52cb2011-03-29 13:46:06 +08002716 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Chris Masonfa9c0d792009-04-03 09:47:43 -04002717 struct btrfs_free_space *entry;
2718 struct rb_node *node;
2719
2720 spin_lock(&cluster->lock);
2721 if (cluster->block_group != block_group)
2722 goto out;
2723
Josef Bacik96303082009-07-13 21:29:25 -04002724 cluster->block_group = NULL;
Chris Masonfa9c0d792009-04-03 09:47:43 -04002725 cluster->window_start = 0;
Josef Bacik96303082009-07-13 21:29:25 -04002726 list_del_init(&cluster->block_group_list);
Josef Bacik96303082009-07-13 21:29:25 -04002727
Chris Masonfa9c0d792009-04-03 09:47:43 -04002728 node = rb_first(&cluster->root);
Josef Bacik96303082009-07-13 21:29:25 -04002729 while (node) {
Josef Bacik4e69b592011-03-21 10:11:24 -04002730 bool bitmap;
2731
Chris Masonfa9c0d792009-04-03 09:47:43 -04002732 entry = rb_entry(node, struct btrfs_free_space, offset_index);
2733 node = rb_next(&entry->offset_index);
2734 rb_erase(&entry->offset_index, &cluster->root);
Filipe Manana20005522014-08-29 13:35:13 +01002735 RB_CLEAR_NODE(&entry->offset_index);
Josef Bacik4e69b592011-03-21 10:11:24 -04002736
2737 bitmap = (entry->bitmap != NULL);
Filipe Manana20005522014-08-29 13:35:13 +01002738 if (!bitmap) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002739 /* Merging treats extents as if they were new */
Dennis Zhou5dc7c102019-12-13 16:22:21 -08002740 if (!btrfs_free_space_trimmed(entry)) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002741 ctl->discardable_extents[BTRFS_STAT_CURR]--;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08002742 ctl->discardable_bytes[BTRFS_STAT_CURR] -=
2743 entry->bytes;
2744 }
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002745
Li Zefan34d52cb2011-03-29 13:46:06 +08002746 try_merge_free_space(ctl, entry, false);
Filipe Manana20005522014-08-29 13:35:13 +01002747 steal_from_bitmap(ctl, entry, false);
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002748
2749 /* As we insert directly, update these statistics */
Dennis Zhou5dc7c102019-12-13 16:22:21 -08002750 if (!btrfs_free_space_trimmed(entry)) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002751 ctl->discardable_extents[BTRFS_STAT_CURR]++;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08002752 ctl->discardable_bytes[BTRFS_STAT_CURR] +=
2753 entry->bytes;
2754 }
Filipe Manana20005522014-08-29 13:35:13 +01002755 }
Li Zefan34d52cb2011-03-29 13:46:06 +08002756 tree_insert_offset(&ctl->free_space_offset,
Josef Bacik4e69b592011-03-21 10:11:24 -04002757 entry->offset, &entry->offset_index, bitmap);
Chris Masonfa9c0d792009-04-03 09:47:43 -04002758 }
Eric Paris6bef4d32010-02-23 19:43:04 +00002759 cluster->root = RB_ROOT;
Josef Bacik96303082009-07-13 21:29:25 -04002760
Chris Masonfa9c0d792009-04-03 09:47:43 -04002761out:
2762 spin_unlock(&cluster->lock);
Josef Bacik96303082009-07-13 21:29:25 -04002763 btrfs_put_block_group(block_group);
Chris Masonfa9c0d792009-04-03 09:47:43 -04002764 return 0;
2765}
2766
Eric Sandeen48a3b632013-04-25 20:41:01 +00002767static void __btrfs_remove_free_space_cache_locked(
2768 struct btrfs_free_space_ctl *ctl)
Josef Bacik0f9dd462008-09-23 13:14:11 -04002769{
2770 struct btrfs_free_space *info;
2771 struct rb_node *node;
Li Zefan581bb052011-04-20 10:06:11 +08002772
Li Zefan581bb052011-04-20 10:06:11 +08002773 while ((node = rb_last(&ctl->free_space_offset)) != NULL) {
2774 info = rb_entry(node, struct btrfs_free_space, offset_index);
Josef Bacik9b90f512011-06-24 16:02:51 +00002775 if (!info->bitmap) {
2776 unlink_free_space(ctl, info);
2777 kmem_cache_free(btrfs_free_space_cachep, info);
2778 } else {
2779 free_bitmap(ctl, info);
2780 }
David Sterba351810c2015-01-08 15:20:54 +01002781
2782 cond_resched_lock(&ctl->tree_lock);
Li Zefan581bb052011-04-20 10:06:11 +08002783 }
Chris Mason09655372011-05-21 09:27:38 -04002784}
2785
2786void __btrfs_remove_free_space_cache(struct btrfs_free_space_ctl *ctl)
2787{
2788 spin_lock(&ctl->tree_lock);
2789 __btrfs_remove_free_space_cache_locked(ctl);
Dennis Zhou27f0afc2020-01-02 16:26:45 -05002790 if (ctl->private)
2791 btrfs_discard_update_discardable(ctl->private, ctl);
Li Zefan581bb052011-04-20 10:06:11 +08002792 spin_unlock(&ctl->tree_lock);
2793}
2794
David Sterba32da53862019-10-29 19:20:18 +01002795void btrfs_remove_free_space_cache(struct btrfs_block_group *block_group)
Josef Bacik0f9dd462008-09-23 13:14:11 -04002796{
Li Zefan34d52cb2011-03-29 13:46:06 +08002797 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Chris Masonfa9c0d792009-04-03 09:47:43 -04002798 struct btrfs_free_cluster *cluster;
Josef Bacik96303082009-07-13 21:29:25 -04002799 struct list_head *head;
Josef Bacik0f9dd462008-09-23 13:14:11 -04002800
Li Zefan34d52cb2011-03-29 13:46:06 +08002801 spin_lock(&ctl->tree_lock);
Josef Bacik96303082009-07-13 21:29:25 -04002802 while ((head = block_group->cluster_list.next) !=
2803 &block_group->cluster_list) {
2804 cluster = list_entry(head, struct btrfs_free_cluster,
2805 block_group_list);
Chris Masonfa9c0d792009-04-03 09:47:43 -04002806
2807 WARN_ON(cluster->block_group != block_group);
2808 __btrfs_return_cluster_to_free_space(block_group, cluster);
David Sterba351810c2015-01-08 15:20:54 +01002809
2810 cond_resched_lock(&ctl->tree_lock);
Chris Masonfa9c0d792009-04-03 09:47:43 -04002811 }
Chris Mason09655372011-05-21 09:27:38 -04002812 __btrfs_remove_free_space_cache_locked(ctl);
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002813 btrfs_discard_update_discardable(block_group, ctl);
Li Zefan34d52cb2011-03-29 13:46:06 +08002814 spin_unlock(&ctl->tree_lock);
Chris Masonfa9c0d792009-04-03 09:47:43 -04002815
Josef Bacik0f9dd462008-09-23 13:14:11 -04002816}
2817
Dennis Zhou6e80d4f2019-12-13 16:22:15 -08002818/**
2819 * btrfs_is_free_space_trimmed - see if everything is trimmed
2820 * @block_group: block_group of interest
2821 *
2822 * Walk @block_group's free space rb_tree to determine if everything is trimmed.
2823 */
2824bool btrfs_is_free_space_trimmed(struct btrfs_block_group *block_group)
2825{
2826 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
2827 struct btrfs_free_space *info;
2828 struct rb_node *node;
2829 bool ret = true;
2830
2831 spin_lock(&ctl->tree_lock);
2832 node = rb_first(&ctl->free_space_offset);
2833
2834 while (node) {
2835 info = rb_entry(node, struct btrfs_free_space, offset_index);
2836
2837 if (!btrfs_free_space_trimmed(info)) {
2838 ret = false;
2839 break;
2840 }
2841
2842 node = rb_next(node);
2843 }
2844
2845 spin_unlock(&ctl->tree_lock);
2846 return ret;
2847}
2848
David Sterba32da53862019-10-29 19:20:18 +01002849u64 btrfs_find_space_for_alloc(struct btrfs_block_group *block_group,
Miao Xiea4820392013-09-09 13:19:42 +08002850 u64 offset, u64 bytes, u64 empty_size,
2851 u64 *max_extent_size)
Josef Bacik0f9dd462008-09-23 13:14:11 -04002852{
Li Zefan34d52cb2011-03-29 13:46:06 +08002853 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Dennis Zhou9ddf6482020-01-02 16:26:41 -05002854 struct btrfs_discard_ctl *discard_ctl =
2855 &block_group->fs_info->discard_ctl;
Josef Bacik6226cb02009-04-03 10:14:18 -04002856 struct btrfs_free_space *entry = NULL;
Josef Bacik96303082009-07-13 21:29:25 -04002857 u64 bytes_search = bytes + empty_size;
Josef Bacik6226cb02009-04-03 10:14:18 -04002858 u64 ret = 0;
David Woodhouse53b381b2013-01-29 18:40:14 -05002859 u64 align_gap = 0;
2860 u64 align_gap_len = 0;
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002861 enum btrfs_trim_state align_gap_trim_state = BTRFS_TRIM_STATE_UNTRIMMED;
Josef Bacik0f9dd462008-09-23 13:14:11 -04002862
Li Zefan34d52cb2011-03-29 13:46:06 +08002863 spin_lock(&ctl->tree_lock);
David Woodhouse53b381b2013-01-29 18:40:14 -05002864 entry = find_free_space(ctl, &offset, &bytes_search,
Miao Xiea4820392013-09-09 13:19:42 +08002865 block_group->full_stripe_len, max_extent_size);
Josef Bacik6226cb02009-04-03 10:14:18 -04002866 if (!entry)
Josef Bacik96303082009-07-13 21:29:25 -04002867 goto out;
2868
2869 ret = offset;
2870 if (entry->bitmap) {
Li Zefan34d52cb2011-03-29 13:46:06 +08002871 bitmap_clear_bits(ctl, entry, offset, bytes);
Dennis Zhou9ddf6482020-01-02 16:26:41 -05002872
2873 if (!btrfs_free_space_trimmed(entry))
2874 atomic64_add(bytes, &discard_ctl->discard_bytes_saved);
2875
Li Zefanedf6e2d2010-11-09 14:50:07 +08002876 if (!entry->bytes)
Li Zefan34d52cb2011-03-29 13:46:06 +08002877 free_bitmap(ctl, entry);
Josef Bacik96303082009-07-13 21:29:25 -04002878 } else {
Li Zefan34d52cb2011-03-29 13:46:06 +08002879 unlink_free_space(ctl, entry);
David Woodhouse53b381b2013-01-29 18:40:14 -05002880 align_gap_len = offset - entry->offset;
2881 align_gap = entry->offset;
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002882 align_gap_trim_state = entry->trim_state;
David Woodhouse53b381b2013-01-29 18:40:14 -05002883
Dennis Zhou9ddf6482020-01-02 16:26:41 -05002884 if (!btrfs_free_space_trimmed(entry))
2885 atomic64_add(bytes, &discard_ctl->discard_bytes_saved);
2886
David Woodhouse53b381b2013-01-29 18:40:14 -05002887 entry->offset = offset + bytes;
2888 WARN_ON(entry->bytes < bytes + align_gap_len);
2889
2890 entry->bytes -= bytes + align_gap_len;
Josef Bacik6226cb02009-04-03 10:14:18 -04002891 if (!entry->bytes)
Josef Bacikdc89e982011-01-28 17:05:48 -05002892 kmem_cache_free(btrfs_free_space_cachep, entry);
Josef Bacik6226cb02009-04-03 10:14:18 -04002893 else
Li Zefan34d52cb2011-03-29 13:46:06 +08002894 link_free_space(ctl, entry);
Josef Bacik6226cb02009-04-03 10:14:18 -04002895 }
Josef Bacik96303082009-07-13 21:29:25 -04002896out:
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08002897 btrfs_discard_update_discardable(block_group, ctl);
Li Zefan34d52cb2011-03-29 13:46:06 +08002898 spin_unlock(&ctl->tree_lock);
Josef Bacik817d52f2009-07-13 21:29:25 -04002899
David Woodhouse53b381b2013-01-29 18:40:14 -05002900 if (align_gap_len)
Jeff Mahoneyab8d0fc2016-09-20 10:05:02 -04002901 __btrfs_add_free_space(block_group->fs_info, ctl,
Dennis Zhoua7ccb252019-12-13 16:22:12 -08002902 align_gap, align_gap_len,
2903 align_gap_trim_state);
Josef Bacik0f9dd462008-09-23 13:14:11 -04002904 return ret;
2905}
Chris Masonfa9c0d792009-04-03 09:47:43 -04002906
2907/*
2908 * given a cluster, put all of its extents back into the free space
2909 * cache. If a block group is passed, this function will only free
2910 * a cluster that belongs to the passed block group.
2911 *
2912 * Otherwise, it'll get a reference on the block group pointed to by the
2913 * cluster and remove the cluster from it.
2914 */
2915int btrfs_return_cluster_to_free_space(
David Sterba32da53862019-10-29 19:20:18 +01002916 struct btrfs_block_group *block_group,
Chris Masonfa9c0d792009-04-03 09:47:43 -04002917 struct btrfs_free_cluster *cluster)
2918{
Li Zefan34d52cb2011-03-29 13:46:06 +08002919 struct btrfs_free_space_ctl *ctl;
Chris Masonfa9c0d792009-04-03 09:47:43 -04002920 int ret;
2921
2922 /* first, get a safe pointer to the block group */
2923 spin_lock(&cluster->lock);
2924 if (!block_group) {
2925 block_group = cluster->block_group;
2926 if (!block_group) {
2927 spin_unlock(&cluster->lock);
2928 return 0;
2929 }
2930 } else if (cluster->block_group != block_group) {
2931 /* someone else has already freed it don't redo their work */
2932 spin_unlock(&cluster->lock);
2933 return 0;
2934 }
2935 atomic_inc(&block_group->count);
2936 spin_unlock(&cluster->lock);
2937
Li Zefan34d52cb2011-03-29 13:46:06 +08002938 ctl = block_group->free_space_ctl;
2939
Chris Masonfa9c0d792009-04-03 09:47:43 -04002940 /* now return any extents the cluster had on it */
Li Zefan34d52cb2011-03-29 13:46:06 +08002941 spin_lock(&ctl->tree_lock);
Chris Masonfa9c0d792009-04-03 09:47:43 -04002942 ret = __btrfs_return_cluster_to_free_space(block_group, cluster);
Li Zefan34d52cb2011-03-29 13:46:06 +08002943 spin_unlock(&ctl->tree_lock);
Chris Masonfa9c0d792009-04-03 09:47:43 -04002944
Dennis Zhou6e80d4f2019-12-13 16:22:15 -08002945 btrfs_discard_queue_work(&block_group->fs_info->discard_ctl, block_group);
2946
Chris Masonfa9c0d792009-04-03 09:47:43 -04002947 /* finally drop our ref */
2948 btrfs_put_block_group(block_group);
2949 return ret;
2950}
2951
David Sterba32da53862019-10-29 19:20:18 +01002952static u64 btrfs_alloc_from_bitmap(struct btrfs_block_group *block_group,
Josef Bacik96303082009-07-13 21:29:25 -04002953 struct btrfs_free_cluster *cluster,
Josef Bacik4e69b592011-03-21 10:11:24 -04002954 struct btrfs_free_space *entry,
Miao Xiea4820392013-09-09 13:19:42 +08002955 u64 bytes, u64 min_start,
2956 u64 *max_extent_size)
Josef Bacik96303082009-07-13 21:29:25 -04002957{
Li Zefan34d52cb2011-03-29 13:46:06 +08002958 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Josef Bacik96303082009-07-13 21:29:25 -04002959 int err;
2960 u64 search_start = cluster->window_start;
2961 u64 search_bytes = bytes;
2962 u64 ret = 0;
2963
Josef Bacik96303082009-07-13 21:29:25 -04002964 search_start = min_start;
2965 search_bytes = bytes;
2966
Josef Bacik0584f712015-10-02 16:12:23 -04002967 err = search_bitmap(ctl, entry, &search_start, &search_bytes, true);
Miao Xiea4820392013-09-09 13:19:42 +08002968 if (err) {
Josef Bacikad22cf62018-10-12 15:32:33 -04002969 *max_extent_size = max(get_max_extent_size(entry),
2970 *max_extent_size);
Josef Bacik4e69b592011-03-21 10:11:24 -04002971 return 0;
Miao Xiea4820392013-09-09 13:19:42 +08002972 }
Josef Bacik96303082009-07-13 21:29:25 -04002973
2974 ret = search_start;
Miao Xiebb3ac5a2011-08-05 09:32:35 +00002975 __bitmap_clear_bits(ctl, entry, ret, bytes);
Josef Bacik96303082009-07-13 21:29:25 -04002976
2977 return ret;
2978}
2979
Chris Masonfa9c0d792009-04-03 09:47:43 -04002980/*
2981 * given a cluster, try to allocate 'bytes' from it, returns 0
2982 * if it couldn't find anything suitably large, or a logical disk offset
2983 * if things worked out
2984 */
David Sterba32da53862019-10-29 19:20:18 +01002985u64 btrfs_alloc_from_cluster(struct btrfs_block_group *block_group,
Chris Masonfa9c0d792009-04-03 09:47:43 -04002986 struct btrfs_free_cluster *cluster, u64 bytes,
Miao Xiea4820392013-09-09 13:19:42 +08002987 u64 min_start, u64 *max_extent_size)
Chris Masonfa9c0d792009-04-03 09:47:43 -04002988{
Li Zefan34d52cb2011-03-29 13:46:06 +08002989 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Dennis Zhou9ddf6482020-01-02 16:26:41 -05002990 struct btrfs_discard_ctl *discard_ctl =
2991 &block_group->fs_info->discard_ctl;
Chris Masonfa9c0d792009-04-03 09:47:43 -04002992 struct btrfs_free_space *entry = NULL;
2993 struct rb_node *node;
2994 u64 ret = 0;
2995
2996 spin_lock(&cluster->lock);
2997 if (bytes > cluster->max_size)
2998 goto out;
2999
3000 if (cluster->block_group != block_group)
3001 goto out;
3002
3003 node = rb_first(&cluster->root);
3004 if (!node)
3005 goto out;
3006
3007 entry = rb_entry(node, struct btrfs_free_space, offset_index);
Dulshani Gunawardhana67871252013-10-31 10:33:04 +05303008 while (1) {
Josef Bacikad22cf62018-10-12 15:32:33 -04003009 if (entry->bytes < bytes)
3010 *max_extent_size = max(get_max_extent_size(entry),
3011 *max_extent_size);
Miao Xiea4820392013-09-09 13:19:42 +08003012
Josef Bacik4e69b592011-03-21 10:11:24 -04003013 if (entry->bytes < bytes ||
3014 (!entry->bitmap && entry->offset < min_start)) {
Chris Masonfa9c0d792009-04-03 09:47:43 -04003015 node = rb_next(&entry->offset_index);
3016 if (!node)
3017 break;
3018 entry = rb_entry(node, struct btrfs_free_space,
3019 offset_index);
3020 continue;
3021 }
Chris Masonfa9c0d792009-04-03 09:47:43 -04003022
Josef Bacik4e69b592011-03-21 10:11:24 -04003023 if (entry->bitmap) {
3024 ret = btrfs_alloc_from_bitmap(block_group,
3025 cluster, entry, bytes,
Miao Xiea4820392013-09-09 13:19:42 +08003026 cluster->window_start,
3027 max_extent_size);
Josef Bacik4e69b592011-03-21 10:11:24 -04003028 if (ret == 0) {
Josef Bacik4e69b592011-03-21 10:11:24 -04003029 node = rb_next(&entry->offset_index);
3030 if (!node)
3031 break;
3032 entry = rb_entry(node, struct btrfs_free_space,
3033 offset_index);
3034 continue;
3035 }
Josef Bacik9b230622012-01-26 15:01:12 -05003036 cluster->window_start += bytes;
Josef Bacik4e69b592011-03-21 10:11:24 -04003037 } else {
Josef Bacik4e69b592011-03-21 10:11:24 -04003038 ret = entry->offset;
3039
3040 entry->offset += bytes;
3041 entry->bytes -= bytes;
3042 }
Chris Masonfa9c0d792009-04-03 09:47:43 -04003043
Li Zefan5e71b5d2010-11-09 14:55:34 +08003044 if (entry->bytes == 0)
Chris Masonfa9c0d792009-04-03 09:47:43 -04003045 rb_erase(&entry->offset_index, &cluster->root);
Chris Masonfa9c0d792009-04-03 09:47:43 -04003046 break;
3047 }
3048out:
3049 spin_unlock(&cluster->lock);
Josef Bacik96303082009-07-13 21:29:25 -04003050
Li Zefan5e71b5d2010-11-09 14:55:34 +08003051 if (!ret)
3052 return 0;
3053
Li Zefan34d52cb2011-03-29 13:46:06 +08003054 spin_lock(&ctl->tree_lock);
Li Zefan5e71b5d2010-11-09 14:55:34 +08003055
Dennis Zhou9ddf6482020-01-02 16:26:41 -05003056 if (!btrfs_free_space_trimmed(entry))
3057 atomic64_add(bytes, &discard_ctl->discard_bytes_saved);
3058
Li Zefan34d52cb2011-03-29 13:46:06 +08003059 ctl->free_space -= bytes;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08003060 if (!entry->bitmap && !btrfs_free_space_trimmed(entry))
3061 ctl->discardable_bytes[BTRFS_STAT_CURR] -= bytes;
Li Zefan5e71b5d2010-11-09 14:55:34 +08003062 if (entry->bytes == 0) {
Li Zefan34d52cb2011-03-29 13:46:06 +08003063 ctl->free_extents--;
Josef Bacik4e69b592011-03-21 10:11:24 -04003064 if (entry->bitmap) {
Christophe Leroy3acd4852019-08-21 15:05:55 +00003065 kmem_cache_free(btrfs_free_space_bitmap_cachep,
3066 entry->bitmap);
Li Zefan34d52cb2011-03-29 13:46:06 +08003067 ctl->total_bitmaps--;
3068 ctl->op->recalc_thresholds(ctl);
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08003069 } else if (!btrfs_free_space_trimmed(entry)) {
3070 ctl->discardable_extents[BTRFS_STAT_CURR]--;
Josef Bacik4e69b592011-03-21 10:11:24 -04003071 }
Josef Bacikdc89e982011-01-28 17:05:48 -05003072 kmem_cache_free(btrfs_free_space_cachep, entry);
Li Zefan5e71b5d2010-11-09 14:55:34 +08003073 }
3074
Li Zefan34d52cb2011-03-29 13:46:06 +08003075 spin_unlock(&ctl->tree_lock);
Li Zefan5e71b5d2010-11-09 14:55:34 +08003076
Chris Masonfa9c0d792009-04-03 09:47:43 -04003077 return ret;
3078}
3079
David Sterba32da53862019-10-29 19:20:18 +01003080static int btrfs_bitmap_cluster(struct btrfs_block_group *block_group,
Josef Bacik96303082009-07-13 21:29:25 -04003081 struct btrfs_free_space *entry,
3082 struct btrfs_free_cluster *cluster,
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003083 u64 offset, u64 bytes,
3084 u64 cont1_bytes, u64 min_bytes)
Josef Bacik96303082009-07-13 21:29:25 -04003085{
Li Zefan34d52cb2011-03-29 13:46:06 +08003086 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Josef Bacik96303082009-07-13 21:29:25 -04003087 unsigned long next_zero;
3088 unsigned long i;
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003089 unsigned long want_bits;
3090 unsigned long min_bits;
Josef Bacik96303082009-07-13 21:29:25 -04003091 unsigned long found_bits;
Josef Bacikcef40482015-10-02 16:09:42 -04003092 unsigned long max_bits = 0;
Josef Bacik96303082009-07-13 21:29:25 -04003093 unsigned long start = 0;
3094 unsigned long total_found = 0;
Josef Bacik4e69b592011-03-21 10:11:24 -04003095 int ret;
Josef Bacik96303082009-07-13 21:29:25 -04003096
Wang Sheng-Hui96009762012-11-30 06:30:14 +00003097 i = offset_to_bit(entry->offset, ctl->unit,
Josef Bacik96303082009-07-13 21:29:25 -04003098 max_t(u64, offset, entry->offset));
Wang Sheng-Hui96009762012-11-30 06:30:14 +00003099 want_bits = bytes_to_bits(bytes, ctl->unit);
3100 min_bits = bytes_to_bits(min_bytes, ctl->unit);
Josef Bacik96303082009-07-13 21:29:25 -04003101
Josef Bacikcef40482015-10-02 16:09:42 -04003102 /*
3103 * Don't bother looking for a cluster in this bitmap if it's heavily
3104 * fragmented.
3105 */
3106 if (entry->max_extent_size &&
3107 entry->max_extent_size < cont1_bytes)
3108 return -ENOSPC;
Josef Bacik96303082009-07-13 21:29:25 -04003109again:
3110 found_bits = 0;
Wei Yongjunebb3dad2012-09-13 20:29:02 -06003111 for_each_set_bit_from(i, entry->bitmap, BITS_PER_BITMAP) {
Josef Bacik96303082009-07-13 21:29:25 -04003112 next_zero = find_next_zero_bit(entry->bitmap,
3113 BITS_PER_BITMAP, i);
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003114 if (next_zero - i >= min_bits) {
Josef Bacik96303082009-07-13 21:29:25 -04003115 found_bits = next_zero - i;
Josef Bacikcef40482015-10-02 16:09:42 -04003116 if (found_bits > max_bits)
3117 max_bits = found_bits;
Josef Bacik96303082009-07-13 21:29:25 -04003118 break;
3119 }
Josef Bacikcef40482015-10-02 16:09:42 -04003120 if (next_zero - i > max_bits)
3121 max_bits = next_zero - i;
Josef Bacik96303082009-07-13 21:29:25 -04003122 i = next_zero;
3123 }
3124
Josef Bacikcef40482015-10-02 16:09:42 -04003125 if (!found_bits) {
3126 entry->max_extent_size = (u64)max_bits * ctl->unit;
Josef Bacik4e69b592011-03-21 10:11:24 -04003127 return -ENOSPC;
Josef Bacikcef40482015-10-02 16:09:42 -04003128 }
Josef Bacik96303082009-07-13 21:29:25 -04003129
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003130 if (!total_found) {
Josef Bacik96303082009-07-13 21:29:25 -04003131 start = i;
Alexandre Olivab78d09b2011-11-30 13:43:00 -05003132 cluster->max_size = 0;
Josef Bacik96303082009-07-13 21:29:25 -04003133 }
3134
3135 total_found += found_bits;
3136
Wang Sheng-Hui96009762012-11-30 06:30:14 +00003137 if (cluster->max_size < found_bits * ctl->unit)
3138 cluster->max_size = found_bits * ctl->unit;
Josef Bacik96303082009-07-13 21:29:25 -04003139
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003140 if (total_found < want_bits || cluster->max_size < cont1_bytes) {
3141 i = next_zero + 1;
Josef Bacik96303082009-07-13 21:29:25 -04003142 goto again;
3143 }
3144
Wang Sheng-Hui96009762012-11-30 06:30:14 +00003145 cluster->window_start = start * ctl->unit + entry->offset;
Li Zefan34d52cb2011-03-29 13:46:06 +08003146 rb_erase(&entry->offset_index, &ctl->free_space_offset);
Josef Bacik4e69b592011-03-21 10:11:24 -04003147 ret = tree_insert_offset(&cluster->root, entry->offset,
3148 &entry->offset_index, 1);
Josef Bacikb12d6862013-08-26 17:14:08 -04003149 ASSERT(!ret); /* -EEXIST; Logic error */
Josef Bacik96303082009-07-13 21:29:25 -04003150
Josef Bacik3f7de032011-11-10 08:29:20 -05003151 trace_btrfs_setup_cluster(block_group, cluster,
Wang Sheng-Hui96009762012-11-30 06:30:14 +00003152 total_found * ctl->unit, 1);
Josef Bacik96303082009-07-13 21:29:25 -04003153 return 0;
3154}
3155
Chris Masonfa9c0d792009-04-03 09:47:43 -04003156/*
Josef Bacik4e69b592011-03-21 10:11:24 -04003157 * This searches the block group for just extents to fill the cluster with.
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003158 * Try to find a cluster with at least bytes total bytes, at least one
3159 * extent of cont1_bytes, and other clusters of at least min_bytes.
Josef Bacik4e69b592011-03-21 10:11:24 -04003160 */
Josef Bacik3de85bb2011-05-25 13:07:37 -04003161static noinline int
David Sterba32da53862019-10-29 19:20:18 +01003162setup_cluster_no_bitmap(struct btrfs_block_group *block_group,
Josef Bacik3de85bb2011-05-25 13:07:37 -04003163 struct btrfs_free_cluster *cluster,
3164 struct list_head *bitmaps, u64 offset, u64 bytes,
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003165 u64 cont1_bytes, u64 min_bytes)
Josef Bacik4e69b592011-03-21 10:11:24 -04003166{
Li Zefan34d52cb2011-03-29 13:46:06 +08003167 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Josef Bacik4e69b592011-03-21 10:11:24 -04003168 struct btrfs_free_space *first = NULL;
3169 struct btrfs_free_space *entry = NULL;
Josef Bacik4e69b592011-03-21 10:11:24 -04003170 struct btrfs_free_space *last;
3171 struct rb_node *node;
Josef Bacik4e69b592011-03-21 10:11:24 -04003172 u64 window_free;
3173 u64 max_extent;
Josef Bacik3f7de032011-11-10 08:29:20 -05003174 u64 total_size = 0;
Josef Bacik4e69b592011-03-21 10:11:24 -04003175
Li Zefan34d52cb2011-03-29 13:46:06 +08003176 entry = tree_search_offset(ctl, offset, 0, 1);
Josef Bacik4e69b592011-03-21 10:11:24 -04003177 if (!entry)
3178 return -ENOSPC;
3179
3180 /*
3181 * We don't want bitmaps, so just move along until we find a normal
3182 * extent entry.
3183 */
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003184 while (entry->bitmap || entry->bytes < min_bytes) {
3185 if (entry->bitmap && list_empty(&entry->list))
Josef Bacik86d4a772011-05-25 13:03:16 -04003186 list_add_tail(&entry->list, bitmaps);
Josef Bacik4e69b592011-03-21 10:11:24 -04003187 node = rb_next(&entry->offset_index);
3188 if (!node)
3189 return -ENOSPC;
3190 entry = rb_entry(node, struct btrfs_free_space, offset_index);
3191 }
3192
Josef Bacik4e69b592011-03-21 10:11:24 -04003193 window_free = entry->bytes;
3194 max_extent = entry->bytes;
3195 first = entry;
3196 last = entry;
Josef Bacik4e69b592011-03-21 10:11:24 -04003197
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003198 for (node = rb_next(&entry->offset_index); node;
3199 node = rb_next(&entry->offset_index)) {
Josef Bacik4e69b592011-03-21 10:11:24 -04003200 entry = rb_entry(node, struct btrfs_free_space, offset_index);
3201
Josef Bacik86d4a772011-05-25 13:03:16 -04003202 if (entry->bitmap) {
3203 if (list_empty(&entry->list))
3204 list_add_tail(&entry->list, bitmaps);
Josef Bacik4e69b592011-03-21 10:11:24 -04003205 continue;
Josef Bacik86d4a772011-05-25 13:03:16 -04003206 }
3207
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003208 if (entry->bytes < min_bytes)
3209 continue;
3210
3211 last = entry;
3212 window_free += entry->bytes;
3213 if (entry->bytes > max_extent)
Josef Bacik4e69b592011-03-21 10:11:24 -04003214 max_extent = entry->bytes;
Josef Bacik4e69b592011-03-21 10:11:24 -04003215 }
3216
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003217 if (window_free < bytes || max_extent < cont1_bytes)
3218 return -ENOSPC;
3219
Josef Bacik4e69b592011-03-21 10:11:24 -04003220 cluster->window_start = first->offset;
3221
3222 node = &first->offset_index;
3223
3224 /*
3225 * now we've found our entries, pull them out of the free space
3226 * cache and put them into the cluster rbtree
3227 */
3228 do {
3229 int ret;
3230
3231 entry = rb_entry(node, struct btrfs_free_space, offset_index);
3232 node = rb_next(&entry->offset_index);
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003233 if (entry->bitmap || entry->bytes < min_bytes)
Josef Bacik4e69b592011-03-21 10:11:24 -04003234 continue;
3235
Li Zefan34d52cb2011-03-29 13:46:06 +08003236 rb_erase(&entry->offset_index, &ctl->free_space_offset);
Josef Bacik4e69b592011-03-21 10:11:24 -04003237 ret = tree_insert_offset(&cluster->root, entry->offset,
3238 &entry->offset_index, 0);
Josef Bacik3f7de032011-11-10 08:29:20 -05003239 total_size += entry->bytes;
Josef Bacikb12d6862013-08-26 17:14:08 -04003240 ASSERT(!ret); /* -EEXIST; Logic error */
Josef Bacik4e69b592011-03-21 10:11:24 -04003241 } while (node && entry != last);
3242
3243 cluster->max_size = max_extent;
Josef Bacik3f7de032011-11-10 08:29:20 -05003244 trace_btrfs_setup_cluster(block_group, cluster, total_size, 0);
Josef Bacik4e69b592011-03-21 10:11:24 -04003245 return 0;
3246}
3247
3248/*
3249 * This specifically looks for bitmaps that may work in the cluster, we assume
3250 * that we have already failed to find extents that will work.
3251 */
Josef Bacik3de85bb2011-05-25 13:07:37 -04003252static noinline int
David Sterba32da53862019-10-29 19:20:18 +01003253setup_cluster_bitmap(struct btrfs_block_group *block_group,
Josef Bacik3de85bb2011-05-25 13:07:37 -04003254 struct btrfs_free_cluster *cluster,
3255 struct list_head *bitmaps, u64 offset, u64 bytes,
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003256 u64 cont1_bytes, u64 min_bytes)
Josef Bacik4e69b592011-03-21 10:11:24 -04003257{
Li Zefan34d52cb2011-03-29 13:46:06 +08003258 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Chris Mason1b9b9222015-12-15 07:15:32 -08003259 struct btrfs_free_space *entry = NULL;
Josef Bacik4e69b592011-03-21 10:11:24 -04003260 int ret = -ENOSPC;
Li Zefan0f0fbf12011-11-20 07:33:38 -05003261 u64 bitmap_offset = offset_to_bitmap(ctl, offset);
Josef Bacik4e69b592011-03-21 10:11:24 -04003262
Li Zefan34d52cb2011-03-29 13:46:06 +08003263 if (ctl->total_bitmaps == 0)
Josef Bacik4e69b592011-03-21 10:11:24 -04003264 return -ENOSPC;
3265
Josef Bacik86d4a772011-05-25 13:03:16 -04003266 /*
Li Zefan0f0fbf12011-11-20 07:33:38 -05003267 * The bitmap that covers offset won't be in the list unless offset
3268 * is just its start offset.
3269 */
Chris Mason1b9b9222015-12-15 07:15:32 -08003270 if (!list_empty(bitmaps))
3271 entry = list_first_entry(bitmaps, struct btrfs_free_space, list);
3272
3273 if (!entry || entry->offset != bitmap_offset) {
Li Zefan0f0fbf12011-11-20 07:33:38 -05003274 entry = tree_search_offset(ctl, bitmap_offset, 1, 0);
3275 if (entry && list_empty(&entry->list))
3276 list_add(&entry->list, bitmaps);
3277 }
3278
Josef Bacik86d4a772011-05-25 13:03:16 -04003279 list_for_each_entry(entry, bitmaps, list) {
Josef Bacik357b9782012-01-26 15:01:11 -05003280 if (entry->bytes < bytes)
Josef Bacik86d4a772011-05-25 13:03:16 -04003281 continue;
3282 ret = btrfs_bitmap_cluster(block_group, entry, cluster, offset,
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003283 bytes, cont1_bytes, min_bytes);
Josef Bacik86d4a772011-05-25 13:03:16 -04003284 if (!ret)
3285 return 0;
3286 }
3287
3288 /*
Li Zefan52621cb2011-11-20 07:33:38 -05003289 * The bitmaps list has all the bitmaps that record free space
3290 * starting after offset, so no more search is required.
Josef Bacik86d4a772011-05-25 13:03:16 -04003291 */
Li Zefan52621cb2011-11-20 07:33:38 -05003292 return -ENOSPC;
Josef Bacik4e69b592011-03-21 10:11:24 -04003293}
3294
3295/*
Chris Masonfa9c0d792009-04-03 09:47:43 -04003296 * here we try to find a cluster of blocks in a block group. The goal
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003297 * is to find at least bytes+empty_size.
Chris Masonfa9c0d792009-04-03 09:47:43 -04003298 * We might not find them all in one contiguous area.
3299 *
3300 * returns zero and sets up cluster if things worked out, otherwise
3301 * it returns -enospc
3302 */
David Sterba32da53862019-10-29 19:20:18 +01003303int btrfs_find_space_cluster(struct btrfs_block_group *block_group,
Chris Masonfa9c0d792009-04-03 09:47:43 -04003304 struct btrfs_free_cluster *cluster,
3305 u64 offset, u64 bytes, u64 empty_size)
3306{
David Sterba2ceeae22019-03-20 13:53:49 +01003307 struct btrfs_fs_info *fs_info = block_group->fs_info;
Li Zefan34d52cb2011-03-29 13:46:06 +08003308 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Josef Bacik86d4a772011-05-25 13:03:16 -04003309 struct btrfs_free_space *entry, *tmp;
Li Zefan52621cb2011-11-20 07:33:38 -05003310 LIST_HEAD(bitmaps);
Chris Masonfa9c0d792009-04-03 09:47:43 -04003311 u64 min_bytes;
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003312 u64 cont1_bytes;
Chris Masonfa9c0d792009-04-03 09:47:43 -04003313 int ret;
3314
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003315 /*
3316 * Choose the minimum extent size we'll require for this
3317 * cluster. For SSD_SPREAD, don't allow any fragmentation.
3318 * For metadata, allow allocates with smaller extents. For
3319 * data, keep it dense.
3320 */
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003321 if (btrfs_test_opt(fs_info, SSD_SPREAD)) {
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003322 cont1_bytes = min_bytes = bytes + empty_size;
Chris Mason451d7582009-06-09 20:28:34 -04003323 } else if (block_group->flags & BTRFS_BLOCK_GROUP_METADATA) {
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003324 cont1_bytes = bytes;
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003325 min_bytes = fs_info->sectorsize;
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003326 } else {
3327 cont1_bytes = max(bytes, (bytes + empty_size) >> 2);
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003328 min_bytes = fs_info->sectorsize;
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003329 }
Chris Masonfa9c0d792009-04-03 09:47:43 -04003330
Li Zefan34d52cb2011-03-29 13:46:06 +08003331 spin_lock(&ctl->tree_lock);
Josef Bacik7d0d2e82011-03-18 15:13:42 -04003332
3333 /*
3334 * If we know we don't have enough space to make a cluster don't even
3335 * bother doing all the work to try and find one.
3336 */
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003337 if (ctl->free_space < bytes) {
Li Zefan34d52cb2011-03-29 13:46:06 +08003338 spin_unlock(&ctl->tree_lock);
Josef Bacik7d0d2e82011-03-18 15:13:42 -04003339 return -ENOSPC;
3340 }
3341
Chris Masonfa9c0d792009-04-03 09:47:43 -04003342 spin_lock(&cluster->lock);
3343
3344 /* someone already found a cluster, hooray */
3345 if (cluster->block_group) {
3346 ret = 0;
3347 goto out;
3348 }
Josef Bacik4e69b592011-03-21 10:11:24 -04003349
Josef Bacik3f7de032011-11-10 08:29:20 -05003350 trace_btrfs_find_cluster(block_group, offset, bytes, empty_size,
3351 min_bytes);
3352
Josef Bacik86d4a772011-05-25 13:03:16 -04003353 ret = setup_cluster_no_bitmap(block_group, cluster, &bitmaps, offset,
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003354 bytes + empty_size,
3355 cont1_bytes, min_bytes);
Josef Bacik4e69b592011-03-21 10:11:24 -04003356 if (ret)
Josef Bacik86d4a772011-05-25 13:03:16 -04003357 ret = setup_cluster_bitmap(block_group, cluster, &bitmaps,
Alexandre Oliva1bb91902011-10-14 12:10:36 -03003358 offset, bytes + empty_size,
3359 cont1_bytes, min_bytes);
Josef Bacik86d4a772011-05-25 13:03:16 -04003360
3361 /* Clear our temporary list */
3362 list_for_each_entry_safe(entry, tmp, &bitmaps, list)
3363 list_del_init(&entry->list);
Josef Bacik4e69b592011-03-21 10:11:24 -04003364
3365 if (!ret) {
3366 atomic_inc(&block_group->count);
3367 list_add_tail(&cluster->block_group_list,
3368 &block_group->cluster_list);
3369 cluster->block_group = block_group;
Josef Bacik3f7de032011-11-10 08:29:20 -05003370 } else {
3371 trace_btrfs_failed_cluster_setup(block_group);
Chris Masonfa9c0d792009-04-03 09:47:43 -04003372 }
Chris Masonfa9c0d792009-04-03 09:47:43 -04003373out:
3374 spin_unlock(&cluster->lock);
Li Zefan34d52cb2011-03-29 13:46:06 +08003375 spin_unlock(&ctl->tree_lock);
Chris Masonfa9c0d792009-04-03 09:47:43 -04003376
3377 return ret;
3378}
3379
3380/*
3381 * simple code to zero out a cluster
3382 */
3383void btrfs_init_free_cluster(struct btrfs_free_cluster *cluster)
3384{
3385 spin_lock_init(&cluster->lock);
3386 spin_lock_init(&cluster->refill_lock);
Eric Paris6bef4d32010-02-23 19:43:04 +00003387 cluster->root = RB_ROOT;
Chris Masonfa9c0d792009-04-03 09:47:43 -04003388 cluster->max_size = 0;
Josef Bacikc759c4e2015-10-02 15:25:10 -04003389 cluster->fragmented = false;
Chris Masonfa9c0d792009-04-03 09:47:43 -04003390 INIT_LIST_HEAD(&cluster->block_group_list);
3391 cluster->block_group = NULL;
3392}
3393
David Sterba32da53862019-10-29 19:20:18 +01003394static int do_trimming(struct btrfs_block_group *block_group,
Li Zefan7fe1e642011-12-29 14:47:27 +08003395 u64 *total_trimmed, u64 start, u64 bytes,
Filipe Manana55507ce2014-12-01 17:04:09 +00003396 u64 reserved_start, u64 reserved_bytes,
Dennis Zhoub0643e52019-12-13 16:22:14 -08003397 enum btrfs_trim_state reserved_trim_state,
Filipe Manana55507ce2014-12-01 17:04:09 +00003398 struct btrfs_trim_range *trim_entry)
Li Zefan7fe1e642011-12-29 14:47:27 +08003399{
3400 struct btrfs_space_info *space_info = block_group->space_info;
3401 struct btrfs_fs_info *fs_info = block_group->fs_info;
Filipe Manana55507ce2014-12-01 17:04:09 +00003402 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Li Zefan7fe1e642011-12-29 14:47:27 +08003403 int ret;
3404 int update = 0;
Dennis Zhoub0643e52019-12-13 16:22:14 -08003405 const u64 end = start + bytes;
3406 const u64 reserved_end = reserved_start + reserved_bytes;
3407 enum btrfs_trim_state trim_state = BTRFS_TRIM_STATE_UNTRIMMED;
Li Zefan7fe1e642011-12-29 14:47:27 +08003408 u64 trimmed = 0;
3409
3410 spin_lock(&space_info->lock);
3411 spin_lock(&block_group->lock);
3412 if (!block_group->ro) {
3413 block_group->reserved += reserved_bytes;
3414 space_info->bytes_reserved += reserved_bytes;
3415 update = 1;
3416 }
3417 spin_unlock(&block_group->lock);
3418 spin_unlock(&space_info->lock);
3419
Jeff Mahoney2ff7e612016-06-22 18:54:24 -04003420 ret = btrfs_discard_extent(fs_info, start, bytes, &trimmed);
Dennis Zhoub0643e52019-12-13 16:22:14 -08003421 if (!ret) {
Li Zefan7fe1e642011-12-29 14:47:27 +08003422 *total_trimmed += trimmed;
Dennis Zhoub0643e52019-12-13 16:22:14 -08003423 trim_state = BTRFS_TRIM_STATE_TRIMMED;
3424 }
Li Zefan7fe1e642011-12-29 14:47:27 +08003425
Filipe Manana55507ce2014-12-01 17:04:09 +00003426 mutex_lock(&ctl->cache_writeout_mutex);
Dennis Zhoub0643e52019-12-13 16:22:14 -08003427 if (reserved_start < start)
3428 __btrfs_add_free_space(fs_info, ctl, reserved_start,
3429 start - reserved_start,
3430 reserved_trim_state);
3431 if (start + bytes < reserved_start + reserved_bytes)
3432 __btrfs_add_free_space(fs_info, ctl, end, reserved_end - end,
3433 reserved_trim_state);
3434 __btrfs_add_free_space(fs_info, ctl, start, bytes, trim_state);
Filipe Manana55507ce2014-12-01 17:04:09 +00003435 list_del(&trim_entry->list);
3436 mutex_unlock(&ctl->cache_writeout_mutex);
Li Zefan7fe1e642011-12-29 14:47:27 +08003437
3438 if (update) {
3439 spin_lock(&space_info->lock);
3440 spin_lock(&block_group->lock);
3441 if (block_group->ro)
3442 space_info->bytes_readonly += reserved_bytes;
3443 block_group->reserved -= reserved_bytes;
3444 space_info->bytes_reserved -= reserved_bytes;
Li Zefan7fe1e642011-12-29 14:47:27 +08003445 spin_unlock(&block_group->lock);
Su Yue8f63a842018-11-28 11:21:12 +08003446 spin_unlock(&space_info->lock);
Li Zefan7fe1e642011-12-29 14:47:27 +08003447 }
3448
3449 return ret;
3450}
3451
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003452/*
3453 * If @async is set, then we will trim 1 region and return.
3454 */
David Sterba32da53862019-10-29 19:20:18 +01003455static int trim_no_bitmap(struct btrfs_block_group *block_group,
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003456 u64 *total_trimmed, u64 start, u64 end, u64 minlen,
3457 bool async)
Li Dongyangf7039b12011-03-24 10:24:28 +00003458{
Dennis Zhou19b2a2c2020-01-02 16:26:38 -05003459 struct btrfs_discard_ctl *discard_ctl =
3460 &block_group->fs_info->discard_ctl;
Li Zefan34d52cb2011-03-29 13:46:06 +08003461 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Li Zefan7fe1e642011-12-29 14:47:27 +08003462 struct btrfs_free_space *entry;
3463 struct rb_node *node;
Li Dongyangf7039b12011-03-24 10:24:28 +00003464 int ret = 0;
Li Zefan7fe1e642011-12-29 14:47:27 +08003465 u64 extent_start;
3466 u64 extent_bytes;
Dennis Zhoub0643e52019-12-13 16:22:14 -08003467 enum btrfs_trim_state extent_trim_state;
Li Zefan7fe1e642011-12-29 14:47:27 +08003468 u64 bytes;
Dennis Zhou19b2a2c2020-01-02 16:26:38 -05003469 const u64 max_discard_size = READ_ONCE(discard_ctl->max_discard_size);
Li Dongyangf7039b12011-03-24 10:24:28 +00003470
3471 while (start < end) {
Filipe Manana55507ce2014-12-01 17:04:09 +00003472 struct btrfs_trim_range trim_entry;
3473
3474 mutex_lock(&ctl->cache_writeout_mutex);
Li Zefan34d52cb2011-03-29 13:46:06 +08003475 spin_lock(&ctl->tree_lock);
Li Dongyangf7039b12011-03-24 10:24:28 +00003476
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003477 if (ctl->free_space < minlen)
3478 goto out_unlock;
Li Dongyangf7039b12011-03-24 10:24:28 +00003479
Li Zefan34d52cb2011-03-29 13:46:06 +08003480 entry = tree_search_offset(ctl, start, 0, 1);
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003481 if (!entry)
3482 goto out_unlock;
Li Dongyangf7039b12011-03-24 10:24:28 +00003483
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003484 /* Skip bitmaps and if async, already trimmed entries */
3485 while (entry->bitmap ||
3486 (async && btrfs_free_space_trimmed(entry))) {
Li Zefan7fe1e642011-12-29 14:47:27 +08003487 node = rb_next(&entry->offset_index);
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003488 if (!node)
3489 goto out_unlock;
Li Zefan7fe1e642011-12-29 14:47:27 +08003490 entry = rb_entry(node, struct btrfs_free_space,
3491 offset_index);
Li Dongyangf7039b12011-03-24 10:24:28 +00003492 }
3493
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003494 if (entry->offset >= end)
3495 goto out_unlock;
Li Zefan7fe1e642011-12-29 14:47:27 +08003496
3497 extent_start = entry->offset;
3498 extent_bytes = entry->bytes;
Dennis Zhoub0643e52019-12-13 16:22:14 -08003499 extent_trim_state = entry->trim_state;
Dennis Zhou4aa9ad52020-01-02 16:26:37 -05003500 if (async) {
3501 start = entry->offset;
3502 bytes = entry->bytes;
3503 if (bytes < minlen) {
3504 spin_unlock(&ctl->tree_lock);
3505 mutex_unlock(&ctl->cache_writeout_mutex);
3506 goto next;
3507 }
3508 unlink_free_space(ctl, entry);
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003509 /*
3510 * Let bytes = BTRFS_MAX_DISCARD_SIZE + X.
3511 * If X < BTRFS_ASYNC_DISCARD_MIN_FILTER, we won't trim
3512 * X when we come back around. So trim it now.
3513 */
3514 if (max_discard_size &&
3515 bytes >= (max_discard_size +
3516 BTRFS_ASYNC_DISCARD_MIN_FILTER)) {
Dennis Zhou19b2a2c2020-01-02 16:26:38 -05003517 bytes = max_discard_size;
3518 extent_bytes = max_discard_size;
3519 entry->offset += max_discard_size;
3520 entry->bytes -= max_discard_size;
Dennis Zhou4aa9ad52020-01-02 16:26:37 -05003521 link_free_space(ctl, entry);
3522 } else {
3523 kmem_cache_free(btrfs_free_space_cachep, entry);
3524 }
3525 } else {
3526 start = max(start, extent_start);
3527 bytes = min(extent_start + extent_bytes, end) - start;
3528 if (bytes < minlen) {
3529 spin_unlock(&ctl->tree_lock);
3530 mutex_unlock(&ctl->cache_writeout_mutex);
3531 goto next;
3532 }
Li Zefan7fe1e642011-12-29 14:47:27 +08003533
Dennis Zhou4aa9ad52020-01-02 16:26:37 -05003534 unlink_free_space(ctl, entry);
3535 kmem_cache_free(btrfs_free_space_cachep, entry);
3536 }
Li Zefan7fe1e642011-12-29 14:47:27 +08003537
Li Zefan34d52cb2011-03-29 13:46:06 +08003538 spin_unlock(&ctl->tree_lock);
Filipe Manana55507ce2014-12-01 17:04:09 +00003539 trim_entry.start = extent_start;
3540 trim_entry.bytes = extent_bytes;
3541 list_add_tail(&trim_entry.list, &ctl->trimming_ranges);
3542 mutex_unlock(&ctl->cache_writeout_mutex);
Li Dongyangf7039b12011-03-24 10:24:28 +00003543
Li Zefan7fe1e642011-12-29 14:47:27 +08003544 ret = do_trimming(block_group, total_trimmed, start, bytes,
Dennis Zhoub0643e52019-12-13 16:22:14 -08003545 extent_start, extent_bytes, extent_trim_state,
3546 &trim_entry);
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003547 if (ret) {
3548 block_group->discard_cursor = start + bytes;
Li Zefan7fe1e642011-12-29 14:47:27 +08003549 break;
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003550 }
Li Zefan7fe1e642011-12-29 14:47:27 +08003551next:
Li Dongyangf7039b12011-03-24 10:24:28 +00003552 start += bytes;
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003553 block_group->discard_cursor = start;
3554 if (async && *total_trimmed)
3555 break;
Li Dongyangf7039b12011-03-24 10:24:28 +00003556
3557 if (fatal_signal_pending(current)) {
3558 ret = -ERESTARTSYS;
3559 break;
3560 }
3561
3562 cond_resched();
3563 }
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003564
3565 return ret;
3566
3567out_unlock:
3568 block_group->discard_cursor = btrfs_block_group_end(block_group);
3569 spin_unlock(&ctl->tree_lock);
3570 mutex_unlock(&ctl->cache_writeout_mutex);
3571
Li Zefan7fe1e642011-12-29 14:47:27 +08003572 return ret;
3573}
3574
Dennis Zhouda080fe2019-12-13 16:22:13 -08003575/*
3576 * If we break out of trimming a bitmap prematurely, we should reset the
3577 * trimming bit. In a rather contrieved case, it's possible to race here so
3578 * reset the state to BTRFS_TRIM_STATE_UNTRIMMED.
3579 *
3580 * start = start of bitmap
3581 * end = near end of bitmap
3582 *
3583 * Thread 1: Thread 2:
3584 * trim_bitmaps(start)
3585 * trim_bitmaps(end)
3586 * end_trimming_bitmap()
3587 * reset_trimming_bitmap()
3588 */
3589static void reset_trimming_bitmap(struct btrfs_free_space_ctl *ctl, u64 offset)
3590{
3591 struct btrfs_free_space *entry;
3592
3593 spin_lock(&ctl->tree_lock);
3594 entry = tree_search_offset(ctl, offset, 1, 0);
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08003595 if (entry) {
Dennis Zhou5dc7c102019-12-13 16:22:21 -08003596 if (btrfs_free_space_trimmed(entry)) {
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08003597 ctl->discardable_extents[BTRFS_STAT_CURR] +=
3598 entry->bitmap_extents;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08003599 ctl->discardable_bytes[BTRFS_STAT_CURR] += entry->bytes;
3600 }
Dennis Zhouda080fe2019-12-13 16:22:13 -08003601 entry->trim_state = BTRFS_TRIM_STATE_UNTRIMMED;
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08003602 }
3603
Dennis Zhouda080fe2019-12-13 16:22:13 -08003604 spin_unlock(&ctl->tree_lock);
3605}
3606
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08003607static void end_trimming_bitmap(struct btrfs_free_space_ctl *ctl,
3608 struct btrfs_free_space *entry)
Dennis Zhouda080fe2019-12-13 16:22:13 -08003609{
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08003610 if (btrfs_free_space_trimming_bitmap(entry)) {
Dennis Zhouda080fe2019-12-13 16:22:13 -08003611 entry->trim_state = BTRFS_TRIM_STATE_TRIMMED;
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08003612 ctl->discardable_extents[BTRFS_STAT_CURR] -=
3613 entry->bitmap_extents;
Dennis Zhou5dc7c102019-12-13 16:22:21 -08003614 ctl->discardable_bytes[BTRFS_STAT_CURR] -= entry->bytes;
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08003615 }
Dennis Zhouda080fe2019-12-13 16:22:13 -08003616}
3617
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003618/*
3619 * If @async is set, then we will trim 1 region and return.
3620 */
David Sterba32da53862019-10-29 19:20:18 +01003621static int trim_bitmaps(struct btrfs_block_group *block_group,
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003622 u64 *total_trimmed, u64 start, u64 end, u64 minlen,
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003623 u64 maxlen, bool async)
Li Zefan7fe1e642011-12-29 14:47:27 +08003624{
Dennis Zhou19b2a2c2020-01-02 16:26:38 -05003625 struct btrfs_discard_ctl *discard_ctl =
3626 &block_group->fs_info->discard_ctl;
Li Zefan7fe1e642011-12-29 14:47:27 +08003627 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
3628 struct btrfs_free_space *entry;
3629 int ret = 0;
3630 int ret2;
3631 u64 bytes;
3632 u64 offset = offset_to_bitmap(ctl, start);
Dennis Zhou19b2a2c2020-01-02 16:26:38 -05003633 const u64 max_discard_size = READ_ONCE(discard_ctl->max_discard_size);
Li Zefan7fe1e642011-12-29 14:47:27 +08003634
3635 while (offset < end) {
3636 bool next_bitmap = false;
Filipe Manana55507ce2014-12-01 17:04:09 +00003637 struct btrfs_trim_range trim_entry;
Li Zefan7fe1e642011-12-29 14:47:27 +08003638
Filipe Manana55507ce2014-12-01 17:04:09 +00003639 mutex_lock(&ctl->cache_writeout_mutex);
Li Zefan7fe1e642011-12-29 14:47:27 +08003640 spin_lock(&ctl->tree_lock);
3641
3642 if (ctl->free_space < minlen) {
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003643 block_group->discard_cursor =
3644 btrfs_block_group_end(block_group);
Li Zefan7fe1e642011-12-29 14:47:27 +08003645 spin_unlock(&ctl->tree_lock);
Filipe Manana55507ce2014-12-01 17:04:09 +00003646 mutex_unlock(&ctl->cache_writeout_mutex);
Li Zefan7fe1e642011-12-29 14:47:27 +08003647 break;
3648 }
3649
3650 entry = tree_search_offset(ctl, offset, 1, 0);
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003651 /*
3652 * Bitmaps are marked trimmed lossily now to prevent constant
3653 * discarding of the same bitmap (the reason why we are bound
3654 * by the filters). So, retrim the block group bitmaps when we
3655 * are preparing to punt to the unused_bgs list. This uses
3656 * @minlen to determine if we are in BTRFS_DISCARD_INDEX_UNUSED
3657 * which is the only discard index which sets minlen to 0.
3658 */
3659 if (!entry || (async && minlen && start == offset &&
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003660 btrfs_free_space_trimmed(entry))) {
Li Zefan7fe1e642011-12-29 14:47:27 +08003661 spin_unlock(&ctl->tree_lock);
Filipe Manana55507ce2014-12-01 17:04:09 +00003662 mutex_unlock(&ctl->cache_writeout_mutex);
Li Zefan7fe1e642011-12-29 14:47:27 +08003663 next_bitmap = true;
3664 goto next;
3665 }
3666
Dennis Zhouda080fe2019-12-13 16:22:13 -08003667 /*
3668 * Async discard bitmap trimming begins at by setting the start
3669 * to be key.objectid and the offset_to_bitmap() aligns to the
3670 * start of the bitmap. This lets us know we are fully
3671 * scanning the bitmap rather than only some portion of it.
3672 */
3673 if (start == offset)
3674 entry->trim_state = BTRFS_TRIM_STATE_TRIMMING;
3675
Li Zefan7fe1e642011-12-29 14:47:27 +08003676 bytes = minlen;
Josef Bacik0584f712015-10-02 16:12:23 -04003677 ret2 = search_bitmap(ctl, entry, &start, &bytes, false);
Li Zefan7fe1e642011-12-29 14:47:27 +08003678 if (ret2 || start >= end) {
Dennis Zhouda080fe2019-12-13 16:22:13 -08003679 /*
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003680 * We lossily consider a bitmap trimmed if we only skip
3681 * over regions <= BTRFS_ASYNC_DISCARD_MIN_FILTER.
Dennis Zhouda080fe2019-12-13 16:22:13 -08003682 */
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003683 if (ret2 && minlen <= BTRFS_ASYNC_DISCARD_MIN_FILTER)
Dennis Zhoudfb79dd2019-12-13 16:22:20 -08003684 end_trimming_bitmap(ctl, entry);
Dennis Zhouda080fe2019-12-13 16:22:13 -08003685 else
3686 entry->trim_state = BTRFS_TRIM_STATE_UNTRIMMED;
Li Zefan7fe1e642011-12-29 14:47:27 +08003687 spin_unlock(&ctl->tree_lock);
Filipe Manana55507ce2014-12-01 17:04:09 +00003688 mutex_unlock(&ctl->cache_writeout_mutex);
Li Zefan7fe1e642011-12-29 14:47:27 +08003689 next_bitmap = true;
3690 goto next;
3691 }
3692
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003693 /*
3694 * We already trimmed a region, but are using the locking above
3695 * to reset the trim_state.
3696 */
3697 if (async && *total_trimmed) {
3698 spin_unlock(&ctl->tree_lock);
3699 mutex_unlock(&ctl->cache_writeout_mutex);
3700 goto out;
3701 }
3702
Li Zefan7fe1e642011-12-29 14:47:27 +08003703 bytes = min(bytes, end - start);
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003704 if (bytes < minlen || (async && maxlen && bytes > maxlen)) {
Li Zefan7fe1e642011-12-29 14:47:27 +08003705 spin_unlock(&ctl->tree_lock);
Filipe Manana55507ce2014-12-01 17:04:09 +00003706 mutex_unlock(&ctl->cache_writeout_mutex);
Li Zefan7fe1e642011-12-29 14:47:27 +08003707 goto next;
3708 }
3709
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003710 /*
3711 * Let bytes = BTRFS_MAX_DISCARD_SIZE + X.
3712 * If X < @minlen, we won't trim X when we come back around.
3713 * So trim it now. We differ here from trimming extents as we
3714 * don't keep individual state per bit.
3715 */
3716 if (async &&
3717 max_discard_size &&
3718 bytes > (max_discard_size + minlen))
Dennis Zhou19b2a2c2020-01-02 16:26:38 -05003719 bytes = max_discard_size;
Dennis Zhou4aa9ad52020-01-02 16:26:37 -05003720
Li Zefan7fe1e642011-12-29 14:47:27 +08003721 bitmap_clear_bits(ctl, entry, start, bytes);
3722 if (entry->bytes == 0)
3723 free_bitmap(ctl, entry);
3724
3725 spin_unlock(&ctl->tree_lock);
Filipe Manana55507ce2014-12-01 17:04:09 +00003726 trim_entry.start = start;
3727 trim_entry.bytes = bytes;
3728 list_add_tail(&trim_entry.list, &ctl->trimming_ranges);
3729 mutex_unlock(&ctl->cache_writeout_mutex);
Li Zefan7fe1e642011-12-29 14:47:27 +08003730
3731 ret = do_trimming(block_group, total_trimmed, start, bytes,
Dennis Zhoub0643e52019-12-13 16:22:14 -08003732 start, bytes, 0, &trim_entry);
Dennis Zhouda080fe2019-12-13 16:22:13 -08003733 if (ret) {
3734 reset_trimming_bitmap(ctl, offset);
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003735 block_group->discard_cursor =
3736 btrfs_block_group_end(block_group);
Li Zefan7fe1e642011-12-29 14:47:27 +08003737 break;
Dennis Zhouda080fe2019-12-13 16:22:13 -08003738 }
Li Zefan7fe1e642011-12-29 14:47:27 +08003739next:
3740 if (next_bitmap) {
3741 offset += BITS_PER_BITMAP * ctl->unit;
Dennis Zhouda080fe2019-12-13 16:22:13 -08003742 start = offset;
Li Zefan7fe1e642011-12-29 14:47:27 +08003743 } else {
3744 start += bytes;
Li Zefan7fe1e642011-12-29 14:47:27 +08003745 }
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003746 block_group->discard_cursor = start;
Li Zefan7fe1e642011-12-29 14:47:27 +08003747
3748 if (fatal_signal_pending(current)) {
Dennis Zhouda080fe2019-12-13 16:22:13 -08003749 if (start != offset)
3750 reset_trimming_bitmap(ctl, offset);
Li Zefan7fe1e642011-12-29 14:47:27 +08003751 ret = -ERESTARTSYS;
3752 break;
3753 }
3754
3755 cond_resched();
3756 }
3757
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003758 if (offset >= end)
3759 block_group->discard_cursor = end;
3760
3761out:
Li Zefan7fe1e642011-12-29 14:47:27 +08003762 return ret;
3763}
3764
Filipe Manana6b7304a2020-05-08 11:01:47 +01003765void btrfs_freeze_block_group(struct btrfs_block_group *cache)
Li Zefan7fe1e642011-12-29 14:47:27 +08003766{
Filipe Manana6b7304a2020-05-08 11:01:47 +01003767 atomic_inc(&cache->frozen);
Jeff Mahoneye33e17e2015-06-15 09:41:19 -04003768}
Li Zefan7fe1e642011-12-29 14:47:27 +08003769
Filipe Manana6b7304a2020-05-08 11:01:47 +01003770void btrfs_unfreeze_block_group(struct btrfs_block_group *block_group)
Jeff Mahoneye33e17e2015-06-15 09:41:19 -04003771{
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003772 struct btrfs_fs_info *fs_info = block_group->fs_info;
Jeff Mahoneye33e17e2015-06-15 09:41:19 -04003773 struct extent_map_tree *em_tree;
3774 struct extent_map *em;
3775 bool cleanup;
Li Zefan7fe1e642011-12-29 14:47:27 +08003776
Filipe Manana04216822014-11-27 21:14:15 +00003777 spin_lock(&block_group->lock);
Filipe Manana6b7304a2020-05-08 11:01:47 +01003778 cleanup = (atomic_dec_and_test(&block_group->frozen) &&
Jeff Mahoneye33e17e2015-06-15 09:41:19 -04003779 block_group->removed);
Filipe Manana04216822014-11-27 21:14:15 +00003780 spin_unlock(&block_group->lock);
3781
Jeff Mahoneye33e17e2015-06-15 09:41:19 -04003782 if (cleanup) {
David Sterba34441362016-10-04 19:34:27 +02003783 mutex_lock(&fs_info->chunk_mutex);
David Sterbac8bf1b62019-05-17 11:43:17 +02003784 em_tree = &fs_info->mapping_tree;
Filipe Manana04216822014-11-27 21:14:15 +00003785 write_lock(&em_tree->lock);
David Sterbab3470b52019-10-23 18:48:22 +02003786 em = lookup_extent_mapping(em_tree, block_group->start,
Filipe Manana04216822014-11-27 21:14:15 +00003787 1);
3788 BUG_ON(!em); /* logic error, can't happen */
3789 remove_extent_mapping(em_tree, em);
3790 write_unlock(&em_tree->lock);
David Sterba34441362016-10-04 19:34:27 +02003791 mutex_unlock(&fs_info->chunk_mutex);
Filipe Manana04216822014-11-27 21:14:15 +00003792
3793 /* once for us and once for the tree */
3794 free_extent_map(em);
3795 free_extent_map(em);
Filipe Manana946ddbe2014-12-01 17:04:40 +00003796
3797 /*
Filipe Manana6b7304a2020-05-08 11:01:47 +01003798 * We may have left one free space entry and other possible
3799 * tasks trimming this block group have left 1 entry each one.
3800 * Free them if any.
Filipe Manana946ddbe2014-12-01 17:04:40 +00003801 */
3802 __btrfs_remove_free_space_cache(block_group->free_space_ctl);
Filipe Manana04216822014-11-27 21:14:15 +00003803 }
Jeff Mahoneye33e17e2015-06-15 09:41:19 -04003804}
Li Dongyangf7039b12011-03-24 10:24:28 +00003805
David Sterba32da53862019-10-29 19:20:18 +01003806int btrfs_trim_block_group(struct btrfs_block_group *block_group,
Jeff Mahoneye33e17e2015-06-15 09:41:19 -04003807 u64 *trimmed, u64 start, u64 end, u64 minlen)
3808{
Dennis Zhouda080fe2019-12-13 16:22:13 -08003809 struct btrfs_free_space_ctl *ctl = block_group->free_space_ctl;
Jeff Mahoneye33e17e2015-06-15 09:41:19 -04003810 int ret;
Dennis Zhouda080fe2019-12-13 16:22:13 -08003811 u64 rem = 0;
Jeff Mahoneye33e17e2015-06-15 09:41:19 -04003812
3813 *trimmed = 0;
3814
3815 spin_lock(&block_group->lock);
3816 if (block_group->removed) {
3817 spin_unlock(&block_group->lock);
3818 return 0;
3819 }
Filipe Manana6b7304a2020-05-08 11:01:47 +01003820 btrfs_freeze_block_group(block_group);
Jeff Mahoneye33e17e2015-06-15 09:41:19 -04003821 spin_unlock(&block_group->lock);
3822
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003823 ret = trim_no_bitmap(block_group, trimmed, start, end, minlen, false);
Jeff Mahoneye33e17e2015-06-15 09:41:19 -04003824 if (ret)
3825 goto out;
3826
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003827 ret = trim_bitmaps(block_group, trimmed, start, end, minlen, 0, false);
Dennis Zhouda080fe2019-12-13 16:22:13 -08003828 div64_u64_rem(end, BITS_PER_BITMAP * ctl->unit, &rem);
3829 /* If we ended in the middle of a bitmap, reset the trimming flag */
3830 if (rem)
3831 reset_trimming_bitmap(ctl, offset_to_bitmap(ctl, end));
Jeff Mahoneye33e17e2015-06-15 09:41:19 -04003832out:
Filipe Manana6b7304a2020-05-08 11:01:47 +01003833 btrfs_unfreeze_block_group(block_group);
Li Dongyangf7039b12011-03-24 10:24:28 +00003834 return ret;
3835}
Li Zefan581bb052011-04-20 10:06:11 +08003836
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003837int btrfs_trim_block_group_extents(struct btrfs_block_group *block_group,
3838 u64 *trimmed, u64 start, u64 end, u64 minlen,
3839 bool async)
3840{
3841 int ret;
3842
3843 *trimmed = 0;
3844
3845 spin_lock(&block_group->lock);
3846 if (block_group->removed) {
3847 spin_unlock(&block_group->lock);
3848 return 0;
3849 }
Filipe Manana6b7304a2020-05-08 11:01:47 +01003850 btrfs_freeze_block_group(block_group);
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003851 spin_unlock(&block_group->lock);
3852
3853 ret = trim_no_bitmap(block_group, trimmed, start, end, minlen, async);
Filipe Manana6b7304a2020-05-08 11:01:47 +01003854 btrfs_unfreeze_block_group(block_group);
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003855
3856 return ret;
3857}
3858
3859int btrfs_trim_block_group_bitmaps(struct btrfs_block_group *block_group,
3860 u64 *trimmed, u64 start, u64 end, u64 minlen,
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003861 u64 maxlen, bool async)
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003862{
3863 int ret;
3864
3865 *trimmed = 0;
3866
3867 spin_lock(&block_group->lock);
3868 if (block_group->removed) {
3869 spin_unlock(&block_group->lock);
3870 return 0;
3871 }
Filipe Manana6b7304a2020-05-08 11:01:47 +01003872 btrfs_freeze_block_group(block_group);
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003873 spin_unlock(&block_group->lock);
3874
Dennis Zhou7fe6d452020-01-02 16:26:39 -05003875 ret = trim_bitmaps(block_group, trimmed, start, end, minlen, maxlen,
3876 async);
3877
Filipe Manana6b7304a2020-05-08 11:01:47 +01003878 btrfs_unfreeze_block_group(block_group);
Dennis Zhou2bee7eb2019-12-13 16:22:16 -08003879
3880 return ret;
3881}
3882
Li Zefan581bb052011-04-20 10:06:11 +08003883/*
3884 * Find the left-most item in the cache tree, and then return the
3885 * smallest inode number in the item.
3886 *
3887 * Note: the returned inode number may not be the smallest one in
3888 * the tree, if the left-most item is a bitmap.
3889 */
3890u64 btrfs_find_ino_for_alloc(struct btrfs_root *fs_root)
3891{
3892 struct btrfs_free_space_ctl *ctl = fs_root->free_ino_ctl;
3893 struct btrfs_free_space *entry = NULL;
3894 u64 ino = 0;
3895
3896 spin_lock(&ctl->tree_lock);
3897
3898 if (RB_EMPTY_ROOT(&ctl->free_space_offset))
3899 goto out;
3900
3901 entry = rb_entry(rb_first(&ctl->free_space_offset),
3902 struct btrfs_free_space, offset_index);
3903
3904 if (!entry->bitmap) {
3905 ino = entry->offset;
3906
3907 unlink_free_space(ctl, entry);
3908 entry->offset++;
3909 entry->bytes--;
3910 if (!entry->bytes)
3911 kmem_cache_free(btrfs_free_space_cachep, entry);
3912 else
3913 link_free_space(ctl, entry);
3914 } else {
3915 u64 offset = 0;
3916 u64 count = 1;
3917 int ret;
3918
Josef Bacik0584f712015-10-02 16:12:23 -04003919 ret = search_bitmap(ctl, entry, &offset, &count, true);
Jeff Mahoney79787ea2012-03-12 16:03:00 +01003920 /* Logic error; Should be empty if it can't find anything */
Josef Bacikb12d6862013-08-26 17:14:08 -04003921 ASSERT(!ret);
Li Zefan581bb052011-04-20 10:06:11 +08003922
3923 ino = offset;
3924 bitmap_clear_bits(ctl, entry, offset, 1);
3925 if (entry->bytes == 0)
3926 free_bitmap(ctl, entry);
3927 }
3928out:
3929 spin_unlock(&ctl->tree_lock);
3930
3931 return ino;
3932}
Li Zefan82d59022011-04-20 10:33:24 +08003933
3934struct inode *lookup_free_ino_inode(struct btrfs_root *root,
3935 struct btrfs_path *path)
3936{
3937 struct inode *inode = NULL;
3938
David Sterba57cdc8d2014-02-05 02:37:48 +01003939 spin_lock(&root->ino_cache_lock);
3940 if (root->ino_cache_inode)
3941 inode = igrab(root->ino_cache_inode);
3942 spin_unlock(&root->ino_cache_lock);
Li Zefan82d59022011-04-20 10:33:24 +08003943 if (inode)
3944 return inode;
3945
3946 inode = __lookup_free_space_inode(root, path, 0);
3947 if (IS_ERR(inode))
3948 return inode;
3949
David Sterba57cdc8d2014-02-05 02:37:48 +01003950 spin_lock(&root->ino_cache_lock);
David Sterba7841cb22011-05-31 18:07:27 +02003951 if (!btrfs_fs_closing(root->fs_info))
David Sterba57cdc8d2014-02-05 02:37:48 +01003952 root->ino_cache_inode = igrab(inode);
3953 spin_unlock(&root->ino_cache_lock);
Li Zefan82d59022011-04-20 10:33:24 +08003954
3955 return inode;
3956}
3957
3958int create_free_ino_inode(struct btrfs_root *root,
3959 struct btrfs_trans_handle *trans,
3960 struct btrfs_path *path)
3961{
3962 return __create_free_space_inode(root, trans, path,
3963 BTRFS_FREE_INO_OBJECTID, 0);
3964}
3965
3966int load_free_ino_cache(struct btrfs_fs_info *fs_info, struct btrfs_root *root)
3967{
3968 struct btrfs_free_space_ctl *ctl = root->free_ino_ctl;
3969 struct btrfs_path *path;
3970 struct inode *inode;
3971 int ret = 0;
3972 u64 root_gen = btrfs_root_generation(&root->root_item);
3973
Jeff Mahoney0b246af2016-06-22 18:54:23 -04003974 if (!btrfs_test_opt(fs_info, INODE_MAP_CACHE))
Chris Mason4b9465c2011-06-03 09:36:29 -04003975 return 0;
3976
Li Zefan82d59022011-04-20 10:33:24 +08003977 /*
3978 * If we're unmounting then just return, since this does a search on the
3979 * normal root and not the commit root and we could deadlock.
3980 */
David Sterba7841cb22011-05-31 18:07:27 +02003981 if (btrfs_fs_closing(fs_info))
Li Zefan82d59022011-04-20 10:33:24 +08003982 return 0;
3983
3984 path = btrfs_alloc_path();
3985 if (!path)
3986 return 0;
3987
3988 inode = lookup_free_ino_inode(root, path);
3989 if (IS_ERR(inode))
3990 goto out;
3991
3992 if (root_gen != BTRFS_I(inode)->generation)
3993 goto out_put;
3994
3995 ret = __load_free_space_cache(root, inode, ctl, path, 0);
3996
3997 if (ret < 0)
Simon Kirbyc2cf52e2013-03-19 22:41:23 +00003998 btrfs_err(fs_info,
3999 "failed to load free ino cache for root %llu",
4000 root->root_key.objectid);
Li Zefan82d59022011-04-20 10:33:24 +08004001out_put:
4002 iput(inode);
4003out:
4004 btrfs_free_path(path);
4005 return ret;
4006}
4007
4008int btrfs_write_out_ino_cache(struct btrfs_root *root,
4009 struct btrfs_trans_handle *trans,
Filipe David Borba Manana53645a92013-09-20 14:43:28 +01004010 struct btrfs_path *path,
4011 struct inode *inode)
Li Zefan82d59022011-04-20 10:33:24 +08004012{
Jeff Mahoney0b246af2016-06-22 18:54:23 -04004013 struct btrfs_fs_info *fs_info = root->fs_info;
Li Zefan82d59022011-04-20 10:33:24 +08004014 struct btrfs_free_space_ctl *ctl = root->free_ino_ctl;
Li Zefan82d59022011-04-20 10:33:24 +08004015 int ret;
Chris Masonc9dc4c62015-04-04 17:14:42 -07004016 struct btrfs_io_ctl io_ctl;
Filipe Mananae43699d2015-05-05 15:21:27 +01004017 bool release_metadata = true;
Li Zefan82d59022011-04-20 10:33:24 +08004018
Jeff Mahoney0b246af2016-06-22 18:54:23 -04004019 if (!btrfs_test_opt(fs_info, INODE_MAP_CACHE))
Chris Mason4b9465c2011-06-03 09:36:29 -04004020 return 0;
4021
Chris Mason85db36c2015-04-23 08:02:49 -07004022 memset(&io_ctl, 0, sizeof(io_ctl));
David Sterba0e8d9312017-02-10 20:26:24 +01004023 ret = __btrfs_write_out_cache(root, inode, ctl, NULL, &io_ctl, trans);
Filipe Mananae43699d2015-05-05 15:21:27 +01004024 if (!ret) {
4025 /*
4026 * At this point writepages() didn't error out, so our metadata
4027 * reservation is released when the writeback finishes, at
4028 * inode.c:btrfs_finish_ordered_io(), regardless of it finishing
4029 * with or without an error.
4030 */
4031 release_metadata = false;
Jeff Mahoneyafdb5712016-09-09 12:09:35 -04004032 ret = btrfs_wait_cache_io_root(root, trans, &io_ctl, path);
Filipe Mananae43699d2015-05-05 15:21:27 +01004033 }
Chris Mason85db36c2015-04-23 08:02:49 -07004034
Josef Bacikc09544e2011-08-30 10:19:10 -04004035 if (ret) {
Filipe Mananae43699d2015-05-05 15:21:27 +01004036 if (release_metadata)
Nikolay Borisov691fa052017-02-20 13:50:42 +02004037 btrfs_delalloc_release_metadata(BTRFS_I(inode),
Qu Wenruo43b18592017-12-12 15:34:32 +08004038 inode->i_size, true);
Johannes Thumshirn1afb6482020-02-12 00:10:21 +09004039#ifdef CONFIG_BTRFS_DEBUG
Jeff Mahoney0b246af2016-06-22 18:54:23 -04004040 btrfs_err(fs_info,
4041 "failed to write free ino cache for root %llu",
4042 root->root_key.objectid);
Josef Bacikc09544e2011-08-30 10:19:10 -04004043#endif
4044 }
Li Zefan82d59022011-04-20 10:33:24 +08004045
Li Zefan82d59022011-04-20 10:33:24 +08004046 return ret;
4047}
Josef Bacik74255aa2013-03-15 09:47:08 -04004048
4049#ifdef CONFIG_BTRFS_FS_RUN_SANITY_TESTS
Josef Bacikdc11dd52013-08-14 15:05:12 -04004050/*
4051 * Use this if you need to make a bitmap or extent entry specifically, it
4052 * doesn't do any of the merging that add_free_space does, this acts a lot like
4053 * how the free space cache loading stuff works, so you can get really weird
4054 * configurations.
4055 */
David Sterba32da53862019-10-29 19:20:18 +01004056int test_add_free_space_entry(struct btrfs_block_group *cache,
Josef Bacikdc11dd52013-08-14 15:05:12 -04004057 u64 offset, u64 bytes, bool bitmap)
Josef Bacik74255aa2013-03-15 09:47:08 -04004058{
Josef Bacikdc11dd52013-08-14 15:05:12 -04004059 struct btrfs_free_space_ctl *ctl = cache->free_space_ctl;
4060 struct btrfs_free_space *info = NULL, *bitmap_info;
4061 void *map = NULL;
Dennis Zhouda080fe2019-12-13 16:22:13 -08004062 enum btrfs_trim_state trim_state = BTRFS_TRIM_STATE_TRIMMED;
Josef Bacikdc11dd52013-08-14 15:05:12 -04004063 u64 bytes_added;
4064 int ret;
Josef Bacik74255aa2013-03-15 09:47:08 -04004065
Josef Bacikdc11dd52013-08-14 15:05:12 -04004066again:
4067 if (!info) {
4068 info = kmem_cache_zalloc(btrfs_free_space_cachep, GFP_NOFS);
4069 if (!info)
4070 return -ENOMEM;
Josef Bacik74255aa2013-03-15 09:47:08 -04004071 }
4072
Josef Bacikdc11dd52013-08-14 15:05:12 -04004073 if (!bitmap) {
4074 spin_lock(&ctl->tree_lock);
4075 info->offset = offset;
4076 info->bytes = bytes;
Josef Bacikcef40482015-10-02 16:09:42 -04004077 info->max_extent_size = 0;
Josef Bacikdc11dd52013-08-14 15:05:12 -04004078 ret = link_free_space(ctl, info);
4079 spin_unlock(&ctl->tree_lock);
4080 if (ret)
4081 kmem_cache_free(btrfs_free_space_cachep, info);
4082 return ret;
4083 }
Josef Bacik74255aa2013-03-15 09:47:08 -04004084
Josef Bacikdc11dd52013-08-14 15:05:12 -04004085 if (!map) {
Christophe Leroy3acd4852019-08-21 15:05:55 +00004086 map = kmem_cache_zalloc(btrfs_free_space_bitmap_cachep, GFP_NOFS);
Josef Bacikdc11dd52013-08-14 15:05:12 -04004087 if (!map) {
4088 kmem_cache_free(btrfs_free_space_cachep, info);
4089 return -ENOMEM;
4090 }
4091 }
Josef Bacik74255aa2013-03-15 09:47:08 -04004092
Josef Bacikdc11dd52013-08-14 15:05:12 -04004093 spin_lock(&ctl->tree_lock);
4094 bitmap_info = tree_search_offset(ctl, offset_to_bitmap(ctl, offset),
4095 1, 0);
4096 if (!bitmap_info) {
4097 info->bitmap = map;
4098 map = NULL;
4099 add_new_bitmap(ctl, info, offset);
4100 bitmap_info = info;
Filipe Manana20005522014-08-29 13:35:13 +01004101 info = NULL;
Josef Bacikdc11dd52013-08-14 15:05:12 -04004102 }
Josef Bacik74255aa2013-03-15 09:47:08 -04004103
Dennis Zhouda080fe2019-12-13 16:22:13 -08004104 bytes_added = add_bytes_to_bitmap(ctl, bitmap_info, offset, bytes,
4105 trim_state);
Josef Bacikcef40482015-10-02 16:09:42 -04004106
Josef Bacikdc11dd52013-08-14 15:05:12 -04004107 bytes -= bytes_added;
4108 offset += bytes_added;
4109 spin_unlock(&ctl->tree_lock);
4110
4111 if (bytes)
4112 goto again;
4113
Filipe Manana20005522014-08-29 13:35:13 +01004114 if (info)
4115 kmem_cache_free(btrfs_free_space_cachep, info);
Christophe Leroy3acd4852019-08-21 15:05:55 +00004116 if (map)
4117 kmem_cache_free(btrfs_free_space_bitmap_cachep, map);
Josef Bacikdc11dd52013-08-14 15:05:12 -04004118 return 0;
Josef Bacik74255aa2013-03-15 09:47:08 -04004119}
4120
4121/*
4122 * Checks to see if the given range is in the free space cache. This is really
4123 * just used to check the absence of space, so if there is free space in the
4124 * range at all we will return 1.
4125 */
David Sterba32da53862019-10-29 19:20:18 +01004126int test_check_exists(struct btrfs_block_group *cache,
Josef Bacikdc11dd52013-08-14 15:05:12 -04004127 u64 offset, u64 bytes)
Josef Bacik74255aa2013-03-15 09:47:08 -04004128{
4129 struct btrfs_free_space_ctl *ctl = cache->free_space_ctl;
4130 struct btrfs_free_space *info;
4131 int ret = 0;
4132
4133 spin_lock(&ctl->tree_lock);
4134 info = tree_search_offset(ctl, offset, 0, 0);
4135 if (!info) {
4136 info = tree_search_offset(ctl, offset_to_bitmap(ctl, offset),
4137 1, 0);
4138 if (!info)
4139 goto out;
4140 }
4141
4142have_info:
4143 if (info->bitmap) {
4144 u64 bit_off, bit_bytes;
4145 struct rb_node *n;
4146 struct btrfs_free_space *tmp;
4147
4148 bit_off = offset;
4149 bit_bytes = ctl->unit;
Josef Bacik0584f712015-10-02 16:12:23 -04004150 ret = search_bitmap(ctl, info, &bit_off, &bit_bytes, false);
Josef Bacik74255aa2013-03-15 09:47:08 -04004151 if (!ret) {
4152 if (bit_off == offset) {
4153 ret = 1;
4154 goto out;
4155 } else if (bit_off > offset &&
4156 offset + bytes > bit_off) {
4157 ret = 1;
4158 goto out;
4159 }
4160 }
4161
4162 n = rb_prev(&info->offset_index);
4163 while (n) {
4164 tmp = rb_entry(n, struct btrfs_free_space,
4165 offset_index);
4166 if (tmp->offset + tmp->bytes < offset)
4167 break;
4168 if (offset + bytes < tmp->offset) {
Feifei Xu5473e0c42016-06-01 19:18:23 +08004169 n = rb_prev(&tmp->offset_index);
Josef Bacik74255aa2013-03-15 09:47:08 -04004170 continue;
4171 }
4172 info = tmp;
4173 goto have_info;
4174 }
4175
4176 n = rb_next(&info->offset_index);
4177 while (n) {
4178 tmp = rb_entry(n, struct btrfs_free_space,
4179 offset_index);
4180 if (offset + bytes < tmp->offset)
4181 break;
4182 if (tmp->offset + tmp->bytes < offset) {
Feifei Xu5473e0c42016-06-01 19:18:23 +08004183 n = rb_next(&tmp->offset_index);
Josef Bacik74255aa2013-03-15 09:47:08 -04004184 continue;
4185 }
4186 info = tmp;
4187 goto have_info;
4188 }
4189
Filipe Manana20005522014-08-29 13:35:13 +01004190 ret = 0;
Josef Bacik74255aa2013-03-15 09:47:08 -04004191 goto out;
4192 }
4193
4194 if (info->offset == offset) {
4195 ret = 1;
4196 goto out;
4197 }
4198
4199 if (offset > info->offset && offset < info->offset + info->bytes)
4200 ret = 1;
4201out:
4202 spin_unlock(&ctl->tree_lock);
4203 return ret;
4204}
Josef Bacikdc11dd52013-08-14 15:05:12 -04004205#endif /* CONFIG_BTRFS_FS_RUN_SANITY_TESTS */