blob: 8f2e2fac4255d63fc1dab2d268433e099aaf5aa8 [file] [log] [blame]
Darrick J. Wongbaf4bcac2016-10-03 09:11:20 -07001/*
2 * Copyright (C) 2016 Oracle. All Rights Reserved.
3 *
4 * Author: Darrick J. Wong <darrick.wong@oracle.com>
5 *
6 * This program is free software; you can redistribute it and/or
7 * modify it under the terms of the GNU General Public License
8 * as published by the Free Software Foundation; either version 2
9 * of the License, or (at your option) any later version.
10 *
11 * This program is distributed in the hope that it would be useful,
12 * but WITHOUT ANY WARRANTY; without even the implied warranty of
13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 * GNU General Public License for more details.
15 *
16 * You should have received a copy of the GNU General Public License
17 * along with this program; if not, write the Free Software Foundation,
18 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
19 */
20#include "xfs.h"
21#include "xfs_fs.h"
22#include "xfs_format.h"
23#include "xfs_log_format.h"
24#include "xfs_trans_resv.h"
Darrick J. Wongf997ee22016-10-03 09:11:21 -070025#include "xfs_bit.h"
Darrick J. Wongbaf4bcac2016-10-03 09:11:20 -070026#include "xfs_mount.h"
Darrick J. Wongf997ee22016-10-03 09:11:21 -070027#include "xfs_defer.h"
Darrick J. Wongbaf4bcac2016-10-03 09:11:20 -070028#include "xfs_trans.h"
29#include "xfs_trans_priv.h"
30#include "xfs_buf_item.h"
31#include "xfs_refcount_item.h"
32#include "xfs_log.h"
Darrick J. Wongf997ee22016-10-03 09:11:21 -070033#include "xfs_refcount.h"
Darrick J. Wongbaf4bcac2016-10-03 09:11:20 -070034
35
36kmem_zone_t *xfs_cui_zone;
37kmem_zone_t *xfs_cud_zone;
38
39static inline struct xfs_cui_log_item *CUI_ITEM(struct xfs_log_item *lip)
40{
41 return container_of(lip, struct xfs_cui_log_item, cui_item);
42}
43
44void
45xfs_cui_item_free(
46 struct xfs_cui_log_item *cuip)
47{
48 if (cuip->cui_format.cui_nextents > XFS_CUI_MAX_FAST_EXTENTS)
49 kmem_free(cuip);
50 else
51 kmem_zone_free(xfs_cui_zone, cuip);
52}
53
54STATIC void
55xfs_cui_item_size(
56 struct xfs_log_item *lip,
57 int *nvecs,
58 int *nbytes)
59{
60 struct xfs_cui_log_item *cuip = CUI_ITEM(lip);
61
62 *nvecs += 1;
63 *nbytes += xfs_cui_log_format_sizeof(cuip->cui_format.cui_nextents);
64}
65
66/*
67 * This is called to fill in the vector of log iovecs for the
68 * given cui log item. We use only 1 iovec, and we point that
69 * at the cui_log_format structure embedded in the cui item.
70 * It is at this point that we assert that all of the extent
71 * slots in the cui item have been filled.
72 */
73STATIC void
74xfs_cui_item_format(
75 struct xfs_log_item *lip,
76 struct xfs_log_vec *lv)
77{
78 struct xfs_cui_log_item *cuip = CUI_ITEM(lip);
79 struct xfs_log_iovec *vecp = NULL;
80
81 ASSERT(atomic_read(&cuip->cui_next_extent) ==
82 cuip->cui_format.cui_nextents);
83
84 cuip->cui_format.cui_type = XFS_LI_CUI;
85 cuip->cui_format.cui_size = 1;
86
87 xlog_copy_iovec(lv, &vecp, XLOG_REG_TYPE_CUI_FORMAT, &cuip->cui_format,
88 xfs_cui_log_format_sizeof(cuip->cui_format.cui_nextents));
89}
90
91/*
92 * Pinning has no meaning for an cui item, so just return.
93 */
94STATIC void
95xfs_cui_item_pin(
96 struct xfs_log_item *lip)
97{
98}
99
100/*
101 * The unpin operation is the last place an CUI is manipulated in the log. It is
102 * either inserted in the AIL or aborted in the event of a log I/O error. In
103 * either case, the CUI transaction has been successfully committed to make it
104 * this far. Therefore, we expect whoever committed the CUI to either construct
105 * and commit the CUD or drop the CUD's reference in the event of error. Simply
106 * drop the log's CUI reference now that the log is done with it.
107 */
108STATIC void
109xfs_cui_item_unpin(
110 struct xfs_log_item *lip,
111 int remove)
112{
113 struct xfs_cui_log_item *cuip = CUI_ITEM(lip);
114
115 xfs_cui_release(cuip);
116}
117
118/*
119 * CUI items have no locking or pushing. However, since CUIs are pulled from
120 * the AIL when their corresponding CUDs are committed to disk, their situation
121 * is very similar to being pinned. Return XFS_ITEM_PINNED so that the caller
122 * will eventually flush the log. This should help in getting the CUI out of
123 * the AIL.
124 */
125STATIC uint
126xfs_cui_item_push(
127 struct xfs_log_item *lip,
128 struct list_head *buffer_list)
129{
130 return XFS_ITEM_PINNED;
131}
132
133/*
134 * The CUI has been either committed or aborted if the transaction has been
135 * cancelled. If the transaction was cancelled, an CUD isn't going to be
136 * constructed and thus we free the CUI here directly.
137 */
138STATIC void
139xfs_cui_item_unlock(
140 struct xfs_log_item *lip)
141{
142 if (lip->li_flags & XFS_LI_ABORTED)
143 xfs_cui_item_free(CUI_ITEM(lip));
144}
145
146/*
147 * The CUI is logged only once and cannot be moved in the log, so simply return
148 * the lsn at which it's been logged.
149 */
150STATIC xfs_lsn_t
151xfs_cui_item_committed(
152 struct xfs_log_item *lip,
153 xfs_lsn_t lsn)
154{
155 return lsn;
156}
157
158/*
159 * The CUI dependency tracking op doesn't do squat. It can't because
160 * it doesn't know where the free extent is coming from. The dependency
161 * tracking has to be handled by the "enclosing" metadata object. For
162 * example, for inodes, the inode is locked throughout the extent freeing
163 * so the dependency should be recorded there.
164 */
165STATIC void
166xfs_cui_item_committing(
167 struct xfs_log_item *lip,
168 xfs_lsn_t lsn)
169{
170}
171
172/*
173 * This is the ops vector shared by all cui log items.
174 */
175static const struct xfs_item_ops xfs_cui_item_ops = {
176 .iop_size = xfs_cui_item_size,
177 .iop_format = xfs_cui_item_format,
178 .iop_pin = xfs_cui_item_pin,
179 .iop_unpin = xfs_cui_item_unpin,
180 .iop_unlock = xfs_cui_item_unlock,
181 .iop_committed = xfs_cui_item_committed,
182 .iop_push = xfs_cui_item_push,
183 .iop_committing = xfs_cui_item_committing,
184};
185
186/*
187 * Allocate and initialize an cui item with the given number of extents.
188 */
189struct xfs_cui_log_item *
190xfs_cui_init(
191 struct xfs_mount *mp,
192 uint nextents)
193
194{
195 struct xfs_cui_log_item *cuip;
196
197 ASSERT(nextents > 0);
198 if (nextents > XFS_CUI_MAX_FAST_EXTENTS)
199 cuip = kmem_zalloc(xfs_cui_log_item_sizeof(nextents),
200 KM_SLEEP);
201 else
202 cuip = kmem_zone_zalloc(xfs_cui_zone, KM_SLEEP);
203
204 xfs_log_item_init(mp, &cuip->cui_item, XFS_LI_CUI, &xfs_cui_item_ops);
205 cuip->cui_format.cui_nextents = nextents;
206 cuip->cui_format.cui_id = (uintptr_t)(void *)cuip;
207 atomic_set(&cuip->cui_next_extent, 0);
208 atomic_set(&cuip->cui_refcount, 2);
209
210 return cuip;
211}
212
213/*
214 * Freeing the CUI requires that we remove it from the AIL if it has already
215 * been placed there. However, the CUI may not yet have been placed in the AIL
216 * when called by xfs_cui_release() from CUD processing due to the ordering of
217 * committed vs unpin operations in bulk insert operations. Hence the reference
218 * count to ensure only the last caller frees the CUI.
219 */
220void
221xfs_cui_release(
222 struct xfs_cui_log_item *cuip)
223{
Darrick J. Wongc4cf1ac2017-04-20 15:09:05 -0700224 ASSERT(atomic_read(&cuip->cui_refcount) > 0);
Darrick J. Wongbaf4bcac2016-10-03 09:11:20 -0700225 if (atomic_dec_and_test(&cuip->cui_refcount)) {
226 xfs_trans_ail_remove(&cuip->cui_item, SHUTDOWN_LOG_IO_ERROR);
227 xfs_cui_item_free(cuip);
228 }
229}
230
231static inline struct xfs_cud_log_item *CUD_ITEM(struct xfs_log_item *lip)
232{
233 return container_of(lip, struct xfs_cud_log_item, cud_item);
234}
235
236STATIC void
237xfs_cud_item_size(
238 struct xfs_log_item *lip,
239 int *nvecs,
240 int *nbytes)
241{
242 *nvecs += 1;
243 *nbytes += sizeof(struct xfs_cud_log_format);
244}
245
246/*
247 * This is called to fill in the vector of log iovecs for the
248 * given cud log item. We use only 1 iovec, and we point that
249 * at the cud_log_format structure embedded in the cud item.
250 * It is at this point that we assert that all of the extent
251 * slots in the cud item have been filled.
252 */
253STATIC void
254xfs_cud_item_format(
255 struct xfs_log_item *lip,
256 struct xfs_log_vec *lv)
257{
258 struct xfs_cud_log_item *cudp = CUD_ITEM(lip);
259 struct xfs_log_iovec *vecp = NULL;
260
261 cudp->cud_format.cud_type = XFS_LI_CUD;
262 cudp->cud_format.cud_size = 1;
263
264 xlog_copy_iovec(lv, &vecp, XLOG_REG_TYPE_CUD_FORMAT, &cudp->cud_format,
265 sizeof(struct xfs_cud_log_format));
266}
267
268/*
269 * Pinning has no meaning for an cud item, so just return.
270 */
271STATIC void
272xfs_cud_item_pin(
273 struct xfs_log_item *lip)
274{
275}
276
277/*
278 * Since pinning has no meaning for an cud item, unpinning does
279 * not either.
280 */
281STATIC void
282xfs_cud_item_unpin(
283 struct xfs_log_item *lip,
284 int remove)
285{
286}
287
288/*
289 * There isn't much you can do to push on an cud item. It is simply stuck
290 * waiting for the log to be flushed to disk.
291 */
292STATIC uint
293xfs_cud_item_push(
294 struct xfs_log_item *lip,
295 struct list_head *buffer_list)
296{
297 return XFS_ITEM_PINNED;
298}
299
300/*
301 * The CUD is either committed or aborted if the transaction is cancelled. If
302 * the transaction is cancelled, drop our reference to the CUI and free the
303 * CUD.
304 */
305STATIC void
306xfs_cud_item_unlock(
307 struct xfs_log_item *lip)
308{
309 struct xfs_cud_log_item *cudp = CUD_ITEM(lip);
310
311 if (lip->li_flags & XFS_LI_ABORTED) {
312 xfs_cui_release(cudp->cud_cuip);
313 kmem_zone_free(xfs_cud_zone, cudp);
314 }
315}
316
317/*
318 * When the cud item is committed to disk, all we need to do is delete our
319 * reference to our partner cui item and then free ourselves. Since we're
320 * freeing ourselves we must return -1 to keep the transaction code from
321 * further referencing this item.
322 */
323STATIC xfs_lsn_t
324xfs_cud_item_committed(
325 struct xfs_log_item *lip,
326 xfs_lsn_t lsn)
327{
328 struct xfs_cud_log_item *cudp = CUD_ITEM(lip);
329
330 /*
331 * Drop the CUI reference regardless of whether the CUD has been
332 * aborted. Once the CUD transaction is constructed, it is the sole
333 * responsibility of the CUD to release the CUI (even if the CUI is
334 * aborted due to log I/O error).
335 */
336 xfs_cui_release(cudp->cud_cuip);
337 kmem_zone_free(xfs_cud_zone, cudp);
338
339 return (xfs_lsn_t)-1;
340}
341
342/*
343 * The CUD dependency tracking op doesn't do squat. It can't because
344 * it doesn't know where the free extent is coming from. The dependency
345 * tracking has to be handled by the "enclosing" metadata object. For
346 * example, for inodes, the inode is locked throughout the extent freeing
347 * so the dependency should be recorded there.
348 */
349STATIC void
350xfs_cud_item_committing(
351 struct xfs_log_item *lip,
352 xfs_lsn_t lsn)
353{
354}
355
356/*
357 * This is the ops vector shared by all cud log items.
358 */
359static const struct xfs_item_ops xfs_cud_item_ops = {
360 .iop_size = xfs_cud_item_size,
361 .iop_format = xfs_cud_item_format,
362 .iop_pin = xfs_cud_item_pin,
363 .iop_unpin = xfs_cud_item_unpin,
364 .iop_unlock = xfs_cud_item_unlock,
365 .iop_committed = xfs_cud_item_committed,
366 .iop_push = xfs_cud_item_push,
367 .iop_committing = xfs_cud_item_committing,
368};
369
370/*
371 * Allocate and initialize an cud item with the given number of extents.
372 */
373struct xfs_cud_log_item *
374xfs_cud_init(
375 struct xfs_mount *mp,
376 struct xfs_cui_log_item *cuip)
377
378{
379 struct xfs_cud_log_item *cudp;
380
381 cudp = kmem_zone_zalloc(xfs_cud_zone, KM_SLEEP);
382 xfs_log_item_init(mp, &cudp->cud_item, XFS_LI_CUD, &xfs_cud_item_ops);
383 cudp->cud_cuip = cuip;
384 cudp->cud_format.cud_cui_id = cuip->cui_format.cui_id;
385
386 return cudp;
387}
Darrick J. Wongf997ee22016-10-03 09:11:21 -0700388
389/*
390 * Process a refcount update intent item that was recovered from the log.
391 * We need to update the refcountbt.
392 */
393int
394xfs_cui_recover(
395 struct xfs_mount *mp,
396 struct xfs_cui_log_item *cuip)
397{
398 int i;
399 int error = 0;
Darrick J. Wong33ba6122016-10-03 09:11:22 -0700400 unsigned int refc_type;
Darrick J. Wongf997ee22016-10-03 09:11:21 -0700401 struct xfs_phys_extent *refc;
402 xfs_fsblock_t startblock_fsb;
403 bool op_ok;
Darrick J. Wong33ba6122016-10-03 09:11:22 -0700404 struct xfs_cud_log_item *cudp;
405 struct xfs_trans *tp;
406 struct xfs_btree_cur *rcur = NULL;
407 enum xfs_refcount_intent_type type;
408 xfs_fsblock_t firstfsb;
409 xfs_fsblock_t new_fsb;
410 xfs_extlen_t new_len;
411 struct xfs_bmbt_irec irec;
412 struct xfs_defer_ops dfops;
413 bool requeue_only = false;
Darrick J. Wongf997ee22016-10-03 09:11:21 -0700414
415 ASSERT(!test_bit(XFS_CUI_RECOVERED, &cuip->cui_flags));
416
417 /*
418 * First check the validity of the extents described by the
419 * CUI. If any are bad, then assume that all are bad and
420 * just toss the CUI.
421 */
422 for (i = 0; i < cuip->cui_format.cui_nextents; i++) {
423 refc = &cuip->cui_format.cui_extents[i];
424 startblock_fsb = XFS_BB_TO_FSB(mp,
425 XFS_FSB_TO_DADDR(mp, refc->pe_startblock));
426 switch (refc->pe_flags & XFS_REFCOUNT_EXTENT_TYPE_MASK) {
427 case XFS_REFCOUNT_INCREASE:
428 case XFS_REFCOUNT_DECREASE:
429 case XFS_REFCOUNT_ALLOC_COW:
430 case XFS_REFCOUNT_FREE_COW:
431 op_ok = true;
432 break;
433 default:
434 op_ok = false;
435 break;
436 }
437 if (!op_ok || startblock_fsb == 0 ||
438 refc->pe_len == 0 ||
439 startblock_fsb >= mp->m_sb.sb_dblocks ||
440 refc->pe_len >= mp->m_sb.sb_agblocks ||
441 (refc->pe_flags & ~XFS_REFCOUNT_EXTENT_FLAGS)) {
442 /*
443 * This will pull the CUI from the AIL and
444 * free the memory associated with it.
445 */
446 set_bit(XFS_CUI_RECOVERED, &cuip->cui_flags);
447 xfs_cui_release(cuip);
448 return -EIO;
449 }
450 }
451
Darrick J. Wong33ba6122016-10-03 09:11:22 -0700452 /*
453 * Under normal operation, refcount updates are deferred, so we
454 * wouldn't be adding them directly to a transaction. All
455 * refcount updates manage reservation usage internally and
456 * dynamically by deferring work that won't fit in the
457 * transaction. Normally, any work that needs to be deferred
458 * gets attached to the same defer_ops that scheduled the
459 * refcount update. However, we're in log recovery here, so we
460 * we create our own defer_ops and use that to finish up any
461 * work that doesn't fit.
462 */
463 error = xfs_trans_alloc(mp, &M_RES(mp)->tr_itruncate, 0, 0, 0, &tp);
464 if (error)
465 return error;
466 cudp = xfs_trans_get_cud(tp, cuip);
467
468 xfs_defer_init(&dfops, &firstfsb);
469 for (i = 0; i < cuip->cui_format.cui_nextents; i++) {
470 refc = &cuip->cui_format.cui_extents[i];
471 refc_type = refc->pe_flags & XFS_REFCOUNT_EXTENT_TYPE_MASK;
472 switch (refc_type) {
473 case XFS_REFCOUNT_INCREASE:
474 case XFS_REFCOUNT_DECREASE:
475 case XFS_REFCOUNT_ALLOC_COW:
476 case XFS_REFCOUNT_FREE_COW:
477 type = refc_type;
478 break;
479 default:
480 error = -EFSCORRUPTED;
481 goto abort_error;
482 }
483 if (requeue_only) {
484 new_fsb = refc->pe_startblock;
485 new_len = refc->pe_len;
486 } else
487 error = xfs_trans_log_finish_refcount_update(tp, cudp,
488 &dfops, type, refc->pe_startblock, refc->pe_len,
489 &new_fsb, &new_len, &rcur);
490 if (error)
491 goto abort_error;
492
493 /* Requeue what we didn't finish. */
494 if (new_len > 0) {
495 irec.br_startblock = new_fsb;
496 irec.br_blockcount = new_len;
497 switch (type) {
498 case XFS_REFCOUNT_INCREASE:
499 error = xfs_refcount_increase_extent(
500 tp->t_mountp, &dfops, &irec);
501 break;
502 case XFS_REFCOUNT_DECREASE:
503 error = xfs_refcount_decrease_extent(
504 tp->t_mountp, &dfops, &irec);
505 break;
Darrick J. Wong174edb02016-10-03 09:11:39 -0700506 case XFS_REFCOUNT_ALLOC_COW:
507 error = xfs_refcount_alloc_cow_extent(
508 tp->t_mountp, &dfops,
509 irec.br_startblock,
510 irec.br_blockcount);
511 break;
512 case XFS_REFCOUNT_FREE_COW:
513 error = xfs_refcount_free_cow_extent(
514 tp->t_mountp, &dfops,
515 irec.br_startblock,
516 irec.br_blockcount);
517 break;
Darrick J. Wong33ba6122016-10-03 09:11:22 -0700518 default:
519 ASSERT(0);
520 }
521 if (error)
522 goto abort_error;
523 requeue_only = true;
524 }
525 }
526
527 xfs_refcount_finish_one_cleanup(tp, rcur, error);
Christoph Hellwig8ad7c6292017-08-28 10:21:04 -0700528 error = xfs_defer_finish(&tp, &dfops);
Darrick J. Wong33ba6122016-10-03 09:11:22 -0700529 if (error)
Darrick J. Wong7a212722017-01-03 18:39:32 -0800530 goto abort_defer;
Darrick J. Wongf997ee22016-10-03 09:11:21 -0700531 set_bit(XFS_CUI_RECOVERED, &cuip->cui_flags);
Darrick J. Wong33ba6122016-10-03 09:11:22 -0700532 error = xfs_trans_commit(tp);
533 return error;
534
535abort_error:
536 xfs_refcount_finish_one_cleanup(tp, rcur, error);
Darrick J. Wong7a212722017-01-03 18:39:32 -0800537abort_defer:
Darrick J. Wong33ba6122016-10-03 09:11:22 -0700538 xfs_defer_cancel(&dfops);
539 xfs_trans_cancel(tp);
Darrick J. Wongf997ee22016-10-03 09:11:21 -0700540 return error;
541}