blob: fd22f69049d49861ff1f853ec11a2d23e3eef03f [file] [log] [blame]
Dave Chinnerefc27b52012-04-29 10:39:43 +00001/*
2 * Copyright (c) 2000-2002,2005 Silicon Graphics, Inc.
3 * Copyright (c) 2010 David Chinner.
4 * Copyright (c) 2011 Christoph Hellwig.
5 * All Rights Reserved.
6 *
7 * This program is free software; you can redistribute it and/or
8 * modify it under the terms of the GNU General Public License as
9 * published by the Free Software Foundation.
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"
Dave Chinner70a98832013-10-23 10:36:05 +110022#include "xfs_format.h"
Dave Chinner239880e2013-10-23 10:50:10 +110023#include "xfs_log_format.h"
Dave Chinner70a98832013-10-23 10:36:05 +110024#include "xfs_shared.h"
Dave Chinner239880e2013-10-23 10:50:10 +110025#include "xfs_trans_resv.h"
Dave Chinnerefc27b52012-04-29 10:39:43 +000026#include "xfs_sb.h"
27#include "xfs_ag.h"
28#include "xfs_mount.h"
Dave Chinnerefc27b52012-04-29 10:39:43 +000029#include "xfs_alloc.h"
Dave Chinnerefc27b52012-04-29 10:39:43 +000030#include "xfs_extent_busy.h"
31#include "xfs_trace.h"
Dave Chinner239880e2013-10-23 10:50:10 +110032#include "xfs_trans.h"
33#include "xfs_log.h"
Dave Chinnerefc27b52012-04-29 10:39:43 +000034
35void
Dave Chinner4ecbfe62012-04-29 10:41:10 +000036xfs_extent_busy_insert(
Dave Chinnerefc27b52012-04-29 10:39:43 +000037 struct xfs_trans *tp,
38 xfs_agnumber_t agno,
39 xfs_agblock_t bno,
40 xfs_extlen_t len,
41 unsigned int flags)
42{
Dave Chinner4ecbfe62012-04-29 10:41:10 +000043 struct xfs_extent_busy *new;
44 struct xfs_extent_busy *busyp;
Dave Chinnerefc27b52012-04-29 10:39:43 +000045 struct xfs_perag *pag;
46 struct rb_node **rbp;
47 struct rb_node *parent = NULL;
48
Dave Chinner4ecbfe62012-04-29 10:41:10 +000049 new = kmem_zalloc(sizeof(struct xfs_extent_busy), KM_MAYFAIL);
Dave Chinnerefc27b52012-04-29 10:39:43 +000050 if (!new) {
51 /*
52 * No Memory! Since it is now not possible to track the free
53 * block, make this a synchronous transaction to insure that
54 * the block is not reused before this transaction commits.
55 */
Dave Chinner4ecbfe62012-04-29 10:41:10 +000056 trace_xfs_extent_busy_enomem(tp->t_mountp, agno, bno, len);
Dave Chinnerefc27b52012-04-29 10:39:43 +000057 xfs_trans_set_sync(tp);
58 return;
59 }
60
61 new->agno = agno;
62 new->bno = bno;
63 new->length = len;
64 INIT_LIST_HEAD(&new->list);
65 new->flags = flags;
66
67 /* trace before insert to be able to see failed inserts */
Dave Chinner4ecbfe62012-04-29 10:41:10 +000068 trace_xfs_extent_busy(tp->t_mountp, agno, bno, len);
Dave Chinnerefc27b52012-04-29 10:39:43 +000069
70 pag = xfs_perag_get(tp->t_mountp, new->agno);
71 spin_lock(&pag->pagb_lock);
72 rbp = &pag->pagb_tree.rb_node;
73 while (*rbp) {
74 parent = *rbp;
Dave Chinner4ecbfe62012-04-29 10:41:10 +000075 busyp = rb_entry(parent, struct xfs_extent_busy, rb_node);
Dave Chinnerefc27b52012-04-29 10:39:43 +000076
77 if (new->bno < busyp->bno) {
78 rbp = &(*rbp)->rb_left;
79 ASSERT(new->bno + new->length <= busyp->bno);
80 } else if (new->bno > busyp->bno) {
81 rbp = &(*rbp)->rb_right;
82 ASSERT(bno >= busyp->bno + busyp->length);
83 } else {
84 ASSERT(0);
85 }
86 }
87
88 rb_link_node(&new->rb_node, parent, rbp);
89 rb_insert_color(&new->rb_node, &pag->pagb_tree);
90
91 list_add(&new->list, &tp->t_busy);
92 spin_unlock(&pag->pagb_lock);
93 xfs_perag_put(pag);
94}
95
96/*
97 * Search for a busy extent within the range of the extent we are about to
98 * allocate. You need to be holding the busy extent tree lock when calling
Dave Chinner4ecbfe62012-04-29 10:41:10 +000099 * xfs_extent_busy_search(). This function returns 0 for no overlapping busy
Dave Chinnerefc27b52012-04-29 10:39:43 +0000100 * extent, -1 for an overlapping but not exact busy extent, and 1 for an exact
101 * match. This is done so that a non-zero return indicates an overlap that
102 * will require a synchronous transaction, but it can still be
103 * used to distinguish between a partial or exact match.
104 */
105int
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000106xfs_extent_busy_search(
Dave Chinnerefc27b52012-04-29 10:39:43 +0000107 struct xfs_mount *mp,
108 xfs_agnumber_t agno,
109 xfs_agblock_t bno,
110 xfs_extlen_t len)
111{
112 struct xfs_perag *pag;
113 struct rb_node *rbp;
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000114 struct xfs_extent_busy *busyp;
Dave Chinnerefc27b52012-04-29 10:39:43 +0000115 int match = 0;
116
117 pag = xfs_perag_get(mp, agno);
118 spin_lock(&pag->pagb_lock);
119
120 rbp = pag->pagb_tree.rb_node;
121
122 /* find closest start bno overlap */
123 while (rbp) {
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000124 busyp = rb_entry(rbp, struct xfs_extent_busy, rb_node);
Dave Chinnerefc27b52012-04-29 10:39:43 +0000125 if (bno < busyp->bno) {
126 /* may overlap, but exact start block is lower */
127 if (bno + len > busyp->bno)
128 match = -1;
129 rbp = rbp->rb_left;
130 } else if (bno > busyp->bno) {
131 /* may overlap, but exact start block is higher */
132 if (bno < busyp->bno + busyp->length)
133 match = -1;
134 rbp = rbp->rb_right;
135 } else {
136 /* bno matches busyp, length determines exact match */
137 match = (busyp->length == len) ? 1 : -1;
138 break;
139 }
140 }
141 spin_unlock(&pag->pagb_lock);
142 xfs_perag_put(pag);
143 return match;
144}
145
146/*
147 * The found free extent [fbno, fend] overlaps part or all of the given busy
148 * extent. If the overlap covers the beginning, the end, or all of the busy
149 * extent, the overlapping portion can be made unbusy and used for the
150 * allocation. We can't split a busy extent because we can't modify a
Zhi Yong Wub3c496342013-08-12 03:14:57 +0000151 * transaction/CIL context busy list, but we can update an entry's block
Dave Chinnerefc27b52012-04-29 10:39:43 +0000152 * number or length.
153 *
154 * Returns true if the extent can safely be reused, or false if the search
155 * needs to be restarted.
156 */
157STATIC bool
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000158xfs_extent_busy_update_extent(
Dave Chinnerefc27b52012-04-29 10:39:43 +0000159 struct xfs_mount *mp,
160 struct xfs_perag *pag,
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000161 struct xfs_extent_busy *busyp,
Dave Chinnerefc27b52012-04-29 10:39:43 +0000162 xfs_agblock_t fbno,
163 xfs_extlen_t flen,
Dave Chinnera30b0362013-09-02 20:49:36 +1000164 bool userdata) __releases(&pag->pagb_lock)
165 __acquires(&pag->pagb_lock)
Dave Chinnerefc27b52012-04-29 10:39:43 +0000166{
167 xfs_agblock_t fend = fbno + flen;
168 xfs_agblock_t bbno = busyp->bno;
169 xfs_agblock_t bend = bbno + busyp->length;
170
171 /*
172 * This extent is currently being discarded. Give the thread
173 * performing the discard a chance to mark the extent unbusy
174 * and retry.
175 */
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000176 if (busyp->flags & XFS_EXTENT_BUSY_DISCARDED) {
Dave Chinnerefc27b52012-04-29 10:39:43 +0000177 spin_unlock(&pag->pagb_lock);
178 delay(1);
179 spin_lock(&pag->pagb_lock);
180 return false;
181 }
182
183 /*
184 * If there is a busy extent overlapping a user allocation, we have
185 * no choice but to force the log and retry the search.
186 *
187 * Fortunately this does not happen during normal operation, but
188 * only if the filesystem is very low on space and has to dip into
189 * the AGFL for normal allocations.
190 */
191 if (userdata)
192 goto out_force_log;
193
194 if (bbno < fbno && bend > fend) {
195 /*
196 * Case 1:
197 * bbno bend
198 * +BBBBBBBBBBBBBBBBB+
199 * +---------+
200 * fbno fend
201 */
202
203 /*
204 * We would have to split the busy extent to be able to track
205 * it correct, which we cannot do because we would have to
206 * modify the list of busy extents attached to the transaction
207 * or CIL context, which is immutable.
208 *
209 * Force out the log to clear the busy extent and retry the
210 * search.
211 */
212 goto out_force_log;
213 } else if (bbno >= fbno && bend <= fend) {
214 /*
215 * Case 2:
216 * bbno bend
217 * +BBBBBBBBBBBBBBBBB+
218 * +-----------------+
219 * fbno fend
220 *
221 * Case 3:
222 * bbno bend
223 * +BBBBBBBBBBBBBBBBB+
224 * +--------------------------+
225 * fbno fend
226 *
227 * Case 4:
228 * bbno bend
229 * +BBBBBBBBBBBBBBBBB+
230 * +--------------------------+
231 * fbno fend
232 *
233 * Case 5:
234 * bbno bend
235 * +BBBBBBBBBBBBBBBBB+
236 * +-----------------------------------+
237 * fbno fend
238 *
239 */
240
241 /*
242 * The busy extent is fully covered by the extent we are
243 * allocating, and can simply be removed from the rbtree.
244 * However we cannot remove it from the immutable list
245 * tracking busy extents in the transaction or CIL context,
246 * so set the length to zero to mark it invalid.
247 *
248 * We also need to restart the busy extent search from the
249 * tree root, because erasing the node can rearrange the
250 * tree topology.
251 */
252 rb_erase(&busyp->rb_node, &pag->pagb_tree);
253 busyp->length = 0;
254 return false;
255 } else if (fend < bend) {
256 /*
257 * Case 6:
258 * bbno bend
259 * +BBBBBBBBBBBBBBBBB+
260 * +---------+
261 * fbno fend
262 *
263 * Case 7:
264 * bbno bend
265 * +BBBBBBBBBBBBBBBBB+
266 * +------------------+
267 * fbno fend
268 *
269 */
270 busyp->bno = fend;
271 } else if (bbno < fbno) {
272 /*
273 * Case 8:
274 * bbno bend
275 * +BBBBBBBBBBBBBBBBB+
276 * +-------------+
277 * fbno fend
278 *
279 * Case 9:
280 * bbno bend
281 * +BBBBBBBBBBBBBBBBB+
282 * +----------------------+
283 * fbno fend
284 */
285 busyp->length = fbno - busyp->bno;
286 } else {
287 ASSERT(0);
288 }
289
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000290 trace_xfs_extent_busy_reuse(mp, pag->pag_agno, fbno, flen);
Dave Chinnerefc27b52012-04-29 10:39:43 +0000291 return true;
292
293out_force_log:
294 spin_unlock(&pag->pagb_lock);
295 xfs_log_force(mp, XFS_LOG_SYNC);
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000296 trace_xfs_extent_busy_force(mp, pag->pag_agno, fbno, flen);
Dave Chinnerefc27b52012-04-29 10:39:43 +0000297 spin_lock(&pag->pagb_lock);
298 return false;
299}
300
301
302/*
303 * For a given extent [fbno, flen], make sure we can reuse it safely.
304 */
305void
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000306xfs_extent_busy_reuse(
Dave Chinnerefc27b52012-04-29 10:39:43 +0000307 struct xfs_mount *mp,
308 xfs_agnumber_t agno,
309 xfs_agblock_t fbno,
310 xfs_extlen_t flen,
311 bool userdata)
312{
313 struct xfs_perag *pag;
314 struct rb_node *rbp;
315
316 ASSERT(flen > 0);
317
318 pag = xfs_perag_get(mp, agno);
319 spin_lock(&pag->pagb_lock);
320restart:
321 rbp = pag->pagb_tree.rb_node;
322 while (rbp) {
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000323 struct xfs_extent_busy *busyp =
324 rb_entry(rbp, struct xfs_extent_busy, rb_node);
Dave Chinnerefc27b52012-04-29 10:39:43 +0000325 xfs_agblock_t bbno = busyp->bno;
326 xfs_agblock_t bend = bbno + busyp->length;
327
328 if (fbno + flen <= bbno) {
329 rbp = rbp->rb_left;
330 continue;
331 } else if (fbno >= bend) {
332 rbp = rbp->rb_right;
333 continue;
334 }
335
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000336 if (!xfs_extent_busy_update_extent(mp, pag, busyp, fbno, flen,
Dave Chinnerefc27b52012-04-29 10:39:43 +0000337 userdata))
338 goto restart;
339 }
340 spin_unlock(&pag->pagb_lock);
341 xfs_perag_put(pag);
342}
343
344/*
345 * For a given extent [fbno, flen], search the busy extent list to find a
346 * subset of the extent that is not busy. If *rlen is smaller than
347 * args->minlen no suitable extent could be found, and the higher level
348 * code needs to force out the log and retry the allocation.
349 */
Ben Myerse700a062012-05-10 13:55:33 -0500350void
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000351xfs_extent_busy_trim(
Dave Chinnerefc27b52012-04-29 10:39:43 +0000352 struct xfs_alloc_arg *args,
353 xfs_agblock_t bno,
354 xfs_extlen_t len,
355 xfs_agblock_t *rbno,
356 xfs_extlen_t *rlen)
357{
358 xfs_agblock_t fbno;
359 xfs_extlen_t flen;
360 struct rb_node *rbp;
361
362 ASSERT(len > 0);
363
364 spin_lock(&args->pag->pagb_lock);
365restart:
366 fbno = bno;
367 flen = len;
368 rbp = args->pag->pagb_tree.rb_node;
369 while (rbp && flen >= args->minlen) {
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000370 struct xfs_extent_busy *busyp =
371 rb_entry(rbp, struct xfs_extent_busy, rb_node);
Dave Chinnerefc27b52012-04-29 10:39:43 +0000372 xfs_agblock_t fend = fbno + flen;
373 xfs_agblock_t bbno = busyp->bno;
374 xfs_agblock_t bend = bbno + busyp->length;
375
376 if (fend <= bbno) {
377 rbp = rbp->rb_left;
378 continue;
379 } else if (fbno >= bend) {
380 rbp = rbp->rb_right;
381 continue;
382 }
383
384 /*
385 * If this is a metadata allocation, try to reuse the busy
386 * extent instead of trimming the allocation.
387 */
388 if (!args->userdata &&
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000389 !(busyp->flags & XFS_EXTENT_BUSY_DISCARDED)) {
390 if (!xfs_extent_busy_update_extent(args->mp, args->pag,
Dave Chinnerefc27b52012-04-29 10:39:43 +0000391 busyp, fbno, flen,
392 false))
393 goto restart;
394 continue;
395 }
396
397 if (bbno <= fbno) {
398 /* start overlap */
399
400 /*
401 * Case 1:
402 * bbno bend
403 * +BBBBBBBBBBBBBBBBB+
404 * +---------+
405 * fbno fend
406 *
407 * Case 2:
408 * bbno bend
409 * +BBBBBBBBBBBBBBBBB+
410 * +-------------+
411 * fbno fend
412 *
413 * Case 3:
414 * bbno bend
415 * +BBBBBBBBBBBBBBBBB+
416 * +-------------+
417 * fbno fend
418 *
419 * Case 4:
420 * bbno bend
421 * +BBBBBBBBBBBBBBBBB+
422 * +-----------------+
423 * fbno fend
424 *
425 * No unbusy region in extent, return failure.
426 */
427 if (fend <= bend)
428 goto fail;
429
430 /*
431 * Case 5:
432 * bbno bend
433 * +BBBBBBBBBBBBBBBBB+
434 * +----------------------+
435 * fbno fend
436 *
437 * Case 6:
438 * bbno bend
439 * +BBBBBBBBBBBBBBBBB+
440 * +--------------------------+
441 * fbno fend
442 *
443 * Needs to be trimmed to:
444 * +-------+
445 * fbno fend
446 */
447 fbno = bend;
448 } else if (bend >= fend) {
449 /* end overlap */
450
451 /*
452 * Case 7:
453 * bbno bend
454 * +BBBBBBBBBBBBBBBBB+
455 * +------------------+
456 * fbno fend
457 *
458 * Case 8:
459 * bbno bend
460 * +BBBBBBBBBBBBBBBBB+
461 * +--------------------------+
462 * fbno fend
463 *
464 * Needs to be trimmed to:
465 * +-------+
466 * fbno fend
467 */
468 fend = bbno;
469 } else {
470 /* middle overlap */
471
472 /*
473 * Case 9:
474 * bbno bend
475 * +BBBBBBBBBBBBBBBBB+
476 * +-----------------------------------+
477 * fbno fend
478 *
479 * Can be trimmed to:
480 * +-------+ OR +-------+
481 * fbno fend fbno fend
482 *
483 * Backward allocation leads to significant
484 * fragmentation of directories, which degrades
485 * directory performance, therefore we always want to
486 * choose the option that produces forward allocation
487 * patterns.
488 * Preferring the lower bno extent will make the next
489 * request use "fend" as the start of the next
490 * allocation; if the segment is no longer busy at
491 * that point, we'll get a contiguous allocation, but
492 * even if it is still busy, we will get a forward
493 * allocation.
494 * We try to avoid choosing the segment at "bend",
495 * because that can lead to the next allocation
496 * taking the segment at "fbno", which would be a
497 * backward allocation. We only use the segment at
498 * "fbno" if it is much larger than the current
499 * requested size, because in that case there's a
500 * good chance subsequent allocations will be
501 * contiguous.
502 */
503 if (bbno - fbno >= args->maxlen) {
504 /* left candidate fits perfect */
505 fend = bbno;
506 } else if (fend - bend >= args->maxlen * 4) {
507 /* right candidate has enough free space */
508 fbno = bend;
509 } else if (bbno - fbno >= args->minlen) {
510 /* left candidate fits minimum requirement */
511 fend = bbno;
512 } else {
513 goto fail;
514 }
515 }
516
517 flen = fend - fbno;
518 }
519 spin_unlock(&args->pag->pagb_lock);
520
521 if (fbno != bno || flen != len) {
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000522 trace_xfs_extent_busy_trim(args->mp, args->agno, bno, len,
Dave Chinnerefc27b52012-04-29 10:39:43 +0000523 fbno, flen);
524 }
525 *rbno = fbno;
526 *rlen = flen;
527 return;
528fail:
529 /*
530 * Return a zero extent length as failure indications. All callers
531 * re-check if the trimmed extent satisfies the minlen requirement.
532 */
533 spin_unlock(&args->pag->pagb_lock);
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000534 trace_xfs_extent_busy_trim(args->mp, args->agno, bno, len, fbno, 0);
Dave Chinnerefc27b52012-04-29 10:39:43 +0000535 *rbno = fbno;
536 *rlen = 0;
537}
538
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000539STATIC void
540xfs_extent_busy_clear_one(
Dave Chinnerefc27b52012-04-29 10:39:43 +0000541 struct xfs_mount *mp,
542 struct xfs_perag *pag,
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000543 struct xfs_extent_busy *busyp)
Dave Chinnerefc27b52012-04-29 10:39:43 +0000544{
545 if (busyp->length) {
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000546 trace_xfs_extent_busy_clear(mp, busyp->agno, busyp->bno,
Dave Chinnerefc27b52012-04-29 10:39:43 +0000547 busyp->length);
548 rb_erase(&busyp->rb_node, &pag->pagb_tree);
549 }
550
551 list_del_init(&busyp->list);
552 kmem_free(busyp);
553}
554
555/*
556 * Remove all extents on the passed in list from the busy extents tree.
557 * If do_discard is set skip extents that need to be discarded, and mark
558 * these as undergoing a discard operation instead.
559 */
560void
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000561xfs_extent_busy_clear(
Dave Chinnerefc27b52012-04-29 10:39:43 +0000562 struct xfs_mount *mp,
563 struct list_head *list,
564 bool do_discard)
565{
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000566 struct xfs_extent_busy *busyp, *n;
Dave Chinnerefc27b52012-04-29 10:39:43 +0000567 struct xfs_perag *pag = NULL;
568 xfs_agnumber_t agno = NULLAGNUMBER;
569
570 list_for_each_entry_safe(busyp, n, list, list) {
571 if (busyp->agno != agno) {
572 if (pag) {
573 spin_unlock(&pag->pagb_lock);
574 xfs_perag_put(pag);
575 }
576 pag = xfs_perag_get(mp, busyp->agno);
577 spin_lock(&pag->pagb_lock);
578 agno = busyp->agno;
579 }
580
581 if (do_discard && busyp->length &&
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000582 !(busyp->flags & XFS_EXTENT_BUSY_SKIP_DISCARD))
583 busyp->flags = XFS_EXTENT_BUSY_DISCARDED;
Dave Chinnerefc27b52012-04-29 10:39:43 +0000584 else
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000585 xfs_extent_busy_clear_one(mp, pag, busyp);
Dave Chinnerefc27b52012-04-29 10:39:43 +0000586 }
587
588 if (pag) {
589 spin_unlock(&pag->pagb_lock);
590 xfs_perag_put(pag);
591 }
592}
593
594/*
595 * Callback for list_sort to sort busy extents by the AG they reside in.
596 */
597int
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000598xfs_extent_busy_ag_cmp(
Dave Chinnerefc27b52012-04-29 10:39:43 +0000599 void *priv,
600 struct list_head *a,
601 struct list_head *b)
602{
Dave Chinner4ecbfe62012-04-29 10:41:10 +0000603 return container_of(a, struct xfs_extent_busy, list)->agno -
604 container_of(b, struct xfs_extent_busy, list)->agno;
Dave Chinnerefc27b52012-04-29 10:39:43 +0000605}