Merge branch 'upstream' of master.kernel.org:/pub/scm/linux/kernel/git/jgarzik/libata-dev
[sfrench/cifs-2.6.git] / fs / xfs / xfs_trans.c
1 /*
2  * Copyright (c) 2000-2003 Silicon Graphics, Inc.  All Rights Reserved.
3  *
4  * This program is free software; you can redistribute it and/or modify it
5  * under the terms of version 2 of the GNU General Public License as
6  * published by the Free Software Foundation.
7  *
8  * This program is distributed in the hope that it would be useful, but
9  * WITHOUT ANY WARRANTY; without even the implied warranty of
10  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
11  *
12  * Further, this software is distributed without any warranty that it is
13  * free of the rightful claim of any third person regarding infringement
14  * or the like.  Any license provided herein, whether implied or
15  * otherwise, applies only to this software file.  Patent licenses, if
16  * any, provided herein do not apply to combinations of this program with
17  * other software, or any other product whatsoever.
18  *
19  * You should have received a copy of the GNU General Public License along
20  * with this program; if not, write the Free Software Foundation, Inc., 59
21  * Temple Place - Suite 330, Boston MA 02111-1307, USA.
22  *
23  * Contact information: Silicon Graphics, Inc., 1600 Amphitheatre Pkwy,
24  * Mountain View, CA  94043, or:
25  *
26  * http://www.sgi.com
27  *
28  * For further information regarding this notice, see:
29  *
30  * http://oss.sgi.com/projects/GenInfo/SGIGPLNoticeExplan/
31  */
32
33 #include "xfs.h"
34 #include "xfs_macros.h"
35 #include "xfs_types.h"
36 #include "xfs_inum.h"
37 #include "xfs_log.h"
38 #include "xfs_trans.h"
39 #include "xfs_sb.h"
40 #include "xfs_ag.h"
41 #include "xfs_dir.h"
42 #include "xfs_dir2.h"
43 #include "xfs_dmapi.h"
44 #include "xfs_mount.h"
45 #include "xfs_error.h"
46 #include "xfs_trans_priv.h"
47 #include "xfs_alloc_btree.h"
48 #include "xfs_bmap_btree.h"
49 #include "xfs_ialloc_btree.h"
50 #include "xfs_btree.h"
51 #include "xfs_ialloc.h"
52 #include "xfs_alloc.h"
53 #include "xfs_attr_sf.h"
54 #include "xfs_dir_sf.h"
55 #include "xfs_dir2_sf.h"
56 #include "xfs_dinode.h"
57 #include "xfs_inode.h"
58 #include "xfs_bmap.h"
59 #include "xfs_da_btree.h"
60 #include "xfs_quota.h"
61 #include "xfs_trans_space.h"
62
63
64 STATIC void     xfs_trans_apply_sb_deltas(xfs_trans_t *);
65 STATIC uint     xfs_trans_count_vecs(xfs_trans_t *);
66 STATIC void     xfs_trans_fill_vecs(xfs_trans_t *, xfs_log_iovec_t *);
67 STATIC void     xfs_trans_uncommit(xfs_trans_t *, uint);
68 STATIC void     xfs_trans_committed(xfs_trans_t *, int);
69 STATIC void     xfs_trans_chunk_committed(xfs_log_item_chunk_t *, xfs_lsn_t, int);
70 STATIC void     xfs_trans_free(xfs_trans_t *);
71
72 kmem_zone_t             *xfs_trans_zone;
73
74
75 /*
76  * Initialize the precomputed transaction reservation values
77  * in the mount structure.
78  */
79 void
80 xfs_trans_init(
81         xfs_mount_t     *mp)
82 {
83         xfs_trans_reservations_t        *resp;
84
85         resp = &(mp->m_reservations);
86         resp->tr_write =
87                 (uint)(XFS_CALC_WRITE_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp));
88         resp->tr_itruncate =
89                 (uint)(XFS_CALC_ITRUNCATE_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp));
90         resp->tr_rename =
91                 (uint)(XFS_CALC_RENAME_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp));
92         resp->tr_link = (uint)XFS_CALC_LINK_LOG_RES(mp);
93         resp->tr_remove =
94                 (uint)(XFS_CALC_REMOVE_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp));
95         resp->tr_symlink =
96                 (uint)(XFS_CALC_SYMLINK_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp));
97         resp->tr_create =
98                 (uint)(XFS_CALC_CREATE_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp));
99         resp->tr_mkdir =
100                 (uint)(XFS_CALC_MKDIR_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp));
101         resp->tr_ifree =
102                 (uint)(XFS_CALC_IFREE_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp));
103         resp->tr_ichange =
104                 (uint)(XFS_CALC_ICHANGE_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp));
105         resp->tr_growdata = (uint)XFS_CALC_GROWDATA_LOG_RES(mp);
106         resp->tr_swrite = (uint)XFS_CALC_SWRITE_LOG_RES(mp);
107         resp->tr_writeid = (uint)XFS_CALC_WRITEID_LOG_RES(mp);
108         resp->tr_addafork =
109                 (uint)(XFS_CALC_ADDAFORK_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp));
110         resp->tr_attrinval = (uint)XFS_CALC_ATTRINVAL_LOG_RES(mp);
111         resp->tr_attrset =
112                 (uint)(XFS_CALC_ATTRSET_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp));
113         resp->tr_attrrm =
114                 (uint)(XFS_CALC_ATTRRM_LOG_RES(mp) + XFS_DQUOT_LOGRES(mp));
115         resp->tr_clearagi = (uint)XFS_CALC_CLEAR_AGI_BUCKET_LOG_RES(mp);
116         resp->tr_growrtalloc = (uint)XFS_CALC_GROWRTALLOC_LOG_RES(mp);
117         resp->tr_growrtzero = (uint)XFS_CALC_GROWRTZERO_LOG_RES(mp);
118         resp->tr_growrtfree = (uint)XFS_CALC_GROWRTFREE_LOG_RES(mp);
119 }
120
121 /*
122  * This routine is called to allocate a transaction structure.
123  * The type parameter indicates the type of the transaction.  These
124  * are enumerated in xfs_trans.h.
125  *
126  * Dynamically allocate the transaction structure from the transaction
127  * zone, initialize it, and return it to the caller.
128  */
129 xfs_trans_t *
130 xfs_trans_alloc(
131         xfs_mount_t     *mp,
132         uint            type)
133 {
134         fs_check_frozen(XFS_MTOVFS(mp), SB_FREEZE_TRANS);
135         atomic_inc(&mp->m_active_trans);
136
137         return (_xfs_trans_alloc(mp, type));
138
139 }
140
141 xfs_trans_t *
142 _xfs_trans_alloc(
143         xfs_mount_t     *mp,
144         uint            type)
145 {
146         xfs_trans_t     *tp;
147
148         ASSERT(xfs_trans_zone != NULL);
149         tp = kmem_zone_zalloc(xfs_trans_zone, KM_SLEEP);
150
151         /*
152          * Initialize the transaction structure.
153          */
154         tp->t_magic = XFS_TRANS_MAGIC;
155         tp->t_type = type;
156         tp->t_mountp = mp;
157         tp->t_items_free = XFS_LIC_NUM_SLOTS;
158         tp->t_busy_free = XFS_LBC_NUM_SLOTS;
159         XFS_LIC_INIT(&(tp->t_items));
160         XFS_LBC_INIT(&(tp->t_busy));
161
162         return (tp);
163 }
164
165 /*
166  * This is called to create a new transaction which will share the
167  * permanent log reservation of the given transaction.  The remaining
168  * unused block and rt extent reservations are also inherited.  This
169  * implies that the original transaction is no longer allowed to allocate
170  * blocks.  Locks and log items, however, are no inherited.  They must
171  * be added to the new transaction explicitly.
172  */
173 xfs_trans_t *
174 xfs_trans_dup(
175         xfs_trans_t     *tp)
176 {
177         xfs_trans_t     *ntp;
178
179         ntp = kmem_zone_zalloc(xfs_trans_zone, KM_SLEEP);
180
181         /*
182          * Initialize the new transaction structure.
183          */
184         ntp->t_magic = XFS_TRANS_MAGIC;
185         ntp->t_type = tp->t_type;
186         ntp->t_mountp = tp->t_mountp;
187         ntp->t_items_free = XFS_LIC_NUM_SLOTS;
188         ntp->t_busy_free = XFS_LBC_NUM_SLOTS;
189         XFS_LIC_INIT(&(ntp->t_items));
190         XFS_LBC_INIT(&(ntp->t_busy));
191
192         ASSERT(tp->t_flags & XFS_TRANS_PERM_LOG_RES);
193
194 #if defined(XLOG_NOLOG) || defined(DEBUG)
195         ASSERT(!xlog_debug || tp->t_ticket != NULL);
196 #else
197         ASSERT(tp->t_ticket != NULL);
198 #endif
199         ntp->t_flags = XFS_TRANS_PERM_LOG_RES | (tp->t_flags & XFS_TRANS_RESERVE);
200         ntp->t_ticket = tp->t_ticket;
201         ntp->t_blk_res = tp->t_blk_res - tp->t_blk_res_used;
202         tp->t_blk_res = tp->t_blk_res_used;
203         ntp->t_rtx_res = tp->t_rtx_res - tp->t_rtx_res_used;
204         tp->t_rtx_res = tp->t_rtx_res_used;
205         PFLAGS_DUP(&tp->t_pflags, &ntp->t_pflags);
206
207         XFS_TRANS_DUP_DQINFO(tp->t_mountp, tp, ntp);
208
209         atomic_inc(&tp->t_mountp->m_active_trans);
210         return ntp;
211 }
212
213 /*
214  * This is called to reserve free disk blocks and log space for the
215  * given transaction.  This must be done before allocating any resources
216  * within the transaction.
217  *
218  * This will return ENOSPC if there are not enough blocks available.
219  * It will sleep waiting for available log space.
220  * The only valid value for the flags parameter is XFS_RES_LOG_PERM, which
221  * is used by long running transactions.  If any one of the reservations
222  * fails then they will all be backed out.
223  *
224  * This does not do quota reservations. That typically is done by the
225  * caller afterwards.
226  */
227 int
228 xfs_trans_reserve(
229         xfs_trans_t     *tp,
230         uint            blocks,
231         uint            logspace,
232         uint            rtextents,
233         uint            flags,
234         uint            logcount)
235 {
236         int             log_flags;
237         int             error;
238         int     rsvd;
239
240         error = 0;
241         rsvd = (tp->t_flags & XFS_TRANS_RESERVE) != 0;
242
243         /* Mark this thread as being in a transaction */
244         PFLAGS_SET_FSTRANS(&tp->t_pflags);
245
246         /*
247          * Attempt to reserve the needed disk blocks by decrementing
248          * the number needed from the number available.  This will
249          * fail if the count would go below zero.
250          */
251         if (blocks > 0) {
252                 error = xfs_mod_incore_sb(tp->t_mountp, XFS_SBS_FDBLOCKS,
253                                           -blocks, rsvd);
254                 if (error != 0) {
255                         PFLAGS_RESTORE_FSTRANS(&tp->t_pflags);
256                         return (XFS_ERROR(ENOSPC));
257                 }
258                 tp->t_blk_res += blocks;
259         }
260
261         /*
262          * Reserve the log space needed for this transaction.
263          */
264         if (logspace > 0) {
265                 ASSERT((tp->t_log_res == 0) || (tp->t_log_res == logspace));
266                 ASSERT((tp->t_log_count == 0) ||
267                         (tp->t_log_count == logcount));
268                 if (flags & XFS_TRANS_PERM_LOG_RES) {
269                         log_flags = XFS_LOG_PERM_RESERV;
270                         tp->t_flags |= XFS_TRANS_PERM_LOG_RES;
271                 } else {
272                         ASSERT(tp->t_ticket == NULL);
273                         ASSERT(!(tp->t_flags & XFS_TRANS_PERM_LOG_RES));
274                         log_flags = 0;
275                 }
276
277                 error = xfs_log_reserve(tp->t_mountp, logspace, logcount,
278                                         &tp->t_ticket,
279                                         XFS_TRANSACTION, log_flags, tp->t_type);
280                 if (error) {
281                         goto undo_blocks;
282                 }
283                 tp->t_log_res = logspace;
284                 tp->t_log_count = logcount;
285         }
286
287         /*
288          * Attempt to reserve the needed realtime extents by decrementing
289          * the number needed from the number available.  This will
290          * fail if the count would go below zero.
291          */
292         if (rtextents > 0) {
293                 error = xfs_mod_incore_sb(tp->t_mountp, XFS_SBS_FREXTENTS,
294                                           -rtextents, rsvd);
295                 if (error) {
296                         error = XFS_ERROR(ENOSPC);
297                         goto undo_log;
298                 }
299                 tp->t_rtx_res += rtextents;
300         }
301
302         return 0;
303
304         /*
305          * Error cases jump to one of these labels to undo any
306          * reservations which have already been performed.
307          */
308 undo_log:
309         if (logspace > 0) {
310                 if (flags & XFS_TRANS_PERM_LOG_RES) {
311                         log_flags = XFS_LOG_REL_PERM_RESERV;
312                 } else {
313                         log_flags = 0;
314                 }
315                 xfs_log_done(tp->t_mountp, tp->t_ticket, NULL, log_flags);
316                 tp->t_ticket = NULL;
317                 tp->t_log_res = 0;
318                 tp->t_flags &= ~XFS_TRANS_PERM_LOG_RES;
319         }
320
321 undo_blocks:
322         if (blocks > 0) {
323                 (void) xfs_mod_incore_sb(tp->t_mountp, XFS_SBS_FDBLOCKS,
324                                          blocks, rsvd);
325                 tp->t_blk_res = 0;
326         }
327
328         PFLAGS_RESTORE_FSTRANS(&tp->t_pflags);
329
330         return (error);
331 }
332
333
334 /*
335  * Record the indicated change to the given field for application
336  * to the file system's superblock when the transaction commits.
337  * For now, just store the change in the transaction structure.
338  *
339  * Mark the transaction structure to indicate that the superblock
340  * needs to be updated before committing.
341  */
342 void
343 xfs_trans_mod_sb(
344         xfs_trans_t     *tp,
345         uint            field,
346         long            delta)
347 {
348
349         switch (field) {
350         case XFS_TRANS_SB_ICOUNT:
351                 tp->t_icount_delta += delta;
352                 break;
353         case XFS_TRANS_SB_IFREE:
354                 tp->t_ifree_delta += delta;
355                 break;
356         case XFS_TRANS_SB_FDBLOCKS:
357                 /*
358                  * Track the number of blocks allocated in the
359                  * transaction.  Make sure it does not exceed the
360                  * number reserved.
361                  */
362                 if (delta < 0) {
363                         tp->t_blk_res_used += (uint)-delta;
364                         ASSERT(tp->t_blk_res_used <= tp->t_blk_res);
365                 }
366                 tp->t_fdblocks_delta += delta;
367                 break;
368         case XFS_TRANS_SB_RES_FDBLOCKS:
369                 /*
370                  * The allocation has already been applied to the
371                  * in-core superblock's counter.  This should only
372                  * be applied to the on-disk superblock.
373                  */
374                 ASSERT(delta < 0);
375                 tp->t_res_fdblocks_delta += delta;
376                 break;
377         case XFS_TRANS_SB_FREXTENTS:
378                 /*
379                  * Track the number of blocks allocated in the
380                  * transaction.  Make sure it does not exceed the
381                  * number reserved.
382                  */
383                 if (delta < 0) {
384                         tp->t_rtx_res_used += (uint)-delta;
385                         ASSERT(tp->t_rtx_res_used <= tp->t_rtx_res);
386                 }
387                 tp->t_frextents_delta += delta;
388                 break;
389         case XFS_TRANS_SB_RES_FREXTENTS:
390                 /*
391                  * The allocation has already been applied to the
392                  * in-core superblocks's counter.  This should only
393                  * be applied to the on-disk superblock.
394                  */
395                 ASSERT(delta < 0);
396                 tp->t_res_frextents_delta += delta;
397                 break;
398         case XFS_TRANS_SB_DBLOCKS:
399                 ASSERT(delta > 0);
400                 tp->t_dblocks_delta += delta;
401                 break;
402         case XFS_TRANS_SB_AGCOUNT:
403                 ASSERT(delta > 0);
404                 tp->t_agcount_delta += delta;
405                 break;
406         case XFS_TRANS_SB_IMAXPCT:
407                 tp->t_imaxpct_delta += delta;
408                 break;
409         case XFS_TRANS_SB_REXTSIZE:
410                 tp->t_rextsize_delta += delta;
411                 break;
412         case XFS_TRANS_SB_RBMBLOCKS:
413                 tp->t_rbmblocks_delta += delta;
414                 break;
415         case XFS_TRANS_SB_RBLOCKS:
416                 tp->t_rblocks_delta += delta;
417                 break;
418         case XFS_TRANS_SB_REXTENTS:
419                 tp->t_rextents_delta += delta;
420                 break;
421         case XFS_TRANS_SB_REXTSLOG:
422                 tp->t_rextslog_delta += delta;
423                 break;
424         default:
425                 ASSERT(0);
426                 return;
427         }
428
429         tp->t_flags |= (XFS_TRANS_SB_DIRTY | XFS_TRANS_DIRTY);
430 }
431
432 /*
433  * xfs_trans_apply_sb_deltas() is called from the commit code
434  * to bring the superblock buffer into the current transaction
435  * and modify it as requested by earlier calls to xfs_trans_mod_sb().
436  *
437  * For now we just look at each field allowed to change and change
438  * it if necessary.
439  */
440 STATIC void
441 xfs_trans_apply_sb_deltas(
442         xfs_trans_t     *tp)
443 {
444         xfs_sb_t        *sbp;
445         xfs_buf_t       *bp;
446         int             whole = 0;
447
448         bp = xfs_trans_getsb(tp, tp->t_mountp, 0);
449         sbp = XFS_BUF_TO_SBP(bp);
450
451         /*
452          * Check that superblock mods match the mods made to AGF counters.
453          */
454         ASSERT((tp->t_fdblocks_delta + tp->t_res_fdblocks_delta) ==
455                (tp->t_ag_freeblks_delta + tp->t_ag_flist_delta +
456                 tp->t_ag_btree_delta));
457
458         if (tp->t_icount_delta != 0) {
459                 INT_MOD(sbp->sb_icount, ARCH_CONVERT, tp->t_icount_delta);
460         }
461         if (tp->t_ifree_delta != 0) {
462                 INT_MOD(sbp->sb_ifree, ARCH_CONVERT, tp->t_ifree_delta);
463         }
464
465         if (tp->t_fdblocks_delta != 0) {
466                 INT_MOD(sbp->sb_fdblocks, ARCH_CONVERT, tp->t_fdblocks_delta);
467         }
468         if (tp->t_res_fdblocks_delta != 0) {
469                 INT_MOD(sbp->sb_fdblocks, ARCH_CONVERT, tp->t_res_fdblocks_delta);
470         }
471
472         if (tp->t_frextents_delta != 0) {
473                 INT_MOD(sbp->sb_frextents, ARCH_CONVERT, tp->t_frextents_delta);
474         }
475         if (tp->t_res_frextents_delta != 0) {
476                 INT_MOD(sbp->sb_frextents, ARCH_CONVERT, tp->t_res_frextents_delta);
477         }
478         if (tp->t_dblocks_delta != 0) {
479                 INT_MOD(sbp->sb_dblocks, ARCH_CONVERT, tp->t_dblocks_delta);
480                 whole = 1;
481         }
482         if (tp->t_agcount_delta != 0) {
483                 INT_MOD(sbp->sb_agcount, ARCH_CONVERT, tp->t_agcount_delta);
484                 whole = 1;
485         }
486         if (tp->t_imaxpct_delta != 0) {
487                 INT_MOD(sbp->sb_imax_pct, ARCH_CONVERT, tp->t_imaxpct_delta);
488                 whole = 1;
489         }
490         if (tp->t_rextsize_delta != 0) {
491                 INT_MOD(sbp->sb_rextsize, ARCH_CONVERT, tp->t_rextsize_delta);
492                 whole = 1;
493         }
494         if (tp->t_rbmblocks_delta != 0) {
495                 INT_MOD(sbp->sb_rbmblocks, ARCH_CONVERT, tp->t_rbmblocks_delta);
496                 whole = 1;
497         }
498         if (tp->t_rblocks_delta != 0) {
499                 INT_MOD(sbp->sb_rblocks, ARCH_CONVERT, tp->t_rblocks_delta);
500                 whole = 1;
501         }
502         if (tp->t_rextents_delta != 0) {
503                 INT_MOD(sbp->sb_rextents, ARCH_CONVERT, tp->t_rextents_delta);
504                 whole = 1;
505         }
506         if (tp->t_rextslog_delta != 0) {
507                 INT_MOD(sbp->sb_rextslog, ARCH_CONVERT, tp->t_rextslog_delta);
508                 whole = 1;
509         }
510
511         if (whole)
512                 /*
513                  * Log the whole thing, the fields are discontiguous.
514                  */
515                 xfs_trans_log_buf(tp, bp, 0, sizeof(xfs_sb_t) - 1);
516         else
517                 /*
518                  * Since all the modifiable fields are contiguous, we
519                  * can get away with this.
520                  */
521                 xfs_trans_log_buf(tp, bp, offsetof(xfs_sb_t, sb_icount),
522                                   offsetof(xfs_sb_t, sb_frextents) +
523                                   sizeof(sbp->sb_frextents) - 1);
524
525         XFS_MTOVFS(tp->t_mountp)->vfs_super->s_dirt = 1;
526 }
527
528 /*
529  * xfs_trans_unreserve_and_mod_sb() is called to release unused
530  * reservations and apply superblock counter changes to the in-core
531  * superblock.
532  *
533  * This is done efficiently with a single call to xfs_mod_incore_sb_batch().
534  */
535 STATIC void
536 xfs_trans_unreserve_and_mod_sb(
537         xfs_trans_t     *tp)
538 {
539         xfs_mod_sb_t    msb[14];        /* If you add cases, add entries */
540         xfs_mod_sb_t    *msbp;
541         /* REFERENCED */
542         int             error;
543         int             rsvd;
544
545         msbp = msb;
546         rsvd = (tp->t_flags & XFS_TRANS_RESERVE) != 0;
547
548         /*
549          * Release any reserved blocks.  Any that were allocated
550          * will be taken back again by fdblocks_delta below.
551          */
552         if (tp->t_blk_res > 0) {
553                 msbp->msb_field = XFS_SBS_FDBLOCKS;
554                 msbp->msb_delta = tp->t_blk_res;
555                 msbp++;
556         }
557
558         /*
559          * Release any reserved real time extents .  Any that were
560          * allocated will be taken back again by frextents_delta below.
561          */
562         if (tp->t_rtx_res > 0) {
563                 msbp->msb_field = XFS_SBS_FREXTENTS;
564                 msbp->msb_delta = tp->t_rtx_res;
565                 msbp++;
566         }
567
568         /*
569          * Apply any superblock modifications to the in-core version.
570          * The t_res_fdblocks_delta and t_res_frextents_delta fields are
571          * explicity NOT applied to the in-core superblock.
572          * The idea is that that has already been done.
573          */
574         if (tp->t_flags & XFS_TRANS_SB_DIRTY) {
575                 if (tp->t_icount_delta != 0) {
576                         msbp->msb_field = XFS_SBS_ICOUNT;
577                         msbp->msb_delta = (int)tp->t_icount_delta;
578                         msbp++;
579                 }
580                 if (tp->t_ifree_delta != 0) {
581                         msbp->msb_field = XFS_SBS_IFREE;
582                         msbp->msb_delta = (int)tp->t_ifree_delta;
583                         msbp++;
584                 }
585                 if (tp->t_fdblocks_delta != 0) {
586                         msbp->msb_field = XFS_SBS_FDBLOCKS;
587                         msbp->msb_delta = (int)tp->t_fdblocks_delta;
588                         msbp++;
589                 }
590                 if (tp->t_frextents_delta != 0) {
591                         msbp->msb_field = XFS_SBS_FREXTENTS;
592                         msbp->msb_delta = (int)tp->t_frextents_delta;
593                         msbp++;
594                 }
595                 if (tp->t_dblocks_delta != 0) {
596                         msbp->msb_field = XFS_SBS_DBLOCKS;
597                         msbp->msb_delta = (int)tp->t_dblocks_delta;
598                         msbp++;
599                 }
600                 if (tp->t_agcount_delta != 0) {
601                         msbp->msb_field = XFS_SBS_AGCOUNT;
602                         msbp->msb_delta = (int)tp->t_agcount_delta;
603                         msbp++;
604                 }
605                 if (tp->t_imaxpct_delta != 0) {
606                         msbp->msb_field = XFS_SBS_IMAX_PCT;
607                         msbp->msb_delta = (int)tp->t_imaxpct_delta;
608                         msbp++;
609                 }
610                 if (tp->t_rextsize_delta != 0) {
611                         msbp->msb_field = XFS_SBS_REXTSIZE;
612                         msbp->msb_delta = (int)tp->t_rextsize_delta;
613                         msbp++;
614                 }
615                 if (tp->t_rbmblocks_delta != 0) {
616                         msbp->msb_field = XFS_SBS_RBMBLOCKS;
617                         msbp->msb_delta = (int)tp->t_rbmblocks_delta;
618                         msbp++;
619                 }
620                 if (tp->t_rblocks_delta != 0) {
621                         msbp->msb_field = XFS_SBS_RBLOCKS;
622                         msbp->msb_delta = (int)tp->t_rblocks_delta;
623                         msbp++;
624                 }
625                 if (tp->t_rextents_delta != 0) {
626                         msbp->msb_field = XFS_SBS_REXTENTS;
627                         msbp->msb_delta = (int)tp->t_rextents_delta;
628                         msbp++;
629                 }
630                 if (tp->t_rextslog_delta != 0) {
631                         msbp->msb_field = XFS_SBS_REXTSLOG;
632                         msbp->msb_delta = (int)tp->t_rextslog_delta;
633                         msbp++;
634                 }
635         }
636
637         /*
638          * If we need to change anything, do it.
639          */
640         if (msbp > msb) {
641                 error = xfs_mod_incore_sb_batch(tp->t_mountp, msb,
642                         (uint)(msbp - msb), rsvd);
643                 ASSERT(error == 0);
644         }
645 }
646
647
648 /*
649  * xfs_trans_commit
650  *
651  * Commit the given transaction to the log a/synchronously.
652  *
653  * XFS disk error handling mechanism is not based on a typical
654  * transaction abort mechanism. Logically after the filesystem
655  * gets marked 'SHUTDOWN', we can't let any new transactions
656  * be durable - ie. committed to disk - because some metadata might
657  * be inconsistent. In such cases, this returns an error, and the
658  * caller may assume that all locked objects joined to the transaction
659  * have already been unlocked as if the commit had succeeded.
660  * Do not reference the transaction structure after this call.
661  */
662  /*ARGSUSED*/
663 int
664 xfs_trans_commit(
665         xfs_trans_t     *tp,
666         uint            flags,
667         xfs_lsn_t       *commit_lsn_p)
668 {
669         xfs_log_iovec_t         *log_vector;
670         int                     nvec;
671         xfs_mount_t             *mp;
672         xfs_lsn_t               commit_lsn;
673         /* REFERENCED */
674         int                     error;
675         int                     log_flags;
676         int                     sync;
677 #define XFS_TRANS_LOGVEC_COUNT  16
678         xfs_log_iovec_t         log_vector_fast[XFS_TRANS_LOGVEC_COUNT];
679 #if defined(XLOG_NOLOG) || defined(DEBUG)
680         static xfs_lsn_t        trans_lsn = 1;
681 #endif
682         void                    *commit_iclog;
683         int                     shutdown;
684
685         commit_lsn = -1;
686
687         /*
688          * Determine whether this commit is releasing a permanent
689          * log reservation or not.
690          */
691         if (flags & XFS_TRANS_RELEASE_LOG_RES) {
692                 ASSERT(tp->t_flags & XFS_TRANS_PERM_LOG_RES);
693                 log_flags = XFS_LOG_REL_PERM_RESERV;
694         } else {
695                 log_flags = 0;
696         }
697         mp = tp->t_mountp;
698
699         /*
700          * If there is nothing to be logged by the transaction,
701          * then unlock all of the items associated with the
702          * transaction and free the transaction structure.
703          * Also make sure to return any reserved blocks to
704          * the free pool.
705          */
706 shut_us_down:
707         shutdown = XFS_FORCED_SHUTDOWN(mp) ? EIO : 0;
708         if (!(tp->t_flags & XFS_TRANS_DIRTY) || shutdown) {
709                 xfs_trans_unreserve_and_mod_sb(tp);
710                 /*
711                  * It is indeed possible for the transaction to be
712                  * not dirty but the dqinfo portion to be. All that
713                  * means is that we have some (non-persistent) quota
714                  * reservations that need to be unreserved.
715                  */
716                 XFS_TRANS_UNRESERVE_AND_MOD_DQUOTS(mp, tp);
717                 if (tp->t_ticket) {
718                         commit_lsn = xfs_log_done(mp, tp->t_ticket,
719                                                         NULL, log_flags);
720                         if (commit_lsn == -1 && !shutdown)
721                                 shutdown = XFS_ERROR(EIO);
722                 }
723                 PFLAGS_RESTORE_FSTRANS(&tp->t_pflags);
724                 xfs_trans_free_items(tp, shutdown? XFS_TRANS_ABORT : 0);
725                 xfs_trans_free_busy(tp);
726                 xfs_trans_free(tp);
727                 XFS_STATS_INC(xs_trans_empty);
728                 if (commit_lsn_p)
729                         *commit_lsn_p = commit_lsn;
730                 return (shutdown);
731         }
732 #if defined(XLOG_NOLOG) || defined(DEBUG)
733         ASSERT(!xlog_debug || tp->t_ticket != NULL);
734 #else
735         ASSERT(tp->t_ticket != NULL);
736 #endif
737
738         /*
739          * If we need to update the superblock, then do it now.
740          */
741         if (tp->t_flags & XFS_TRANS_SB_DIRTY) {
742                 xfs_trans_apply_sb_deltas(tp);
743         }
744         XFS_TRANS_APPLY_DQUOT_DELTAS(mp, tp);
745
746         /*
747          * Ask each log item how many log_vector entries it will
748          * need so we can figure out how many to allocate.
749          * Try to avoid the kmem_alloc() call in the common case
750          * by using a vector from the stack when it fits.
751          */
752         nvec = xfs_trans_count_vecs(tp);
753
754         if (nvec == 0) {
755                 xfs_force_shutdown(mp, XFS_LOG_IO_ERROR);
756                 goto shut_us_down;
757         }
758
759
760         if (nvec <= XFS_TRANS_LOGVEC_COUNT) {
761                 log_vector = log_vector_fast;
762         } else {
763                 log_vector = (xfs_log_iovec_t *)kmem_alloc(nvec *
764                                                    sizeof(xfs_log_iovec_t),
765                                                    KM_SLEEP);
766         }
767
768         /*
769          * Fill in the log_vector and pin the logged items, and
770          * then write the transaction to the log.
771          */
772         xfs_trans_fill_vecs(tp, log_vector);
773
774         /*
775          * Ignore errors here. xfs_log_done would do the right thing.
776          * We need to put the ticket, etc. away.
777          */
778         error = xfs_log_write(mp, log_vector, nvec, tp->t_ticket,
779                              &(tp->t_lsn));
780
781 #if defined(XLOG_NOLOG) || defined(DEBUG)
782         if (xlog_debug) {
783                 commit_lsn = xfs_log_done(mp, tp->t_ticket,
784                                           &commit_iclog, log_flags);
785         } else {
786                 commit_lsn = 0;
787                 tp->t_lsn = trans_lsn++;
788         }
789 #else
790         /*
791          * This is the regular case.  At this point (after the call finishes),
792          * the transaction is committed incore and could go out to disk at
793          * any time.  However, all the items associated with the transaction
794          * are still locked and pinned in memory.
795          */
796         commit_lsn = xfs_log_done(mp, tp->t_ticket, &commit_iclog, log_flags);
797 #endif
798
799         tp->t_commit_lsn = commit_lsn;
800         if (nvec > XFS_TRANS_LOGVEC_COUNT) {
801                 kmem_free(log_vector, nvec * sizeof(xfs_log_iovec_t));
802         }
803
804         if (commit_lsn_p)
805                 *commit_lsn_p = commit_lsn;
806
807         /*
808          * If we got a log write error. Unpin the logitems that we
809          * had pinned, clean up, free trans structure, and return error.
810          */
811         if (error || commit_lsn == -1) {
812                 PFLAGS_RESTORE_FSTRANS(&tp->t_pflags);
813                 xfs_trans_uncommit(tp, flags|XFS_TRANS_ABORT);
814                 return XFS_ERROR(EIO);
815         }
816
817         /*
818          * Once the transaction has committed, unused
819          * reservations need to be released and changes to
820          * the superblock need to be reflected in the in-core
821          * version.  Do that now.
822          */
823         xfs_trans_unreserve_and_mod_sb(tp);
824
825         sync = tp->t_flags & XFS_TRANS_SYNC;
826
827         /*
828          * Tell the LM to call the transaction completion routine
829          * when the log write with LSN commit_lsn completes (e.g.
830          * when the transaction commit really hits the on-disk log).
831          * After this call we cannot reference tp, because the call
832          * can happen at any time and the call will free the transaction
833          * structure pointed to by tp.  The only case where we call
834          * the completion routine (xfs_trans_committed) directly is
835          * if the log is turned off on a debug kernel or we're
836          * running in simulation mode (the log is explicitly turned
837          * off).
838          */
839         tp->t_logcb.cb_func = (void(*)(void*, int))xfs_trans_committed;
840         tp->t_logcb.cb_arg = tp;
841
842         /*
843          * We need to pass the iclog buffer which was used for the
844          * transaction commit record into this function, and attach
845          * the callback to it. The callback must be attached before
846          * the items are unlocked to avoid racing with other threads
847          * waiting for an item to unlock.
848          */
849         shutdown = xfs_log_notify(mp, commit_iclog, &(tp->t_logcb));
850
851         /*
852          * Mark this thread as no longer being in a transaction
853          */
854         PFLAGS_RESTORE_FSTRANS(&tp->t_pflags);
855
856         /*
857          * Once all the items of the transaction have been copied
858          * to the in core log and the callback is attached, the
859          * items can be unlocked.
860          *
861          * This will free descriptors pointing to items which were
862          * not logged since there is nothing more to do with them.
863          * For items which were logged, we will keep pointers to them
864          * so they can be unpinned after the transaction commits to disk.
865          * This will also stamp each modified meta-data item with
866          * the commit lsn of this transaction for dependency tracking
867          * purposes.
868          */
869         xfs_trans_unlock_items(tp, commit_lsn);
870
871         /*
872          * If we detected a log error earlier, finish committing
873          * the transaction now (unpin log items, etc).
874          *
875          * Order is critical here, to avoid using the transaction
876          * pointer after its been freed (by xfs_trans_committed
877          * either here now, or as a callback).  We cannot do this
878          * step inside xfs_log_notify as was done earlier because
879          * of this issue.
880          */
881         if (shutdown)
882                 xfs_trans_committed(tp, XFS_LI_ABORTED);
883
884         /*
885          * Now that the xfs_trans_committed callback has been attached,
886          * and the items are released we can finally allow the iclog to
887          * go to disk.
888          */
889         error = xfs_log_release_iclog(mp, commit_iclog);
890
891         /*
892          * If the transaction needs to be synchronous, then force the
893          * log out now and wait for it.
894          */
895         if (sync) {
896                 if (!error)
897                         error = xfs_log_force(mp, commit_lsn,
898                                       XFS_LOG_FORCE | XFS_LOG_SYNC);
899                 XFS_STATS_INC(xs_trans_sync);
900         } else {
901                 XFS_STATS_INC(xs_trans_async);
902         }
903
904         return (error);
905 }
906
907
908 /*
909  * Total up the number of log iovecs needed to commit this
910  * transaction.  The transaction itself needs one for the
911  * transaction header.  Ask each dirty item in turn how many
912  * it needs to get the total.
913  */
914 STATIC uint
915 xfs_trans_count_vecs(
916         xfs_trans_t     *tp)
917 {
918         int                     nvecs;
919         xfs_log_item_desc_t     *lidp;
920
921         nvecs = 1;
922         lidp = xfs_trans_first_item(tp);
923         ASSERT(lidp != NULL);
924
925         /* In the non-debug case we need to start bailing out if we
926          * didn't find a log_item here, return zero and let trans_commit
927          * deal with it.
928          */
929         if (lidp == NULL)
930                 return 0;
931
932         while (lidp != NULL) {
933                 /*
934                  * Skip items which aren't dirty in this transaction.
935                  */
936                 if (!(lidp->lid_flags & XFS_LID_DIRTY)) {
937                         lidp = xfs_trans_next_item(tp, lidp);
938                         continue;
939                 }
940                 lidp->lid_size = IOP_SIZE(lidp->lid_item);
941                 nvecs += lidp->lid_size;
942                 lidp = xfs_trans_next_item(tp, lidp);
943         }
944
945         return nvecs;
946 }
947
948 /*
949  * Called from the trans_commit code when we notice that
950  * the filesystem is in the middle of a forced shutdown.
951  */
952 STATIC void
953 xfs_trans_uncommit(
954         xfs_trans_t     *tp,
955         uint            flags)
956 {
957         xfs_log_item_desc_t     *lidp;
958
959         for (lidp = xfs_trans_first_item(tp);
960              lidp != NULL;
961              lidp = xfs_trans_next_item(tp, lidp)) {
962                 /*
963                  * Unpin all but those that aren't dirty.
964                  */
965                 if (lidp->lid_flags & XFS_LID_DIRTY)
966                         IOP_UNPIN_REMOVE(lidp->lid_item, tp);
967         }
968
969         xfs_trans_unreserve_and_mod_sb(tp);
970         XFS_TRANS_UNRESERVE_AND_MOD_DQUOTS(tp->t_mountp, tp);
971
972         xfs_trans_free_items(tp, flags);
973         xfs_trans_free_busy(tp);
974         xfs_trans_free(tp);
975 }
976
977 /*
978  * Fill in the vector with pointers to data to be logged
979  * by this transaction.  The transaction header takes
980  * the first vector, and then each dirty item takes the
981  * number of vectors it indicated it needed in xfs_trans_count_vecs().
982  *
983  * As each item fills in the entries it needs, also pin the item
984  * so that it cannot be flushed out until the log write completes.
985  */
986 STATIC void
987 xfs_trans_fill_vecs(
988         xfs_trans_t             *tp,
989         xfs_log_iovec_t         *log_vector)
990 {
991         xfs_log_item_desc_t     *lidp;
992         xfs_log_iovec_t         *vecp;
993         uint                    nitems;
994
995         /*
996          * Skip over the entry for the transaction header, we'll
997          * fill that in at the end.
998          */
999         vecp = log_vector + 1;          /* pointer arithmetic */
1000
1001         nitems = 0;
1002         lidp = xfs_trans_first_item(tp);
1003         ASSERT(lidp != NULL);
1004         while (lidp != NULL) {
1005                 /*
1006                  * Skip items which aren't dirty in this transaction.
1007                  */
1008                 if (!(lidp->lid_flags & XFS_LID_DIRTY)) {
1009                         lidp = xfs_trans_next_item(tp, lidp);
1010                         continue;
1011                 }
1012                 /*
1013                  * The item may be marked dirty but not log anything.
1014                  * This can be used to get called when a transaction
1015                  * is committed.
1016                  */
1017                 if (lidp->lid_size) {
1018                         nitems++;
1019                 }
1020                 IOP_FORMAT(lidp->lid_item, vecp);
1021                 vecp += lidp->lid_size;         /* pointer arithmetic */
1022                 IOP_PIN(lidp->lid_item);
1023                 lidp = xfs_trans_next_item(tp, lidp);
1024         }
1025
1026         /*
1027          * Now that we've counted the number of items in this
1028          * transaction, fill in the transaction header.
1029          */
1030         tp->t_header.th_magic = XFS_TRANS_HEADER_MAGIC;
1031         tp->t_header.th_type = tp->t_type;
1032         tp->t_header.th_num_items = nitems;
1033         log_vector->i_addr = (xfs_caddr_t)&tp->t_header;
1034         log_vector->i_len = sizeof(xfs_trans_header_t);
1035         XLOG_VEC_SET_TYPE(log_vector, XLOG_REG_TYPE_TRANSHDR);
1036 }
1037
1038
1039 /*
1040  * Unlock all of the transaction's items and free the transaction.
1041  * The transaction must not have modified any of its items, because
1042  * there is no way to restore them to their previous state.
1043  *
1044  * If the transaction has made a log reservation, make sure to release
1045  * it as well.
1046  */
1047 void
1048 xfs_trans_cancel(
1049         xfs_trans_t             *tp,
1050         int                     flags)
1051 {
1052         int                     log_flags;
1053 #ifdef DEBUG
1054         xfs_log_item_chunk_t    *licp;
1055         xfs_log_item_desc_t     *lidp;
1056         xfs_log_item_t          *lip;
1057         int                     i;
1058 #endif
1059
1060         /*
1061          * See if the caller is being too lazy to figure out if
1062          * the transaction really needs an abort.
1063          */
1064         if ((flags & XFS_TRANS_ABORT) && !(tp->t_flags & XFS_TRANS_DIRTY))
1065                 flags &= ~XFS_TRANS_ABORT;
1066         /*
1067          * See if the caller is relying on us to shut down the
1068          * filesystem.  This happens in paths where we detect
1069          * corruption and decide to give up.
1070          */
1071         if ((tp->t_flags & XFS_TRANS_DIRTY) &&
1072             !XFS_FORCED_SHUTDOWN(tp->t_mountp))
1073                 xfs_force_shutdown(tp->t_mountp, XFS_CORRUPT_INCORE);
1074 #ifdef DEBUG
1075         if (!(flags & XFS_TRANS_ABORT)) {
1076                 licp = &(tp->t_items);
1077                 while (licp != NULL) {
1078                         lidp = licp->lic_descs;
1079                         for (i = 0; i < licp->lic_unused; i++, lidp++) {
1080                                 if (XFS_LIC_ISFREE(licp, i)) {
1081                                         continue;
1082                                 }
1083
1084                                 lip = lidp->lid_item;
1085                                 if (!XFS_FORCED_SHUTDOWN(tp->t_mountp))
1086                                         ASSERT(!(lip->li_type == XFS_LI_EFD));
1087                         }
1088                         licp = licp->lic_next;
1089                 }
1090         }
1091 #endif
1092         xfs_trans_unreserve_and_mod_sb(tp);
1093         XFS_TRANS_UNRESERVE_AND_MOD_DQUOTS(tp->t_mountp, tp);
1094
1095         if (tp->t_ticket) {
1096                 if (flags & XFS_TRANS_RELEASE_LOG_RES) {
1097                         ASSERT(tp->t_flags & XFS_TRANS_PERM_LOG_RES);
1098                         log_flags = XFS_LOG_REL_PERM_RESERV;
1099                 } else {
1100                         log_flags = 0;
1101                 }
1102                 xfs_log_done(tp->t_mountp, tp->t_ticket, NULL, log_flags);
1103         }
1104
1105         /* mark this thread as no longer being in a transaction */
1106         PFLAGS_RESTORE_FSTRANS(&tp->t_pflags);
1107
1108         xfs_trans_free_items(tp, flags);
1109         xfs_trans_free_busy(tp);
1110         xfs_trans_free(tp);
1111 }
1112
1113
1114 /*
1115  * Free the transaction structure.  If there is more clean up
1116  * to do when the structure is freed, add it here.
1117  */
1118 STATIC void
1119 xfs_trans_free(
1120         xfs_trans_t     *tp)
1121 {
1122         atomic_dec(&tp->t_mountp->m_active_trans);
1123         XFS_TRANS_FREE_DQINFO(tp->t_mountp, tp);
1124         kmem_zone_free(xfs_trans_zone, tp);
1125 }
1126
1127
1128 /*
1129  * THIS SHOULD BE REWRITTEN TO USE xfs_trans_next_item().
1130  *
1131  * This is typically called by the LM when a transaction has been fully
1132  * committed to disk.  It needs to unpin the items which have
1133  * been logged by the transaction and update their positions
1134  * in the AIL if necessary.
1135  * This also gets called when the transactions didn't get written out
1136  * because of an I/O error. Abortflag & XFS_LI_ABORTED is set then.
1137  *
1138  * Call xfs_trans_chunk_committed() to process the items in
1139  * each chunk.
1140  */
1141 STATIC void
1142 xfs_trans_committed(
1143         xfs_trans_t     *tp,
1144         int             abortflag)
1145 {
1146         xfs_log_item_chunk_t    *licp;
1147         xfs_log_item_chunk_t    *next_licp;
1148         xfs_log_busy_chunk_t    *lbcp;
1149         xfs_log_busy_slot_t     *lbsp;
1150         int                     i;
1151
1152         /*
1153          * Call the transaction's completion callback if there
1154          * is one.
1155          */
1156         if (tp->t_callback != NULL) {
1157                 tp->t_callback(tp, tp->t_callarg);
1158         }
1159
1160         /*
1161          * Special case the chunk embedded in the transaction.
1162          */
1163         licp = &(tp->t_items);
1164         if (!(XFS_LIC_ARE_ALL_FREE(licp))) {
1165                 xfs_trans_chunk_committed(licp, tp->t_lsn, abortflag);
1166         }
1167
1168         /*
1169          * Process the items in each chunk in turn.
1170          */
1171         licp = licp->lic_next;
1172         while (licp != NULL) {
1173                 ASSERT(!XFS_LIC_ARE_ALL_FREE(licp));
1174                 xfs_trans_chunk_committed(licp, tp->t_lsn, abortflag);
1175                 next_licp = licp->lic_next;
1176                 kmem_free(licp, sizeof(xfs_log_item_chunk_t));
1177                 licp = next_licp;
1178         }
1179
1180         /*
1181          * Clear all the per-AG busy list items listed in this transaction
1182          */
1183         lbcp = &tp->t_busy;
1184         while (lbcp != NULL) {
1185                 for (i = 0, lbsp = lbcp->lbc_busy; i < lbcp->lbc_unused; i++, lbsp++) {
1186                         if (!XFS_LBC_ISFREE(lbcp, i)) {
1187                                 xfs_alloc_clear_busy(tp, lbsp->lbc_ag,
1188                                                      lbsp->lbc_idx);
1189                         }
1190                 }
1191                 lbcp = lbcp->lbc_next;
1192         }
1193         xfs_trans_free_busy(tp);
1194
1195         /*
1196          * That's it for the transaction structure.  Free it.
1197          */
1198         xfs_trans_free(tp);
1199 }
1200
1201 /*
1202  * This is called to perform the commit processing for each
1203  * item described by the given chunk.
1204  *
1205  * The commit processing consists of unlocking items which were
1206  * held locked with the SYNC_UNLOCK attribute, calling the committed
1207  * routine of each logged item, updating the item's position in the AIL
1208  * if necessary, and unpinning each item.  If the committed routine
1209  * returns -1, then do nothing further with the item because it
1210  * may have been freed.
1211  *
1212  * Since items are unlocked when they are copied to the incore
1213  * log, it is possible for two transactions to be completing
1214  * and manipulating the same item simultaneously.  The AIL lock
1215  * will protect the lsn field of each item.  The value of this
1216  * field can never go backwards.
1217  *
1218  * We unpin the items after repositioning them in the AIL, because
1219  * otherwise they could be immediately flushed and we'd have to race
1220  * with the flusher trying to pull the item from the AIL as we add it.
1221  */
1222 STATIC void
1223 xfs_trans_chunk_committed(
1224         xfs_log_item_chunk_t    *licp,
1225         xfs_lsn_t               lsn,
1226         int                     aborted)
1227 {
1228         xfs_log_item_desc_t     *lidp;
1229         xfs_log_item_t          *lip;
1230         xfs_lsn_t               item_lsn;
1231         struct xfs_mount        *mp;
1232         int                     i;
1233         SPLDECL(s);
1234
1235         lidp = licp->lic_descs;
1236         for (i = 0; i < licp->lic_unused; i++, lidp++) {
1237                 if (XFS_LIC_ISFREE(licp, i)) {
1238                         continue;
1239                 }
1240
1241                 lip = lidp->lid_item;
1242                 if (aborted)
1243                         lip->li_flags |= XFS_LI_ABORTED;
1244
1245                 /*
1246                  * Send in the ABORTED flag to the COMMITTED routine
1247                  * so that it knows whether the transaction was aborted
1248                  * or not.
1249                  */
1250                 item_lsn = IOP_COMMITTED(lip, lsn);
1251
1252                 /*
1253                  * If the committed routine returns -1, make
1254                  * no more references to the item.
1255                  */
1256                 if (XFS_LSN_CMP(item_lsn, (xfs_lsn_t)-1) == 0) {
1257                         continue;
1258                 }
1259
1260                 /*
1261                  * If the returned lsn is greater than what it
1262                  * contained before, update the location of the
1263                  * item in the AIL.  If it is not, then do nothing.
1264                  * Items can never move backwards in the AIL.
1265                  *
1266                  * While the new lsn should usually be greater, it
1267                  * is possible that a later transaction completing
1268                  * simultaneously with an earlier one using the
1269                  * same item could complete first with a higher lsn.
1270                  * This would cause the earlier transaction to fail
1271                  * the test below.
1272                  */
1273                 mp = lip->li_mountp;
1274                 AIL_LOCK(mp,s);
1275                 if (XFS_LSN_CMP(item_lsn, lip->li_lsn) > 0) {
1276                         /*
1277                          * This will set the item's lsn to item_lsn
1278                          * and update the position of the item in
1279                          * the AIL.
1280                          *
1281                          * xfs_trans_update_ail() drops the AIL lock.
1282                          */
1283                         xfs_trans_update_ail(mp, lip, item_lsn, s);
1284                 } else {
1285                         AIL_UNLOCK(mp, s);
1286                 }
1287
1288                 /*
1289                  * Now that we've repositioned the item in the AIL,
1290                  * unpin it so it can be flushed. Pass information
1291                  * about buffer stale state down from the log item
1292                  * flags, if anyone else stales the buffer we do not
1293                  * want to pay any attention to it.
1294                  */
1295                 IOP_UNPIN(lip, lidp->lid_flags & XFS_LID_BUF_STALE);
1296         }
1297 }