xref: /openbmc/linux/fs/ext4/ext4_jbd2.h (revision 4209ae12)
1 // SPDX-License-Identifier: GPL-2.0+
2 /*
3  * ext4_jbd2.h
4  *
5  * Written by Stephen C. Tweedie <sct@redhat.com>, 1999
6  *
7  * Copyright 1998--1999 Red Hat corp --- All Rights Reserved
8  *
9  * Ext4-specific journaling extensions.
10  */
11 
12 #ifndef _EXT4_JBD2_H
13 #define _EXT4_JBD2_H
14 
15 #include <linux/fs.h>
16 #include <linux/jbd2.h>
17 #include "ext4.h"
18 
19 #define EXT4_JOURNAL(inode)	(EXT4_SB((inode)->i_sb)->s_journal)
20 
21 /* Define the number of blocks we need to account to a transaction to
22  * modify one block of data.
23  *
24  * We may have to touch one inode, one bitmap buffer, up to three
25  * indirection blocks, the group and superblock summaries, and the data
26  * block to complete the transaction.
27  *
28  * For extents-enabled fs we may have to allocate and modify up to
29  * 5 levels of tree, data block (for each of these we need bitmap + group
30  * summaries), root which is stored in the inode, sb
31  */
32 
33 #define EXT4_SINGLEDATA_TRANS_BLOCKS(sb)				\
34 	(ext4_has_feature_extents(sb) ? 20U : 8U)
35 
36 /* Extended attribute operations touch at most two data buffers,
37  * two bitmap buffers, and two group summaries, in addition to the inode
38  * and the superblock, which are already accounted for. */
39 
40 #define EXT4_XATTR_TRANS_BLOCKS		6U
41 
42 /* Define the minimum size for a transaction which modifies data.  This
43  * needs to take into account the fact that we may end up modifying two
44  * quota files too (one for the group, one for the user quota).  The
45  * superblock only gets updated once, of course, so don't bother
46  * counting that again for the quota updates. */
47 
48 #define EXT4_DATA_TRANS_BLOCKS(sb)	(EXT4_SINGLEDATA_TRANS_BLOCKS(sb) + \
49 					 EXT4_XATTR_TRANS_BLOCKS - 2 + \
50 					 EXT4_MAXQUOTAS_TRANS_BLOCKS(sb))
51 
52 /*
53  * Define the number of metadata blocks we need to account to modify data.
54  *
55  * This include super block, inode block, quota blocks and xattr blocks
56  */
57 #define EXT4_META_TRANS_BLOCKS(sb)	(EXT4_XATTR_TRANS_BLOCKS + \
58 					EXT4_MAXQUOTAS_TRANS_BLOCKS(sb))
59 
60 /* Define an arbitrary limit for the amount of data we will anticipate
61  * writing to any given transaction.  For unbounded transactions such as
62  * write(2) and truncate(2) we can write more than this, but we always
63  * start off at the maximum transaction size and grow the transaction
64  * optimistically as we go. */
65 
66 #define EXT4_MAX_TRANS_DATA		64U
67 
68 /* We break up a large truncate or write transaction once the handle's
69  * buffer credits gets this low, we need either to extend the
70  * transaction or to start a new one.  Reserve enough space here for
71  * inode, bitmap, superblock, group and indirection updates for at least
72  * one block, plus two quota updates.  Quota allocations are not
73  * needed. */
74 
75 #define EXT4_RESERVE_TRANS_BLOCKS	12U
76 
77 /*
78  * Number of credits needed if we need to insert an entry into a
79  * directory.  For each new index block, we need 4 blocks (old index
80  * block, new index block, bitmap block, bg summary).  For normal
81  * htree directories there are 2 levels; if the largedir feature
82  * enabled it's 3 levels.
83  */
84 #define EXT4_INDEX_EXTRA_TRANS_BLOCKS	12U
85 
86 #ifdef CONFIG_QUOTA
87 /* Amount of blocks needed for quota update - we know that the structure was
88  * allocated so we need to update only data block */
89 #define EXT4_QUOTA_TRANS_BLOCKS(sb) ((test_opt(sb, QUOTA) ||\
90 		ext4_has_feature_quota(sb)) ? 1 : 0)
91 /* Amount of blocks needed for quota insert/delete - we do some block writes
92  * but inode, sb and group updates are done only once */
93 #define EXT4_QUOTA_INIT_BLOCKS(sb) ((test_opt(sb, QUOTA) ||\
94 		ext4_has_feature_quota(sb)) ?\
95 		(DQUOT_INIT_ALLOC*(EXT4_SINGLEDATA_TRANS_BLOCKS(sb)-3)\
96 		 +3+DQUOT_INIT_REWRITE) : 0)
97 
98 #define EXT4_QUOTA_DEL_BLOCKS(sb) ((test_opt(sb, QUOTA) ||\
99 		ext4_has_feature_quota(sb)) ?\
100 		(DQUOT_DEL_ALLOC*(EXT4_SINGLEDATA_TRANS_BLOCKS(sb)-3)\
101 		 +3+DQUOT_DEL_REWRITE) : 0)
102 #else
103 #define EXT4_QUOTA_TRANS_BLOCKS(sb) 0
104 #define EXT4_QUOTA_INIT_BLOCKS(sb) 0
105 #define EXT4_QUOTA_DEL_BLOCKS(sb) 0
106 #endif
107 #define EXT4_MAXQUOTAS_TRANS_BLOCKS(sb) (EXT4_MAXQUOTAS*EXT4_QUOTA_TRANS_BLOCKS(sb))
108 #define EXT4_MAXQUOTAS_INIT_BLOCKS(sb) (EXT4_MAXQUOTAS*EXT4_QUOTA_INIT_BLOCKS(sb))
109 #define EXT4_MAXQUOTAS_DEL_BLOCKS(sb) (EXT4_MAXQUOTAS*EXT4_QUOTA_DEL_BLOCKS(sb))
110 
111 /*
112  * Ext4 handle operation types -- for logging purposes
113  */
114 #define EXT4_HT_MISC             0
115 #define EXT4_HT_INODE            1
116 #define EXT4_HT_WRITE_PAGE       2
117 #define EXT4_HT_MAP_BLOCKS       3
118 #define EXT4_HT_DIR              4
119 #define EXT4_HT_TRUNCATE         5
120 #define EXT4_HT_QUOTA            6
121 #define EXT4_HT_RESIZE           7
122 #define EXT4_HT_MIGRATE          8
123 #define EXT4_HT_MOVE_EXTENTS     9
124 #define EXT4_HT_XATTR           10
125 #define EXT4_HT_EXT_CONVERT     11
126 #define EXT4_HT_MAX             12
127 
128 /**
129  *   struct ext4_journal_cb_entry - Base structure for callback information.
130  *
131  *   This struct is a 'seed' structure for a using with your own callback
132  *   structs. If you are using callbacks you must allocate one of these
133  *   or another struct of your own definition which has this struct
134  *   as it's first element and pass it to ext4_journal_callback_add().
135  */
136 struct ext4_journal_cb_entry {
137 	/* list information for other callbacks attached to the same handle */
138 	struct list_head jce_list;
139 
140 	/*  Function to call with this callback structure */
141 	void (*jce_func)(struct super_block *sb,
142 			 struct ext4_journal_cb_entry *jce, int error);
143 
144 	/* user data goes here */
145 };
146 
147 /**
148  * ext4_journal_callback_add: add a function to call after transaction commit
149  * @handle: active journal transaction handle to register callback on
150  * @func: callback function to call after the transaction has committed:
151  *        @sb: superblock of current filesystem for transaction
152  *        @jce: returned journal callback data
153  *        @rc: journal state at commit (0 = transaction committed properly)
154  * @jce: journal callback data (internal and function private data struct)
155  *
156  * The registered function will be called in the context of the journal thread
157  * after the transaction for which the handle was created has completed.
158  *
159  * No locks are held when the callback function is called, so it is safe to
160  * call blocking functions from within the callback, but the callback should
161  * not block or run for too long, or the filesystem will be blocked waiting for
162  * the next transaction to commit. No journaling functions can be used, or
163  * there is a risk of deadlock.
164  *
165  * There is no guaranteed calling order of multiple registered callbacks on
166  * the same transaction.
167  */
168 static inline void _ext4_journal_callback_add(handle_t *handle,
169 			struct ext4_journal_cb_entry *jce)
170 {
171 	/* Add the jce to transaction's private list */
172 	list_add_tail(&jce->jce_list, &handle->h_transaction->t_private_list);
173 }
174 
175 static inline void ext4_journal_callback_add(handle_t *handle,
176 			void (*func)(struct super_block *sb,
177 				     struct ext4_journal_cb_entry *jce,
178 				     int rc),
179 			struct ext4_journal_cb_entry *jce)
180 {
181 	struct ext4_sb_info *sbi =
182 			EXT4_SB(handle->h_transaction->t_journal->j_private);
183 
184 	/* Add the jce to transaction's private list */
185 	jce->jce_func = func;
186 	spin_lock(&sbi->s_md_lock);
187 	_ext4_journal_callback_add(handle, jce);
188 	spin_unlock(&sbi->s_md_lock);
189 }
190 
191 
192 /**
193  * ext4_journal_callback_del: delete a registered callback
194  * @handle: active journal transaction handle on which callback was registered
195  * @jce: registered journal callback entry to unregister
196  * Return true if object was successfully removed
197  */
198 static inline bool ext4_journal_callback_try_del(handle_t *handle,
199 					     struct ext4_journal_cb_entry *jce)
200 {
201 	bool deleted;
202 	struct ext4_sb_info *sbi =
203 			EXT4_SB(handle->h_transaction->t_journal->j_private);
204 
205 	spin_lock(&sbi->s_md_lock);
206 	deleted = !list_empty(&jce->jce_list);
207 	list_del_init(&jce->jce_list);
208 	spin_unlock(&sbi->s_md_lock);
209 	return deleted;
210 }
211 
212 int
213 ext4_mark_iloc_dirty(handle_t *handle,
214 		     struct inode *inode,
215 		     struct ext4_iloc *iloc);
216 
217 /*
218  * On success, We end up with an outstanding reference count against
219  * iloc->bh.  This _must_ be cleaned up later.
220  */
221 
222 int ext4_reserve_inode_write(handle_t *handle, struct inode *inode,
223 			struct ext4_iloc *iloc);
224 
225 #define ext4_mark_inode_dirty(__h, __i)					\
226 		__ext4_mark_inode_dirty((__h), (__i), __func__, __LINE__)
227 int __ext4_mark_inode_dirty(handle_t *handle, struct inode *inode,
228 				const char *func, unsigned int line);
229 
230 int ext4_expand_extra_isize(struct inode *inode,
231 			    unsigned int new_extra_isize,
232 			    struct ext4_iloc *iloc);
233 /*
234  * Wrapper functions with which ext4 calls into JBD.
235  */
236 int __ext4_journal_get_write_access(const char *where, unsigned int line,
237 				    handle_t *handle, struct buffer_head *bh);
238 
239 int __ext4_forget(const char *where, unsigned int line, handle_t *handle,
240 		  int is_metadata, struct inode *inode,
241 		  struct buffer_head *bh, ext4_fsblk_t blocknr);
242 
243 int __ext4_journal_get_create_access(const char *where, unsigned int line,
244 				handle_t *handle, struct buffer_head *bh);
245 
246 int __ext4_handle_dirty_metadata(const char *where, unsigned int line,
247 				 handle_t *handle, struct inode *inode,
248 				 struct buffer_head *bh);
249 
250 int __ext4_handle_dirty_super(const char *where, unsigned int line,
251 			      handle_t *handle, struct super_block *sb);
252 
253 #define ext4_journal_get_write_access(handle, bh) \
254 	__ext4_journal_get_write_access(__func__, __LINE__, (handle), (bh))
255 #define ext4_forget(handle, is_metadata, inode, bh, block_nr) \
256 	__ext4_forget(__func__, __LINE__, (handle), (is_metadata), (inode), \
257 		      (bh), (block_nr))
258 #define ext4_journal_get_create_access(handle, bh) \
259 	__ext4_journal_get_create_access(__func__, __LINE__, (handle), (bh))
260 #define ext4_handle_dirty_metadata(handle, inode, bh) \
261 	__ext4_handle_dirty_metadata(__func__, __LINE__, (handle), (inode), \
262 				     (bh))
263 #define ext4_handle_dirty_super(handle, sb) \
264 	__ext4_handle_dirty_super(__func__, __LINE__, (handle), (sb))
265 
266 handle_t *__ext4_journal_start_sb(struct super_block *sb, unsigned int line,
267 				  int type, int blocks, int rsv_blocks,
268 				  int revoke_creds);
269 int __ext4_journal_stop(const char *where, unsigned int line, handle_t *handle);
270 
271 #define EXT4_NOJOURNAL_MAX_REF_COUNT ((unsigned long) 4096)
272 
273 /* Note:  Do not use this for NULL handles.  This is only to determine if
274  * a properly allocated handle is using a journal or not. */
275 static inline int ext4_handle_valid(handle_t *handle)
276 {
277 	if ((unsigned long)handle < EXT4_NOJOURNAL_MAX_REF_COUNT)
278 		return 0;
279 	return 1;
280 }
281 
282 static inline void ext4_handle_sync(handle_t *handle)
283 {
284 	if (ext4_handle_valid(handle))
285 		handle->h_sync = 1;
286 }
287 
288 static inline int ext4_handle_is_aborted(handle_t *handle)
289 {
290 	if (ext4_handle_valid(handle))
291 		return is_handle_aborted(handle);
292 	return 0;
293 }
294 
295 static inline int ext4_free_metadata_revoke_credits(struct super_block *sb,
296 						    int blocks)
297 {
298 	/* Freeing each metadata block can result in freeing one cluster */
299 	return blocks * EXT4_SB(sb)->s_cluster_ratio;
300 }
301 
302 static inline int ext4_trans_default_revoke_credits(struct super_block *sb)
303 {
304 	return ext4_free_metadata_revoke_credits(sb, 8);
305 }
306 
307 #define ext4_journal_start_sb(sb, type, nblocks)			\
308 	__ext4_journal_start_sb((sb), __LINE__, (type), (nblocks), 0,	\
309 				ext4_trans_default_revoke_credits(sb))
310 
311 #define ext4_journal_start(inode, type, nblocks)			\
312 	__ext4_journal_start((inode), __LINE__, (type), (nblocks), 0,	\
313 			     ext4_trans_default_revoke_credits((inode)->i_sb))
314 
315 #define ext4_journal_start_with_reserve(inode, type, blocks, rsv_blocks)\
316 	__ext4_journal_start((inode), __LINE__, (type), (blocks), (rsv_blocks),\
317 			     ext4_trans_default_revoke_credits((inode)->i_sb))
318 
319 #define ext4_journal_start_with_revoke(inode, type, blocks, revoke_creds) \
320 	__ext4_journal_start((inode), __LINE__, (type), (blocks), 0,	\
321 			     (revoke_creds))
322 
323 static inline handle_t *__ext4_journal_start(struct inode *inode,
324 					     unsigned int line, int type,
325 					     int blocks, int rsv_blocks,
326 					     int revoke_creds)
327 {
328 	return __ext4_journal_start_sb(inode->i_sb, line, type, blocks,
329 				       rsv_blocks, revoke_creds);
330 }
331 
332 #define ext4_journal_stop(handle) \
333 	__ext4_journal_stop(__func__, __LINE__, (handle))
334 
335 #define ext4_journal_start_reserved(handle, type) \
336 	__ext4_journal_start_reserved((handle), __LINE__, (type))
337 
338 handle_t *__ext4_journal_start_reserved(handle_t *handle, unsigned int line,
339 					int type);
340 
341 static inline void ext4_journal_free_reserved(handle_t *handle)
342 {
343 	if (ext4_handle_valid(handle))
344 		jbd2_journal_free_reserved(handle);
345 }
346 
347 static inline handle_t *ext4_journal_current_handle(void)
348 {
349 	return journal_current_handle();
350 }
351 
352 static inline int ext4_journal_extend(handle_t *handle, int nblocks, int revoke)
353 {
354 	if (ext4_handle_valid(handle))
355 		return jbd2_journal_extend(handle, nblocks, revoke);
356 	return 0;
357 }
358 
359 static inline int ext4_journal_restart(handle_t *handle, int nblocks,
360 				       int revoke)
361 {
362 	if (ext4_handle_valid(handle))
363 		return jbd2__journal_restart(handle, nblocks, revoke, GFP_NOFS);
364 	return 0;
365 }
366 
367 int __ext4_journal_ensure_credits(handle_t *handle, int check_cred,
368 				  int extend_cred, int revoke_cred);
369 
370 
371 /*
372  * Ensure @handle has at least @check_creds credits available. If not,
373  * transaction will be extended or restarted to contain at least @extend_cred
374  * credits. Before restarting transaction @fn is executed to allow for cleanup
375  * before the transaction is restarted.
376  *
377  * The return value is < 0 in case of error, 0 in case the handle has enough
378  * credits or transaction extension succeeded, 1 in case transaction had to be
379  * restarted.
380  */
381 #define ext4_journal_ensure_credits_fn(handle, check_cred, extend_cred,	\
382 				       revoke_cred, fn) \
383 ({									\
384 	__label__ __ensure_end;						\
385 	int err = __ext4_journal_ensure_credits((handle), (check_cred),	\
386 					(extend_cred), (revoke_cred));	\
387 									\
388 	if (err <= 0)							\
389 		goto __ensure_end;					\
390 	err = (fn);							\
391 	if (err < 0)							\
392 		goto __ensure_end;					\
393 	err = ext4_journal_restart((handle), (extend_cred), (revoke_cred)); \
394 	if (err == 0)							\
395 		err = 1;						\
396 __ensure_end:								\
397 	err;								\
398 })
399 
400 /*
401  * Ensure given handle has at least requested amount of credits available,
402  * possibly restarting transaction if needed. We also make sure the transaction
403  * has space for at least ext4_trans_default_revoke_credits(sb) revoke records
404  * as freeing one or two blocks is very common pattern and requesting this is
405  * very cheap.
406  */
407 static inline int ext4_journal_ensure_credits(handle_t *handle, int credits,
408 					      int revoke_creds)
409 {
410 	return ext4_journal_ensure_credits_fn(handle, credits, credits,
411 				revoke_creds, 0);
412 }
413 
414 static inline int ext4_journal_blocks_per_page(struct inode *inode)
415 {
416 	if (EXT4_JOURNAL(inode) != NULL)
417 		return jbd2_journal_blocks_per_page(inode);
418 	return 0;
419 }
420 
421 static inline int ext4_journal_force_commit(journal_t *journal)
422 {
423 	if (journal)
424 		return jbd2_journal_force_commit(journal);
425 	return 0;
426 }
427 
428 static inline int ext4_jbd2_inode_add_write(handle_t *handle,
429 		struct inode *inode, loff_t start_byte, loff_t length)
430 {
431 	if (ext4_handle_valid(handle))
432 		return jbd2_journal_inode_ranged_write(handle,
433 				EXT4_I(inode)->jinode, start_byte, length);
434 	return 0;
435 }
436 
437 static inline int ext4_jbd2_inode_add_wait(handle_t *handle,
438 		struct inode *inode, loff_t start_byte, loff_t length)
439 {
440 	if (ext4_handle_valid(handle))
441 		return jbd2_journal_inode_ranged_wait(handle,
442 				EXT4_I(inode)->jinode, start_byte, length);
443 	return 0;
444 }
445 
446 static inline void ext4_update_inode_fsync_trans(handle_t *handle,
447 						 struct inode *inode,
448 						 int datasync)
449 {
450 	struct ext4_inode_info *ei = EXT4_I(inode);
451 
452 	if (ext4_handle_valid(handle) && !is_handle_aborted(handle)) {
453 		ei->i_sync_tid = handle->h_transaction->t_tid;
454 		if (datasync)
455 			ei->i_datasync_tid = handle->h_transaction->t_tid;
456 	}
457 }
458 
459 /* super.c */
460 int ext4_force_commit(struct super_block *sb);
461 
462 /*
463  * Ext4 inode journal modes
464  */
465 #define EXT4_INODE_JOURNAL_DATA_MODE	0x01 /* journal data mode */
466 #define EXT4_INODE_ORDERED_DATA_MODE	0x02 /* ordered data mode */
467 #define EXT4_INODE_WRITEBACK_DATA_MODE	0x04 /* writeback data mode */
468 
469 int ext4_inode_journal_mode(struct inode *inode);
470 
471 static inline int ext4_should_journal_data(struct inode *inode)
472 {
473 	return ext4_inode_journal_mode(inode) & EXT4_INODE_JOURNAL_DATA_MODE;
474 }
475 
476 static inline int ext4_should_order_data(struct inode *inode)
477 {
478 	return ext4_inode_journal_mode(inode) & EXT4_INODE_ORDERED_DATA_MODE;
479 }
480 
481 static inline int ext4_should_writeback_data(struct inode *inode)
482 {
483 	return ext4_inode_journal_mode(inode) & EXT4_INODE_WRITEBACK_DATA_MODE;
484 }
485 
486 static inline int ext4_free_data_revoke_credits(struct inode *inode, int blocks)
487 {
488 	if (test_opt(inode->i_sb, DATA_FLAGS) == EXT4_MOUNT_JOURNAL_DATA)
489 		return 0;
490 	if (!ext4_should_journal_data(inode))
491 		return 0;
492 	/*
493 	 * Data blocks in one extent are contiguous, just account for partial
494 	 * clusters at extent boundaries
495 	 */
496 	return blocks + 2*(EXT4_SB(inode->i_sb)->s_cluster_ratio - 1);
497 }
498 
499 /*
500  * This function controls whether or not we should try to go down the
501  * dioread_nolock code paths, which makes it safe to avoid taking
502  * i_mutex for direct I/O reads.  This only works for extent-based
503  * files, and it doesn't work if data journaling is enabled, since the
504  * dioread_nolock code uses b_private to pass information back to the
505  * I/O completion handler, and this conflicts with the jbd's use of
506  * b_private.
507  */
508 static inline int ext4_should_dioread_nolock(struct inode *inode)
509 {
510 	if (!test_opt(inode->i_sb, DIOREAD_NOLOCK))
511 		return 0;
512 	if (!S_ISREG(inode->i_mode))
513 		return 0;
514 	if (!(ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS)))
515 		return 0;
516 	if (ext4_should_journal_data(inode))
517 		return 0;
518 	/* temporary fix to prevent generic/422 test failures */
519 	if (!test_opt(inode->i_sb, DELALLOC))
520 		return 0;
521 	return 1;
522 }
523 
524 #endif	/* _EXT4_JBD2_H */
525