Commit | Line | Data |
---|---|---|
9888c340 | 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
6cbd5570 CM |
2 | /* |
3 | * Copyright (C) 2007 Oracle. All rights reserved. | |
6cbd5570 CM |
4 | */ |
5 | ||
9888c340 DS |
6 | #ifndef BTRFS_TRANSACTION_H |
7 | #define BTRFS_TRANSACTION_H | |
9b64f57d | 8 | |
602035d7 | 9 | #include <linux/atomic.h> |
9b64f57d | 10 | #include <linux/refcount.h> |
602035d7 DS |
11 | #include <linux/list.h> |
12 | #include <linux/time64.h> | |
13 | #include <linux/mutex.h> | |
14 | #include <linux/wait.h> | |
31f3c99b | 15 | #include "btrfs_inode.h" |
56bec294 | 16 | #include "delayed-ref.h" |
602035d7 DS |
17 | #include "extent-io-tree.h" |
18 | #include "block-rsv.h" | |
19 | #include "messages.h" | |
cc37ea61 | 20 | #include "misc.h" |
e089f05c | 21 | |
602035d7 DS |
22 | struct dentry; |
23 | struct inode; | |
24 | struct btrfs_pending_snapshot; | |
25 | struct btrfs_fs_info; | |
26 | struct btrfs_root_item; | |
27 | struct btrfs_root; | |
28 | struct btrfs_path; | |
29 | ||
cd9253c2 FM |
30 | /* |
31 | * Signal that a direct IO write is in progress, to avoid deadlock for sync | |
32 | * direct IO writes when fsync is called during the direct IO write path. | |
33 | */ | |
34 | #define BTRFS_TRANS_DIO_WRITE_STUB ((void *) 1) | |
35 | ||
2144e1f2 | 36 | /* Radix-tree tag for roots that are part of the transaction. */ |
b321a52c BB |
37 | #define BTRFS_ROOT_TRANS_TAG 0 |
38 | ||
4a9d8bde | 39 | enum btrfs_trans_state { |
bbe339cc | 40 | TRANS_STATE_RUNNING, |
77d20c68 | 41 | TRANS_STATE_COMMIT_PREP, |
bbe339cc DS |
42 | TRANS_STATE_COMMIT_START, |
43 | TRANS_STATE_COMMIT_DOING, | |
44 | TRANS_STATE_UNBLOCKED, | |
d0c2f4fa | 45 | TRANS_STATE_SUPER_COMMITTED, |
bbe339cc DS |
46 | TRANS_STATE_COMPLETED, |
47 | TRANS_STATE_MAX, | |
4a9d8bde MX |
48 | }; |
49 | ||
3204d33c JB |
50 | #define BTRFS_TRANS_HAVE_FREE_BGS 0 |
51 | #define BTRFS_TRANS_DIRTY_BG_RUN 1 | |
2968b1f4 | 52 | #define BTRFS_TRANS_CACHE_ENOSPC 2 |
3204d33c | 53 | |
79154b1b CM |
54 | struct btrfs_transaction { |
55 | u64 transid; | |
0860adfd MX |
56 | /* |
57 | * total external writers(USERSPACE/START/ATTACH) in this | |
58 | * transaction, it must be zero before the transaction is | |
59 | * being committed | |
60 | */ | |
61 | atomic_t num_extwriters; | |
b7ec40d7 CM |
62 | /* |
63 | * total writers in this transaction, it must be zero before the | |
64 | * transaction can end | |
65 | */ | |
13c5a93e | 66 | atomic_t num_writers; |
9b64f57d | 67 | refcount_t use_count; |
b7ec40d7 | 68 | |
3204d33c | 69 | unsigned long flags; |
13212b54 | 70 | |
4a9d8bde MX |
71 | /* Be protected by fs_info->trans_lock when we want to change it. */ |
72 | enum btrfs_trans_state state; | |
5302e089 | 73 | int aborted; |
8fd17795 | 74 | struct list_head list; |
d1310b2e | 75 | struct extent_io_tree dirty_pages; |
a944442c | 76 | time64_t start_time; |
79154b1b CM |
77 | wait_queue_head_t writer_wait; |
78 | wait_queue_head_t commit_wait; | |
3063d29f | 79 | struct list_head pending_snapshots; |
bbbf7243 | 80 | struct list_head dev_update_list; |
9e351cc8 | 81 | struct list_head switch_commits; |
ce93ec54 | 82 | struct list_head dirty_bgs; |
45ae2c18 NB |
83 | |
84 | /* | |
85 | * There is no explicit lock which protects io_bgs, rather its | |
86 | * consistency is implied by the fact that all the sites which modify | |
87 | * it do so under some form of transaction critical section, namely: | |
88 | * | |
89 | * - btrfs_start_dirty_block_groups - This function can only ever be | |
90 | * run by one of the transaction committers. Refer to | |
91 | * BTRFS_TRANS_DIRTY_BG_RUN usage in btrfs_commit_transaction | |
92 | * | |
93 | * - btrfs_write_dirty_blockgroups - this is called by | |
94 | * commit_cowonly_roots from transaction critical section | |
95 | * (TRANS_STATE_COMMIT_DOING) | |
96 | * | |
97 | * - btrfs_cleanup_dirty_bgs - called on transaction abort | |
98 | */ | |
1bbc621e | 99 | struct list_head io_bgs; |
2b9dbef2 | 100 | struct list_head dropped_roots; |
fe119a6e | 101 | struct extent_io_tree pinned_extents; |
1bbc621e CM |
102 | |
103 | /* | |
104 | * we need to make sure block group deletion doesn't race with | |
105 | * free space cache writeout. This mutex keeps them from stomping | |
106 | * on each other | |
107 | */ | |
108 | struct mutex cache_write_mutex; | |
ce93ec54 | 109 | spinlock_t dirty_bgs_lock; |
348a0013 | 110 | /* Protected by spin lock fs_info->unused_bgs_lock. */ |
e33e17ee | 111 | struct list_head deleted_bgs; |
2b9dbef2 | 112 | spinlock_t dropped_roots_lock; |
56bec294 | 113 | struct btrfs_delayed_ref_root delayed_refs; |
ab8d0fc4 | 114 | struct btrfs_fs_info *fs_info; |
48778179 FM |
115 | |
116 | /* | |
117 | * Number of ordered extents the transaction must wait for before | |
118 | * committing. These are ordered extents started by a fast fsync. | |
119 | */ | |
120 | atomic_t pending_ordered; | |
121 | wait_queue_head_t pending_wait; | |
79154b1b CM |
122 | }; |
123 | ||
cc37ea61 DS |
124 | enum { |
125 | ENUM_BIT(__TRANS_FREEZABLE), | |
126 | ENUM_BIT(__TRANS_START), | |
127 | ENUM_BIT(__TRANS_ATTACH), | |
128 | ENUM_BIT(__TRANS_JOIN), | |
129 | ENUM_BIT(__TRANS_JOIN_NOLOCK), | |
130 | ENUM_BIT(__TRANS_DUMMY), | |
131 | ENUM_BIT(__TRANS_JOIN_NOSTART), | |
132 | }; | |
0860adfd | 133 | |
0860adfd MX |
134 | #define TRANS_START (__TRANS_START | __TRANS_FREEZABLE) |
135 | #define TRANS_ATTACH (__TRANS_ATTACH) | |
136 | #define TRANS_JOIN (__TRANS_JOIN | __TRANS_FREEZABLE) | |
137 | #define TRANS_JOIN_NOLOCK (__TRANS_JOIN_NOLOCK) | |
a6d155d2 | 138 | #define TRANS_JOIN_NOSTART (__TRANS_JOIN_NOSTART) |
0860adfd | 139 | |
bcf3a3e7 | 140 | #define TRANS_EXTWRITERS (__TRANS_START | __TRANS_ATTACH) |
a698d075 | 141 | |
e089f05c CM |
142 | struct btrfs_trans_handle { |
143 | u64 transid; | |
f0486c68 | 144 | u64 bytes_reserved; |
28270e25 | 145 | u64 delayed_refs_bytes_reserved; |
4fbcdf66 | 146 | u64 chunk_bytes_reserved; |
56bec294 | 147 | unsigned long delayed_ref_updates; |
adb86dbe | 148 | unsigned long delayed_ref_csum_deletions; |
f0486c68 YZ |
149 | struct btrfs_transaction *transaction; |
150 | struct btrfs_block_rsv *block_rsv; | |
2a1eb461 | 151 | struct btrfs_block_rsv *orig_rsv; |
28b21c55 FM |
152 | /* Set by a task that wants to create a snapshot. */ |
153 | struct btrfs_pending_snapshot *pending_snapshot; | |
1ca4bb63 DS |
154 | refcount_t use_count; |
155 | unsigned int type; | |
bf31f87f DS |
156 | /* |
157 | * Error code of transaction abort, set outside of locks and must use | |
158 | * the READ_ONCE/WRITE_ONCE access | |
159 | */ | |
a698d075 | 160 | short aborted; |
7c2871a2 | 161 | bool adding_csums; |
c6b305a8 | 162 | bool allocating_chunk; |
79bd3712 | 163 | bool removing_chunk; |
20dd2cbf | 164 | bool reloc_reserved; |
d0c2f4fa | 165 | bool in_fsync; |
64b63580 | 166 | struct btrfs_fs_info *fs_info; |
ea658bad | 167 | struct list_head new_bgs; |
28270e25 | 168 | struct btrfs_block_rsv delayed_rsv; |
e089f05c CM |
169 | }; |
170 | ||
bf31f87f DS |
171 | /* |
172 | * The abort status can be changed between calls and is not protected by locks. | |
173 | * This accepts btrfs_transaction and btrfs_trans_handle as types. Once it's | |
174 | * set to a non-zero value it does not change, so the macro should be in checks | |
175 | * but is not necessary for further reads of the value. | |
176 | */ | |
177 | #define TRANS_ABORTED(trans) (unlikely(READ_ONCE((trans)->aborted))) | |
178 | ||
3063d29f | 179 | struct btrfs_pending_snapshot { |
3de4586c | 180 | struct dentry *dentry; |
c154a844 | 181 | struct btrfs_inode *dir; |
3063d29f | 182 | struct btrfs_root *root; |
b0c0ea63 | 183 | struct btrfs_root_item *root_item; |
a22285a6 | 184 | struct btrfs_root *snap; |
6f72c7e2 | 185 | struct btrfs_qgroup_inherit *inherit; |
8546b570 | 186 | struct btrfs_path *path; |
a22285a6 YZ |
187 | /* block reservation for the operation */ |
188 | struct btrfs_block_rsv block_rsv; | |
01327610 | 189 | /* extra metadata reservation for relocation */ |
a22285a6 | 190 | int error; |
2dfb1e43 QW |
191 | /* Preallocated anonymous block device number */ |
192 | dev_t anon_dev; | |
b83cc969 | 193 | bool readonly; |
3063d29f CM |
194 | struct list_head list; |
195 | }; | |
196 | ||
15ee9bc7 | 197 | static inline void btrfs_set_inode_last_trans(struct btrfs_trans_handle *trans, |
d9094414 | 198 | struct btrfs_inode *inode) |
15ee9bc7 | 199 | { |
d9094414 NB |
200 | spin_lock(&inode->lock); |
201 | inode->last_trans = trans->transaction->transid; | |
6008859b | 202 | inode->last_sub_trans = btrfs_get_root_log_transid(inode->root); |
bc0939fc | 203 | inode->last_log_commit = inode->last_sub_trans - 1; |
d9094414 | 204 | spin_unlock(&inode->lock); |
15ee9bc7 JB |
205 | } |
206 | ||
9086db86 QW |
207 | /* |
208 | * Make qgroup codes to skip given qgroupid, means the old/new_roots for | |
209 | * qgroup won't contain the qgroupid in it. | |
210 | */ | |
211 | static inline void btrfs_set_skip_qgroup(struct btrfs_trans_handle *trans, | |
212 | u64 qgroupid) | |
213 | { | |
214 | struct btrfs_delayed_ref_root *delayed_refs; | |
215 | ||
216 | delayed_refs = &trans->transaction->delayed_refs; | |
217 | WARN_ON(delayed_refs->qgroup_to_skip); | |
218 | delayed_refs->qgroup_to_skip = qgroupid; | |
219 | } | |
220 | ||
221 | static inline void btrfs_clear_skip_qgroup(struct btrfs_trans_handle *trans) | |
222 | { | |
223 | struct btrfs_delayed_ref_root *delayed_refs; | |
224 | ||
225 | delayed_refs = &trans->transaction->delayed_refs; | |
226 | WARN_ON(!delayed_refs->qgroup_to_skip); | |
227 | delayed_refs->qgroup_to_skip = 0; | |
228 | } | |
229 | ||
b815a78e FM |
230 | /* |
231 | * We want the transaction abort to print stack trace only for errors where the | |
232 | * cause could be a bug, eg. due to ENOSPC, and not for common errors that are | |
233 | * caused by external factors. | |
234 | */ | |
235 | static inline bool btrfs_abort_should_print_stack(int error) | |
236 | { | |
237 | switch (error) { | |
238 | case -EIO: | |
239 | case -EROFS: | |
240 | case -ENOMEM: | |
241 | return false; | |
242 | } | |
243 | return true; | |
244 | } | |
fccf0c84 JB |
245 | |
246 | /* | |
247 | * Call btrfs_abort_transaction as early as possible when an error condition is | |
248 | * detected, that way the exact stack trace is reported for some errors. | |
249 | */ | |
ed164802 | 250 | #define btrfs_abort_transaction(trans, error) \ |
fccf0c84 | 251 | do { \ |
91629e6d | 252 | bool __first = false; \ |
fccf0c84 JB |
253 | /* Report first abort since mount */ \ |
254 | if (!test_and_set_bit(BTRFS_FS_STATE_TRANS_ABORTED, \ | |
255 | &((trans)->fs_info->fs_state))) { \ | |
91629e6d | 256 | __first = true; \ |
b815a78e | 257 | if (WARN(btrfs_abort_should_print_stack(error), \ |
fccf0c84 JB |
258 | KERN_ERR \ |
259 | "BTRFS: Transaction aborted (error %d)\n", \ | |
ed164802 | 260 | (error))) { \ |
fccf0c84 JB |
261 | /* Stack trace printed. */ \ |
262 | } else { \ | |
f8d1b011 FM |
263 | btrfs_err((trans)->fs_info, \ |
264 | "Transaction aborted (error %d)", \ | |
ed164802 | 265 | (error)); \ |
fccf0c84 JB |
266 | } \ |
267 | } \ | |
268 | __btrfs_abort_transaction((trans), __func__, \ | |
91629e6d | 269 | __LINE__, (error), __first); \ |
fccf0c84 JB |
270 | } while (0) |
271 | ||
3a45bb20 | 272 | int btrfs_end_transaction(struct btrfs_trans_handle *trans); |
79154b1b | 273 | struct btrfs_trans_handle *btrfs_start_transaction(struct btrfs_root *root, |
5aed1dd8 | 274 | unsigned int num_items); |
8eab77ff FM |
275 | struct btrfs_trans_handle *btrfs_start_transaction_fallback_global_rsv( |
276 | struct btrfs_root *root, | |
7f9fe614 | 277 | unsigned int num_items); |
7a7eaa40 | 278 | struct btrfs_trans_handle *btrfs_join_transaction(struct btrfs_root *root); |
8d510121 | 279 | struct btrfs_trans_handle *btrfs_join_transaction_spacecache(struct btrfs_root *root); |
a6d155d2 | 280 | struct btrfs_trans_handle *btrfs_join_transaction_nostart(struct btrfs_root *root); |
354aa0fb | 281 | struct btrfs_trans_handle *btrfs_attach_transaction(struct btrfs_root *root); |
d4edf39b MX |
282 | struct btrfs_trans_handle *btrfs_attach_transaction_barrier( |
283 | struct btrfs_root *root); | |
2ff7e61e | 284 | int btrfs_wait_for_commit(struct btrfs_fs_info *fs_info, u64 transid); |
08607c1b | 285 | |
cfad392b | 286 | void btrfs_add_dead_root(struct btrfs_root *root); |
b4be6aef | 287 | void btrfs_maybe_wake_unfinished_drop(struct btrfs_fs_info *fs_info); |
33c44184 | 288 | int btrfs_clean_one_deleted_snapshot(struct btrfs_fs_info *fs_info); |
3a45bb20 | 289 | int btrfs_commit_transaction(struct btrfs_trans_handle *trans); |
fdfbf020 | 290 | void btrfs_commit_transaction_async(struct btrfs_trans_handle *trans); |
ded980eb | 291 | int btrfs_commit_current_transaction(struct btrfs_root *root); |
3a45bb20 | 292 | int btrfs_end_transaction_throttle(struct btrfs_trans_handle *trans); |
a2633b6a | 293 | bool btrfs_should_end_transaction(struct btrfs_trans_handle *trans); |
2ff7e61e | 294 | void btrfs_throttle(struct btrfs_fs_info *fs_info); |
5d4f98a2 YZ |
295 | int btrfs_record_root_in_trans(struct btrfs_trans_handle *trans, |
296 | struct btrfs_root *root); | |
2ff7e61e | 297 | int btrfs_write_marked_extents(struct btrfs_fs_info *fs_info, |
8cef4e16 | 298 | struct extent_io_tree *dirty_pages, int mark); |
bf89d38f | 299 | int btrfs_wait_tree_log_extents(struct btrfs_root *root, int mark); |
8929ecfa | 300 | int btrfs_transaction_blocked(struct btrfs_fs_info *info); |
724e2315 | 301 | void btrfs_put_transaction(struct btrfs_transaction *transaction); |
2b9dbef2 JB |
302 | void btrfs_add_dropped_root(struct btrfs_trans_handle *trans, |
303 | struct btrfs_root *root); | |
fb6dea26 | 304 | void btrfs_trans_release_chunk_metadata(struct btrfs_trans_handle *trans); |
fccf0c84 JB |
305 | void __cold __btrfs_abort_transaction(struct btrfs_trans_handle *trans, |
306 | const char *function, | |
ed164802 | 307 | unsigned int line, int error, bool first_hit); |
9888c340 | 308 | |
956504a3 JB |
309 | int __init btrfs_transaction_init(void); |
310 | void __cold btrfs_transaction_exit(void); | |
311 | ||
e089f05c | 312 | #endif |