1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3 * Copyright (C) 2014 Facebook. All rights reserved.
4 */
5
6 #ifndef BTRFS_QGROUP_H
7 #define BTRFS_QGROUP_H
8
9 #include <linux/spinlock.h>
10 #include <linux/rbtree.h>
11 #include "ulist.h"
12 #include "delayed-ref.h"
13
14 /*
15 * Btrfs qgroup overview
16 *
17 * Btrfs qgroup splits into 3 main part:
18 * 1) Reserve
19 * Reserve metadata/data space for incoming operations
20 * Affect how qgroup limit works
21 *
22 * 2) Trace
23 * Tell btrfs qgroup to trace dirty extents.
24 *
25 * Dirty extents including:
26 * - Newly allocated extents
27 * - Extents going to be deleted (in this trans)
28 * - Extents whose owner is going to be modified
29 *
30 * This is the main part affects whether qgroup numbers will stay
31 * consistent.
32 * Btrfs qgroup can trace clean extents and won't cause any problem,
33 * but it will consume extra CPU time, it should be avoided if possible.
34 *
35 * 3) Account
36 * Btrfs qgroup will updates its numbers, based on dirty extents traced
37 * in previous step.
38 *
39 * Normally at qgroup rescan and transaction commit time.
40 */
41
42 /*
43 * Special performance optimization for balance.
44 *
45 * For balance, we need to swap subtree of subvolume and reloc trees.
46 * In theory, we need to trace all subtree blocks of both subvolume and reloc
47 * trees, since their owner has changed during such swap.
48 *
49 * However since balance has ensured that both subtrees are containing the
50 * same contents and have the same tree structures, such swap won't cause
51 * qgroup number change.
52 *
53 * But there is a race window between subtree swap and transaction commit,
54 * during that window, if we increase/decrease tree level or merge/split tree
55 * blocks, we still need to trace the original subtrees.
56 *
57 * So for balance, we use a delayed subtree tracing, whose workflow is:
58 *
59 * 1) Record the subtree root block get swapped.
60 *
61 * During subtree swap:
62 * O = Old tree blocks
63 * N = New tree blocks
64 * reloc tree subvolume tree X
65 * Root Root
66 * / \ / \
67 * NA OB OA OB
68 * / | | \ / | | \
69 * NC ND OE OF OC OD OE OF
70 *
71 * In this case, NA and OA are going to be swapped, record (NA, OA) into
72 * subvolume tree X.
73 *
74 * 2) After subtree swap.
75 * reloc tree subvolume tree X
76 * Root Root
77 * / \ / \
78 * OA OB NA OB
79 * / | | \ / | | \
80 * OC OD OE OF NC ND OE OF
81 *
82 * 3a) COW happens for OB
83 * If we are going to COW tree block OB, we check OB's bytenr against
84 * tree X's swapped_blocks structure.
85 * If it doesn't fit any, nothing will happen.
86 *
87 * 3b) COW happens for NA
88 * Check NA's bytenr against tree X's swapped_blocks, and get a hit.
89 * Then we do subtree scan on both subtrees OA and NA.
90 * Resulting 6 tree blocks to be scanned (OA, OC, OD, NA, NC, ND).
91 *
92 * Then no matter what we do to subvolume tree X, qgroup numbers will
93 * still be correct.
94 * Then NA's record gets removed from X's swapped_blocks.
95 *
96 * 4) Transaction commit
97 * Any record in X's swapped_blocks gets removed, since there is no
98 * modification to the swapped subtrees, no need to trigger heavy qgroup
99 * subtree rescan for them.
100 */
101
102 /*
103 * Record a dirty extent, and info qgroup to update quota on it
104 * TODO: Use kmem cache to alloc it.
105 */
106 struct btrfs_qgroup_extent_record {
107 struct rb_node node;
108 u64 bytenr;
109 u64 num_bytes;
110
111 /*
112 * For qgroup reserved data space freeing.
113 *
114 * @data_rsv_refroot and @data_rsv will be recorded after
115 * BTRFS_ADD_DELAYED_EXTENT is called.
116 * And will be used to free reserved qgroup space at
117 * transaction commit time.
118 */
119 u32 data_rsv; /* reserved data space needs to be freed */
120 u64 data_rsv_refroot; /* which root the reserved data belongs to */
121 struct ulist *old_roots;
122 };
123
124 struct btrfs_qgroup_swapped_block {
125 struct rb_node node;
126
127 int level;
128 bool trace_leaf;
129
130 /* bytenr/generation of the tree block in subvolume tree after swap */
131 u64 subvol_bytenr;
132 u64 subvol_generation;
133
134 /* bytenr/generation of the tree block in reloc tree after swap */
135 u64 reloc_bytenr;
136 u64 reloc_generation;
137
138 u64 last_snapshot;
139 struct btrfs_key first_key;
140 };
141
142 /*
143 * Qgroup reservation types:
144 *
145 * DATA:
146 * space reserved for data
147 *
148 * META_PERTRANS:
149 * Space reserved for metadata (per-transaction)
150 * Due to the fact that qgroup data is only updated at transaction commit
151 * time, reserved space for metadata must be kept until transaction
152 * commits.
153 * Any metadata reserved that are used in btrfs_start_transaction() should
154 * be of this type.
155 *
156 * META_PREALLOC:
157 * There are cases where metadata space is reserved before starting
158 * transaction, and then btrfs_join_transaction() to get a trans handle.
159 * Any metadata reserved for such usage should be of this type.
160 * And after join_transaction() part (or all) of such reservation should
161 * be converted into META_PERTRANS.
162 */
163 enum btrfs_qgroup_rsv_type {
164 BTRFS_QGROUP_RSV_DATA,
165 BTRFS_QGROUP_RSV_META_PERTRANS,
166 BTRFS_QGROUP_RSV_META_PREALLOC,
167 BTRFS_QGROUP_RSV_LAST,
168 };
169
170 /*
171 * Represents how many bytes we have reserved for this qgroup.
172 *
173 * Each type should have different reservation behavior.
174 * E.g, data follows its io_tree flag modification, while
175 * *currently* meta is just reserve-and-clear during transaction.
176 *
177 * TODO: Add new type for reservation which can survive transaction commit.
178 * Current metadata reservation behavior is not suitable for such case.
179 */
180 struct btrfs_qgroup_rsv {
181 u64 values[BTRFS_QGROUP_RSV_LAST];
182 };
183
184 /*
185 * one struct for each qgroup, organized in fs_info->qgroup_tree.
186 */
187 struct btrfs_qgroup {
188 u64 qgroupid;
189
190 /*
191 * state
192 */
193 u64 rfer; /* referenced */
194 u64 rfer_cmpr; /* referenced compressed */
195 u64 excl; /* exclusive */
196 u64 excl_cmpr; /* exclusive compressed */
197
198 /*
199 * limits
200 */
201 u64 lim_flags; /* which limits are set */
202 u64 max_rfer;
203 u64 max_excl;
204 u64 rsv_rfer;
205 u64 rsv_excl;
206
207 /*
208 * reservation tracking
209 */
210 struct btrfs_qgroup_rsv rsv;
211
212 /*
213 * lists
214 */
215 struct list_head groups; /* groups this group is member of */
216 struct list_head members; /* groups that are members of this group */
217 struct list_head dirty; /* dirty groups */
218 struct rb_node node; /* tree of qgroups */
219
220 /*
221 * temp variables for accounting operations
222 * Refer to qgroup_shared_accounting() for details.
223 */
224 u64 old_refcnt;
225 u64 new_refcnt;
226 };
227
228 /*
229 * For qgroup event trace points only
230 */
231 #define QGROUP_RESERVE (1<<0)
232 #define QGROUP_RELEASE (1<<1)
233 #define QGROUP_FREE (1<<2)
234
235 int btrfs_quota_enable(struct btrfs_fs_info *fs_info);
236 int btrfs_quota_disable(struct btrfs_fs_info *fs_info);
237 int btrfs_qgroup_rescan(struct btrfs_fs_info *fs_info);
238 void btrfs_qgroup_rescan_resume(struct btrfs_fs_info *fs_info);
239 int btrfs_qgroup_wait_for_completion(struct btrfs_fs_info *fs_info,
240 bool interruptible);
241 int btrfs_add_qgroup_relation(struct btrfs_trans_handle *trans, u64 src,
242 u64 dst);
243 int btrfs_del_qgroup_relation(struct btrfs_trans_handle *trans, u64 src,
244 u64 dst);
245 int btrfs_create_qgroup(struct btrfs_trans_handle *trans, u64 qgroupid);
246 int btrfs_remove_qgroup(struct btrfs_trans_handle *trans, u64 qgroupid);
247 int btrfs_limit_qgroup(struct btrfs_trans_handle *trans, u64 qgroupid,
248 struct btrfs_qgroup_limit *limit);
249 int btrfs_read_qgroup_config(struct btrfs_fs_info *fs_info);
250 void btrfs_free_qgroup_config(struct btrfs_fs_info *fs_info);
251 struct btrfs_delayed_extent_op;
252
253 /*
254 * Inform qgroup to trace one dirty extent, its info is recorded in @record.
255 * So qgroup can account it at transaction committing time.
256 *
257 * No lock version, caller must acquire delayed ref lock and allocated memory,
258 * then call btrfs_qgroup_trace_extent_post() after exiting lock context.
259 *
260 * Return 0 for success insert
261 * Return >0 for existing record, caller can free @record safely.
262 * Error is not possible
263 */
264 int btrfs_qgroup_trace_extent_nolock(
265 struct btrfs_fs_info *fs_info,
266 struct btrfs_delayed_ref_root *delayed_refs,
267 struct btrfs_qgroup_extent_record *record);
268
269 /*
270 * Post handler after qgroup_trace_extent_nolock().
271 *
272 * NOTE: Current qgroup does the expensive backref walk at transaction
273 * committing time with TRANS_STATE_COMMIT_DOING, this blocks incoming
274 * new transaction.
275 * This is designed to allow btrfs_find_all_roots() to get correct new_roots
276 * result.
277 *
278 * However for old_roots there is no need to do backref walk at that time,
279 * since we search commit roots to walk backref and result will always be
280 * correct.
281 *
282 * Due to the nature of no lock version, we can't do backref there.
283 * So we must call btrfs_qgroup_trace_extent_post() after exiting
284 * spinlock context.
285 *
286 * TODO: If we can fix and prove btrfs_find_all_roots() can get correct result
287 * using current root, then we can move all expensive backref walk out of
288 * transaction committing, but not now as qgroup accounting will be wrong again.
289 */
290 int btrfs_qgroup_trace_extent_post(struct btrfs_fs_info *fs_info,
291 struct btrfs_qgroup_extent_record *qrecord);
292
293 /*
294 * Inform qgroup to trace one dirty extent, specified by @bytenr and
295 * @num_bytes.
296 * So qgroup can account it at commit trans time.
297 *
298 * Better encapsulated version, with memory allocation and backref walk for
299 * commit roots.
300 * So this can sleep.
301 *
302 * Return 0 if the operation is done.
303 * Return <0 for error, like memory allocation failure or invalid parameter
304 * (NULL trans)
305 */
306 int btrfs_qgroup_trace_extent(struct btrfs_trans_handle *trans, u64 bytenr,
307 u64 num_bytes, gfp_t gfp_flag);
308
309 /*
310 * Inform qgroup to trace all leaf items of data
311 *
312 * Return 0 for success
313 * Return <0 for error(ENOMEM)
314 */
315 int btrfs_qgroup_trace_leaf_items(struct btrfs_trans_handle *trans,
316 struct extent_buffer *eb);
317 /*
318 * Inform qgroup to trace a whole subtree, including all its child tree
319 * blocks and data.
320 * The root tree block is specified by @root_eb.
321 *
322 * Normally used by relocation(tree block swap) and subvolume deletion.
323 *
324 * Return 0 for success
325 * Return <0 for error(ENOMEM or tree search error)
326 */
327 int btrfs_qgroup_trace_subtree(struct btrfs_trans_handle *trans,
328 struct extent_buffer *root_eb,
329 u64 root_gen, int root_level);
330 int btrfs_qgroup_account_extent(struct btrfs_trans_handle *trans, u64 bytenr,
331 u64 num_bytes, struct ulist *old_roots,
332 struct ulist *new_roots);
333 int btrfs_qgroup_account_extents(struct btrfs_trans_handle *trans);
334 int btrfs_run_qgroups(struct btrfs_trans_handle *trans);
335 int btrfs_qgroup_inherit(struct btrfs_trans_handle *trans, u64 srcid,
336 u64 objectid, struct btrfs_qgroup_inherit *inherit);
337 void btrfs_qgroup_free_refroot(struct btrfs_fs_info *fs_info,
338 u64 ref_root, u64 num_bytes,
339 enum btrfs_qgroup_rsv_type type);
340
341 #ifdef CONFIG_BTRFS_FS_RUN_SANITY_TESTS
342 int btrfs_verify_qgroup_counts(struct btrfs_fs_info *fs_info, u64 qgroupid,
343 u64 rfer, u64 excl);
344 #endif
345
346 /* New io_tree based accurate qgroup reserve API */
347 int btrfs_qgroup_reserve_data(struct btrfs_inode *inode,
348 struct extent_changeset **reserved, u64 start, u64 len);
349 int btrfs_qgroup_release_data(struct inode *inode, u64 start, u64 len);
350 int btrfs_qgroup_free_data(struct inode *inode,
351 struct extent_changeset *reserved, u64 start, u64 len);
352 int btrfs_qgroup_reserve_meta(struct btrfs_root *root, int num_bytes,
353 enum btrfs_qgroup_rsv_type type, bool enforce);
354 int __btrfs_qgroup_reserve_meta(struct btrfs_root *root, int num_bytes,
355 enum btrfs_qgroup_rsv_type type, bool enforce);
356 /* Reserve metadata space for pertrans and prealloc type */
btrfs_qgroup_reserve_meta_pertrans(struct btrfs_root * root,int num_bytes,bool enforce)357 static inline int btrfs_qgroup_reserve_meta_pertrans(struct btrfs_root *root,
358 int num_bytes, bool enforce)
359 {
360 return __btrfs_qgroup_reserve_meta(root, num_bytes,
361 BTRFS_QGROUP_RSV_META_PERTRANS, enforce);
362 }
btrfs_qgroup_reserve_meta_prealloc(struct btrfs_root * root,int num_bytes,bool enforce)363 static inline int btrfs_qgroup_reserve_meta_prealloc(struct btrfs_root *root,
364 int num_bytes, bool enforce)
365 {
366 return __btrfs_qgroup_reserve_meta(root, num_bytes,
367 BTRFS_QGROUP_RSV_META_PREALLOC, enforce);
368 }
369
370 void __btrfs_qgroup_free_meta(struct btrfs_root *root, int num_bytes,
371 enum btrfs_qgroup_rsv_type type);
372
373 /* Free per-transaction meta reservation for error handling */
btrfs_qgroup_free_meta_pertrans(struct btrfs_root * root,int num_bytes)374 static inline void btrfs_qgroup_free_meta_pertrans(struct btrfs_root *root,
375 int num_bytes)
376 {
377 __btrfs_qgroup_free_meta(root, num_bytes,
378 BTRFS_QGROUP_RSV_META_PERTRANS);
379 }
380
381 /* Pre-allocated meta reservation can be freed at need */
btrfs_qgroup_free_meta_prealloc(struct btrfs_root * root,int num_bytes)382 static inline void btrfs_qgroup_free_meta_prealloc(struct btrfs_root *root,
383 int num_bytes)
384 {
385 __btrfs_qgroup_free_meta(root, num_bytes,
386 BTRFS_QGROUP_RSV_META_PREALLOC);
387 }
388
389 /*
390 * Per-transaction meta reservation should be all freed at transaction commit
391 * time
392 */
393 void btrfs_qgroup_free_meta_all_pertrans(struct btrfs_root *root);
394
395 /*
396 * Convert @num_bytes of META_PREALLOCATED reservation to META_PERTRANS.
397 *
398 * This is called when preallocated meta reservation needs to be used.
399 * Normally after btrfs_join_transaction() call.
400 */
401 void btrfs_qgroup_convert_reserved_meta(struct btrfs_root *root, int num_bytes);
402
403 void btrfs_qgroup_check_reserved_leak(struct btrfs_inode *inode);
404
405 /* btrfs_qgroup_swapped_blocks related functions */
406 void btrfs_qgroup_init_swapped_blocks(
407 struct btrfs_qgroup_swapped_blocks *swapped_blocks);
408
409 void btrfs_qgroup_clean_swapped_blocks(struct btrfs_root *root);
410 int btrfs_qgroup_add_swapped_blocks(struct btrfs_trans_handle *trans,
411 struct btrfs_root *subvol_root,
412 struct btrfs_block_group_cache *bg,
413 struct extent_buffer *subvol_parent, int subvol_slot,
414 struct extent_buffer *reloc_parent, int reloc_slot,
415 u64 last_snapshot);
416 int btrfs_qgroup_trace_subtree_after_cow(struct btrfs_trans_handle *trans,
417 struct btrfs_root *root, struct extent_buffer *eb);
418 void btrfs_qgroup_destroy_extent_records(struct btrfs_transaction *trans);
419 bool btrfs_check_quota_leak(struct btrfs_fs_info *fs_info);
420
421 #endif
422