blob: 1ee532aaf69eadf05210ff47cef4c518503d123b [file] [log] [blame]
Dave Chinner0b61f8a2018-06-05 19:42:14 -07001// SPDX-License-Identifier: GPL-2.0
Linus Torvalds1da177e2005-04-16 15:20:36 -07002/*
Olaf Weber3e57ecf2006-06-09 14:48:12 +10003 * Copyright (c) 2000-2006 Silicon Graphics, Inc.
Nathan Scott7b718762005-11-02 14:58:39 +11004 * All Rights Reserved.
Linus Torvalds1da177e2005-04-16 15:20:36 -07005 */
Jeff Laytonf0e28282017-12-11 06:35:19 -05006#include <linux/iversion.h>
Robert P. J. Day40ebd812007-11-23 16:30:51 +11007
Linus Torvalds1da177e2005-04-16 15:20:36 -07008#include "xfs.h"
Nathan Scotta844f452005-11-02 14:38:42 +11009#include "xfs_fs.h"
Dave Chinner70a98832013-10-23 10:36:05 +110010#include "xfs_shared.h"
Dave Chinner239880e2013-10-23 10:50:10 +110011#include "xfs_format.h"
12#include "xfs_log_format.h"
13#include "xfs_trans_resv.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070014#include "xfs_sb.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070015#include "xfs_mount.h"
Darrick J. Wong3ab78df2016-08-03 11:15:38 +100016#include "xfs_defer.h"
Dave Chinnera4fbe6a2013-10-23 10:51:50 +110017#include "xfs_inode.h"
Dave Chinnerc24b5df2013-08-12 20:49:45 +100018#include "xfs_dir2.h"
Dave Chinnerc24b5df2013-08-12 20:49:45 +100019#include "xfs_attr.h"
Dave Chinner239880e2013-10-23 10:50:10 +110020#include "xfs_trans_space.h"
21#include "xfs_trans.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070022#include "xfs_buf_item.h"
Nathan Scotta844f452005-11-02 14:38:42 +110023#include "xfs_inode_item.h"
Nathan Scotta844f452005-11-02 14:38:42 +110024#include "xfs_ialloc.h"
25#include "xfs_bmap.h"
Dave Chinner68988112013-08-12 20:49:42 +100026#include "xfs_bmap_util.h"
Darrick J. Wonge9e899a2017-10-31 12:04:49 -070027#include "xfs_errortag.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070028#include "xfs_error.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070029#include "xfs_quota.h"
David Chinner2a82b8b2007-07-11 11:09:12 +100030#include "xfs_filestream.h"
Christoph Hellwig0b1b2132009-12-14 23:14:59 +000031#include "xfs_trace.h"
Dave Chinner33479e02012-10-08 21:56:11 +110032#include "xfs_icache.h"
Dave Chinnerc24b5df2013-08-12 20:49:45 +100033#include "xfs_symlink.h"
Dave Chinner239880e2013-10-23 10:50:10 +110034#include "xfs_trans_priv.h"
35#include "xfs_log.h"
Dave Chinnera4fbe6a2013-10-23 10:51:50 +110036#include "xfs_bmap_btree.h"
Darrick J. Wongaa8968f2016-10-03 09:11:38 -070037#include "xfs_reflink.h"
Linus Torvalds1da177e2005-04-16 15:20:36 -070038
Linus Torvalds1da177e2005-04-16 15:20:36 -070039kmem_zone_t *xfs_inode_zone;
Linus Torvalds1da177e2005-04-16 15:20:36 -070040
41/*
Christoph Hellwig8f04c472011-07-08 14:34:34 +020042 * Used in xfs_itruncate_extents(). This is the maximum number of extents
Linus Torvalds1da177e2005-04-16 15:20:36 -070043 * freed from a file in a single transaction.
44 */
45#define XFS_ITRUNC_MAX_EXTENTS 2
46
Dave Chinner54d7b5c2016-02-09 16:54:58 +110047STATIC int xfs_iunlink(struct xfs_trans *, struct xfs_inode *);
48STATIC int xfs_iunlink_remove(struct xfs_trans *, struct xfs_inode *);
Zhi Yong Wuab297432013-12-18 08:22:41 +080049
Dave Chinner2a0ec1d2012-04-23 15:59:02 +100050/*
51 * helper function to extract extent size hint from inode
52 */
53xfs_extlen_t
54xfs_get_extsz_hint(
55 struct xfs_inode *ip)
56{
Christoph Hellwigbdb2ed22019-10-14 10:07:21 -070057 /*
58 * No point in aligning allocations if we need to COW to actually
59 * write to them.
60 */
61 if (xfs_is_always_cow_inode(ip))
62 return 0;
Dave Chinner2a0ec1d2012-04-23 15:59:02 +100063 if ((ip->i_d.di_flags & XFS_DIFLAG_EXTSIZE) && ip->i_d.di_extsize)
64 return ip->i_d.di_extsize;
65 if (XFS_IS_REALTIME_INODE(ip))
66 return ip->i_mount->m_sb.sb_rextsize;
67 return 0;
68}
69
Dave Chinnerfa96aca2012-10-08 21:56:10 +110070/*
Darrick J. Wongf7ca3522016-10-03 09:11:43 -070071 * Helper function to extract CoW extent size hint from inode.
72 * Between the extent size hint and the CoW extent size hint, we
Darrick J. Wonge153aa72016-10-03 09:11:49 -070073 * return the greater of the two. If the value is zero (automatic),
74 * use the default size.
Darrick J. Wongf7ca3522016-10-03 09:11:43 -070075 */
76xfs_extlen_t
77xfs_get_cowextsz_hint(
78 struct xfs_inode *ip)
79{
80 xfs_extlen_t a, b;
81
82 a = 0;
83 if (ip->i_d.di_flags2 & XFS_DIFLAG2_COWEXTSIZE)
84 a = ip->i_d.di_cowextsize;
85 b = xfs_get_extsz_hint(ip);
86
Darrick J. Wonge153aa72016-10-03 09:11:49 -070087 a = max(a, b);
88 if (a == 0)
89 return XFS_DEFAULT_COWEXTSZ_HINT;
90 return a;
Darrick J. Wongf7ca3522016-10-03 09:11:43 -070091}
92
93/*
Christoph Hellwigefa70be2013-12-18 02:14:39 -080094 * These two are wrapper routines around the xfs_ilock() routine used to
95 * centralize some grungy code. They are used in places that wish to lock the
96 * inode solely for reading the extents. The reason these places can't just
97 * call xfs_ilock(ip, XFS_ILOCK_SHARED) is that the inode lock also guards to
98 * bringing in of the extents from disk for a file in b-tree format. If the
99 * inode is in b-tree format, then we need to lock the inode exclusively until
100 * the extents are read in. Locking it exclusively all the time would limit
101 * our parallelism unnecessarily, though. What we do instead is check to see
102 * if the extents have been read in yet, and only lock the inode exclusively
103 * if they have not.
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100104 *
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800105 * The functions return a value which should be given to the corresponding
Christoph Hellwig01f4f322013-12-06 12:30:08 -0800106 * xfs_iunlock() call.
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100107 */
108uint
Christoph Hellwig309ecac82013-12-06 12:30:09 -0800109xfs_ilock_data_map_shared(
110 struct xfs_inode *ip)
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100111{
Christoph Hellwig309ecac82013-12-06 12:30:09 -0800112 uint lock_mode = XFS_ILOCK_SHARED;
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100113
Christoph Hellwigf7e67b22020-05-18 10:28:05 -0700114 if (ip->i_df.if_format == XFS_DINODE_FMT_BTREE &&
Christoph Hellwig309ecac82013-12-06 12:30:09 -0800115 (ip->i_df.if_flags & XFS_IFEXTENTS) == 0)
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100116 lock_mode = XFS_ILOCK_EXCL;
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100117 xfs_ilock(ip, lock_mode);
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100118 return lock_mode;
119}
120
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800121uint
122xfs_ilock_attr_map_shared(
123 struct xfs_inode *ip)
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100124{
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800125 uint lock_mode = XFS_ILOCK_SHARED;
126
Christoph Hellwigf7e67b22020-05-18 10:28:05 -0700127 if (ip->i_afp &&
128 ip->i_afp->if_format == XFS_DINODE_FMT_BTREE &&
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800129 (ip->i_afp->if_flags & XFS_IFEXTENTS) == 0)
130 lock_mode = XFS_ILOCK_EXCL;
131 xfs_ilock(ip, lock_mode);
132 return lock_mode;
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100133}
134
135/*
Christoph Hellwig65523212016-11-30 14:33:25 +1100136 * In addition to i_rwsem in the VFS inode, the xfs inode contains 2
137 * multi-reader locks: i_mmap_lock and the i_lock. This routine allows
138 * various combinations of the locks to be obtained.
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100139 *
Dave Chinner653c60b2015-02-23 21:43:37 +1100140 * The 3 locks should always be ordered so that the IO lock is obtained first,
141 * the mmap lock second and the ilock last in order to prevent deadlock.
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100142 *
Dave Chinner653c60b2015-02-23 21:43:37 +1100143 * Basic locking order:
144 *
Christoph Hellwig65523212016-11-30 14:33:25 +1100145 * i_rwsem -> i_mmap_lock -> page_lock -> i_ilock
Dave Chinner653c60b2015-02-23 21:43:37 +1100146 *
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700147 * mmap_lock locking order:
Dave Chinner653c60b2015-02-23 21:43:37 +1100148 *
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700149 * i_rwsem -> page lock -> mmap_lock
150 * mmap_lock -> i_mmap_lock -> page_lock
Dave Chinner653c60b2015-02-23 21:43:37 +1100151 *
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700152 * The difference in mmap_lock locking order mean that we cannot hold the
Dave Chinner653c60b2015-02-23 21:43:37 +1100153 * i_mmap_lock over syscall based read(2)/write(2) based IO. These IO paths can
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700154 * fault in pages during copy in/out (for buffered IO) or require the mmap_lock
Dave Chinner653c60b2015-02-23 21:43:37 +1100155 * in get_user_pages() to map the user pages into the kernel address space for
Christoph Hellwig65523212016-11-30 14:33:25 +1100156 * direct IO. Similarly the i_rwsem cannot be taken inside a page fault because
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -0700157 * page faults already hold the mmap_lock.
Dave Chinner653c60b2015-02-23 21:43:37 +1100158 *
159 * Hence to serialise fully against both syscall and mmap based IO, we need to
Christoph Hellwig65523212016-11-30 14:33:25 +1100160 * take both the i_rwsem and the i_mmap_lock. These locks should *only* be both
Dave Chinner653c60b2015-02-23 21:43:37 +1100161 * taken in places where we need to invalidate the page cache in a race
162 * free manner (e.g. truncate, hole punch and other extent manipulation
163 * functions).
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100164 */
165void
166xfs_ilock(
167 xfs_inode_t *ip,
168 uint lock_flags)
169{
170 trace_xfs_ilock(ip, lock_flags, _RET_IP_);
171
172 /*
173 * You can't set both SHARED and EXCL for the same lock,
174 * and only XFS_IOLOCK_SHARED, XFS_IOLOCK_EXCL, XFS_ILOCK_SHARED,
175 * and XFS_ILOCK_EXCL are valid values to set in lock_flags.
176 */
177 ASSERT((lock_flags & (XFS_IOLOCK_SHARED | XFS_IOLOCK_EXCL)) !=
178 (XFS_IOLOCK_SHARED | XFS_IOLOCK_EXCL));
Dave Chinner653c60b2015-02-23 21:43:37 +1100179 ASSERT((lock_flags & (XFS_MMAPLOCK_SHARED | XFS_MMAPLOCK_EXCL)) !=
180 (XFS_MMAPLOCK_SHARED | XFS_MMAPLOCK_EXCL));
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100181 ASSERT((lock_flags & (XFS_ILOCK_SHARED | XFS_ILOCK_EXCL)) !=
182 (XFS_ILOCK_SHARED | XFS_ILOCK_EXCL));
Dave Chinner0952c812015-08-19 10:32:49 +1000183 ASSERT((lock_flags & ~(XFS_LOCK_MASK | XFS_LOCK_SUBCLASS_MASK)) == 0);
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100184
Christoph Hellwig65523212016-11-30 14:33:25 +1100185 if (lock_flags & XFS_IOLOCK_EXCL) {
186 down_write_nested(&VFS_I(ip)->i_rwsem,
187 XFS_IOLOCK_DEP(lock_flags));
188 } else if (lock_flags & XFS_IOLOCK_SHARED) {
189 down_read_nested(&VFS_I(ip)->i_rwsem,
190 XFS_IOLOCK_DEP(lock_flags));
191 }
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100192
Dave Chinner653c60b2015-02-23 21:43:37 +1100193 if (lock_flags & XFS_MMAPLOCK_EXCL)
194 mrupdate_nested(&ip->i_mmaplock, XFS_MMAPLOCK_DEP(lock_flags));
195 else if (lock_flags & XFS_MMAPLOCK_SHARED)
196 mraccess_nested(&ip->i_mmaplock, XFS_MMAPLOCK_DEP(lock_flags));
197
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100198 if (lock_flags & XFS_ILOCK_EXCL)
199 mrupdate_nested(&ip->i_lock, XFS_ILOCK_DEP(lock_flags));
200 else if (lock_flags & XFS_ILOCK_SHARED)
201 mraccess_nested(&ip->i_lock, XFS_ILOCK_DEP(lock_flags));
202}
203
204/*
205 * This is just like xfs_ilock(), except that the caller
206 * is guaranteed not to sleep. It returns 1 if it gets
207 * the requested locks and 0 otherwise. If the IO lock is
208 * obtained but the inode lock cannot be, then the IO lock
209 * is dropped before returning.
210 *
211 * ip -- the inode being locked
212 * lock_flags -- this parameter indicates the inode's locks to be
213 * to be locked. See the comment for xfs_ilock() for a list
214 * of valid values.
215 */
216int
217xfs_ilock_nowait(
218 xfs_inode_t *ip,
219 uint lock_flags)
220{
221 trace_xfs_ilock_nowait(ip, lock_flags, _RET_IP_);
222
223 /*
224 * You can't set both SHARED and EXCL for the same lock,
225 * and only XFS_IOLOCK_SHARED, XFS_IOLOCK_EXCL, XFS_ILOCK_SHARED,
226 * and XFS_ILOCK_EXCL are valid values to set in lock_flags.
227 */
228 ASSERT((lock_flags & (XFS_IOLOCK_SHARED | XFS_IOLOCK_EXCL)) !=
229 (XFS_IOLOCK_SHARED | XFS_IOLOCK_EXCL));
Dave Chinner653c60b2015-02-23 21:43:37 +1100230 ASSERT((lock_flags & (XFS_MMAPLOCK_SHARED | XFS_MMAPLOCK_EXCL)) !=
231 (XFS_MMAPLOCK_SHARED | XFS_MMAPLOCK_EXCL));
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100232 ASSERT((lock_flags & (XFS_ILOCK_SHARED | XFS_ILOCK_EXCL)) !=
233 (XFS_ILOCK_SHARED | XFS_ILOCK_EXCL));
Dave Chinner0952c812015-08-19 10:32:49 +1000234 ASSERT((lock_flags & ~(XFS_LOCK_MASK | XFS_LOCK_SUBCLASS_MASK)) == 0);
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100235
236 if (lock_flags & XFS_IOLOCK_EXCL) {
Christoph Hellwig65523212016-11-30 14:33:25 +1100237 if (!down_write_trylock(&VFS_I(ip)->i_rwsem))
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100238 goto out;
239 } else if (lock_flags & XFS_IOLOCK_SHARED) {
Christoph Hellwig65523212016-11-30 14:33:25 +1100240 if (!down_read_trylock(&VFS_I(ip)->i_rwsem))
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100241 goto out;
242 }
Dave Chinner653c60b2015-02-23 21:43:37 +1100243
244 if (lock_flags & XFS_MMAPLOCK_EXCL) {
245 if (!mrtryupdate(&ip->i_mmaplock))
246 goto out_undo_iolock;
247 } else if (lock_flags & XFS_MMAPLOCK_SHARED) {
248 if (!mrtryaccess(&ip->i_mmaplock))
249 goto out_undo_iolock;
250 }
251
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100252 if (lock_flags & XFS_ILOCK_EXCL) {
253 if (!mrtryupdate(&ip->i_lock))
Dave Chinner653c60b2015-02-23 21:43:37 +1100254 goto out_undo_mmaplock;
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100255 } else if (lock_flags & XFS_ILOCK_SHARED) {
256 if (!mrtryaccess(&ip->i_lock))
Dave Chinner653c60b2015-02-23 21:43:37 +1100257 goto out_undo_mmaplock;
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100258 }
259 return 1;
260
Dave Chinner653c60b2015-02-23 21:43:37 +1100261out_undo_mmaplock:
262 if (lock_flags & XFS_MMAPLOCK_EXCL)
263 mrunlock_excl(&ip->i_mmaplock);
264 else if (lock_flags & XFS_MMAPLOCK_SHARED)
265 mrunlock_shared(&ip->i_mmaplock);
266out_undo_iolock:
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100267 if (lock_flags & XFS_IOLOCK_EXCL)
Christoph Hellwig65523212016-11-30 14:33:25 +1100268 up_write(&VFS_I(ip)->i_rwsem);
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100269 else if (lock_flags & XFS_IOLOCK_SHARED)
Christoph Hellwig65523212016-11-30 14:33:25 +1100270 up_read(&VFS_I(ip)->i_rwsem);
Dave Chinner653c60b2015-02-23 21:43:37 +1100271out:
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100272 return 0;
273}
274
275/*
276 * xfs_iunlock() is used to drop the inode locks acquired with
277 * xfs_ilock() and xfs_ilock_nowait(). The caller must pass
278 * in the flags given to xfs_ilock() or xfs_ilock_nowait() so
279 * that we know which locks to drop.
280 *
281 * ip -- the inode being unlocked
282 * lock_flags -- this parameter indicates the inode's locks to be
283 * to be unlocked. See the comment for xfs_ilock() for a list
284 * of valid values for this parameter.
285 *
286 */
287void
288xfs_iunlock(
289 xfs_inode_t *ip,
290 uint lock_flags)
291{
292 /*
293 * You can't set both SHARED and EXCL for the same lock,
294 * and only XFS_IOLOCK_SHARED, XFS_IOLOCK_EXCL, XFS_ILOCK_SHARED,
295 * and XFS_ILOCK_EXCL are valid values to set in lock_flags.
296 */
297 ASSERT((lock_flags & (XFS_IOLOCK_SHARED | XFS_IOLOCK_EXCL)) !=
298 (XFS_IOLOCK_SHARED | XFS_IOLOCK_EXCL));
Dave Chinner653c60b2015-02-23 21:43:37 +1100299 ASSERT((lock_flags & (XFS_MMAPLOCK_SHARED | XFS_MMAPLOCK_EXCL)) !=
300 (XFS_MMAPLOCK_SHARED | XFS_MMAPLOCK_EXCL));
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100301 ASSERT((lock_flags & (XFS_ILOCK_SHARED | XFS_ILOCK_EXCL)) !=
302 (XFS_ILOCK_SHARED | XFS_ILOCK_EXCL));
Dave Chinner0952c812015-08-19 10:32:49 +1000303 ASSERT((lock_flags & ~(XFS_LOCK_MASK | XFS_LOCK_SUBCLASS_MASK)) == 0);
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100304 ASSERT(lock_flags != 0);
305
306 if (lock_flags & XFS_IOLOCK_EXCL)
Christoph Hellwig65523212016-11-30 14:33:25 +1100307 up_write(&VFS_I(ip)->i_rwsem);
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100308 else if (lock_flags & XFS_IOLOCK_SHARED)
Christoph Hellwig65523212016-11-30 14:33:25 +1100309 up_read(&VFS_I(ip)->i_rwsem);
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100310
Dave Chinner653c60b2015-02-23 21:43:37 +1100311 if (lock_flags & XFS_MMAPLOCK_EXCL)
312 mrunlock_excl(&ip->i_mmaplock);
313 else if (lock_flags & XFS_MMAPLOCK_SHARED)
314 mrunlock_shared(&ip->i_mmaplock);
315
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100316 if (lock_flags & XFS_ILOCK_EXCL)
317 mrunlock_excl(&ip->i_lock);
318 else if (lock_flags & XFS_ILOCK_SHARED)
319 mrunlock_shared(&ip->i_lock);
320
321 trace_xfs_iunlock(ip, lock_flags, _RET_IP_);
322}
323
324/*
325 * give up write locks. the i/o lock cannot be held nested
326 * if it is being demoted.
327 */
328void
329xfs_ilock_demote(
330 xfs_inode_t *ip,
331 uint lock_flags)
332{
Dave Chinner653c60b2015-02-23 21:43:37 +1100333 ASSERT(lock_flags & (XFS_IOLOCK_EXCL|XFS_MMAPLOCK_EXCL|XFS_ILOCK_EXCL));
334 ASSERT((lock_flags &
335 ~(XFS_IOLOCK_EXCL|XFS_MMAPLOCK_EXCL|XFS_ILOCK_EXCL)) == 0);
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100336
337 if (lock_flags & XFS_ILOCK_EXCL)
338 mrdemote(&ip->i_lock);
Dave Chinner653c60b2015-02-23 21:43:37 +1100339 if (lock_flags & XFS_MMAPLOCK_EXCL)
340 mrdemote(&ip->i_mmaplock);
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100341 if (lock_flags & XFS_IOLOCK_EXCL)
Christoph Hellwig65523212016-11-30 14:33:25 +1100342 downgrade_write(&VFS_I(ip)->i_rwsem);
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100343
344 trace_xfs_ilock_demote(ip, lock_flags, _RET_IP_);
345}
346
Dave Chinner742ae1e2013-04-30 21:39:34 +1000347#if defined(DEBUG) || defined(XFS_WARN)
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100348int
349xfs_isilocked(
350 xfs_inode_t *ip,
351 uint lock_flags)
352{
353 if (lock_flags & (XFS_ILOCK_EXCL|XFS_ILOCK_SHARED)) {
354 if (!(lock_flags & XFS_ILOCK_SHARED))
355 return !!ip->i_lock.mr_writer;
356 return rwsem_is_locked(&ip->i_lock.mr_lock);
357 }
358
Dave Chinner653c60b2015-02-23 21:43:37 +1100359 if (lock_flags & (XFS_MMAPLOCK_EXCL|XFS_MMAPLOCK_SHARED)) {
360 if (!(lock_flags & XFS_MMAPLOCK_SHARED))
361 return !!ip->i_mmaplock.mr_writer;
362 return rwsem_is_locked(&ip->i_mmaplock.mr_lock);
363 }
364
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100365 if (lock_flags & (XFS_IOLOCK_EXCL|XFS_IOLOCK_SHARED)) {
366 if (!(lock_flags & XFS_IOLOCK_SHARED))
Christoph Hellwig65523212016-11-30 14:33:25 +1100367 return !debug_locks ||
368 lockdep_is_held_type(&VFS_I(ip)->i_rwsem, 0);
369 return rwsem_is_locked(&VFS_I(ip)->i_rwsem);
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100370 }
371
372 ASSERT(0);
373 return 0;
374}
375#endif
376
Dave Chinnerb6a99472015-08-25 10:05:13 +1000377/*
378 * xfs_lockdep_subclass_ok() is only used in an ASSERT, so is only called when
379 * DEBUG or XFS_WARN is set. And MAX_LOCKDEP_SUBCLASSES is then only defined
380 * when CONFIG_LOCKDEP is set. Hence the complex define below to avoid build
381 * errors and warnings.
382 */
383#if (defined(DEBUG) || defined(XFS_WARN)) && defined(CONFIG_LOCKDEP)
Dave Chinner3403ccc2015-08-20 09:27:49 +1000384static bool
385xfs_lockdep_subclass_ok(
386 int subclass)
387{
388 return subclass < MAX_LOCKDEP_SUBCLASSES;
389}
390#else
391#define xfs_lockdep_subclass_ok(subclass) (true)
392#endif
393
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000394/*
Dave Chinner653c60b2015-02-23 21:43:37 +1100395 * Bump the subclass so xfs_lock_inodes() acquires each lock with a different
Dave Chinner0952c812015-08-19 10:32:49 +1000396 * value. This can be called for any type of inode lock combination, including
397 * parent locking. Care must be taken to ensure we don't overrun the subclass
398 * storage fields in the class mask we build.
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000399 */
400static inline int
401xfs_lock_inumorder(int lock_mode, int subclass)
402{
Dave Chinner0952c812015-08-19 10:32:49 +1000403 int class = 0;
404
405 ASSERT(!(lock_mode & (XFS_ILOCK_PARENT | XFS_ILOCK_RTBITMAP |
406 XFS_ILOCK_RTSUM)));
Dave Chinner3403ccc2015-08-20 09:27:49 +1000407 ASSERT(xfs_lockdep_subclass_ok(subclass));
Dave Chinner0952c812015-08-19 10:32:49 +1000408
Dave Chinner653c60b2015-02-23 21:43:37 +1100409 if (lock_mode & (XFS_IOLOCK_SHARED|XFS_IOLOCK_EXCL)) {
Dave Chinner0952c812015-08-19 10:32:49 +1000410 ASSERT(subclass <= XFS_IOLOCK_MAX_SUBCLASS);
Dave Chinner0952c812015-08-19 10:32:49 +1000411 class += subclass << XFS_IOLOCK_SHIFT;
Dave Chinner653c60b2015-02-23 21:43:37 +1100412 }
413
414 if (lock_mode & (XFS_MMAPLOCK_SHARED|XFS_MMAPLOCK_EXCL)) {
Dave Chinner0952c812015-08-19 10:32:49 +1000415 ASSERT(subclass <= XFS_MMAPLOCK_MAX_SUBCLASS);
416 class += subclass << XFS_MMAPLOCK_SHIFT;
Dave Chinner653c60b2015-02-23 21:43:37 +1100417 }
418
Dave Chinner0952c812015-08-19 10:32:49 +1000419 if (lock_mode & (XFS_ILOCK_SHARED|XFS_ILOCK_EXCL)) {
420 ASSERT(subclass <= XFS_ILOCK_MAX_SUBCLASS);
421 class += subclass << XFS_ILOCK_SHIFT;
422 }
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000423
Dave Chinner0952c812015-08-19 10:32:49 +1000424 return (lock_mode & ~XFS_LOCK_SUBCLASS_MASK) | class;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000425}
426
427/*
Dave Chinner95afcf52015-03-25 14:03:32 +1100428 * The following routine will lock n inodes in exclusive mode. We assume the
429 * caller calls us with the inodes in i_ino order.
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000430 *
Dave Chinner95afcf52015-03-25 14:03:32 +1100431 * We need to detect deadlock where an inode that we lock is in the AIL and we
432 * start waiting for another inode that is locked by a thread in a long running
433 * transaction (such as truncate). This can result in deadlock since the long
434 * running trans might need to wait for the inode we just locked in order to
435 * push the tail and free space in the log.
Dave Chinner0952c812015-08-19 10:32:49 +1000436 *
437 * xfs_lock_inodes() can only be used to lock one type of lock at a time -
438 * the iolock, the mmaplock or the ilock, but not more than one at a time. If we
439 * lock more than one at a time, lockdep will report false positives saying we
440 * have violated locking orders.
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000441 */
Eric Sandeen0d5a75e2016-06-01 17:38:15 +1000442static void
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000443xfs_lock_inodes(
Christoph Hellwigefe23302019-06-28 19:27:33 -0700444 struct xfs_inode **ips,
445 int inodes,
446 uint lock_mode)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000447{
Christoph Hellwigefe23302019-06-28 19:27:33 -0700448 int attempts = 0, i, j, try_lock;
449 struct xfs_log_item *lp;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000450
Dave Chinner0952c812015-08-19 10:32:49 +1000451 /*
452 * Currently supports between 2 and 5 inodes with exclusive locking. We
453 * support an arbitrary depth of locking here, but absolute limits on
Randy Dunlapb63da6c2020-08-05 08:49:58 -0700454 * inodes depend on the type of locking and the limits placed by
Dave Chinner0952c812015-08-19 10:32:49 +1000455 * lockdep annotations in xfs_lock_inumorder. These are all checked by
456 * the asserts.
457 */
Dave Chinner95afcf52015-03-25 14:03:32 +1100458 ASSERT(ips && inodes >= 2 && inodes <= 5);
Dave Chinner0952c812015-08-19 10:32:49 +1000459 ASSERT(lock_mode & (XFS_IOLOCK_EXCL | XFS_MMAPLOCK_EXCL |
460 XFS_ILOCK_EXCL));
461 ASSERT(!(lock_mode & (XFS_IOLOCK_SHARED | XFS_MMAPLOCK_SHARED |
462 XFS_ILOCK_SHARED)));
Dave Chinner0952c812015-08-19 10:32:49 +1000463 ASSERT(!(lock_mode & XFS_MMAPLOCK_EXCL) ||
464 inodes <= XFS_MMAPLOCK_MAX_SUBCLASS + 1);
465 ASSERT(!(lock_mode & XFS_ILOCK_EXCL) ||
466 inodes <= XFS_ILOCK_MAX_SUBCLASS + 1);
467
468 if (lock_mode & XFS_IOLOCK_EXCL) {
469 ASSERT(!(lock_mode & (XFS_MMAPLOCK_EXCL | XFS_ILOCK_EXCL)));
470 } else if (lock_mode & XFS_MMAPLOCK_EXCL)
471 ASSERT(!(lock_mode & XFS_ILOCK_EXCL));
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000472
473 try_lock = 0;
474 i = 0;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000475again:
476 for (; i < inodes; i++) {
477 ASSERT(ips[i]);
478
Dave Chinner95afcf52015-03-25 14:03:32 +1100479 if (i && (ips[i] == ips[i - 1])) /* Already locked */
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000480 continue;
481
482 /*
Dave Chinner95afcf52015-03-25 14:03:32 +1100483 * If try_lock is not set yet, make sure all locked inodes are
484 * not in the AIL. If any are, set try_lock to be used later.
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000485 */
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000486 if (!try_lock) {
487 for (j = (i - 1); j >= 0 && !try_lock; j--) {
Christoph Hellwigb3b14aa2019-06-28 19:27:33 -0700488 lp = &ips[j]->i_itemp->ili_item;
Dave Chinner22525c12018-05-09 07:47:34 -0700489 if (lp && test_bit(XFS_LI_IN_AIL, &lp->li_flags))
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000490 try_lock++;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000491 }
492 }
493
494 /*
495 * If any of the previous locks we have locked is in the AIL,
496 * we must TRY to get the second and subsequent locks. If
497 * we can't get any, we must release all we have
498 * and try again.
499 */
Dave Chinner95afcf52015-03-25 14:03:32 +1100500 if (!try_lock) {
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000501 xfs_ilock(ips[i], xfs_lock_inumorder(lock_mode, i));
Dave Chinner95afcf52015-03-25 14:03:32 +1100502 continue;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000503 }
Dave Chinner95afcf52015-03-25 14:03:32 +1100504
505 /* try_lock means we have an inode locked that is in the AIL. */
506 ASSERT(i != 0);
507 if (xfs_ilock_nowait(ips[i], xfs_lock_inumorder(lock_mode, i)))
508 continue;
509
510 /*
511 * Unlock all previous guys and try again. xfs_iunlock will try
512 * to push the tail if the inode is in the AIL.
513 */
514 attempts++;
515 for (j = i - 1; j >= 0; j--) {
516 /*
517 * Check to see if we've already unlocked this one. Not
518 * the first one going back, and the inode ptr is the
519 * same.
520 */
521 if (j != (i - 1) && ips[j] == ips[j + 1])
522 continue;
523
524 xfs_iunlock(ips[j], lock_mode);
525 }
526
527 if ((attempts % 5) == 0) {
528 delay(1); /* Don't just spin the CPU */
Dave Chinner95afcf52015-03-25 14:03:32 +1100529 }
530 i = 0;
531 try_lock = 0;
532 goto again;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000533 }
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000534}
535
536/*
Dave Chinner653c60b2015-02-23 21:43:37 +1100537 * xfs_lock_two_inodes() can only be used to lock one type of lock at a time -
Darrick J. Wong7c2d2382018-01-26 15:27:33 -0800538 * the mmaplock or the ilock, but not more than one type at a time. If we lock
539 * more than one at a time, lockdep will report false positives saying we have
540 * violated locking orders. The iolock must be double-locked separately since
541 * we use i_rwsem for that. We now support taking one lock EXCL and the other
542 * SHARED.
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000543 */
544void
545xfs_lock_two_inodes(
Darrick J. Wong7c2d2382018-01-26 15:27:33 -0800546 struct xfs_inode *ip0,
547 uint ip0_mode,
548 struct xfs_inode *ip1,
549 uint ip1_mode)
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000550{
Darrick J. Wong7c2d2382018-01-26 15:27:33 -0800551 struct xfs_inode *temp;
552 uint mode_temp;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000553 int attempts = 0;
Christoph Hellwigefe23302019-06-28 19:27:33 -0700554 struct xfs_log_item *lp;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000555
Darrick J. Wong7c2d2382018-01-26 15:27:33 -0800556 ASSERT(hweight32(ip0_mode) == 1);
557 ASSERT(hweight32(ip1_mode) == 1);
558 ASSERT(!(ip0_mode & (XFS_IOLOCK_SHARED|XFS_IOLOCK_EXCL)));
559 ASSERT(!(ip1_mode & (XFS_IOLOCK_SHARED|XFS_IOLOCK_EXCL)));
560 ASSERT(!(ip0_mode & (XFS_MMAPLOCK_SHARED|XFS_MMAPLOCK_EXCL)) ||
561 !(ip0_mode & (XFS_ILOCK_SHARED|XFS_ILOCK_EXCL)));
562 ASSERT(!(ip1_mode & (XFS_MMAPLOCK_SHARED|XFS_MMAPLOCK_EXCL)) ||
563 !(ip1_mode & (XFS_ILOCK_SHARED|XFS_ILOCK_EXCL)));
564 ASSERT(!(ip1_mode & (XFS_MMAPLOCK_SHARED|XFS_MMAPLOCK_EXCL)) ||
565 !(ip0_mode & (XFS_ILOCK_SHARED|XFS_ILOCK_EXCL)));
566 ASSERT(!(ip0_mode & (XFS_MMAPLOCK_SHARED|XFS_MMAPLOCK_EXCL)) ||
567 !(ip1_mode & (XFS_ILOCK_SHARED|XFS_ILOCK_EXCL)));
Dave Chinner653c60b2015-02-23 21:43:37 +1100568
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000569 ASSERT(ip0->i_ino != ip1->i_ino);
570
571 if (ip0->i_ino > ip1->i_ino) {
572 temp = ip0;
573 ip0 = ip1;
574 ip1 = temp;
Darrick J. Wong7c2d2382018-01-26 15:27:33 -0800575 mode_temp = ip0_mode;
576 ip0_mode = ip1_mode;
577 ip1_mode = mode_temp;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000578 }
579
580 again:
Darrick J. Wong7c2d2382018-01-26 15:27:33 -0800581 xfs_ilock(ip0, xfs_lock_inumorder(ip0_mode, 0));
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000582
583 /*
584 * If the first lock we have locked is in the AIL, we must TRY to get
585 * the second lock. If we can't get it, we must release the first one
586 * and try again.
587 */
Christoph Hellwigb3b14aa2019-06-28 19:27:33 -0700588 lp = &ip0->i_itemp->ili_item;
Dave Chinner22525c12018-05-09 07:47:34 -0700589 if (lp && test_bit(XFS_LI_IN_AIL, &lp->li_flags)) {
Darrick J. Wong7c2d2382018-01-26 15:27:33 -0800590 if (!xfs_ilock_nowait(ip1, xfs_lock_inumorder(ip1_mode, 1))) {
591 xfs_iunlock(ip0, ip0_mode);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000592 if ((++attempts % 5) == 0)
593 delay(1); /* Don't just spin the CPU */
594 goto again;
595 }
596 } else {
Darrick J. Wong7c2d2382018-01-26 15:27:33 -0800597 xfs_ilock(ip1, xfs_lock_inumorder(ip1_mode, 1));
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000598 }
599}
600
Linus Torvalds1da177e2005-04-16 15:20:36 -0700601STATIC uint
602_xfs_dic2xflags(
Darrick J. Wongc8ce5402017-06-16 11:00:05 -0700603 uint16_t di_flags,
Dave Chinner58f88ca2016-01-04 16:44:15 +1100604 uint64_t di_flags2,
605 bool has_attr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700606{
607 uint flags = 0;
608
609 if (di_flags & XFS_DIFLAG_ANY) {
610 if (di_flags & XFS_DIFLAG_REALTIME)
Dave Chinnere7b89482016-01-04 16:44:15 +1100611 flags |= FS_XFLAG_REALTIME;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700612 if (di_flags & XFS_DIFLAG_PREALLOC)
Dave Chinnere7b89482016-01-04 16:44:15 +1100613 flags |= FS_XFLAG_PREALLOC;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700614 if (di_flags & XFS_DIFLAG_IMMUTABLE)
Dave Chinnere7b89482016-01-04 16:44:15 +1100615 flags |= FS_XFLAG_IMMUTABLE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700616 if (di_flags & XFS_DIFLAG_APPEND)
Dave Chinnere7b89482016-01-04 16:44:15 +1100617 flags |= FS_XFLAG_APPEND;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700618 if (di_flags & XFS_DIFLAG_SYNC)
Dave Chinnere7b89482016-01-04 16:44:15 +1100619 flags |= FS_XFLAG_SYNC;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700620 if (di_flags & XFS_DIFLAG_NOATIME)
Dave Chinnere7b89482016-01-04 16:44:15 +1100621 flags |= FS_XFLAG_NOATIME;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700622 if (di_flags & XFS_DIFLAG_NODUMP)
Dave Chinnere7b89482016-01-04 16:44:15 +1100623 flags |= FS_XFLAG_NODUMP;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700624 if (di_flags & XFS_DIFLAG_RTINHERIT)
Dave Chinnere7b89482016-01-04 16:44:15 +1100625 flags |= FS_XFLAG_RTINHERIT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700626 if (di_flags & XFS_DIFLAG_PROJINHERIT)
Dave Chinnere7b89482016-01-04 16:44:15 +1100627 flags |= FS_XFLAG_PROJINHERIT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700628 if (di_flags & XFS_DIFLAG_NOSYMLINKS)
Dave Chinnere7b89482016-01-04 16:44:15 +1100629 flags |= FS_XFLAG_NOSYMLINKS;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100630 if (di_flags & XFS_DIFLAG_EXTSIZE)
Dave Chinnere7b89482016-01-04 16:44:15 +1100631 flags |= FS_XFLAG_EXTSIZE;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100632 if (di_flags & XFS_DIFLAG_EXTSZINHERIT)
Dave Chinnere7b89482016-01-04 16:44:15 +1100633 flags |= FS_XFLAG_EXTSZINHERIT;
Barry Naujokd3446ea2006-06-09 14:54:19 +1000634 if (di_flags & XFS_DIFLAG_NODEFRAG)
Dave Chinnere7b89482016-01-04 16:44:15 +1100635 flags |= FS_XFLAG_NODEFRAG;
David Chinner2a82b8b2007-07-11 11:09:12 +1000636 if (di_flags & XFS_DIFLAG_FILESTREAM)
Dave Chinnere7b89482016-01-04 16:44:15 +1100637 flags |= FS_XFLAG_FILESTREAM;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700638 }
639
Dave Chinner58f88ca2016-01-04 16:44:15 +1100640 if (di_flags2 & XFS_DIFLAG2_ANY) {
641 if (di_flags2 & XFS_DIFLAG2_DAX)
642 flags |= FS_XFLAG_DAX;
Darrick J. Wongf7ca3522016-10-03 09:11:43 -0700643 if (di_flags2 & XFS_DIFLAG2_COWEXTSIZE)
644 flags |= FS_XFLAG_COWEXTSIZE;
Dave Chinner58f88ca2016-01-04 16:44:15 +1100645 }
646
647 if (has_attr)
648 flags |= FS_XFLAG_HASATTR;
649
Linus Torvalds1da177e2005-04-16 15:20:36 -0700650 return flags;
651}
652
653uint
654xfs_ip2xflags(
Dave Chinner58f88ca2016-01-04 16:44:15 +1100655 struct xfs_inode *ip)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700656{
Dave Chinner58f88ca2016-01-04 16:44:15 +1100657 struct xfs_icdinode *dic = &ip->i_d;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700658
Dave Chinner58f88ca2016-01-04 16:44:15 +1100659 return _xfs_dic2xflags(dic->di_flags, dic->di_flags2, XFS_IFORK_Q(ip));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700660}
661
Linus Torvalds1da177e2005-04-16 15:20:36 -0700662/*
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000663 * Lookups up an inode from "name". If ci_name is not NULL, then a CI match
664 * is allowed, otherwise it has to be an exact match. If a CI match is found,
665 * ci_name->name will point to a the actual name (caller must free) or
666 * will be set to NULL if an exact match is found.
667 */
668int
669xfs_lookup(
670 xfs_inode_t *dp,
671 struct xfs_name *name,
672 xfs_inode_t **ipp,
673 struct xfs_name *ci_name)
674{
675 xfs_ino_t inum;
676 int error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000677
678 trace_xfs_lookup(dp, name);
679
680 if (XFS_FORCED_SHUTDOWN(dp->i_mount))
Dave Chinner24513372014-06-25 14:58:08 +1000681 return -EIO;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000682
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000683 error = xfs_dir_lookup(NULL, dp, name, &inum, ci_name);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000684 if (error)
Dave Chinnerdbad7c92015-08-19 10:33:00 +1000685 goto out_unlock;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000686
687 error = xfs_iget(dp->i_mount, NULL, inum, 0, 0, ipp);
688 if (error)
689 goto out_free_name;
690
691 return 0;
692
693out_free_name:
694 if (ci_name)
695 kmem_free(ci_name->name);
Dave Chinnerdbad7c92015-08-19 10:33:00 +1000696out_unlock:
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000697 *ipp = NULL;
698 return error;
699}
700
Darrick J. Wong8a569d72020-09-13 10:16:40 -0700701/* Propagate di_flags from a parent inode to a child inode. */
702static void
703xfs_inode_inherit_flags(
704 struct xfs_inode *ip,
705 const struct xfs_inode *pip)
706{
707 unsigned int di_flags = 0;
708 umode_t mode = VFS_I(ip)->i_mode;
709
710 if (S_ISDIR(mode)) {
711 if (pip->i_d.di_flags & XFS_DIFLAG_RTINHERIT)
712 di_flags |= XFS_DIFLAG_RTINHERIT;
713 if (pip->i_d.di_flags & XFS_DIFLAG_EXTSZINHERIT) {
714 di_flags |= XFS_DIFLAG_EXTSZINHERIT;
715 ip->i_d.di_extsize = pip->i_d.di_extsize;
716 }
717 if (pip->i_d.di_flags & XFS_DIFLAG_PROJINHERIT)
718 di_flags |= XFS_DIFLAG_PROJINHERIT;
719 } else if (S_ISREG(mode)) {
Darrick J. Wongd4f2c142020-09-13 10:16:41 -0700720 if ((pip->i_d.di_flags & XFS_DIFLAG_RTINHERIT) &&
721 xfs_sb_version_hasrealtime(&ip->i_mount->m_sb))
Darrick J. Wong8a569d72020-09-13 10:16:40 -0700722 di_flags |= XFS_DIFLAG_REALTIME;
723 if (pip->i_d.di_flags & XFS_DIFLAG_EXTSZINHERIT) {
724 di_flags |= XFS_DIFLAG_EXTSIZE;
725 ip->i_d.di_extsize = pip->i_d.di_extsize;
726 }
727 }
728 if ((pip->i_d.di_flags & XFS_DIFLAG_NOATIME) &&
729 xfs_inherit_noatime)
730 di_flags |= XFS_DIFLAG_NOATIME;
731 if ((pip->i_d.di_flags & XFS_DIFLAG_NODUMP) &&
732 xfs_inherit_nodump)
733 di_flags |= XFS_DIFLAG_NODUMP;
734 if ((pip->i_d.di_flags & XFS_DIFLAG_SYNC) &&
735 xfs_inherit_sync)
736 di_flags |= XFS_DIFLAG_SYNC;
737 if ((pip->i_d.di_flags & XFS_DIFLAG_NOSYMLINKS) &&
738 xfs_inherit_nosymlinks)
739 di_flags |= XFS_DIFLAG_NOSYMLINKS;
740 if ((pip->i_d.di_flags & XFS_DIFLAG_NODEFRAG) &&
741 xfs_inherit_nodefrag)
742 di_flags |= XFS_DIFLAG_NODEFRAG;
743 if (pip->i_d.di_flags & XFS_DIFLAG_FILESTREAM)
744 di_flags |= XFS_DIFLAG_FILESTREAM;
745
746 ip->i_d.di_flags |= di_flags;
747}
748
749/* Propagate di_flags2 from a parent inode to a child inode. */
750static void
751xfs_inode_inherit_flags2(
752 struct xfs_inode *ip,
753 const struct xfs_inode *pip)
754{
755 if (pip->i_d.di_flags2 & XFS_DIFLAG2_COWEXTSIZE) {
756 ip->i_d.di_flags2 |= XFS_DIFLAG2_COWEXTSIZE;
757 ip->i_d.di_cowextsize = pip->i_d.di_cowextsize;
758 }
759 if (pip->i_d.di_flags2 & XFS_DIFLAG2_DAX)
760 ip->i_d.di_flags2 |= XFS_DIFLAG2_DAX;
761}
762
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000763/*
Dave Chinner1abcf262020-12-09 10:05:15 -0800764 * Initialise a newly allocated inode and return the in-core inode to the
765 * caller locked exclusively.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700766 */
Eric Sandeen0d5a75e2016-06-01 17:38:15 +1000767static int
Dave Chinner1abcf262020-12-09 10:05:15 -0800768xfs_init_new_inode(
Christoph Hellwigf736d932021-01-21 14:19:58 +0100769 struct user_namespace *mnt_userns,
Dave Chinner1abcf262020-12-09 10:05:15 -0800770 struct xfs_trans *tp,
771 struct xfs_inode *pip,
772 xfs_ino_t ino,
773 umode_t mode,
774 xfs_nlink_t nlink,
775 dev_t rdev,
776 prid_t prid,
Dave Chinnere6a688c2021-03-22 09:52:03 -0700777 bool init_xattrs,
Dave Chinner1abcf262020-12-09 10:05:15 -0800778 struct xfs_inode **ipp)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700779{
Christoph Hellwig01ea1732021-01-22 16:48:18 -0800780 struct inode *dir = pip ? VFS_I(pip) : NULL;
Dave Chinner1abcf262020-12-09 10:05:15 -0800781 struct xfs_mount *mp = tp->t_mountp;
782 struct xfs_inode *ip;
783 unsigned int flags;
784 int error;
785 struct timespec64 tv;
786 struct inode *inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700787
788 /*
Dave Chinner8b269842018-04-17 17:17:35 -0700789 * Protect against obviously corrupt allocation btree records. Later
790 * xfs_iget checks will catch re-allocation of other active in-memory
791 * and on-disk inodes. If we don't catch reallocating the parent inode
792 * here we will deadlock in xfs_iget() so we have to do these checks
793 * first.
794 */
795 if ((pip && ino == pip->i_ino) || !xfs_verify_dir_ino(mp, ino)) {
796 xfs_alert(mp, "Allocated a known in-use inode 0x%llx!", ino);
797 return -EFSCORRUPTED;
798 }
799
800 /*
Dave Chinner1abcf262020-12-09 10:05:15 -0800801 * Get the in-core inode with the lock held exclusively to prevent
802 * others from looking at until we're done.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700803 */
Dave Chinner1abcf262020-12-09 10:05:15 -0800804 error = xfs_iget(mp, tp, ino, XFS_IGET_CREATE, XFS_ILOCK_EXCL, &ip);
David Chinnerbf904242008-10-30 17:36:14 +1100805 if (error)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700806 return error;
Dave Chinner1abcf262020-12-09 10:05:15 -0800807
Linus Torvalds1da177e2005-04-16 15:20:36 -0700808 ASSERT(ip != NULL);
Dave Chinner39878482016-02-09 16:54:58 +1100809 inode = VFS_I(ip);
Dave Chinner54d7b5c2016-02-09 16:54:58 +1100810 set_nlink(inode, nlink);
Christoph Hellwig66f36462017-10-19 11:07:09 -0700811 inode->i_rdev = rdev;
Christoph Hellwigceaf6032021-03-29 11:11:39 -0700812 ip->i_projid = prid;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700813
Christoph Hellwig01ea1732021-01-22 16:48:18 -0800814 if (dir && !(dir->i_mode & S_ISGID) &&
815 (mp->m_flags & XFS_MOUNT_GRPID)) {
Linus Torvalds7d6beb72021-02-23 13:39:45 -0800816 inode->i_uid = fsuid_into_mnt(mnt_userns);
Christoph Hellwig01ea1732021-01-22 16:48:18 -0800817 inode->i_gid = dir->i_gid;
818 inode->i_mode = mode;
Christoph Hellwig3d8f2822020-02-21 08:31:26 -0800819 } else {
Linus Torvalds7d6beb72021-02-23 13:39:45 -0800820 inode_init_owner(mnt_userns, inode, dir, mode);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700821 }
822
823 /*
824 * If the group ID of the new file does not match the effective group
825 * ID or one of the supplementary group IDs, the S_ISGID bit is cleared
826 * (and only if the irix_sgid_inherit compatibility variable is set).
827 */
Christoph Hellwig54295152020-02-21 08:31:27 -0800828 if (irix_sgid_inherit &&
Christoph Hellwigf736d932021-01-21 14:19:58 +0100829 (inode->i_mode & S_ISGID) &&
830 !in_group_p(i_gid_into_mnt(mnt_userns, inode)))
Dave Chinnerc19b3b052016-02-09 16:54:58 +1100831 inode->i_mode &= ~S_ISGID;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700832
Christoph Hellwig13d2c102021-03-29 11:11:40 -0700833 ip->i_disk_size = 0;
Christoph Hellwigdaf83962020-05-18 10:27:22 -0700834 ip->i_df.if_nextents = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700835 ASSERT(ip->i_d.di_nblocks == 0);
Christoph Hellwigdff35fd2008-08-13 16:44:15 +1000836
Deepa Dinamanic2050a42016-09-14 07:48:06 -0700837 tv = current_time(inode);
Dave Chinner39878482016-02-09 16:54:58 +1100838 inode->i_mtime = tv;
839 inode->i_atime = tv;
840 inode->i_ctime = tv;
Christoph Hellwigdff35fd2008-08-13 16:44:15 +1000841
Linus Torvalds1da177e2005-04-16 15:20:36 -0700842 ip->i_d.di_extsize = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700843 ip->i_d.di_flags = 0;
Christoph Hellwig93848a92013-04-03 16:11:17 +1100844
Christoph Hellwig6471e9c2020-03-18 08:15:11 -0700845 if (xfs_sb_version_has_v3inode(&mp->m_sb)) {
Jeff Laytonf0e28282017-12-11 06:35:19 -0500846 inode_set_iversion(inode, 1);
Darrick J. Wongf7ca3522016-10-03 09:11:43 -0700847 ip->i_d.di_cowextsize = 0;
Christoph Hellwig8d2d8782019-11-12 08:20:42 -0800848 ip->i_d.di_crtime = tv;
Christoph Hellwig93848a92013-04-03 16:11:17 +1100849 }
850
Linus Torvalds1da177e2005-04-16 15:20:36 -0700851 flags = XFS_ILOG_CORE;
852 switch (mode & S_IFMT) {
853 case S_IFIFO:
854 case S_IFCHR:
855 case S_IFBLK:
856 case S_IFSOCK:
Christoph Hellwigf7e67b22020-05-18 10:28:05 -0700857 ip->i_df.if_format = XFS_DINODE_FMT_DEV;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700858 ip->i_df.if_flags = 0;
859 flags |= XFS_ILOG_DEV;
860 break;
861 case S_IFREG:
862 case S_IFDIR:
Darrick J. Wong8a569d72020-09-13 10:16:40 -0700863 if (pip && (pip->i_d.di_flags & XFS_DIFLAG_ANY))
864 xfs_inode_inherit_flags(ip, pip);
865 if (pip && (pip->i_d.di_flags2 & XFS_DIFLAG2_ANY))
866 xfs_inode_inherit_flags2(ip, pip);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700867 /* FALLTHROUGH */
868 case S_IFLNK:
Christoph Hellwigf7e67b22020-05-18 10:28:05 -0700869 ip->i_df.if_format = XFS_DINODE_FMT_EXTENTS;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700870 ip->i_df.if_flags = XFS_IFEXTENTS;
Christoph Hellwigfcacbc32018-07-17 16:51:50 -0700871 ip->i_df.if_bytes = 0;
Christoph Hellwig6bdcf262017-11-03 10:34:46 -0700872 ip->i_df.if_u1.if_root = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700873 break;
874 default:
875 ASSERT(0);
876 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700877
878 /*
Dave Chinnere6a688c2021-03-22 09:52:03 -0700879 * If we need to create attributes immediately after allocating the
880 * inode, initialise an empty attribute fork right now. We use the
881 * default fork offset for attributes here as we don't know exactly what
882 * size or how many attributes we might be adding. We can do this
883 * safely here because we know the data fork is completely empty and
884 * this saves us from needing to run a separate transaction to set the
885 * fork offset in the immediate future.
886 */
887 if (init_xattrs) {
888 ip->i_d.di_forkoff = xfs_default_attroffset(ip) >> 3;
889 ip->i_afp = xfs_ifork_alloc(XFS_DINODE_FMT_EXTENTS, 0);
890 }
891
892 /*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700893 * Log the new values stuffed into the inode.
894 */
Christoph Hellwigddc34152011-09-19 15:00:54 +0000895 xfs_trans_ijoin(tp, ip, XFS_ILOCK_EXCL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700896 xfs_trans_log_inode(tp, ip, flags);
897
Dave Chinner58c90472015-02-23 22:38:08 +1100898 /* now that we have an i_mode we can setup the inode structure */
Christoph Hellwig41be8be2008-08-13 16:23:13 +1000899 xfs_setup_inode(ip);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700900
901 *ipp = ip;
902 return 0;
903}
904
Dave Chinnere546cb72013-08-12 20:49:47 +1000905/*
Dave Chinner1abcf262020-12-09 10:05:15 -0800906 * Allocates a new inode from disk and return a pointer to the incore copy. This
907 * routine will internally commit the current transaction and allocate a new one
908 * if we needed to allocate more on-disk free inodes to perform the requested
909 * operation.
Dave Chinnere546cb72013-08-12 20:49:47 +1000910 *
Dave Chinner1abcf262020-12-09 10:05:15 -0800911 * If we are allocating quota inodes, we do not have a parent inode to attach to
912 * or associate with (i.e. dp == NULL) because they are not linked into the
913 * directory structure - they are attached directly to the superblock - and so
914 * have no parent.
Dave Chinnere546cb72013-08-12 20:49:47 +1000915 */
916int
917xfs_dir_ialloc(
Christoph Hellwigf736d932021-01-21 14:19:58 +0100918 struct user_namespace *mnt_userns,
Dave Chinner1abcf262020-12-09 10:05:15 -0800919 struct xfs_trans **tpp,
920 struct xfs_inode *dp,
921 umode_t mode,
922 xfs_nlink_t nlink,
923 dev_t rdev,
924 prid_t prid,
Dave Chinnere6a688c2021-03-22 09:52:03 -0700925 bool init_xattrs,
Dave Chinner1abcf262020-12-09 10:05:15 -0800926 struct xfs_inode **ipp)
Dave Chinnere546cb72013-08-12 20:49:47 +1000927{
Dave Chinner8d822dc2020-12-09 10:05:16 -0800928 struct xfs_buf *agibp;
Dave Chinner1abcf262020-12-09 10:05:15 -0800929 xfs_ino_t parent_ino = dp ? dp->i_ino : 0;
930 xfs_ino_t ino;
931 int error;
Dave Chinnere546cb72013-08-12 20:49:47 +1000932
Dave Chinner1abcf262020-12-09 10:05:15 -0800933 ASSERT((*tpp)->t_flags & XFS_TRANS_PERM_LOG_RES);
Dave Chinnere546cb72013-08-12 20:49:47 +1000934
935 /*
Dave Chinner1abcf262020-12-09 10:05:15 -0800936 * Call the space management code to pick the on-disk inode to be
Dave Chinnerf3bf6e02020-12-09 10:05:16 -0800937 * allocated.
Dave Chinnere546cb72013-08-12 20:49:47 +1000938 */
Dave Chinner8d822dc2020-12-09 10:05:16 -0800939 error = xfs_dialloc_select_ag(tpp, parent_ino, mode, &agibp);
Dave Chinner1abcf262020-12-09 10:05:15 -0800940 if (error)
941 return error;
Dave Chinnere546cb72013-08-12 20:49:47 +1000942
Dave Chinner8d822dc2020-12-09 10:05:16 -0800943 if (!agibp)
Dave Chinner1abcf262020-12-09 10:05:15 -0800944 return -ENOSPC;
Dave Chinnere546cb72013-08-12 20:49:47 +1000945
Dave Chinner8d822dc2020-12-09 10:05:16 -0800946 /* Allocate an inode from the selected AG */
947 error = xfs_dialloc_ag(*tpp, agibp, parent_ino, &ino);
948 if (error)
949 return error;
950 ASSERT(ino != NULLFSINO);
951
Christoph Hellwigf736d932021-01-21 14:19:58 +0100952 return xfs_init_new_inode(mnt_userns, *tpp, dp, ino, mode, nlink, rdev,
Dave Chinnere6a688c2021-03-22 09:52:03 -0700953 prid, init_xattrs, ipp);
Dave Chinnere546cb72013-08-12 20:49:47 +1000954}
955
956/*
Dave Chinner54d7b5c2016-02-09 16:54:58 +1100957 * Decrement the link count on an inode & log the change. If this causes the
958 * link count to go to zero, move the inode to AGI unlinked list so that it can
959 * be freed when the last active reference goes away via xfs_inactive().
Dave Chinnere546cb72013-08-12 20:49:47 +1000960 */
Eric Sandeen0d5a75e2016-06-01 17:38:15 +1000961static int /* error */
Dave Chinnere546cb72013-08-12 20:49:47 +1000962xfs_droplink(
963 xfs_trans_t *tp,
964 xfs_inode_t *ip)
965{
Dave Chinnere546cb72013-08-12 20:49:47 +1000966 xfs_trans_ichgtime(tp, ip, XFS_ICHGTIME_CHG);
967
Dave Chinnere546cb72013-08-12 20:49:47 +1000968 drop_nlink(VFS_I(ip));
969 xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
970
Dave Chinner54d7b5c2016-02-09 16:54:58 +1100971 if (VFS_I(ip)->i_nlink)
972 return 0;
973
974 return xfs_iunlink(tp, ip);
Dave Chinnere546cb72013-08-12 20:49:47 +1000975}
976
977/*
Dave Chinnere546cb72013-08-12 20:49:47 +1000978 * Increment the link count on an inode & log the change.
979 */
Eric Sandeen91083262019-05-01 20:26:30 -0700980static void
Dave Chinnere546cb72013-08-12 20:49:47 +1000981xfs_bumplink(
982 xfs_trans_t *tp,
983 xfs_inode_t *ip)
984{
985 xfs_trans_ichgtime(tp, ip, XFS_ICHGTIME_CHG);
986
Dave Chinnere546cb72013-08-12 20:49:47 +1000987 inc_nlink(VFS_I(ip));
Dave Chinnere546cb72013-08-12 20:49:47 +1000988 xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
Dave Chinnere546cb72013-08-12 20:49:47 +1000989}
990
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000991int
992xfs_create(
Christoph Hellwigf736d932021-01-21 14:19:58 +0100993 struct user_namespace *mnt_userns,
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000994 xfs_inode_t *dp,
995 struct xfs_name *name,
996 umode_t mode,
Christoph Hellwig66f36462017-10-19 11:07:09 -0700997 dev_t rdev,
Dave Chinnere6a688c2021-03-22 09:52:03 -0700998 bool init_xattrs,
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000999 xfs_inode_t **ipp)
1000{
1001 int is_dir = S_ISDIR(mode);
1002 struct xfs_mount *mp = dp->i_mount;
1003 struct xfs_inode *ip = NULL;
1004 struct xfs_trans *tp = NULL;
1005 int error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001006 bool unlock_dp_on_error = false;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001007 prid_t prid;
1008 struct xfs_dquot *udqp = NULL;
1009 struct xfs_dquot *gdqp = NULL;
1010 struct xfs_dquot *pdqp = NULL;
Brian Foster062647a2014-11-28 14:00:16 +11001011 struct xfs_trans_res *tres;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001012 uint resblks;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001013
1014 trace_xfs_create(dp, name);
1015
1016 if (XFS_FORCED_SHUTDOWN(mp))
Dave Chinner24513372014-06-25 14:58:08 +10001017 return -EIO;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001018
Zhi Yong Wu163467d2013-12-18 08:22:39 +08001019 prid = xfs_get_initial_prid(dp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001020
1021 /*
1022 * Make sure that we have allocated dquot(s) on disk.
1023 */
Darrick J. Wongb5a08422021-03-02 09:32:52 -08001024 error = xfs_qm_vop_dqalloc(dp, fsuid_into_mnt(mnt_userns),
1025 fsgid_into_mnt(mnt_userns), prid,
1026 XFS_QMOPT_QUOTALL | XFS_QMOPT_INHERIT,
1027 &udqp, &gdqp, &pdqp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001028 if (error)
1029 return error;
1030
1031 if (is_dir) {
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001032 resblks = XFS_MKDIR_SPACE_RES(mp, name->len);
Brian Foster062647a2014-11-28 14:00:16 +11001033 tres = &M_RES(mp)->tr_mkdir;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001034 } else {
1035 resblks = XFS_CREATE_SPACE_RES(mp, name->len);
Brian Foster062647a2014-11-28 14:00:16 +11001036 tres = &M_RES(mp)->tr_create;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001037 }
1038
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001039 /*
1040 * Initially assume that the file does not exist and
1041 * reserve the resources for that case. If that is not
1042 * the case we'll drop the one we have and get a more
1043 * appropriate transaction later.
1044 */
Darrick J. Wongf2f7b9f2021-01-27 12:07:57 -08001045 error = xfs_trans_alloc_icreate(mp, tres, udqp, gdqp, pdqp, resblks,
1046 &tp);
Dave Chinner24513372014-06-25 14:58:08 +10001047 if (error == -ENOSPC) {
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001048 /* flush outstanding delalloc blocks and retry */
1049 xfs_flush_inodes(mp);
Darrick J. Wongf2f7b9f2021-01-27 12:07:57 -08001050 error = xfs_trans_alloc_icreate(mp, tres, udqp, gdqp, pdqp,
1051 resblks, &tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001052 }
Christoph Hellwig4906e212015-06-04 13:47:56 +10001053 if (error)
Darrick J. Wongf2f7b9f2021-01-27 12:07:57 -08001054 goto out_release_dquots;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001055
Christoph Hellwig65523212016-11-30 14:33:25 +11001056 xfs_ilock(dp, XFS_ILOCK_EXCL | XFS_ILOCK_PARENT);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001057 unlock_dp_on_error = true;
1058
Chandan Babu Rf5d92742021-01-22 16:48:12 -08001059 error = xfs_iext_count_may_overflow(dp, XFS_DATA_FORK,
1060 XFS_IEXT_DIR_MANIP_CNT(mp));
1061 if (error)
1062 goto out_trans_cancel;
1063
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001064 /*
1065 * A newly created regular or special file just has one directory
1066 * entry pointing to them, but a directory also the "." entry
1067 * pointing to itself.
1068 */
Christoph Hellwigf736d932021-01-21 14:19:58 +01001069 error = xfs_dir_ialloc(mnt_userns, &tp, dp, mode, is_dir ? 2 : 1, rdev,
Dave Chinnere6a688c2021-03-22 09:52:03 -07001070 prid, init_xattrs, &ip);
Jan Karad6077aa2015-07-29 11:52:08 +10001071 if (error)
Christoph Hellwig4906e212015-06-04 13:47:56 +10001072 goto out_trans_cancel;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001073
1074 /*
1075 * Now we join the directory inode to the transaction. We do not do it
1076 * earlier because xfs_dir_ialloc might commit the previous transaction
1077 * (and release all the locks). An error from here on will result in
1078 * the transaction cancel unlocking dp so don't do it explicitly in the
1079 * error path.
1080 */
Christoph Hellwig65523212016-11-30 14:33:25 +11001081 xfs_trans_ijoin(tp, dp, XFS_ILOCK_EXCL);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001082 unlock_dp_on_error = false;
1083
Brian Foster381eee62018-07-11 22:26:21 -07001084 error = xfs_dir_createname(tp, dp, name, ip->i_ino,
Kaixu Xia63337b62020-03-27 08:28:39 -07001085 resblks - XFS_IALLOC_SPACE_RES(mp));
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001086 if (error) {
Dave Chinner24513372014-06-25 14:58:08 +10001087 ASSERT(error != -ENOSPC);
Christoph Hellwig4906e212015-06-04 13:47:56 +10001088 goto out_trans_cancel;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001089 }
1090 xfs_trans_ichgtime(tp, dp, XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG);
1091 xfs_trans_log_inode(tp, dp, XFS_ILOG_CORE);
1092
1093 if (is_dir) {
1094 error = xfs_dir_init(tp, ip, dp);
1095 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07001096 goto out_trans_cancel;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001097
Eric Sandeen91083262019-05-01 20:26:30 -07001098 xfs_bumplink(tp, dp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001099 }
1100
1101 /*
1102 * If this is a synchronous mount, make sure that the
1103 * create transaction goes to disk before returning to
1104 * the user.
1105 */
1106 if (mp->m_flags & (XFS_MOUNT_WSYNC|XFS_MOUNT_DIRSYNC))
1107 xfs_trans_set_sync(tp);
1108
1109 /*
1110 * Attach the dquot(s) to the inodes and modify them incore.
1111 * These ids of the inode couldn't have changed since the new
1112 * inode has been locked ever since it was created.
1113 */
1114 xfs_qm_vop_create_dqattach(tp, ip, udqp, gdqp, pdqp);
1115
Christoph Hellwig70393312015-06-04 13:48:08 +10001116 error = xfs_trans_commit(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001117 if (error)
1118 goto out_release_inode;
1119
1120 xfs_qm_dqrele(udqp);
1121 xfs_qm_dqrele(gdqp);
1122 xfs_qm_dqrele(pdqp);
1123
1124 *ipp = ip;
1125 return 0;
1126
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001127 out_trans_cancel:
Christoph Hellwig4906e212015-06-04 13:47:56 +10001128 xfs_trans_cancel(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001129 out_release_inode:
1130 /*
Dave Chinner58c90472015-02-23 22:38:08 +11001131 * Wait until after the current transaction is aborted to finish the
1132 * setup of the inode and release the inode. This prevents recursive
1133 * transactions and deadlocks from xfs_inactive.
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001134 */
Dave Chinner58c90472015-02-23 22:38:08 +11001135 if (ip) {
1136 xfs_finish_inode_setup(ip);
Darrick J. Wong44a87362018-07-25 12:52:32 -07001137 xfs_irele(ip);
Dave Chinner58c90472015-02-23 22:38:08 +11001138 }
Darrick J. Wongf2f7b9f2021-01-27 12:07:57 -08001139 out_release_dquots:
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001140 xfs_qm_dqrele(udqp);
1141 xfs_qm_dqrele(gdqp);
1142 xfs_qm_dqrele(pdqp);
1143
1144 if (unlock_dp_on_error)
Christoph Hellwig65523212016-11-30 14:33:25 +11001145 xfs_iunlock(dp, XFS_ILOCK_EXCL);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001146 return error;
1147}
1148
1149int
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001150xfs_create_tmpfile(
Christoph Hellwigf736d932021-01-21 14:19:58 +01001151 struct user_namespace *mnt_userns,
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001152 struct xfs_inode *dp,
Brian Foster330033d2014-04-17 08:15:30 +10001153 umode_t mode,
1154 struct xfs_inode **ipp)
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001155{
1156 struct xfs_mount *mp = dp->i_mount;
1157 struct xfs_inode *ip = NULL;
1158 struct xfs_trans *tp = NULL;
1159 int error;
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001160 prid_t prid;
1161 struct xfs_dquot *udqp = NULL;
1162 struct xfs_dquot *gdqp = NULL;
1163 struct xfs_dquot *pdqp = NULL;
1164 struct xfs_trans_res *tres;
1165 uint resblks;
1166
1167 if (XFS_FORCED_SHUTDOWN(mp))
Dave Chinner24513372014-06-25 14:58:08 +10001168 return -EIO;
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001169
1170 prid = xfs_get_initial_prid(dp);
1171
1172 /*
1173 * Make sure that we have allocated dquot(s) on disk.
1174 */
Darrick J. Wongb5a08422021-03-02 09:32:52 -08001175 error = xfs_qm_vop_dqalloc(dp, fsuid_into_mnt(mnt_userns),
1176 fsgid_into_mnt(mnt_userns), prid,
1177 XFS_QMOPT_QUOTALL | XFS_QMOPT_INHERIT,
1178 &udqp, &gdqp, &pdqp);
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001179 if (error)
1180 return error;
1181
1182 resblks = XFS_IALLOC_SPACE_RES(mp);
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001183 tres = &M_RES(mp)->tr_create_tmpfile;
Christoph Hellwig253f4912016-04-06 09:19:55 +10001184
Darrick J. Wongf2f7b9f2021-01-27 12:07:57 -08001185 error = xfs_trans_alloc_icreate(mp, tres, udqp, gdqp, pdqp, resblks,
1186 &tp);
Christoph Hellwig4906e212015-06-04 13:47:56 +10001187 if (error)
Darrick J. Wongf2f7b9f2021-01-27 12:07:57 -08001188 goto out_release_dquots;
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001189
Dave Chinnere6a688c2021-03-22 09:52:03 -07001190 error = xfs_dir_ialloc(mnt_userns, &tp, dp, mode, 0, 0, prid,
1191 false, &ip);
Jan Karad6077aa2015-07-29 11:52:08 +10001192 if (error)
Christoph Hellwig4906e212015-06-04 13:47:56 +10001193 goto out_trans_cancel;
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001194
1195 if (mp->m_flags & XFS_MOUNT_WSYNC)
1196 xfs_trans_set_sync(tp);
1197
1198 /*
1199 * Attach the dquot(s) to the inodes and modify them incore.
1200 * These ids of the inode couldn't have changed since the new
1201 * inode has been locked ever since it was created.
1202 */
1203 xfs_qm_vop_create_dqattach(tp, ip, udqp, gdqp, pdqp);
1204
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001205 error = xfs_iunlink(tp, ip);
1206 if (error)
Christoph Hellwig4906e212015-06-04 13:47:56 +10001207 goto out_trans_cancel;
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001208
Christoph Hellwig70393312015-06-04 13:48:08 +10001209 error = xfs_trans_commit(tp);
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001210 if (error)
1211 goto out_release_inode;
1212
1213 xfs_qm_dqrele(udqp);
1214 xfs_qm_dqrele(gdqp);
1215 xfs_qm_dqrele(pdqp);
1216
Brian Foster330033d2014-04-17 08:15:30 +10001217 *ipp = ip;
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001218 return 0;
1219
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001220 out_trans_cancel:
Christoph Hellwig4906e212015-06-04 13:47:56 +10001221 xfs_trans_cancel(tp);
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001222 out_release_inode:
1223 /*
Dave Chinner58c90472015-02-23 22:38:08 +11001224 * Wait until after the current transaction is aborted to finish the
1225 * setup of the inode and release the inode. This prevents recursive
1226 * transactions and deadlocks from xfs_inactive.
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001227 */
Dave Chinner58c90472015-02-23 22:38:08 +11001228 if (ip) {
1229 xfs_finish_inode_setup(ip);
Darrick J. Wong44a87362018-07-25 12:52:32 -07001230 xfs_irele(ip);
Dave Chinner58c90472015-02-23 22:38:08 +11001231 }
Darrick J. Wongf2f7b9f2021-01-27 12:07:57 -08001232 out_release_dquots:
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001233 xfs_qm_dqrele(udqp);
1234 xfs_qm_dqrele(gdqp);
1235 xfs_qm_dqrele(pdqp);
1236
1237 return error;
1238}
1239
1240int
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001241xfs_link(
1242 xfs_inode_t *tdp,
1243 xfs_inode_t *sip,
1244 struct xfs_name *target_name)
1245{
1246 xfs_mount_t *mp = tdp->i_mount;
1247 xfs_trans_t *tp;
1248 int error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001249 int resblks;
1250
1251 trace_xfs_link(tdp, target_name);
1252
Dave Chinnerc19b3b052016-02-09 16:54:58 +11001253 ASSERT(!S_ISDIR(VFS_I(sip)->i_mode));
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001254
1255 if (XFS_FORCED_SHUTDOWN(mp))
Dave Chinner24513372014-06-25 14:58:08 +10001256 return -EIO;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001257
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -07001258 error = xfs_qm_dqattach(sip);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001259 if (error)
1260 goto std_return;
1261
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -07001262 error = xfs_qm_dqattach(tdp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001263 if (error)
1264 goto std_return;
1265
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001266 resblks = XFS_LINK_SPACE_RES(mp, target_name->len);
Christoph Hellwig253f4912016-04-06 09:19:55 +10001267 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_link, resblks, 0, 0, &tp);
Dave Chinner24513372014-06-25 14:58:08 +10001268 if (error == -ENOSPC) {
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001269 resblks = 0;
Christoph Hellwig253f4912016-04-06 09:19:55 +10001270 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_link, 0, 0, 0, &tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001271 }
Christoph Hellwig4906e212015-06-04 13:47:56 +10001272 if (error)
Christoph Hellwig253f4912016-04-06 09:19:55 +10001273 goto std_return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001274
Darrick J. Wong7c2d2382018-01-26 15:27:33 -08001275 xfs_lock_two_inodes(sip, XFS_ILOCK_EXCL, tdp, XFS_ILOCK_EXCL);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001276
1277 xfs_trans_ijoin(tp, sip, XFS_ILOCK_EXCL);
Christoph Hellwig65523212016-11-30 14:33:25 +11001278 xfs_trans_ijoin(tp, tdp, XFS_ILOCK_EXCL);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001279
Chandan Babu Rf5d92742021-01-22 16:48:12 -08001280 error = xfs_iext_count_may_overflow(tdp, XFS_DATA_FORK,
1281 XFS_IEXT_DIR_MANIP_CNT(mp));
1282 if (error)
1283 goto error_return;
1284
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001285 /*
1286 * If we are using project inheritance, we only allow hard link
1287 * creation in our tree when the project IDs are the same; else
1288 * the tree quota mechanism could be circumvented.
1289 */
1290 if (unlikely((tdp->i_d.di_flags & XFS_DIFLAG_PROJINHERIT) &&
Christoph Hellwigceaf6032021-03-29 11:11:39 -07001291 tdp->i_projid != sip->i_projid)) {
Dave Chinner24513372014-06-25 14:58:08 +10001292 error = -EXDEV;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001293 goto error_return;
1294 }
1295
Eric Sandeen94f3cad2014-09-09 11:57:52 +10001296 if (!resblks) {
1297 error = xfs_dir_canenter(tp, tdp, target_name);
1298 if (error)
1299 goto error_return;
1300 }
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001301
Dave Chinner54d7b5c2016-02-09 16:54:58 +11001302 /*
1303 * Handle initial link state of O_TMPFILE inode
1304 */
1305 if (VFS_I(sip)->i_nlink == 0) {
Zhi Yong Wuab297432013-12-18 08:22:41 +08001306 error = xfs_iunlink_remove(tp, sip);
1307 if (error)
Christoph Hellwig4906e212015-06-04 13:47:56 +10001308 goto error_return;
Zhi Yong Wuab297432013-12-18 08:22:41 +08001309 }
1310
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001311 error = xfs_dir_createname(tp, tdp, target_name, sip->i_ino,
Brian Foster381eee62018-07-11 22:26:21 -07001312 resblks);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001313 if (error)
Christoph Hellwig4906e212015-06-04 13:47:56 +10001314 goto error_return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001315 xfs_trans_ichgtime(tp, tdp, XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG);
1316 xfs_trans_log_inode(tp, tdp, XFS_ILOG_CORE);
1317
Eric Sandeen91083262019-05-01 20:26:30 -07001318 xfs_bumplink(tp, sip);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001319
1320 /*
1321 * If this is a synchronous mount, make sure that the
1322 * link transaction goes to disk before returning to
1323 * the user.
1324 */
Eric Sandeenf6106ef2016-01-11 11:34:01 +11001325 if (mp->m_flags & (XFS_MOUNT_WSYNC|XFS_MOUNT_DIRSYNC))
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001326 xfs_trans_set_sync(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001327
Christoph Hellwig70393312015-06-04 13:48:08 +10001328 return xfs_trans_commit(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001329
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001330 error_return:
Christoph Hellwig4906e212015-06-04 13:47:56 +10001331 xfs_trans_cancel(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001332 std_return:
1333 return error;
1334}
1335
Darrick J. Wong363e59b2017-12-14 15:42:59 -08001336/* Clear the reflink flag and the cowblocks tag if possible. */
1337static void
1338xfs_itruncate_clear_reflink_flags(
1339 struct xfs_inode *ip)
1340{
1341 struct xfs_ifork *dfork;
1342 struct xfs_ifork *cfork;
1343
1344 if (!xfs_is_reflink_inode(ip))
1345 return;
1346 dfork = XFS_IFORK_PTR(ip, XFS_DATA_FORK);
1347 cfork = XFS_IFORK_PTR(ip, XFS_COW_FORK);
1348 if (dfork->if_bytes == 0 && cfork->if_bytes == 0)
1349 ip->i_d.di_flags2 &= ~XFS_DIFLAG2_REFLINK;
1350 if (cfork->if_bytes == 0)
1351 xfs_inode_clear_cowblocks_tag(ip);
1352}
1353
Linus Torvalds1da177e2005-04-16 15:20:36 -07001354/*
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001355 * Free up the underlying blocks past new_size. The new size must be smaller
1356 * than the current size. This routine can be used both for the attribute and
1357 * data fork, and does not modify the inode size, which is left to the caller.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001358 *
David Chinnerf6485052008-04-17 16:50:04 +10001359 * The transaction passed to this routine must have made a permanent log
1360 * reservation of at least XFS_ITRUNCATE_LOG_RES. This routine may commit the
1361 * given transaction and start new ones, so make sure everything involved in
1362 * the transaction is tidy before calling here. Some transaction will be
1363 * returned to the caller to be committed. The incoming transaction must
1364 * already include the inode, and both inode locks must be held exclusively.
1365 * The inode must also be "held" within the transaction. On return the inode
1366 * will be "held" within the returned transaction. This routine does NOT
1367 * require any disk space to be reserved for it within the transaction.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001368 *
David Chinnerf6485052008-04-17 16:50:04 +10001369 * If we get an error, we must return with the inode locked and linked into the
1370 * current transaction. This keeps things simple for the higher level code,
1371 * because it always knows that the inode is locked and held in the transaction
1372 * that returns to it whether errors occur or not. We don't mark the inode
1373 * dirty on error so that transactions can be easily aborted if possible.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001374 */
1375int
Brian Foster4e529332018-05-10 09:35:42 -07001376xfs_itruncate_extents_flags(
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001377 struct xfs_trans **tpp,
1378 struct xfs_inode *ip,
1379 int whichfork,
Brian Foster13b86fc2018-05-09 08:45:04 -07001380 xfs_fsize_t new_size,
Brian Foster4e529332018-05-10 09:35:42 -07001381 int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001382{
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001383 struct xfs_mount *mp = ip->i_mount;
1384 struct xfs_trans *tp = *tpp;
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001385 xfs_fileoff_t first_unmap_block;
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001386 xfs_filblks_t unmap_len;
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001387 int error = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001388
Christoph Hellwig0b561852012-07-04 11:13:31 -04001389 ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL));
1390 ASSERT(!atomic_read(&VFS_I(ip)->i_count) ||
1391 xfs_isilocked(ip, XFS_IOLOCK_EXCL));
Christoph Hellwigce7ae1512011-12-18 20:00:11 +00001392 ASSERT(new_size <= XFS_ISIZE(ip));
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001393 ASSERT(tp->t_flags & XFS_TRANS_PERM_LOG_RES);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001394 ASSERT(ip->i_itemp != NULL);
Christoph Hellwig898621d2010-06-24 11:36:58 +10001395 ASSERT(ip->i_itemp->ili_lock_flags == 0);
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001396 ASSERT(!XFS_NOT_DQATTACHED(mp, ip));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001397
Christoph Hellwig673e8e52011-12-18 20:00:04 +00001398 trace_xfs_itruncate_extents_start(ip, new_size);
1399
Brian Foster4e529332018-05-10 09:35:42 -07001400 flags |= xfs_bmapi_aflag(whichfork);
Brian Foster13b86fc2018-05-09 08:45:04 -07001401
Linus Torvalds1da177e2005-04-16 15:20:36 -07001402 /*
1403 * Since it is possible for space to become allocated beyond
1404 * the end of the file (in a crash where the space is allocated
1405 * but the inode size is not yet updated), simply remove any
1406 * blocks which show up between the new EOF and the maximum
Darrick J. Wong4bbb04a2020-01-02 13:20:13 -08001407 * possible file size.
1408 *
1409 * We have to free all the blocks to the bmbt maximum offset, even if
1410 * the page cache can't scale that far.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001411 */
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001412 first_unmap_block = XFS_B_TO_FSB(mp, (xfs_ufsize_t)new_size);
Darrick J. Wong33005fd2020-12-04 13:28:35 -08001413 if (!xfs_verify_fileoff(mp, first_unmap_block)) {
Darrick J. Wong4bbb04a2020-01-02 13:20:13 -08001414 WARN_ON_ONCE(first_unmap_block > XFS_MAX_FILEOFF);
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001415 return 0;
Darrick J. Wong4bbb04a2020-01-02 13:20:13 -08001416 }
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001417
Darrick J. Wong4bbb04a2020-01-02 13:20:13 -08001418 unmap_len = XFS_MAX_FILEOFF - first_unmap_block + 1;
1419 while (unmap_len > 0) {
Brian Foster02dff7b2018-07-24 13:43:07 -07001420 ASSERT(tp->t_firstblock == NULLFSBLOCK);
Darrick J. Wong4bbb04a2020-01-02 13:20:13 -08001421 error = __xfs_bunmapi(tp, ip, first_unmap_block, &unmap_len,
1422 flags, XFS_ITRUNC_MAX_EXTENTS);
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001423 if (error)
Brian Fosterd5a2e282018-09-29 13:41:58 +10001424 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001425
Brian Foster6dd379c2020-09-15 20:44:46 -07001426 /* free the just unmapped extents */
Brian Foster9e28a242018-07-24 13:43:15 -07001427 error = xfs_defer_finish(&tp);
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001428 if (error)
Brian Foster9b1f4e92018-08-01 07:20:33 -07001429 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001430 }
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001431
Darrick J. Wong4919d422018-04-10 08:28:33 -07001432 if (whichfork == XFS_DATA_FORK) {
1433 /* Remove all pending CoW reservations. */
1434 error = xfs_reflink_cancel_cow_blocks(ip, &tp,
Darrick J. Wong4bbb04a2020-01-02 13:20:13 -08001435 first_unmap_block, XFS_MAX_FILEOFF, true);
Darrick J. Wong4919d422018-04-10 08:28:33 -07001436 if (error)
1437 goto out;
Darrick J. Wongaa8968f2016-10-03 09:11:38 -07001438
Darrick J. Wong4919d422018-04-10 08:28:33 -07001439 xfs_itruncate_clear_reflink_flags(ip);
1440 }
Darrick J. Wongaa8968f2016-10-03 09:11:38 -07001441
Christoph Hellwig673e8e52011-12-18 20:00:04 +00001442 /*
1443 * Always re-log the inode so that our permanent transaction can keep
1444 * on rolling it forward in the log.
1445 */
1446 xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
1447
1448 trace_xfs_itruncate_extents_end(ip, new_size);
1449
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001450out:
1451 *tpp = tp;
1452 return error;
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001453}
1454
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001455int
1456xfs_release(
1457 xfs_inode_t *ip)
1458{
1459 xfs_mount_t *mp = ip->i_mount;
1460 int error;
1461
Dave Chinnerc19b3b052016-02-09 16:54:58 +11001462 if (!S_ISREG(VFS_I(ip)->i_mode) || (VFS_I(ip)->i_mode == 0))
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001463 return 0;
1464
1465 /* If this is a read-only mount, don't do this (would generate I/O) */
1466 if (mp->m_flags & XFS_MOUNT_RDONLY)
1467 return 0;
1468
1469 if (!XFS_FORCED_SHUTDOWN(mp)) {
1470 int truncated;
1471
1472 /*
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001473 * If we previously truncated this file and removed old data
1474 * in the process, we want to initiate "early" writeout on
1475 * the last close. This is an attempt to combat the notorious
1476 * NULL files problem which is particularly noticeable from a
1477 * truncate down, buffered (re-)write (delalloc), followed by
1478 * a crash. What we are effectively doing here is
1479 * significantly reducing the time window where we'd otherwise
1480 * be exposed to that problem.
1481 */
1482 truncated = xfs_iflags_test_and_clear(ip, XFS_ITRUNCATED);
1483 if (truncated) {
1484 xfs_iflags_clear(ip, XFS_IDIRTY_RELEASE);
Dave Chinnereac152b2014-08-04 13:22:49 +10001485 if (ip->i_delayed_blks > 0) {
Dave Chinner24513372014-06-25 14:58:08 +10001486 error = filemap_flush(VFS_I(ip)->i_mapping);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001487 if (error)
1488 return error;
1489 }
1490 }
1491 }
1492
Dave Chinner54d7b5c2016-02-09 16:54:58 +11001493 if (VFS_I(ip)->i_nlink == 0)
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001494 return 0;
1495
1496 if (xfs_can_free_eofblocks(ip, false)) {
1497
1498 /*
Brian Fostera36b9262017-01-27 23:22:55 -08001499 * Check if the inode is being opened, written and closed
1500 * frequently and we have delayed allocation blocks outstanding
1501 * (e.g. streaming writes from the NFS server), truncating the
1502 * blocks past EOF will cause fragmentation to occur.
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001503 *
Brian Fostera36b9262017-01-27 23:22:55 -08001504 * In this case don't do the truncation, but we have to be
1505 * careful how we detect this case. Blocks beyond EOF show up as
1506 * i_delayed_blks even when the inode is clean, so we need to
1507 * truncate them away first before checking for a dirty release.
1508 * Hence on the first dirty close we will still remove the
1509 * speculative allocation, but after that we will leave it in
1510 * place.
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001511 */
1512 if (xfs_iflags_test(ip, XFS_IDIRTY_RELEASE))
1513 return 0;
Brian Fostera36b9262017-01-27 23:22:55 -08001514 /*
1515 * If we can't get the iolock just skip truncating the blocks
Michel Lespinassec1e8d7c2020-06-08 21:33:54 -07001516 * past EOF because we could deadlock with the mmap_lock
Brian Fostera36b9262017-01-27 23:22:55 -08001517 * otherwise. We'll get another chance to drop them once the
1518 * last reference to the inode is dropped, so we'll never leak
1519 * blocks permanently.
1520 */
1521 if (xfs_ilock_nowait(ip, XFS_IOLOCK_EXCL)) {
1522 error = xfs_free_eofblocks(ip);
1523 xfs_iunlock(ip, XFS_IOLOCK_EXCL);
1524 if (error)
1525 return error;
1526 }
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001527
1528 /* delalloc blocks after truncation means it really is dirty */
1529 if (ip->i_delayed_blks)
1530 xfs_iflags_set(ip, XFS_IDIRTY_RELEASE);
1531 }
1532 return 0;
1533}
1534
1535/*
Brian Fosterf7be2d72013-09-20 11:06:10 -04001536 * xfs_inactive_truncate
1537 *
1538 * Called to perform a truncate when an inode becomes unlinked.
1539 */
1540STATIC int
1541xfs_inactive_truncate(
1542 struct xfs_inode *ip)
1543{
1544 struct xfs_mount *mp = ip->i_mount;
1545 struct xfs_trans *tp;
1546 int error;
1547
Christoph Hellwig253f4912016-04-06 09:19:55 +10001548 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_itruncate, 0, 0, 0, &tp);
Brian Fosterf7be2d72013-09-20 11:06:10 -04001549 if (error) {
1550 ASSERT(XFS_FORCED_SHUTDOWN(mp));
Brian Fosterf7be2d72013-09-20 11:06:10 -04001551 return error;
1552 }
Brian Fosterf7be2d72013-09-20 11:06:10 -04001553 xfs_ilock(ip, XFS_ILOCK_EXCL);
1554 xfs_trans_ijoin(tp, ip, 0);
1555
1556 /*
1557 * Log the inode size first to prevent stale data exposure in the event
1558 * of a system crash before the truncate completes. See the related
Jan Kara69bca802016-05-26 14:46:43 +02001559 * comment in xfs_vn_setattr_size() for details.
Brian Fosterf7be2d72013-09-20 11:06:10 -04001560 */
Christoph Hellwig13d2c102021-03-29 11:11:40 -07001561 ip->i_disk_size = 0;
Brian Fosterf7be2d72013-09-20 11:06:10 -04001562 xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
1563
1564 error = xfs_itruncate_extents(&tp, ip, XFS_DATA_FORK, 0);
1565 if (error)
1566 goto error_trans_cancel;
1567
Christoph Hellwigdaf83962020-05-18 10:27:22 -07001568 ASSERT(ip->i_df.if_nextents == 0);
Brian Fosterf7be2d72013-09-20 11:06:10 -04001569
Christoph Hellwig70393312015-06-04 13:48:08 +10001570 error = xfs_trans_commit(tp);
Brian Fosterf7be2d72013-09-20 11:06:10 -04001571 if (error)
1572 goto error_unlock;
1573
1574 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1575 return 0;
1576
1577error_trans_cancel:
Christoph Hellwig4906e212015-06-04 13:47:56 +10001578 xfs_trans_cancel(tp);
Brian Fosterf7be2d72013-09-20 11:06:10 -04001579error_unlock:
1580 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1581 return error;
1582}
1583
1584/*
Brian Foster88877d22013-09-20 11:06:11 -04001585 * xfs_inactive_ifree()
1586 *
1587 * Perform the inode free when an inode is unlinked.
1588 */
1589STATIC int
1590xfs_inactive_ifree(
1591 struct xfs_inode *ip)
1592{
Brian Foster88877d22013-09-20 11:06:11 -04001593 struct xfs_mount *mp = ip->i_mount;
1594 struct xfs_trans *tp;
1595 int error;
1596
Brian Foster9d43b182014-04-24 16:00:52 +10001597 /*
Christoph Hellwig76d771b2017-01-25 07:49:35 -08001598 * We try to use a per-AG reservation for any block needed by the finobt
1599 * tree, but as the finobt feature predates the per-AG reservation
1600 * support a degraded file system might not have enough space for the
1601 * reservation at mount time. In that case try to dip into the reserved
1602 * pool and pray.
Brian Foster9d43b182014-04-24 16:00:52 +10001603 *
1604 * Send a warning if the reservation does happen to fail, as the inode
1605 * now remains allocated and sits on the unlinked list until the fs is
1606 * repaired.
1607 */
Darrick J. Wonge1f6ca12019-02-14 09:33:15 -08001608 if (unlikely(mp->m_finobt_nores)) {
Christoph Hellwig76d771b2017-01-25 07:49:35 -08001609 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_ifree,
1610 XFS_IFREE_SPACE_RES(mp), 0, XFS_TRANS_RESERVE,
1611 &tp);
1612 } else {
1613 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_ifree, 0, 0, 0, &tp);
1614 }
Brian Foster88877d22013-09-20 11:06:11 -04001615 if (error) {
Dave Chinner24513372014-06-25 14:58:08 +10001616 if (error == -ENOSPC) {
Brian Foster9d43b182014-04-24 16:00:52 +10001617 xfs_warn_ratelimited(mp,
1618 "Failed to remove inode(s) from unlinked list. "
1619 "Please free space, unmount and run xfs_repair.");
1620 } else {
1621 ASSERT(XFS_FORCED_SHUTDOWN(mp));
1622 }
Brian Foster88877d22013-09-20 11:06:11 -04001623 return error;
1624 }
1625
Dave Chinner96355d5a2020-06-29 14:48:45 -07001626 /*
1627 * We do not hold the inode locked across the entire rolling transaction
1628 * here. We only need to hold it for the first transaction that
1629 * xfs_ifree() builds, which may mark the inode XFS_ISTALE if the
1630 * underlying cluster buffer is freed. Relogging an XFS_ISTALE inode
1631 * here breaks the relationship between cluster buffer invalidation and
1632 * stale inode invalidation on cluster buffer item journal commit
1633 * completion, and can result in leaving dirty stale inodes hanging
1634 * around in memory.
1635 *
1636 * We have no need for serialising this inode operation against other
1637 * operations - we freed the inode and hence reallocation is required
1638 * and that will serialise on reallocating the space the deferops need
1639 * to free. Hence we can unlock the inode on the first commit of
1640 * the transaction rather than roll it right through the deferops. This
1641 * avoids relogging the XFS_ISTALE inode.
1642 *
1643 * We check that xfs_ifree() hasn't grown an internal transaction roll
1644 * by asserting that the inode is still locked when it returns.
1645 */
Brian Foster88877d22013-09-20 11:06:11 -04001646 xfs_ilock(ip, XFS_ILOCK_EXCL);
Dave Chinner96355d5a2020-06-29 14:48:45 -07001647 xfs_trans_ijoin(tp, ip, XFS_ILOCK_EXCL);
Brian Foster88877d22013-09-20 11:06:11 -04001648
Brian Foster0e0417f2018-07-11 22:26:07 -07001649 error = xfs_ifree(tp, ip);
Dave Chinner96355d5a2020-06-29 14:48:45 -07001650 ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL));
Brian Foster88877d22013-09-20 11:06:11 -04001651 if (error) {
1652 /*
1653 * If we fail to free the inode, shut down. The cancel
1654 * might do that, we need to make sure. Otherwise the
1655 * inode might be lost for a long time or forever.
1656 */
1657 if (!XFS_FORCED_SHUTDOWN(mp)) {
1658 xfs_notice(mp, "%s: xfs_ifree returned error %d",
1659 __func__, error);
1660 xfs_force_shutdown(mp, SHUTDOWN_META_IO_ERROR);
1661 }
Christoph Hellwig4906e212015-06-04 13:47:56 +10001662 xfs_trans_cancel(tp);
Brian Foster88877d22013-09-20 11:06:11 -04001663 return error;
1664 }
1665
1666 /*
1667 * Credit the quota account(s). The inode is gone.
1668 */
1669 xfs_trans_mod_dquot_byino(tp, ip, XFS_TRANS_DQ_ICOUNT, -1);
1670
1671 /*
Brian Fosterd4a97a02015-08-19 10:01:40 +10001672 * Just ignore errors at this point. There is nothing we can do except
1673 * to try to keep going. Make sure it's not a silent error.
Brian Foster88877d22013-09-20 11:06:11 -04001674 */
Christoph Hellwig70393312015-06-04 13:48:08 +10001675 error = xfs_trans_commit(tp);
Brian Foster88877d22013-09-20 11:06:11 -04001676 if (error)
1677 xfs_notice(mp, "%s: xfs_trans_commit returned error %d",
1678 __func__, error);
1679
Brian Foster88877d22013-09-20 11:06:11 -04001680 return 0;
1681}
1682
1683/*
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001684 * xfs_inactive
1685 *
1686 * This is called when the vnode reference count for the vnode
1687 * goes to zero. If the file has been unlinked, then it must
1688 * now be truncated. Also, we clear all of the read-ahead state
1689 * kept for the inode here since the file is now closed.
1690 */
Brian Foster74564fb2013-09-20 11:06:12 -04001691void
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001692xfs_inactive(
1693 xfs_inode_t *ip)
1694{
Jie Liu3d3c8b52013-08-12 20:49:59 +10001695 struct xfs_mount *mp;
Jie Liu3d3c8b52013-08-12 20:49:59 +10001696 int error;
1697 int truncate = 0;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001698
1699 /*
1700 * If the inode is already free, then there can be nothing
1701 * to clean up here.
1702 */
Dave Chinnerc19b3b052016-02-09 16:54:58 +11001703 if (VFS_I(ip)->i_mode == 0) {
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001704 ASSERT(ip->i_df.if_broot_bytes == 0);
Brian Foster74564fb2013-09-20 11:06:12 -04001705 return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001706 }
1707
1708 mp = ip->i_mount;
Darrick J. Wong17c12bc2016-10-03 09:11:29 -07001709 ASSERT(!xfs_iflags_test(ip, XFS_IRECOVERY));
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001710
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001711 /* If this is a read-only mount, don't do this (would generate I/O) */
1712 if (mp->m_flags & XFS_MOUNT_RDONLY)
Brian Foster74564fb2013-09-20 11:06:12 -04001713 return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001714
Darrick J. Wong383e32b2021-03-22 09:51:54 -07001715 /* Metadata inodes require explicit resource cleanup. */
1716 if (xfs_is_metadata_inode(ip))
1717 return;
1718
Darrick J. Wong62318482018-03-06 17:08:31 -08001719 /* Try to clean out the cow blocks if there are any. */
Christoph Hellwig51d62692018-07-17 16:51:51 -07001720 if (xfs_inode_has_cow_data(ip))
Darrick J. Wong62318482018-03-06 17:08:31 -08001721 xfs_reflink_cancel_cow_range(ip, 0, NULLFILEOFF, true);
1722
Dave Chinner54d7b5c2016-02-09 16:54:58 +11001723 if (VFS_I(ip)->i_nlink != 0) {
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001724 /*
1725 * force is true because we are evicting an inode from the
1726 * cache. Post-eof blocks must be freed, lest we end up with
1727 * broken free space accounting.
Brian Foster3b4683c2017-04-11 10:50:05 -07001728 *
1729 * Note: don't bother with iolock here since lockdep complains
1730 * about acquiring it in reclaim context. We have the only
1731 * reference to the inode at this point anyways.
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001732 */
Brian Foster3b4683c2017-04-11 10:50:05 -07001733 if (xfs_can_free_eofblocks(ip, true))
Brian Fostera36b9262017-01-27 23:22:55 -08001734 xfs_free_eofblocks(ip);
Brian Foster74564fb2013-09-20 11:06:12 -04001735
1736 return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001737 }
1738
Dave Chinnerc19b3b052016-02-09 16:54:58 +11001739 if (S_ISREG(VFS_I(ip)->i_mode) &&
Christoph Hellwig13d2c102021-03-29 11:11:40 -07001740 (ip->i_disk_size != 0 || XFS_ISIZE(ip) != 0 ||
Christoph Hellwigdaf83962020-05-18 10:27:22 -07001741 ip->i_df.if_nextents > 0 || ip->i_delayed_blks > 0))
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001742 truncate = 1;
1743
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -07001744 error = xfs_qm_dqattach(ip);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001745 if (error)
Brian Foster74564fb2013-09-20 11:06:12 -04001746 return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001747
Dave Chinnerc19b3b052016-02-09 16:54:58 +11001748 if (S_ISLNK(VFS_I(ip)->i_mode))
Brian Foster36b21dd2013-09-20 11:06:09 -04001749 error = xfs_inactive_symlink(ip);
Brian Fosterf7be2d72013-09-20 11:06:10 -04001750 else if (truncate)
1751 error = xfs_inactive_truncate(ip);
1752 if (error)
Brian Foster74564fb2013-09-20 11:06:12 -04001753 return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001754
1755 /*
1756 * If there are attributes associated with the file then blow them away
1757 * now. The code calls a routine that recursively deconstructs the
Dave Chinner6dfe5a02015-05-29 07:40:08 +10001758 * attribute fork. If also blows away the in-core attribute fork.
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001759 */
Dave Chinner6dfe5a02015-05-29 07:40:08 +10001760 if (XFS_IFORK_Q(ip)) {
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001761 error = xfs_attr_inactive(ip);
1762 if (error)
Brian Foster74564fb2013-09-20 11:06:12 -04001763 return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001764 }
1765
Dave Chinner6dfe5a02015-05-29 07:40:08 +10001766 ASSERT(!ip->i_afp);
Dave Chinner6dfe5a02015-05-29 07:40:08 +10001767 ASSERT(ip->i_d.di_forkoff == 0);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001768
1769 /*
1770 * Free the inode.
1771 */
Brian Foster88877d22013-09-20 11:06:11 -04001772 error = xfs_inactive_ifree(ip);
1773 if (error)
Brian Foster74564fb2013-09-20 11:06:12 -04001774 return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001775
1776 /*
1777 * Release the dquots held by inode, if any.
1778 */
1779 xfs_qm_dqdetach(ip);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001780}
1781
Linus Torvalds1da177e2005-04-16 15:20:36 -07001782/*
Darrick J. Wong9b247172019-02-07 10:37:16 -08001783 * In-Core Unlinked List Lookups
1784 * =============================
1785 *
1786 * Every inode is supposed to be reachable from some other piece of metadata
1787 * with the exception of the root directory. Inodes with a connection to a
1788 * file descriptor but not linked from anywhere in the on-disk directory tree
1789 * are collectively known as unlinked inodes, though the filesystem itself
1790 * maintains links to these inodes so that on-disk metadata are consistent.
1791 *
1792 * XFS implements a per-AG on-disk hash table of unlinked inodes. The AGI
1793 * header contains a number of buckets that point to an inode, and each inode
1794 * record has a pointer to the next inode in the hash chain. This
1795 * singly-linked list causes scaling problems in the iunlink remove function
1796 * because we must walk that list to find the inode that points to the inode
1797 * being removed from the unlinked hash bucket list.
1798 *
1799 * What if we modelled the unlinked list as a collection of records capturing
1800 * "X.next_unlinked = Y" relations? If we indexed those records on Y, we'd
1801 * have a fast way to look up unlinked list predecessors, which avoids the
1802 * slow list walk. That's exactly what we do here (in-core) with a per-AG
1803 * rhashtable.
1804 *
1805 * Because this is a backref cache, we ignore operational failures since the
1806 * iunlink code can fall back to the slow bucket walk. The only errors that
1807 * should bubble out are for obviously incorrect situations.
1808 *
1809 * All users of the backref cache MUST hold the AGI buffer lock to serialize
1810 * access or have otherwise provided for concurrency control.
1811 */
1812
1813/* Capture a "X.next_unlinked = Y" relationship. */
1814struct xfs_iunlink {
1815 struct rhash_head iu_rhash_head;
1816 xfs_agino_t iu_agino; /* X */
1817 xfs_agino_t iu_next_unlinked; /* Y */
1818};
1819
1820/* Unlinked list predecessor lookup hashtable construction */
1821static int
1822xfs_iunlink_obj_cmpfn(
1823 struct rhashtable_compare_arg *arg,
1824 const void *obj)
1825{
1826 const xfs_agino_t *key = arg->key;
1827 const struct xfs_iunlink *iu = obj;
1828
1829 if (iu->iu_next_unlinked != *key)
1830 return 1;
1831 return 0;
1832}
1833
1834static const struct rhashtable_params xfs_iunlink_hash_params = {
1835 .min_size = XFS_AGI_UNLINKED_BUCKETS,
1836 .key_len = sizeof(xfs_agino_t),
1837 .key_offset = offsetof(struct xfs_iunlink,
1838 iu_next_unlinked),
1839 .head_offset = offsetof(struct xfs_iunlink, iu_rhash_head),
1840 .automatic_shrinking = true,
1841 .obj_cmpfn = xfs_iunlink_obj_cmpfn,
1842};
1843
1844/*
1845 * Return X, where X.next_unlinked == @agino. Returns NULLAGINO if no such
1846 * relation is found.
1847 */
1848static xfs_agino_t
1849xfs_iunlink_lookup_backref(
1850 struct xfs_perag *pag,
1851 xfs_agino_t agino)
1852{
1853 struct xfs_iunlink *iu;
1854
1855 iu = rhashtable_lookup_fast(&pag->pagi_unlinked_hash, &agino,
1856 xfs_iunlink_hash_params);
1857 return iu ? iu->iu_agino : NULLAGINO;
1858}
1859
1860/*
1861 * Take ownership of an iunlink cache entry and insert it into the hash table.
1862 * If successful, the entry will be owned by the cache; if not, it is freed.
1863 * Either way, the caller does not own @iu after this call.
1864 */
1865static int
1866xfs_iunlink_insert_backref(
1867 struct xfs_perag *pag,
1868 struct xfs_iunlink *iu)
1869{
1870 int error;
1871
1872 error = rhashtable_insert_fast(&pag->pagi_unlinked_hash,
1873 &iu->iu_rhash_head, xfs_iunlink_hash_params);
1874 /*
1875 * Fail loudly if there already was an entry because that's a sign of
1876 * corruption of in-memory data. Also fail loudly if we see an error
1877 * code we didn't anticipate from the rhashtable code. Currently we
1878 * only anticipate ENOMEM.
1879 */
1880 if (error) {
1881 WARN(error != -ENOMEM, "iunlink cache insert error %d", error);
1882 kmem_free(iu);
1883 }
1884 /*
1885 * Absorb any runtime errors that aren't a result of corruption because
1886 * this is a cache and we can always fall back to bucket list scanning.
1887 */
1888 if (error != 0 && error != -EEXIST)
1889 error = 0;
1890 return error;
1891}
1892
1893/* Remember that @prev_agino.next_unlinked = @this_agino. */
1894static int
1895xfs_iunlink_add_backref(
1896 struct xfs_perag *pag,
1897 xfs_agino_t prev_agino,
1898 xfs_agino_t this_agino)
1899{
1900 struct xfs_iunlink *iu;
1901
1902 if (XFS_TEST_ERROR(false, pag->pag_mount, XFS_ERRTAG_IUNLINK_FALLBACK))
1903 return 0;
1904
Tetsuo Handa707e0dd2019-08-26 12:06:22 -07001905 iu = kmem_zalloc(sizeof(*iu), KM_NOFS);
Darrick J. Wong9b247172019-02-07 10:37:16 -08001906 iu->iu_agino = prev_agino;
1907 iu->iu_next_unlinked = this_agino;
1908
1909 return xfs_iunlink_insert_backref(pag, iu);
1910}
1911
1912/*
1913 * Replace X.next_unlinked = @agino with X.next_unlinked = @next_unlinked.
1914 * If @next_unlinked is NULLAGINO, we drop the backref and exit. If there
1915 * wasn't any such entry then we don't bother.
1916 */
1917static int
1918xfs_iunlink_change_backref(
1919 struct xfs_perag *pag,
1920 xfs_agino_t agino,
1921 xfs_agino_t next_unlinked)
1922{
1923 struct xfs_iunlink *iu;
1924 int error;
1925
1926 /* Look up the old entry; if there wasn't one then exit. */
1927 iu = rhashtable_lookup_fast(&pag->pagi_unlinked_hash, &agino,
1928 xfs_iunlink_hash_params);
1929 if (!iu)
1930 return 0;
1931
1932 /*
1933 * Remove the entry. This shouldn't ever return an error, but if we
1934 * couldn't remove the old entry we don't want to add it again to the
1935 * hash table, and if the entry disappeared on us then someone's
1936 * violated the locking rules and we need to fail loudly. Either way
1937 * we cannot remove the inode because internal state is or would have
1938 * been corrupt.
1939 */
1940 error = rhashtable_remove_fast(&pag->pagi_unlinked_hash,
1941 &iu->iu_rhash_head, xfs_iunlink_hash_params);
1942 if (error)
1943 return error;
1944
1945 /* If there is no new next entry just free our item and return. */
1946 if (next_unlinked == NULLAGINO) {
1947 kmem_free(iu);
1948 return 0;
1949 }
1950
1951 /* Update the entry and re-add it to the hash table. */
1952 iu->iu_next_unlinked = next_unlinked;
1953 return xfs_iunlink_insert_backref(pag, iu);
1954}
1955
1956/* Set up the in-core predecessor structures. */
1957int
1958xfs_iunlink_init(
1959 struct xfs_perag *pag)
1960{
1961 return rhashtable_init(&pag->pagi_unlinked_hash,
1962 &xfs_iunlink_hash_params);
1963}
1964
1965/* Free the in-core predecessor structures. */
1966static void
1967xfs_iunlink_free_item(
1968 void *ptr,
1969 void *arg)
1970{
1971 struct xfs_iunlink *iu = ptr;
1972 bool *freed_anything = arg;
1973
1974 *freed_anything = true;
1975 kmem_free(iu);
1976}
1977
1978void
1979xfs_iunlink_destroy(
1980 struct xfs_perag *pag)
1981{
1982 bool freed_anything = false;
1983
1984 rhashtable_free_and_destroy(&pag->pagi_unlinked_hash,
1985 xfs_iunlink_free_item, &freed_anything);
1986
1987 ASSERT(freed_anything == false || XFS_FORCED_SHUTDOWN(pag->pag_mount));
1988}
1989
1990/*
Darrick J. Wong9a4a5112019-02-07 10:37:14 -08001991 * Point the AGI unlinked bucket at an inode and log the results. The caller
1992 * is responsible for validating the old value.
1993 */
1994STATIC int
1995xfs_iunlink_update_bucket(
1996 struct xfs_trans *tp,
1997 xfs_agnumber_t agno,
1998 struct xfs_buf *agibp,
1999 unsigned int bucket_index,
2000 xfs_agino_t new_agino)
2001{
Christoph Hellwig370c7822020-03-10 08:57:29 -07002002 struct xfs_agi *agi = agibp->b_addr;
Darrick J. Wong9a4a5112019-02-07 10:37:14 -08002003 xfs_agino_t old_value;
2004 int offset;
2005
2006 ASSERT(xfs_verify_agino_or_null(tp->t_mountp, agno, new_agino));
2007
2008 old_value = be32_to_cpu(agi->agi_unlinked[bucket_index]);
2009 trace_xfs_iunlink_update_bucket(tp->t_mountp, agno, bucket_index,
2010 old_value, new_agino);
2011
2012 /*
2013 * We should never find the head of the list already set to the value
2014 * passed in because either we're adding or removing ourselves from the
2015 * head of the list.
2016 */
Darrick J. Wonga5155b82019-11-02 09:40:53 -07002017 if (old_value == new_agino) {
Darrick J. Wong8d57c212020-03-11 10:37:54 -07002018 xfs_buf_mark_corrupt(agibp);
Darrick J. Wong9a4a5112019-02-07 10:37:14 -08002019 return -EFSCORRUPTED;
Darrick J. Wonga5155b82019-11-02 09:40:53 -07002020 }
Darrick J. Wong9a4a5112019-02-07 10:37:14 -08002021
2022 agi->agi_unlinked[bucket_index] = cpu_to_be32(new_agino);
2023 offset = offsetof(struct xfs_agi, agi_unlinked) +
2024 (sizeof(xfs_agino_t) * bucket_index);
2025 xfs_trans_log_buf(tp, agibp, offset, offset + sizeof(xfs_agino_t) - 1);
2026 return 0;
2027}
2028
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002029/* Set an on-disk inode's next_unlinked pointer. */
2030STATIC void
2031xfs_iunlink_update_dinode(
2032 struct xfs_trans *tp,
2033 xfs_agnumber_t agno,
2034 xfs_agino_t agino,
2035 struct xfs_buf *ibp,
2036 struct xfs_dinode *dip,
2037 struct xfs_imap *imap,
2038 xfs_agino_t next_agino)
2039{
2040 struct xfs_mount *mp = tp->t_mountp;
2041 int offset;
2042
2043 ASSERT(xfs_verify_agino_or_null(mp, agno, next_agino));
2044
2045 trace_xfs_iunlink_update_dinode(mp, agno, agino,
2046 be32_to_cpu(dip->di_next_unlinked), next_agino);
2047
2048 dip->di_next_unlinked = cpu_to_be32(next_agino);
2049 offset = imap->im_boffset +
2050 offsetof(struct xfs_dinode, di_next_unlinked);
2051
2052 /* need to recalc the inode CRC if appropriate */
2053 xfs_dinode_calc_crc(mp, dip);
2054 xfs_trans_inode_buf(tp, ibp);
2055 xfs_trans_log_buf(tp, ibp, offset, offset + sizeof(xfs_agino_t) - 1);
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002056}
2057
2058/* Set an in-core inode's unlinked pointer and return the old value. */
2059STATIC int
2060xfs_iunlink_update_inode(
2061 struct xfs_trans *tp,
2062 struct xfs_inode *ip,
2063 xfs_agnumber_t agno,
2064 xfs_agino_t next_agino,
2065 xfs_agino_t *old_next_agino)
2066{
2067 struct xfs_mount *mp = tp->t_mountp;
2068 struct xfs_dinode *dip;
2069 struct xfs_buf *ibp;
2070 xfs_agino_t old_value;
2071 int error;
2072
2073 ASSERT(xfs_verify_agino_or_null(mp, agno, next_agino));
2074
Christoph Hellwigaf9dcdd2021-03-29 11:11:37 -07002075 error = xfs_imap_to_bp(mp, tp, &ip->i_imap, &ibp);
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002076 if (error)
2077 return error;
Christoph Hellwigaf9dcdd2021-03-29 11:11:37 -07002078 dip = xfs_buf_offset(ibp, ip->i_imap.im_boffset);
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002079
2080 /* Make sure the old pointer isn't garbage. */
2081 old_value = be32_to_cpu(dip->di_next_unlinked);
2082 if (!xfs_verify_agino_or_null(mp, agno, old_value)) {
Darrick J. Wonga5155b82019-11-02 09:40:53 -07002083 xfs_inode_verifier_error(ip, -EFSCORRUPTED, __func__, dip,
2084 sizeof(*dip), __this_address);
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002085 error = -EFSCORRUPTED;
2086 goto out;
2087 }
2088
2089 /*
2090 * Since we're updating a linked list, we should never find that the
2091 * current pointer is the same as the new value, unless we're
2092 * terminating the list.
2093 */
2094 *old_next_agino = old_value;
2095 if (old_value == next_agino) {
Darrick J. Wonga5155b82019-11-02 09:40:53 -07002096 if (next_agino != NULLAGINO) {
2097 xfs_inode_verifier_error(ip, -EFSCORRUPTED, __func__,
2098 dip, sizeof(*dip), __this_address);
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002099 error = -EFSCORRUPTED;
Darrick J. Wonga5155b82019-11-02 09:40:53 -07002100 }
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002101 goto out;
2102 }
2103
2104 /* Ok, update the new pointer. */
2105 xfs_iunlink_update_dinode(tp, agno, XFS_INO_TO_AGINO(mp, ip->i_ino),
2106 ibp, dip, &ip->i_imap, next_agino);
2107 return 0;
2108out:
2109 xfs_trans_brelse(tp, ibp);
2110 return error;
2111}
2112
Darrick J. Wong9a4a5112019-02-07 10:37:14 -08002113/*
Darrick J. Wongc4a6bf72019-02-13 11:15:17 -08002114 * This is called when the inode's link count has gone to 0 or we are creating
2115 * a tmpfile via O_TMPFILE. The inode @ip must have nlink == 0.
Dave Chinner54d7b5c2016-02-09 16:54:58 +11002116 *
2117 * We place the on-disk inode on a list in the AGI. It will be pulled from this
2118 * list when the inode is freed.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002119 */
Dave Chinner54d7b5c2016-02-09 16:54:58 +11002120STATIC int
Linus Torvalds1da177e2005-04-16 15:20:36 -07002121xfs_iunlink(
Darrick J. Wong5837f622019-02-07 10:37:13 -08002122 struct xfs_trans *tp,
2123 struct xfs_inode *ip)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002124{
Darrick J. Wong5837f622019-02-07 10:37:13 -08002125 struct xfs_mount *mp = tp->t_mountp;
2126 struct xfs_agi *agi;
Darrick J. Wong5837f622019-02-07 10:37:13 -08002127 struct xfs_buf *agibp;
Darrick J. Wong86bfd372019-02-07 10:37:14 -08002128 xfs_agino_t next_agino;
Darrick J. Wong5837f622019-02-07 10:37:13 -08002129 xfs_agnumber_t agno = XFS_INO_TO_AGNO(mp, ip->i_ino);
2130 xfs_agino_t agino = XFS_INO_TO_AGINO(mp, ip->i_ino);
2131 short bucket_index = agino % XFS_AGI_UNLINKED_BUCKETS;
Darrick J. Wong5837f622019-02-07 10:37:13 -08002132 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002133
Darrick J. Wongc4a6bf72019-02-13 11:15:17 -08002134 ASSERT(VFS_I(ip)->i_nlink == 0);
Dave Chinnerc19b3b052016-02-09 16:54:58 +11002135 ASSERT(VFS_I(ip)->i_mode != 0);
Darrick J. Wong4664c662019-02-07 10:37:16 -08002136 trace_xfs_iunlink(ip);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002137
Darrick J. Wong5837f622019-02-07 10:37:13 -08002138 /* Get the agi buffer first. It ensures lock ordering on the list. */
2139 error = xfs_read_agi(mp, tp, agno, &agibp);
Vlad Apostolov859d7182007-10-11 17:44:18 +10002140 if (error)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002141 return error;
Christoph Hellwig370c7822020-03-10 08:57:29 -07002142 agi = agibp->b_addr;
Christoph Hellwig5e1be0f2008-11-28 14:23:37 +11002143
Linus Torvalds1da177e2005-04-16 15:20:36 -07002144 /*
Darrick J. Wong86bfd372019-02-07 10:37:14 -08002145 * Get the index into the agi hash table for the list this inode will
2146 * go on. Make sure the pointer isn't garbage and that this inode
2147 * isn't already on the list.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002148 */
Darrick J. Wong86bfd372019-02-07 10:37:14 -08002149 next_agino = be32_to_cpu(agi->agi_unlinked[bucket_index]);
2150 if (next_agino == agino ||
Darrick J. Wonga5155b82019-11-02 09:40:53 -07002151 !xfs_verify_agino_or_null(mp, agno, next_agino)) {
Darrick J. Wong8d57c212020-03-11 10:37:54 -07002152 xfs_buf_mark_corrupt(agibp);
Darrick J. Wong86bfd372019-02-07 10:37:14 -08002153 return -EFSCORRUPTED;
Darrick J. Wonga5155b82019-11-02 09:40:53 -07002154 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002155
Darrick J. Wong86bfd372019-02-07 10:37:14 -08002156 if (next_agino != NULLAGINO) {
Darrick J. Wong9b247172019-02-07 10:37:16 -08002157 xfs_agino_t old_agino;
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002158
Linus Torvalds1da177e2005-04-16 15:20:36 -07002159 /*
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002160 * There is already another inode in the bucket, so point this
2161 * inode to the current head of the list.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002162 */
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002163 error = xfs_iunlink_update_inode(tp, ip, agno, next_agino,
2164 &old_agino);
Vlad Apostolovc319b582007-11-23 16:27:51 +11002165 if (error)
2166 return error;
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002167 ASSERT(old_agino == NULLAGINO);
Darrick J. Wong9b247172019-02-07 10:37:16 -08002168
2169 /*
2170 * agino has been unlinked, add a backref from the next inode
2171 * back to agino.
2172 */
Gao Xiang92a00542020-07-13 09:13:00 -07002173 error = xfs_iunlink_add_backref(agibp->b_pag, agino, next_agino);
Darrick J. Wong9b247172019-02-07 10:37:16 -08002174 if (error)
2175 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002176 }
2177
Darrick J. Wong9a4a5112019-02-07 10:37:14 -08002178 /* Point the head of the list to point to this inode. */
2179 return xfs_iunlink_update_bucket(tp, agno, agibp, bucket_index, agino);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002180}
2181
Darrick J. Wong23ffa522019-02-07 10:37:15 -08002182/* Return the imap, dinode pointer, and buffer for an inode. */
2183STATIC int
2184xfs_iunlink_map_ino(
2185 struct xfs_trans *tp,
2186 xfs_agnumber_t agno,
2187 xfs_agino_t agino,
2188 struct xfs_imap *imap,
2189 struct xfs_dinode **dipp,
2190 struct xfs_buf **bpp)
2191{
2192 struct xfs_mount *mp = tp->t_mountp;
2193 int error;
2194
2195 imap->im_blkno = 0;
2196 error = xfs_imap(mp, tp, XFS_AGINO_TO_INO(mp, agno, agino), imap, 0);
2197 if (error) {
2198 xfs_warn(mp, "%s: xfs_imap returned error %d.",
2199 __func__, error);
2200 return error;
2201 }
2202
Christoph Hellwigaf9dcdd2021-03-29 11:11:37 -07002203 error = xfs_imap_to_bp(mp, tp, imap, bpp);
Darrick J. Wong23ffa522019-02-07 10:37:15 -08002204 if (error) {
2205 xfs_warn(mp, "%s: xfs_imap_to_bp returned error %d.",
2206 __func__, error);
2207 return error;
2208 }
2209
Christoph Hellwigaf9dcdd2021-03-29 11:11:37 -07002210 *dipp = xfs_buf_offset(*bpp, imap->im_boffset);
Darrick J. Wong23ffa522019-02-07 10:37:15 -08002211 return 0;
2212}
2213
2214/*
2215 * Walk the unlinked chain from @head_agino until we find the inode that
2216 * points to @target_agino. Return the inode number, map, dinode pointer,
2217 * and inode cluster buffer of that inode as @agino, @imap, @dipp, and @bpp.
2218 *
2219 * @tp, @pag, @head_agino, and @target_agino are input parameters.
2220 * @agino, @imap, @dipp, and @bpp are all output parameters.
2221 *
2222 * Do not call this function if @target_agino is the head of the list.
2223 */
2224STATIC int
2225xfs_iunlink_map_prev(
2226 struct xfs_trans *tp,
2227 xfs_agnumber_t agno,
2228 xfs_agino_t head_agino,
2229 xfs_agino_t target_agino,
2230 xfs_agino_t *agino,
2231 struct xfs_imap *imap,
2232 struct xfs_dinode **dipp,
Darrick J. Wong9b247172019-02-07 10:37:16 -08002233 struct xfs_buf **bpp,
2234 struct xfs_perag *pag)
Darrick J. Wong23ffa522019-02-07 10:37:15 -08002235{
2236 struct xfs_mount *mp = tp->t_mountp;
2237 xfs_agino_t next_agino;
2238 int error;
2239
2240 ASSERT(head_agino != target_agino);
2241 *bpp = NULL;
2242
Darrick J. Wong9b247172019-02-07 10:37:16 -08002243 /* See if our backref cache can find it faster. */
2244 *agino = xfs_iunlink_lookup_backref(pag, target_agino);
2245 if (*agino != NULLAGINO) {
2246 error = xfs_iunlink_map_ino(tp, agno, *agino, imap, dipp, bpp);
2247 if (error)
2248 return error;
2249
2250 if (be32_to_cpu((*dipp)->di_next_unlinked) == target_agino)
2251 return 0;
2252
2253 /*
2254 * If we get here the cache contents were corrupt, so drop the
2255 * buffer and fall back to walking the bucket list.
2256 */
2257 xfs_trans_brelse(tp, *bpp);
2258 *bpp = NULL;
2259 WARN_ON_ONCE(1);
2260 }
2261
2262 trace_xfs_iunlink_map_prev_fallback(mp, agno);
2263
2264 /* Otherwise, walk the entire bucket until we find it. */
Darrick J. Wong23ffa522019-02-07 10:37:15 -08002265 next_agino = head_agino;
2266 while (next_agino != target_agino) {
2267 xfs_agino_t unlinked_agino;
2268
2269 if (*bpp)
2270 xfs_trans_brelse(tp, *bpp);
2271
2272 *agino = next_agino;
2273 error = xfs_iunlink_map_ino(tp, agno, next_agino, imap, dipp,
2274 bpp);
2275 if (error)
2276 return error;
2277
2278 unlinked_agino = be32_to_cpu((*dipp)->di_next_unlinked);
2279 /*
2280 * Make sure this pointer is valid and isn't an obvious
2281 * infinite loop.
2282 */
2283 if (!xfs_verify_agino(mp, agno, unlinked_agino) ||
2284 next_agino == unlinked_agino) {
2285 XFS_CORRUPTION_ERROR(__func__,
2286 XFS_ERRLEVEL_LOW, mp,
2287 *dipp, sizeof(**dipp));
2288 error = -EFSCORRUPTED;
2289 return error;
2290 }
2291 next_agino = unlinked_agino;
2292 }
2293
2294 return 0;
2295}
2296
Linus Torvalds1da177e2005-04-16 15:20:36 -07002297/*
2298 * Pull the on-disk inode from the AGI unlinked list.
2299 */
2300STATIC int
2301xfs_iunlink_remove(
Darrick J. Wong5837f622019-02-07 10:37:13 -08002302 struct xfs_trans *tp,
2303 struct xfs_inode *ip)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002304{
Darrick J. Wong5837f622019-02-07 10:37:13 -08002305 struct xfs_mount *mp = tp->t_mountp;
2306 struct xfs_agi *agi;
Darrick J. Wong5837f622019-02-07 10:37:13 -08002307 struct xfs_buf *agibp;
Darrick J. Wong5837f622019-02-07 10:37:13 -08002308 struct xfs_buf *last_ibp;
2309 struct xfs_dinode *last_dip = NULL;
Darrick J. Wong5837f622019-02-07 10:37:13 -08002310 xfs_agnumber_t agno = XFS_INO_TO_AGNO(mp, ip->i_ino);
2311 xfs_agino_t agino = XFS_INO_TO_AGINO(mp, ip->i_ino);
2312 xfs_agino_t next_agino;
Darrick J. Wongb1d2a062019-02-07 10:37:15 -08002313 xfs_agino_t head_agino;
Darrick J. Wong5837f622019-02-07 10:37:13 -08002314 short bucket_index = agino % XFS_AGI_UNLINKED_BUCKETS;
Darrick J. Wong5837f622019-02-07 10:37:13 -08002315 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002316
Darrick J. Wong4664c662019-02-07 10:37:16 -08002317 trace_xfs_iunlink_remove(ip);
2318
Darrick J. Wong5837f622019-02-07 10:37:13 -08002319 /* Get the agi buffer first. It ensures lock ordering on the list. */
Christoph Hellwig5e1be0f2008-11-28 14:23:37 +11002320 error = xfs_read_agi(mp, tp, agno, &agibp);
2321 if (error)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002322 return error;
Christoph Hellwig370c7822020-03-10 08:57:29 -07002323 agi = agibp->b_addr;
Christoph Hellwig5e1be0f2008-11-28 14:23:37 +11002324
Linus Torvalds1da177e2005-04-16 15:20:36 -07002325 /*
Darrick J. Wong86bfd372019-02-07 10:37:14 -08002326 * Get the index into the agi hash table for the list this inode will
2327 * go on. Make sure the head pointer isn't garbage.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002328 */
Darrick J. Wongb1d2a062019-02-07 10:37:15 -08002329 head_agino = be32_to_cpu(agi->agi_unlinked[bucket_index]);
2330 if (!xfs_verify_agino(mp, agno, head_agino)) {
Darrick J. Wongd2e73662018-06-04 11:27:51 -07002331 XFS_CORRUPTION_ERROR(__func__, XFS_ERRLEVEL_LOW, mp,
2332 agi, sizeof(*agi));
2333 return -EFSCORRUPTED;
2334 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002335
Darrick J. Wongb1d2a062019-02-07 10:37:15 -08002336 /*
2337 * Set our inode's next_unlinked pointer to NULL and then return
2338 * the old pointer value so that we can update whatever was previous
2339 * to us in the list to point to whatever was next in the list.
2340 */
2341 error = xfs_iunlink_update_inode(tp, ip, agno, NULLAGINO, &next_agino);
2342 if (error)
2343 return error;
Darrick J. Wong9a4a5112019-02-07 10:37:14 -08002344
Darrick J. Wong9b247172019-02-07 10:37:16 -08002345 /*
2346 * If there was a backref pointing from the next inode back to this
2347 * one, remove it because we've removed this inode from the list.
2348 *
2349 * Later, if this inode was in the middle of the list we'll update
2350 * this inode's backref to point from the next inode.
2351 */
2352 if (next_agino != NULLAGINO) {
Gao Xiang92a00542020-07-13 09:13:00 -07002353 error = xfs_iunlink_change_backref(agibp->b_pag, next_agino,
Darrick J. Wong9b247172019-02-07 10:37:16 -08002354 NULLAGINO);
2355 if (error)
Gao Xiang92a00542020-07-13 09:13:00 -07002356 return error;
Darrick J. Wong9b247172019-02-07 10:37:16 -08002357 }
2358
Gao Xiang92a00542020-07-13 09:13:00 -07002359 if (head_agino != agino) {
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002360 struct xfs_imap imap;
2361 xfs_agino_t prev_agino;
2362
Darrick J. Wong23ffa522019-02-07 10:37:15 -08002363 /* We need to search the list for the inode being freed. */
Darrick J. Wongb1d2a062019-02-07 10:37:15 -08002364 error = xfs_iunlink_map_prev(tp, agno, head_agino, agino,
Darrick J. Wong9b247172019-02-07 10:37:16 -08002365 &prev_agino, &imap, &last_dip, &last_ibp,
Gao Xiang92a00542020-07-13 09:13:00 -07002366 agibp->b_pag);
Darrick J. Wong23ffa522019-02-07 10:37:15 -08002367 if (error)
Gao Xiang92a00542020-07-13 09:13:00 -07002368 return error;
Christoph Hellwig475ee412012-07-03 12:21:22 -04002369
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002370 /* Point the previous inode on the list to the next inode. */
2371 xfs_iunlink_update_dinode(tp, agno, prev_agino, last_ibp,
2372 last_dip, &imap, next_agino);
Darrick J. Wong9b247172019-02-07 10:37:16 -08002373
2374 /*
2375 * Now we deal with the backref for this inode. If this inode
2376 * pointed at a real inode, change the backref that pointed to
2377 * us to point to our old next. If this inode was the end of
2378 * the list, delete the backref that pointed to us. Note that
2379 * change_backref takes care of deleting the backref if
2380 * next_agino is NULLAGINO.
2381 */
Gao Xiang92a00542020-07-13 09:13:00 -07002382 return xfs_iunlink_change_backref(agibp->b_pag, agino,
2383 next_agino);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002384 }
Darrick J. Wong9b247172019-02-07 10:37:16 -08002385
Gao Xiang92a00542020-07-13 09:13:00 -07002386 /* Point the head of the list to the next unlinked inode. */
2387 return xfs_iunlink_update_bucket(tp, agno, agibp, bucket_index,
2388 next_agino);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002389}
2390
Dave Chinner5b3eed72010-08-24 11:42:41 +10002391/*
Dave Chinner71e3e352020-06-29 14:49:18 -07002392 * Look up the inode number specified and if it is not already marked XFS_ISTALE
2393 * mark it stale. We should only find clean inodes in this lookup that aren't
2394 * already stale.
Dave Chinner58061652020-03-24 20:10:30 -07002395 */
Dave Chinner71e3e352020-06-29 14:49:18 -07002396static void
2397xfs_ifree_mark_inode_stale(
2398 struct xfs_buf *bp,
Dave Chinner58061652020-03-24 20:10:30 -07002399 struct xfs_inode *free_ip,
Brian Fosterd9fdd0a2020-04-02 08:18:57 -07002400 xfs_ino_t inum)
Dave Chinner58061652020-03-24 20:10:30 -07002401{
Dave Chinner71e3e352020-06-29 14:49:18 -07002402 struct xfs_mount *mp = bp->b_mount;
2403 struct xfs_perag *pag = bp->b_pag;
2404 struct xfs_inode_log_item *iip;
Dave Chinner58061652020-03-24 20:10:30 -07002405 struct xfs_inode *ip;
2406
2407retry:
2408 rcu_read_lock();
2409 ip = radix_tree_lookup(&pag->pag_ici_root, XFS_INO_TO_AGINO(mp, inum));
2410
2411 /* Inode not in memory, nothing to do */
Dave Chinner71e3e352020-06-29 14:49:18 -07002412 if (!ip) {
2413 rcu_read_unlock();
2414 return;
2415 }
Dave Chinner58061652020-03-24 20:10:30 -07002416
2417 /*
2418 * because this is an RCU protected lookup, we could find a recently
2419 * freed or even reallocated inode during the lookup. We need to check
2420 * under the i_flags_lock for a valid inode here. Skip it if it is not
2421 * valid, the wrong inode or stale.
2422 */
2423 spin_lock(&ip->i_flags_lock);
Dave Chinner718ecc52020-08-17 16:41:01 -07002424 if (ip->i_ino != inum || __xfs_iflags_test(ip, XFS_ISTALE))
2425 goto out_iflags_unlock;
Dave Chinner58061652020-03-24 20:10:30 -07002426
2427 /*
2428 * Don't try to lock/unlock the current inode, but we _cannot_ skip the
2429 * other inodes that we did not find in the list attached to the buffer
2430 * and are not already marked stale. If we can't lock it, back off and
2431 * retry.
2432 */
2433 if (ip != free_ip) {
2434 if (!xfs_ilock_nowait(ip, XFS_ILOCK_EXCL)) {
Dave Chinner71e3e352020-06-29 14:49:18 -07002435 spin_unlock(&ip->i_flags_lock);
Dave Chinner58061652020-03-24 20:10:30 -07002436 rcu_read_unlock();
2437 delay(1);
2438 goto retry;
2439 }
Dave Chinner58061652020-03-24 20:10:30 -07002440 }
Dave Chinner71e3e352020-06-29 14:49:18 -07002441 ip->i_flags |= XFS_ISTALE;
Dave Chinner58061652020-03-24 20:10:30 -07002442
Dave Chinner58061652020-03-24 20:10:30 -07002443 /*
Dave Chinner718ecc52020-08-17 16:41:01 -07002444 * If the inode is flushing, it is already attached to the buffer. All
Dave Chinner71e3e352020-06-29 14:49:18 -07002445 * we needed to do here is mark the inode stale so buffer IO completion
2446 * will remove it from the AIL.
Dave Chinner58061652020-03-24 20:10:30 -07002447 */
Dave Chinner71e3e352020-06-29 14:49:18 -07002448 iip = ip->i_itemp;
Dave Chinner718ecc52020-08-17 16:41:01 -07002449 if (__xfs_iflags_test(ip, XFS_IFLUSHING)) {
Dave Chinner71e3e352020-06-29 14:49:18 -07002450 ASSERT(!list_empty(&iip->ili_item.li_bio_list));
2451 ASSERT(iip->ili_last_fields);
2452 goto out_iunlock;
Dave Chinner58061652020-03-24 20:10:30 -07002453 }
Dave Chinner58061652020-03-24 20:10:30 -07002454
Dave Chinner71e3e352020-06-29 14:49:18 -07002455 /*
Dave Chinner48d55e22020-06-29 14:49:18 -07002456 * Inodes not attached to the buffer can be released immediately.
2457 * Everything else has to go through xfs_iflush_abort() on journal
2458 * commit as the flock synchronises removal of the inode from the
2459 * cluster buffer against inode reclaim.
Dave Chinner71e3e352020-06-29 14:49:18 -07002460 */
Dave Chinner718ecc52020-08-17 16:41:01 -07002461 if (!iip || list_empty(&iip->ili_item.li_bio_list))
Dave Chinner71e3e352020-06-29 14:49:18 -07002462 goto out_iunlock;
Dave Chinner718ecc52020-08-17 16:41:01 -07002463
2464 __xfs_iflags_set(ip, XFS_IFLUSHING);
2465 spin_unlock(&ip->i_flags_lock);
2466 rcu_read_unlock();
Dave Chinner71e3e352020-06-29 14:49:18 -07002467
2468 /* we have a dirty inode in memory that has not yet been flushed. */
Dave Chinner71e3e352020-06-29 14:49:18 -07002469 spin_lock(&iip->ili_lock);
2470 iip->ili_last_fields = iip->ili_fields;
2471 iip->ili_fields = 0;
2472 iip->ili_fsync_fields = 0;
2473 spin_unlock(&iip->ili_lock);
Dave Chinner71e3e352020-06-29 14:49:18 -07002474 ASSERT(iip->ili_last_fields);
2475
Dave Chinner718ecc52020-08-17 16:41:01 -07002476 if (ip != free_ip)
2477 xfs_iunlock(ip, XFS_ILOCK_EXCL);
2478 return;
2479
Dave Chinner71e3e352020-06-29 14:49:18 -07002480out_iunlock:
2481 if (ip != free_ip)
2482 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Dave Chinner718ecc52020-08-17 16:41:01 -07002483out_iflags_unlock:
2484 spin_unlock(&ip->i_flags_lock);
2485 rcu_read_unlock();
Dave Chinner58061652020-03-24 20:10:30 -07002486}
2487
2488/*
Zhi Yong Wu0b8182d2013-08-12 03:14:59 +00002489 * A big issue when freeing the inode cluster is that we _cannot_ skip any
Dave Chinner5b3eed72010-08-24 11:42:41 +10002490 * inodes that are in memory - they all must be marked stale and attached to
2491 * the cluster buffer.
2492 */
Chandra Seetharaman2a30f36d2011-09-20 13:56:55 +00002493STATIC int
Linus Torvalds1da177e2005-04-16 15:20:36 -07002494xfs_ifree_cluster(
Dave Chinner71e3e352020-06-29 14:49:18 -07002495 struct xfs_inode *free_ip,
2496 struct xfs_trans *tp,
Brian Foster09b56602015-05-29 09:26:03 +10002497 struct xfs_icluster *xic)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002498{
Dave Chinner71e3e352020-06-29 14:49:18 -07002499 struct xfs_mount *mp = free_ip->i_mount;
2500 struct xfs_ino_geometry *igeo = M_IGEO(mp);
2501 struct xfs_buf *bp;
2502 xfs_daddr_t blkno;
2503 xfs_ino_t inum = xic->first_ino;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002504 int nbufs;
Dave Chinner5b257b42010-06-03 16:22:29 +10002505 int i, j;
Brian Foster3cdaa182015-06-04 13:03:34 +10002506 int ioffset;
Darrick J. Wongce924642020-01-23 17:01:18 -08002507 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002508
Darrick J. Wongef325952019-06-05 11:19:34 -07002509 nbufs = igeo->ialloc_blks / igeo->blocks_per_cluster;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002510
Darrick J. Wongef325952019-06-05 11:19:34 -07002511 for (j = 0; j < nbufs; j++, inum += igeo->inodes_per_cluster) {
Brian Foster09b56602015-05-29 09:26:03 +10002512 /*
2513 * The allocation bitmap tells us which inodes of the chunk were
2514 * physically allocated. Skip the cluster if an inode falls into
2515 * a sparse region.
2516 */
Brian Foster3cdaa182015-06-04 13:03:34 +10002517 ioffset = inum - xic->first_ino;
2518 if ((xic->alloc & XFS_INOBT_MASK(ioffset)) == 0) {
Darrick J. Wongef325952019-06-05 11:19:34 -07002519 ASSERT(ioffset % igeo->inodes_per_cluster == 0);
Brian Foster09b56602015-05-29 09:26:03 +10002520 continue;
2521 }
2522
Linus Torvalds1da177e2005-04-16 15:20:36 -07002523 blkno = XFS_AGB_TO_DADDR(mp, XFS_INO_TO_AGNO(mp, inum),
2524 XFS_INO_TO_AGBNO(mp, inum));
2525
Linus Torvalds1da177e2005-04-16 15:20:36 -07002526 /*
Dave Chinner5b257b42010-06-03 16:22:29 +10002527 * We obtain and lock the backing buffer first in the process
Dave Chinner718ecc52020-08-17 16:41:01 -07002528 * here to ensure dirty inodes attached to the buffer remain in
2529 * the flushing state while we mark them stale.
2530 *
Dave Chinner5b257b42010-06-03 16:22:29 +10002531 * If we scan the in-memory inodes first, then buffer IO can
2532 * complete before we get a lock on it, and hence we may fail
2533 * to mark all the active inodes on the buffer stale.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002534 */
Darrick J. Wongce924642020-01-23 17:01:18 -08002535 error = xfs_trans_get_buf(tp, mp->m_ddev_targp, blkno,
2536 mp->m_bsize * igeo->blocks_per_cluster,
2537 XBF_UNMAPPED, &bp);
Dave Chinner71e3e352020-06-29 14:49:18 -07002538 if (error)
Darrick J. Wongce924642020-01-23 17:01:18 -08002539 return error;
Dave Chinnerb0f539d2012-11-14 17:53:49 +11002540
2541 /*
2542 * This buffer may not have been correctly initialised as we
2543 * didn't read it from disk. That's not important because we are
2544 * only using to mark the buffer as stale in the log, and to
2545 * attach stale cached inodes on it. That means it will never be
2546 * dispatched for IO. If it is, we want to know about it, and we
2547 * want it to fail. We can acheive this by adding a write
2548 * verifier to the buffer.
2549 */
Colin Ian King8c4ce792018-12-12 08:46:20 -08002550 bp->b_ops = &xfs_inode_buf_ops;
Dave Chinnerb0f539d2012-11-14 17:53:49 +11002551
Dave Chinner5b257b42010-06-03 16:22:29 +10002552 /*
Dave Chinner71e3e352020-06-29 14:49:18 -07002553 * Now we need to set all the cached clean inodes as XFS_ISTALE,
2554 * too. This requires lookups, and will skip inodes that we've
2555 * already marked XFS_ISTALE.
Dave Chinner5b257b42010-06-03 16:22:29 +10002556 */
Dave Chinner71e3e352020-06-29 14:49:18 -07002557 for (i = 0; i < igeo->inodes_per_cluster; i++)
2558 xfs_ifree_mark_inode_stale(bp, free_ip, inum + i);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002559
Dave Chinner5b3eed72010-08-24 11:42:41 +10002560 xfs_trans_stale_inode_buf(tp, bp);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002561 xfs_trans_binval(tp, bp);
2562 }
Chandra Seetharaman2a30f36d2011-09-20 13:56:55 +00002563 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002564}
2565
2566/*
2567 * This is called to return an inode to the inode free list.
2568 * The inode should already be truncated to 0 length and have
2569 * no pages associated with it. This routine also assumes that
2570 * the inode is already a part of the transaction.
2571 *
2572 * The on-disk copy of the inode will have been added to the list
2573 * of unlinked inodes in the AGI. We need to remove the inode from
2574 * that list atomically with respect to freeing it here.
2575 */
2576int
2577xfs_ifree(
Brian Foster0e0417f2018-07-11 22:26:07 -07002578 struct xfs_trans *tp,
2579 struct xfs_inode *ip)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002580{
2581 int error;
Brian Foster09b56602015-05-29 09:26:03 +10002582 struct xfs_icluster xic = { 0 };
Dave Chinner1319ebe2020-06-29 14:48:46 -07002583 struct xfs_inode_log_item *iip = ip->i_itemp;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002584
Christoph Hellwig579aa9c2008-04-22 17:34:00 +10002585 ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL));
Dave Chinner54d7b5c2016-02-09 16:54:58 +11002586 ASSERT(VFS_I(ip)->i_nlink == 0);
Christoph Hellwigdaf83962020-05-18 10:27:22 -07002587 ASSERT(ip->i_df.if_nextents == 0);
Christoph Hellwig13d2c102021-03-29 11:11:40 -07002588 ASSERT(ip->i_disk_size == 0 || !S_ISREG(VFS_I(ip)->i_mode));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002589 ASSERT(ip->i_d.di_nblocks == 0);
2590
2591 /*
2592 * Pull the on-disk inode from the AGI unlinked list.
2593 */
2594 error = xfs_iunlink_remove(tp, ip);
Dave Chinner1baaed82013-06-27 16:04:50 +10002595 if (error)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002596 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002597
Brian Foster0e0417f2018-07-11 22:26:07 -07002598 error = xfs_difree(tp, ip->i_ino, &xic);
Dave Chinner1baaed82013-06-27 16:04:50 +10002599 if (error)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002600 return error;
Dave Chinner1baaed82013-06-27 16:04:50 +10002601
Christoph Hellwigb2c20042020-05-18 10:27:21 -07002602 /*
2603 * Free any local-format data sitting around before we reset the
2604 * data fork to extents format. Note that the attr fork data has
2605 * already been freed by xfs_attr_inactive.
2606 */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07002607 if (ip->i_df.if_format == XFS_DINODE_FMT_LOCAL) {
Christoph Hellwigb2c20042020-05-18 10:27:21 -07002608 kmem_free(ip->i_df.if_u1.if_data);
2609 ip->i_df.if_u1.if_data = NULL;
2610 ip->i_df.if_bytes = 0;
2611 }
Darrick J. Wong98c4f782017-11-22 12:21:07 -08002612
Dave Chinnerc19b3b052016-02-09 16:54:58 +11002613 VFS_I(ip)->i_mode = 0; /* mark incore inode as free */
Linus Torvalds1da177e2005-04-16 15:20:36 -07002614 ip->i_d.di_flags = 0;
Darrick J. Wongf93e54362020-08-17 09:59:07 -07002615 ip->i_d.di_flags2 = ip->i_mount->m_ino_geo.new_diflags2;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002616 ip->i_d.di_forkoff = 0; /* mark the attr fork not in use */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07002617 ip->i_df.if_format = XFS_DINODE_FMT_EXTENTS;
Christoph Hellwig9b3beb02021-03-29 11:11:38 -07002618 if (xfs_iflags_test(ip, XFS_IPRESERVE_DM_FIELDS))
2619 xfs_iflags_clear(ip, XFS_IPRESERVE_DM_FIELDS);
Eric Sandeendc1baa72018-03-28 17:48:08 -07002620
2621 /* Don't attempt to replay owner changes for a deleted inode */
Dave Chinner1319ebe2020-06-29 14:48:46 -07002622 spin_lock(&iip->ili_lock);
2623 iip->ili_fields &= ~(XFS_ILOG_AOWNER | XFS_ILOG_DOWNER);
2624 spin_unlock(&iip->ili_lock);
Eric Sandeendc1baa72018-03-28 17:48:08 -07002625
Linus Torvalds1da177e2005-04-16 15:20:36 -07002626 /*
2627 * Bump the generation count so no one will be confused
2628 * by reincarnations of this inode.
2629 */
Dave Chinner9e9a2672016-02-09 16:54:58 +11002630 VFS_I(ip)->i_generation++;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002631 xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
2632
Brian Foster09b56602015-05-29 09:26:03 +10002633 if (xic.deleted)
2634 error = xfs_ifree_cluster(ip, tp, &xic);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002635
Chandra Seetharaman2a30f36d2011-09-20 13:56:55 +00002636 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002637}
2638
2639/*
Christoph Hellwig60ec6782010-02-17 19:43:56 +00002640 * This is called to unpin an inode. The caller must have the inode locked
2641 * in at least shared mode so that the buffer cannot be subsequently pinned
2642 * once someone is waiting for it to be unpinned.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002643 */
Christoph Hellwig60ec6782010-02-17 19:43:56 +00002644static void
Christoph Hellwigf392e632011-12-18 20:00:10 +00002645xfs_iunpin(
Christoph Hellwig60ec6782010-02-17 19:43:56 +00002646 struct xfs_inode *ip)
David Chinnera3f74ff2008-03-06 13:43:42 +11002647{
Christoph Hellwig579aa9c2008-04-22 17:34:00 +10002648 ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL|XFS_ILOCK_SHARED));
David Chinnera3f74ff2008-03-06 13:43:42 +11002649
Dave Chinner4aaf15d2010-03-08 11:24:07 +11002650 trace_xfs_inode_unpin_nowait(ip, _RET_IP_);
2651
David Chinnera3f74ff2008-03-06 13:43:42 +11002652 /* Give the log a push to start the unpinning I/O */
Christoph Hellwig656de4f2018-03-13 23:15:28 -07002653 xfs_log_force_lsn(ip->i_mount, ip->i_itemp->ili_last_lsn, 0, NULL);
Christoph Hellwiga14a3482010-01-19 09:56:46 +00002654
David Chinnera3f74ff2008-03-06 13:43:42 +11002655}
2656
Christoph Hellwigf392e632011-12-18 20:00:10 +00002657static void
2658__xfs_iunpin_wait(
2659 struct xfs_inode *ip)
2660{
2661 wait_queue_head_t *wq = bit_waitqueue(&ip->i_flags, __XFS_IPINNED_BIT);
2662 DEFINE_WAIT_BIT(wait, &ip->i_flags, __XFS_IPINNED_BIT);
2663
2664 xfs_iunpin(ip);
2665
2666 do {
Ingo Molnar21417132017-03-05 11:25:39 +01002667 prepare_to_wait(wq, &wait.wq_entry, TASK_UNINTERRUPTIBLE);
Christoph Hellwigf392e632011-12-18 20:00:10 +00002668 if (xfs_ipincount(ip))
2669 io_schedule();
2670 } while (xfs_ipincount(ip));
Ingo Molnar21417132017-03-05 11:25:39 +01002671 finish_wait(wq, &wait.wq_entry);
Christoph Hellwigf392e632011-12-18 20:00:10 +00002672}
2673
Dave Chinner777df5a2010-02-06 12:37:26 +11002674void
Linus Torvalds1da177e2005-04-16 15:20:36 -07002675xfs_iunpin_wait(
Christoph Hellwig60ec6782010-02-17 19:43:56 +00002676 struct xfs_inode *ip)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002677{
Christoph Hellwigf392e632011-12-18 20:00:10 +00002678 if (xfs_ipincount(ip))
2679 __xfs_iunpin_wait(ip);
David Chinnera3f74ff2008-03-06 13:43:42 +11002680}
Linus Torvalds1da177e2005-04-16 15:20:36 -07002681
Dave Chinner27320362013-10-29 22:11:44 +11002682/*
2683 * Removing an inode from the namespace involves removing the directory entry
2684 * and dropping the link count on the inode. Removing the directory entry can
2685 * result in locking an AGF (directory blocks were freed) and removing a link
2686 * count can result in placing the inode on an unlinked list which results in
2687 * locking an AGI.
2688 *
2689 * The big problem here is that we have an ordering constraint on AGF and AGI
2690 * locking - inode allocation locks the AGI, then can allocate a new extent for
2691 * new inodes, locking the AGF after the AGI. Similarly, freeing the inode
2692 * removes the inode from the unlinked list, requiring that we lock the AGI
2693 * first, and then freeing the inode can result in an inode chunk being freed
2694 * and hence freeing disk space requiring that we lock an AGF.
2695 *
2696 * Hence the ordering that is imposed by other parts of the code is AGI before
2697 * AGF. This means we cannot remove the directory entry before we drop the inode
2698 * reference count and put it on the unlinked list as this results in a lock
2699 * order of AGF then AGI, and this can deadlock against inode allocation and
2700 * freeing. Therefore we must drop the link counts before we remove the
2701 * directory entry.
2702 *
2703 * This is still safe from a transactional point of view - it is not until we
Darrick J. Wong310a75a2016-08-03 11:18:10 +10002704 * get to xfs_defer_finish() that we have the possibility of multiple
Dave Chinner27320362013-10-29 22:11:44 +11002705 * transactions in this operation. Hence as long as we remove the directory
2706 * entry and drop the link count in the first transaction of the remove
2707 * operation, there are no transactional constraints on the ordering here.
2708 */
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002709int
2710xfs_remove(
2711 xfs_inode_t *dp,
2712 struct xfs_name *name,
2713 xfs_inode_t *ip)
2714{
2715 xfs_mount_t *mp = dp->i_mount;
2716 xfs_trans_t *tp = NULL;
Dave Chinnerc19b3b052016-02-09 16:54:58 +11002717 int is_dir = S_ISDIR(VFS_I(ip)->i_mode);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002718 int error = 0;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002719 uint resblks;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002720
2721 trace_xfs_remove(dp, name);
2722
2723 if (XFS_FORCED_SHUTDOWN(mp))
Dave Chinner24513372014-06-25 14:58:08 +10002724 return -EIO;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002725
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -07002726 error = xfs_qm_dqattach(dp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002727 if (error)
2728 goto std_return;
2729
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -07002730 error = xfs_qm_dqattach(ip);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002731 if (error)
2732 goto std_return;
2733
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002734 /*
2735 * We try to get the real space reservation first,
2736 * allowing for directory btree deletion(s) implying
2737 * possible bmap insert(s). If we can't get the space
2738 * reservation then we use 0 instead, and avoid the bmap
2739 * btree insert(s) in the directory code by, if the bmap
2740 * insert tries to happen, instead trimming the LAST
2741 * block from the directory.
2742 */
2743 resblks = XFS_REMOVE_SPACE_RES(mp);
Christoph Hellwig253f4912016-04-06 09:19:55 +10002744 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_remove, resblks, 0, 0, &tp);
Dave Chinner24513372014-06-25 14:58:08 +10002745 if (error == -ENOSPC) {
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002746 resblks = 0;
Christoph Hellwig253f4912016-04-06 09:19:55 +10002747 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_remove, 0, 0, 0,
2748 &tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002749 }
2750 if (error) {
Dave Chinner24513372014-06-25 14:58:08 +10002751 ASSERT(error != -ENOSPC);
Christoph Hellwig253f4912016-04-06 09:19:55 +10002752 goto std_return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002753 }
2754
Darrick J. Wong7c2d2382018-01-26 15:27:33 -08002755 xfs_lock_two_inodes(dp, XFS_ILOCK_EXCL, ip, XFS_ILOCK_EXCL);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002756
Christoph Hellwig65523212016-11-30 14:33:25 +11002757 xfs_trans_ijoin(tp, dp, XFS_ILOCK_EXCL);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002758 xfs_trans_ijoin(tp, ip, XFS_ILOCK_EXCL);
2759
2760 /*
2761 * If we're removing a directory perform some additional validation.
2762 */
2763 if (is_dir) {
Dave Chinner54d7b5c2016-02-09 16:54:58 +11002764 ASSERT(VFS_I(ip)->i_nlink >= 2);
2765 if (VFS_I(ip)->i_nlink != 2) {
Dave Chinner24513372014-06-25 14:58:08 +10002766 error = -ENOTEMPTY;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002767 goto out_trans_cancel;
2768 }
2769 if (!xfs_dir_isempty(ip)) {
Dave Chinner24513372014-06-25 14:58:08 +10002770 error = -ENOTEMPTY;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002771 goto out_trans_cancel;
2772 }
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002773
Dave Chinner27320362013-10-29 22:11:44 +11002774 /* Drop the link from ip's "..". */
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002775 error = xfs_droplink(tp, dp);
2776 if (error)
Dave Chinner27320362013-10-29 22:11:44 +11002777 goto out_trans_cancel;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002778
Dave Chinner27320362013-10-29 22:11:44 +11002779 /* Drop the "." link from ip to self. */
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002780 error = xfs_droplink(tp, ip);
2781 if (error)
Dave Chinner27320362013-10-29 22:11:44 +11002782 goto out_trans_cancel;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002783 } else {
2784 /*
2785 * When removing a non-directory we need to log the parent
2786 * inode here. For a directory this is done implicitly
2787 * by the xfs_droplink call for the ".." entry.
2788 */
2789 xfs_trans_log_inode(tp, dp, XFS_ILOG_CORE);
2790 }
Dave Chinner27320362013-10-29 22:11:44 +11002791 xfs_trans_ichgtime(tp, dp, XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002792
Dave Chinner27320362013-10-29 22:11:44 +11002793 /* Drop the link from dp to ip. */
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002794 error = xfs_droplink(tp, ip);
2795 if (error)
Dave Chinner27320362013-10-29 22:11:44 +11002796 goto out_trans_cancel;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002797
Brian Foster381eee62018-07-11 22:26:21 -07002798 error = xfs_dir_removename(tp, dp, name, ip->i_ino, resblks);
Dave Chinner27320362013-10-29 22:11:44 +11002799 if (error) {
Dave Chinner24513372014-06-25 14:58:08 +10002800 ASSERT(error != -ENOENT);
Brian Fosterc8eac492018-07-24 13:43:13 -07002801 goto out_trans_cancel;
Dave Chinner27320362013-10-29 22:11:44 +11002802 }
2803
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002804 /*
2805 * If this is a synchronous mount, make sure that the
2806 * remove transaction goes to disk before returning to
2807 * the user.
2808 */
2809 if (mp->m_flags & (XFS_MOUNT_WSYNC|XFS_MOUNT_DIRSYNC))
2810 xfs_trans_set_sync(tp);
2811
Christoph Hellwig70393312015-06-04 13:48:08 +10002812 error = xfs_trans_commit(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002813 if (error)
2814 goto std_return;
2815
Christoph Hellwig2cd2ef62014-04-23 07:11:51 +10002816 if (is_dir && xfs_inode_is_filestream(ip))
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002817 xfs_filestream_deassociate(ip);
2818
2819 return 0;
2820
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002821 out_trans_cancel:
Christoph Hellwig4906e212015-06-04 13:47:56 +10002822 xfs_trans_cancel(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002823 std_return:
2824 return error;
2825}
2826
Dave Chinnerf6bba202013-08-12 20:49:46 +10002827/*
2828 * Enter all inodes for a rename transaction into a sorted array.
2829 */
Dave Chinner95afcf52015-03-25 14:03:32 +11002830#define __XFS_SORT_INODES 5
Dave Chinnerf6bba202013-08-12 20:49:46 +10002831STATIC void
2832xfs_sort_for_rename(
Dave Chinner95afcf52015-03-25 14:03:32 +11002833 struct xfs_inode *dp1, /* in: old (source) directory inode */
2834 struct xfs_inode *dp2, /* in: new (target) directory inode */
2835 struct xfs_inode *ip1, /* in: inode of old entry */
2836 struct xfs_inode *ip2, /* in: inode of new entry */
2837 struct xfs_inode *wip, /* in: whiteout inode */
2838 struct xfs_inode **i_tab,/* out: sorted array of inodes */
2839 int *num_inodes) /* in/out: inodes in array */
Dave Chinnerf6bba202013-08-12 20:49:46 +10002840{
Dave Chinnerf6bba202013-08-12 20:49:46 +10002841 int i, j;
2842
Dave Chinner95afcf52015-03-25 14:03:32 +11002843 ASSERT(*num_inodes == __XFS_SORT_INODES);
2844 memset(i_tab, 0, *num_inodes * sizeof(struct xfs_inode *));
2845
Dave Chinnerf6bba202013-08-12 20:49:46 +10002846 /*
2847 * i_tab contains a list of pointers to inodes. We initialize
2848 * the table here & we'll sort it. We will then use it to
2849 * order the acquisition of the inode locks.
2850 *
2851 * Note that the table may contain duplicates. e.g., dp1 == dp2.
2852 */
Dave Chinner95afcf52015-03-25 14:03:32 +11002853 i = 0;
2854 i_tab[i++] = dp1;
2855 i_tab[i++] = dp2;
2856 i_tab[i++] = ip1;
2857 if (ip2)
2858 i_tab[i++] = ip2;
2859 if (wip)
2860 i_tab[i++] = wip;
2861 *num_inodes = i;
Dave Chinnerf6bba202013-08-12 20:49:46 +10002862
2863 /*
2864 * Sort the elements via bubble sort. (Remember, there are at
Dave Chinner95afcf52015-03-25 14:03:32 +11002865 * most 5 elements to sort, so this is adequate.)
Dave Chinnerf6bba202013-08-12 20:49:46 +10002866 */
2867 for (i = 0; i < *num_inodes; i++) {
2868 for (j = 1; j < *num_inodes; j++) {
2869 if (i_tab[j]->i_ino < i_tab[j-1]->i_ino) {
Dave Chinner95afcf52015-03-25 14:03:32 +11002870 struct xfs_inode *temp = i_tab[j];
Dave Chinnerf6bba202013-08-12 20:49:46 +10002871 i_tab[j] = i_tab[j-1];
2872 i_tab[j-1] = temp;
2873 }
2874 }
2875 }
2876}
2877
Dave Chinner310606b2015-03-25 14:06:07 +11002878static int
2879xfs_finish_rename(
Brian Fosterc9cfdb32018-07-11 22:26:08 -07002880 struct xfs_trans *tp)
Dave Chinner310606b2015-03-25 14:06:07 +11002881{
Dave Chinner310606b2015-03-25 14:06:07 +11002882 /*
2883 * If this is a synchronous mount, make sure that the rename transaction
2884 * goes to disk before returning to the user.
2885 */
2886 if (tp->t_mountp->m_flags & (XFS_MOUNT_WSYNC|XFS_MOUNT_DIRSYNC))
2887 xfs_trans_set_sync(tp);
2888
Christoph Hellwig70393312015-06-04 13:48:08 +10002889 return xfs_trans_commit(tp);
Dave Chinner310606b2015-03-25 14:06:07 +11002890}
2891
Dave Chinnerf6bba202013-08-12 20:49:46 +10002892/*
Carlos Maiolinod31a1822014-12-24 08:51:42 +11002893 * xfs_cross_rename()
2894 *
Bhaskar Chowdhury01452252021-03-23 16:59:30 -07002895 * responsible for handling RENAME_EXCHANGE flag in renameat2() syscall
Carlos Maiolinod31a1822014-12-24 08:51:42 +11002896 */
2897STATIC int
2898xfs_cross_rename(
2899 struct xfs_trans *tp,
2900 struct xfs_inode *dp1,
2901 struct xfs_name *name1,
2902 struct xfs_inode *ip1,
2903 struct xfs_inode *dp2,
2904 struct xfs_name *name2,
2905 struct xfs_inode *ip2,
Carlos Maiolinod31a1822014-12-24 08:51:42 +11002906 int spaceres)
2907{
2908 int error = 0;
2909 int ip1_flags = 0;
2910 int ip2_flags = 0;
2911 int dp2_flags = 0;
2912
2913 /* Swap inode number for dirent in first parent */
Brian Foster381eee62018-07-11 22:26:21 -07002914 error = xfs_dir_replace(tp, dp1, name1, ip2->i_ino, spaceres);
Carlos Maiolinod31a1822014-12-24 08:51:42 +11002915 if (error)
Dave Chinnereeacd322015-03-25 14:08:07 +11002916 goto out_trans_abort;
Carlos Maiolinod31a1822014-12-24 08:51:42 +11002917
2918 /* Swap inode number for dirent in second parent */
Brian Foster381eee62018-07-11 22:26:21 -07002919 error = xfs_dir_replace(tp, dp2, name2, ip1->i_ino, spaceres);
Carlos Maiolinod31a1822014-12-24 08:51:42 +11002920 if (error)
Dave Chinnereeacd322015-03-25 14:08:07 +11002921 goto out_trans_abort;
Carlos Maiolinod31a1822014-12-24 08:51:42 +11002922
2923 /*
2924 * If we're renaming one or more directories across different parents,
2925 * update the respective ".." entries (and link counts) to match the new
2926 * parents.
2927 */
2928 if (dp1 != dp2) {
2929 dp2_flags = XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG;
2930
Dave Chinnerc19b3b052016-02-09 16:54:58 +11002931 if (S_ISDIR(VFS_I(ip2)->i_mode)) {
Carlos Maiolinod31a1822014-12-24 08:51:42 +11002932 error = xfs_dir_replace(tp, ip2, &xfs_name_dotdot,
Brian Foster381eee62018-07-11 22:26:21 -07002933 dp1->i_ino, spaceres);
Carlos Maiolinod31a1822014-12-24 08:51:42 +11002934 if (error)
Dave Chinnereeacd322015-03-25 14:08:07 +11002935 goto out_trans_abort;
Carlos Maiolinod31a1822014-12-24 08:51:42 +11002936
2937 /* transfer ip2 ".." reference to dp1 */
Dave Chinnerc19b3b052016-02-09 16:54:58 +11002938 if (!S_ISDIR(VFS_I(ip1)->i_mode)) {
Carlos Maiolinod31a1822014-12-24 08:51:42 +11002939 error = xfs_droplink(tp, dp2);
2940 if (error)
Dave Chinnereeacd322015-03-25 14:08:07 +11002941 goto out_trans_abort;
Eric Sandeen91083262019-05-01 20:26:30 -07002942 xfs_bumplink(tp, dp1);
Carlos Maiolinod31a1822014-12-24 08:51:42 +11002943 }
2944
2945 /*
2946 * Although ip1 isn't changed here, userspace needs
2947 * to be warned about the change, so that applications
2948 * relying on it (like backup ones), will properly
2949 * notify the change
2950 */
2951 ip1_flags |= XFS_ICHGTIME_CHG;
2952 ip2_flags |= XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG;
2953 }
2954
Dave Chinnerc19b3b052016-02-09 16:54:58 +11002955 if (S_ISDIR(VFS_I(ip1)->i_mode)) {
Carlos Maiolinod31a1822014-12-24 08:51:42 +11002956 error = xfs_dir_replace(tp, ip1, &xfs_name_dotdot,
Brian Foster381eee62018-07-11 22:26:21 -07002957 dp2->i_ino, spaceres);
Carlos Maiolinod31a1822014-12-24 08:51:42 +11002958 if (error)
Dave Chinnereeacd322015-03-25 14:08:07 +11002959 goto out_trans_abort;
Carlos Maiolinod31a1822014-12-24 08:51:42 +11002960
2961 /* transfer ip1 ".." reference to dp2 */
Dave Chinnerc19b3b052016-02-09 16:54:58 +11002962 if (!S_ISDIR(VFS_I(ip2)->i_mode)) {
Carlos Maiolinod31a1822014-12-24 08:51:42 +11002963 error = xfs_droplink(tp, dp1);
2964 if (error)
Dave Chinnereeacd322015-03-25 14:08:07 +11002965 goto out_trans_abort;
Eric Sandeen91083262019-05-01 20:26:30 -07002966 xfs_bumplink(tp, dp2);
Carlos Maiolinod31a1822014-12-24 08:51:42 +11002967 }
2968
2969 /*
2970 * Although ip2 isn't changed here, userspace needs
2971 * to be warned about the change, so that applications
2972 * relying on it (like backup ones), will properly
2973 * notify the change
2974 */
2975 ip1_flags |= XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG;
2976 ip2_flags |= XFS_ICHGTIME_CHG;
2977 }
2978 }
2979
2980 if (ip1_flags) {
2981 xfs_trans_ichgtime(tp, ip1, ip1_flags);
2982 xfs_trans_log_inode(tp, ip1, XFS_ILOG_CORE);
2983 }
2984 if (ip2_flags) {
2985 xfs_trans_ichgtime(tp, ip2, ip2_flags);
2986 xfs_trans_log_inode(tp, ip2, XFS_ILOG_CORE);
2987 }
2988 if (dp2_flags) {
2989 xfs_trans_ichgtime(tp, dp2, dp2_flags);
2990 xfs_trans_log_inode(tp, dp2, XFS_ILOG_CORE);
2991 }
2992 xfs_trans_ichgtime(tp, dp1, XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG);
2993 xfs_trans_log_inode(tp, dp1, XFS_ILOG_CORE);
Brian Fosterc9cfdb32018-07-11 22:26:08 -07002994 return xfs_finish_rename(tp);
Dave Chinnereeacd322015-03-25 14:08:07 +11002995
2996out_trans_abort:
Christoph Hellwig4906e212015-06-04 13:47:56 +10002997 xfs_trans_cancel(tp);
Carlos Maiolinod31a1822014-12-24 08:51:42 +11002998 return error;
2999}
3000
3001/*
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003002 * xfs_rename_alloc_whiteout()
3003 *
Randy Dunlapb63da6c2020-08-05 08:49:58 -07003004 * Return a referenced, unlinked, unlocked inode that can be used as a
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003005 * whiteout in a rename transaction. We use a tmpfile inode here so that if we
3006 * crash between allocating the inode and linking it into the rename transaction
3007 * recovery will free the inode and we won't leak it.
3008 */
3009static int
3010xfs_rename_alloc_whiteout(
Christoph Hellwigf736d932021-01-21 14:19:58 +01003011 struct user_namespace *mnt_userns,
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003012 struct xfs_inode *dp,
3013 struct xfs_inode **wip)
3014{
3015 struct xfs_inode *tmpfile;
3016 int error;
3017
Christoph Hellwigf736d932021-01-21 14:19:58 +01003018 error = xfs_create_tmpfile(mnt_userns, dp, S_IFCHR | WHITEOUT_MODE,
3019 &tmpfile);
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003020 if (error)
3021 return error;
3022
Brian Foster22419ac2015-05-29 08:14:55 +10003023 /*
3024 * Prepare the tmpfile inode as if it were created through the VFS.
Darrick J. Wongc4a6bf72019-02-13 11:15:17 -08003025 * Complete the inode setup and flag it as linkable. nlink is already
3026 * zero, so we can skip the drop_nlink.
Brian Foster22419ac2015-05-29 08:14:55 +10003027 */
Christoph Hellwig2b3d1d42016-04-06 07:48:27 +10003028 xfs_setup_iops(tmpfile);
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003029 xfs_finish_inode_setup(tmpfile);
3030 VFS_I(tmpfile)->i_state |= I_LINKABLE;
3031
3032 *wip = tmpfile;
3033 return 0;
3034}
3035
3036/*
Dave Chinnerf6bba202013-08-12 20:49:46 +10003037 * xfs_rename
3038 */
3039int
3040xfs_rename(
Christoph Hellwigf736d932021-01-21 14:19:58 +01003041 struct user_namespace *mnt_userns,
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003042 struct xfs_inode *src_dp,
3043 struct xfs_name *src_name,
3044 struct xfs_inode *src_ip,
3045 struct xfs_inode *target_dp,
3046 struct xfs_name *target_name,
3047 struct xfs_inode *target_ip,
3048 unsigned int flags)
Dave Chinnerf6bba202013-08-12 20:49:46 +10003049{
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003050 struct xfs_mount *mp = src_dp->i_mount;
3051 struct xfs_trans *tp;
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003052 struct xfs_inode *wip = NULL; /* whiteout inode */
3053 struct xfs_inode *inodes[__XFS_SORT_INODES];
Darrick J. Wong6da1b4b2021-01-22 16:48:32 -08003054 int i;
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003055 int num_inodes = __XFS_SORT_INODES;
Dave Chinner2b936812015-03-25 15:12:30 +11003056 bool new_parent = (src_dp != target_dp);
Dave Chinnerc19b3b052016-02-09 16:54:58 +11003057 bool src_is_directory = S_ISDIR(VFS_I(src_ip)->i_mode);
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003058 int spaceres;
3059 int error;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003060
3061 trace_xfs_rename(src_dp, target_dp, src_name, target_name);
3062
Dave Chinnereeacd322015-03-25 14:08:07 +11003063 if ((flags & RENAME_EXCHANGE) && !target_ip)
3064 return -EINVAL;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003065
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003066 /*
3067 * If we are doing a whiteout operation, allocate the whiteout inode
3068 * we will be placing at the target and ensure the type is set
3069 * appropriately.
3070 */
3071 if (flags & RENAME_WHITEOUT) {
3072 ASSERT(!(flags & (RENAME_NOREPLACE | RENAME_EXCHANGE)));
Christoph Hellwigf736d932021-01-21 14:19:58 +01003073 error = xfs_rename_alloc_whiteout(mnt_userns, target_dp, &wip);
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003074 if (error)
3075 return error;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003076
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003077 /* setup target dirent info as whiteout */
3078 src_name->type = XFS_DIR3_FT_CHRDEV;
3079 }
3080
3081 xfs_sort_for_rename(src_dp, target_dp, src_ip, target_ip, wip,
Dave Chinnerf6bba202013-08-12 20:49:46 +10003082 inodes, &num_inodes);
3083
Dave Chinnerf6bba202013-08-12 20:49:46 +10003084 spaceres = XFS_RENAME_SPACE_RES(mp, target_name->len);
Christoph Hellwig253f4912016-04-06 09:19:55 +10003085 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_rename, spaceres, 0, 0, &tp);
Dave Chinner24513372014-06-25 14:58:08 +10003086 if (error == -ENOSPC) {
Dave Chinnerf6bba202013-08-12 20:49:46 +10003087 spaceres = 0;
Christoph Hellwig253f4912016-04-06 09:19:55 +10003088 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_rename, 0, 0, 0,
3089 &tp);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003090 }
Dave Chinner445883e2015-03-25 14:05:43 +11003091 if (error)
Christoph Hellwig253f4912016-04-06 09:19:55 +10003092 goto out_release_wip;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003093
3094 /*
3095 * Attach the dquots to the inodes
3096 */
3097 error = xfs_qm_vop_rename_dqattach(inodes);
Dave Chinner445883e2015-03-25 14:05:43 +11003098 if (error)
3099 goto out_trans_cancel;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003100
3101 /*
3102 * Lock all the participating inodes. Depending upon whether
3103 * the target_name exists in the target directory, and
3104 * whether the target directory is the same as the source
3105 * directory, we can lock from 2 to 4 inodes.
3106 */
3107 xfs_lock_inodes(inodes, num_inodes, XFS_ILOCK_EXCL);
3108
3109 /*
3110 * Join all the inodes to the transaction. From this point on,
3111 * we can rely on either trans_commit or trans_cancel to unlock
3112 * them.
3113 */
Christoph Hellwig65523212016-11-30 14:33:25 +11003114 xfs_trans_ijoin(tp, src_dp, XFS_ILOCK_EXCL);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003115 if (new_parent)
Christoph Hellwig65523212016-11-30 14:33:25 +11003116 xfs_trans_ijoin(tp, target_dp, XFS_ILOCK_EXCL);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003117 xfs_trans_ijoin(tp, src_ip, XFS_ILOCK_EXCL);
3118 if (target_ip)
3119 xfs_trans_ijoin(tp, target_ip, XFS_ILOCK_EXCL);
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003120 if (wip)
3121 xfs_trans_ijoin(tp, wip, XFS_ILOCK_EXCL);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003122
3123 /*
3124 * If we are using project inheritance, we only allow renames
3125 * into our tree when the project IDs are the same; else the
3126 * tree quota mechanism would be circumvented.
3127 */
3128 if (unlikely((target_dp->i_d.di_flags & XFS_DIFLAG_PROJINHERIT) &&
Christoph Hellwigceaf6032021-03-29 11:11:39 -07003129 target_dp->i_projid != src_ip->i_projid)) {
Dave Chinner24513372014-06-25 14:58:08 +10003130 error = -EXDEV;
Dave Chinner445883e2015-03-25 14:05:43 +11003131 goto out_trans_cancel;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003132 }
3133
Dave Chinnereeacd322015-03-25 14:08:07 +11003134 /* RENAME_EXCHANGE is unique from here on. */
3135 if (flags & RENAME_EXCHANGE)
3136 return xfs_cross_rename(tp, src_dp, src_name, src_ip,
3137 target_dp, target_name, target_ip,
Brian Fosterf16dea52018-07-11 22:26:20 -07003138 spaceres);
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003139
3140 /*
kaixuxiabc56ad82019-09-03 21:06:50 -07003141 * Check for expected errors before we dirty the transaction
3142 * so we can return an error without a transaction abort.
Chandan Babu R02092a22021-01-22 16:48:13 -08003143 *
3144 * Extent count overflow check:
3145 *
3146 * From the perspective of src_dp, a rename operation is essentially a
3147 * directory entry remove operation. Hence the only place where we check
3148 * for extent count overflow for src_dp is in
3149 * xfs_bmap_del_extent_real(). xfs_bmap_del_extent_real() returns
3150 * -ENOSPC when it detects a possible extent count overflow and in
3151 * response, the higher layers of directory handling code do the
3152 * following:
3153 * 1. Data/Free blocks: XFS lets these blocks linger until a
3154 * future remove operation removes them.
3155 * 2. Dabtree blocks: XFS swaps the blocks with the last block in the
3156 * Leaf space and unmaps the last block.
3157 *
3158 * For target_dp, there are two cases depending on whether the
3159 * destination directory entry exists or not.
3160 *
3161 * When destination directory entry does not exist (i.e. target_ip ==
3162 * NULL), extent count overflow check is performed only when transaction
3163 * has a non-zero sized space reservation associated with it. With a
3164 * zero-sized space reservation, XFS allows a rename operation to
3165 * continue only when the directory has sufficient free space in its
3166 * data/leaf/free space blocks to hold the new entry.
3167 *
3168 * When destination directory entry exists (i.e. target_ip != NULL), all
3169 * we need to do is change the inode number associated with the already
3170 * existing entry. Hence there is no need to perform an extent count
3171 * overflow check.
Dave Chinnerf6bba202013-08-12 20:49:46 +10003172 */
3173 if (target_ip == NULL) {
3174 /*
3175 * If there's no space reservation, check the entry will
3176 * fit before actually inserting it.
3177 */
Eric Sandeen94f3cad2014-09-09 11:57:52 +10003178 if (!spaceres) {
3179 error = xfs_dir_canenter(tp, target_dp, target_name);
3180 if (error)
Dave Chinner445883e2015-03-25 14:05:43 +11003181 goto out_trans_cancel;
Chandan Babu R02092a22021-01-22 16:48:13 -08003182 } else {
3183 error = xfs_iext_count_may_overflow(target_dp,
3184 XFS_DATA_FORK,
3185 XFS_IEXT_DIR_MANIP_CNT(mp));
3186 if (error)
3187 goto out_trans_cancel;
Eric Sandeen94f3cad2014-09-09 11:57:52 +10003188 }
kaixuxiabc56ad82019-09-03 21:06:50 -07003189 } else {
3190 /*
3191 * If target exists and it's a directory, check that whether
3192 * it can be destroyed.
3193 */
3194 if (S_ISDIR(VFS_I(target_ip)->i_mode) &&
3195 (!xfs_dir_isempty(target_ip) ||
3196 (VFS_I(target_ip)->i_nlink > 2))) {
3197 error = -EEXIST;
3198 goto out_trans_cancel;
3199 }
3200 }
3201
3202 /*
Darrick J. Wong6da1b4b2021-01-22 16:48:32 -08003203 * Lock the AGI buffers we need to handle bumping the nlink of the
3204 * whiteout inode off the unlinked list and to handle dropping the
3205 * nlink of the target inode. Per locking order rules, do this in
3206 * increasing AG order and before directory block allocation tries to
3207 * grab AGFs because we grab AGIs before AGFs.
3208 *
3209 * The (vfs) caller must ensure that if src is a directory then
3210 * target_ip is either null or an empty directory.
3211 */
3212 for (i = 0; i < num_inodes && inodes[i] != NULL; i++) {
3213 if (inodes[i] == wip ||
3214 (inodes[i] == target_ip &&
3215 (VFS_I(target_ip)->i_nlink == 1 || src_is_directory))) {
3216 struct xfs_buf *bp;
3217 xfs_agnumber_t agno;
3218
3219 agno = XFS_INO_TO_AGNO(mp, inodes[i]->i_ino);
3220 error = xfs_read_agi(mp, tp, agno, &bp);
3221 if (error)
3222 goto out_trans_cancel;
3223 }
3224 }
3225
3226 /*
kaixuxiabc56ad82019-09-03 21:06:50 -07003227 * Directory entry creation below may acquire the AGF. Remove
3228 * the whiteout from the unlinked list first to preserve correct
3229 * AGI/AGF locking order. This dirties the transaction so failures
3230 * after this point will abort and log recovery will clean up the
3231 * mess.
3232 *
3233 * For whiteouts, we need to bump the link count on the whiteout
3234 * inode. After this point, we have a real link, clear the tmpfile
3235 * state flag from the inode so it doesn't accidentally get misused
3236 * in future.
3237 */
3238 if (wip) {
3239 ASSERT(VFS_I(wip)->i_nlink == 0);
3240 error = xfs_iunlink_remove(tp, wip);
3241 if (error)
3242 goto out_trans_cancel;
3243
3244 xfs_bumplink(tp, wip);
kaixuxiabc56ad82019-09-03 21:06:50 -07003245 VFS_I(wip)->i_state &= ~I_LINKABLE;
3246 }
3247
3248 /*
3249 * Set up the target.
3250 */
3251 if (target_ip == NULL) {
Dave Chinnerf6bba202013-08-12 20:49:46 +10003252 /*
3253 * If target does not exist and the rename crosses
3254 * directories, adjust the target directory link count
3255 * to account for the ".." reference from the new entry.
3256 */
3257 error = xfs_dir_createname(tp, target_dp, target_name,
Brian Foster381eee62018-07-11 22:26:21 -07003258 src_ip->i_ino, spaceres);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003259 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07003260 goto out_trans_cancel;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003261
3262 xfs_trans_ichgtime(tp, target_dp,
3263 XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG);
3264
3265 if (new_parent && src_is_directory) {
Eric Sandeen91083262019-05-01 20:26:30 -07003266 xfs_bumplink(tp, target_dp);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003267 }
3268 } else { /* target_ip != NULL */
3269 /*
Dave Chinnerf6bba202013-08-12 20:49:46 +10003270 * Link the source inode under the target name.
3271 * If the source inode is a directory and we are moving
3272 * it across directories, its ".." entry will be
3273 * inconsistent until we replace that down below.
3274 *
3275 * In case there is already an entry with the same
3276 * name at the destination directory, remove it first.
3277 */
3278 error = xfs_dir_replace(tp, target_dp, target_name,
Brian Foster381eee62018-07-11 22:26:21 -07003279 src_ip->i_ino, spaceres);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003280 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07003281 goto out_trans_cancel;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003282
3283 xfs_trans_ichgtime(tp, target_dp,
3284 XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG);
3285
3286 /*
3287 * Decrement the link count on the target since the target
3288 * dir no longer points to it.
3289 */
3290 error = xfs_droplink(tp, target_ip);
3291 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07003292 goto out_trans_cancel;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003293
3294 if (src_is_directory) {
3295 /*
3296 * Drop the link from the old "." entry.
3297 */
3298 error = xfs_droplink(tp, target_ip);
3299 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07003300 goto out_trans_cancel;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003301 }
3302 } /* target_ip != NULL */
3303
3304 /*
3305 * Remove the source.
3306 */
3307 if (new_parent && src_is_directory) {
3308 /*
3309 * Rewrite the ".." entry to point to the new
3310 * directory.
3311 */
3312 error = xfs_dir_replace(tp, src_ip, &xfs_name_dotdot,
Brian Foster381eee62018-07-11 22:26:21 -07003313 target_dp->i_ino, spaceres);
Dave Chinner24513372014-06-25 14:58:08 +10003314 ASSERT(error != -EEXIST);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003315 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07003316 goto out_trans_cancel;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003317 }
3318
3319 /*
3320 * We always want to hit the ctime on the source inode.
3321 *
3322 * This isn't strictly required by the standards since the source
3323 * inode isn't really being changed, but old unix file systems did
3324 * it and some incremental backup programs won't work without it.
3325 */
3326 xfs_trans_ichgtime(tp, src_ip, XFS_ICHGTIME_CHG);
3327 xfs_trans_log_inode(tp, src_ip, XFS_ILOG_CORE);
3328
3329 /*
3330 * Adjust the link count on src_dp. This is necessary when
3331 * renaming a directory, either within one parent when
3332 * the target existed, or across two parent directories.
3333 */
3334 if (src_is_directory && (new_parent || target_ip != NULL)) {
3335
3336 /*
3337 * Decrement link count on src_directory since the
3338 * entry that's moved no longer points to it.
3339 */
3340 error = xfs_droplink(tp, src_dp);
3341 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07003342 goto out_trans_cancel;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003343 }
3344
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003345 /*
3346 * For whiteouts, we only need to update the source dirent with the
3347 * inode number of the whiteout inode rather than removing it
3348 * altogether.
3349 */
3350 if (wip) {
3351 error = xfs_dir_replace(tp, src_dp, src_name, wip->i_ino,
Brian Foster381eee62018-07-11 22:26:21 -07003352 spaceres);
Chandan Babu R02092a22021-01-22 16:48:13 -08003353 } else {
3354 /*
3355 * NOTE: We don't need to check for extent count overflow here
3356 * because the dir remove name code will leave the dir block in
3357 * place if the extent count would overflow.
3358 */
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003359 error = xfs_dir_removename(tp, src_dp, src_name, src_ip->i_ino,
Brian Foster381eee62018-07-11 22:26:21 -07003360 spaceres);
Chandan Babu R02092a22021-01-22 16:48:13 -08003361 }
3362
Dave Chinnerf6bba202013-08-12 20:49:46 +10003363 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07003364 goto out_trans_cancel;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003365
3366 xfs_trans_ichgtime(tp, src_dp, XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG);
3367 xfs_trans_log_inode(tp, src_dp, XFS_ILOG_CORE);
3368 if (new_parent)
3369 xfs_trans_log_inode(tp, target_dp, XFS_ILOG_CORE);
3370
Brian Fosterc9cfdb32018-07-11 22:26:08 -07003371 error = xfs_finish_rename(tp);
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003372 if (wip)
Darrick J. Wong44a87362018-07-25 12:52:32 -07003373 xfs_irele(wip);
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003374 return error;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003375
Dave Chinner445883e2015-03-25 14:05:43 +11003376out_trans_cancel:
Christoph Hellwig4906e212015-06-04 13:47:56 +10003377 xfs_trans_cancel(tp);
Christoph Hellwig253f4912016-04-06 09:19:55 +10003378out_release_wip:
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003379 if (wip)
Darrick J. Wong44a87362018-07-25 12:52:32 -07003380 xfs_irele(wip);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003381 return error;
3382}
3383
Dave Chinnere6187b32020-06-29 14:49:19 -07003384static int
3385xfs_iflush(
Christoph Hellwig93848a92013-04-03 16:11:17 +11003386 struct xfs_inode *ip,
3387 struct xfs_buf *bp)
Linus Torvalds1da177e2005-04-16 15:20:36 -07003388{
Christoph Hellwig93848a92013-04-03 16:11:17 +11003389 struct xfs_inode_log_item *iip = ip->i_itemp;
3390 struct xfs_dinode *dip;
3391 struct xfs_mount *mp = ip->i_mount;
Brian Fosterf2019292020-05-06 13:25:20 -07003392 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003393
Christoph Hellwig579aa9c2008-04-22 17:34:00 +10003394 ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL|XFS_ILOCK_SHARED));
Dave Chinner718ecc52020-08-17 16:41:01 -07003395 ASSERT(xfs_iflags_test(ip, XFS_IFLUSHING));
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07003396 ASSERT(ip->i_df.if_format != XFS_DINODE_FMT_BTREE ||
Christoph Hellwigdaf83962020-05-18 10:27:22 -07003397 ip->i_df.if_nextents > XFS_IFORK_MAXEXT(ip, XFS_DATA_FORK));
Dave Chinner90c60e12020-06-29 14:49:19 -07003398 ASSERT(iip->ili_item.li_buf == bp);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003399
Christoph Hellwig88ee2df2015-06-22 09:44:29 +10003400 dip = xfs_buf_offset(bp, ip->i_imap.im_boffset);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003401
Brian Fosterf2019292020-05-06 13:25:20 -07003402 /*
3403 * We don't flush the inode if any of the following checks fail, but we
3404 * do still update the log item and attach to the backing buffer as if
3405 * the flush happened. This is a formality to facilitate predictable
3406 * error handling as the caller will shutdown and fail the buffer.
3407 */
3408 error = -EFSCORRUPTED;
Christoph Hellwig69ef9212011-07-08 14:36:05 +02003409 if (XFS_TEST_ERROR(dip->di_magic != cpu_to_be16(XFS_DINODE_MAGIC),
Darrick J. Wong9e24cfd2017-06-20 17:54:47 -07003410 mp, XFS_ERRTAG_IFLUSH_1)) {
Dave Chinner6a19d932011-03-07 10:02:35 +11003411 xfs_alert_tag(mp, XFS_PTAG_IFLUSH,
Darrick J. Wongc9690042018-01-09 12:02:55 -08003412 "%s: Bad inode %Lu magic number 0x%x, ptr "PTR_FMT,
Dave Chinner6a19d932011-03-07 10:02:35 +11003413 __func__, ip->i_ino, be16_to_cpu(dip->di_magic), dip);
Brian Fosterf2019292020-05-06 13:25:20 -07003414 goto flush_out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003415 }
Dave Chinnerc19b3b052016-02-09 16:54:58 +11003416 if (S_ISREG(VFS_I(ip)->i_mode)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07003417 if (XFS_TEST_ERROR(
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07003418 ip->i_df.if_format != XFS_DINODE_FMT_EXTENTS &&
3419 ip->i_df.if_format != XFS_DINODE_FMT_BTREE,
Darrick J. Wong9e24cfd2017-06-20 17:54:47 -07003420 mp, XFS_ERRTAG_IFLUSH_3)) {
Dave Chinner6a19d932011-03-07 10:02:35 +11003421 xfs_alert_tag(mp, XFS_PTAG_IFLUSH,
Darrick J. Wongc9690042018-01-09 12:02:55 -08003422 "%s: Bad regular inode %Lu, ptr "PTR_FMT,
Dave Chinner6a19d932011-03-07 10:02:35 +11003423 __func__, ip->i_ino, ip);
Brian Fosterf2019292020-05-06 13:25:20 -07003424 goto flush_out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003425 }
Dave Chinnerc19b3b052016-02-09 16:54:58 +11003426 } else if (S_ISDIR(VFS_I(ip)->i_mode)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07003427 if (XFS_TEST_ERROR(
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07003428 ip->i_df.if_format != XFS_DINODE_FMT_EXTENTS &&
3429 ip->i_df.if_format != XFS_DINODE_FMT_BTREE &&
3430 ip->i_df.if_format != XFS_DINODE_FMT_LOCAL,
Darrick J. Wong9e24cfd2017-06-20 17:54:47 -07003431 mp, XFS_ERRTAG_IFLUSH_4)) {
Dave Chinner6a19d932011-03-07 10:02:35 +11003432 xfs_alert_tag(mp, XFS_PTAG_IFLUSH,
Darrick J. Wongc9690042018-01-09 12:02:55 -08003433 "%s: Bad directory inode %Lu, ptr "PTR_FMT,
Dave Chinner6a19d932011-03-07 10:02:35 +11003434 __func__, ip->i_ino, ip);
Brian Fosterf2019292020-05-06 13:25:20 -07003435 goto flush_out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003436 }
3437 }
Christoph Hellwigdaf83962020-05-18 10:27:22 -07003438 if (XFS_TEST_ERROR(ip->i_df.if_nextents + xfs_ifork_nextents(ip->i_afp) >
Darrick J. Wong9e24cfd2017-06-20 17:54:47 -07003439 ip->i_d.di_nblocks, mp, XFS_ERRTAG_IFLUSH_5)) {
Dave Chinner6a19d932011-03-07 10:02:35 +11003440 xfs_alert_tag(mp, XFS_PTAG_IFLUSH,
3441 "%s: detected corrupt incore inode %Lu, "
Darrick J. Wongc9690042018-01-09 12:02:55 -08003442 "total extents = %d, nblocks = %Ld, ptr "PTR_FMT,
Dave Chinner6a19d932011-03-07 10:02:35 +11003443 __func__, ip->i_ino,
Christoph Hellwigdaf83962020-05-18 10:27:22 -07003444 ip->i_df.if_nextents + xfs_ifork_nextents(ip->i_afp),
Dave Chinner6a19d932011-03-07 10:02:35 +11003445 ip->i_d.di_nblocks, ip);
Brian Fosterf2019292020-05-06 13:25:20 -07003446 goto flush_out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003447 }
3448 if (XFS_TEST_ERROR(ip->i_d.di_forkoff > mp->m_sb.sb_inodesize,
Darrick J. Wong9e24cfd2017-06-20 17:54:47 -07003449 mp, XFS_ERRTAG_IFLUSH_6)) {
Dave Chinner6a19d932011-03-07 10:02:35 +11003450 xfs_alert_tag(mp, XFS_PTAG_IFLUSH,
Darrick J. Wongc9690042018-01-09 12:02:55 -08003451 "%s: bad inode %Lu, forkoff 0x%x, ptr "PTR_FMT,
Dave Chinner6a19d932011-03-07 10:02:35 +11003452 __func__, ip->i_ino, ip->i_d.di_forkoff, ip);
Brian Fosterf2019292020-05-06 13:25:20 -07003453 goto flush_out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003454 }
Dave Chinnere60896d2013-07-24 15:47:30 +10003455
Linus Torvalds1da177e2005-04-16 15:20:36 -07003456 /*
Dave Chinner263997a2014-05-20 07:46:40 +10003457 * Inode item log recovery for v2 inodes are dependent on the
Dave Chinnere60896d2013-07-24 15:47:30 +10003458 * di_flushiter count for correct sequencing. We bump the flush
3459 * iteration count so we can detect flushes which postdate a log record
3460 * during recovery. This is redundant as we now log every change and
3461 * hence this can't happen but we need to still do it to ensure
3462 * backwards compatibility with old kernels that predate logging all
3463 * inode changes.
Linus Torvalds1da177e2005-04-16 15:20:36 -07003464 */
Christoph Hellwig6471e9c2020-03-18 08:15:11 -07003465 if (!xfs_sb_version_has_v3inode(&mp->m_sb))
Dave Chinnere60896d2013-07-24 15:47:30 +10003466 ip->i_d.di_flushiter++;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003467
Christoph Hellwig0f45a1b2020-05-14 14:01:31 -07003468 /*
3469 * If there are inline format data / attr forks attached to this inode,
3470 * make sure they are not corrupt.
3471 */
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07003472 if (ip->i_df.if_format == XFS_DINODE_FMT_LOCAL &&
Christoph Hellwig0f45a1b2020-05-14 14:01:31 -07003473 xfs_ifork_verify_local_data(ip))
3474 goto flush_out;
Christoph Hellwigf7e67b22020-05-18 10:28:05 -07003475 if (ip->i_afp && ip->i_afp->if_format == XFS_DINODE_FMT_LOCAL &&
Christoph Hellwig0f45a1b2020-05-14 14:01:31 -07003476 xfs_ifork_verify_local_attr(ip))
Brian Fosterf2019292020-05-06 13:25:20 -07003477 goto flush_out;
Darrick J. Wong005c5db2017-03-28 14:51:10 -07003478
Linus Torvalds1da177e2005-04-16 15:20:36 -07003479 /*
Dave Chinner39878482016-02-09 16:54:58 +11003480 * Copy the dirty parts of the inode into the on-disk inode. We always
3481 * copy out the core of the inode, because if the inode is dirty at all
3482 * the core must be.
Linus Torvalds1da177e2005-04-16 15:20:36 -07003483 */
Dave Chinner93f958f2016-02-09 16:54:58 +11003484 xfs_inode_to_disk(ip, dip, iip->ili_item.li_lsn);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003485
3486 /* Wrap, we never let the log put out DI_MAX_FLUSH */
3487 if (ip->i_d.di_flushiter == DI_MAX_FLUSH)
3488 ip->i_d.di_flushiter = 0;
3489
Darrick J. Wong005c5db2017-03-28 14:51:10 -07003490 xfs_iflush_fork(ip, dip, iip, XFS_DATA_FORK);
3491 if (XFS_IFORK_Q(ip))
3492 xfs_iflush_fork(ip, dip, iip, XFS_ATTR_FORK);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003493
3494 /*
Christoph Hellwigf5d8d5c2012-02-29 09:53:54 +00003495 * We've recorded everything logged in the inode, so we'd like to clear
3496 * the ili_fields bits so we don't log and flush things unnecessarily.
3497 * However, we can't stop logging all this information until the data
3498 * we've copied into the disk buffer is written to disk. If we did we
3499 * might overwrite the copy of the inode in the log with all the data
3500 * after re-logging only part of it, and in the face of a crash we
3501 * wouldn't have all the data we need to recover.
Linus Torvalds1da177e2005-04-16 15:20:36 -07003502 *
Christoph Hellwigf5d8d5c2012-02-29 09:53:54 +00003503 * What we do is move the bits to the ili_last_fields field. When
3504 * logging the inode, these bits are moved back to the ili_fields field.
Christoph Hellwig664ffb82020-09-01 10:55:29 -07003505 * In the xfs_buf_inode_iodone() routine we clear ili_last_fields, since
3506 * we know that the information those bits represent is permanently on
Christoph Hellwigf5d8d5c2012-02-29 09:53:54 +00003507 * disk. As long as the flush completes before the inode is logged
3508 * again, then both ili_fields and ili_last_fields will be cleared.
Linus Torvalds1da177e2005-04-16 15:20:36 -07003509 */
Brian Fosterf2019292020-05-06 13:25:20 -07003510 error = 0;
3511flush_out:
Dave Chinner1319ebe2020-06-29 14:48:46 -07003512 spin_lock(&iip->ili_lock);
Christoph Hellwig93848a92013-04-03 16:11:17 +11003513 iip->ili_last_fields = iip->ili_fields;
3514 iip->ili_fields = 0;
Dave Chinnerfc0561c2015-11-03 13:14:59 +11003515 iip->ili_fsync_fields = 0;
Dave Chinner1319ebe2020-06-29 14:48:46 -07003516 spin_unlock(&iip->ili_lock);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003517
Dave Chinner1319ebe2020-06-29 14:48:46 -07003518 /*
3519 * Store the current LSN of the inode so that we can tell whether the
Christoph Hellwig664ffb82020-09-01 10:55:29 -07003520 * item has moved in the AIL from xfs_buf_inode_iodone().
Dave Chinner1319ebe2020-06-29 14:48:46 -07003521 */
Christoph Hellwig93848a92013-04-03 16:11:17 +11003522 xfs_trans_ail_copy_lsn(mp->m_ail, &iip->ili_flush_lsn,
3523 &iip->ili_item.li_lsn);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003524
Christoph Hellwig93848a92013-04-03 16:11:17 +11003525 /* generate the checksum. */
3526 xfs_dinode_calc_crc(mp, dip);
Brian Fosterf2019292020-05-06 13:25:20 -07003527 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003528}
Darrick J. Wong44a87362018-07-25 12:52:32 -07003529
Dave Chinnere6187b32020-06-29 14:49:19 -07003530/*
3531 * Non-blocking flush of dirty inode metadata into the backing buffer.
3532 *
3533 * The caller must have a reference to the inode and hold the cluster buffer
3534 * locked. The function will walk across all the inodes on the cluster buffer it
3535 * can find and lock without blocking, and flush them to the cluster buffer.
3536 *
Dave Chinner5717ea42020-06-29 14:49:20 -07003537 * On successful flushing of at least one inode, the caller must write out the
3538 * buffer and release it. If no inodes are flushed, -EAGAIN will be returned and
3539 * the caller needs to release the buffer. On failure, the filesystem will be
3540 * shut down, the buffer will have been unlocked and released, and EFSCORRUPTED
3541 * will be returned.
Dave Chinnere6187b32020-06-29 14:49:19 -07003542 */
3543int
3544xfs_iflush_cluster(
Dave Chinnere6187b32020-06-29 14:49:19 -07003545 struct xfs_buf *bp)
3546{
Dave Chinner5717ea42020-06-29 14:49:20 -07003547 struct xfs_mount *mp = bp->b_mount;
3548 struct xfs_log_item *lip, *n;
3549 struct xfs_inode *ip;
3550 struct xfs_inode_log_item *iip;
Dave Chinnere6187b32020-06-29 14:49:19 -07003551 int clcount = 0;
Dave Chinner5717ea42020-06-29 14:49:20 -07003552 int error = 0;
Dave Chinnere6187b32020-06-29 14:49:19 -07003553
Dave Chinner5717ea42020-06-29 14:49:20 -07003554 /*
3555 * We must use the safe variant here as on shutdown xfs_iflush_abort()
3556 * can remove itself from the list.
3557 */
3558 list_for_each_entry_safe(lip, n, &bp->b_li_list, li_bio_list) {
3559 iip = (struct xfs_inode_log_item *)lip;
3560 ip = iip->ili_inode;
Dave Chinnere6187b32020-06-29 14:49:19 -07003561
3562 /*
Dave Chinner5717ea42020-06-29 14:49:20 -07003563 * Quick and dirty check to avoid locks if possible.
Dave Chinnere6187b32020-06-29 14:49:19 -07003564 */
Dave Chinner718ecc52020-08-17 16:41:01 -07003565 if (__xfs_iflags_test(ip, XFS_IRECLAIM | XFS_IFLUSHING))
Dave Chinner5717ea42020-06-29 14:49:20 -07003566 continue;
3567 if (xfs_ipincount(ip))
3568 continue;
3569
3570 /*
3571 * The inode is still attached to the buffer, which means it is
3572 * dirty but reclaim might try to grab it. Check carefully for
3573 * that, and grab the ilock while still holding the i_flags_lock
3574 * to guarantee reclaim will not be able to reclaim this inode
3575 * once we drop the i_flags_lock.
3576 */
3577 spin_lock(&ip->i_flags_lock);
3578 ASSERT(!__xfs_iflags_test(ip, XFS_ISTALE));
Dave Chinner718ecc52020-08-17 16:41:01 -07003579 if (__xfs_iflags_test(ip, XFS_IRECLAIM | XFS_IFLUSHING)) {
Dave Chinner5717ea42020-06-29 14:49:20 -07003580 spin_unlock(&ip->i_flags_lock);
Dave Chinnere6187b32020-06-29 14:49:19 -07003581 continue;
3582 }
3583
3584 /*
Dave Chinner5717ea42020-06-29 14:49:20 -07003585 * ILOCK will pin the inode against reclaim and prevent
3586 * concurrent transactions modifying the inode while we are
Dave Chinner718ecc52020-08-17 16:41:01 -07003587 * flushing the inode. If we get the lock, set the flushing
3588 * state before we drop the i_flags_lock.
Dave Chinnere6187b32020-06-29 14:49:19 -07003589 */
Dave Chinner5717ea42020-06-29 14:49:20 -07003590 if (!xfs_ilock_nowait(ip, XFS_ILOCK_SHARED)) {
3591 spin_unlock(&ip->i_flags_lock);
3592 continue;
3593 }
Dave Chinner718ecc52020-08-17 16:41:01 -07003594 __xfs_iflags_set(ip, XFS_IFLUSHING);
Dave Chinner5717ea42020-06-29 14:49:20 -07003595 spin_unlock(&ip->i_flags_lock);
3596
3597 /*
Dave Chinner5717ea42020-06-29 14:49:20 -07003598 * Abort flushing this inode if we are shut down because the
3599 * inode may not currently be in the AIL. This can occur when
3600 * log I/O failure unpins the inode without inserting into the
3601 * AIL, leaving a dirty/unpinned inode attached to the buffer
3602 * that otherwise looks like it should be flushed.
3603 */
3604 if (XFS_FORCED_SHUTDOWN(mp)) {
3605 xfs_iunpin_wait(ip);
Dave Chinner5717ea42020-06-29 14:49:20 -07003606 xfs_iflush_abort(ip);
3607 xfs_iunlock(ip, XFS_ILOCK_SHARED);
3608 error = -EIO;
3609 continue;
3610 }
3611
3612 /* don't block waiting on a log force to unpin dirty inodes */
3613 if (xfs_ipincount(ip)) {
Dave Chinner718ecc52020-08-17 16:41:01 -07003614 xfs_iflags_clear(ip, XFS_IFLUSHING);
Dave Chinner5717ea42020-06-29 14:49:20 -07003615 xfs_iunlock(ip, XFS_ILOCK_SHARED);
3616 continue;
3617 }
3618
3619 if (!xfs_inode_clean(ip))
3620 error = xfs_iflush(ip, bp);
3621 else
Dave Chinner718ecc52020-08-17 16:41:01 -07003622 xfs_iflags_clear(ip, XFS_IFLUSHING);
Dave Chinner5717ea42020-06-29 14:49:20 -07003623 xfs_iunlock(ip, XFS_ILOCK_SHARED);
3624 if (error)
Dave Chinnere6187b32020-06-29 14:49:19 -07003625 break;
Dave Chinner5717ea42020-06-29 14:49:20 -07003626 clcount++;
Dave Chinnere6187b32020-06-29 14:49:19 -07003627 }
3628
Dave Chinnere6187b32020-06-29 14:49:19 -07003629 if (error) {
3630 bp->b_flags |= XBF_ASYNC;
3631 xfs_buf_ioend_fail(bp);
3632 xfs_force_shutdown(mp, SHUTDOWN_CORRUPT_INCORE);
Dave Chinner5717ea42020-06-29 14:49:20 -07003633 return error;
Dave Chinnere6187b32020-06-29 14:49:19 -07003634 }
Dave Chinner5717ea42020-06-29 14:49:20 -07003635
3636 if (!clcount)
3637 return -EAGAIN;
3638
3639 XFS_STATS_INC(mp, xs_icluster_flushcnt);
3640 XFS_STATS_ADD(mp, xs_icluster_flushinode, clcount);
3641 return 0;
3642
Dave Chinnere6187b32020-06-29 14:49:19 -07003643}
3644
Darrick J. Wong44a87362018-07-25 12:52:32 -07003645/* Release an inode. */
3646void
3647xfs_irele(
3648 struct xfs_inode *ip)
3649{
3650 trace_xfs_irele(ip, _RET_IP_);
3651 iput(VFS_I(ip));
3652}
Christoph Hellwig54fbdd12020-04-03 11:45:37 -07003653
3654/*
3655 * Ensure all commited transactions touching the inode are written to the log.
3656 */
3657int
3658xfs_log_force_inode(
3659 struct xfs_inode *ip)
3660{
3661 xfs_lsn_t lsn = 0;
3662
3663 xfs_ilock(ip, XFS_ILOCK_SHARED);
3664 if (xfs_ipincount(ip))
3665 lsn = ip->i_itemp->ili_last_lsn;
3666 xfs_iunlock(ip, XFS_ILOCK_SHARED);
3667
3668 if (!lsn)
3669 return 0;
3670 return xfs_log_force_lsn(ip->i_mount, lsn, XFS_LOG_SYNC, NULL);
3671}
Darrick J. Wonge2aaee92020-06-29 14:47:20 -07003672
3673/*
3674 * Grab the exclusive iolock for a data copy from src to dest, making sure to
3675 * abide vfs locking order (lowest pointer value goes first) and breaking the
3676 * layout leases before proceeding. The loop is needed because we cannot call
3677 * the blocking break_layout() with the iolocks held, and therefore have to
3678 * back out both locks.
3679 */
3680static int
3681xfs_iolock_two_inodes_and_break_layout(
3682 struct inode *src,
3683 struct inode *dest)
3684{
3685 int error;
3686
3687 if (src > dest)
3688 swap(src, dest);
3689
3690retry:
3691 /* Wait to break both inodes' layouts before we start locking. */
3692 error = break_layout(src, true);
3693 if (error)
3694 return error;
3695 if (src != dest) {
3696 error = break_layout(dest, true);
3697 if (error)
3698 return error;
3699 }
3700
3701 /* Lock one inode and make sure nobody got in and leased it. */
3702 inode_lock(src);
3703 error = break_layout(src, false);
3704 if (error) {
3705 inode_unlock(src);
3706 if (error == -EWOULDBLOCK)
3707 goto retry;
3708 return error;
3709 }
3710
3711 if (src == dest)
3712 return 0;
3713
3714 /* Lock the other inode and make sure nobody got in and leased it. */
3715 inode_lock_nested(dest, I_MUTEX_NONDIR2);
3716 error = break_layout(dest, false);
3717 if (error) {
3718 inode_unlock(src);
3719 inode_unlock(dest);
3720 if (error == -EWOULDBLOCK)
3721 goto retry;
3722 return error;
3723 }
3724
3725 return 0;
3726}
3727
3728/*
3729 * Lock two inodes so that userspace cannot initiate I/O via file syscalls or
3730 * mmap activity.
3731 */
3732int
3733xfs_ilock2_io_mmap(
3734 struct xfs_inode *ip1,
3735 struct xfs_inode *ip2)
3736{
3737 int ret;
3738
3739 ret = xfs_iolock_two_inodes_and_break_layout(VFS_I(ip1), VFS_I(ip2));
3740 if (ret)
3741 return ret;
3742 if (ip1 == ip2)
3743 xfs_ilock(ip1, XFS_MMAPLOCK_EXCL);
3744 else
3745 xfs_lock_two_inodes(ip1, XFS_MMAPLOCK_EXCL,
3746 ip2, XFS_MMAPLOCK_EXCL);
3747 return 0;
3748}
3749
3750/* Unlock both inodes to allow IO and mmap activity. */
3751void
3752xfs_iunlock2_io_mmap(
3753 struct xfs_inode *ip1,
3754 struct xfs_inode *ip2)
3755{
3756 bool same_inode = (ip1 == ip2);
3757
3758 xfs_iunlock(ip2, XFS_MMAPLOCK_EXCL);
3759 if (!same_inode)
3760 xfs_iunlock(ip1, XFS_MMAPLOCK_EXCL);
3761 inode_unlock(VFS_I(ip2));
3762 if (!same_inode)
3763 inode_unlock(VFS_I(ip1));
3764}