Dave Chinner | 0b61f8a | 2018-06-05 19:42:14 -0700 | [diff] [blame] | 1 | // SPDX-License-Identifier: GPL-2.0 |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 2 | /* |
Nathan Scott | 7b71876 | 2005-11-02 14:58:39 +1100 | [diff] [blame] | 3 | * Copyright (c) 2000-2002,2005 Silicon Graphics, Inc. |
| 4 | * All Rights Reserved. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 5 | */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 6 | #include "xfs.h" |
Nathan Scott | a844f45 | 2005-11-02 14:38:42 +1100 | [diff] [blame] | 7 | #include "xfs_fs.h" |
Dave Chinner | 70a9883 | 2013-10-23 10:36:05 +1100 | [diff] [blame] | 8 | #include "xfs_shared.h" |
Dave Chinner | a4fbe6a | 2013-10-23 10:51:50 +1100 | [diff] [blame] | 9 | #include "xfs_format.h" |
Dave Chinner | 239880e | 2013-10-23 10:50:10 +1100 | [diff] [blame] | 10 | #include "xfs_log_format.h" |
| 11 | #include "xfs_trans_resv.h" |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 12 | #include "xfs_mount.h" |
Dave Chinner | 239880e | 2013-10-23 10:50:10 +1100 | [diff] [blame] | 13 | #include "xfs_trans.h" |
Nathan Scott | a844f45 | 2005-11-02 14:38:42 +1100 | [diff] [blame] | 14 | #include "xfs_buf_item.h" |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 15 | #include "xfs_trans_priv.h" |
Christoph Hellwig | 0b1b213 | 2009-12-14 23:14:59 +0000 | [diff] [blame] | 16 | #include "xfs_trace.h" |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 17 | |
Christoph Hellwig | 4a5224d | 2010-04-18 00:10:45 +0000 | [diff] [blame] | 18 | /* |
| 19 | * Check to see if a buffer matching the given parameters is already |
| 20 | * a part of the given transaction. |
| 21 | */ |
| 22 | STATIC struct xfs_buf * |
| 23 | xfs_trans_buf_item_match( |
| 24 | struct xfs_trans *tp, |
| 25 | struct xfs_buftarg *target, |
Dave Chinner | de2a4f5 | 2012-06-22 18:50:11 +1000 | [diff] [blame] | 26 | struct xfs_buf_map *map, |
| 27 | int nmaps) |
Christoph Hellwig | 4a5224d | 2010-04-18 00:10:45 +0000 | [diff] [blame] | 28 | { |
Dave Chinner | e6631f8 | 2018-05-09 07:49:37 -0700 | [diff] [blame] | 29 | struct xfs_log_item *lip; |
Christoph Hellwig | e98c414 | 2010-06-23 18:11:15 +1000 | [diff] [blame] | 30 | struct xfs_buf_log_item *blip; |
Dave Chinner | de2a4f5 | 2012-06-22 18:50:11 +1000 | [diff] [blame] | 31 | int len = 0; |
| 32 | int i; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 33 | |
Dave Chinner | de2a4f5 | 2012-06-22 18:50:11 +1000 | [diff] [blame] | 34 | for (i = 0; i < nmaps; i++) |
| 35 | len += map[i].bm_len; |
| 36 | |
Dave Chinner | e6631f8 | 2018-05-09 07:49:37 -0700 | [diff] [blame] | 37 | list_for_each_entry(lip, &tp->t_items, li_trans) { |
| 38 | blip = (struct xfs_buf_log_item *)lip; |
Christoph Hellwig | e98c414 | 2010-06-23 18:11:15 +1000 | [diff] [blame] | 39 | if (blip->bli_item.li_type == XFS_LI_BUF && |
Chandra Seetharaman | 49074c0 | 2011-07-22 23:40:40 +0000 | [diff] [blame] | 40 | blip->bli_buf->b_target == target && |
Dave Chinner | 04fcad8 | 2021-08-18 18:46:57 -0700 | [diff] [blame] | 41 | xfs_buf_daddr(blip->bli_buf) == map[0].bm_bn && |
Dave Chinner | de2a4f5 | 2012-06-22 18:50:11 +1000 | [diff] [blame] | 42 | blip->bli_buf->b_length == len) { |
| 43 | ASSERT(blip->bli_buf->b_map_count == nmaps); |
Christoph Hellwig | e98c414 | 2010-06-23 18:11:15 +1000 | [diff] [blame] | 44 | return blip->bli_buf; |
Dave Chinner | de2a4f5 | 2012-06-22 18:50:11 +1000 | [diff] [blame] | 45 | } |
Christoph Hellwig | 4a5224d | 2010-04-18 00:10:45 +0000 | [diff] [blame] | 46 | } |
| 47 | |
| 48 | return NULL; |
| 49 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 50 | |
Christoph Hellwig | d7e84f4 | 2010-02-15 23:35:09 +0000 | [diff] [blame] | 51 | /* |
| 52 | * Add the locked buffer to the transaction. |
| 53 | * |
| 54 | * The buffer must be locked, and it cannot be associated with any |
| 55 | * transaction. |
| 56 | * |
| 57 | * If the buffer does not yet have a buf log item associated with it, |
| 58 | * then allocate one for it. Then add the buf item to the transaction. |
| 59 | */ |
| 60 | STATIC void |
| 61 | _xfs_trans_bjoin( |
| 62 | struct xfs_trans *tp, |
| 63 | struct xfs_buf *bp, |
| 64 | int reset_recur) |
| 65 | { |
| 66 | struct xfs_buf_log_item *bip; |
| 67 | |
Christoph Hellwig | bf9d901 | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 68 | ASSERT(bp->b_transp == NULL); |
Christoph Hellwig | d7e84f4 | 2010-02-15 23:35:09 +0000 | [diff] [blame] | 69 | |
| 70 | /* |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 71 | * The xfs_buf_log_item pointer is stored in b_log_item. If |
Christoph Hellwig | d7e84f4 | 2010-02-15 23:35:09 +0000 | [diff] [blame] | 72 | * it doesn't have one yet, then allocate one and initialize it. |
| 73 | * The checks to see if one is there are in xfs_buf_item_init(). |
| 74 | */ |
| 75 | xfs_buf_item_init(bp, tp->t_mountp); |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 76 | bip = bp->b_log_item; |
Christoph Hellwig | d7e84f4 | 2010-02-15 23:35:09 +0000 | [diff] [blame] | 77 | ASSERT(!(bip->bli_flags & XFS_BLI_STALE)); |
Mark Tinguely | 0f22f9d | 2012-12-04 17:18:03 -0600 | [diff] [blame] | 78 | ASSERT(!(bip->__bli_format.blf_flags & XFS_BLF_CANCEL)); |
Christoph Hellwig | d7e84f4 | 2010-02-15 23:35:09 +0000 | [diff] [blame] | 79 | ASSERT(!(bip->bli_flags & XFS_BLI_LOGGED)); |
| 80 | if (reset_recur) |
| 81 | bip->bli_recur = 0; |
| 82 | |
| 83 | /* |
| 84 | * Take a reference for this transaction on the buf item. |
| 85 | */ |
| 86 | atomic_inc(&bip->bli_refcount); |
| 87 | |
| 88 | /* |
Dave Chinner | e6631f8 | 2018-05-09 07:49:37 -0700 | [diff] [blame] | 89 | * Attach the item to the transaction so we can find it in |
| 90 | * xfs_trans_get_buf() and friends. |
Christoph Hellwig | d7e84f4 | 2010-02-15 23:35:09 +0000 | [diff] [blame] | 91 | */ |
Christoph Hellwig | e98c414 | 2010-06-23 18:11:15 +1000 | [diff] [blame] | 92 | xfs_trans_add_item(tp, &bip->bli_item); |
Christoph Hellwig | bf9d901 | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 93 | bp->b_transp = tp; |
Christoph Hellwig | d7e84f4 | 2010-02-15 23:35:09 +0000 | [diff] [blame] | 94 | |
| 95 | } |
| 96 | |
| 97 | void |
| 98 | xfs_trans_bjoin( |
| 99 | struct xfs_trans *tp, |
| 100 | struct xfs_buf *bp) |
| 101 | { |
| 102 | _xfs_trans_bjoin(tp, bp, 0); |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 103 | trace_xfs_trans_bjoin(bp->b_log_item); |
Christoph Hellwig | d7e84f4 | 2010-02-15 23:35:09 +0000 | [diff] [blame] | 104 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 105 | |
| 106 | /* |
| 107 | * Get and lock the buffer for the caller if it is not already |
| 108 | * locked within the given transaction. If it is already locked |
| 109 | * within the transaction, just increment its lock recursion count |
| 110 | * and return a pointer to it. |
| 111 | * |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 112 | * If the transaction pointer is NULL, make this just a normal |
| 113 | * get_buf() call. |
| 114 | */ |
Darrick J. Wong | 9676b54 | 2020-01-23 17:01:18 -0800 | [diff] [blame] | 115 | int |
Dave Chinner | de2a4f5 | 2012-06-22 18:50:11 +1000 | [diff] [blame] | 116 | xfs_trans_get_buf_map( |
| 117 | struct xfs_trans *tp, |
| 118 | struct xfs_buftarg *target, |
| 119 | struct xfs_buf_map *map, |
| 120 | int nmaps, |
Darrick J. Wong | 9676b54 | 2020-01-23 17:01:18 -0800 | [diff] [blame] | 121 | xfs_buf_flags_t flags, |
| 122 | struct xfs_buf **bpp) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 123 | { |
Dave Chinner | e822261 | 2020-12-16 16:07:34 -0800 | [diff] [blame] | 124 | struct xfs_buf *bp; |
Carlos Maiolino | 70a2065 | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 125 | struct xfs_buf_log_item *bip; |
Darrick J. Wong | 3848b5f | 2020-01-23 17:01:15 -0800 | [diff] [blame] | 126 | int error; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 127 | |
Darrick J. Wong | 9676b54 | 2020-01-23 17:01:18 -0800 | [diff] [blame] | 128 | *bpp = NULL; |
| 129 | if (!tp) |
| 130 | return xfs_buf_get_map(target, map, nmaps, flags, bpp); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 131 | |
| 132 | /* |
| 133 | * If we find the buffer in the cache with this transaction |
| 134 | * pointer in its b_fsprivate2 field, then we know we already |
| 135 | * have it locked. In this case we just increment the lock |
| 136 | * recursion count and return the buffer to the caller. |
| 137 | */ |
Dave Chinner | de2a4f5 | 2012-06-22 18:50:11 +1000 | [diff] [blame] | 138 | bp = xfs_trans_buf_item_match(tp, target, map, nmaps); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 139 | if (bp != NULL) { |
Christoph Hellwig | 0c842ad | 2011-07-08 14:36:19 +0200 | [diff] [blame] | 140 | ASSERT(xfs_buf_islocked(bp)); |
Dave Chinner | 75c8c50f | 2021-08-18 18:46:53 -0700 | [diff] [blame] | 141 | if (xfs_is_shutdown(tp->t_mountp)) { |
Christoph Hellwig | c867cb6 | 2011-10-10 16:52:46 +0000 | [diff] [blame] | 142 | xfs_buf_stale(bp); |
Dave Chinner | b0388bf | 2016-02-10 15:01:11 +1100 | [diff] [blame] | 143 | bp->b_flags |= XBF_DONE; |
Christoph Hellwig | c867cb6 | 2011-10-10 16:52:46 +0000 | [diff] [blame] | 144 | } |
Christoph Hellwig | 0b1b213 | 2009-12-14 23:14:59 +0000 | [diff] [blame] | 145 | |
Christoph Hellwig | bf9d901 | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 146 | ASSERT(bp->b_transp == tp); |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 147 | bip = bp->b_log_item; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 148 | ASSERT(bip != NULL); |
| 149 | ASSERT(atomic_read(&bip->bli_refcount) > 0); |
| 150 | bip->bli_recur++; |
Christoph Hellwig | 0b1b213 | 2009-12-14 23:14:59 +0000 | [diff] [blame] | 151 | trace_xfs_trans_get_buf_recur(bip); |
Darrick J. Wong | 9676b54 | 2020-01-23 17:01:18 -0800 | [diff] [blame] | 152 | *bpp = bp; |
| 153 | return 0; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 154 | } |
| 155 | |
Darrick J. Wong | 3848b5f | 2020-01-23 17:01:15 -0800 | [diff] [blame] | 156 | error = xfs_buf_get_map(target, map, nmaps, flags, &bp); |
| 157 | if (error) |
Darrick J. Wong | 9676b54 | 2020-01-23 17:01:18 -0800 | [diff] [blame] | 158 | return error; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 159 | |
Chandra Seetharaman | 5a52c2a58 | 2011-07-22 23:39:51 +0000 | [diff] [blame] | 160 | ASSERT(!bp->b_error); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 161 | |
Christoph Hellwig | d7e84f4 | 2010-02-15 23:35:09 +0000 | [diff] [blame] | 162 | _xfs_trans_bjoin(tp, bp, 1); |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 163 | trace_xfs_trans_get_buf(bp->b_log_item); |
Darrick J. Wong | 9676b54 | 2020-01-23 17:01:18 -0800 | [diff] [blame] | 164 | *bpp = bp; |
| 165 | return 0; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 166 | } |
| 167 | |
| 168 | /* |
Christoph Hellwig | cead0b1 | 2020-09-01 10:55:47 -0700 | [diff] [blame] | 169 | * Get and lock the superblock buffer for the given transaction. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 170 | */ |
Christoph Hellwig | cead0b1 | 2020-09-01 10:55:47 -0700 | [diff] [blame] | 171 | struct xfs_buf * |
Carlos Maiolino | 70a2065 | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 172 | xfs_trans_getsb( |
Christoph Hellwig | cead0b1 | 2020-09-01 10:55:47 -0700 | [diff] [blame] | 173 | struct xfs_trans *tp) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 174 | { |
Christoph Hellwig | cead0b1 | 2020-09-01 10:55:47 -0700 | [diff] [blame] | 175 | struct xfs_buf *bp = tp->t_mountp->m_sb_bp; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 176 | |
| 177 | /* |
Christoph Hellwig | cead0b1 | 2020-09-01 10:55:47 -0700 | [diff] [blame] | 178 | * Just increment the lock recursion count if the buffer is already |
| 179 | * attached to this transaction. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 180 | */ |
Christoph Hellwig | bf9d901 | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 181 | if (bp->b_transp == tp) { |
Christoph Hellwig | cead0b1 | 2020-09-01 10:55:47 -0700 | [diff] [blame] | 182 | struct xfs_buf_log_item *bip = bp->b_log_item; |
| 183 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 184 | ASSERT(bip != NULL); |
| 185 | ASSERT(atomic_read(&bip->bli_refcount) > 0); |
| 186 | bip->bli_recur++; |
Christoph Hellwig | cead0b1 | 2020-09-01 10:55:47 -0700 | [diff] [blame] | 187 | |
Christoph Hellwig | 0b1b213 | 2009-12-14 23:14:59 +0000 | [diff] [blame] | 188 | trace_xfs_trans_getsb_recur(bip); |
Christoph Hellwig | cead0b1 | 2020-09-01 10:55:47 -0700 | [diff] [blame] | 189 | } else { |
| 190 | xfs_buf_lock(bp); |
| 191 | xfs_buf_hold(bp); |
| 192 | _xfs_trans_bjoin(tp, bp, 1); |
| 193 | |
| 194 | trace_xfs_trans_getsb(bp->b_log_item); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 195 | } |
| 196 | |
Eric Sandeen | d99831f | 2014-06-22 15:03:54 +1000 | [diff] [blame] | 197 | return bp; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 198 | } |
| 199 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 200 | /* |
| 201 | * Get and lock the buffer for the caller if it is not already |
| 202 | * locked within the given transaction. If it has not yet been |
| 203 | * read in, read it from disk. If it is already locked |
| 204 | * within the transaction and already read in, just increment its |
| 205 | * lock recursion count and return a pointer to it. |
| 206 | * |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 207 | * If the transaction pointer is NULL, make this just a normal |
| 208 | * read_buf() call. |
| 209 | */ |
| 210 | int |
Dave Chinner | de2a4f5 | 2012-06-22 18:50:11 +1000 | [diff] [blame] | 211 | xfs_trans_read_buf_map( |
| 212 | struct xfs_mount *mp, |
| 213 | struct xfs_trans *tp, |
| 214 | struct xfs_buftarg *target, |
| 215 | struct xfs_buf_map *map, |
| 216 | int nmaps, |
| 217 | xfs_buf_flags_t flags, |
Dave Chinner | c3f8fc7 | 2012-11-12 22:54:01 +1100 | [diff] [blame] | 218 | struct xfs_buf **bpp, |
Dave Chinner | 1813dd6 | 2012-11-14 17:54:40 +1100 | [diff] [blame] | 219 | const struct xfs_buf_ops *ops) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 220 | { |
Dave Chinner | 2d3d0c5 | 2014-12-04 09:43:13 +1100 | [diff] [blame] | 221 | struct xfs_buf *bp = NULL; |
| 222 | struct xfs_buf_log_item *bip; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 223 | int error; |
| 224 | |
Dave Chinner | 7ca790a | 2012-04-23 15:58:55 +1000 | [diff] [blame] | 225 | *bpp = NULL; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 226 | /* |
| 227 | * If we find the buffer in the cache with this transaction |
| 228 | * pointer in its b_fsprivate2 field, then we know we already |
| 229 | * have it locked. If it is already read in we just increment |
| 230 | * the lock recursion count and return the buffer to the caller. |
| 231 | * If the buffer is not yet read in, then we read it in, increment |
| 232 | * the lock recursion count, and return it to the caller. |
| 233 | */ |
Dave Chinner | 2d3d0c5 | 2014-12-04 09:43:13 +1100 | [diff] [blame] | 234 | if (tp) |
| 235 | bp = xfs_trans_buf_item_match(tp, target, map, nmaps); |
| 236 | if (bp) { |
Christoph Hellwig | 0c842ad | 2011-07-08 14:36:19 +0200 | [diff] [blame] | 237 | ASSERT(xfs_buf_islocked(bp)); |
Christoph Hellwig | bf9d901 | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 238 | ASSERT(bp->b_transp == tp); |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 239 | ASSERT(bp->b_log_item != NULL); |
Chandra Seetharaman | 5a52c2a58 | 2011-07-22 23:39:51 +0000 | [diff] [blame] | 240 | ASSERT(!bp->b_error); |
Dave Chinner | 2d3d0c5 | 2014-12-04 09:43:13 +1100 | [diff] [blame] | 241 | ASSERT(bp->b_flags & XBF_DONE); |
Christoph Hellwig | 83a0adc | 2013-12-17 00:03:52 -0800 | [diff] [blame] | 242 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 243 | /* |
| 244 | * We never locked this buf ourselves, so we shouldn't |
| 245 | * brelse it either. Just get out. |
| 246 | */ |
Dave Chinner | 75c8c50f | 2021-08-18 18:46:53 -0700 | [diff] [blame] | 247 | if (xfs_is_shutdown(mp)) { |
Christoph Hellwig | 0b1b213 | 2009-12-14 23:14:59 +0000 | [diff] [blame] | 248 | trace_xfs_trans_read_buf_shut(bp, _RET_IP_); |
Dave Chinner | 2451337 | 2014-06-25 14:58:08 +1000 | [diff] [blame] | 249 | return -EIO; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 250 | } |
| 251 | |
Darrick J. Wong | 1aff569 | 2018-10-18 17:20:30 +1100 | [diff] [blame] | 252 | /* |
| 253 | * Check if the caller is trying to read a buffer that is |
| 254 | * already attached to the transaction yet has no buffer ops |
| 255 | * assigned. Ops are usually attached when the buffer is |
| 256 | * attached to the transaction, or by the read caller if |
| 257 | * special circumstances. That didn't happen, which is not |
| 258 | * how this is supposed to go. |
| 259 | * |
| 260 | * If the buffer passes verification we'll let this go, but if |
| 261 | * not we have to shut down. Let the transaction cleanup code |
| 262 | * release this buffer when it kills the tranaction. |
| 263 | */ |
| 264 | ASSERT(bp->b_ops != NULL); |
Brian Foster | 75d0230 | 2019-02-06 09:25:29 -0800 | [diff] [blame] | 265 | error = xfs_buf_reverify(bp, ops); |
Darrick J. Wong | 1aff569 | 2018-10-18 17:20:30 +1100 | [diff] [blame] | 266 | if (error) { |
Darrick J. Wong | cdbcf82 | 2020-01-23 17:01:20 -0800 | [diff] [blame] | 267 | xfs_buf_ioerror_alert(bp, __return_address); |
Darrick J. Wong | 1aff569 | 2018-10-18 17:20:30 +1100 | [diff] [blame] | 268 | |
| 269 | if (tp->t_flags & XFS_TRANS_DIRTY) |
| 270 | xfs_force_shutdown(tp->t_mountp, |
| 271 | SHUTDOWN_META_IO_ERROR); |
| 272 | |
| 273 | /* bad CRC means corrupted metadata */ |
| 274 | if (error == -EFSBADCRC) |
| 275 | error = -EFSCORRUPTED; |
| 276 | return error; |
| 277 | } |
| 278 | |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 279 | bip = bp->b_log_item; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 280 | bip->bli_recur++; |
| 281 | |
| 282 | ASSERT(atomic_read(&bip->bli_refcount) > 0); |
Christoph Hellwig | 0b1b213 | 2009-12-14 23:14:59 +0000 | [diff] [blame] | 283 | trace_xfs_trans_read_buf_recur(bip); |
Darrick J. Wong | 1aff569 | 2018-10-18 17:20:30 +1100 | [diff] [blame] | 284 | ASSERT(bp->b_ops != NULL || ops == NULL); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 285 | *bpp = bp; |
| 286 | return 0; |
| 287 | } |
| 288 | |
Darrick J. Wong | cdbcf82 | 2020-01-23 17:01:20 -0800 | [diff] [blame] | 289 | error = xfs_buf_read_map(target, map, nmaps, flags, &bp, ops, |
| 290 | __return_address); |
Darrick J. Wong | 4ed8e27 | 2020-01-23 17:01:16 -0800 | [diff] [blame] | 291 | switch (error) { |
| 292 | case 0: |
| 293 | break; |
| 294 | default: |
Dave Chinner | 2d3d0c5 | 2014-12-04 09:43:13 +1100 | [diff] [blame] | 295 | if (tp && (tp->t_flags & XFS_TRANS_DIRTY)) |
Nathan Scott | 7d04a33 | 2006-06-09 14:58:38 +1000 | [diff] [blame] | 296 | xfs_force_shutdown(tp->t_mountp, SHUTDOWN_META_IO_ERROR); |
Gustavo A. R. Silva | 53004ee | 2021-04-20 17:54:36 -0500 | [diff] [blame] | 297 | fallthrough; |
Darrick J. Wong | 4ed8e27 | 2020-01-23 17:01:16 -0800 | [diff] [blame] | 298 | case -ENOMEM: |
| 299 | case -EAGAIN: |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 300 | return error; |
| 301 | } |
Dave Chinner | 2d3d0c5 | 2014-12-04 09:43:13 +1100 | [diff] [blame] | 302 | |
Dave Chinner | 75c8c50f | 2021-08-18 18:46:53 -0700 | [diff] [blame] | 303 | if (xfs_is_shutdown(mp)) { |
Dave Chinner | 2d3d0c5 | 2014-12-04 09:43:13 +1100 | [diff] [blame] | 304 | xfs_buf_relse(bp); |
| 305 | trace_xfs_trans_read_buf_shut(bp, _RET_IP_); |
| 306 | return -EIO; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 307 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 308 | |
Dave Chinner | e9892d3 | 2015-02-10 09:23:40 +1100 | [diff] [blame] | 309 | if (tp) { |
Dave Chinner | 2d3d0c5 | 2014-12-04 09:43:13 +1100 | [diff] [blame] | 310 | _xfs_trans_bjoin(tp, bp, 1); |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 311 | trace_xfs_trans_read_buf(bp->b_log_item); |
Dave Chinner | e9892d3 | 2015-02-10 09:23:40 +1100 | [diff] [blame] | 312 | } |
Darrick J. Wong | 1aff569 | 2018-10-18 17:20:30 +1100 | [diff] [blame] | 313 | ASSERT(bp->b_ops != NULL || ops == NULL); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 314 | *bpp = bp; |
| 315 | return 0; |
| 316 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 317 | } |
| 318 | |
Darrick J. Wong | 38b6238 | 2018-10-18 17:20:35 +1100 | [diff] [blame] | 319 | /* Has this buffer been dirtied by anyone? */ |
| 320 | bool |
| 321 | xfs_trans_buf_is_dirty( |
| 322 | struct xfs_buf *bp) |
| 323 | { |
| 324 | struct xfs_buf_log_item *bip = bp->b_log_item; |
| 325 | |
| 326 | if (!bip) |
| 327 | return false; |
| 328 | ASSERT(bip->bli_item.li_type == XFS_LI_BUF); |
| 329 | return test_bit(XFS_LI_DIRTY, &bip->bli_item.li_flags); |
| 330 | } |
| 331 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 332 | /* |
Brian Foster | 23420d0 | 2018-09-29 13:45:02 +1000 | [diff] [blame] | 333 | * Release a buffer previously joined to the transaction. If the buffer is |
| 334 | * modified within this transaction, decrement the recursion count but do not |
| 335 | * release the buffer even if the count goes to 0. If the buffer is not modified |
| 336 | * within the transaction, decrement the recursion count and release the buffer |
| 337 | * if the recursion count goes to 0. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 338 | * |
Brian Foster | 23420d0 | 2018-09-29 13:45:02 +1000 | [diff] [blame] | 339 | * If the buffer is to be released and it was not already dirty before this |
| 340 | * transaction began, then also free the buf_log_item associated with it. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 341 | * |
Brian Foster | 23420d0 | 2018-09-29 13:45:02 +1000 | [diff] [blame] | 342 | * If the transaction pointer is NULL, this is a normal xfs_buf_relse() call. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 343 | */ |
| 344 | void |
Carlos Maiolino | 70a2065 | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 345 | xfs_trans_brelse( |
Brian Foster | 23420d0 | 2018-09-29 13:45:02 +1000 | [diff] [blame] | 346 | struct xfs_trans *tp, |
| 347 | struct xfs_buf *bp) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 348 | { |
Brian Foster | 23420d0 | 2018-09-29 13:45:02 +1000 | [diff] [blame] | 349 | struct xfs_buf_log_item *bip = bp->b_log_item; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 350 | |
Brian Foster | 23420d0 | 2018-09-29 13:45:02 +1000 | [diff] [blame] | 351 | ASSERT(bp->b_transp == tp); |
| 352 | |
| 353 | if (!tp) { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 354 | xfs_buf_relse(bp); |
| 355 | return; |
| 356 | } |
| 357 | |
Brian Foster | 23420d0 | 2018-09-29 13:45:02 +1000 | [diff] [blame] | 358 | trace_xfs_trans_brelse(bip); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 359 | ASSERT(bip->bli_item.li_type == XFS_LI_BUF); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 360 | ASSERT(atomic_read(&bip->bli_refcount) > 0); |
| 361 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 362 | /* |
Brian Foster | 23420d0 | 2018-09-29 13:45:02 +1000 | [diff] [blame] | 363 | * If the release is for a recursive lookup, then decrement the count |
| 364 | * and return. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 365 | */ |
| 366 | if (bip->bli_recur > 0) { |
| 367 | bip->bli_recur--; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 368 | return; |
| 369 | } |
| 370 | |
| 371 | /* |
Brian Foster | 23420d0 | 2018-09-29 13:45:02 +1000 | [diff] [blame] | 372 | * If the buffer is invalidated or dirty in this transaction, we can't |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 373 | * release it until we commit. |
| 374 | */ |
Dave Chinner | e6631f8 | 2018-05-09 07:49:37 -0700 | [diff] [blame] | 375 | if (test_bit(XFS_LI_DIRTY, &bip->bli_item.li_flags)) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 376 | return; |
Christoph Hellwig | 0b1b213 | 2009-12-14 23:14:59 +0000 | [diff] [blame] | 377 | if (bip->bli_flags & XFS_BLI_STALE) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 378 | return; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 379 | |
Brian Foster | 23420d0 | 2018-09-29 13:45:02 +1000 | [diff] [blame] | 380 | /* |
| 381 | * Unlink the log item from the transaction and clear the hold flag, if |
| 382 | * set. We wouldn't want the next user of the buffer to get confused. |
| 383 | */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 384 | ASSERT(!(bip->bli_flags & XFS_BLI_LOGGED)); |
Christoph Hellwig | e98c414 | 2010-06-23 18:11:15 +1000 | [diff] [blame] | 385 | xfs_trans_del_item(&bip->bli_item); |
Brian Foster | 23420d0 | 2018-09-29 13:45:02 +1000 | [diff] [blame] | 386 | bip->bli_flags &= ~XFS_BLI_HOLD; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 387 | |
Brian Foster | 9580845 | 2018-09-29 13:45:26 +1000 | [diff] [blame] | 388 | /* drop the reference to the bli */ |
| 389 | xfs_buf_item_put(bip); |
Christoph Hellwig | 5b03ff1 | 2012-02-20 02:31:22 +0000 | [diff] [blame] | 390 | |
Christoph Hellwig | bf9d901 | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 391 | bp->b_transp = NULL; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 392 | xfs_buf_relse(bp); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 393 | } |
| 394 | |
| 395 | /* |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 396 | * Mark the buffer as not needing to be unlocked when the buf item's |
Christoph Hellwig | ddf9205 | 2019-06-28 19:27:32 -0700 | [diff] [blame] | 397 | * iop_committing() routine is called. The buffer must already be locked |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 398 | * and associated with the given transaction. |
| 399 | */ |
| 400 | /* ARGSUSED */ |
| 401 | void |
Carlos Maiolino | 70a2065 | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 402 | xfs_trans_bhold( |
| 403 | xfs_trans_t *tp, |
Dave Chinner | e822261 | 2020-12-16 16:07:34 -0800 | [diff] [blame] | 404 | struct xfs_buf *bp) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 405 | { |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 406 | struct xfs_buf_log_item *bip = bp->b_log_item; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 407 | |
Christoph Hellwig | bf9d901 | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 408 | ASSERT(bp->b_transp == tp); |
Christoph Hellwig | adadbee | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 409 | ASSERT(bip != NULL); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 410 | ASSERT(!(bip->bli_flags & XFS_BLI_STALE)); |
Mark Tinguely | 0f22f9d | 2012-12-04 17:18:03 -0600 | [diff] [blame] | 411 | ASSERT(!(bip->__bli_format.blf_flags & XFS_BLF_CANCEL)); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 412 | ASSERT(atomic_read(&bip->bli_refcount) > 0); |
Christoph Hellwig | adadbee | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 413 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 414 | bip->bli_flags |= XFS_BLI_HOLD; |
Christoph Hellwig | 0b1b213 | 2009-12-14 23:14:59 +0000 | [diff] [blame] | 415 | trace_xfs_trans_bhold(bip); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 416 | } |
| 417 | |
| 418 | /* |
Tim Shimmin | efa092f | 2005-09-05 08:29:01 +1000 | [diff] [blame] | 419 | * Cancel the previous buffer hold request made on this buffer |
| 420 | * for this transaction. |
| 421 | */ |
| 422 | void |
Carlos Maiolino | 70a2065 | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 423 | xfs_trans_bhold_release( |
| 424 | xfs_trans_t *tp, |
Dave Chinner | e822261 | 2020-12-16 16:07:34 -0800 | [diff] [blame] | 425 | struct xfs_buf *bp) |
Tim Shimmin | efa092f | 2005-09-05 08:29:01 +1000 | [diff] [blame] | 426 | { |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 427 | struct xfs_buf_log_item *bip = bp->b_log_item; |
Tim Shimmin | efa092f | 2005-09-05 08:29:01 +1000 | [diff] [blame] | 428 | |
Christoph Hellwig | bf9d901 | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 429 | ASSERT(bp->b_transp == tp); |
Christoph Hellwig | adadbee | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 430 | ASSERT(bip != NULL); |
Tim Shimmin | efa092f | 2005-09-05 08:29:01 +1000 | [diff] [blame] | 431 | ASSERT(!(bip->bli_flags & XFS_BLI_STALE)); |
Mark Tinguely | 0f22f9d | 2012-12-04 17:18:03 -0600 | [diff] [blame] | 432 | ASSERT(!(bip->__bli_format.blf_flags & XFS_BLF_CANCEL)); |
Tim Shimmin | efa092f | 2005-09-05 08:29:01 +1000 | [diff] [blame] | 433 | ASSERT(atomic_read(&bip->bli_refcount) > 0); |
| 434 | ASSERT(bip->bli_flags & XFS_BLI_HOLD); |
Christoph Hellwig | 0b1b213 | 2009-12-14 23:14:59 +0000 | [diff] [blame] | 435 | |
Christoph Hellwig | adadbee | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 436 | bip->bli_flags &= ~XFS_BLI_HOLD; |
Christoph Hellwig | 0b1b213 | 2009-12-14 23:14:59 +0000 | [diff] [blame] | 437 | trace_xfs_trans_bhold_release(bip); |
Tim Shimmin | efa092f | 2005-09-05 08:29:01 +1000 | [diff] [blame] | 438 | } |
| 439 | |
| 440 | /* |
Brian Foster | 9684010 | 2017-08-29 10:08:38 -0700 | [diff] [blame] | 441 | * Mark a buffer dirty in the transaction. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 442 | */ |
| 443 | void |
Brian Foster | 9684010 | 2017-08-29 10:08:38 -0700 | [diff] [blame] | 444 | xfs_trans_dirty_buf( |
| 445 | struct xfs_trans *tp, |
| 446 | struct xfs_buf *bp) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 447 | { |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 448 | struct xfs_buf_log_item *bip = bp->b_log_item; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 449 | |
Christoph Hellwig | bf9d901 | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 450 | ASSERT(bp->b_transp == tp); |
Christoph Hellwig | adadbee | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 451 | ASSERT(bip != NULL); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 452 | |
| 453 | /* |
| 454 | * Mark the buffer as needing to be written out eventually, |
| 455 | * and set its iodone function to remove the buffer's buf log |
| 456 | * item from the AIL and free it when the buffer is flushed |
Dave Chinner | b01d146 | 2020-06-29 14:48:47 -0700 | [diff] [blame] | 457 | * to disk. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 458 | */ |
Dave Chinner | b0388bf | 2016-02-10 15:01:11 +1100 | [diff] [blame] | 459 | bp->b_flags |= XBF_DONE; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 460 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 461 | ASSERT(atomic_read(&bip->bli_refcount) > 0); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 462 | |
| 463 | /* |
| 464 | * If we invalidated the buffer within this transaction, then |
| 465 | * cancel the invalidation now that we're dirtying the buffer |
| 466 | * again. There are no races with the code in xfs_buf_item_unpin(), |
| 467 | * because we have a reference to the buffer this entire time. |
| 468 | */ |
| 469 | if (bip->bli_flags & XFS_BLI_STALE) { |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 470 | bip->bli_flags &= ~XFS_BLI_STALE; |
Dave Chinner | 5cfd28b | 2016-02-10 15:01:11 +1100 | [diff] [blame] | 471 | ASSERT(bp->b_flags & XBF_STALE); |
| 472 | bp->b_flags &= ~XBF_STALE; |
Mark Tinguely | 0f22f9d | 2012-12-04 17:18:03 -0600 | [diff] [blame] | 473 | bip->__bli_format.blf_flags &= ~XFS_BLF_CANCEL; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 474 | } |
Brian Foster | 9684010 | 2017-08-29 10:08:38 -0700 | [diff] [blame] | 475 | bip->bli_flags |= XFS_BLI_DIRTY | XFS_BLI_LOGGED; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 476 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 477 | tp->t_flags |= XFS_TRANS_DIRTY; |
Dave Chinner | e6631f8 | 2018-05-09 07:49:37 -0700 | [diff] [blame] | 478 | set_bit(XFS_LI_DIRTY, &bip->bli_item.li_flags); |
Brian Foster | 9684010 | 2017-08-29 10:08:38 -0700 | [diff] [blame] | 479 | } |
| 480 | |
| 481 | /* |
| 482 | * This is called to mark bytes first through last inclusive of the given |
| 483 | * buffer as needing to be logged when the transaction is committed. |
| 484 | * The buffer must already be associated with the given transaction. |
| 485 | * |
| 486 | * First and last are numbers relative to the beginning of this buffer, |
| 487 | * so the first byte in the buffer is numbered 0 regardless of the |
| 488 | * value of b_blkno. |
| 489 | */ |
| 490 | void |
| 491 | xfs_trans_log_buf( |
| 492 | struct xfs_trans *tp, |
| 493 | struct xfs_buf *bp, |
| 494 | uint first, |
| 495 | uint last) |
| 496 | { |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 497 | struct xfs_buf_log_item *bip = bp->b_log_item; |
Brian Foster | 9684010 | 2017-08-29 10:08:38 -0700 | [diff] [blame] | 498 | |
| 499 | ASSERT(first <= last && last < BBTOB(bp->b_length)); |
Brian Foster | 8dc518d | 2017-08-29 10:08:38 -0700 | [diff] [blame] | 500 | ASSERT(!(bip->bli_flags & XFS_BLI_ORDERED)); |
Brian Foster | 9684010 | 2017-08-29 10:08:38 -0700 | [diff] [blame] | 501 | |
| 502 | xfs_trans_dirty_buf(tp, bp); |
Dave Chinner | 5f6bed7 | 2013-06-27 16:04:52 +1000 | [diff] [blame] | 503 | |
Brian Foster | 9684010 | 2017-08-29 10:08:38 -0700 | [diff] [blame] | 504 | trace_xfs_trans_log_buf(bip); |
Brian Foster | 8dc518d | 2017-08-29 10:08:38 -0700 | [diff] [blame] | 505 | xfs_buf_item_log(bip, first, last); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 506 | } |
| 507 | |
| 508 | |
| 509 | /* |
Christoph Hellwig | 43ff212 | 2012-04-23 15:58:39 +1000 | [diff] [blame] | 510 | * Invalidate a buffer that is being used within a transaction. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 511 | * |
Christoph Hellwig | 43ff212 | 2012-04-23 15:58:39 +1000 | [diff] [blame] | 512 | * Typically this is because the blocks in the buffer are being freed, so we |
| 513 | * need to prevent it from being written out when we're done. Allowing it |
| 514 | * to be written again might overwrite data in the free blocks if they are |
| 515 | * reallocated to a file. |
| 516 | * |
| 517 | * We prevent the buffer from being written out by marking it stale. We can't |
| 518 | * get rid of the buf log item at this point because the buffer may still be |
| 519 | * pinned by another transaction. If that is the case, then we'll wait until |
| 520 | * the buffer is committed to disk for the last time (we can tell by the ref |
| 521 | * count) and free it in xfs_buf_item_unpin(). Until that happens we will |
| 522 | * keep the buffer locked so that the buffer and buf log item are not reused. |
| 523 | * |
| 524 | * We also set the XFS_BLF_CANCEL flag in the buf log format structure and log |
| 525 | * the buf item. This will be used at recovery time to determine that copies |
| 526 | * of the buffer in the log before this should not be replayed. |
| 527 | * |
| 528 | * We mark the item descriptor and the transaction dirty so that we'll hold |
| 529 | * the buffer until after the commit. |
| 530 | * |
| 531 | * Since we're invalidating the buffer, we also clear the state about which |
| 532 | * parts of the buffer have been logged. We also clear the flag indicating |
| 533 | * that this is an inode buffer since the data in the buffer will no longer |
| 534 | * be valid. |
| 535 | * |
| 536 | * We set the stale bit in the buffer as well since we're getting rid of it. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 537 | */ |
| 538 | void |
| 539 | xfs_trans_binval( |
Carlos Maiolino | 70a2065 | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 540 | xfs_trans_t *tp, |
Dave Chinner | e822261 | 2020-12-16 16:07:34 -0800 | [diff] [blame] | 541 | struct xfs_buf *bp) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 542 | { |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 543 | struct xfs_buf_log_item *bip = bp->b_log_item; |
Mark Tinguely | 91e4bac | 2012-12-04 17:18:05 -0600 | [diff] [blame] | 544 | int i; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 545 | |
Christoph Hellwig | bf9d901 | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 546 | ASSERT(bp->b_transp == tp); |
Christoph Hellwig | adadbee | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 547 | ASSERT(bip != NULL); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 548 | ASSERT(atomic_read(&bip->bli_refcount) > 0); |
| 549 | |
Christoph Hellwig | 0b1b213 | 2009-12-14 23:14:59 +0000 | [diff] [blame] | 550 | trace_xfs_trans_binval(bip); |
| 551 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 552 | if (bip->bli_flags & XFS_BLI_STALE) { |
| 553 | /* |
| 554 | * If the buffer is already invalidated, then |
| 555 | * just return. |
| 556 | */ |
Dave Chinner | 5cfd28b | 2016-02-10 15:01:11 +1100 | [diff] [blame] | 557 | ASSERT(bp->b_flags & XBF_STALE); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 558 | ASSERT(!(bip->bli_flags & (XFS_BLI_LOGGED | XFS_BLI_DIRTY))); |
Mark Tinguely | 0f22f9d | 2012-12-04 17:18:03 -0600 | [diff] [blame] | 559 | ASSERT(!(bip->__bli_format.blf_flags & XFS_BLF_INODE_BUF)); |
Dave Chinner | 61fe135 | 2013-04-03 16:11:30 +1100 | [diff] [blame] | 560 | ASSERT(!(bip->__bli_format.blf_flags & XFS_BLFT_MASK)); |
Mark Tinguely | 0f22f9d | 2012-12-04 17:18:03 -0600 | [diff] [blame] | 561 | ASSERT(bip->__bli_format.blf_flags & XFS_BLF_CANCEL); |
Dave Chinner | e6631f8 | 2018-05-09 07:49:37 -0700 | [diff] [blame] | 562 | ASSERT(test_bit(XFS_LI_DIRTY, &bip->bli_item.li_flags)); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 563 | ASSERT(tp->t_flags & XFS_TRANS_DIRTY); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 564 | return; |
| 565 | } |
| 566 | |
Christoph Hellwig | c867cb6 | 2011-10-10 16:52:46 +0000 | [diff] [blame] | 567 | xfs_buf_stale(bp); |
Christoph Hellwig | 43ff212 | 2012-04-23 15:58:39 +1000 | [diff] [blame] | 568 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 569 | bip->bli_flags |= XFS_BLI_STALE; |
Dave Chinner | ccf7c23 | 2010-05-20 23:19:42 +1000 | [diff] [blame] | 570 | bip->bli_flags &= ~(XFS_BLI_INODE_BUF | XFS_BLI_LOGGED | XFS_BLI_DIRTY); |
Mark Tinguely | 0f22f9d | 2012-12-04 17:18:03 -0600 | [diff] [blame] | 571 | bip->__bli_format.blf_flags &= ~XFS_BLF_INODE_BUF; |
| 572 | bip->__bli_format.blf_flags |= XFS_BLF_CANCEL; |
Dave Chinner | 61fe135 | 2013-04-03 16:11:30 +1100 | [diff] [blame] | 573 | bip->__bli_format.blf_flags &= ~XFS_BLFT_MASK; |
Mark Tinguely | 91e4bac | 2012-12-04 17:18:05 -0600 | [diff] [blame] | 574 | for (i = 0; i < bip->bli_format_count; i++) { |
| 575 | memset(bip->bli_formats[i].blf_data_map, 0, |
| 576 | (bip->bli_formats[i].blf_map_size * sizeof(uint))); |
| 577 | } |
Dave Chinner | e6631f8 | 2018-05-09 07:49:37 -0700 | [diff] [blame] | 578 | set_bit(XFS_LI_DIRTY, &bip->bli_item.li_flags); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 579 | tp->t_flags |= XFS_TRANS_DIRTY; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 580 | } |
| 581 | |
| 582 | /* |
Dave Chinner | ccf7c23 | 2010-05-20 23:19:42 +1000 | [diff] [blame] | 583 | * This call is used to indicate that the buffer contains on-disk inodes which |
| 584 | * must be handled specially during recovery. They require special handling |
| 585 | * because only the di_next_unlinked from the inodes in the buffer should be |
| 586 | * recovered. The rest of the data in the buffer is logged via the inodes |
| 587 | * themselves. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 588 | * |
Dave Chinner | ccf7c23 | 2010-05-20 23:19:42 +1000 | [diff] [blame] | 589 | * All we do is set the XFS_BLI_INODE_BUF flag in the items flags so it can be |
| 590 | * transferred to the buffer's log format structure so that we'll know what to |
| 591 | * do at recovery time. |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 592 | */ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 593 | void |
| 594 | xfs_trans_inode_buf( |
Carlos Maiolino | 70a2065 | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 595 | xfs_trans_t *tp, |
Dave Chinner | e822261 | 2020-12-16 16:07:34 -0800 | [diff] [blame] | 596 | struct xfs_buf *bp) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 597 | { |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 598 | struct xfs_buf_log_item *bip = bp->b_log_item; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 599 | |
Christoph Hellwig | bf9d901 | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 600 | ASSERT(bp->b_transp == tp); |
Christoph Hellwig | adadbee | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 601 | ASSERT(bip != NULL); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 602 | ASSERT(atomic_read(&bip->bli_refcount) > 0); |
| 603 | |
Dave Chinner | ccf7c23 | 2010-05-20 23:19:42 +1000 | [diff] [blame] | 604 | bip->bli_flags |= XFS_BLI_INODE_BUF; |
Dave Chinner | f593bf1 | 2020-06-29 14:48:46 -0700 | [diff] [blame] | 605 | bp->b_flags |= _XBF_INODES; |
Dave Chinner | 61fe135 | 2013-04-03 16:11:30 +1100 | [diff] [blame] | 606 | xfs_trans_buf_set_type(tp, bp, XFS_BLFT_DINO_BUF); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 607 | } |
| 608 | |
| 609 | /* |
| 610 | * This call is used to indicate that the buffer is going to |
| 611 | * be staled and was an inode buffer. This means it gets |
Christoph Hellwig | 93848a9 | 2013-04-03 16:11:17 +1100 | [diff] [blame] | 612 | * special processing during unpin - where any inodes |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 613 | * associated with the buffer should be removed from ail. |
| 614 | * There is also special processing during recovery, |
| 615 | * any replay of the inodes in the buffer needs to be |
| 616 | * prevented as the buffer may have been reused. |
| 617 | */ |
| 618 | void |
| 619 | xfs_trans_stale_inode_buf( |
Carlos Maiolino | 70a2065 | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 620 | xfs_trans_t *tp, |
Dave Chinner | e822261 | 2020-12-16 16:07:34 -0800 | [diff] [blame] | 621 | struct xfs_buf *bp) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 622 | { |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 623 | struct xfs_buf_log_item *bip = bp->b_log_item; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 624 | |
Christoph Hellwig | bf9d901 | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 625 | ASSERT(bp->b_transp == tp); |
Christoph Hellwig | adadbee | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 626 | ASSERT(bip != NULL); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 627 | ASSERT(atomic_read(&bip->bli_refcount) > 0); |
| 628 | |
| 629 | bip->bli_flags |= XFS_BLI_STALE_INODE; |
Dave Chinner | f593bf1 | 2020-06-29 14:48:46 -0700 | [diff] [blame] | 630 | bp->b_flags |= _XBF_INODES; |
Dave Chinner | 61fe135 | 2013-04-03 16:11:30 +1100 | [diff] [blame] | 631 | xfs_trans_buf_set_type(tp, bp, XFS_BLFT_DINO_BUF); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 632 | } |
| 633 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 634 | /* |
| 635 | * Mark the buffer as being one which contains newly allocated |
| 636 | * inodes. We need to make sure that even if this buffer is |
| 637 | * relogged as an 'inode buf' we still recover all of the inode |
| 638 | * images in the face of a crash. This works in coordination with |
| 639 | * xfs_buf_item_committed() to ensure that the buffer remains in the |
| 640 | * AIL at its original location even after it has been relogged. |
| 641 | */ |
| 642 | /* ARGSUSED */ |
| 643 | void |
| 644 | xfs_trans_inode_alloc_buf( |
Carlos Maiolino | 70a2065 | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 645 | xfs_trans_t *tp, |
Dave Chinner | e822261 | 2020-12-16 16:07:34 -0800 | [diff] [blame] | 646 | struct xfs_buf *bp) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 647 | { |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 648 | struct xfs_buf_log_item *bip = bp->b_log_item; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 649 | |
Christoph Hellwig | bf9d901 | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 650 | ASSERT(bp->b_transp == tp); |
Christoph Hellwig | adadbee | 2011-07-13 13:43:49 +0200 | [diff] [blame] | 651 | ASSERT(bip != NULL); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 652 | ASSERT(atomic_read(&bip->bli_refcount) > 0); |
| 653 | |
| 654 | bip->bli_flags |= XFS_BLI_INODE_ALLOC_BUF; |
Dave Chinner | f593bf1 | 2020-06-29 14:48:46 -0700 | [diff] [blame] | 655 | bp->b_flags |= _XBF_INODES; |
Dave Chinner | 61fe135 | 2013-04-03 16:11:30 +1100 | [diff] [blame] | 656 | xfs_trans_buf_set_type(tp, bp, XFS_BLFT_DINO_BUF); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 657 | } |
| 658 | |
Christoph Hellwig | ee1a47a | 2013-04-21 14:53:46 -0500 | [diff] [blame] | 659 | /* |
Brian Foster | 8dc518d | 2017-08-29 10:08:38 -0700 | [diff] [blame] | 660 | * Mark the buffer as ordered for this transaction. This means that the contents |
| 661 | * of the buffer are not recorded in the transaction but it is tracked in the |
| 662 | * AIL as though it was. This allows us to record logical changes in |
| 663 | * transactions rather than the physical changes we make to the buffer without |
| 664 | * changing writeback ordering constraints of metadata buffers. |
Dave Chinner | 5f6bed7 | 2013-06-27 16:04:52 +1000 | [diff] [blame] | 665 | */ |
Brian Foster | a5814bc | 2017-08-29 10:08:40 -0700 | [diff] [blame] | 666 | bool |
Dave Chinner | 5f6bed7 | 2013-06-27 16:04:52 +1000 | [diff] [blame] | 667 | xfs_trans_ordered_buf( |
| 668 | struct xfs_trans *tp, |
| 669 | struct xfs_buf *bp) |
| 670 | { |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 671 | struct xfs_buf_log_item *bip = bp->b_log_item; |
Dave Chinner | 5f6bed7 | 2013-06-27 16:04:52 +1000 | [diff] [blame] | 672 | |
| 673 | ASSERT(bp->b_transp == tp); |
| 674 | ASSERT(bip != NULL); |
| 675 | ASSERT(atomic_read(&bip->bli_refcount) > 0); |
Brian Foster | a5814bc | 2017-08-29 10:08:40 -0700 | [diff] [blame] | 676 | |
| 677 | if (xfs_buf_item_dirty_format(bip)) |
| 678 | return false; |
Dave Chinner | 5f6bed7 | 2013-06-27 16:04:52 +1000 | [diff] [blame] | 679 | |
| 680 | bip->bli_flags |= XFS_BLI_ORDERED; |
| 681 | trace_xfs_buf_item_ordered(bip); |
Brian Foster | 8dc518d | 2017-08-29 10:08:38 -0700 | [diff] [blame] | 682 | |
| 683 | /* |
| 684 | * We don't log a dirty range of an ordered buffer but it still needs |
| 685 | * to be marked dirty and that it has been logged. |
| 686 | */ |
| 687 | xfs_trans_dirty_buf(tp, bp); |
Brian Foster | a5814bc | 2017-08-29 10:08:40 -0700 | [diff] [blame] | 688 | return true; |
Dave Chinner | 5f6bed7 | 2013-06-27 16:04:52 +1000 | [diff] [blame] | 689 | } |
| 690 | |
| 691 | /* |
Christoph Hellwig | ee1a47a | 2013-04-21 14:53:46 -0500 | [diff] [blame] | 692 | * Set the type of the buffer for log recovery so that it can correctly identify |
| 693 | * and hence attach the correct buffer ops to the buffer after replay. |
| 694 | */ |
| 695 | void |
| 696 | xfs_trans_buf_set_type( |
| 697 | struct xfs_trans *tp, |
| 698 | struct xfs_buf *bp, |
Dave Chinner | 61fe135 | 2013-04-03 16:11:30 +1100 | [diff] [blame] | 699 | enum xfs_blft type) |
Christoph Hellwig | ee1a47a | 2013-04-21 14:53:46 -0500 | [diff] [blame] | 700 | { |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 701 | struct xfs_buf_log_item *bip = bp->b_log_item; |
Christoph Hellwig | ee1a47a | 2013-04-21 14:53:46 -0500 | [diff] [blame] | 702 | |
Dave Chinner | d75afeb | 2013-04-03 16:11:29 +1100 | [diff] [blame] | 703 | if (!tp) |
| 704 | return; |
| 705 | |
Christoph Hellwig | ee1a47a | 2013-04-21 14:53:46 -0500 | [diff] [blame] | 706 | ASSERT(bp->b_transp == tp); |
| 707 | ASSERT(bip != NULL); |
| 708 | ASSERT(atomic_read(&bip->bli_refcount) > 0); |
Christoph Hellwig | ee1a47a | 2013-04-21 14:53:46 -0500 | [diff] [blame] | 709 | |
Dave Chinner | 61fe135 | 2013-04-03 16:11:30 +1100 | [diff] [blame] | 710 | xfs_blft_to_flags(&bip->__bli_format, type); |
Christoph Hellwig | ee1a47a | 2013-04-21 14:53:46 -0500 | [diff] [blame] | 711 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 712 | |
Dave Chinner | d75afeb | 2013-04-03 16:11:29 +1100 | [diff] [blame] | 713 | void |
| 714 | xfs_trans_buf_copy_type( |
| 715 | struct xfs_buf *dst_bp, |
| 716 | struct xfs_buf *src_bp) |
| 717 | { |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 718 | struct xfs_buf_log_item *sbip = src_bp->b_log_item; |
| 719 | struct xfs_buf_log_item *dbip = dst_bp->b_log_item; |
Dave Chinner | 61fe135 | 2013-04-03 16:11:30 +1100 | [diff] [blame] | 720 | enum xfs_blft type; |
Dave Chinner | d75afeb | 2013-04-03 16:11:29 +1100 | [diff] [blame] | 721 | |
Dave Chinner | 61fe135 | 2013-04-03 16:11:30 +1100 | [diff] [blame] | 722 | type = xfs_blft_from_flags(&sbip->__bli_format); |
| 723 | xfs_blft_to_flags(&dbip->__bli_format, type); |
Dave Chinner | d75afeb | 2013-04-03 16:11:29 +1100 | [diff] [blame] | 724 | } |
| 725 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 726 | /* |
| 727 | * Similar to xfs_trans_inode_buf(), this marks the buffer as a cluster of |
| 728 | * dquots. However, unlike in inode buffer recovery, dquot buffers get |
| 729 | * recovered in their entirety. (Hence, no XFS_BLI_DQUOT_ALLOC_BUF flag). |
| 730 | * The only thing that makes dquot buffers different from regular |
| 731 | * buffers is that we must not replay dquot bufs when recovering |
| 732 | * if a _corresponding_ quotaoff has happened. We also have to distinguish |
| 733 | * between usr dquot bufs and grp dquot bufs, because usr and grp quotas |
| 734 | * can be turned off independently. |
| 735 | */ |
| 736 | /* ARGSUSED */ |
| 737 | void |
| 738 | xfs_trans_dquot_buf( |
Carlos Maiolino | 70a2065 | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 739 | xfs_trans_t *tp, |
Dave Chinner | e822261 | 2020-12-16 16:07:34 -0800 | [diff] [blame] | 740 | struct xfs_buf *bp, |
Carlos Maiolino | 70a2065 | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 741 | uint type) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 742 | { |
Carlos Maiolino | fb1755a | 2018-01-24 13:38:48 -0800 | [diff] [blame] | 743 | struct xfs_buf_log_item *bip = bp->b_log_item; |
Dave Chinner | 61fe135 | 2013-04-03 16:11:30 +1100 | [diff] [blame] | 744 | |
Dave Chinner | c115541 | 2010-05-07 11:05:19 +1000 | [diff] [blame] | 745 | ASSERT(type == XFS_BLF_UDQUOT_BUF || |
| 746 | type == XFS_BLF_PDQUOT_BUF || |
| 747 | type == XFS_BLF_GDQUOT_BUF); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 748 | |
Dave Chinner | 61fe135 | 2013-04-03 16:11:30 +1100 | [diff] [blame] | 749 | bip->__bli_format.blf_flags |= type; |
| 750 | |
| 751 | switch (type) { |
| 752 | case XFS_BLF_UDQUOT_BUF: |
| 753 | type = XFS_BLFT_UDQUOT_BUF; |
| 754 | break; |
| 755 | case XFS_BLF_PDQUOT_BUF: |
| 756 | type = XFS_BLFT_PDQUOT_BUF; |
| 757 | break; |
| 758 | case XFS_BLF_GDQUOT_BUF: |
| 759 | type = XFS_BLFT_GDQUOT_BUF; |
| 760 | break; |
| 761 | default: |
| 762 | type = XFS_BLFT_UNKNOWN_BUF; |
| 763 | break; |
| 764 | } |
| 765 | |
Dave Chinner | 0c7e5af | 2020-06-29 14:48:46 -0700 | [diff] [blame] | 766 | bp->b_flags |= _XBF_DQUOTS; |
Christoph Hellwig | ee1a47a | 2013-04-21 14:53:46 -0500 | [diff] [blame] | 767 | xfs_trans_buf_set_type(tp, bp, type); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 768 | } |