|  | // SPDX-License-Identifier: GPL-2.0 | 
|  | /* | 
|  | * Copyright (c) 2000,2005 Silicon Graphics, Inc. | 
|  | * All Rights Reserved. | 
|  | */ | 
|  | #include "xfs.h" | 
|  | #include "xfs_fs.h" | 
|  | #include "xfs_shared.h" | 
|  | #include "xfs_format.h" | 
|  | #include "xfs_log_format.h" | 
|  | #include "xfs_trans_resv.h" | 
|  | #include "xfs_mount.h" | 
|  | #include "xfs_inode.h" | 
|  | #include "xfs_trans.h" | 
|  | #include "xfs_trans_priv.h" | 
|  | #include "xfs_inode_item.h" | 
|  |  | 
|  | #include <linux/iversion.h> | 
|  |  | 
|  | /* | 
|  | * Add a locked inode to the transaction. | 
|  | * | 
|  | * The inode must be locked, and it cannot be associated with any transaction. | 
|  | * If lock_flags is non-zero the inode will be unlocked on transaction commit. | 
|  | */ | 
|  | void | 
|  | xfs_trans_ijoin( | 
|  | struct xfs_trans	*tp, | 
|  | struct xfs_inode	*ip, | 
|  | uint			lock_flags) | 
|  | { | 
|  | struct xfs_inode_log_item *iip; | 
|  |  | 
|  | ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL)); | 
|  | if (ip->i_itemp == NULL) | 
|  | xfs_inode_item_init(ip, ip->i_mount); | 
|  | iip = ip->i_itemp; | 
|  |  | 
|  | ASSERT(iip->ili_lock_flags == 0); | 
|  | iip->ili_lock_flags = lock_flags; | 
|  | ASSERT(!xfs_iflags_test(ip, XFS_ISTALE)); | 
|  |  | 
|  | /* | 
|  | * Get a log_item_desc to point at the new item. | 
|  | */ | 
|  | xfs_trans_add_item(tp, &iip->ili_item); | 
|  | } | 
|  |  | 
|  | /* | 
|  | * Transactional inode timestamp update. Requires the inode to be locked and | 
|  | * joined to the transaction supplied. Relies on the transaction subsystem to | 
|  | * track dirty state and update/writeback the inode accordingly. | 
|  | */ | 
|  | void | 
|  | xfs_trans_ichgtime( | 
|  | struct xfs_trans	*tp, | 
|  | struct xfs_inode	*ip, | 
|  | int			flags) | 
|  | { | 
|  | struct inode		*inode = VFS_I(ip); | 
|  | struct timespec64	tv; | 
|  |  | 
|  | ASSERT(tp); | 
|  | ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL)); | 
|  |  | 
|  | tv = current_time(inode); | 
|  |  | 
|  | if (flags & XFS_ICHGTIME_MOD) | 
|  | inode->i_mtime = tv; | 
|  | if (flags & XFS_ICHGTIME_CHG) | 
|  | inode->i_ctime = tv; | 
|  | if (flags & XFS_ICHGTIME_CREATE) | 
|  | ip->i_crtime = tv; | 
|  | } | 
|  |  | 
|  | /* | 
|  | * This is called to mark the fields indicated in fieldmask as needing to be | 
|  | * logged when the transaction is committed.  The inode must already be | 
|  | * associated with the given transaction. | 
|  | * | 
|  | * The values for fieldmask are defined in xfs_inode_item.h.  We always log all | 
|  | * of the core inode if any of it has changed, and we always log all of the | 
|  | * inline data/extents/b-tree root if any of them has changed. | 
|  | * | 
|  | * Grab and pin the cluster buffer associated with this inode to avoid RMW | 
|  | * cycles at inode writeback time. Avoid the need to add error handling to every | 
|  | * xfs_trans_log_inode() call by shutting down on read error.  This will cause | 
|  | * transactions to fail and everything to error out, just like if we return a | 
|  | * read error in a dirty transaction and cancel it. | 
|  | */ | 
|  | void | 
|  | xfs_trans_log_inode( | 
|  | struct xfs_trans	*tp, | 
|  | struct xfs_inode	*ip, | 
|  | uint			flags) | 
|  | { | 
|  | struct xfs_inode_log_item *iip = ip->i_itemp; | 
|  | struct inode		*inode = VFS_I(ip); | 
|  | uint			iversion_flags = 0; | 
|  |  | 
|  | ASSERT(iip); | 
|  | ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL)); | 
|  | ASSERT(!xfs_iflags_test(ip, XFS_ISTALE)); | 
|  |  | 
|  | tp->t_flags |= XFS_TRANS_DIRTY; | 
|  |  | 
|  | /* | 
|  | * Don't bother with i_lock for the I_DIRTY_TIME check here, as races | 
|  | * don't matter - we either will need an extra transaction in 24 hours | 
|  | * to log the timestamps, or will clear already cleared fields in the | 
|  | * worst case. | 
|  | */ | 
|  | if (inode->i_state & I_DIRTY_TIME) { | 
|  | spin_lock(&inode->i_lock); | 
|  | inode->i_state &= ~I_DIRTY_TIME; | 
|  | spin_unlock(&inode->i_lock); | 
|  | } | 
|  |  | 
|  | /* | 
|  | * First time we log the inode in a transaction, bump the inode change | 
|  | * counter if it is configured for this to occur. While we have the | 
|  | * inode locked exclusively for metadata modification, we can usually | 
|  | * avoid setting XFS_ILOG_CORE if no one has queried the value since | 
|  | * the last time it was incremented. If we have XFS_ILOG_CORE already | 
|  | * set however, then go ahead and bump the i_version counter | 
|  | * unconditionally. | 
|  | */ | 
|  | if (!test_and_set_bit(XFS_LI_DIRTY, &iip->ili_item.li_flags)) { | 
|  | if (IS_I_VERSION(inode) && | 
|  | inode_maybe_inc_iversion(inode, flags & XFS_ILOG_CORE)) | 
|  | iversion_flags = XFS_ILOG_CORE; | 
|  | } | 
|  |  | 
|  | /* | 
|  | * If we're updating the inode core or the timestamps and it's possible | 
|  | * to upgrade this inode to bigtime format, do so now. | 
|  | */ | 
|  | if ((flags & (XFS_ILOG_CORE | XFS_ILOG_TIMESTAMP)) && | 
|  | xfs_has_bigtime(ip->i_mount) && | 
|  | !xfs_inode_has_bigtime(ip)) { | 
|  | ip->i_diflags2 |= XFS_DIFLAG2_BIGTIME; | 
|  | flags |= XFS_ILOG_CORE; | 
|  | } | 
|  |  | 
|  | /* | 
|  | * Inode verifiers do not check that the extent size hint is an integer | 
|  | * multiple of the rt extent size on a directory with both rtinherit | 
|  | * and extszinherit flags set.  If we're logging a directory that is | 
|  | * misconfigured in this way, clear the hint. | 
|  | */ | 
|  | if ((ip->i_diflags & XFS_DIFLAG_RTINHERIT) && | 
|  | (ip->i_diflags & XFS_DIFLAG_EXTSZINHERIT) && | 
|  | (ip->i_extsize % ip->i_mount->m_sb.sb_rextsize) > 0) { | 
|  | ip->i_diflags &= ~(XFS_DIFLAG_EXTSIZE | | 
|  | XFS_DIFLAG_EXTSZINHERIT); | 
|  | ip->i_extsize = 0; | 
|  | flags |= XFS_ILOG_CORE; | 
|  | } | 
|  |  | 
|  | /* | 
|  | * Record the specific change for fdatasync optimisation. This allows | 
|  | * fdatasync to skip log forces for inodes that are only timestamp | 
|  | * dirty. | 
|  | */ | 
|  | spin_lock(&iip->ili_lock); | 
|  | iip->ili_fsync_fields |= flags; | 
|  |  | 
|  | if (!iip->ili_item.li_buf) { | 
|  | struct xfs_buf	*bp; | 
|  | int		error; | 
|  |  | 
|  | /* | 
|  | * We hold the ILOCK here, so this inode is not going to be | 
|  | * flushed while we are here. Further, because there is no | 
|  | * buffer attached to the item, we know that there is no IO in | 
|  | * progress, so nothing will clear the ili_fields while we read | 
|  | * in the buffer. Hence we can safely drop the spin lock and | 
|  | * read the buffer knowing that the state will not change from | 
|  | * here. | 
|  | */ | 
|  | spin_unlock(&iip->ili_lock); | 
|  | error = xfs_imap_to_bp(ip->i_mount, tp, &ip->i_imap, &bp); | 
|  | if (error) { | 
|  | xfs_force_shutdown(ip->i_mount, SHUTDOWN_META_IO_ERROR); | 
|  | return; | 
|  | } | 
|  |  | 
|  | /* | 
|  | * We need an explicit buffer reference for the log item but | 
|  | * don't want the buffer to remain attached to the transaction. | 
|  | * Hold the buffer but release the transaction reference once | 
|  | * we've attached the inode log item to the buffer log item | 
|  | * list. | 
|  | */ | 
|  | xfs_buf_hold(bp); | 
|  | spin_lock(&iip->ili_lock); | 
|  | iip->ili_item.li_buf = bp; | 
|  | bp->b_flags |= _XBF_INODES; | 
|  | list_add_tail(&iip->ili_item.li_bio_list, &bp->b_li_list); | 
|  | xfs_trans_brelse(tp, bp); | 
|  | } | 
|  |  | 
|  | /* | 
|  | * Always OR in the bits from the ili_last_fields field.  This is to | 
|  | * coordinate with the xfs_iflush() and xfs_buf_inode_iodone() routines | 
|  | * in the eventual clearing of the ili_fields bits.  See the big comment | 
|  | * in xfs_iflush() for an explanation of this coordination mechanism. | 
|  | */ | 
|  | iip->ili_fields |= (flags | iip->ili_last_fields | iversion_flags); | 
|  | spin_unlock(&iip->ili_lock); | 
|  | } | 
|  |  | 
|  | int | 
|  | xfs_trans_roll_inode( | 
|  | struct xfs_trans	**tpp, | 
|  | struct xfs_inode	*ip) | 
|  | { | 
|  | int			error; | 
|  |  | 
|  | xfs_trans_log_inode(*tpp, ip, XFS_ILOG_CORE); | 
|  | error = xfs_trans_roll(tpp); | 
|  | if (!error) | 
|  | xfs_trans_ijoin(*tpp, ip, 0); | 
|  | return error; | 
|  | } |