xfs_trans_ail.c 20.1 KB
Newer Older
L
Linus Torvalds 已提交
1
/*
2
 * Copyright (c) 2000-2002,2005 Silicon Graphics, Inc.
3
 * Copyright (c) 2008 Dave Chinner
4
 * All Rights Reserved.
L
Linus Torvalds 已提交
5
 *
6 7
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License as
L
Linus Torvalds 已提交
8 9
 * published by the Free Software Foundation.
 *
10 11 12 13
 * This program is distributed in the hope that it would be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
L
Linus Torvalds 已提交
14
 *
15 16 17
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write the Free Software Foundation,
 * Inc.,  51 Franklin St, Fifth Floor, Boston, MA  02110-1301  USA
L
Linus Torvalds 已提交
18 19
 */
#include "xfs.h"
20
#include "xfs_fs.h"
L
Linus Torvalds 已提交
21 22 23 24
#include "xfs_types.h"
#include "xfs_log.h"
#include "xfs_trans.h"
#include "xfs_sb.h"
25
#include "xfs_ag.h"
L
Linus Torvalds 已提交
26 27
#include "xfs_mount.h"
#include "xfs_trans_priv.h"
28
#include "xfs_trace.h"
L
Linus Torvalds 已提交
29 30 31
#include "xfs_error.h"

#ifdef DEBUG
32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73
/*
 * Check that the list is sorted as it should be.
 */
STATIC void
xfs_ail_check(
	struct xfs_ail	*ailp,
	xfs_log_item_t	*lip)
{
	xfs_log_item_t	*prev_lip;

	if (list_empty(&ailp->xa_ail))
		return;

	/*
	 * Check the next and previous entries are valid.
	 */
	ASSERT((lip->li_flags & XFS_LI_IN_AIL) != 0);
	prev_lip = list_entry(lip->li_ail.prev, xfs_log_item_t, li_ail);
	if (&prev_lip->li_ail != &ailp->xa_ail)
		ASSERT(XFS_LSN_CMP(prev_lip->li_lsn, lip->li_lsn) <= 0);

	prev_lip = list_entry(lip->li_ail.next, xfs_log_item_t, li_ail);
	if (&prev_lip->li_ail != &ailp->xa_ail)
		ASSERT(XFS_LSN_CMP(prev_lip->li_lsn, lip->li_lsn) >= 0);


#ifdef XFS_TRANS_DEBUG
	/*
	 * Walk the list checking lsn ordering, and that every entry has the
	 * XFS_LI_IN_AIL flag set. This is really expensive, so only do it
	 * when specifically debugging the transaction subsystem.
	 */
	prev_lip = list_entry(&ailp->xa_ail, xfs_log_item_t, li_ail);
	list_for_each_entry(lip, &ailp->xa_ail, li_ail) {
		if (&prev_lip->li_ail != &ailp->xa_ail)
			ASSERT(XFS_LSN_CMP(prev_lip->li_lsn, lip->li_lsn) <= 0);
		ASSERT((lip->li_flags & XFS_LI_IN_AIL) != 0);
		prev_lip = lip;
	}
#endif /* XFS_TRANS_DEBUG */
}
#else /* !DEBUG */
74
#define	xfs_ail_check(a,l)
L
Linus Torvalds 已提交
75 76
#endif /* DEBUG */

77 78 79 80
/*
 * Return a pointer to the first item in the AIL.  If the AIL is empty, then
 * return NULL.
 */
81
xfs_log_item_t *
82 83 84 85 86 87 88 89 90
xfs_ail_min(
	struct xfs_ail  *ailp)
{
	if (list_empty(&ailp->xa_ail))
		return NULL;

	return list_first_entry(&ailp->xa_ail, xfs_log_item_t, li_ail);
}

91 92 93 94 95 96 97 98 99 100 101 102 103 104
 /*
 * Return a pointer to the last item in the AIL.  If the AIL is empty, then
 * return NULL.
 */
static xfs_log_item_t *
xfs_ail_max(
	struct xfs_ail  *ailp)
{
	if (list_empty(&ailp->xa_ail))
		return NULL;

	return list_entry(ailp->xa_ail.prev, xfs_log_item_t, li_ail);
}

105 106 107 108 109 110 111 112 113 114 115 116 117 118
/*
 * Return a pointer to the item which follows the given item in the AIL.  If
 * the given item is the last item in the list, then return NULL.
 */
static xfs_log_item_t *
xfs_ail_next(
	struct xfs_ail  *ailp,
	xfs_log_item_t  *lip)
{
	if (lip->li_ail.next == &ailp->xa_ail)
		return NULL;

	return list_first_entry(&lip->li_ail, xfs_log_item_t, li_ail);
}
L
Linus Torvalds 已提交
119 120

/*
121 122 123
 * This is called by the log manager code to determine the LSN of the tail of
 * the log.  This is exactly the LSN of the first item in the AIL.  If the AIL
 * is empty, then this function returns 0.
L
Linus Torvalds 已提交
124
 *
125 126
 * We need the AIL lock in order to get a coherent read of the lsn of the last
 * item in the AIL.
L
Linus Torvalds 已提交
127 128
 */
xfs_lsn_t
129
xfs_ail_min_lsn(
130
	struct xfs_ail	*ailp)
L
Linus Torvalds 已提交
131
{
132
	xfs_lsn_t	lsn = 0;
L
Linus Torvalds 已提交
133 134
	xfs_log_item_t	*lip;

135
	spin_lock(&ailp->xa_lock);
136
	lip = xfs_ail_min(ailp);
137
	if (lip)
L
Linus Torvalds 已提交
138
		lsn = lip->li_lsn;
139
	spin_unlock(&ailp->xa_lock);
L
Linus Torvalds 已提交
140 141 142 143

	return lsn;
}

144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162
/*
 * Return the maximum lsn held in the AIL, or zero if the AIL is empty.
 */
static xfs_lsn_t
xfs_ail_max_lsn(
	struct xfs_ail  *ailp)
{
	xfs_lsn_t       lsn = 0;
	xfs_log_item_t  *lip;

	spin_lock(&ailp->xa_lock);
	lip = xfs_ail_max(ailp);
	if (lip)
		lsn = lip->li_lsn;
	spin_unlock(&ailp->xa_lock);

	return lsn;
}

163
/*
164 165 166 167 168
 * The cursor keeps track of where our current traversal is up to by tracking
 * the next item in the list for us. However, for this to be safe, removing an
 * object from the AIL needs to invalidate any cursor that points to it. hence
 * the traversal cursor needs to be linked to the struct xfs_ail so that
 * deletion can search all the active cursors for invalidation.
169
 */
170
STATIC void
171 172 173 174 175
xfs_trans_ail_cursor_init(
	struct xfs_ail		*ailp,
	struct xfs_ail_cursor	*cur)
{
	cur->item = NULL;
176
	list_add_tail(&cur->list, &ailp->xa_cursors);
177 178 179
}

/*
180 181
 * Get the next item in the traversal and advance the cursor.  If the cursor
 * was invalidated (indicated by a lip of 1), restart the traversal.
182
 */
183
struct xfs_log_item *
184 185 186 187 188 189 190 191
xfs_trans_ail_cursor_next(
	struct xfs_ail		*ailp,
	struct xfs_ail_cursor	*cur)
{
	struct xfs_log_item	*lip = cur->item;

	if ((__psint_t)lip & 1)
		lip = xfs_ail_min(ailp);
192 193
	if (lip)
		cur->item = xfs_ail_next(ailp, lip);
194 195 196 197
	return lip;
}

/*
198 199
 * When the traversal is complete, we need to remove the cursor from the list
 * of traversing cursors.
200 201 202 203
 */
void
xfs_trans_ail_cursor_done(
	struct xfs_ail		*ailp,
204
	struct xfs_ail_cursor	*cur)
205
{
206 207
	cur->item = NULL;
	list_del_init(&cur->list);
208 209
}

210
/*
211 212 213 214 215 216
 * Invalidate any cursor that is pointing to this item. This is called when an
 * item is removed from the AIL. Any cursor pointing to this object is now
 * invalid and the traversal needs to be terminated so it doesn't reference a
 * freed object. We set the low bit of the cursor item pointer so we can
 * distinguish between an invalidation and the end of the list when getting the
 * next item from the cursor.
217 218 219 220 221 222 223 224
 */
STATIC void
xfs_trans_ail_cursor_clear(
	struct xfs_ail		*ailp,
	struct xfs_log_item	*lip)
{
	struct xfs_ail_cursor	*cur;

225
	list_for_each_entry(cur, &ailp->xa_cursors, list) {
226 227 228 229 230 231
		if (cur->item == lip)
			cur->item = (struct xfs_log_item *)
					((__psint_t)cur->item | 1);
	}
}

232
/*
233 234 235 236
 * Find the first item in the AIL with the given @lsn by searching in ascending
 * LSN order and initialise the cursor to point to the next item for a
 * ascending traversal.  Pass a @lsn of zero to initialise the cursor to the
 * first item in the AIL. Returns NULL if the list is empty.
237
 */
238 239
xfs_log_item_t *
xfs_trans_ail_cursor_first(
240 241 242
	struct xfs_ail		*ailp,
	struct xfs_ail_cursor	*cur,
	xfs_lsn_t		lsn)
243
{
244
	xfs_log_item_t		*lip;
245

246
	xfs_trans_ail_cursor_init(ailp, cur);
247 248 249

	if (lsn == 0) {
		lip = xfs_ail_min(ailp);
250
		goto out;
251
	}
252

253
	list_for_each_entry(lip, &ailp->xa_ail, li_ail) {
254
		if (XFS_LSN_CMP(lip->li_lsn, lsn) >= 0)
255
			goto out;
256
	}
257 258
	return NULL;

259
out:
260 261
	if (lip)
		cur->item = xfs_ail_next(ailp, lip);
262
	return lip;
263 264
}

265 266 267 268 269 270 271 272 273 274 275 276 277 278 279
static struct xfs_log_item *
__xfs_trans_ail_cursor_last(
	struct xfs_ail		*ailp,
	xfs_lsn_t		lsn)
{
	xfs_log_item_t		*lip;

	list_for_each_entry_reverse(lip, &ailp->xa_ail, li_ail) {
		if (XFS_LSN_CMP(lip->li_lsn, lsn) <= 0)
			return lip;
	}
	return NULL;
}

/*
280 281 282 283
 * Find the last item in the AIL with the given @lsn by searching in descending
 * LSN order and initialise the cursor to point to that item.  If there is no
 * item with the value of @lsn, then it sets the cursor to the last item with an
 * LSN lower than @lsn.  Returns NULL if the list is empty.
284 285 286 287 288 289 290 291 292 293 294 295 296
 */
struct xfs_log_item *
xfs_trans_ail_cursor_last(
	struct xfs_ail		*ailp,
	struct xfs_ail_cursor	*cur,
	xfs_lsn_t		lsn)
{
	xfs_trans_ail_cursor_init(ailp, cur);
	cur->item = __xfs_trans_ail_cursor_last(ailp, lsn);
	return cur->item;
}

/*
297
 * Splice the log item list into the AIL at the given LSN. We splice to the
298 299
 * tail of the given LSN to maintain insert order for push traversals. The
 * cursor is optional, allowing repeated updates to the same LSN to avoid
300
 * repeated traversals.  This should not be called with an empty list.
301 302 303
 */
static void
xfs_ail_splice(
304 305 306 307
	struct xfs_ail		*ailp,
	struct xfs_ail_cursor	*cur,
	struct list_head	*list,
	xfs_lsn_t		lsn)
308
{
309 310 311
	struct xfs_log_item	*lip;

	ASSERT(!list_empty(list));
312

313
	/*
314 315 316
	 * Use the cursor to determine the insertion point if one is
	 * provided.  If not, or if the one we got is not valid,
	 * find the place in the AIL where the items belong.
317
	 */
318 319
	lip = cur ? cur->item : NULL;
	if (!lip || (__psint_t) lip & 1)
320 321
		lip = __xfs_trans_ail_cursor_last(ailp, lsn);

322 323 324 325 326 327 328 329 330
	/*
	 * If a cursor is provided, we know we're processing the AIL
	 * in lsn order, and future items to be spliced in will
	 * follow the last one being inserted now.  Update the
	 * cursor to point to that last item, now while we have a
	 * reliable pointer to it.
	 */
	if (cur)
		cur->item = list_entry(list->prev, struct xfs_log_item, li_ail);
331

332
	/*
333 334 335 336
	 * Finally perform the splice.  Unless the AIL was empty,
	 * lip points to the item in the AIL _after_ which the new
	 * items should go.  If lip is null the AIL was empty, so
	 * the new items go at the head of the AIL.
337
	 */
338 339 340 341
	if (lip)
		list_splice(list, &lip->li_ail);
	else
		list_splice(list, &ailp->xa_ail);
342 343 344 345 346 347 348 349 350 351 352 353 354 355 356
}

/*
 * Delete the given item from the AIL.  Return a pointer to the item.
 */
static void
xfs_ail_delete(
	struct xfs_ail  *ailp,
	xfs_log_item_t  *lip)
{
	xfs_ail_check(ailp, lip);
	list_del(&lip->li_ail);
	xfs_trans_ail_cursor_clear(ailp, lip);
}

357 358 359
static long
xfsaild_push(
	struct xfs_ail		*ailp)
360
{
361
	xfs_mount_t		*mp = ailp->xa_mount;
362
	struct xfs_ail_cursor	cur;
363 364
	xfs_log_item_t		*lip;
	xfs_lsn_t		lsn;
365
	xfs_lsn_t		target;
366
	long			tout;
367
	int			stuck = 0;
368
	int			flushing = 0;
369
	int			count = 0;
L
Linus Torvalds 已提交
370

371
	/*
372 373 374
	 * If we encountered pinned items or did not finish writing out all
	 * buffers the last time we ran, force the log first and wait for it
	 * before pushing again.
375
	 */
376 377 378
	if (ailp->xa_log_flush && ailp->xa_last_pushed_lsn == 0 &&
	    (!list_empty_careful(&ailp->xa_buf_list) ||
	     xfs_ail_min_lsn(ailp))) {
379
		ailp->xa_log_flush = 0;
380

381 382 383 384
		XFS_STATS_INC(xs_push_ail_flush);
		xfs_log_force(mp, XFS_LOG_SYNC);
	}

385
	spin_lock(&ailp->xa_lock);
386
	lip = xfs_trans_ail_cursor_first(ailp, &cur, ailp->xa_last_pushed_lsn);
387
	if (!lip) {
L
Linus Torvalds 已提交
388
		/*
389 390
		 * If the AIL is empty or our push has reached the end we are
		 * done now.
L
Linus Torvalds 已提交
391
		 */
392
		xfs_trans_ail_cursor_done(ailp, &cur);
393
		spin_unlock(&ailp->xa_lock);
394
		goto out_done;
L
Linus Torvalds 已提交
395 396 397 398
	}

	XFS_STATS_INC(xs_push_ail);

399
	lsn = lip->li_lsn;
400
	target = ailp->xa_target;
401
	while ((XFS_LSN_CMP(lip->li_lsn, target) <= 0)) {
402
		int	lock_result;
403

L
Linus Torvalds 已提交
404
		/*
405 406 407
		 * Note that IOP_PUSH may unlock and reacquire the AIL lock.  We
		 * rely on the AIL cursor implementation to be able to deal with
		 * the dropped lock.
L
Linus Torvalds 已提交
408
		 */
409
		lock_result = IOP_PUSH(lip, &ailp->xa_buf_list);
L
Linus Torvalds 已提交
410
		switch (lock_result) {
411
		case XFS_ITEM_SUCCESS:
L
Linus Torvalds 已提交
412
			XFS_STATS_INC(xs_push_ail_success);
413 414
			trace_xfs_ail_push(lip);

415
			ailp->xa_last_pushed_lsn = lsn;
L
Linus Torvalds 已提交
416 417
			break;

418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434
		case XFS_ITEM_FLUSHING:
			/*
			 * The item or its backing buffer is already beeing
			 * flushed.  The typical reason for that is that an
			 * inode buffer is locked because we already pushed the
			 * updates to it as part of inode clustering.
			 *
			 * We do not want to to stop flushing just because lots
			 * of items are already beeing flushed, but we need to
			 * re-try the flushing relatively soon if most of the
			 * AIL is beeing flushed.
			 */
			XFS_STATS_INC(xs_push_ail_flushing);
			trace_xfs_ail_flushing(lip);

			flushing++;
			ailp->xa_last_pushed_lsn = lsn;
L
Linus Torvalds 已提交
435 436
			break;

437
		case XFS_ITEM_PINNED:
L
Linus Torvalds 已提交
438
			XFS_STATS_INC(xs_push_ail_pinned);
439 440
			trace_xfs_ail_pinned(lip);

441
			stuck++;
442
			ailp->xa_log_flush++;
L
Linus Torvalds 已提交
443
			break;
444
		case XFS_ITEM_LOCKED:
L
Linus Torvalds 已提交
445
			XFS_STATS_INC(xs_push_ail_locked);
446
			trace_xfs_ail_locked(lip);
447

448
			stuck++;
L
Linus Torvalds 已提交
449
			break;
450
		default:
L
Linus Torvalds 已提交
451 452 453 454
			ASSERT(0);
			break;
		}

455
		count++;
L
Linus Torvalds 已提交
456

457 458
		/*
		 * Are there too many items we can't do anything with?
459
		 *
460 461 462 463 464 465 466 467 468 469 470 471 472
		 * If we we are skipping too many items because we can't flush
		 * them or they are already being flushed, we back off and
		 * given them time to complete whatever operation is being
		 * done. i.e. remove pressure from the AIL while we can't make
		 * progress so traversals don't slow down further inserts and
		 * removals to/from the AIL.
		 *
		 * The value of 100 is an arbitrary magic number based on
		 * observation.
		 */
		if (stuck > 100)
			break;

473
		lip = xfs_trans_ail_cursor_next(ailp, &cur);
474 475 476
		if (lip == NULL)
			break;
		lsn = lip->li_lsn;
L
Linus Torvalds 已提交
477
	}
478
	xfs_trans_ail_cursor_done(ailp, &cur);
479
	spin_unlock(&ailp->xa_lock);
L
Linus Torvalds 已提交
480

481 482
	if (xfs_buf_delwri_submit_nowait(&ailp->xa_buf_list))
		ailp->xa_log_flush++;
483

484
	if (!count || XFS_LSN_CMP(lsn, target) >= 0) {
485
out_done:
486
		/*
487 488 489
		 * We reached the target or the AIL is empty, so wait a bit
		 * longer for I/O to complete and remove pushed items from the
		 * AIL before we start the next scan from the start of the AIL.
490
		 */
491
		tout = 50;
492
		ailp->xa_last_pushed_lsn = 0;
493
	} else if (((stuck + flushing) * 100) / count > 90) {
494
		/*
495 496 497
		 * Either there is a lot of contention on the AIL or we are
		 * stuck due to operations in progress. "Stuck" in this case
		 * is defined as >90% of the items we tried to push were stuck.
498 499
		 *
		 * Backoff a bit more to allow some I/O to complete before
500 501 502
		 * restarting from the start of the AIL. This prevents us from
		 * spinning on the same items, and if they are pinned will all
		 * the restart to issue a log force to unpin the stuck items.
503
		 */
504
		tout = 20;
505
		ailp->xa_last_pushed_lsn = 0;
506 507 508 509 510
	} else {
		/*
		 * Assume we have more work to do in a short while.
		 */
		tout = 10;
L
Linus Torvalds 已提交
511
	}
512

513 514 515 516 517 518 519 520 521 522
	return tout;
}

static int
xfsaild(
	void		*data)
{
	struct xfs_ail	*ailp = data;
	long		tout = 0;	/* milliseconds */

523 524
	current->flags |= PF_MEMALLOC;

525 526 527 528 529 530 531 532 533 534 535 536 537 538
	while (!kthread_should_stop()) {
		if (tout && tout <= 20)
			__set_current_state(TASK_KILLABLE);
		else
			__set_current_state(TASK_INTERRUPTIBLE);
		schedule_timeout(tout ?
				 msecs_to_jiffies(tout) : MAX_SCHEDULE_TIMEOUT);

		try_to_freeze();

		tout = xfsaild_push(ailp);
	}

	return 0;
539
}
L
Linus Torvalds 已提交
540

541 542 543 544 545 546 547 548 549 550 551 552 553 554 555
/*
 * This routine is called to move the tail of the AIL forward.  It does this by
 * trying to flush items in the AIL whose lsns are below the given
 * threshold_lsn.
 *
 * The push is run asynchronously in a workqueue, which means the caller needs
 * to handle waiting on the async flush for space to become available.
 * We don't want to interrupt any push that is in progress, hence we only queue
 * work if we set the pushing bit approriately.
 *
 * We do this unlocked - we only need to know whether there is anything in the
 * AIL at the time we are called. We don't need to access the contents of
 * any of the objects, so the lock is not needed.
 */
void
556
xfs_ail_push(
557 558 559 560 561 562 563 564 565 566 567 568 569 570 571
	struct xfs_ail	*ailp,
	xfs_lsn_t	threshold_lsn)
{
	xfs_log_item_t	*lip;

	lip = xfs_ail_min(ailp);
	if (!lip || XFS_FORCED_SHUTDOWN(ailp->xa_mount) ||
	    XFS_LSN_CMP(threshold_lsn, ailp->xa_target) <= 0)
		return;

	/*
	 * Ensure that the new target is noticed in push code before it clears
	 * the XFS_AIL_PUSHING_BIT.
	 */
	smp_wmb();
572
	xfs_trans_ail_copy_lsn(ailp, &ailp->xa_target, &threshold_lsn);
573 574 575
	smp_wmb();

	wake_up_process(ailp->xa_task);
576
}
L
Linus Torvalds 已提交
577

578 579 580 581 582 583 584 585 586 587 588 589 590
/*
 * Push out all items in the AIL immediately
 */
void
xfs_ail_push_all(
	struct xfs_ail  *ailp)
{
	xfs_lsn_t       threshold_lsn = xfs_ail_max_lsn(ailp);

	if (threshold_lsn)
		xfs_ail_push(ailp, threshold_lsn);
}

591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614
/*
 * Push out all items in the AIL immediately and wait until the AIL is empty.
 */
void
xfs_ail_push_all_sync(
	struct xfs_ail  *ailp)
{
	struct xfs_log_item	*lip;
	DEFINE_WAIT(wait);

	spin_lock(&ailp->xa_lock);
	while ((lip = xfs_ail_max(ailp)) != NULL) {
		prepare_to_wait(&ailp->xa_empty, &wait, TASK_UNINTERRUPTIBLE);
		ailp->xa_target = lip->li_lsn;
		wake_up_process(ailp->xa_task);
		spin_unlock(&ailp->xa_lock);
		schedule();
		spin_lock(&ailp->xa_lock);
	}
	spin_unlock(&ailp->xa_lock);

	finish_wait(&ailp->xa_empty, &wait);
}

615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639
/*
 * xfs_trans_ail_update - bulk AIL insertion operation.
 *
 * @xfs_trans_ail_update takes an array of log items that all need to be
 * positioned at the same LSN in the AIL. If an item is not in the AIL, it will
 * be added.  Otherwise, it will be repositioned  by removing it and re-adding
 * it to the AIL. If we move the first item in the AIL, update the log tail to
 * match the new minimum LSN in the AIL.
 *
 * This function takes the AIL lock once to execute the update operations on
 * all the items in the array, and as such should not be called with the AIL
 * lock held. As a result, once we have the AIL lock, we need to check each log
 * item LSN to confirm it needs to be moved forward in the AIL.
 *
 * To optimise the insert operation, we delete all the items from the AIL in
 * the first pass, moving them into a temporary list, then splice the temporary
 * list into the correct position in the AIL. This avoids needing to do an
 * insert operation on every item.
 *
 * This function must be called with the AIL lock held.  The lock is dropped
 * before returning.
 */
void
xfs_trans_ail_update_bulk(
	struct xfs_ail		*ailp,
640
	struct xfs_ail_cursor	*cur,
641 642 643 644 645 646 647 648 649
	struct xfs_log_item	**log_items,
	int			nr_items,
	xfs_lsn_t		lsn) __releases(ailp->xa_lock)
{
	xfs_log_item_t		*mlip;
	int			mlip_changed = 0;
	int			i;
	LIST_HEAD(tmp);

650
	ASSERT(nr_items > 0);		/* Not required, but true. */
651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669
	mlip = xfs_ail_min(ailp);

	for (i = 0; i < nr_items; i++) {
		struct xfs_log_item *lip = log_items[i];
		if (lip->li_flags & XFS_LI_IN_AIL) {
			/* check if we really need to move the item */
			if (XFS_LSN_CMP(lsn, lip->li_lsn) <= 0)
				continue;

			xfs_ail_delete(ailp, lip);
			if (mlip == lip)
				mlip_changed = 1;
		} else {
			lip->li_flags |= XFS_LI_IN_AIL;
		}
		lip->li_lsn = lsn;
		list_add(&lip->li_ail, &tmp);
	}

670 671
	if (!list_empty(&tmp))
		xfs_ail_splice(ailp, cur, &tmp, lsn);
672

673 674 675 676 677
	if (mlip_changed) {
		if (!XFS_FORCED_SHUTDOWN(ailp->xa_mount))
			xlog_assign_tail_lsn_locked(ailp->xa_mount);
		spin_unlock(&ailp->xa_lock);

678
		xfs_log_space_wake(ailp->xa_mount);
679 680
	} else {
		spin_unlock(&ailp->xa_lock);
681 682 683
	}
}

684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708
/*
 * xfs_trans_ail_delete_bulk - remove multiple log items from the AIL
 *
 * @xfs_trans_ail_delete_bulk takes an array of log items that all need to
 * removed from the AIL. The caller is already holding the AIL lock, and done
 * all the checks necessary to ensure the items passed in via @log_items are
 * ready for deletion. This includes checking that the items are in the AIL.
 *
 * For each log item to be removed, unlink it  from the AIL, clear the IN_AIL
 * flag from the item and reset the item's lsn to 0. If we remove the first
 * item in the AIL, update the log tail to match the new minimum LSN in the
 * AIL.
 *
 * This function will not drop the AIL lock until all items are removed from
 * the AIL to minimise the amount of lock traffic on the AIL. This does not
 * greatly increase the AIL hold time, but does significantly reduce the amount
 * of traffic on the lock, especially during IO completion.
 *
 * This function must be called with the AIL lock held.  The lock is dropped
 * before returning.
 */
void
xfs_trans_ail_delete_bulk(
	struct xfs_ail		*ailp,
	struct xfs_log_item	**log_items,
709 710
	int			nr_items,
	int			shutdown_type) __releases(ailp->xa_lock)
711 712 713 714 715 716 717 718 719 720 721 722 723 724
{
	xfs_log_item_t		*mlip;
	int			mlip_changed = 0;
	int			i;

	mlip = xfs_ail_min(ailp);

	for (i = 0; i < nr_items; i++) {
		struct xfs_log_item *lip = log_items[i];
		if (!(lip->li_flags & XFS_LI_IN_AIL)) {
			struct xfs_mount	*mp = ailp->xa_mount;

			spin_unlock(&ailp->xa_lock);
			if (!XFS_FORCED_SHUTDOWN(mp)) {
725
				xfs_alert_tag(mp, XFS_PTAG_AILDELETE,
726 727
		"%s: attempting to delete a log item that is not in the AIL",
						__func__);
728
				xfs_force_shutdown(mp, shutdown_type);
729 730 731 732 733 734 735 736 737 738 739
			}
			return;
		}

		xfs_ail_delete(ailp, lip);
		lip->li_flags &= ~XFS_LI_IN_AIL;
		lip->li_lsn = 0;
		if (mlip == lip)
			mlip_changed = 1;
	}

740 741 742
	if (mlip_changed) {
		if (!XFS_FORCED_SHUTDOWN(ailp->xa_mount))
			xlog_assign_tail_lsn_locked(ailp->xa_mount);
743 744
		if (list_empty(&ailp->xa_ail))
			wake_up_all(&ailp->xa_empty);
745 746
		spin_unlock(&ailp->xa_lock);

747
		xfs_log_space_wake(ailp->xa_mount);
748 749
	} else {
		spin_unlock(&ailp->xa_lock);
750 751
	}
}
L
Linus Torvalds 已提交
752

753
int
L
Linus Torvalds 已提交
754 755 756
xfs_trans_ail_init(
	xfs_mount_t	*mp)
{
D
David Chinner 已提交
757 758 759 760 761 762 763 764
	struct xfs_ail	*ailp;

	ailp = kmem_zalloc(sizeof(struct xfs_ail), KM_MAYFAIL);
	if (!ailp)
		return ENOMEM;

	ailp->xa_mount = mp;
	INIT_LIST_HEAD(&ailp->xa_ail);
765
	INIT_LIST_HEAD(&ailp->xa_cursors);
766
	spin_lock_init(&ailp->xa_lock);
767
	INIT_LIST_HEAD(&ailp->xa_buf_list);
768
	init_waitqueue_head(&ailp->xa_empty);
769 770 771 772 773 774

	ailp->xa_task = kthread_run(xfsaild, ailp, "xfsaild/%s",
			ailp->xa_mount->m_fsname);
	if (IS_ERR(ailp->xa_task))
		goto out_free_ailp;

775 776
	mp->m_ail = ailp;
	return 0;
777 778 779 780

out_free_ailp:
	kmem_free(ailp);
	return ENOMEM;
781 782 783 784 785 786
}

void
xfs_trans_ail_destroy(
	xfs_mount_t	*mp)
{
D
David Chinner 已提交
787 788
	struct xfs_ail	*ailp = mp->m_ail;

789
	kthread_stop(ailp->xa_task);
D
David Chinner 已提交
790
	kmem_free(ailp);
L
Linus Torvalds 已提交
791
}