fs/xfs/libxfs/xfs_trans_inode.c

   1 // SPDX-License-Identifier: GPL-2.0
   2 /*
   3  * Copyright (c) 2000,2005 Silicon Graphics, Inc.
   4  * All Rights Reserved.
   5  */
   6 #include "xfs.h"
   7 #include "xfs_fs.h"
   8 #include "xfs_shared.h"
   9 #include "xfs_format.h"
  10 #include "xfs_log_format.h"
  11 #include "xfs_trans_resv.h"
  12 #include "xfs_mount.h"
  13 #include "xfs_inode.h"
  14 #include "xfs_trans.h"
  15 #include "xfs_trans_priv.h"
  16 #include "xfs_inode_item.h"
  17
  18 #include <linux/iversion.h>
  19
  20 /*
  21  * Add a locked inode to the transaction.
  22  *
  23  * The inode must be locked, and it cannot be associated with any transaction.
  24  * If lock_flags is non-zero the inode will be unlocked on transaction commit.
  25  */
  26 void
  27 xfs_trans_ijoin(
  28         struct xfs_trans        *tp,
  29         struct xfs_inode        *ip,
  30         uint                    lock_flags)
  31 {
  32         struct xfs_inode_log_item *iip;
  33
  34         ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL));
  35         if (ip->i_itemp == NULL)
  36                 xfs_inode_item_init(ip, ip->i_mount);
  37         iip = ip->i_itemp;
  38
  39         ASSERT(iip->ili_lock_flags == 0);
  40         iip->ili_lock_flags = lock_flags;
  41         ASSERT(!xfs_iflags_test(ip, XFS_ISTALE));
  42
  43         /*
  44          * Get a log_item_desc to point at the new item.
  45          */
  46         xfs_trans_add_item(tp, &iip->ili_item);
  47 }
  48
  49 /*
  50  * Transactional inode timestamp update. Requires the inode to be locked and
  51  * joined to the transaction supplied. Relies on the transaction subsystem to
  52  * track dirty state and update/writeback the inode accordingly.
  53  */
  54 void
  55 xfs_trans_ichgtime(
  56         struct xfs_trans        *tp,
  57         struct xfs_inode        *ip,
  58         int                     flags)
  59 {
  60         struct inode            *inode = VFS_I(ip);
  61         struct timespec64       tv;
  62
  63         ASSERT(tp);
  64         ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL));
  65
  66         tv = current_time(inode);
  67
  68         if (flags & XFS_ICHGTIME_MOD)
  69                 inode->i_mtime = tv;
  70         if (flags & XFS_ICHGTIME_CHG)
  71                 inode->i_ctime = tv;
  72         if (flags & XFS_ICHGTIME_CREATE)
  73                 ip->i_d.di_crtime = tv;
  74 }
  75
  76 /*
  77  * This is called to mark the fields indicated in fieldmask as needing to be
  78  * logged when the transaction is committed.  The inode must already be
  79  * associated with the given transaction.
  80  *
  81  * The values for fieldmask are defined in xfs_inode_item.h.  We always log all
  82  * of the core inode if any of it has changed, and we always log all of the
  83  * inline data/extents/b-tree root if any of them has changed.
  84  *
  85  * Grab and pin the cluster buffer associated with this inode to avoid RMW
  86  * cycles at inode writeback time. Avoid the need to add error handling to every
  87  * xfs_trans_log_inode() call by shutting down on read error.  This will cause
  88  * transactions to fail and everything to error out, just like if we return a
  89  * read error in a dirty transaction and cancel it.
  90  */
  91 void
  92 xfs_trans_log_inode(
  93         struct xfs_trans        *tp,
  94         struct xfs_inode        *ip,
  95         uint                    flags)
  96 {
  97         struct xfs_inode_log_item *iip = ip->i_itemp;
  98         struct inode            *inode = VFS_I(ip);
  99         uint                    iversion_flags = 0;
 100
 101         ASSERT(iip);
 102         ASSERT(xfs_isilocked(ip, XFS_ILOCK_EXCL));
 103         ASSERT(!xfs_iflags_test(ip, XFS_ISTALE));
 104
 105         tp->t_flags |= XFS_TRANS_DIRTY;
 106
 107         /*
 108          * Don't bother with i_lock for the I_DIRTY_TIME check here, as races
 109          * don't matter - we either will need an extra transaction in 24 hours
 110          * to log the timestamps, or will clear already cleared fields in the
 111          * worst case.
 112          */
 113         if (inode->i_state & I_DIRTY_TIME) {
 114                 spin_lock(&inode->i_lock);
 115                 inode->i_state &= ~I_DIRTY_TIME;
 116                 spin_unlock(&inode->i_lock);
 117         }
 118
 119         /*
 120          * First time we log the inode in a transaction, bump the inode change
 121          * counter if it is configured for this to occur. While we have the
 122          * inode locked exclusively for metadata modification, we can usually
 123          * avoid setting XFS_ILOG_CORE if no one has queried the value since
 124          * the last time it was incremented. If we have XFS_ILOG_CORE already
 125          * set however, then go ahead and bump the i_version counter
 126          * unconditionally.
 127          */
 128         if (!test_and_set_bit(XFS_LI_DIRTY, &iip->ili_item.li_flags)) {
 129                 if (IS_I_VERSION(inode) &&
 130                     inode_maybe_inc_iversion(inode, flags & XFS_ILOG_CORE))
 131                         iversion_flags = XFS_ILOG_CORE;
 132         }
 133
 134         /*
 135          * Record the specific change for fdatasync optimisation. This allows
 136          * fdatasync to skip log forces for inodes that are only timestamp
 137          * dirty.
 138          */
 139         spin_lock(&iip->ili_lock);
 140         iip->ili_fsync_fields |= flags;
 141
 142         if (!iip->ili_item.li_buf) {
 143                 struct xfs_buf  *bp;
 144                 int             error;
 145
 146                 /*
 147                  * We hold the ILOCK here, so this inode is not going to be
 148                  * flushed while we are here. Further, because there is no
 149                  * buffer attached to the item, we know that there is no IO in
 150                  * progress, so nothing will clear the ili_fields while we read
 151                  * in the buffer. Hence we can safely drop the spin lock and
 152                  * read the buffer knowing that the state will not change from
 153                  * here.
 154                  */
 155                 spin_unlock(&iip->ili_lock);
 156                 error = xfs_imap_to_bp(ip->i_mount, tp, &ip->i_imap, NULL,
 157                                         &bp, 0);
 158                 if (error) {
 159                         xfs_force_shutdown(ip->i_mount, SHUTDOWN_META_IO_ERROR);
 160                         return;
 161                 }
 162
 163                 /*
 164                  * We need an explicit buffer reference for the log item but
 165                  * don't want the buffer to remain attached to the transaction.
 166                  * Hold the buffer but release the transaction reference once
 167                  * we've attached the inode log item to the buffer log item
 168                  * list.
 169                  */
 170                 xfs_buf_hold(bp);
 171                 spin_lock(&iip->ili_lock);
 172                 iip->ili_item.li_buf = bp;
 173                 bp->b_flags |= _XBF_INODES;
 174                 list_add_tail(&iip->ili_item.li_bio_list, &bp->b_li_list);
 175                 xfs_trans_brelse(tp, bp);
 176         }
 177
 178         /*
 179          * Always OR in the bits from the ili_last_fields field.  This is to
 180          * coordinate with the xfs_iflush() and xfs_iflush_done() routines in
 181          * the eventual clearing of the ili_fields bits.  See the big comment in
 182          * xfs_iflush() for an explanation of this coordination mechanism.
 183          */
 184         iip->ili_fields |= (flags | iip->ili_last_fields | iversion_flags);
 185         spin_unlock(&iip->ili_lock);
 186 }
 187
 188 int
 189 xfs_trans_roll_inode(
 190         struct xfs_trans        **tpp,
 191         struct xfs_inode        *ip)
 192 {
 193         int                     error;
 194
 195         xfs_trans_log_inode(*tpp, ip, XFS_ILOG_CORE);
 196         error = xfs_trans_roll(tpp);
 197         if (!error)
 198                 xfs_trans_ijoin(*tpp, ip, 0);
 199         return error;
 200 }