blob: caf4f830936e545bbc5cdcdfeb7224572bf09901 [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_iflush_int(struct xfs_inode *, struct xfs_buf *);
48STATIC int xfs_iunlink(struct xfs_trans *, struct xfs_inode *);
49STATIC int xfs_iunlink_remove(struct xfs_trans *, struct xfs_inode *);
Zhi Yong Wuab297432013-12-18 08:22:41 +080050
Dave Chinner2a0ec1d2012-04-23 15:59:02 +100051/*
52 * helper function to extract extent size hint from inode
53 */
54xfs_extlen_t
55xfs_get_extsz_hint(
56 struct xfs_inode *ip)
57{
Christoph Hellwigbdb2ed22019-10-14 10:07:21 -070058 /*
59 * No point in aligning allocations if we need to COW to actually
60 * write to them.
61 */
62 if (xfs_is_always_cow_inode(ip))
63 return 0;
Dave Chinner2a0ec1d2012-04-23 15:59:02 +100064 if ((ip->i_d.di_flags & XFS_DIFLAG_EXTSIZE) && ip->i_d.di_extsize)
65 return ip->i_d.di_extsize;
66 if (XFS_IS_REALTIME_INODE(ip))
67 return ip->i_mount->m_sb.sb_rextsize;
68 return 0;
69}
70
Dave Chinnerfa96aca2012-10-08 21:56:10 +110071/*
Darrick J. Wongf7ca3522016-10-03 09:11:43 -070072 * Helper function to extract CoW extent size hint from inode.
73 * Between the extent size hint and the CoW extent size hint, we
Darrick J. Wonge153aa72016-10-03 09:11:49 -070074 * return the greater of the two. If the value is zero (automatic),
75 * use the default size.
Darrick J. Wongf7ca3522016-10-03 09:11:43 -070076 */
77xfs_extlen_t
78xfs_get_cowextsz_hint(
79 struct xfs_inode *ip)
80{
81 xfs_extlen_t a, b;
82
83 a = 0;
84 if (ip->i_d.di_flags2 & XFS_DIFLAG2_COWEXTSIZE)
85 a = ip->i_d.di_cowextsize;
86 b = xfs_get_extsz_hint(ip);
87
Darrick J. Wonge153aa72016-10-03 09:11:49 -070088 a = max(a, b);
89 if (a == 0)
90 return XFS_DEFAULT_COWEXTSZ_HINT;
91 return a;
Darrick J. Wongf7ca3522016-10-03 09:11:43 -070092}
93
94/*
Christoph Hellwigefa70be2013-12-18 02:14:39 -080095 * These two are wrapper routines around the xfs_ilock() routine used to
96 * centralize some grungy code. They are used in places that wish to lock the
97 * inode solely for reading the extents. The reason these places can't just
98 * call xfs_ilock(ip, XFS_ILOCK_SHARED) is that the inode lock also guards to
99 * bringing in of the extents from disk for a file in b-tree format. If the
100 * inode is in b-tree format, then we need to lock the inode exclusively until
101 * the extents are read in. Locking it exclusively all the time would limit
102 * our parallelism unnecessarily, though. What we do instead is check to see
103 * if the extents have been read in yet, and only lock the inode exclusively
104 * if they have not.
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100105 *
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800106 * The functions return a value which should be given to the corresponding
Christoph Hellwig01f4f322013-12-06 12:30:08 -0800107 * xfs_iunlock() call.
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100108 */
109uint
Christoph Hellwig309ecac82013-12-06 12:30:09 -0800110xfs_ilock_data_map_shared(
111 struct xfs_inode *ip)
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100112{
Christoph Hellwig309ecac82013-12-06 12:30:09 -0800113 uint lock_mode = XFS_ILOCK_SHARED;
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100114
Christoph Hellwig309ecac82013-12-06 12:30:09 -0800115 if (ip->i_d.di_format == XFS_DINODE_FMT_BTREE &&
116 (ip->i_df.if_flags & XFS_IFEXTENTS) == 0)
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100117 lock_mode = XFS_ILOCK_EXCL;
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100118 xfs_ilock(ip, lock_mode);
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100119 return lock_mode;
120}
121
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800122uint
123xfs_ilock_attr_map_shared(
124 struct xfs_inode *ip)
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100125{
Christoph Hellwigefa70be2013-12-18 02:14:39 -0800126 uint lock_mode = XFS_ILOCK_SHARED;
127
128 if (ip->i_d.di_aformat == XFS_DINODE_FMT_BTREE &&
129 (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 *
147 * mmap_sem locking order:
148 *
Christoph Hellwig65523212016-11-30 14:33:25 +1100149 * i_rwsem -> page lock -> mmap_sem
Dave Chinner653c60b2015-02-23 21:43:37 +1100150 * mmap_sem -> i_mmap_lock -> page_lock
151 *
152 * The difference in mmap_sem locking order mean that we cannot hold the
153 * i_mmap_lock over syscall based read(2)/write(2) based IO. These IO paths can
154 * fault in pages during copy in/out (for buffered IO) or require the mmap_sem
155 * 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
Dave Chinner653c60b2015-02-23 21:43:37 +1100157 * page faults already hold the mmap_sem.
158 *
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
454 * inodes depend on the the type of locking and the limits placed by
455 * 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
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100601void
602__xfs_iflock(
603 struct xfs_inode *ip)
604{
605 wait_queue_head_t *wq = bit_waitqueue(&ip->i_flags, __XFS_IFLOCK_BIT);
606 DEFINE_WAIT_BIT(wait, &ip->i_flags, __XFS_IFLOCK_BIT);
607
608 do {
Ingo Molnar21417132017-03-05 11:25:39 +0100609 prepare_to_wait_exclusive(wq, &wait.wq_entry, TASK_UNINTERRUPTIBLE);
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100610 if (xfs_isiflocked(ip))
611 io_schedule();
612 } while (!xfs_iflock_nowait(ip));
613
Ingo Molnar21417132017-03-05 11:25:39 +0100614 finish_wait(wq, &wait.wq_entry);
Dave Chinnerfa96aca2012-10-08 21:56:10 +1100615}
616
Linus Torvalds1da177e2005-04-16 15:20:36 -0700617STATIC uint
618_xfs_dic2xflags(
Darrick J. Wongc8ce5402017-06-16 11:00:05 -0700619 uint16_t di_flags,
Dave Chinner58f88ca2016-01-04 16:44:15 +1100620 uint64_t di_flags2,
621 bool has_attr)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700622{
623 uint flags = 0;
624
625 if (di_flags & XFS_DIFLAG_ANY) {
626 if (di_flags & XFS_DIFLAG_REALTIME)
Dave Chinnere7b89482016-01-04 16:44:15 +1100627 flags |= FS_XFLAG_REALTIME;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700628 if (di_flags & XFS_DIFLAG_PREALLOC)
Dave Chinnere7b89482016-01-04 16:44:15 +1100629 flags |= FS_XFLAG_PREALLOC;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700630 if (di_flags & XFS_DIFLAG_IMMUTABLE)
Dave Chinnere7b89482016-01-04 16:44:15 +1100631 flags |= FS_XFLAG_IMMUTABLE;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700632 if (di_flags & XFS_DIFLAG_APPEND)
Dave Chinnere7b89482016-01-04 16:44:15 +1100633 flags |= FS_XFLAG_APPEND;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700634 if (di_flags & XFS_DIFLAG_SYNC)
Dave Chinnere7b89482016-01-04 16:44:15 +1100635 flags |= FS_XFLAG_SYNC;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700636 if (di_flags & XFS_DIFLAG_NOATIME)
Dave Chinnere7b89482016-01-04 16:44:15 +1100637 flags |= FS_XFLAG_NOATIME;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700638 if (di_flags & XFS_DIFLAG_NODUMP)
Dave Chinnere7b89482016-01-04 16:44:15 +1100639 flags |= FS_XFLAG_NODUMP;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700640 if (di_flags & XFS_DIFLAG_RTINHERIT)
Dave Chinnere7b89482016-01-04 16:44:15 +1100641 flags |= FS_XFLAG_RTINHERIT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700642 if (di_flags & XFS_DIFLAG_PROJINHERIT)
Dave Chinnere7b89482016-01-04 16:44:15 +1100643 flags |= FS_XFLAG_PROJINHERIT;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700644 if (di_flags & XFS_DIFLAG_NOSYMLINKS)
Dave Chinnere7b89482016-01-04 16:44:15 +1100645 flags |= FS_XFLAG_NOSYMLINKS;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100646 if (di_flags & XFS_DIFLAG_EXTSIZE)
Dave Chinnere7b89482016-01-04 16:44:15 +1100647 flags |= FS_XFLAG_EXTSIZE;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100648 if (di_flags & XFS_DIFLAG_EXTSZINHERIT)
Dave Chinnere7b89482016-01-04 16:44:15 +1100649 flags |= FS_XFLAG_EXTSZINHERIT;
Barry Naujokd3446ea2006-06-09 14:54:19 +1000650 if (di_flags & XFS_DIFLAG_NODEFRAG)
Dave Chinnere7b89482016-01-04 16:44:15 +1100651 flags |= FS_XFLAG_NODEFRAG;
David Chinner2a82b8b2007-07-11 11:09:12 +1000652 if (di_flags & XFS_DIFLAG_FILESTREAM)
Dave Chinnere7b89482016-01-04 16:44:15 +1100653 flags |= FS_XFLAG_FILESTREAM;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700654 }
655
Dave Chinner58f88ca2016-01-04 16:44:15 +1100656 if (di_flags2 & XFS_DIFLAG2_ANY) {
657 if (di_flags2 & XFS_DIFLAG2_DAX)
658 flags |= FS_XFLAG_DAX;
Darrick J. Wongf7ca3522016-10-03 09:11:43 -0700659 if (di_flags2 & XFS_DIFLAG2_COWEXTSIZE)
660 flags |= FS_XFLAG_COWEXTSIZE;
Dave Chinner58f88ca2016-01-04 16:44:15 +1100661 }
662
663 if (has_attr)
664 flags |= FS_XFLAG_HASATTR;
665
Linus Torvalds1da177e2005-04-16 15:20:36 -0700666 return flags;
667}
668
669uint
670xfs_ip2xflags(
Dave Chinner58f88ca2016-01-04 16:44:15 +1100671 struct xfs_inode *ip)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700672{
Dave Chinner58f88ca2016-01-04 16:44:15 +1100673 struct xfs_icdinode *dic = &ip->i_d;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700674
Dave Chinner58f88ca2016-01-04 16:44:15 +1100675 return _xfs_dic2xflags(dic->di_flags, dic->di_flags2, XFS_IFORK_Q(ip));
Linus Torvalds1da177e2005-04-16 15:20:36 -0700676}
677
Linus Torvalds1da177e2005-04-16 15:20:36 -0700678/*
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000679 * Lookups up an inode from "name". If ci_name is not NULL, then a CI match
680 * is allowed, otherwise it has to be an exact match. If a CI match is found,
681 * ci_name->name will point to a the actual name (caller must free) or
682 * will be set to NULL if an exact match is found.
683 */
684int
685xfs_lookup(
686 xfs_inode_t *dp,
687 struct xfs_name *name,
688 xfs_inode_t **ipp,
689 struct xfs_name *ci_name)
690{
691 xfs_ino_t inum;
692 int error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000693
694 trace_xfs_lookup(dp, name);
695
696 if (XFS_FORCED_SHUTDOWN(dp->i_mount))
Dave Chinner24513372014-06-25 14:58:08 +1000697 return -EIO;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000698
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000699 error = xfs_dir_lookup(NULL, dp, name, &inum, ci_name);
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000700 if (error)
Dave Chinnerdbad7c92015-08-19 10:33:00 +1000701 goto out_unlock;
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000702
703 error = xfs_iget(dp->i_mount, NULL, inum, 0, 0, ipp);
704 if (error)
705 goto out_free_name;
706
707 return 0;
708
709out_free_name:
710 if (ci_name)
711 kmem_free(ci_name->name);
Dave Chinnerdbad7c92015-08-19 10:33:00 +1000712out_unlock:
Dave Chinnerc24b5df2013-08-12 20:49:45 +1000713 *ipp = NULL;
714 return error;
715}
716
717/*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700718 * Allocate an inode on disk and return a copy of its in-core version.
719 * The in-core inode is locked exclusively. Set mode, nlink, and rdev
720 * appropriately within the inode. The uid and gid for the inode are
721 * set according to the contents of the given cred structure.
722 *
723 * Use xfs_dialloc() to allocate the on-disk inode. If xfs_dialloc()
Carlos Maiolinocd856db2012-10-20 11:08:19 -0300724 * has a free inode available, call xfs_iget() to obtain the in-core
725 * version of the allocated inode. Finally, fill in the inode and
726 * log its initial contents. In this case, ialloc_context would be
727 * set to NULL.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700728 *
Carlos Maiolinocd856db2012-10-20 11:08:19 -0300729 * If xfs_dialloc() does not have an available inode, it will replenish
730 * its supply by doing an allocation. Since we can only do one
731 * allocation within a transaction without deadlocks, we must commit
732 * the current transaction before returning the inode itself.
733 * In this case, therefore, we will set ialloc_context and return.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700734 * The caller should then commit the current transaction, start a new
735 * transaction, and call xfs_ialloc() again to actually get the inode.
736 *
737 * To ensure that some other process does not grab the inode that
738 * was allocated during the first call to xfs_ialloc(), this routine
739 * also returns the [locked] bp pointing to the head of the freelist
740 * as ialloc_context. The caller should hold this buffer across
741 * the commit and pass it back into this routine on the second call.
David Chinnerb11f94d2007-07-11 11:09:33 +1000742 *
743 * If we are allocating quota inodes, we do not have a parent inode
744 * to attach to or associate with (i.e. pip == NULL) because they
745 * are not linked into the directory structure - they are attached
746 * directly to the superblock - and so have no parent.
Linus Torvalds1da177e2005-04-16 15:20:36 -0700747 */
Eric Sandeen0d5a75e2016-06-01 17:38:15 +1000748static int
Linus Torvalds1da177e2005-04-16 15:20:36 -0700749xfs_ialloc(
750 xfs_trans_t *tp,
751 xfs_inode_t *pip,
Al Viro576b1d62011-07-26 02:50:15 -0400752 umode_t mode,
Nathan Scott31b084a2005-05-05 13:25:00 -0700753 xfs_nlink_t nlink,
Christoph Hellwig66f36462017-10-19 11:07:09 -0700754 dev_t rdev,
Arkadiusz Mi?kiewicz67430992010-09-26 06:10:18 +0000755 prid_t prid,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700756 xfs_buf_t **ialloc_context,
Linus Torvalds1da177e2005-04-16 15:20:36 -0700757 xfs_inode_t **ipp)
758{
Christoph Hellwig93848a92013-04-03 16:11:17 +1100759 struct xfs_mount *mp = tp->t_mountp;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700760 xfs_ino_t ino;
761 xfs_inode_t *ip;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700762 uint flags;
763 int error;
Deepa Dinamani95582b02018-05-08 19:36:02 -0700764 struct timespec64 tv;
Dave Chinner39878482016-02-09 16:54:58 +1100765 struct inode *inode;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700766
767 /*
768 * Call the space management code to pick
769 * the on-disk inode to be allocated.
770 */
Christoph Hellwigf59cf5c2017-12-04 17:32:55 -0800771 error = xfs_dialloc(tp, pip ? pip->i_ino : 0, mode,
Christoph Hellwig08358902012-07-04 10:54:47 -0400772 ialloc_context, &ino);
David Chinnerbf904242008-10-30 17:36:14 +1100773 if (error)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700774 return error;
Christoph Hellwig08358902012-07-04 10:54:47 -0400775 if (*ialloc_context || ino == NULLFSINO) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700776 *ipp = NULL;
777 return 0;
778 }
779 ASSERT(*ialloc_context == NULL);
780
781 /*
Dave Chinner8b269842018-04-17 17:17:35 -0700782 * Protect against obviously corrupt allocation btree records. Later
783 * xfs_iget checks will catch re-allocation of other active in-memory
784 * and on-disk inodes. If we don't catch reallocating the parent inode
785 * here we will deadlock in xfs_iget() so we have to do these checks
786 * first.
787 */
788 if ((pip && ino == pip->i_ino) || !xfs_verify_dir_ino(mp, ino)) {
789 xfs_alert(mp, "Allocated a known in-use inode 0x%llx!", ino);
790 return -EFSCORRUPTED;
791 }
792
793 /*
Linus Torvalds1da177e2005-04-16 15:20:36 -0700794 * Get the in-core inode with the lock held exclusively.
795 * This is because we're setting fields here we need
796 * to prevent others from looking at until we're done.
797 */
Christoph Hellwig93848a92013-04-03 16:11:17 +1100798 error = xfs_iget(mp, tp, ino, XFS_IGET_CREATE,
Christoph Hellwigec3ba852011-02-13 13:26:42 +0000799 XFS_ILOCK_EXCL, &ip);
David Chinnerbf904242008-10-30 17:36:14 +1100800 if (error)
Linus Torvalds1da177e2005-04-16 15:20:36 -0700801 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700802 ASSERT(ip != NULL);
Dave Chinner39878482016-02-09 16:54:58 +1100803 inode = VFS_I(ip);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700804
Dave Chinner263997a2014-05-20 07:46:40 +1000805 /*
806 * We always convert v1 inodes to v2 now - we only support filesystems
807 * with >= v2 inode capability, so there is no reason for ever leaving
808 * an inode in v1 format.
809 */
810 if (ip->i_d.di_version == 1)
811 ip->i_d.di_version = 2;
812
Dave Chinnerc19b3b052016-02-09 16:54:58 +1100813 inode->i_mode = mode;
Dave Chinner54d7b5c2016-02-09 16:54:58 +1100814 set_nlink(inode, nlink);
Dwight Engen7aab1b22013-08-15 14:08:01 -0400815 ip->i_d.di_uid = xfs_kuid_to_uid(current_fsuid());
816 ip->i_d.di_gid = xfs_kgid_to_gid(current_fsgid());
Christoph Hellwig66f36462017-10-19 11:07:09 -0700817 inode->i_rdev = rdev;
Arkadiusz Mi?kiewicz67430992010-09-26 06:10:18 +0000818 xfs_set_projid(ip, prid);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700819
Christoph Hellwigbd186aa2007-08-30 17:21:12 +1000820 if (pip && XFS_INHERIT_GID(pip)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -0700821 ip->i_d.di_gid = pip->i_d.di_gid;
Dave Chinnerc19b3b052016-02-09 16:54:58 +1100822 if ((VFS_I(pip)->i_mode & S_ISGID) && S_ISDIR(mode))
823 inode->i_mode |= S_ISGID;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700824 }
825
826 /*
827 * If the group ID of the new file does not match the effective group
828 * ID or one of the supplementary group IDs, the S_ISGID bit is cleared
829 * (and only if the irix_sgid_inherit compatibility variable is set).
830 */
831 if ((irix_sgid_inherit) &&
Dave Chinnerc19b3b052016-02-09 16:54:58 +1100832 (inode->i_mode & S_ISGID) &&
833 (!in_group_p(xfs_gid_to_kgid(ip->i_d.di_gid))))
834 inode->i_mode &= ~S_ISGID;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700835
836 ip->i_d.di_size = 0;
837 ip->i_d.di_nextents = 0;
838 ASSERT(ip->i_d.di_nblocks == 0);
Christoph Hellwigdff35fd2008-08-13 16:44:15 +1000839
Deepa Dinamanic2050a42016-09-14 07:48:06 -0700840 tv = current_time(inode);
Dave Chinner39878482016-02-09 16:54:58 +1100841 inode->i_mtime = tv;
842 inode->i_atime = tv;
843 inode->i_ctime = tv;
Christoph Hellwigdff35fd2008-08-13 16:44:15 +1000844
Linus Torvalds1da177e2005-04-16 15:20:36 -0700845 ip->i_d.di_extsize = 0;
846 ip->i_d.di_dmevmask = 0;
847 ip->i_d.di_dmstate = 0;
848 ip->i_d.di_flags = 0;
Christoph Hellwig93848a92013-04-03 16:11:17 +1100849
850 if (ip->i_d.di_version == 3) {
Jeff Laytonf0e28282017-12-11 06:35:19 -0500851 inode_set_iversion(inode, 1);
Christoph Hellwig93848a92013-04-03 16:11:17 +1100852 ip->i_d.di_flags2 = 0;
Darrick J. Wongf7ca3522016-10-03 09:11:43 -0700853 ip->i_d.di_cowextsize = 0;
Christoph Hellwig8d2d8782019-11-12 08:20:42 -0800854 ip->i_d.di_crtime = tv;
Christoph Hellwig93848a92013-04-03 16:11:17 +1100855 }
856
857
Linus Torvalds1da177e2005-04-16 15:20:36 -0700858 flags = XFS_ILOG_CORE;
859 switch (mode & S_IFMT) {
860 case S_IFIFO:
861 case S_IFCHR:
862 case S_IFBLK:
863 case S_IFSOCK:
864 ip->i_d.di_format = XFS_DINODE_FMT_DEV;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700865 ip->i_df.if_flags = 0;
866 flags |= XFS_ILOG_DEV;
867 break;
868 case S_IFREG:
869 case S_IFDIR:
David Chinnerb11f94d2007-07-11 11:09:33 +1000870 if (pip && (pip->i_d.di_flags & XFS_DIFLAG_ANY)) {
Dave Chinner58f88ca2016-01-04 16:44:15 +1100871 uint di_flags = 0;
Nathan Scott365ca832005-06-21 15:39:12 +1000872
Al Viroabbede12011-07-26 02:31:30 -0400873 if (S_ISDIR(mode)) {
Nathan Scott365ca832005-06-21 15:39:12 +1000874 if (pip->i_d.di_flags & XFS_DIFLAG_RTINHERIT)
875 di_flags |= XFS_DIFLAG_RTINHERIT;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100876 if (pip->i_d.di_flags & XFS_DIFLAG_EXTSZINHERIT) {
877 di_flags |= XFS_DIFLAG_EXTSZINHERIT;
878 ip->i_d.di_extsize = pip->i_d.di_extsize;
879 }
Dave Chinner9336e3a2014-10-02 09:18:40 +1000880 if (pip->i_d.di_flags & XFS_DIFLAG_PROJINHERIT)
881 di_flags |= XFS_DIFLAG_PROJINHERIT;
Al Viroabbede12011-07-26 02:31:30 -0400882 } else if (S_ISREG(mode)) {
Christoph Hellwig613d7042007-10-11 17:44:08 +1000883 if (pip->i_d.di_flags & XFS_DIFLAG_RTINHERIT)
Nathan Scott365ca832005-06-21 15:39:12 +1000884 di_flags |= XFS_DIFLAG_REALTIME;
Nathan Scottdd9f4382006-01-11 15:28:28 +1100885 if (pip->i_d.di_flags & XFS_DIFLAG_EXTSZINHERIT) {
886 di_flags |= XFS_DIFLAG_EXTSIZE;
887 ip->i_d.di_extsize = pip->i_d.di_extsize;
888 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700889 }
890 if ((pip->i_d.di_flags & XFS_DIFLAG_NOATIME) &&
891 xfs_inherit_noatime)
Nathan Scott365ca832005-06-21 15:39:12 +1000892 di_flags |= XFS_DIFLAG_NOATIME;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700893 if ((pip->i_d.di_flags & XFS_DIFLAG_NODUMP) &&
894 xfs_inherit_nodump)
Nathan Scott365ca832005-06-21 15:39:12 +1000895 di_flags |= XFS_DIFLAG_NODUMP;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700896 if ((pip->i_d.di_flags & XFS_DIFLAG_SYNC) &&
897 xfs_inherit_sync)
Nathan Scott365ca832005-06-21 15:39:12 +1000898 di_flags |= XFS_DIFLAG_SYNC;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700899 if ((pip->i_d.di_flags & XFS_DIFLAG_NOSYMLINKS) &&
900 xfs_inherit_nosymlinks)
Nathan Scott365ca832005-06-21 15:39:12 +1000901 di_flags |= XFS_DIFLAG_NOSYMLINKS;
Barry Naujokd3446ea2006-06-09 14:54:19 +1000902 if ((pip->i_d.di_flags & XFS_DIFLAG_NODEFRAG) &&
903 xfs_inherit_nodefrag)
904 di_flags |= XFS_DIFLAG_NODEFRAG;
David Chinner2a82b8b2007-07-11 11:09:12 +1000905 if (pip->i_d.di_flags & XFS_DIFLAG_FILESTREAM)
906 di_flags |= XFS_DIFLAG_FILESTREAM;
Dave Chinner58f88ca2016-01-04 16:44:15 +1100907
Nathan Scott365ca832005-06-21 15:39:12 +1000908 ip->i_d.di_flags |= di_flags;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700909 }
Darrick J. Wongf7ca3522016-10-03 09:11:43 -0700910 if (pip &&
911 (pip->i_d.di_flags2 & XFS_DIFLAG2_ANY) &&
912 pip->i_d.di_version == 3 &&
913 ip->i_d.di_version == 3) {
Lukas Czerner56bdf852017-08-03 13:19:13 -0700914 uint64_t di_flags2 = 0;
915
Darrick J. Wongf7ca3522016-10-03 09:11:43 -0700916 if (pip->i_d.di_flags2 & XFS_DIFLAG2_COWEXTSIZE) {
Lukas Czerner56bdf852017-08-03 13:19:13 -0700917 di_flags2 |= XFS_DIFLAG2_COWEXTSIZE;
Darrick J. Wongf7ca3522016-10-03 09:11:43 -0700918 ip->i_d.di_cowextsize = pip->i_d.di_cowextsize;
919 }
Lukas Czerner56bdf852017-08-03 13:19:13 -0700920 if (pip->i_d.di_flags2 & XFS_DIFLAG2_DAX)
921 di_flags2 |= XFS_DIFLAG2_DAX;
922
923 ip->i_d.di_flags2 |= di_flags2;
Darrick J. Wongf7ca3522016-10-03 09:11:43 -0700924 }
Linus Torvalds1da177e2005-04-16 15:20:36 -0700925 /* FALLTHROUGH */
926 case S_IFLNK:
927 ip->i_d.di_format = XFS_DINODE_FMT_EXTENTS;
928 ip->i_df.if_flags = XFS_IFEXTENTS;
Christoph Hellwigfcacbc32018-07-17 16:51:50 -0700929 ip->i_df.if_bytes = 0;
Christoph Hellwig6bdcf262017-11-03 10:34:46 -0700930 ip->i_df.if_u1.if_root = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -0700931 break;
932 default:
933 ASSERT(0);
934 }
935 /*
936 * Attribute fork settings for new inode.
937 */
938 ip->i_d.di_aformat = XFS_DINODE_FMT_EXTENTS;
939 ip->i_d.di_anextents = 0;
940
941 /*
942 * Log the new values stuffed into the inode.
943 */
Christoph Hellwigddc34152011-09-19 15:00:54 +0000944 xfs_trans_ijoin(tp, ip, XFS_ILOCK_EXCL);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700945 xfs_trans_log_inode(tp, ip, flags);
946
Dave Chinner58c90472015-02-23 22:38:08 +1100947 /* now that we have an i_mode we can setup the inode structure */
Christoph Hellwig41be8be2008-08-13 16:23:13 +1000948 xfs_setup_inode(ip);
Linus Torvalds1da177e2005-04-16 15:20:36 -0700949
950 *ipp = ip;
951 return 0;
952}
953
Dave Chinnere546cb72013-08-12 20:49:47 +1000954/*
955 * Allocates a new inode from disk and return a pointer to the
956 * incore copy. This routine will internally commit the current
957 * transaction and allocate a new one if the Space Manager needed
958 * to do an allocation to replenish the inode free-list.
959 *
960 * This routine is designed to be called from xfs_create and
961 * xfs_create_dir.
962 *
963 */
964int
965xfs_dir_ialloc(
966 xfs_trans_t **tpp, /* input: current transaction;
967 output: may be a new transaction. */
968 xfs_inode_t *dp, /* directory within whose allocate
969 the inode. */
970 umode_t mode,
971 xfs_nlink_t nlink,
Christoph Hellwig66f36462017-10-19 11:07:09 -0700972 dev_t rdev,
Dave Chinnere546cb72013-08-12 20:49:47 +1000973 prid_t prid, /* project id */
Chandan Rajendrac9590252018-04-02 15:47:43 -0700974 xfs_inode_t **ipp) /* pointer to inode; it will be
Dave Chinnere546cb72013-08-12 20:49:47 +1000975 locked. */
Dave Chinnere546cb72013-08-12 20:49:47 +1000976{
977 xfs_trans_t *tp;
Dave Chinnere546cb72013-08-12 20:49:47 +1000978 xfs_inode_t *ip;
979 xfs_buf_t *ialloc_context = NULL;
980 int code;
Dave Chinnere546cb72013-08-12 20:49:47 +1000981 void *dqinfo;
982 uint tflags;
983
984 tp = *tpp;
985 ASSERT(tp->t_flags & XFS_TRANS_PERM_LOG_RES);
986
987 /*
988 * xfs_ialloc will return a pointer to an incore inode if
989 * the Space Manager has an available inode on the free
990 * list. Otherwise, it will do an allocation and replenish
991 * the freelist. Since we can only do one allocation per
992 * transaction without deadlocks, we will need to commit the
993 * current transaction and start a new one. We will then
994 * need to call xfs_ialloc again to get the inode.
995 *
996 * If xfs_ialloc did an allocation to replenish the freelist,
997 * it returns the bp containing the head of the freelist as
998 * ialloc_context. We will hold a lock on it across the
999 * transaction commit so that no other process can steal
1000 * the inode(s) that we've just allocated.
1001 */
Christoph Hellwigf59cf5c2017-12-04 17:32:55 -08001002 code = xfs_ialloc(tp, dp, mode, nlink, rdev, prid, &ialloc_context,
1003 &ip);
Dave Chinnere546cb72013-08-12 20:49:47 +10001004
1005 /*
1006 * Return an error if we were unable to allocate a new inode.
1007 * This should only happen if we run out of space on disk or
1008 * encounter a disk error.
1009 */
1010 if (code) {
1011 *ipp = NULL;
1012 return code;
1013 }
1014 if (!ialloc_context && !ip) {
1015 *ipp = NULL;
Dave Chinner24513372014-06-25 14:58:08 +10001016 return -ENOSPC;
Dave Chinnere546cb72013-08-12 20:49:47 +10001017 }
1018
1019 /*
1020 * If the AGI buffer is non-NULL, then we were unable to get an
1021 * inode in one operation. We need to commit the current
1022 * transaction and call xfs_ialloc() again. It is guaranteed
1023 * to succeed the second time.
1024 */
1025 if (ialloc_context) {
1026 /*
1027 * Normally, xfs_trans_commit releases all the locks.
1028 * We call bhold to hang on to the ialloc_context across
1029 * the commit. Holding this buffer prevents any other
1030 * processes from doing any allocations in this
1031 * allocation group.
1032 */
1033 xfs_trans_bhold(tp, ialloc_context);
Dave Chinnere546cb72013-08-12 20:49:47 +10001034
1035 /*
1036 * We want the quota changes to be associated with the next
1037 * transaction, NOT this one. So, detach the dqinfo from this
1038 * and attach it to the next transaction.
1039 */
1040 dqinfo = NULL;
1041 tflags = 0;
1042 if (tp->t_dqinfo) {
1043 dqinfo = (void *)tp->t_dqinfo;
1044 tp->t_dqinfo = NULL;
1045 tflags = tp->t_flags & XFS_TRANS_DQ_DIRTY;
1046 tp->t_flags &= ~(XFS_TRANS_DQ_DIRTY);
1047 }
1048
Christoph Hellwig411350d2017-08-28 10:21:03 -07001049 code = xfs_trans_roll(&tp);
Jie Liu3d3c8b52013-08-12 20:49:59 +10001050
Dave Chinnere546cb72013-08-12 20:49:47 +10001051 /*
1052 * Re-attach the quota info that we detached from prev trx.
1053 */
1054 if (dqinfo) {
1055 tp->t_dqinfo = dqinfo;
1056 tp->t_flags |= tflags;
1057 }
1058
1059 if (code) {
1060 xfs_buf_relse(ialloc_context);
Christoph Hellwig2e6db6c2015-06-04 13:47:29 +10001061 *tpp = tp;
Dave Chinnere546cb72013-08-12 20:49:47 +10001062 *ipp = NULL;
1063 return code;
1064 }
1065 xfs_trans_bjoin(tp, ialloc_context);
1066
1067 /*
1068 * Call ialloc again. Since we've locked out all
1069 * other allocations in this allocation group,
1070 * this call should always succeed.
1071 */
1072 code = xfs_ialloc(tp, dp, mode, nlink, rdev, prid,
Christoph Hellwigf59cf5c2017-12-04 17:32:55 -08001073 &ialloc_context, &ip);
Dave Chinnere546cb72013-08-12 20:49:47 +10001074
1075 /*
1076 * If we get an error at this point, return to the caller
1077 * so that the current transaction can be aborted.
1078 */
1079 if (code) {
1080 *tpp = tp;
1081 *ipp = NULL;
1082 return code;
1083 }
1084 ASSERT(!ialloc_context && ip);
1085
Dave Chinnere546cb72013-08-12 20:49:47 +10001086 }
1087
1088 *ipp = ip;
1089 *tpp = tp;
1090
1091 return 0;
1092}
1093
1094/*
Dave Chinner54d7b5c2016-02-09 16:54:58 +11001095 * Decrement the link count on an inode & log the change. If this causes the
1096 * link count to go to zero, move the inode to AGI unlinked list so that it can
1097 * be freed when the last active reference goes away via xfs_inactive().
Dave Chinnere546cb72013-08-12 20:49:47 +10001098 */
Eric Sandeen0d5a75e2016-06-01 17:38:15 +10001099static int /* error */
Dave Chinnere546cb72013-08-12 20:49:47 +10001100xfs_droplink(
1101 xfs_trans_t *tp,
1102 xfs_inode_t *ip)
1103{
Dave Chinnere546cb72013-08-12 20:49:47 +10001104 xfs_trans_ichgtime(tp, ip, XFS_ICHGTIME_CHG);
1105
Dave Chinnere546cb72013-08-12 20:49:47 +10001106 drop_nlink(VFS_I(ip));
1107 xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
1108
Dave Chinner54d7b5c2016-02-09 16:54:58 +11001109 if (VFS_I(ip)->i_nlink)
1110 return 0;
1111
1112 return xfs_iunlink(tp, ip);
Dave Chinnere546cb72013-08-12 20:49:47 +10001113}
1114
1115/*
Dave Chinnere546cb72013-08-12 20:49:47 +10001116 * Increment the link count on an inode & log the change.
1117 */
Eric Sandeen91083262019-05-01 20:26:30 -07001118static void
Dave Chinnere546cb72013-08-12 20:49:47 +10001119xfs_bumplink(
1120 xfs_trans_t *tp,
1121 xfs_inode_t *ip)
1122{
1123 xfs_trans_ichgtime(tp, ip, XFS_ICHGTIME_CHG);
1124
Dave Chinner263997a2014-05-20 07:46:40 +10001125 ASSERT(ip->i_d.di_version > 1);
Dave Chinnere546cb72013-08-12 20:49:47 +10001126 inc_nlink(VFS_I(ip));
Dave Chinnere546cb72013-08-12 20:49:47 +10001127 xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
Dave Chinnere546cb72013-08-12 20:49:47 +10001128}
1129
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001130int
1131xfs_create(
1132 xfs_inode_t *dp,
1133 struct xfs_name *name,
1134 umode_t mode,
Christoph Hellwig66f36462017-10-19 11:07:09 -07001135 dev_t rdev,
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001136 xfs_inode_t **ipp)
1137{
1138 int is_dir = S_ISDIR(mode);
1139 struct xfs_mount *mp = dp->i_mount;
1140 struct xfs_inode *ip = NULL;
1141 struct xfs_trans *tp = NULL;
1142 int error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001143 bool unlock_dp_on_error = false;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001144 prid_t prid;
1145 struct xfs_dquot *udqp = NULL;
1146 struct xfs_dquot *gdqp = NULL;
1147 struct xfs_dquot *pdqp = NULL;
Brian Foster062647a2014-11-28 14:00:16 +11001148 struct xfs_trans_res *tres;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001149 uint resblks;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001150
1151 trace_xfs_create(dp, name);
1152
1153 if (XFS_FORCED_SHUTDOWN(mp))
Dave Chinner24513372014-06-25 14:58:08 +10001154 return -EIO;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001155
Zhi Yong Wu163467d2013-12-18 08:22:39 +08001156 prid = xfs_get_initial_prid(dp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001157
1158 /*
1159 * Make sure that we have allocated dquot(s) on disk.
1160 */
Dwight Engen7aab1b22013-08-15 14:08:01 -04001161 error = xfs_qm_vop_dqalloc(dp, xfs_kuid_to_uid(current_fsuid()),
1162 xfs_kgid_to_gid(current_fsgid()), prid,
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001163 XFS_QMOPT_QUOTALL | XFS_QMOPT_INHERIT,
1164 &udqp, &gdqp, &pdqp);
1165 if (error)
1166 return error;
1167
1168 if (is_dir) {
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001169 resblks = XFS_MKDIR_SPACE_RES(mp, name->len);
Brian Foster062647a2014-11-28 14:00:16 +11001170 tres = &M_RES(mp)->tr_mkdir;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001171 } else {
1172 resblks = XFS_CREATE_SPACE_RES(mp, name->len);
Brian Foster062647a2014-11-28 14:00:16 +11001173 tres = &M_RES(mp)->tr_create;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001174 }
1175
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001176 /*
1177 * Initially assume that the file does not exist and
1178 * reserve the resources for that case. If that is not
1179 * the case we'll drop the one we have and get a more
1180 * appropriate transaction later.
1181 */
Christoph Hellwig253f4912016-04-06 09:19:55 +10001182 error = xfs_trans_alloc(mp, tres, resblks, 0, 0, &tp);
Dave Chinner24513372014-06-25 14:58:08 +10001183 if (error == -ENOSPC) {
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001184 /* flush outstanding delalloc blocks and retry */
1185 xfs_flush_inodes(mp);
Christoph Hellwig253f4912016-04-06 09:19:55 +10001186 error = xfs_trans_alloc(mp, tres, resblks, 0, 0, &tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001187 }
Christoph Hellwig4906e212015-06-04 13:47:56 +10001188 if (error)
Christoph Hellwig253f4912016-04-06 09:19:55 +10001189 goto out_release_inode;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001190
Christoph Hellwig65523212016-11-30 14:33:25 +11001191 xfs_ilock(dp, XFS_ILOCK_EXCL | XFS_ILOCK_PARENT);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001192 unlock_dp_on_error = true;
1193
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001194 /*
1195 * Reserve disk quota and the inode.
1196 */
1197 error = xfs_trans_reserve_quota(tp, mp, udqp, gdqp,
1198 pdqp, resblks, 1, 0);
1199 if (error)
1200 goto out_trans_cancel;
1201
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001202 /*
1203 * A newly created regular or special file just has one directory
1204 * entry pointing to them, but a directory also the "." entry
1205 * pointing to itself.
1206 */
Chandan Rajendrac9590252018-04-02 15:47:43 -07001207 error = xfs_dir_ialloc(&tp, dp, mode, is_dir ? 2 : 1, rdev, prid, &ip);
Jan Karad6077aa2015-07-29 11:52:08 +10001208 if (error)
Christoph Hellwig4906e212015-06-04 13:47:56 +10001209 goto out_trans_cancel;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001210
1211 /*
1212 * Now we join the directory inode to the transaction. We do not do it
1213 * earlier because xfs_dir_ialloc might commit the previous transaction
1214 * (and release all the locks). An error from here on will result in
1215 * the transaction cancel unlocking dp so don't do it explicitly in the
1216 * error path.
1217 */
Christoph Hellwig65523212016-11-30 14:33:25 +11001218 xfs_trans_ijoin(tp, dp, XFS_ILOCK_EXCL);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001219 unlock_dp_on_error = false;
1220
Brian Foster381eee62018-07-11 22:26:21 -07001221 error = xfs_dir_createname(tp, dp, name, ip->i_ino,
Brian Fosterc9cfdb32018-07-11 22:26:08 -07001222 resblks ?
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001223 resblks - XFS_IALLOC_SPACE_RES(mp) : 0);
1224 if (error) {
Dave Chinner24513372014-06-25 14:58:08 +10001225 ASSERT(error != -ENOSPC);
Christoph Hellwig4906e212015-06-04 13:47:56 +10001226 goto out_trans_cancel;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001227 }
1228 xfs_trans_ichgtime(tp, dp, XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG);
1229 xfs_trans_log_inode(tp, dp, XFS_ILOG_CORE);
1230
1231 if (is_dir) {
1232 error = xfs_dir_init(tp, ip, dp);
1233 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07001234 goto out_trans_cancel;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001235
Eric Sandeen91083262019-05-01 20:26:30 -07001236 xfs_bumplink(tp, dp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001237 }
1238
1239 /*
1240 * If this is a synchronous mount, make sure that the
1241 * create transaction goes to disk before returning to
1242 * the user.
1243 */
1244 if (mp->m_flags & (XFS_MOUNT_WSYNC|XFS_MOUNT_DIRSYNC))
1245 xfs_trans_set_sync(tp);
1246
1247 /*
1248 * Attach the dquot(s) to the inodes and modify them incore.
1249 * These ids of the inode couldn't have changed since the new
1250 * inode has been locked ever since it was created.
1251 */
1252 xfs_qm_vop_create_dqattach(tp, ip, udqp, gdqp, pdqp);
1253
Christoph Hellwig70393312015-06-04 13:48:08 +10001254 error = xfs_trans_commit(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001255 if (error)
1256 goto out_release_inode;
1257
1258 xfs_qm_dqrele(udqp);
1259 xfs_qm_dqrele(gdqp);
1260 xfs_qm_dqrele(pdqp);
1261
1262 *ipp = ip;
1263 return 0;
1264
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001265 out_trans_cancel:
Christoph Hellwig4906e212015-06-04 13:47:56 +10001266 xfs_trans_cancel(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001267 out_release_inode:
1268 /*
Dave Chinner58c90472015-02-23 22:38:08 +11001269 * Wait until after the current transaction is aborted to finish the
1270 * setup of the inode and release the inode. This prevents recursive
1271 * transactions and deadlocks from xfs_inactive.
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001272 */
Dave Chinner58c90472015-02-23 22:38:08 +11001273 if (ip) {
1274 xfs_finish_inode_setup(ip);
Darrick J. Wong44a87362018-07-25 12:52:32 -07001275 xfs_irele(ip);
Dave Chinner58c90472015-02-23 22:38:08 +11001276 }
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001277
1278 xfs_qm_dqrele(udqp);
1279 xfs_qm_dqrele(gdqp);
1280 xfs_qm_dqrele(pdqp);
1281
1282 if (unlock_dp_on_error)
Christoph Hellwig65523212016-11-30 14:33:25 +11001283 xfs_iunlock(dp, XFS_ILOCK_EXCL);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001284 return error;
1285}
1286
1287int
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001288xfs_create_tmpfile(
1289 struct xfs_inode *dp,
Brian Foster330033d2014-04-17 08:15:30 +10001290 umode_t mode,
1291 struct xfs_inode **ipp)
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001292{
1293 struct xfs_mount *mp = dp->i_mount;
1294 struct xfs_inode *ip = NULL;
1295 struct xfs_trans *tp = NULL;
1296 int error;
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001297 prid_t prid;
1298 struct xfs_dquot *udqp = NULL;
1299 struct xfs_dquot *gdqp = NULL;
1300 struct xfs_dquot *pdqp = NULL;
1301 struct xfs_trans_res *tres;
1302 uint resblks;
1303
1304 if (XFS_FORCED_SHUTDOWN(mp))
Dave Chinner24513372014-06-25 14:58:08 +10001305 return -EIO;
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001306
1307 prid = xfs_get_initial_prid(dp);
1308
1309 /*
1310 * Make sure that we have allocated dquot(s) on disk.
1311 */
1312 error = xfs_qm_vop_dqalloc(dp, xfs_kuid_to_uid(current_fsuid()),
1313 xfs_kgid_to_gid(current_fsgid()), prid,
1314 XFS_QMOPT_QUOTALL | XFS_QMOPT_INHERIT,
1315 &udqp, &gdqp, &pdqp);
1316 if (error)
1317 return error;
1318
1319 resblks = XFS_IALLOC_SPACE_RES(mp);
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001320 tres = &M_RES(mp)->tr_create_tmpfile;
Christoph Hellwig253f4912016-04-06 09:19:55 +10001321
1322 error = xfs_trans_alloc(mp, tres, resblks, 0, 0, &tp);
Christoph Hellwig4906e212015-06-04 13:47:56 +10001323 if (error)
Christoph Hellwig253f4912016-04-06 09:19:55 +10001324 goto out_release_inode;
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001325
1326 error = xfs_trans_reserve_quota(tp, mp, udqp, gdqp,
1327 pdqp, resblks, 1, 0);
1328 if (error)
1329 goto out_trans_cancel;
1330
Darrick J. Wongc4a6bf72019-02-13 11:15:17 -08001331 error = xfs_dir_ialloc(&tp, dp, mode, 0, 0, prid, &ip);
Jan Karad6077aa2015-07-29 11:52:08 +10001332 if (error)
Christoph Hellwig4906e212015-06-04 13:47:56 +10001333 goto out_trans_cancel;
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001334
1335 if (mp->m_flags & XFS_MOUNT_WSYNC)
1336 xfs_trans_set_sync(tp);
1337
1338 /*
1339 * Attach the dquot(s) to the inodes and modify them incore.
1340 * These ids of the inode couldn't have changed since the new
1341 * inode has been locked ever since it was created.
1342 */
1343 xfs_qm_vop_create_dqattach(tp, ip, udqp, gdqp, pdqp);
1344
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001345 error = xfs_iunlink(tp, ip);
1346 if (error)
Christoph Hellwig4906e212015-06-04 13:47:56 +10001347 goto out_trans_cancel;
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001348
Christoph Hellwig70393312015-06-04 13:48:08 +10001349 error = xfs_trans_commit(tp);
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001350 if (error)
1351 goto out_release_inode;
1352
1353 xfs_qm_dqrele(udqp);
1354 xfs_qm_dqrele(gdqp);
1355 xfs_qm_dqrele(pdqp);
1356
Brian Foster330033d2014-04-17 08:15:30 +10001357 *ipp = ip;
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001358 return 0;
1359
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001360 out_trans_cancel:
Christoph Hellwig4906e212015-06-04 13:47:56 +10001361 xfs_trans_cancel(tp);
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001362 out_release_inode:
1363 /*
Dave Chinner58c90472015-02-23 22:38:08 +11001364 * Wait until after the current transaction is aborted to finish the
1365 * setup of the inode and release the inode. This prevents recursive
1366 * transactions and deadlocks from xfs_inactive.
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001367 */
Dave Chinner58c90472015-02-23 22:38:08 +11001368 if (ip) {
1369 xfs_finish_inode_setup(ip);
Darrick J. Wong44a87362018-07-25 12:52:32 -07001370 xfs_irele(ip);
Dave Chinner58c90472015-02-23 22:38:08 +11001371 }
Zhi Yong Wu99b64362013-12-18 08:22:40 +08001372
1373 xfs_qm_dqrele(udqp);
1374 xfs_qm_dqrele(gdqp);
1375 xfs_qm_dqrele(pdqp);
1376
1377 return error;
1378}
1379
1380int
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001381xfs_link(
1382 xfs_inode_t *tdp,
1383 xfs_inode_t *sip,
1384 struct xfs_name *target_name)
1385{
1386 xfs_mount_t *mp = tdp->i_mount;
1387 xfs_trans_t *tp;
1388 int error;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001389 int resblks;
1390
1391 trace_xfs_link(tdp, target_name);
1392
Dave Chinnerc19b3b052016-02-09 16:54:58 +11001393 ASSERT(!S_ISDIR(VFS_I(sip)->i_mode));
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001394
1395 if (XFS_FORCED_SHUTDOWN(mp))
Dave Chinner24513372014-06-25 14:58:08 +10001396 return -EIO;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001397
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -07001398 error = xfs_qm_dqattach(sip);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001399 if (error)
1400 goto std_return;
1401
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -07001402 error = xfs_qm_dqattach(tdp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001403 if (error)
1404 goto std_return;
1405
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001406 resblks = XFS_LINK_SPACE_RES(mp, target_name->len);
Christoph Hellwig253f4912016-04-06 09:19:55 +10001407 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_link, resblks, 0, 0, &tp);
Dave Chinner24513372014-06-25 14:58:08 +10001408 if (error == -ENOSPC) {
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001409 resblks = 0;
Christoph Hellwig253f4912016-04-06 09:19:55 +10001410 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_link, 0, 0, 0, &tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001411 }
Christoph Hellwig4906e212015-06-04 13:47:56 +10001412 if (error)
Christoph Hellwig253f4912016-04-06 09:19:55 +10001413 goto std_return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001414
Darrick J. Wong7c2d2382018-01-26 15:27:33 -08001415 xfs_lock_two_inodes(sip, XFS_ILOCK_EXCL, tdp, XFS_ILOCK_EXCL);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001416
1417 xfs_trans_ijoin(tp, sip, XFS_ILOCK_EXCL);
Christoph Hellwig65523212016-11-30 14:33:25 +11001418 xfs_trans_ijoin(tp, tdp, XFS_ILOCK_EXCL);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001419
1420 /*
1421 * If we are using project inheritance, we only allow hard link
1422 * creation in our tree when the project IDs are the same; else
1423 * the tree quota mechanism could be circumvented.
1424 */
1425 if (unlikely((tdp->i_d.di_flags & XFS_DIFLAG_PROJINHERIT) &&
1426 (xfs_get_projid(tdp) != xfs_get_projid(sip)))) {
Dave Chinner24513372014-06-25 14:58:08 +10001427 error = -EXDEV;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001428 goto error_return;
1429 }
1430
Eric Sandeen94f3cad2014-09-09 11:57:52 +10001431 if (!resblks) {
1432 error = xfs_dir_canenter(tp, tdp, target_name);
1433 if (error)
1434 goto error_return;
1435 }
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001436
Dave Chinner54d7b5c2016-02-09 16:54:58 +11001437 /*
1438 * Handle initial link state of O_TMPFILE inode
1439 */
1440 if (VFS_I(sip)->i_nlink == 0) {
Zhi Yong Wuab297432013-12-18 08:22:41 +08001441 error = xfs_iunlink_remove(tp, sip);
1442 if (error)
Christoph Hellwig4906e212015-06-04 13:47:56 +10001443 goto error_return;
Zhi Yong Wuab297432013-12-18 08:22:41 +08001444 }
1445
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001446 error = xfs_dir_createname(tp, tdp, target_name, sip->i_ino,
Brian Foster381eee62018-07-11 22:26:21 -07001447 resblks);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001448 if (error)
Christoph Hellwig4906e212015-06-04 13:47:56 +10001449 goto error_return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001450 xfs_trans_ichgtime(tp, tdp, XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG);
1451 xfs_trans_log_inode(tp, tdp, XFS_ILOG_CORE);
1452
Eric Sandeen91083262019-05-01 20:26:30 -07001453 xfs_bumplink(tp, sip);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001454
1455 /*
1456 * If this is a synchronous mount, make sure that the
1457 * link transaction goes to disk before returning to
1458 * the user.
1459 */
Eric Sandeenf6106ef2016-01-11 11:34:01 +11001460 if (mp->m_flags & (XFS_MOUNT_WSYNC|XFS_MOUNT_DIRSYNC))
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001461 xfs_trans_set_sync(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001462
Christoph Hellwig70393312015-06-04 13:48:08 +10001463 return xfs_trans_commit(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001464
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001465 error_return:
Christoph Hellwig4906e212015-06-04 13:47:56 +10001466 xfs_trans_cancel(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001467 std_return:
1468 return error;
1469}
1470
Darrick J. Wong363e59b2017-12-14 15:42:59 -08001471/* Clear the reflink flag and the cowblocks tag if possible. */
1472static void
1473xfs_itruncate_clear_reflink_flags(
1474 struct xfs_inode *ip)
1475{
1476 struct xfs_ifork *dfork;
1477 struct xfs_ifork *cfork;
1478
1479 if (!xfs_is_reflink_inode(ip))
1480 return;
1481 dfork = XFS_IFORK_PTR(ip, XFS_DATA_FORK);
1482 cfork = XFS_IFORK_PTR(ip, XFS_COW_FORK);
1483 if (dfork->if_bytes == 0 && cfork->if_bytes == 0)
1484 ip->i_d.di_flags2 &= ~XFS_DIFLAG2_REFLINK;
1485 if (cfork->if_bytes == 0)
1486 xfs_inode_clear_cowblocks_tag(ip);
1487}
1488
Linus Torvalds1da177e2005-04-16 15:20:36 -07001489/*
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001490 * Free up the underlying blocks past new_size. The new size must be smaller
1491 * than the current size. This routine can be used both for the attribute and
1492 * data fork, and does not modify the inode size, which is left to the caller.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001493 *
David Chinnerf6485052008-04-17 16:50:04 +10001494 * The transaction passed to this routine must have made a permanent log
1495 * reservation of at least XFS_ITRUNCATE_LOG_RES. This routine may commit the
1496 * given transaction and start new ones, so make sure everything involved in
1497 * the transaction is tidy before calling here. Some transaction will be
1498 * returned to the caller to be committed. The incoming transaction must
1499 * already include the inode, and both inode locks must be held exclusively.
1500 * The inode must also be "held" within the transaction. On return the inode
1501 * will be "held" within the returned transaction. This routine does NOT
1502 * require any disk space to be reserved for it within the transaction.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001503 *
David Chinnerf6485052008-04-17 16:50:04 +10001504 * If we get an error, we must return with the inode locked and linked into the
1505 * current transaction. This keeps things simple for the higher level code,
1506 * because it always knows that the inode is locked and held in the transaction
1507 * that returns to it whether errors occur or not. We don't mark the inode
1508 * dirty on error so that transactions can be easily aborted if possible.
Linus Torvalds1da177e2005-04-16 15:20:36 -07001509 */
1510int
Brian Foster4e529332018-05-10 09:35:42 -07001511xfs_itruncate_extents_flags(
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001512 struct xfs_trans **tpp,
1513 struct xfs_inode *ip,
1514 int whichfork,
Brian Foster13b86fc2018-05-09 08:45:04 -07001515 xfs_fsize_t new_size,
Brian Foster4e529332018-05-10 09:35:42 -07001516 int flags)
Linus Torvalds1da177e2005-04-16 15:20:36 -07001517{
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001518 struct xfs_mount *mp = ip->i_mount;
1519 struct xfs_trans *tp = *tpp;
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001520 xfs_fileoff_t first_unmap_block;
1521 xfs_fileoff_t last_block;
1522 xfs_filblks_t unmap_len;
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001523 int error = 0;
1524 int done = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001525
Christoph Hellwig0b561852012-07-04 11:13:31 -04001526 ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL));
1527 ASSERT(!atomic_read(&VFS_I(ip)->i_count) ||
1528 xfs_isilocked(ip, XFS_IOLOCK_EXCL));
Christoph Hellwigce7ae1512011-12-18 20:00:11 +00001529 ASSERT(new_size <= XFS_ISIZE(ip));
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001530 ASSERT(tp->t_flags & XFS_TRANS_PERM_LOG_RES);
Linus Torvalds1da177e2005-04-16 15:20:36 -07001531 ASSERT(ip->i_itemp != NULL);
Christoph Hellwig898621d2010-06-24 11:36:58 +10001532 ASSERT(ip->i_itemp->ili_lock_flags == 0);
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001533 ASSERT(!XFS_NOT_DQATTACHED(mp, ip));
Linus Torvalds1da177e2005-04-16 15:20:36 -07001534
Christoph Hellwig673e8e52011-12-18 20:00:04 +00001535 trace_xfs_itruncate_extents_start(ip, new_size);
1536
Brian Foster4e529332018-05-10 09:35:42 -07001537 flags |= xfs_bmapi_aflag(whichfork);
Brian Foster13b86fc2018-05-09 08:45:04 -07001538
Linus Torvalds1da177e2005-04-16 15:20:36 -07001539 /*
1540 * Since it is possible for space to become allocated beyond
1541 * the end of the file (in a crash where the space is allocated
1542 * but the inode size is not yet updated), simply remove any
1543 * blocks which show up between the new EOF and the maximum
1544 * possible file size. If the first block to be removed is
1545 * beyond the maximum file size (ie it is the same as last_block),
1546 * then there is nothing to do.
1547 */
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001548 first_unmap_block = XFS_B_TO_FSB(mp, (xfs_ufsize_t)new_size);
Dave Chinner32972382012-06-08 15:44:54 +10001549 last_block = XFS_B_TO_FSB(mp, mp->m_super->s_maxbytes);
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001550 if (first_unmap_block == last_block)
1551 return 0;
1552
1553 ASSERT(first_unmap_block < last_block);
1554 unmap_len = last_block - first_unmap_block + 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001555 while (!done) {
Brian Foster02dff7b2018-07-24 13:43:07 -07001556 ASSERT(tp->t_firstblock == NULLFSBLOCK);
Brian Foster13b86fc2018-05-09 08:45:04 -07001557 error = xfs_bunmapi(tp, ip, first_unmap_block, unmap_len, flags,
Brian Foster2af52842018-07-11 22:26:25 -07001558 XFS_ITRUNC_MAX_EXTENTS, &done);
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001559 if (error)
Brian Fosterd5a2e282018-09-29 13:41:58 +10001560 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001561
1562 /*
1563 * Duplicate the transaction that has the permanent
1564 * reservation and commit the old transaction.
1565 */
Brian Foster9e28a242018-07-24 13:43:15 -07001566 error = xfs_defer_finish(&tp);
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001567 if (error)
Brian Foster9b1f4e92018-08-01 07:20:33 -07001568 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001569
Christoph Hellwig411350d2017-08-28 10:21:03 -07001570 error = xfs_trans_roll_inode(&tp, ip);
David Chinnerf6485052008-04-17 16:50:04 +10001571 if (error)
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001572 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07001573 }
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001574
Darrick J. Wong4919d422018-04-10 08:28:33 -07001575 if (whichfork == XFS_DATA_FORK) {
1576 /* Remove all pending CoW reservations. */
1577 error = xfs_reflink_cancel_cow_blocks(ip, &tp,
1578 first_unmap_block, last_block, true);
1579 if (error)
1580 goto out;
Darrick J. Wongaa8968f2016-10-03 09:11:38 -07001581
Darrick J. Wong4919d422018-04-10 08:28:33 -07001582 xfs_itruncate_clear_reflink_flags(ip);
1583 }
Darrick J. Wongaa8968f2016-10-03 09:11:38 -07001584
Christoph Hellwig673e8e52011-12-18 20:00:04 +00001585 /*
1586 * Always re-log the inode so that our permanent transaction can keep
1587 * on rolling it forward in the log.
1588 */
1589 xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
1590
1591 trace_xfs_itruncate_extents_end(ip, new_size);
1592
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001593out:
1594 *tpp = tp;
1595 return error;
Christoph Hellwig8f04c472011-07-08 14:34:34 +02001596}
1597
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001598int
1599xfs_release(
1600 xfs_inode_t *ip)
1601{
1602 xfs_mount_t *mp = ip->i_mount;
1603 int error;
1604
Dave Chinnerc19b3b052016-02-09 16:54:58 +11001605 if (!S_ISREG(VFS_I(ip)->i_mode) || (VFS_I(ip)->i_mode == 0))
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001606 return 0;
1607
1608 /* If this is a read-only mount, don't do this (would generate I/O) */
1609 if (mp->m_flags & XFS_MOUNT_RDONLY)
1610 return 0;
1611
1612 if (!XFS_FORCED_SHUTDOWN(mp)) {
1613 int truncated;
1614
1615 /*
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001616 * If we previously truncated this file and removed old data
1617 * in the process, we want to initiate "early" writeout on
1618 * the last close. This is an attempt to combat the notorious
1619 * NULL files problem which is particularly noticeable from a
1620 * truncate down, buffered (re-)write (delalloc), followed by
1621 * a crash. What we are effectively doing here is
1622 * significantly reducing the time window where we'd otherwise
1623 * be exposed to that problem.
1624 */
1625 truncated = xfs_iflags_test_and_clear(ip, XFS_ITRUNCATED);
1626 if (truncated) {
1627 xfs_iflags_clear(ip, XFS_IDIRTY_RELEASE);
Dave Chinnereac152b2014-08-04 13:22:49 +10001628 if (ip->i_delayed_blks > 0) {
Dave Chinner24513372014-06-25 14:58:08 +10001629 error = filemap_flush(VFS_I(ip)->i_mapping);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001630 if (error)
1631 return error;
1632 }
1633 }
1634 }
1635
Dave Chinner54d7b5c2016-02-09 16:54:58 +11001636 if (VFS_I(ip)->i_nlink == 0)
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001637 return 0;
1638
1639 if (xfs_can_free_eofblocks(ip, false)) {
1640
1641 /*
Brian Fostera36b9262017-01-27 23:22:55 -08001642 * Check if the inode is being opened, written and closed
1643 * frequently and we have delayed allocation blocks outstanding
1644 * (e.g. streaming writes from the NFS server), truncating the
1645 * blocks past EOF will cause fragmentation to occur.
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001646 *
Brian Fostera36b9262017-01-27 23:22:55 -08001647 * In this case don't do the truncation, but we have to be
1648 * careful how we detect this case. Blocks beyond EOF show up as
1649 * i_delayed_blks even when the inode is clean, so we need to
1650 * truncate them away first before checking for a dirty release.
1651 * Hence on the first dirty close we will still remove the
1652 * speculative allocation, but after that we will leave it in
1653 * place.
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001654 */
1655 if (xfs_iflags_test(ip, XFS_IDIRTY_RELEASE))
1656 return 0;
Brian Fostera36b9262017-01-27 23:22:55 -08001657 /*
1658 * If we can't get the iolock just skip truncating the blocks
1659 * past EOF because we could deadlock with the mmap_sem
1660 * otherwise. We'll get another chance to drop them once the
1661 * last reference to the inode is dropped, so we'll never leak
1662 * blocks permanently.
1663 */
1664 if (xfs_ilock_nowait(ip, XFS_IOLOCK_EXCL)) {
1665 error = xfs_free_eofblocks(ip);
1666 xfs_iunlock(ip, XFS_IOLOCK_EXCL);
1667 if (error)
1668 return error;
1669 }
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001670
1671 /* delalloc blocks after truncation means it really is dirty */
1672 if (ip->i_delayed_blks)
1673 xfs_iflags_set(ip, XFS_IDIRTY_RELEASE);
1674 }
1675 return 0;
1676}
1677
1678/*
Brian Fosterf7be2d72013-09-20 11:06:10 -04001679 * xfs_inactive_truncate
1680 *
1681 * Called to perform a truncate when an inode becomes unlinked.
1682 */
1683STATIC int
1684xfs_inactive_truncate(
1685 struct xfs_inode *ip)
1686{
1687 struct xfs_mount *mp = ip->i_mount;
1688 struct xfs_trans *tp;
1689 int error;
1690
Christoph Hellwig253f4912016-04-06 09:19:55 +10001691 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_itruncate, 0, 0, 0, &tp);
Brian Fosterf7be2d72013-09-20 11:06:10 -04001692 if (error) {
1693 ASSERT(XFS_FORCED_SHUTDOWN(mp));
Brian Fosterf7be2d72013-09-20 11:06:10 -04001694 return error;
1695 }
Brian Fosterf7be2d72013-09-20 11:06:10 -04001696 xfs_ilock(ip, XFS_ILOCK_EXCL);
1697 xfs_trans_ijoin(tp, ip, 0);
1698
1699 /*
1700 * Log the inode size first to prevent stale data exposure in the event
1701 * of a system crash before the truncate completes. See the related
Jan Kara69bca802016-05-26 14:46:43 +02001702 * comment in xfs_vn_setattr_size() for details.
Brian Fosterf7be2d72013-09-20 11:06:10 -04001703 */
1704 ip->i_d.di_size = 0;
1705 xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
1706
1707 error = xfs_itruncate_extents(&tp, ip, XFS_DATA_FORK, 0);
1708 if (error)
1709 goto error_trans_cancel;
1710
1711 ASSERT(ip->i_d.di_nextents == 0);
1712
Christoph Hellwig70393312015-06-04 13:48:08 +10001713 error = xfs_trans_commit(tp);
Brian Fosterf7be2d72013-09-20 11:06:10 -04001714 if (error)
1715 goto error_unlock;
1716
1717 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1718 return 0;
1719
1720error_trans_cancel:
Christoph Hellwig4906e212015-06-04 13:47:56 +10001721 xfs_trans_cancel(tp);
Brian Fosterf7be2d72013-09-20 11:06:10 -04001722error_unlock:
1723 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1724 return error;
1725}
1726
1727/*
Brian Foster88877d22013-09-20 11:06:11 -04001728 * xfs_inactive_ifree()
1729 *
1730 * Perform the inode free when an inode is unlinked.
1731 */
1732STATIC int
1733xfs_inactive_ifree(
1734 struct xfs_inode *ip)
1735{
Brian Foster88877d22013-09-20 11:06:11 -04001736 struct xfs_mount *mp = ip->i_mount;
1737 struct xfs_trans *tp;
1738 int error;
1739
Brian Foster9d43b182014-04-24 16:00:52 +10001740 /*
Christoph Hellwig76d771b2017-01-25 07:49:35 -08001741 * We try to use a per-AG reservation for any block needed by the finobt
1742 * tree, but as the finobt feature predates the per-AG reservation
1743 * support a degraded file system might not have enough space for the
1744 * reservation at mount time. In that case try to dip into the reserved
1745 * pool and pray.
Brian Foster9d43b182014-04-24 16:00:52 +10001746 *
1747 * Send a warning if the reservation does happen to fail, as the inode
1748 * now remains allocated and sits on the unlinked list until the fs is
1749 * repaired.
1750 */
Darrick J. Wonge1f6ca12019-02-14 09:33:15 -08001751 if (unlikely(mp->m_finobt_nores)) {
Christoph Hellwig76d771b2017-01-25 07:49:35 -08001752 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_ifree,
1753 XFS_IFREE_SPACE_RES(mp), 0, XFS_TRANS_RESERVE,
1754 &tp);
1755 } else {
1756 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_ifree, 0, 0, 0, &tp);
1757 }
Brian Foster88877d22013-09-20 11:06:11 -04001758 if (error) {
Dave Chinner24513372014-06-25 14:58:08 +10001759 if (error == -ENOSPC) {
Brian Foster9d43b182014-04-24 16:00:52 +10001760 xfs_warn_ratelimited(mp,
1761 "Failed to remove inode(s) from unlinked list. "
1762 "Please free space, unmount and run xfs_repair.");
1763 } else {
1764 ASSERT(XFS_FORCED_SHUTDOWN(mp));
1765 }
Brian Foster88877d22013-09-20 11:06:11 -04001766 return error;
1767 }
1768
1769 xfs_ilock(ip, XFS_ILOCK_EXCL);
1770 xfs_trans_ijoin(tp, ip, 0);
1771
Brian Foster0e0417f2018-07-11 22:26:07 -07001772 error = xfs_ifree(tp, ip);
Brian Foster88877d22013-09-20 11:06:11 -04001773 if (error) {
1774 /*
1775 * If we fail to free the inode, shut down. The cancel
1776 * might do that, we need to make sure. Otherwise the
1777 * inode might be lost for a long time or forever.
1778 */
1779 if (!XFS_FORCED_SHUTDOWN(mp)) {
1780 xfs_notice(mp, "%s: xfs_ifree returned error %d",
1781 __func__, error);
1782 xfs_force_shutdown(mp, SHUTDOWN_META_IO_ERROR);
1783 }
Christoph Hellwig4906e212015-06-04 13:47:56 +10001784 xfs_trans_cancel(tp);
Brian Foster88877d22013-09-20 11:06:11 -04001785 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1786 return error;
1787 }
1788
1789 /*
1790 * Credit the quota account(s). The inode is gone.
1791 */
1792 xfs_trans_mod_dquot_byino(tp, ip, XFS_TRANS_DQ_ICOUNT, -1);
1793
1794 /*
Brian Fosterd4a97a02015-08-19 10:01:40 +10001795 * Just ignore errors at this point. There is nothing we can do except
1796 * to try to keep going. Make sure it's not a silent error.
Brian Foster88877d22013-09-20 11:06:11 -04001797 */
Christoph Hellwig70393312015-06-04 13:48:08 +10001798 error = xfs_trans_commit(tp);
Brian Foster88877d22013-09-20 11:06:11 -04001799 if (error)
1800 xfs_notice(mp, "%s: xfs_trans_commit returned error %d",
1801 __func__, error);
1802
1803 xfs_iunlock(ip, XFS_ILOCK_EXCL);
1804 return 0;
1805}
1806
1807/*
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001808 * xfs_inactive
1809 *
1810 * This is called when the vnode reference count for the vnode
1811 * goes to zero. If the file has been unlinked, then it must
1812 * now be truncated. Also, we clear all of the read-ahead state
1813 * kept for the inode here since the file is now closed.
1814 */
Brian Foster74564fb2013-09-20 11:06:12 -04001815void
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001816xfs_inactive(
1817 xfs_inode_t *ip)
1818{
Jie Liu3d3c8b52013-08-12 20:49:59 +10001819 struct xfs_mount *mp;
Jie Liu3d3c8b52013-08-12 20:49:59 +10001820 int error;
1821 int truncate = 0;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001822
1823 /*
1824 * If the inode is already free, then there can be nothing
1825 * to clean up here.
1826 */
Dave Chinnerc19b3b052016-02-09 16:54:58 +11001827 if (VFS_I(ip)->i_mode == 0) {
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001828 ASSERT(ip->i_df.if_broot_bytes == 0);
Brian Foster74564fb2013-09-20 11:06:12 -04001829 return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001830 }
1831
1832 mp = ip->i_mount;
Darrick J. Wong17c12bc2016-10-03 09:11:29 -07001833 ASSERT(!xfs_iflags_test(ip, XFS_IRECOVERY));
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001834
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001835 /* If this is a read-only mount, don't do this (would generate I/O) */
1836 if (mp->m_flags & XFS_MOUNT_RDONLY)
Brian Foster74564fb2013-09-20 11:06:12 -04001837 return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001838
Darrick J. Wong62318482018-03-06 17:08:31 -08001839 /* Try to clean out the cow blocks if there are any. */
Christoph Hellwig51d62692018-07-17 16:51:51 -07001840 if (xfs_inode_has_cow_data(ip))
Darrick J. Wong62318482018-03-06 17:08:31 -08001841 xfs_reflink_cancel_cow_range(ip, 0, NULLFILEOFF, true);
1842
Dave Chinner54d7b5c2016-02-09 16:54:58 +11001843 if (VFS_I(ip)->i_nlink != 0) {
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001844 /*
1845 * force is true because we are evicting an inode from the
1846 * cache. Post-eof blocks must be freed, lest we end up with
1847 * broken free space accounting.
Brian Foster3b4683c2017-04-11 10:50:05 -07001848 *
1849 * Note: don't bother with iolock here since lockdep complains
1850 * about acquiring it in reclaim context. We have the only
1851 * reference to the inode at this point anyways.
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001852 */
Brian Foster3b4683c2017-04-11 10:50:05 -07001853 if (xfs_can_free_eofblocks(ip, true))
Brian Fostera36b9262017-01-27 23:22:55 -08001854 xfs_free_eofblocks(ip);
Brian Foster74564fb2013-09-20 11:06:12 -04001855
1856 return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001857 }
1858
Dave Chinnerc19b3b052016-02-09 16:54:58 +11001859 if (S_ISREG(VFS_I(ip)->i_mode) &&
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001860 (ip->i_d.di_size != 0 || XFS_ISIZE(ip) != 0 ||
1861 ip->i_d.di_nextents > 0 || ip->i_delayed_blks > 0))
1862 truncate = 1;
1863
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -07001864 error = xfs_qm_dqattach(ip);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001865 if (error)
Brian Foster74564fb2013-09-20 11:06:12 -04001866 return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001867
Dave Chinnerc19b3b052016-02-09 16:54:58 +11001868 if (S_ISLNK(VFS_I(ip)->i_mode))
Brian Foster36b21dd2013-09-20 11:06:09 -04001869 error = xfs_inactive_symlink(ip);
Brian Fosterf7be2d72013-09-20 11:06:10 -04001870 else if (truncate)
1871 error = xfs_inactive_truncate(ip);
1872 if (error)
Brian Foster74564fb2013-09-20 11:06:12 -04001873 return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001874
1875 /*
1876 * If there are attributes associated with the file then blow them away
1877 * now. The code calls a routine that recursively deconstructs the
Dave Chinner6dfe5a02015-05-29 07:40:08 +10001878 * attribute fork. If also blows away the in-core attribute fork.
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001879 */
Dave Chinner6dfe5a02015-05-29 07:40:08 +10001880 if (XFS_IFORK_Q(ip)) {
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001881 error = xfs_attr_inactive(ip);
1882 if (error)
Brian Foster74564fb2013-09-20 11:06:12 -04001883 return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001884 }
1885
Dave Chinner6dfe5a02015-05-29 07:40:08 +10001886 ASSERT(!ip->i_afp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001887 ASSERT(ip->i_d.di_anextents == 0);
Dave Chinner6dfe5a02015-05-29 07:40:08 +10001888 ASSERT(ip->i_d.di_forkoff == 0);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001889
1890 /*
1891 * Free the inode.
1892 */
Brian Foster88877d22013-09-20 11:06:11 -04001893 error = xfs_inactive_ifree(ip);
1894 if (error)
Brian Foster74564fb2013-09-20 11:06:12 -04001895 return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001896
1897 /*
1898 * Release the dquots held by inode, if any.
1899 */
1900 xfs_qm_dqdetach(ip);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10001901}
1902
Linus Torvalds1da177e2005-04-16 15:20:36 -07001903/*
Darrick J. Wong9b247172019-02-07 10:37:16 -08001904 * In-Core Unlinked List Lookups
1905 * =============================
1906 *
1907 * Every inode is supposed to be reachable from some other piece of metadata
1908 * with the exception of the root directory. Inodes with a connection to a
1909 * file descriptor but not linked from anywhere in the on-disk directory tree
1910 * are collectively known as unlinked inodes, though the filesystem itself
1911 * maintains links to these inodes so that on-disk metadata are consistent.
1912 *
1913 * XFS implements a per-AG on-disk hash table of unlinked inodes. The AGI
1914 * header contains a number of buckets that point to an inode, and each inode
1915 * record has a pointer to the next inode in the hash chain. This
1916 * singly-linked list causes scaling problems in the iunlink remove function
1917 * because we must walk that list to find the inode that points to the inode
1918 * being removed from the unlinked hash bucket list.
1919 *
1920 * What if we modelled the unlinked list as a collection of records capturing
1921 * "X.next_unlinked = Y" relations? If we indexed those records on Y, we'd
1922 * have a fast way to look up unlinked list predecessors, which avoids the
1923 * slow list walk. That's exactly what we do here (in-core) with a per-AG
1924 * rhashtable.
1925 *
1926 * Because this is a backref cache, we ignore operational failures since the
1927 * iunlink code can fall back to the slow bucket walk. The only errors that
1928 * should bubble out are for obviously incorrect situations.
1929 *
1930 * All users of the backref cache MUST hold the AGI buffer lock to serialize
1931 * access or have otherwise provided for concurrency control.
1932 */
1933
1934/* Capture a "X.next_unlinked = Y" relationship. */
1935struct xfs_iunlink {
1936 struct rhash_head iu_rhash_head;
1937 xfs_agino_t iu_agino; /* X */
1938 xfs_agino_t iu_next_unlinked; /* Y */
1939};
1940
1941/* Unlinked list predecessor lookup hashtable construction */
1942static int
1943xfs_iunlink_obj_cmpfn(
1944 struct rhashtable_compare_arg *arg,
1945 const void *obj)
1946{
1947 const xfs_agino_t *key = arg->key;
1948 const struct xfs_iunlink *iu = obj;
1949
1950 if (iu->iu_next_unlinked != *key)
1951 return 1;
1952 return 0;
1953}
1954
1955static const struct rhashtable_params xfs_iunlink_hash_params = {
1956 .min_size = XFS_AGI_UNLINKED_BUCKETS,
1957 .key_len = sizeof(xfs_agino_t),
1958 .key_offset = offsetof(struct xfs_iunlink,
1959 iu_next_unlinked),
1960 .head_offset = offsetof(struct xfs_iunlink, iu_rhash_head),
1961 .automatic_shrinking = true,
1962 .obj_cmpfn = xfs_iunlink_obj_cmpfn,
1963};
1964
1965/*
1966 * Return X, where X.next_unlinked == @agino. Returns NULLAGINO if no such
1967 * relation is found.
1968 */
1969static xfs_agino_t
1970xfs_iunlink_lookup_backref(
1971 struct xfs_perag *pag,
1972 xfs_agino_t agino)
1973{
1974 struct xfs_iunlink *iu;
1975
1976 iu = rhashtable_lookup_fast(&pag->pagi_unlinked_hash, &agino,
1977 xfs_iunlink_hash_params);
1978 return iu ? iu->iu_agino : NULLAGINO;
1979}
1980
1981/*
1982 * Take ownership of an iunlink cache entry and insert it into the hash table.
1983 * If successful, the entry will be owned by the cache; if not, it is freed.
1984 * Either way, the caller does not own @iu after this call.
1985 */
1986static int
1987xfs_iunlink_insert_backref(
1988 struct xfs_perag *pag,
1989 struct xfs_iunlink *iu)
1990{
1991 int error;
1992
1993 error = rhashtable_insert_fast(&pag->pagi_unlinked_hash,
1994 &iu->iu_rhash_head, xfs_iunlink_hash_params);
1995 /*
1996 * Fail loudly if there already was an entry because that's a sign of
1997 * corruption of in-memory data. Also fail loudly if we see an error
1998 * code we didn't anticipate from the rhashtable code. Currently we
1999 * only anticipate ENOMEM.
2000 */
2001 if (error) {
2002 WARN(error != -ENOMEM, "iunlink cache insert error %d", error);
2003 kmem_free(iu);
2004 }
2005 /*
2006 * Absorb any runtime errors that aren't a result of corruption because
2007 * this is a cache and we can always fall back to bucket list scanning.
2008 */
2009 if (error != 0 && error != -EEXIST)
2010 error = 0;
2011 return error;
2012}
2013
2014/* Remember that @prev_agino.next_unlinked = @this_agino. */
2015static int
2016xfs_iunlink_add_backref(
2017 struct xfs_perag *pag,
2018 xfs_agino_t prev_agino,
2019 xfs_agino_t this_agino)
2020{
2021 struct xfs_iunlink *iu;
2022
2023 if (XFS_TEST_ERROR(false, pag->pag_mount, XFS_ERRTAG_IUNLINK_FALLBACK))
2024 return 0;
2025
Tetsuo Handa707e0dd2019-08-26 12:06:22 -07002026 iu = kmem_zalloc(sizeof(*iu), KM_NOFS);
Darrick J. Wong9b247172019-02-07 10:37:16 -08002027 iu->iu_agino = prev_agino;
2028 iu->iu_next_unlinked = this_agino;
2029
2030 return xfs_iunlink_insert_backref(pag, iu);
2031}
2032
2033/*
2034 * Replace X.next_unlinked = @agino with X.next_unlinked = @next_unlinked.
2035 * If @next_unlinked is NULLAGINO, we drop the backref and exit. If there
2036 * wasn't any such entry then we don't bother.
2037 */
2038static int
2039xfs_iunlink_change_backref(
2040 struct xfs_perag *pag,
2041 xfs_agino_t agino,
2042 xfs_agino_t next_unlinked)
2043{
2044 struct xfs_iunlink *iu;
2045 int error;
2046
2047 /* Look up the old entry; if there wasn't one then exit. */
2048 iu = rhashtable_lookup_fast(&pag->pagi_unlinked_hash, &agino,
2049 xfs_iunlink_hash_params);
2050 if (!iu)
2051 return 0;
2052
2053 /*
2054 * Remove the entry. This shouldn't ever return an error, but if we
2055 * couldn't remove the old entry we don't want to add it again to the
2056 * hash table, and if the entry disappeared on us then someone's
2057 * violated the locking rules and we need to fail loudly. Either way
2058 * we cannot remove the inode because internal state is or would have
2059 * been corrupt.
2060 */
2061 error = rhashtable_remove_fast(&pag->pagi_unlinked_hash,
2062 &iu->iu_rhash_head, xfs_iunlink_hash_params);
2063 if (error)
2064 return error;
2065
2066 /* If there is no new next entry just free our item and return. */
2067 if (next_unlinked == NULLAGINO) {
2068 kmem_free(iu);
2069 return 0;
2070 }
2071
2072 /* Update the entry and re-add it to the hash table. */
2073 iu->iu_next_unlinked = next_unlinked;
2074 return xfs_iunlink_insert_backref(pag, iu);
2075}
2076
2077/* Set up the in-core predecessor structures. */
2078int
2079xfs_iunlink_init(
2080 struct xfs_perag *pag)
2081{
2082 return rhashtable_init(&pag->pagi_unlinked_hash,
2083 &xfs_iunlink_hash_params);
2084}
2085
2086/* Free the in-core predecessor structures. */
2087static void
2088xfs_iunlink_free_item(
2089 void *ptr,
2090 void *arg)
2091{
2092 struct xfs_iunlink *iu = ptr;
2093 bool *freed_anything = arg;
2094
2095 *freed_anything = true;
2096 kmem_free(iu);
2097}
2098
2099void
2100xfs_iunlink_destroy(
2101 struct xfs_perag *pag)
2102{
2103 bool freed_anything = false;
2104
2105 rhashtable_free_and_destroy(&pag->pagi_unlinked_hash,
2106 xfs_iunlink_free_item, &freed_anything);
2107
2108 ASSERT(freed_anything == false || XFS_FORCED_SHUTDOWN(pag->pag_mount));
2109}
2110
2111/*
Darrick J. Wong9a4a5112019-02-07 10:37:14 -08002112 * Point the AGI unlinked bucket at an inode and log the results. The caller
2113 * is responsible for validating the old value.
2114 */
2115STATIC int
2116xfs_iunlink_update_bucket(
2117 struct xfs_trans *tp,
2118 xfs_agnumber_t agno,
2119 struct xfs_buf *agibp,
2120 unsigned int bucket_index,
2121 xfs_agino_t new_agino)
2122{
2123 struct xfs_agi *agi = XFS_BUF_TO_AGI(agibp);
2124 xfs_agino_t old_value;
2125 int offset;
2126
2127 ASSERT(xfs_verify_agino_or_null(tp->t_mountp, agno, new_agino));
2128
2129 old_value = be32_to_cpu(agi->agi_unlinked[bucket_index]);
2130 trace_xfs_iunlink_update_bucket(tp->t_mountp, agno, bucket_index,
2131 old_value, new_agino);
2132
2133 /*
2134 * We should never find the head of the list already set to the value
2135 * passed in because either we're adding or removing ourselves from the
2136 * head of the list.
2137 */
Darrick J. Wonga5155b82019-11-02 09:40:53 -07002138 if (old_value == new_agino) {
2139 xfs_buf_corruption_error(agibp);
Darrick J. Wong9a4a5112019-02-07 10:37:14 -08002140 return -EFSCORRUPTED;
Darrick J. Wonga5155b82019-11-02 09:40:53 -07002141 }
Darrick J. Wong9a4a5112019-02-07 10:37:14 -08002142
2143 agi->agi_unlinked[bucket_index] = cpu_to_be32(new_agino);
2144 offset = offsetof(struct xfs_agi, agi_unlinked) +
2145 (sizeof(xfs_agino_t) * bucket_index);
2146 xfs_trans_log_buf(tp, agibp, offset, offset + sizeof(xfs_agino_t) - 1);
2147 return 0;
2148}
2149
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002150/* Set an on-disk inode's next_unlinked pointer. */
2151STATIC void
2152xfs_iunlink_update_dinode(
2153 struct xfs_trans *tp,
2154 xfs_agnumber_t agno,
2155 xfs_agino_t agino,
2156 struct xfs_buf *ibp,
2157 struct xfs_dinode *dip,
2158 struct xfs_imap *imap,
2159 xfs_agino_t next_agino)
2160{
2161 struct xfs_mount *mp = tp->t_mountp;
2162 int offset;
2163
2164 ASSERT(xfs_verify_agino_or_null(mp, agno, next_agino));
2165
2166 trace_xfs_iunlink_update_dinode(mp, agno, agino,
2167 be32_to_cpu(dip->di_next_unlinked), next_agino);
2168
2169 dip->di_next_unlinked = cpu_to_be32(next_agino);
2170 offset = imap->im_boffset +
2171 offsetof(struct xfs_dinode, di_next_unlinked);
2172
2173 /* need to recalc the inode CRC if appropriate */
2174 xfs_dinode_calc_crc(mp, dip);
2175 xfs_trans_inode_buf(tp, ibp);
2176 xfs_trans_log_buf(tp, ibp, offset, offset + sizeof(xfs_agino_t) - 1);
2177 xfs_inobp_check(mp, ibp);
2178}
2179
2180/* Set an in-core inode's unlinked pointer and return the old value. */
2181STATIC int
2182xfs_iunlink_update_inode(
2183 struct xfs_trans *tp,
2184 struct xfs_inode *ip,
2185 xfs_agnumber_t agno,
2186 xfs_agino_t next_agino,
2187 xfs_agino_t *old_next_agino)
2188{
2189 struct xfs_mount *mp = tp->t_mountp;
2190 struct xfs_dinode *dip;
2191 struct xfs_buf *ibp;
2192 xfs_agino_t old_value;
2193 int error;
2194
2195 ASSERT(xfs_verify_agino_or_null(mp, agno, next_agino));
2196
2197 error = xfs_imap_to_bp(mp, tp, &ip->i_imap, &dip, &ibp, 0, 0);
2198 if (error)
2199 return error;
2200
2201 /* Make sure the old pointer isn't garbage. */
2202 old_value = be32_to_cpu(dip->di_next_unlinked);
2203 if (!xfs_verify_agino_or_null(mp, agno, old_value)) {
Darrick J. Wonga5155b82019-11-02 09:40:53 -07002204 xfs_inode_verifier_error(ip, -EFSCORRUPTED, __func__, dip,
2205 sizeof(*dip), __this_address);
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002206 error = -EFSCORRUPTED;
2207 goto out;
2208 }
2209
2210 /*
2211 * Since we're updating a linked list, we should never find that the
2212 * current pointer is the same as the new value, unless we're
2213 * terminating the list.
2214 */
2215 *old_next_agino = old_value;
2216 if (old_value == next_agino) {
Darrick J. Wonga5155b82019-11-02 09:40:53 -07002217 if (next_agino != NULLAGINO) {
2218 xfs_inode_verifier_error(ip, -EFSCORRUPTED, __func__,
2219 dip, sizeof(*dip), __this_address);
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002220 error = -EFSCORRUPTED;
Darrick J. Wonga5155b82019-11-02 09:40:53 -07002221 }
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002222 goto out;
2223 }
2224
2225 /* Ok, update the new pointer. */
2226 xfs_iunlink_update_dinode(tp, agno, XFS_INO_TO_AGINO(mp, ip->i_ino),
2227 ibp, dip, &ip->i_imap, next_agino);
2228 return 0;
2229out:
2230 xfs_trans_brelse(tp, ibp);
2231 return error;
2232}
2233
Darrick J. Wong9a4a5112019-02-07 10:37:14 -08002234/*
Darrick J. Wongc4a6bf72019-02-13 11:15:17 -08002235 * This is called when the inode's link count has gone to 0 or we are creating
2236 * a tmpfile via O_TMPFILE. The inode @ip must have nlink == 0.
Dave Chinner54d7b5c2016-02-09 16:54:58 +11002237 *
2238 * We place the on-disk inode on a list in the AGI. It will be pulled from this
2239 * list when the inode is freed.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002240 */
Dave Chinner54d7b5c2016-02-09 16:54:58 +11002241STATIC int
Linus Torvalds1da177e2005-04-16 15:20:36 -07002242xfs_iunlink(
Darrick J. Wong5837f622019-02-07 10:37:13 -08002243 struct xfs_trans *tp,
2244 struct xfs_inode *ip)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002245{
Darrick J. Wong5837f622019-02-07 10:37:13 -08002246 struct xfs_mount *mp = tp->t_mountp;
2247 struct xfs_agi *agi;
Darrick J. Wong5837f622019-02-07 10:37:13 -08002248 struct xfs_buf *agibp;
Darrick J. Wong86bfd372019-02-07 10:37:14 -08002249 xfs_agino_t next_agino;
Darrick J. Wong5837f622019-02-07 10:37:13 -08002250 xfs_agnumber_t agno = XFS_INO_TO_AGNO(mp, ip->i_ino);
2251 xfs_agino_t agino = XFS_INO_TO_AGINO(mp, ip->i_ino);
2252 short bucket_index = agino % XFS_AGI_UNLINKED_BUCKETS;
Darrick J. Wong5837f622019-02-07 10:37:13 -08002253 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002254
Darrick J. Wongc4a6bf72019-02-13 11:15:17 -08002255 ASSERT(VFS_I(ip)->i_nlink == 0);
Dave Chinnerc19b3b052016-02-09 16:54:58 +11002256 ASSERT(VFS_I(ip)->i_mode != 0);
Darrick J. Wong4664c662019-02-07 10:37:16 -08002257 trace_xfs_iunlink(ip);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002258
Darrick J. Wong5837f622019-02-07 10:37:13 -08002259 /* Get the agi buffer first. It ensures lock ordering on the list. */
2260 error = xfs_read_agi(mp, tp, agno, &agibp);
Vlad Apostolov859d7182007-10-11 17:44:18 +10002261 if (error)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002262 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002263 agi = XFS_BUF_TO_AGI(agibp);
Christoph Hellwig5e1be0f2008-11-28 14:23:37 +11002264
Linus Torvalds1da177e2005-04-16 15:20:36 -07002265 /*
Darrick J. Wong86bfd372019-02-07 10:37:14 -08002266 * Get the index into the agi hash table for the list this inode will
2267 * go on. Make sure the pointer isn't garbage and that this inode
2268 * isn't already on the list.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002269 */
Darrick J. Wong86bfd372019-02-07 10:37:14 -08002270 next_agino = be32_to_cpu(agi->agi_unlinked[bucket_index]);
2271 if (next_agino == agino ||
Darrick J. Wonga5155b82019-11-02 09:40:53 -07002272 !xfs_verify_agino_or_null(mp, agno, next_agino)) {
2273 xfs_buf_corruption_error(agibp);
Darrick J. Wong86bfd372019-02-07 10:37:14 -08002274 return -EFSCORRUPTED;
Darrick J. Wonga5155b82019-11-02 09:40:53 -07002275 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002276
Darrick J. Wong86bfd372019-02-07 10:37:14 -08002277 if (next_agino != NULLAGINO) {
Darrick J. Wong9b247172019-02-07 10:37:16 -08002278 struct xfs_perag *pag;
2279 xfs_agino_t old_agino;
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002280
Linus Torvalds1da177e2005-04-16 15:20:36 -07002281 /*
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002282 * There is already another inode in the bucket, so point this
2283 * inode to the current head of the list.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002284 */
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002285 error = xfs_iunlink_update_inode(tp, ip, agno, next_agino,
2286 &old_agino);
Vlad Apostolovc319b582007-11-23 16:27:51 +11002287 if (error)
2288 return error;
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002289 ASSERT(old_agino == NULLAGINO);
Darrick J. Wong9b247172019-02-07 10:37:16 -08002290
2291 /*
2292 * agino has been unlinked, add a backref from the next inode
2293 * back to agino.
2294 */
2295 pag = xfs_perag_get(mp, agno);
2296 error = xfs_iunlink_add_backref(pag, agino, next_agino);
2297 xfs_perag_put(pag);
2298 if (error)
2299 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002300 }
2301
Darrick J. Wong9a4a5112019-02-07 10:37:14 -08002302 /* Point the head of the list to point to this inode. */
2303 return xfs_iunlink_update_bucket(tp, agno, agibp, bucket_index, agino);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002304}
2305
Darrick J. Wong23ffa522019-02-07 10:37:15 -08002306/* Return the imap, dinode pointer, and buffer for an inode. */
2307STATIC int
2308xfs_iunlink_map_ino(
2309 struct xfs_trans *tp,
2310 xfs_agnumber_t agno,
2311 xfs_agino_t agino,
2312 struct xfs_imap *imap,
2313 struct xfs_dinode **dipp,
2314 struct xfs_buf **bpp)
2315{
2316 struct xfs_mount *mp = tp->t_mountp;
2317 int error;
2318
2319 imap->im_blkno = 0;
2320 error = xfs_imap(mp, tp, XFS_AGINO_TO_INO(mp, agno, agino), imap, 0);
2321 if (error) {
2322 xfs_warn(mp, "%s: xfs_imap returned error %d.",
2323 __func__, error);
2324 return error;
2325 }
2326
2327 error = xfs_imap_to_bp(mp, tp, imap, dipp, bpp, 0, 0);
2328 if (error) {
2329 xfs_warn(mp, "%s: xfs_imap_to_bp returned error %d.",
2330 __func__, error);
2331 return error;
2332 }
2333
2334 return 0;
2335}
2336
2337/*
2338 * Walk the unlinked chain from @head_agino until we find the inode that
2339 * points to @target_agino. Return the inode number, map, dinode pointer,
2340 * and inode cluster buffer of that inode as @agino, @imap, @dipp, and @bpp.
2341 *
2342 * @tp, @pag, @head_agino, and @target_agino are input parameters.
2343 * @agino, @imap, @dipp, and @bpp are all output parameters.
2344 *
2345 * Do not call this function if @target_agino is the head of the list.
2346 */
2347STATIC int
2348xfs_iunlink_map_prev(
2349 struct xfs_trans *tp,
2350 xfs_agnumber_t agno,
2351 xfs_agino_t head_agino,
2352 xfs_agino_t target_agino,
2353 xfs_agino_t *agino,
2354 struct xfs_imap *imap,
2355 struct xfs_dinode **dipp,
Darrick J. Wong9b247172019-02-07 10:37:16 -08002356 struct xfs_buf **bpp,
2357 struct xfs_perag *pag)
Darrick J. Wong23ffa522019-02-07 10:37:15 -08002358{
2359 struct xfs_mount *mp = tp->t_mountp;
2360 xfs_agino_t next_agino;
2361 int error;
2362
2363 ASSERT(head_agino != target_agino);
2364 *bpp = NULL;
2365
Darrick J. Wong9b247172019-02-07 10:37:16 -08002366 /* See if our backref cache can find it faster. */
2367 *agino = xfs_iunlink_lookup_backref(pag, target_agino);
2368 if (*agino != NULLAGINO) {
2369 error = xfs_iunlink_map_ino(tp, agno, *agino, imap, dipp, bpp);
2370 if (error)
2371 return error;
2372
2373 if (be32_to_cpu((*dipp)->di_next_unlinked) == target_agino)
2374 return 0;
2375
2376 /*
2377 * If we get here the cache contents were corrupt, so drop the
2378 * buffer and fall back to walking the bucket list.
2379 */
2380 xfs_trans_brelse(tp, *bpp);
2381 *bpp = NULL;
2382 WARN_ON_ONCE(1);
2383 }
2384
2385 trace_xfs_iunlink_map_prev_fallback(mp, agno);
2386
2387 /* Otherwise, walk the entire bucket until we find it. */
Darrick J. Wong23ffa522019-02-07 10:37:15 -08002388 next_agino = head_agino;
2389 while (next_agino != target_agino) {
2390 xfs_agino_t unlinked_agino;
2391
2392 if (*bpp)
2393 xfs_trans_brelse(tp, *bpp);
2394
2395 *agino = next_agino;
2396 error = xfs_iunlink_map_ino(tp, agno, next_agino, imap, dipp,
2397 bpp);
2398 if (error)
2399 return error;
2400
2401 unlinked_agino = be32_to_cpu((*dipp)->di_next_unlinked);
2402 /*
2403 * Make sure this pointer is valid and isn't an obvious
2404 * infinite loop.
2405 */
2406 if (!xfs_verify_agino(mp, agno, unlinked_agino) ||
2407 next_agino == unlinked_agino) {
2408 XFS_CORRUPTION_ERROR(__func__,
2409 XFS_ERRLEVEL_LOW, mp,
2410 *dipp, sizeof(**dipp));
2411 error = -EFSCORRUPTED;
2412 return error;
2413 }
2414 next_agino = unlinked_agino;
2415 }
2416
2417 return 0;
2418}
2419
Linus Torvalds1da177e2005-04-16 15:20:36 -07002420/*
2421 * Pull the on-disk inode from the AGI unlinked list.
2422 */
2423STATIC int
2424xfs_iunlink_remove(
Darrick J. Wong5837f622019-02-07 10:37:13 -08002425 struct xfs_trans *tp,
2426 struct xfs_inode *ip)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002427{
Darrick J. Wong5837f622019-02-07 10:37:13 -08002428 struct xfs_mount *mp = tp->t_mountp;
2429 struct xfs_agi *agi;
Darrick J. Wong5837f622019-02-07 10:37:13 -08002430 struct xfs_buf *agibp;
Darrick J. Wong5837f622019-02-07 10:37:13 -08002431 struct xfs_buf *last_ibp;
2432 struct xfs_dinode *last_dip = NULL;
Darrick J. Wong9b247172019-02-07 10:37:16 -08002433 struct xfs_perag *pag = NULL;
Darrick J. Wong5837f622019-02-07 10:37:13 -08002434 xfs_agnumber_t agno = XFS_INO_TO_AGNO(mp, ip->i_ino);
2435 xfs_agino_t agino = XFS_INO_TO_AGINO(mp, ip->i_ino);
2436 xfs_agino_t next_agino;
Darrick J. Wongb1d2a062019-02-07 10:37:15 -08002437 xfs_agino_t head_agino;
Darrick J. Wong5837f622019-02-07 10:37:13 -08002438 short bucket_index = agino % XFS_AGI_UNLINKED_BUCKETS;
Darrick J. Wong5837f622019-02-07 10:37:13 -08002439 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002440
Darrick J. Wong4664c662019-02-07 10:37:16 -08002441 trace_xfs_iunlink_remove(ip);
2442
Darrick J. Wong5837f622019-02-07 10:37:13 -08002443 /* Get the agi buffer first. It ensures lock ordering on the list. */
Christoph Hellwig5e1be0f2008-11-28 14:23:37 +11002444 error = xfs_read_agi(mp, tp, agno, &agibp);
2445 if (error)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002446 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002447 agi = XFS_BUF_TO_AGI(agibp);
Christoph Hellwig5e1be0f2008-11-28 14:23:37 +11002448
Linus Torvalds1da177e2005-04-16 15:20:36 -07002449 /*
Darrick J. Wong86bfd372019-02-07 10:37:14 -08002450 * Get the index into the agi hash table for the list this inode will
2451 * go on. Make sure the head pointer isn't garbage.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002452 */
Darrick J. Wongb1d2a062019-02-07 10:37:15 -08002453 head_agino = be32_to_cpu(agi->agi_unlinked[bucket_index]);
2454 if (!xfs_verify_agino(mp, agno, head_agino)) {
Darrick J. Wongd2e73662018-06-04 11:27:51 -07002455 XFS_CORRUPTION_ERROR(__func__, XFS_ERRLEVEL_LOW, mp,
2456 agi, sizeof(*agi));
2457 return -EFSCORRUPTED;
2458 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002459
Darrick J. Wongb1d2a062019-02-07 10:37:15 -08002460 /*
2461 * Set our inode's next_unlinked pointer to NULL and then return
2462 * the old pointer value so that we can update whatever was previous
2463 * to us in the list to point to whatever was next in the list.
2464 */
2465 error = xfs_iunlink_update_inode(tp, ip, agno, NULLAGINO, &next_agino);
2466 if (error)
2467 return error;
Darrick J. Wong9a4a5112019-02-07 10:37:14 -08002468
Darrick J. Wong9b247172019-02-07 10:37:16 -08002469 /*
2470 * If there was a backref pointing from the next inode back to this
2471 * one, remove it because we've removed this inode from the list.
2472 *
2473 * Later, if this inode was in the middle of the list we'll update
2474 * this inode's backref to point from the next inode.
2475 */
2476 if (next_agino != NULLAGINO) {
2477 pag = xfs_perag_get(mp, agno);
2478 error = xfs_iunlink_change_backref(pag, next_agino,
2479 NULLAGINO);
2480 if (error)
2481 goto out;
2482 }
2483
Darrick J. Wongb1d2a062019-02-07 10:37:15 -08002484 if (head_agino == agino) {
Darrick J. Wong9a4a5112019-02-07 10:37:14 -08002485 /* Point the head of the list to the next unlinked inode. */
2486 error = xfs_iunlink_update_bucket(tp, agno, agibp, bucket_index,
2487 next_agino);
2488 if (error)
Darrick J. Wong9b247172019-02-07 10:37:16 -08002489 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002490 } else {
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002491 struct xfs_imap imap;
2492 xfs_agino_t prev_agino;
2493
Darrick J. Wong9b247172019-02-07 10:37:16 -08002494 if (!pag)
2495 pag = xfs_perag_get(mp, agno);
2496
Darrick J. Wong23ffa522019-02-07 10:37:15 -08002497 /* We need to search the list for the inode being freed. */
Darrick J. Wongb1d2a062019-02-07 10:37:15 -08002498 error = xfs_iunlink_map_prev(tp, agno, head_agino, agino,
Darrick J. Wong9b247172019-02-07 10:37:16 -08002499 &prev_agino, &imap, &last_dip, &last_ibp,
2500 pag);
Darrick J. Wong23ffa522019-02-07 10:37:15 -08002501 if (error)
Darrick J. Wong9b247172019-02-07 10:37:16 -08002502 goto out;
Christoph Hellwig475ee412012-07-03 12:21:22 -04002503
Darrick J. Wongf2fc16a2019-02-07 10:37:15 -08002504 /* Point the previous inode on the list to the next inode. */
2505 xfs_iunlink_update_dinode(tp, agno, prev_agino, last_ibp,
2506 last_dip, &imap, next_agino);
Darrick J. Wong9b247172019-02-07 10:37:16 -08002507
2508 /*
2509 * Now we deal with the backref for this inode. If this inode
2510 * pointed at a real inode, change the backref that pointed to
2511 * us to point to our old next. If this inode was the end of
2512 * the list, delete the backref that pointed to us. Note that
2513 * change_backref takes care of deleting the backref if
2514 * next_agino is NULLAGINO.
2515 */
2516 error = xfs_iunlink_change_backref(pag, agino, next_agino);
2517 if (error)
2518 goto out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002519 }
Darrick J. Wong9b247172019-02-07 10:37:16 -08002520
2521out:
2522 if (pag)
2523 xfs_perag_put(pag);
2524 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002525}
2526
Dave Chinner5b3eed72010-08-24 11:42:41 +10002527/*
Zhi Yong Wu0b8182d2013-08-12 03:14:59 +00002528 * A big issue when freeing the inode cluster is that we _cannot_ skip any
Dave Chinner5b3eed72010-08-24 11:42:41 +10002529 * inodes that are in memory - they all must be marked stale and attached to
2530 * the cluster buffer.
2531 */
Chandra Seetharaman2a30f36d2011-09-20 13:56:55 +00002532STATIC int
Linus Torvalds1da177e2005-04-16 15:20:36 -07002533xfs_ifree_cluster(
Brian Foster09b56602015-05-29 09:26:03 +10002534 xfs_inode_t *free_ip,
2535 xfs_trans_t *tp,
2536 struct xfs_icluster *xic)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002537{
2538 xfs_mount_t *mp = free_ip->i_mount;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002539 int nbufs;
Dave Chinner5b257b42010-06-03 16:22:29 +10002540 int i, j;
Brian Foster3cdaa182015-06-04 13:03:34 +10002541 int ioffset;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002542 xfs_daddr_t blkno;
2543 xfs_buf_t *bp;
Dave Chinner5b257b42010-06-03 16:22:29 +10002544 xfs_inode_t *ip;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002545 xfs_inode_log_item_t *iip;
Carlos Maiolino643c8c02018-01-24 13:38:49 -08002546 struct xfs_log_item *lip;
Dave Chinner5017e972010-01-11 11:47:40 +00002547 struct xfs_perag *pag;
Darrick J. Wongef325952019-06-05 11:19:34 -07002548 struct xfs_ino_geometry *igeo = M_IGEO(mp);
Brian Foster09b56602015-05-29 09:26:03 +10002549 xfs_ino_t inum;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002550
Brian Foster09b56602015-05-29 09:26:03 +10002551 inum = xic->first_ino;
Dave Chinner5017e972010-01-11 11:47:40 +00002552 pag = xfs_perag_get(mp, XFS_INO_TO_AGNO(mp, inum));
Darrick J. Wongef325952019-06-05 11:19:34 -07002553 nbufs = igeo->ialloc_blks / igeo->blocks_per_cluster;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002554
Darrick J. Wongef325952019-06-05 11:19:34 -07002555 for (j = 0; j < nbufs; j++, inum += igeo->inodes_per_cluster) {
Brian Foster09b56602015-05-29 09:26:03 +10002556 /*
2557 * The allocation bitmap tells us which inodes of the chunk were
2558 * physically allocated. Skip the cluster if an inode falls into
2559 * a sparse region.
2560 */
Brian Foster3cdaa182015-06-04 13:03:34 +10002561 ioffset = inum - xic->first_ino;
2562 if ((xic->alloc & XFS_INOBT_MASK(ioffset)) == 0) {
Darrick J. Wongef325952019-06-05 11:19:34 -07002563 ASSERT(ioffset % igeo->inodes_per_cluster == 0);
Brian Foster09b56602015-05-29 09:26:03 +10002564 continue;
2565 }
2566
Linus Torvalds1da177e2005-04-16 15:20:36 -07002567 blkno = XFS_AGB_TO_DADDR(mp, XFS_INO_TO_AGNO(mp, inum),
2568 XFS_INO_TO_AGBNO(mp, inum));
2569
Linus Torvalds1da177e2005-04-16 15:20:36 -07002570 /*
Dave Chinner5b257b42010-06-03 16:22:29 +10002571 * We obtain and lock the backing buffer first in the process
2572 * here, as we have to ensure that any dirty inode that we
2573 * can't get the flush lock on is attached to the buffer.
2574 * If we scan the in-memory inodes first, then buffer IO can
2575 * complete before we get a lock on it, and hence we may fail
2576 * to mark all the active inodes on the buffer stale.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002577 */
Dave Chinner5b257b42010-06-03 16:22:29 +10002578 bp = xfs_trans_get_buf(tp, mp->m_ddev_targp, blkno,
Darrick J. Wongef325952019-06-05 11:19:34 -07002579 mp->m_bsize * igeo->blocks_per_cluster,
Dave Chinnerb6aff292012-11-02 11:38:42 +11002580 XBF_UNMAPPED);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002581
Chandra Seetharaman2a30f36d2011-09-20 13:56:55 +00002582 if (!bp)
Dave Chinner24513372014-06-25 14:58:08 +10002583 return -ENOMEM;
Dave Chinnerb0f539d2012-11-14 17:53:49 +11002584
2585 /*
2586 * This buffer may not have been correctly initialised as we
2587 * didn't read it from disk. That's not important because we are
2588 * only using to mark the buffer as stale in the log, and to
2589 * attach stale cached inodes on it. That means it will never be
2590 * dispatched for IO. If it is, we want to know about it, and we
2591 * want it to fail. We can acheive this by adding a write
2592 * verifier to the buffer.
2593 */
Colin Ian King8c4ce792018-12-12 08:46:20 -08002594 bp->b_ops = &xfs_inode_buf_ops;
Dave Chinnerb0f539d2012-11-14 17:53:49 +11002595
Dave Chinner5b257b42010-06-03 16:22:29 +10002596 /*
2597 * Walk the inodes already attached to the buffer and mark them
2598 * stale. These will all have the flush locks held, so an
Dave Chinner5b3eed72010-08-24 11:42:41 +10002599 * in-memory inode walk can't lock them. By marking them all
2600 * stale first, we will not attempt to lock them in the loop
2601 * below as the XFS_ISTALE flag will be set.
Dave Chinner5b257b42010-06-03 16:22:29 +10002602 */
Carlos Maiolino643c8c02018-01-24 13:38:49 -08002603 list_for_each_entry(lip, &bp->b_li_list, li_bio_list) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07002604 if (lip->li_type == XFS_LI_INODE) {
2605 iip = (xfs_inode_log_item_t *)lip;
2606 ASSERT(iip->ili_logged == 1);
Christoph Hellwigca30b2a2010-06-23 18:11:15 +10002607 lip->li_cb = xfs_istale_done;
David Chinner7b2e2a32008-10-30 17:39:12 +11002608 xfs_trans_ail_copy_lsn(mp->m_ail,
2609 &iip->ili_flush_lsn,
2610 &iip->ili_item.li_lsn);
David Chinnere5ffd2b2006-11-21 18:55:33 +11002611 xfs_iflags_set(iip->ili_inode, XFS_ISTALE);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002612 }
Linus Torvalds1da177e2005-04-16 15:20:36 -07002613 }
2614
Dave Chinner5b3eed72010-08-24 11:42:41 +10002615
Dave Chinner5b257b42010-06-03 16:22:29 +10002616 /*
2617 * For each inode in memory attempt to add it to the inode
2618 * buffer and set it up for being staled on buffer IO
2619 * completion. This is safe as we've locked out tail pushing
2620 * and flushing by locking the buffer.
2621 *
2622 * We have already marked every inode that was part of a
2623 * transaction stale above, which means there is no point in
2624 * even trying to lock them.
2625 */
Darrick J. Wongef325952019-06-05 11:19:34 -07002626 for (i = 0; i < igeo->inodes_per_cluster; i++) {
Dave Chinner5b3eed72010-08-24 11:42:41 +10002627retry:
Dave Chinner1a3e8f32010-12-17 17:29:43 +11002628 rcu_read_lock();
Dave Chinner5b257b42010-06-03 16:22:29 +10002629 ip = radix_tree_lookup(&pag->pag_ici_root,
2630 XFS_INO_TO_AGINO(mp, (inum + i)));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002631
Dave Chinner1a3e8f32010-12-17 17:29:43 +11002632 /* Inode not in memory, nothing to do */
2633 if (!ip) {
2634 rcu_read_unlock();
Dave Chinner5b257b42010-06-03 16:22:29 +10002635 continue;
2636 }
2637
Dave Chinner5b3eed72010-08-24 11:42:41 +10002638 /*
Dave Chinner1a3e8f32010-12-17 17:29:43 +11002639 * because this is an RCU protected lookup, we could
2640 * find a recently freed or even reallocated inode
2641 * during the lookup. We need to check under the
2642 * i_flags_lock for a valid inode here. Skip it if it
2643 * is not valid, the wrong inode or stale.
2644 */
2645 spin_lock(&ip->i_flags_lock);
2646 if (ip->i_ino != inum + i ||
2647 __xfs_iflags_test(ip, XFS_ISTALE)) {
2648 spin_unlock(&ip->i_flags_lock);
2649 rcu_read_unlock();
2650 continue;
2651 }
2652 spin_unlock(&ip->i_flags_lock);
2653
2654 /*
Dave Chinner5b3eed72010-08-24 11:42:41 +10002655 * Don't try to lock/unlock the current inode, but we
2656 * _cannot_ skip the other inodes that we did not find
2657 * in the list attached to the buffer and are not
2658 * already marked stale. If we can't lock it, back off
2659 * and retry.
2660 */
Omar Sandovalf2e9ad22017-08-25 10:05:26 -07002661 if (ip != free_ip) {
2662 if (!xfs_ilock_nowait(ip, XFS_ILOCK_EXCL)) {
2663 rcu_read_unlock();
2664 delay(1);
2665 goto retry;
2666 }
2667
2668 /*
2669 * Check the inode number again in case we're
2670 * racing with freeing in xfs_reclaim_inode().
2671 * See the comments in that function for more
2672 * information as to why the initial check is
2673 * not sufficient.
2674 */
2675 if (ip->i_ino != inum + i) {
2676 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Darrick J. Wong962cc1a2017-11-14 16:34:44 -08002677 rcu_read_unlock();
Omar Sandovalf2e9ad22017-08-25 10:05:26 -07002678 continue;
2679 }
Dave Chinner5b257b42010-06-03 16:22:29 +10002680 }
Dave Chinner1a3e8f32010-12-17 17:29:43 +11002681 rcu_read_unlock();
Dave Chinner5b257b42010-06-03 16:22:29 +10002682
Dave Chinner5b3eed72010-08-24 11:42:41 +10002683 xfs_iflock(ip);
Dave Chinner5b257b42010-06-03 16:22:29 +10002684 xfs_iflags_set(ip, XFS_ISTALE);
Dave Chinner5b257b42010-06-03 16:22:29 +10002685
Dave Chinner5b3eed72010-08-24 11:42:41 +10002686 /*
2687 * we don't need to attach clean inodes or those only
2688 * with unlogged changes (which we throw away, anyway).
2689 */
Dave Chinner5b257b42010-06-03 16:22:29 +10002690 iip = ip->i_itemp;
Dave Chinner5b3eed72010-08-24 11:42:41 +10002691 if (!iip || xfs_inode_clean(ip)) {
Dave Chinner5b257b42010-06-03 16:22:29 +10002692 ASSERT(ip != free_ip);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002693 xfs_ifunlock(ip);
2694 xfs_iunlock(ip, XFS_ILOCK_EXCL);
2695 continue;
2696 }
2697
Christoph Hellwigf5d8d5c2012-02-29 09:53:54 +00002698 iip->ili_last_fields = iip->ili_fields;
2699 iip->ili_fields = 0;
Dave Chinnerfc0561c2015-11-03 13:14:59 +11002700 iip->ili_fsync_fields = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002701 iip->ili_logged = 1;
David Chinner7b2e2a32008-10-30 17:39:12 +11002702 xfs_trans_ail_copy_lsn(mp->m_ail, &iip->ili_flush_lsn,
2703 &iip->ili_item.li_lsn);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002704
Christoph Hellwigca30b2a2010-06-23 18:11:15 +10002705 xfs_buf_attach_iodone(bp, xfs_istale_done,
2706 &iip->ili_item);
Dave Chinner5b257b42010-06-03 16:22:29 +10002707
2708 if (ip != free_ip)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002709 xfs_iunlock(ip, XFS_ILOCK_EXCL);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002710 }
2711
Dave Chinner5b3eed72010-08-24 11:42:41 +10002712 xfs_trans_stale_inode_buf(tp, bp);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002713 xfs_trans_binval(tp, bp);
2714 }
2715
Dave Chinner5017e972010-01-11 11:47:40 +00002716 xfs_perag_put(pag);
Chandra Seetharaman2a30f36d2011-09-20 13:56:55 +00002717 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002718}
2719
2720/*
Darrick J. Wong98c4f782017-11-22 12:21:07 -08002721 * Free any local-format buffers sitting around before we reset to
2722 * extents format.
2723 */
2724static inline void
2725xfs_ifree_local_data(
2726 struct xfs_inode *ip,
2727 int whichfork)
2728{
2729 struct xfs_ifork *ifp;
2730
2731 if (XFS_IFORK_FORMAT(ip, whichfork) != XFS_DINODE_FMT_LOCAL)
2732 return;
2733
2734 ifp = XFS_IFORK_PTR(ip, whichfork);
2735 xfs_idata_realloc(ip, -ifp->if_bytes, whichfork);
2736}
2737
2738/*
Linus Torvalds1da177e2005-04-16 15:20:36 -07002739 * This is called to return an inode to the inode free list.
2740 * The inode should already be truncated to 0 length and have
2741 * no pages associated with it. This routine also assumes that
2742 * the inode is already a part of the transaction.
2743 *
2744 * The on-disk copy of the inode will have been added to the list
2745 * of unlinked inodes in the AGI. We need to remove the inode from
2746 * that list atomically with respect to freeing it here.
2747 */
2748int
2749xfs_ifree(
Brian Foster0e0417f2018-07-11 22:26:07 -07002750 struct xfs_trans *tp,
2751 struct xfs_inode *ip)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002752{
2753 int error;
Brian Foster09b56602015-05-29 09:26:03 +10002754 struct xfs_icluster xic = { 0 };
Linus Torvalds1da177e2005-04-16 15:20:36 -07002755
Christoph Hellwig579aa9c2008-04-22 17:34:00 +10002756 ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL));
Dave Chinner54d7b5c2016-02-09 16:54:58 +11002757 ASSERT(VFS_I(ip)->i_nlink == 0);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002758 ASSERT(ip->i_d.di_nextents == 0);
2759 ASSERT(ip->i_d.di_anextents == 0);
Dave Chinnerc19b3b052016-02-09 16:54:58 +11002760 ASSERT(ip->i_d.di_size == 0 || !S_ISREG(VFS_I(ip)->i_mode));
Linus Torvalds1da177e2005-04-16 15:20:36 -07002761 ASSERT(ip->i_d.di_nblocks == 0);
2762
2763 /*
2764 * Pull the on-disk inode from the AGI unlinked list.
2765 */
2766 error = xfs_iunlink_remove(tp, ip);
Dave Chinner1baaed82013-06-27 16:04:50 +10002767 if (error)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002768 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002769
Brian Foster0e0417f2018-07-11 22:26:07 -07002770 error = xfs_difree(tp, ip->i_ino, &xic);
Dave Chinner1baaed82013-06-27 16:04:50 +10002771 if (error)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002772 return error;
Dave Chinner1baaed82013-06-27 16:04:50 +10002773
Darrick J. Wong98c4f782017-11-22 12:21:07 -08002774 xfs_ifree_local_data(ip, XFS_DATA_FORK);
2775 xfs_ifree_local_data(ip, XFS_ATTR_FORK);
2776
Dave Chinnerc19b3b052016-02-09 16:54:58 +11002777 VFS_I(ip)->i_mode = 0; /* mark incore inode as free */
Linus Torvalds1da177e2005-04-16 15:20:36 -07002778 ip->i_d.di_flags = 0;
Darrick J. Wongbeaae8c2018-01-22 19:19:26 -08002779 ip->i_d.di_flags2 = 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002780 ip->i_d.di_dmevmask = 0;
2781 ip->i_d.di_forkoff = 0; /* mark the attr fork not in use */
Linus Torvalds1da177e2005-04-16 15:20:36 -07002782 ip->i_d.di_format = XFS_DINODE_FMT_EXTENTS;
2783 ip->i_d.di_aformat = XFS_DINODE_FMT_EXTENTS;
Eric Sandeendc1baa72018-03-28 17:48:08 -07002784
2785 /* Don't attempt to replay owner changes for a deleted inode */
2786 ip->i_itemp->ili_fields &= ~(XFS_ILOG_AOWNER|XFS_ILOG_DOWNER);
2787
Linus Torvalds1da177e2005-04-16 15:20:36 -07002788 /*
2789 * Bump the generation count so no one will be confused
2790 * by reincarnations of this inode.
2791 */
Dave Chinner9e9a2672016-02-09 16:54:58 +11002792 VFS_I(ip)->i_generation++;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002793 xfs_trans_log_inode(tp, ip, XFS_ILOG_CORE);
2794
Brian Foster09b56602015-05-29 09:26:03 +10002795 if (xic.deleted)
2796 error = xfs_ifree_cluster(ip, tp, &xic);
Linus Torvalds1da177e2005-04-16 15:20:36 -07002797
Chandra Seetharaman2a30f36d2011-09-20 13:56:55 +00002798 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07002799}
2800
2801/*
Christoph Hellwig60ec6782010-02-17 19:43:56 +00002802 * This is called to unpin an inode. The caller must have the inode locked
2803 * in at least shared mode so that the buffer cannot be subsequently pinned
2804 * once someone is waiting for it to be unpinned.
Linus Torvalds1da177e2005-04-16 15:20:36 -07002805 */
Christoph Hellwig60ec6782010-02-17 19:43:56 +00002806static void
Christoph Hellwigf392e632011-12-18 20:00:10 +00002807xfs_iunpin(
Christoph Hellwig60ec6782010-02-17 19:43:56 +00002808 struct xfs_inode *ip)
David Chinnera3f74ff2008-03-06 13:43:42 +11002809{
Christoph Hellwig579aa9c2008-04-22 17:34:00 +10002810 ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL|XFS_ILOCK_SHARED));
David Chinnera3f74ff2008-03-06 13:43:42 +11002811
Dave Chinner4aaf15d2010-03-08 11:24:07 +11002812 trace_xfs_inode_unpin_nowait(ip, _RET_IP_);
2813
David Chinnera3f74ff2008-03-06 13:43:42 +11002814 /* Give the log a push to start the unpinning I/O */
Christoph Hellwig656de4f2018-03-13 23:15:28 -07002815 xfs_log_force_lsn(ip->i_mount, ip->i_itemp->ili_last_lsn, 0, NULL);
Christoph Hellwiga14a3482010-01-19 09:56:46 +00002816
David Chinnera3f74ff2008-03-06 13:43:42 +11002817}
2818
Christoph Hellwigf392e632011-12-18 20:00:10 +00002819static void
2820__xfs_iunpin_wait(
2821 struct xfs_inode *ip)
2822{
2823 wait_queue_head_t *wq = bit_waitqueue(&ip->i_flags, __XFS_IPINNED_BIT);
2824 DEFINE_WAIT_BIT(wait, &ip->i_flags, __XFS_IPINNED_BIT);
2825
2826 xfs_iunpin(ip);
2827
2828 do {
Ingo Molnar21417132017-03-05 11:25:39 +01002829 prepare_to_wait(wq, &wait.wq_entry, TASK_UNINTERRUPTIBLE);
Christoph Hellwigf392e632011-12-18 20:00:10 +00002830 if (xfs_ipincount(ip))
2831 io_schedule();
2832 } while (xfs_ipincount(ip));
Ingo Molnar21417132017-03-05 11:25:39 +01002833 finish_wait(wq, &wait.wq_entry);
Christoph Hellwigf392e632011-12-18 20:00:10 +00002834}
2835
Dave Chinner777df5a2010-02-06 12:37:26 +11002836void
Linus Torvalds1da177e2005-04-16 15:20:36 -07002837xfs_iunpin_wait(
Christoph Hellwig60ec6782010-02-17 19:43:56 +00002838 struct xfs_inode *ip)
Linus Torvalds1da177e2005-04-16 15:20:36 -07002839{
Christoph Hellwigf392e632011-12-18 20:00:10 +00002840 if (xfs_ipincount(ip))
2841 __xfs_iunpin_wait(ip);
David Chinnera3f74ff2008-03-06 13:43:42 +11002842}
Linus Torvalds1da177e2005-04-16 15:20:36 -07002843
Dave Chinner27320362013-10-29 22:11:44 +11002844/*
2845 * Removing an inode from the namespace involves removing the directory entry
2846 * and dropping the link count on the inode. Removing the directory entry can
2847 * result in locking an AGF (directory blocks were freed) and removing a link
2848 * count can result in placing the inode on an unlinked list which results in
2849 * locking an AGI.
2850 *
2851 * The big problem here is that we have an ordering constraint on AGF and AGI
2852 * locking - inode allocation locks the AGI, then can allocate a new extent for
2853 * new inodes, locking the AGF after the AGI. Similarly, freeing the inode
2854 * removes the inode from the unlinked list, requiring that we lock the AGI
2855 * first, and then freeing the inode can result in an inode chunk being freed
2856 * and hence freeing disk space requiring that we lock an AGF.
2857 *
2858 * Hence the ordering that is imposed by other parts of the code is AGI before
2859 * AGF. This means we cannot remove the directory entry before we drop the inode
2860 * reference count and put it on the unlinked list as this results in a lock
2861 * order of AGF then AGI, and this can deadlock against inode allocation and
2862 * freeing. Therefore we must drop the link counts before we remove the
2863 * directory entry.
2864 *
2865 * This is still safe from a transactional point of view - it is not until we
Darrick J. Wong310a75a2016-08-03 11:18:10 +10002866 * get to xfs_defer_finish() that we have the possibility of multiple
Dave Chinner27320362013-10-29 22:11:44 +11002867 * transactions in this operation. Hence as long as we remove the directory
2868 * entry and drop the link count in the first transaction of the remove
2869 * operation, there are no transactional constraints on the ordering here.
2870 */
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002871int
2872xfs_remove(
2873 xfs_inode_t *dp,
2874 struct xfs_name *name,
2875 xfs_inode_t *ip)
2876{
2877 xfs_mount_t *mp = dp->i_mount;
2878 xfs_trans_t *tp = NULL;
Dave Chinnerc19b3b052016-02-09 16:54:58 +11002879 int is_dir = S_ISDIR(VFS_I(ip)->i_mode);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002880 int error = 0;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002881 uint resblks;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002882
2883 trace_xfs_remove(dp, name);
2884
2885 if (XFS_FORCED_SHUTDOWN(mp))
Dave Chinner24513372014-06-25 14:58:08 +10002886 return -EIO;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002887
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -07002888 error = xfs_qm_dqattach(dp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002889 if (error)
2890 goto std_return;
2891
Darrick J. Wongc14cfcc2018-05-04 15:30:21 -07002892 error = xfs_qm_dqattach(ip);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002893 if (error)
2894 goto std_return;
2895
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002896 /*
2897 * We try to get the real space reservation first,
2898 * allowing for directory btree deletion(s) implying
2899 * possible bmap insert(s). If we can't get the space
2900 * reservation then we use 0 instead, and avoid the bmap
2901 * btree insert(s) in the directory code by, if the bmap
2902 * insert tries to happen, instead trimming the LAST
2903 * block from the directory.
2904 */
2905 resblks = XFS_REMOVE_SPACE_RES(mp);
Christoph Hellwig253f4912016-04-06 09:19:55 +10002906 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_remove, resblks, 0, 0, &tp);
Dave Chinner24513372014-06-25 14:58:08 +10002907 if (error == -ENOSPC) {
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002908 resblks = 0;
Christoph Hellwig253f4912016-04-06 09:19:55 +10002909 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_remove, 0, 0, 0,
2910 &tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002911 }
2912 if (error) {
Dave Chinner24513372014-06-25 14:58:08 +10002913 ASSERT(error != -ENOSPC);
Christoph Hellwig253f4912016-04-06 09:19:55 +10002914 goto std_return;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002915 }
2916
Darrick J. Wong7c2d2382018-01-26 15:27:33 -08002917 xfs_lock_two_inodes(dp, XFS_ILOCK_EXCL, ip, XFS_ILOCK_EXCL);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002918
Christoph Hellwig65523212016-11-30 14:33:25 +11002919 xfs_trans_ijoin(tp, dp, XFS_ILOCK_EXCL);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002920 xfs_trans_ijoin(tp, ip, XFS_ILOCK_EXCL);
2921
2922 /*
2923 * If we're removing a directory perform some additional validation.
2924 */
2925 if (is_dir) {
Dave Chinner54d7b5c2016-02-09 16:54:58 +11002926 ASSERT(VFS_I(ip)->i_nlink >= 2);
2927 if (VFS_I(ip)->i_nlink != 2) {
Dave Chinner24513372014-06-25 14:58:08 +10002928 error = -ENOTEMPTY;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002929 goto out_trans_cancel;
2930 }
2931 if (!xfs_dir_isempty(ip)) {
Dave Chinner24513372014-06-25 14:58:08 +10002932 error = -ENOTEMPTY;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002933 goto out_trans_cancel;
2934 }
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002935
Dave Chinner27320362013-10-29 22:11:44 +11002936 /* Drop the link from ip's "..". */
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002937 error = xfs_droplink(tp, dp);
2938 if (error)
Dave Chinner27320362013-10-29 22:11:44 +11002939 goto out_trans_cancel;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002940
Dave Chinner27320362013-10-29 22:11:44 +11002941 /* Drop the "." link from ip to self. */
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002942 error = xfs_droplink(tp, ip);
2943 if (error)
Dave Chinner27320362013-10-29 22:11:44 +11002944 goto out_trans_cancel;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002945 } else {
2946 /*
2947 * When removing a non-directory we need to log the parent
2948 * inode here. For a directory this is done implicitly
2949 * by the xfs_droplink call for the ".." entry.
2950 */
2951 xfs_trans_log_inode(tp, dp, XFS_ILOG_CORE);
2952 }
Dave Chinner27320362013-10-29 22:11:44 +11002953 xfs_trans_ichgtime(tp, dp, XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002954
Dave Chinner27320362013-10-29 22:11:44 +11002955 /* Drop the link from dp to ip. */
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002956 error = xfs_droplink(tp, ip);
2957 if (error)
Dave Chinner27320362013-10-29 22:11:44 +11002958 goto out_trans_cancel;
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002959
Brian Foster381eee62018-07-11 22:26:21 -07002960 error = xfs_dir_removename(tp, dp, name, ip->i_ino, resblks);
Dave Chinner27320362013-10-29 22:11:44 +11002961 if (error) {
Dave Chinner24513372014-06-25 14:58:08 +10002962 ASSERT(error != -ENOENT);
Brian Fosterc8eac492018-07-24 13:43:13 -07002963 goto out_trans_cancel;
Dave Chinner27320362013-10-29 22:11:44 +11002964 }
2965
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002966 /*
2967 * If this is a synchronous mount, make sure that the
2968 * remove transaction goes to disk before returning to
2969 * the user.
2970 */
2971 if (mp->m_flags & (XFS_MOUNT_WSYNC|XFS_MOUNT_DIRSYNC))
2972 xfs_trans_set_sync(tp);
2973
Christoph Hellwig70393312015-06-04 13:48:08 +10002974 error = xfs_trans_commit(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002975 if (error)
2976 goto std_return;
2977
Christoph Hellwig2cd2ef62014-04-23 07:11:51 +10002978 if (is_dir && xfs_inode_is_filestream(ip))
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002979 xfs_filestream_deassociate(ip);
2980
2981 return 0;
2982
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002983 out_trans_cancel:
Christoph Hellwig4906e212015-06-04 13:47:56 +10002984 xfs_trans_cancel(tp);
Dave Chinnerc24b5df2013-08-12 20:49:45 +10002985 std_return:
2986 return error;
2987}
2988
Dave Chinnerf6bba202013-08-12 20:49:46 +10002989/*
2990 * Enter all inodes for a rename transaction into a sorted array.
2991 */
Dave Chinner95afcf52015-03-25 14:03:32 +11002992#define __XFS_SORT_INODES 5
Dave Chinnerf6bba202013-08-12 20:49:46 +10002993STATIC void
2994xfs_sort_for_rename(
Dave Chinner95afcf52015-03-25 14:03:32 +11002995 struct xfs_inode *dp1, /* in: old (source) directory inode */
2996 struct xfs_inode *dp2, /* in: new (target) directory inode */
2997 struct xfs_inode *ip1, /* in: inode of old entry */
2998 struct xfs_inode *ip2, /* in: inode of new entry */
2999 struct xfs_inode *wip, /* in: whiteout inode */
3000 struct xfs_inode **i_tab,/* out: sorted array of inodes */
3001 int *num_inodes) /* in/out: inodes in array */
Dave Chinnerf6bba202013-08-12 20:49:46 +10003002{
Dave Chinnerf6bba202013-08-12 20:49:46 +10003003 int i, j;
3004
Dave Chinner95afcf52015-03-25 14:03:32 +11003005 ASSERT(*num_inodes == __XFS_SORT_INODES);
3006 memset(i_tab, 0, *num_inodes * sizeof(struct xfs_inode *));
3007
Dave Chinnerf6bba202013-08-12 20:49:46 +10003008 /*
3009 * i_tab contains a list of pointers to inodes. We initialize
3010 * the table here & we'll sort it. We will then use it to
3011 * order the acquisition of the inode locks.
3012 *
3013 * Note that the table may contain duplicates. e.g., dp1 == dp2.
3014 */
Dave Chinner95afcf52015-03-25 14:03:32 +11003015 i = 0;
3016 i_tab[i++] = dp1;
3017 i_tab[i++] = dp2;
3018 i_tab[i++] = ip1;
3019 if (ip2)
3020 i_tab[i++] = ip2;
3021 if (wip)
3022 i_tab[i++] = wip;
3023 *num_inodes = i;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003024
3025 /*
3026 * Sort the elements via bubble sort. (Remember, there are at
Dave Chinner95afcf52015-03-25 14:03:32 +11003027 * most 5 elements to sort, so this is adequate.)
Dave Chinnerf6bba202013-08-12 20:49:46 +10003028 */
3029 for (i = 0; i < *num_inodes; i++) {
3030 for (j = 1; j < *num_inodes; j++) {
3031 if (i_tab[j]->i_ino < i_tab[j-1]->i_ino) {
Dave Chinner95afcf52015-03-25 14:03:32 +11003032 struct xfs_inode *temp = i_tab[j];
Dave Chinnerf6bba202013-08-12 20:49:46 +10003033 i_tab[j] = i_tab[j-1];
3034 i_tab[j-1] = temp;
3035 }
3036 }
3037 }
3038}
3039
Dave Chinner310606b2015-03-25 14:06:07 +11003040static int
3041xfs_finish_rename(
Brian Fosterc9cfdb32018-07-11 22:26:08 -07003042 struct xfs_trans *tp)
Dave Chinner310606b2015-03-25 14:06:07 +11003043{
Dave Chinner310606b2015-03-25 14:06:07 +11003044 /*
3045 * If this is a synchronous mount, make sure that the rename transaction
3046 * goes to disk before returning to the user.
3047 */
3048 if (tp->t_mountp->m_flags & (XFS_MOUNT_WSYNC|XFS_MOUNT_DIRSYNC))
3049 xfs_trans_set_sync(tp);
3050
Christoph Hellwig70393312015-06-04 13:48:08 +10003051 return xfs_trans_commit(tp);
Dave Chinner310606b2015-03-25 14:06:07 +11003052}
3053
Dave Chinnerf6bba202013-08-12 20:49:46 +10003054/*
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003055 * xfs_cross_rename()
3056 *
3057 * responsible for handling RENAME_EXCHANGE flag in renameat2() sytemcall
3058 */
3059STATIC int
3060xfs_cross_rename(
3061 struct xfs_trans *tp,
3062 struct xfs_inode *dp1,
3063 struct xfs_name *name1,
3064 struct xfs_inode *ip1,
3065 struct xfs_inode *dp2,
3066 struct xfs_name *name2,
3067 struct xfs_inode *ip2,
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003068 int spaceres)
3069{
3070 int error = 0;
3071 int ip1_flags = 0;
3072 int ip2_flags = 0;
3073 int dp2_flags = 0;
3074
3075 /* Swap inode number for dirent in first parent */
Brian Foster381eee62018-07-11 22:26:21 -07003076 error = xfs_dir_replace(tp, dp1, name1, ip2->i_ino, spaceres);
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003077 if (error)
Dave Chinnereeacd322015-03-25 14:08:07 +11003078 goto out_trans_abort;
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003079
3080 /* Swap inode number for dirent in second parent */
Brian Foster381eee62018-07-11 22:26:21 -07003081 error = xfs_dir_replace(tp, dp2, name2, ip1->i_ino, spaceres);
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003082 if (error)
Dave Chinnereeacd322015-03-25 14:08:07 +11003083 goto out_trans_abort;
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003084
3085 /*
3086 * If we're renaming one or more directories across different parents,
3087 * update the respective ".." entries (and link counts) to match the new
3088 * parents.
3089 */
3090 if (dp1 != dp2) {
3091 dp2_flags = XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG;
3092
Dave Chinnerc19b3b052016-02-09 16:54:58 +11003093 if (S_ISDIR(VFS_I(ip2)->i_mode)) {
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003094 error = xfs_dir_replace(tp, ip2, &xfs_name_dotdot,
Brian Foster381eee62018-07-11 22:26:21 -07003095 dp1->i_ino, spaceres);
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003096 if (error)
Dave Chinnereeacd322015-03-25 14:08:07 +11003097 goto out_trans_abort;
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003098
3099 /* transfer ip2 ".." reference to dp1 */
Dave Chinnerc19b3b052016-02-09 16:54:58 +11003100 if (!S_ISDIR(VFS_I(ip1)->i_mode)) {
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003101 error = xfs_droplink(tp, dp2);
3102 if (error)
Dave Chinnereeacd322015-03-25 14:08:07 +11003103 goto out_trans_abort;
Eric Sandeen91083262019-05-01 20:26:30 -07003104 xfs_bumplink(tp, dp1);
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003105 }
3106
3107 /*
3108 * Although ip1 isn't changed here, userspace needs
3109 * to be warned about the change, so that applications
3110 * relying on it (like backup ones), will properly
3111 * notify the change
3112 */
3113 ip1_flags |= XFS_ICHGTIME_CHG;
3114 ip2_flags |= XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG;
3115 }
3116
Dave Chinnerc19b3b052016-02-09 16:54:58 +11003117 if (S_ISDIR(VFS_I(ip1)->i_mode)) {
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003118 error = xfs_dir_replace(tp, ip1, &xfs_name_dotdot,
Brian Foster381eee62018-07-11 22:26:21 -07003119 dp2->i_ino, spaceres);
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003120 if (error)
Dave Chinnereeacd322015-03-25 14:08:07 +11003121 goto out_trans_abort;
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003122
3123 /* transfer ip1 ".." reference to dp2 */
Dave Chinnerc19b3b052016-02-09 16:54:58 +11003124 if (!S_ISDIR(VFS_I(ip2)->i_mode)) {
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003125 error = xfs_droplink(tp, dp1);
3126 if (error)
Dave Chinnereeacd322015-03-25 14:08:07 +11003127 goto out_trans_abort;
Eric Sandeen91083262019-05-01 20:26:30 -07003128 xfs_bumplink(tp, dp2);
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003129 }
3130
3131 /*
3132 * Although ip2 isn't changed here, userspace needs
3133 * to be warned about the change, so that applications
3134 * relying on it (like backup ones), will properly
3135 * notify the change
3136 */
3137 ip1_flags |= XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG;
3138 ip2_flags |= XFS_ICHGTIME_CHG;
3139 }
3140 }
3141
3142 if (ip1_flags) {
3143 xfs_trans_ichgtime(tp, ip1, ip1_flags);
3144 xfs_trans_log_inode(tp, ip1, XFS_ILOG_CORE);
3145 }
3146 if (ip2_flags) {
3147 xfs_trans_ichgtime(tp, ip2, ip2_flags);
3148 xfs_trans_log_inode(tp, ip2, XFS_ILOG_CORE);
3149 }
3150 if (dp2_flags) {
3151 xfs_trans_ichgtime(tp, dp2, dp2_flags);
3152 xfs_trans_log_inode(tp, dp2, XFS_ILOG_CORE);
3153 }
3154 xfs_trans_ichgtime(tp, dp1, XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG);
3155 xfs_trans_log_inode(tp, dp1, XFS_ILOG_CORE);
Brian Fosterc9cfdb32018-07-11 22:26:08 -07003156 return xfs_finish_rename(tp);
Dave Chinnereeacd322015-03-25 14:08:07 +11003157
3158out_trans_abort:
Christoph Hellwig4906e212015-06-04 13:47:56 +10003159 xfs_trans_cancel(tp);
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003160 return error;
3161}
3162
3163/*
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003164 * xfs_rename_alloc_whiteout()
3165 *
3166 * Return a referenced, unlinked, unlocked inode that that can be used as a
3167 * whiteout in a rename transaction. We use a tmpfile inode here so that if we
3168 * crash between allocating the inode and linking it into the rename transaction
3169 * recovery will free the inode and we won't leak it.
3170 */
3171static int
3172xfs_rename_alloc_whiteout(
3173 struct xfs_inode *dp,
3174 struct xfs_inode **wip)
3175{
3176 struct xfs_inode *tmpfile;
3177 int error;
3178
Eric Sandeena1f69412018-04-06 10:09:42 -07003179 error = xfs_create_tmpfile(dp, S_IFCHR | WHITEOUT_MODE, &tmpfile);
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003180 if (error)
3181 return error;
3182
Brian Foster22419ac2015-05-29 08:14:55 +10003183 /*
3184 * Prepare the tmpfile inode as if it were created through the VFS.
Darrick J. Wongc4a6bf72019-02-13 11:15:17 -08003185 * Complete the inode setup and flag it as linkable. nlink is already
3186 * zero, so we can skip the drop_nlink.
Brian Foster22419ac2015-05-29 08:14:55 +10003187 */
Christoph Hellwig2b3d1d42016-04-06 07:48:27 +10003188 xfs_setup_iops(tmpfile);
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003189 xfs_finish_inode_setup(tmpfile);
3190 VFS_I(tmpfile)->i_state |= I_LINKABLE;
3191
3192 *wip = tmpfile;
3193 return 0;
3194}
3195
3196/*
Dave Chinnerf6bba202013-08-12 20:49:46 +10003197 * xfs_rename
3198 */
3199int
3200xfs_rename(
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003201 struct xfs_inode *src_dp,
3202 struct xfs_name *src_name,
3203 struct xfs_inode *src_ip,
3204 struct xfs_inode *target_dp,
3205 struct xfs_name *target_name,
3206 struct xfs_inode *target_ip,
3207 unsigned int flags)
Dave Chinnerf6bba202013-08-12 20:49:46 +10003208{
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003209 struct xfs_mount *mp = src_dp->i_mount;
3210 struct xfs_trans *tp;
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003211 struct xfs_inode *wip = NULL; /* whiteout inode */
3212 struct xfs_inode *inodes[__XFS_SORT_INODES];
3213 int num_inodes = __XFS_SORT_INODES;
Dave Chinner2b936812015-03-25 15:12:30 +11003214 bool new_parent = (src_dp != target_dp);
Dave Chinnerc19b3b052016-02-09 16:54:58 +11003215 bool src_is_directory = S_ISDIR(VFS_I(src_ip)->i_mode);
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003216 int spaceres;
3217 int error;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003218
3219 trace_xfs_rename(src_dp, target_dp, src_name, target_name);
3220
Dave Chinnereeacd322015-03-25 14:08:07 +11003221 if ((flags & RENAME_EXCHANGE) && !target_ip)
3222 return -EINVAL;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003223
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003224 /*
3225 * If we are doing a whiteout operation, allocate the whiteout inode
3226 * we will be placing at the target and ensure the type is set
3227 * appropriately.
3228 */
3229 if (flags & RENAME_WHITEOUT) {
3230 ASSERT(!(flags & (RENAME_NOREPLACE | RENAME_EXCHANGE)));
3231 error = xfs_rename_alloc_whiteout(target_dp, &wip);
3232 if (error)
3233 return error;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003234
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003235 /* setup target dirent info as whiteout */
3236 src_name->type = XFS_DIR3_FT_CHRDEV;
3237 }
3238
3239 xfs_sort_for_rename(src_dp, target_dp, src_ip, target_ip, wip,
Dave Chinnerf6bba202013-08-12 20:49:46 +10003240 inodes, &num_inodes);
3241
Dave Chinnerf6bba202013-08-12 20:49:46 +10003242 spaceres = XFS_RENAME_SPACE_RES(mp, target_name->len);
Christoph Hellwig253f4912016-04-06 09:19:55 +10003243 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_rename, spaceres, 0, 0, &tp);
Dave Chinner24513372014-06-25 14:58:08 +10003244 if (error == -ENOSPC) {
Dave Chinnerf6bba202013-08-12 20:49:46 +10003245 spaceres = 0;
Christoph Hellwig253f4912016-04-06 09:19:55 +10003246 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_rename, 0, 0, 0,
3247 &tp);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003248 }
Dave Chinner445883e2015-03-25 14:05:43 +11003249 if (error)
Christoph Hellwig253f4912016-04-06 09:19:55 +10003250 goto out_release_wip;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003251
3252 /*
3253 * Attach the dquots to the inodes
3254 */
3255 error = xfs_qm_vop_rename_dqattach(inodes);
Dave Chinner445883e2015-03-25 14:05:43 +11003256 if (error)
3257 goto out_trans_cancel;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003258
3259 /*
3260 * Lock all the participating inodes. Depending upon whether
3261 * the target_name exists in the target directory, and
3262 * whether the target directory is the same as the source
3263 * directory, we can lock from 2 to 4 inodes.
3264 */
3265 xfs_lock_inodes(inodes, num_inodes, XFS_ILOCK_EXCL);
3266
3267 /*
3268 * Join all the inodes to the transaction. From this point on,
3269 * we can rely on either trans_commit or trans_cancel to unlock
3270 * them.
3271 */
Christoph Hellwig65523212016-11-30 14:33:25 +11003272 xfs_trans_ijoin(tp, src_dp, XFS_ILOCK_EXCL);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003273 if (new_parent)
Christoph Hellwig65523212016-11-30 14:33:25 +11003274 xfs_trans_ijoin(tp, target_dp, XFS_ILOCK_EXCL);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003275 xfs_trans_ijoin(tp, src_ip, XFS_ILOCK_EXCL);
3276 if (target_ip)
3277 xfs_trans_ijoin(tp, target_ip, XFS_ILOCK_EXCL);
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003278 if (wip)
3279 xfs_trans_ijoin(tp, wip, XFS_ILOCK_EXCL);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003280
3281 /*
3282 * If we are using project inheritance, we only allow renames
3283 * into our tree when the project IDs are the same; else the
3284 * tree quota mechanism would be circumvented.
3285 */
3286 if (unlikely((target_dp->i_d.di_flags & XFS_DIFLAG_PROJINHERIT) &&
3287 (xfs_get_projid(target_dp) != xfs_get_projid(src_ip)))) {
Dave Chinner24513372014-06-25 14:58:08 +10003288 error = -EXDEV;
Dave Chinner445883e2015-03-25 14:05:43 +11003289 goto out_trans_cancel;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003290 }
3291
Dave Chinnereeacd322015-03-25 14:08:07 +11003292 /* RENAME_EXCHANGE is unique from here on. */
3293 if (flags & RENAME_EXCHANGE)
3294 return xfs_cross_rename(tp, src_dp, src_name, src_ip,
3295 target_dp, target_name, target_ip,
Brian Fosterf16dea52018-07-11 22:26:20 -07003296 spaceres);
Carlos Maiolinod31a1822014-12-24 08:51:42 +11003297
3298 /*
kaixuxiabc56ad82019-09-03 21:06:50 -07003299 * Check for expected errors before we dirty the transaction
3300 * so we can return an error without a transaction abort.
Dave Chinnerf6bba202013-08-12 20:49:46 +10003301 */
3302 if (target_ip == NULL) {
3303 /*
3304 * If there's no space reservation, check the entry will
3305 * fit before actually inserting it.
3306 */
Eric Sandeen94f3cad2014-09-09 11:57:52 +10003307 if (!spaceres) {
3308 error = xfs_dir_canenter(tp, target_dp, target_name);
3309 if (error)
Dave Chinner445883e2015-03-25 14:05:43 +11003310 goto out_trans_cancel;
Eric Sandeen94f3cad2014-09-09 11:57:52 +10003311 }
kaixuxiabc56ad82019-09-03 21:06:50 -07003312 } else {
3313 /*
3314 * If target exists and it's a directory, check that whether
3315 * it can be destroyed.
3316 */
3317 if (S_ISDIR(VFS_I(target_ip)->i_mode) &&
3318 (!xfs_dir_isempty(target_ip) ||
3319 (VFS_I(target_ip)->i_nlink > 2))) {
3320 error = -EEXIST;
3321 goto out_trans_cancel;
3322 }
3323 }
3324
3325 /*
3326 * Directory entry creation below may acquire the AGF. Remove
3327 * the whiteout from the unlinked list first to preserve correct
3328 * AGI/AGF locking order. This dirties the transaction so failures
3329 * after this point will abort and log recovery will clean up the
3330 * mess.
3331 *
3332 * For whiteouts, we need to bump the link count on the whiteout
3333 * inode. After this point, we have a real link, clear the tmpfile
3334 * state flag from the inode so it doesn't accidentally get misused
3335 * in future.
3336 */
3337 if (wip) {
3338 ASSERT(VFS_I(wip)->i_nlink == 0);
3339 error = xfs_iunlink_remove(tp, wip);
3340 if (error)
3341 goto out_trans_cancel;
3342
3343 xfs_bumplink(tp, wip);
kaixuxiabc56ad82019-09-03 21:06:50 -07003344 VFS_I(wip)->i_state &= ~I_LINKABLE;
3345 }
3346
3347 /*
3348 * Set up the target.
3349 */
3350 if (target_ip == NULL) {
Dave Chinnerf6bba202013-08-12 20:49:46 +10003351 /*
3352 * If target does not exist and the rename crosses
3353 * directories, adjust the target directory link count
3354 * to account for the ".." reference from the new entry.
3355 */
3356 error = xfs_dir_createname(tp, target_dp, target_name,
Brian Foster381eee62018-07-11 22:26:21 -07003357 src_ip->i_ino, spaceres);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003358 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07003359 goto out_trans_cancel;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003360
3361 xfs_trans_ichgtime(tp, target_dp,
3362 XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG);
3363
3364 if (new_parent && src_is_directory) {
Eric Sandeen91083262019-05-01 20:26:30 -07003365 xfs_bumplink(tp, target_dp);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003366 }
3367 } else { /* target_ip != NULL */
3368 /*
Dave Chinnerf6bba202013-08-12 20:49:46 +10003369 * Link the source inode under the target name.
3370 * If the source inode is a directory and we are moving
3371 * it across directories, its ".." entry will be
3372 * inconsistent until we replace that down below.
3373 *
3374 * In case there is already an entry with the same
3375 * name at the destination directory, remove it first.
3376 */
3377 error = xfs_dir_replace(tp, target_dp, target_name,
Brian Foster381eee62018-07-11 22:26:21 -07003378 src_ip->i_ino, spaceres);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003379 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07003380 goto out_trans_cancel;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003381
3382 xfs_trans_ichgtime(tp, target_dp,
3383 XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG);
3384
3385 /*
3386 * Decrement the link count on the target since the target
3387 * dir no longer points to it.
3388 */
3389 error = xfs_droplink(tp, target_ip);
3390 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07003391 goto out_trans_cancel;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003392
3393 if (src_is_directory) {
3394 /*
3395 * Drop the link from the old "." entry.
3396 */
3397 error = xfs_droplink(tp, target_ip);
3398 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07003399 goto out_trans_cancel;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003400 }
3401 } /* target_ip != NULL */
3402
3403 /*
3404 * Remove the source.
3405 */
3406 if (new_parent && src_is_directory) {
3407 /*
3408 * Rewrite the ".." entry to point to the new
3409 * directory.
3410 */
3411 error = xfs_dir_replace(tp, src_ip, &xfs_name_dotdot,
Brian Foster381eee62018-07-11 22:26:21 -07003412 target_dp->i_ino, spaceres);
Dave Chinner24513372014-06-25 14:58:08 +10003413 ASSERT(error != -EEXIST);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003414 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07003415 goto out_trans_cancel;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003416 }
3417
3418 /*
3419 * We always want to hit the ctime on the source inode.
3420 *
3421 * This isn't strictly required by the standards since the source
3422 * inode isn't really being changed, but old unix file systems did
3423 * it and some incremental backup programs won't work without it.
3424 */
3425 xfs_trans_ichgtime(tp, src_ip, XFS_ICHGTIME_CHG);
3426 xfs_trans_log_inode(tp, src_ip, XFS_ILOG_CORE);
3427
3428 /*
3429 * Adjust the link count on src_dp. This is necessary when
3430 * renaming a directory, either within one parent when
3431 * the target existed, or across two parent directories.
3432 */
3433 if (src_is_directory && (new_parent || target_ip != NULL)) {
3434
3435 /*
3436 * Decrement link count on src_directory since the
3437 * entry that's moved no longer points to it.
3438 */
3439 error = xfs_droplink(tp, src_dp);
3440 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07003441 goto out_trans_cancel;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003442 }
3443
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003444 /*
3445 * For whiteouts, we only need to update the source dirent with the
3446 * inode number of the whiteout inode rather than removing it
3447 * altogether.
3448 */
3449 if (wip) {
3450 error = xfs_dir_replace(tp, src_dp, src_name, wip->i_ino,
Brian Foster381eee62018-07-11 22:26:21 -07003451 spaceres);
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003452 } else
3453 error = xfs_dir_removename(tp, src_dp, src_name, src_ip->i_ino,
Brian Foster381eee62018-07-11 22:26:21 -07003454 spaceres);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003455 if (error)
Brian Fosterc8eac492018-07-24 13:43:13 -07003456 goto out_trans_cancel;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003457
3458 xfs_trans_ichgtime(tp, src_dp, XFS_ICHGTIME_MOD | XFS_ICHGTIME_CHG);
3459 xfs_trans_log_inode(tp, src_dp, XFS_ILOG_CORE);
3460 if (new_parent)
3461 xfs_trans_log_inode(tp, target_dp, XFS_ILOG_CORE);
3462
Brian Fosterc9cfdb32018-07-11 22:26:08 -07003463 error = xfs_finish_rename(tp);
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003464 if (wip)
Darrick J. Wong44a87362018-07-25 12:52:32 -07003465 xfs_irele(wip);
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003466 return error;
Dave Chinnerf6bba202013-08-12 20:49:46 +10003467
Dave Chinner445883e2015-03-25 14:05:43 +11003468out_trans_cancel:
Christoph Hellwig4906e212015-06-04 13:47:56 +10003469 xfs_trans_cancel(tp);
Christoph Hellwig253f4912016-04-06 09:19:55 +10003470out_release_wip:
Dave Chinner7dcf5c32015-03-25 14:08:08 +11003471 if (wip)
Darrick J. Wong44a87362018-07-25 12:52:32 -07003472 xfs_irele(wip);
Dave Chinnerf6bba202013-08-12 20:49:46 +10003473 return error;
3474}
3475
David Chinnerbad55842008-03-06 13:43:49 +11003476STATIC int
3477xfs_iflush_cluster(
Dave Chinner19429362016-05-18 14:09:46 +10003478 struct xfs_inode *ip,
3479 struct xfs_buf *bp)
David Chinnerbad55842008-03-06 13:43:49 +11003480{
Dave Chinner19429362016-05-18 14:09:46 +10003481 struct xfs_mount *mp = ip->i_mount;
Dave Chinner5017e972010-01-11 11:47:40 +00003482 struct xfs_perag *pag;
David Chinnerbad55842008-03-06 13:43:49 +11003483 unsigned long first_index, mask;
Dave Chinner19429362016-05-18 14:09:46 +10003484 int cilist_size;
3485 struct xfs_inode **cilist;
3486 struct xfs_inode *cip;
Darrick J. Wongef325952019-06-05 11:19:34 -07003487 struct xfs_ino_geometry *igeo = M_IGEO(mp);
David Chinnerbad55842008-03-06 13:43:49 +11003488 int nr_found;
3489 int clcount = 0;
David Chinnerbad55842008-03-06 13:43:49 +11003490 int i;
3491
Dave Chinner5017e972010-01-11 11:47:40 +00003492 pag = xfs_perag_get(mp, XFS_INO_TO_AGNO(mp, ip->i_ino));
David Chinnerbad55842008-03-06 13:43:49 +11003493
Darrick J. Wong4b4d98c2019-06-05 11:19:36 -07003494 cilist_size = igeo->inodes_per_cluster * sizeof(struct xfs_inode *);
Dave Chinner19429362016-05-18 14:09:46 +10003495 cilist = kmem_alloc(cilist_size, KM_MAYFAIL|KM_NOFS);
3496 if (!cilist)
Dave Chinner44b56e02010-01-11 11:47:43 +00003497 goto out_put;
David Chinnerbad55842008-03-06 13:43:49 +11003498
Darrick J. Wong4b4d98c2019-06-05 11:19:36 -07003499 mask = ~(igeo->inodes_per_cluster - 1);
David Chinnerbad55842008-03-06 13:43:49 +11003500 first_index = XFS_INO_TO_AGINO(mp, ip->i_ino) & mask;
Dave Chinner1a3e8f32010-12-17 17:29:43 +11003501 rcu_read_lock();
David Chinnerbad55842008-03-06 13:43:49 +11003502 /* really need a gang lookup range call here */
Dave Chinner19429362016-05-18 14:09:46 +10003503 nr_found = radix_tree_gang_lookup(&pag->pag_ici_root, (void**)cilist,
Darrick J. Wong4b4d98c2019-06-05 11:19:36 -07003504 first_index, igeo->inodes_per_cluster);
David Chinnerbad55842008-03-06 13:43:49 +11003505 if (nr_found == 0)
3506 goto out_free;
3507
3508 for (i = 0; i < nr_found; i++) {
Dave Chinner19429362016-05-18 14:09:46 +10003509 cip = cilist[i];
3510 if (cip == ip)
David Chinnerbad55842008-03-06 13:43:49 +11003511 continue;
Dave Chinner1a3e8f32010-12-17 17:29:43 +11003512
3513 /*
3514 * because this is an RCU protected lookup, we could find a
3515 * recently freed or even reallocated inode during the lookup.
3516 * We need to check under the i_flags_lock for a valid inode
3517 * here. Skip it if it is not valid or the wrong inode.
3518 */
Dave Chinner19429362016-05-18 14:09:46 +10003519 spin_lock(&cip->i_flags_lock);
3520 if (!cip->i_ino ||
3521 __xfs_iflags_test(cip, XFS_ISTALE)) {
3522 spin_unlock(&cip->i_flags_lock);
Dave Chinner1a3e8f32010-12-17 17:29:43 +11003523 continue;
3524 }
Dave Chinner5a90e532016-05-18 14:09:13 +10003525
3526 /*
3527 * Once we fall off the end of the cluster, no point checking
3528 * any more inodes in the list because they will also all be
3529 * outside the cluster.
3530 */
Dave Chinner19429362016-05-18 14:09:46 +10003531 if ((XFS_INO_TO_AGINO(mp, cip->i_ino) & mask) != first_index) {
3532 spin_unlock(&cip->i_flags_lock);
Dave Chinner5a90e532016-05-18 14:09:13 +10003533 break;
3534 }
Dave Chinner19429362016-05-18 14:09:46 +10003535 spin_unlock(&cip->i_flags_lock);
Dave Chinner1a3e8f32010-12-17 17:29:43 +11003536
David Chinnerbad55842008-03-06 13:43:49 +11003537 /*
3538 * Do an un-protected check to see if the inode is dirty and
3539 * is a candidate for flushing. These checks will be repeated
3540 * later after the appropriate locks are acquired.
3541 */
Dave Chinner19429362016-05-18 14:09:46 +10003542 if (xfs_inode_clean(cip) && xfs_ipincount(cip) == 0)
David Chinnerbad55842008-03-06 13:43:49 +11003543 continue;
David Chinnerbad55842008-03-06 13:43:49 +11003544
3545 /*
3546 * Try to get locks. If any are unavailable or it is pinned,
3547 * then this inode cannot be flushed and is skipped.
3548 */
3549
Dave Chinner19429362016-05-18 14:09:46 +10003550 if (!xfs_ilock_nowait(cip, XFS_ILOCK_SHARED))
David Chinnerbad55842008-03-06 13:43:49 +11003551 continue;
Dave Chinner19429362016-05-18 14:09:46 +10003552 if (!xfs_iflock_nowait(cip)) {
3553 xfs_iunlock(cip, XFS_ILOCK_SHARED);
David Chinnerbad55842008-03-06 13:43:49 +11003554 continue;
3555 }
Dave Chinner19429362016-05-18 14:09:46 +10003556 if (xfs_ipincount(cip)) {
3557 xfs_ifunlock(cip);
3558 xfs_iunlock(cip, XFS_ILOCK_SHARED);
David Chinnerbad55842008-03-06 13:43:49 +11003559 continue;
3560 }
3561
Dave Chinner8a17d7d2016-05-18 14:09:12 +10003562
3563 /*
3564 * Check the inode number again, just to be certain we are not
3565 * racing with freeing in xfs_reclaim_inode(). See the comments
3566 * in that function for more information as to why the initial
3567 * check is not sufficient.
3568 */
Dave Chinner19429362016-05-18 14:09:46 +10003569 if (!cip->i_ino) {
3570 xfs_ifunlock(cip);
3571 xfs_iunlock(cip, XFS_ILOCK_SHARED);
David Chinnerbad55842008-03-06 13:43:49 +11003572 continue;
3573 }
3574
3575 /*
3576 * arriving here means that this inode can be flushed. First
3577 * re-check that it's dirty before flushing.
3578 */
Dave Chinner19429362016-05-18 14:09:46 +10003579 if (!xfs_inode_clean(cip)) {
David Chinner33540402008-03-06 13:43:59 +11003580 int error;
Dave Chinner19429362016-05-18 14:09:46 +10003581 error = xfs_iflush_int(cip, bp);
David Chinnerbad55842008-03-06 13:43:49 +11003582 if (error) {
Dave Chinner19429362016-05-18 14:09:46 +10003583 xfs_iunlock(cip, XFS_ILOCK_SHARED);
David Chinnerbad55842008-03-06 13:43:49 +11003584 goto cluster_corrupt_out;
3585 }
3586 clcount++;
3587 } else {
Dave Chinner19429362016-05-18 14:09:46 +10003588 xfs_ifunlock(cip);
David Chinnerbad55842008-03-06 13:43:49 +11003589 }
Dave Chinner19429362016-05-18 14:09:46 +10003590 xfs_iunlock(cip, XFS_ILOCK_SHARED);
David Chinnerbad55842008-03-06 13:43:49 +11003591 }
3592
3593 if (clcount) {
Bill O'Donnellff6d6af2015-10-12 18:21:22 +11003594 XFS_STATS_INC(mp, xs_icluster_flushcnt);
3595 XFS_STATS_ADD(mp, xs_icluster_flushinode, clcount);
David Chinnerbad55842008-03-06 13:43:49 +11003596 }
3597
3598out_free:
Dave Chinner1a3e8f32010-12-17 17:29:43 +11003599 rcu_read_unlock();
Dave Chinner19429362016-05-18 14:09:46 +10003600 kmem_free(cilist);
Dave Chinner44b56e02010-01-11 11:47:43 +00003601out_put:
3602 xfs_perag_put(pag);
David Chinnerbad55842008-03-06 13:43:49 +11003603 return 0;
3604
3605
3606cluster_corrupt_out:
3607 /*
3608 * Corruption detected in the clustering loop. Invalidate the
3609 * inode buffer and shut down the filesystem.
3610 */
Dave Chinner1a3e8f32010-12-17 17:29:43 +11003611 rcu_read_unlock();
David Chinnerbad55842008-03-06 13:43:49 +11003612
David Chinnerbad55842008-03-06 13:43:49 +11003613 /*
Dave Chinnere53946d2018-06-21 23:26:05 -07003614 * We'll always have an inode attached to the buffer for completion
3615 * process by the time we are called from xfs_iflush(). Hence we have
3616 * always need to do IO completion processing to abort the inodes
3617 * attached to the buffer. handle them just like the shutdown case in
3618 * xfs_buf_submit().
David Chinnerbad55842008-03-06 13:43:49 +11003619 */
Dave Chinnere53946d2018-06-21 23:26:05 -07003620 ASSERT(bp->b_iodone);
Brian Foster22fedd82019-04-12 07:39:20 -07003621 bp->b_flags |= XBF_ASYNC;
Dave Chinnere53946d2018-06-21 23:26:05 -07003622 bp->b_flags &= ~XBF_DONE;
3623 xfs_buf_stale(bp);
3624 xfs_buf_ioerror(bp, -EIO);
3625 xfs_buf_ioend(bp);
3626
Brian Foster22fedd82019-04-12 07:39:20 -07003627 xfs_force_shutdown(mp, SHUTDOWN_CORRUPT_INCORE);
3628
Dave Chinnere53946d2018-06-21 23:26:05 -07003629 /* abort the corrupt inode, as it was not attached to the buffer */
Dave Chinner19429362016-05-18 14:09:46 +10003630 xfs_iflush_abort(cip, false);
3631 kmem_free(cilist);
Dave Chinner44b56e02010-01-11 11:47:43 +00003632 xfs_perag_put(pag);
Dave Chinner24513372014-06-25 14:58:08 +10003633 return -EFSCORRUPTED;
David Chinnerbad55842008-03-06 13:43:49 +11003634}
3635
Linus Torvalds1da177e2005-04-16 15:20:36 -07003636/*
Christoph Hellwig4c468192012-04-23 15:58:36 +10003637 * Flush dirty inode metadata into the backing buffer.
3638 *
3639 * The caller must have the inode lock and the inode flush lock held. The
3640 * inode lock will still be held upon return to the caller, and the inode
3641 * flush lock will be released after the inode has reached the disk.
3642 *
3643 * The caller must write out the buffer returned in *bpp and release it.
Linus Torvalds1da177e2005-04-16 15:20:36 -07003644 */
3645int
3646xfs_iflush(
Christoph Hellwig4c468192012-04-23 15:58:36 +10003647 struct xfs_inode *ip,
3648 struct xfs_buf **bpp)
Linus Torvalds1da177e2005-04-16 15:20:36 -07003649{
Christoph Hellwig4c468192012-04-23 15:58:36 +10003650 struct xfs_mount *mp = ip->i_mount;
Dave Chinnerb1438f42016-05-18 13:53:42 +10003651 struct xfs_buf *bp = NULL;
Christoph Hellwig4c468192012-04-23 15:58:36 +10003652 struct xfs_dinode *dip;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003653 int error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003654
Bill O'Donnellff6d6af2015-10-12 18:21:22 +11003655 XFS_STATS_INC(mp, xs_iflush_count);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003656
Christoph Hellwig579aa9c2008-04-22 17:34:00 +10003657 ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL|XFS_ILOCK_SHARED));
Christoph Hellwig474fce02011-12-18 20:00:09 +00003658 ASSERT(xfs_isiflocked(ip));
Linus Torvalds1da177e2005-04-16 15:20:36 -07003659 ASSERT(ip->i_d.di_format != XFS_DINODE_FMT_BTREE ||
Christoph Hellwig8096b1e2011-12-18 20:00:07 +00003660 ip->i_d.di_nextents > XFS_IFORK_MAXEXT(ip, XFS_DATA_FORK));
Linus Torvalds1da177e2005-04-16 15:20:36 -07003661
Christoph Hellwig4c468192012-04-23 15:58:36 +10003662 *bpp = NULL;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003663
Linus Torvalds1da177e2005-04-16 15:20:36 -07003664 xfs_iunpin_wait(ip);
3665
3666 /*
Dave Chinner4b6a4682010-01-11 11:45:21 +00003667 * For stale inodes we cannot rely on the backing buffer remaining
3668 * stale in cache for the remaining life of the stale inode and so
Christoph Hellwig475ee412012-07-03 12:21:22 -04003669 * xfs_imap_to_bp() below may give us a buffer that no longer contains
Dave Chinner4b6a4682010-01-11 11:45:21 +00003670 * inodes below. We have to check this after ensuring the inode is
3671 * unpinned so that it is safe to reclaim the stale inode after the
3672 * flush call.
3673 */
3674 if (xfs_iflags_test(ip, XFS_ISTALE)) {
3675 xfs_ifunlock(ip);
3676 return 0;
3677 }
3678
3679 /*
Linus Torvalds1da177e2005-04-16 15:20:36 -07003680 * This may have been unpinned because the filesystem is shutting
3681 * down forcibly. If that's the case we must not write this inode
Christoph Hellwig32ce90a2012-04-23 15:58:32 +10003682 * to disk, because the log record didn't make it to disk.
3683 *
3684 * We also have to remove the log item from the AIL in this case,
3685 * as we wait for an empty AIL as part of the unmount process.
Linus Torvalds1da177e2005-04-16 15:20:36 -07003686 */
3687 if (XFS_FORCED_SHUTDOWN(mp)) {
Dave Chinner24513372014-06-25 14:58:08 +10003688 error = -EIO;
Christoph Hellwig32ce90a2012-04-23 15:58:32 +10003689 goto abort_out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003690 }
3691
3692 /*
Dave Chinnerb1438f42016-05-18 13:53:42 +10003693 * Get the buffer containing the on-disk inode. We are doing a try-lock
3694 * operation here, so we may get an EAGAIN error. In that case, we
3695 * simply want to return with the inode still dirty.
3696 *
3697 * If we get any other error, we effectively have a corruption situation
3698 * and we cannot flush the inode, so we treat it the same as failing
3699 * xfs_iflush_int().
David Chinnera3f74ff2008-03-06 13:43:42 +11003700 */
Christoph Hellwig475ee412012-07-03 12:21:22 -04003701 error = xfs_imap_to_bp(mp, NULL, &ip->i_imap, &dip, &bp, XBF_TRYLOCK,
3702 0);
Dave Chinnerb1438f42016-05-18 13:53:42 +10003703 if (error == -EAGAIN) {
David Chinnera3f74ff2008-03-06 13:43:42 +11003704 xfs_ifunlock(ip);
3705 return error;
3706 }
Dave Chinnerb1438f42016-05-18 13:53:42 +10003707 if (error)
3708 goto corrupt_out;
David Chinnera3f74ff2008-03-06 13:43:42 +11003709
3710 /*
Linus Torvalds1da177e2005-04-16 15:20:36 -07003711 * First flush out the inode that xfs_iflush was called with.
3712 */
3713 error = xfs_iflush_int(ip, bp);
David Chinnerbad55842008-03-06 13:43:49 +11003714 if (error)
Linus Torvalds1da177e2005-04-16 15:20:36 -07003715 goto corrupt_out;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003716
3717 /*
David Chinnera3f74ff2008-03-06 13:43:42 +11003718 * If the buffer is pinned then push on the log now so we won't
3719 * get stuck waiting in the write for too long.
3720 */
Chandra Seetharaman811e64c2011-07-22 23:40:27 +00003721 if (xfs_buf_ispinned(bp))
Christoph Hellwiga14a3482010-01-19 09:56:46 +00003722 xfs_log_force(mp, 0);
David Chinnera3f74ff2008-03-06 13:43:42 +11003723
3724 /*
Dave Chinnere53946d2018-06-21 23:26:05 -07003725 * inode clustering: try to gather other inodes into this write
3726 *
3727 * Note: Any error during clustering will result in the filesystem
3728 * being shut down and completion callbacks run on the cluster buffer.
3729 * As we have already flushed and attached this inode to the buffer,
3730 * it has already been aborted and released by xfs_iflush_cluster() and
3731 * so we have no further error handling to do here.
Linus Torvalds1da177e2005-04-16 15:20:36 -07003732 */
David Chinnerbad55842008-03-06 13:43:49 +11003733 error = xfs_iflush_cluster(ip, bp);
3734 if (error)
Dave Chinnere53946d2018-06-21 23:26:05 -07003735 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003736
Christoph Hellwig4c468192012-04-23 15:58:36 +10003737 *bpp = bp;
3738 return 0;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003739
3740corrupt_out:
Dave Chinnerb1438f42016-05-18 13:53:42 +10003741 if (bp)
3742 xfs_buf_relse(bp);
Nathan Scott7d04a332006-06-09 14:58:38 +10003743 xfs_force_shutdown(mp, SHUTDOWN_CORRUPT_INCORE);
Christoph Hellwig32ce90a2012-04-23 15:58:32 +10003744abort_out:
Dave Chinnere53946d2018-06-21 23:26:05 -07003745 /* abort the corrupt inode, as it was not attached to the buffer */
Dave Chinner04913fd2012-04-23 15:58:41 +10003746 xfs_iflush_abort(ip, false);
Christoph Hellwig32ce90a2012-04-23 15:58:32 +10003747 return error;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003748}
3749
Darrick J. Wong9cfb9b42018-01-08 10:51:06 -08003750/*
3751 * If there are inline format data / attr forks attached to this inode,
3752 * make sure they're not corrupt.
3753 */
3754bool
3755xfs_inode_verify_forks(
3756 struct xfs_inode *ip)
3757{
Darrick J. Wong22431bf2018-01-22 18:09:48 -08003758 struct xfs_ifork *ifp;
Darrick J. Wong9cfb9b42018-01-08 10:51:06 -08003759 xfs_failaddr_t fa;
3760
3761 fa = xfs_ifork_verify_data(ip, &xfs_default_ifork_ops);
3762 if (fa) {
Darrick J. Wong22431bf2018-01-22 18:09:48 -08003763 ifp = XFS_IFORK_PTR(ip, XFS_DATA_FORK);
3764 xfs_inode_verifier_error(ip, -EFSCORRUPTED, "data fork",
3765 ifp->if_u1.if_data, ifp->if_bytes, fa);
Darrick J. Wong9cfb9b42018-01-08 10:51:06 -08003766 return false;
3767 }
3768
3769 fa = xfs_ifork_verify_attr(ip, &xfs_default_ifork_ops);
3770 if (fa) {
Darrick J. Wong22431bf2018-01-22 18:09:48 -08003771 ifp = XFS_IFORK_PTR(ip, XFS_ATTR_FORK);
3772 xfs_inode_verifier_error(ip, -EFSCORRUPTED, "attr fork",
3773 ifp ? ifp->if_u1.if_data : NULL,
3774 ifp ? ifp->if_bytes : 0, fa);
Darrick J. Wong9cfb9b42018-01-08 10:51:06 -08003775 return false;
3776 }
3777 return true;
3778}
3779
Linus Torvalds1da177e2005-04-16 15:20:36 -07003780STATIC int
3781xfs_iflush_int(
Christoph Hellwig93848a92013-04-03 16:11:17 +11003782 struct xfs_inode *ip,
3783 struct xfs_buf *bp)
Linus Torvalds1da177e2005-04-16 15:20:36 -07003784{
Christoph Hellwig93848a92013-04-03 16:11:17 +11003785 struct xfs_inode_log_item *iip = ip->i_itemp;
3786 struct xfs_dinode *dip;
3787 struct xfs_mount *mp = ip->i_mount;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003788
Christoph Hellwig579aa9c2008-04-22 17:34:00 +10003789 ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL|XFS_ILOCK_SHARED));
Christoph Hellwig474fce02011-12-18 20:00:09 +00003790 ASSERT(xfs_isiflocked(ip));
Linus Torvalds1da177e2005-04-16 15:20:36 -07003791 ASSERT(ip->i_d.di_format != XFS_DINODE_FMT_BTREE ||
Christoph Hellwig8096b1e2011-12-18 20:00:07 +00003792 ip->i_d.di_nextents > XFS_IFORK_MAXEXT(ip, XFS_DATA_FORK));
Christoph Hellwig93848a92013-04-03 16:11:17 +11003793 ASSERT(iip != NULL && iip->ili_fields != 0);
Dave Chinner263997a2014-05-20 07:46:40 +10003794 ASSERT(ip->i_d.di_version > 1);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003795
Linus Torvalds1da177e2005-04-16 15:20:36 -07003796 /* set *dip = inode's place in the buffer */
Christoph Hellwig88ee2df2015-06-22 09:44:29 +10003797 dip = xfs_buf_offset(bp, ip->i_imap.im_boffset);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003798
Christoph Hellwig69ef9212011-07-08 14:36:05 +02003799 if (XFS_TEST_ERROR(dip->di_magic != cpu_to_be16(XFS_DINODE_MAGIC),
Darrick J. Wong9e24cfd2017-06-20 17:54:47 -07003800 mp, XFS_ERRTAG_IFLUSH_1)) {
Dave Chinner6a19d932011-03-07 10:02:35 +11003801 xfs_alert_tag(mp, XFS_PTAG_IFLUSH,
Darrick J. Wongc9690042018-01-09 12:02:55 -08003802 "%s: Bad inode %Lu magic number 0x%x, ptr "PTR_FMT,
Dave Chinner6a19d932011-03-07 10:02:35 +11003803 __func__, ip->i_ino, be16_to_cpu(dip->di_magic), dip);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003804 goto corrupt_out;
3805 }
Dave Chinnerc19b3b052016-02-09 16:54:58 +11003806 if (S_ISREG(VFS_I(ip)->i_mode)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07003807 if (XFS_TEST_ERROR(
3808 (ip->i_d.di_format != XFS_DINODE_FMT_EXTENTS) &&
3809 (ip->i_d.di_format != XFS_DINODE_FMT_BTREE),
Darrick J. Wong9e24cfd2017-06-20 17:54:47 -07003810 mp, XFS_ERRTAG_IFLUSH_3)) {
Dave Chinner6a19d932011-03-07 10:02:35 +11003811 xfs_alert_tag(mp, XFS_PTAG_IFLUSH,
Darrick J. Wongc9690042018-01-09 12:02:55 -08003812 "%s: Bad regular inode %Lu, ptr "PTR_FMT,
Dave Chinner6a19d932011-03-07 10:02:35 +11003813 __func__, ip->i_ino, ip);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003814 goto corrupt_out;
3815 }
Dave Chinnerc19b3b052016-02-09 16:54:58 +11003816 } else if (S_ISDIR(VFS_I(ip)->i_mode)) {
Linus Torvalds1da177e2005-04-16 15:20:36 -07003817 if (XFS_TEST_ERROR(
3818 (ip->i_d.di_format != XFS_DINODE_FMT_EXTENTS) &&
3819 (ip->i_d.di_format != XFS_DINODE_FMT_BTREE) &&
3820 (ip->i_d.di_format != XFS_DINODE_FMT_LOCAL),
Darrick J. Wong9e24cfd2017-06-20 17:54:47 -07003821 mp, XFS_ERRTAG_IFLUSH_4)) {
Dave Chinner6a19d932011-03-07 10:02:35 +11003822 xfs_alert_tag(mp, XFS_PTAG_IFLUSH,
Darrick J. Wongc9690042018-01-09 12:02:55 -08003823 "%s: Bad directory inode %Lu, ptr "PTR_FMT,
Dave Chinner6a19d932011-03-07 10:02:35 +11003824 __func__, ip->i_ino, ip);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003825 goto corrupt_out;
3826 }
3827 }
3828 if (XFS_TEST_ERROR(ip->i_d.di_nextents + ip->i_d.di_anextents >
Darrick J. Wong9e24cfd2017-06-20 17:54:47 -07003829 ip->i_d.di_nblocks, mp, XFS_ERRTAG_IFLUSH_5)) {
Dave Chinner6a19d932011-03-07 10:02:35 +11003830 xfs_alert_tag(mp, XFS_PTAG_IFLUSH,
3831 "%s: detected corrupt incore inode %Lu, "
Darrick J. Wongc9690042018-01-09 12:02:55 -08003832 "total extents = %d, nblocks = %Ld, ptr "PTR_FMT,
Dave Chinner6a19d932011-03-07 10:02:35 +11003833 __func__, ip->i_ino,
Linus Torvalds1da177e2005-04-16 15:20:36 -07003834 ip->i_d.di_nextents + ip->i_d.di_anextents,
Dave Chinner6a19d932011-03-07 10:02:35 +11003835 ip->i_d.di_nblocks, ip);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003836 goto corrupt_out;
3837 }
3838 if (XFS_TEST_ERROR(ip->i_d.di_forkoff > mp->m_sb.sb_inodesize,
Darrick J. Wong9e24cfd2017-06-20 17:54:47 -07003839 mp, XFS_ERRTAG_IFLUSH_6)) {
Dave Chinner6a19d932011-03-07 10:02:35 +11003840 xfs_alert_tag(mp, XFS_PTAG_IFLUSH,
Darrick J. Wongc9690042018-01-09 12:02:55 -08003841 "%s: bad inode %Lu, forkoff 0x%x, ptr "PTR_FMT,
Dave Chinner6a19d932011-03-07 10:02:35 +11003842 __func__, ip->i_ino, ip->i_d.di_forkoff, ip);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003843 goto corrupt_out;
3844 }
Dave Chinnere60896d2013-07-24 15:47:30 +10003845
Linus Torvalds1da177e2005-04-16 15:20:36 -07003846 /*
Dave Chinner263997a2014-05-20 07:46:40 +10003847 * Inode item log recovery for v2 inodes are dependent on the
Dave Chinnere60896d2013-07-24 15:47:30 +10003848 * di_flushiter count for correct sequencing. We bump the flush
3849 * iteration count so we can detect flushes which postdate a log record
3850 * during recovery. This is redundant as we now log every change and
3851 * hence this can't happen but we need to still do it to ensure
3852 * backwards compatibility with old kernels that predate logging all
3853 * inode changes.
Linus Torvalds1da177e2005-04-16 15:20:36 -07003854 */
Dave Chinnere60896d2013-07-24 15:47:30 +10003855 if (ip->i_d.di_version < 3)
3856 ip->i_d.di_flushiter++;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003857
Darrick J. Wong9cfb9b42018-01-08 10:51:06 -08003858 /* Check the inline fork data before we write out. */
3859 if (!xfs_inode_verify_forks(ip))
Darrick J. Wong005c5db2017-03-28 14:51:10 -07003860 goto corrupt_out;
3861
Linus Torvalds1da177e2005-04-16 15:20:36 -07003862 /*
Dave Chinner39878482016-02-09 16:54:58 +11003863 * Copy the dirty parts of the inode into the on-disk inode. We always
3864 * copy out the core of the inode, because if the inode is dirty at all
3865 * the core must be.
Linus Torvalds1da177e2005-04-16 15:20:36 -07003866 */
Dave Chinner93f958f2016-02-09 16:54:58 +11003867 xfs_inode_to_disk(ip, dip, iip->ili_item.li_lsn);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003868
3869 /* Wrap, we never let the log put out DI_MAX_FLUSH */
3870 if (ip->i_d.di_flushiter == DI_MAX_FLUSH)
3871 ip->i_d.di_flushiter = 0;
3872
Darrick J. Wong005c5db2017-03-28 14:51:10 -07003873 xfs_iflush_fork(ip, dip, iip, XFS_DATA_FORK);
3874 if (XFS_IFORK_Q(ip))
3875 xfs_iflush_fork(ip, dip, iip, XFS_ATTR_FORK);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003876 xfs_inobp_check(mp, bp);
3877
3878 /*
Christoph Hellwigf5d8d5c2012-02-29 09:53:54 +00003879 * We've recorded everything logged in the inode, so we'd like to clear
3880 * the ili_fields bits so we don't log and flush things unnecessarily.
3881 * However, we can't stop logging all this information until the data
3882 * we've copied into the disk buffer is written to disk. If we did we
3883 * might overwrite the copy of the inode in the log with all the data
3884 * after re-logging only part of it, and in the face of a crash we
3885 * wouldn't have all the data we need to recover.
Linus Torvalds1da177e2005-04-16 15:20:36 -07003886 *
Christoph Hellwigf5d8d5c2012-02-29 09:53:54 +00003887 * What we do is move the bits to the ili_last_fields field. When
3888 * logging the inode, these bits are moved back to the ili_fields field.
3889 * In the xfs_iflush_done() routine we clear ili_last_fields, since we
3890 * know that the information those bits represent is permanently on
3891 * disk. As long as the flush completes before the inode is logged
3892 * again, then both ili_fields and ili_last_fields will be cleared.
Linus Torvalds1da177e2005-04-16 15:20:36 -07003893 *
Christoph Hellwigf5d8d5c2012-02-29 09:53:54 +00003894 * We can play with the ili_fields bits here, because the inode lock
3895 * must be held exclusively in order to set bits there and the flush
3896 * lock protects the ili_last_fields bits. Set ili_logged so the flush
3897 * done routine can tell whether or not to look in the AIL. Also, store
3898 * the current LSN of the inode so that we can tell whether the item has
3899 * moved in the AIL from xfs_iflush_done(). In order to read the lsn we
3900 * need the AIL lock, because it is a 64 bit value that cannot be read
3901 * atomically.
Linus Torvalds1da177e2005-04-16 15:20:36 -07003902 */
Christoph Hellwig93848a92013-04-03 16:11:17 +11003903 iip->ili_last_fields = iip->ili_fields;
3904 iip->ili_fields = 0;
Dave Chinnerfc0561c2015-11-03 13:14:59 +11003905 iip->ili_fsync_fields = 0;
Christoph Hellwig93848a92013-04-03 16:11:17 +11003906 iip->ili_logged = 1;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003907
Christoph Hellwig93848a92013-04-03 16:11:17 +11003908 xfs_trans_ail_copy_lsn(mp->m_ail, &iip->ili_flush_lsn,
3909 &iip->ili_item.li_lsn);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003910
Christoph Hellwig93848a92013-04-03 16:11:17 +11003911 /*
3912 * Attach the function xfs_iflush_done to the inode's
3913 * buffer. This will remove the inode from the AIL
3914 * and unlock the inode's flush lock when the inode is
3915 * completely written to disk.
3916 */
3917 xfs_buf_attach_iodone(bp, xfs_iflush_done, &iip->ili_item);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003918
Christoph Hellwig93848a92013-04-03 16:11:17 +11003919 /* generate the checksum. */
3920 xfs_dinode_calc_crc(mp, dip);
3921
Carlos Maiolino643c8c02018-01-24 13:38:49 -08003922 ASSERT(!list_empty(&bp->b_li_list));
Christoph Hellwig93848a92013-04-03 16:11:17 +11003923 ASSERT(bp->b_iodone != NULL);
Linus Torvalds1da177e2005-04-16 15:20:36 -07003924 return 0;
3925
3926corrupt_out:
Dave Chinner24513372014-06-25 14:58:08 +10003927 return -EFSCORRUPTED;
Linus Torvalds1da177e2005-04-16 15:20:36 -07003928}
Darrick J. Wong44a87362018-07-25 12:52:32 -07003929
3930/* Release an inode. */
3931void
3932xfs_irele(
3933 struct xfs_inode *ip)
3934{
3935 trace_xfs_irele(ip, _RET_IP_);
3936 iput(VFS_I(ip));
3937}