blob: 1d7fde994521434271682c95ffd611991e287e7f [file] [log] [blame]
Alex Tomasc9de5602008-01-29 00:19:52 -05001/*
2 * Copyright (c) 2003-2006, Cluster File Systems, Inc, info@clusterfs.com
3 * Written by Alex Tomas <alex@clusterfs.com>
4 *
5 * This program is free software; you can redistribute it and/or modify
6 * it under the terms of the GNU General Public License version 2 as
7 * published by the Free Software Foundation.
8 *
9 * This program is distributed in the hope that it will be useful,
10 * but WITHOUT ANY WARRANTY; without even the implied warranty of
11 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 * GNU General Public License for more details.
13 *
14 * You should have received a copy of the GNU General Public Licens
15 * along with this program; if not, write to the Free Software
16 * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-
17 */
18
19
20/*
21 * mballoc.c contains the multiblocks allocation routines
22 */
23
Mingming Cao8f6e39a2008-04-29 22:01:31 -040024#include "mballoc.h"
Alex Tomasc9de5602008-01-29 00:19:52 -050025/*
26 * MUSTDO:
27 * - test ext4_ext_search_left() and ext4_ext_search_right()
28 * - search for metadata in few groups
29 *
30 * TODO v4:
31 * - normalization should take into account whether file is still open
32 * - discard preallocations if no free space left (policy?)
33 * - don't normalize tails
34 * - quota
35 * - reservation for superuser
36 *
37 * TODO v3:
38 * - bitmap read-ahead (proposed by Oleg Drokin aka green)
39 * - track min/max extents in each group for better group selection
40 * - mb_mark_used() may allocate chunk right after splitting buddy
41 * - tree of groups sorted by number of free blocks
42 * - error handling
43 */
44
45/*
46 * The allocation request involve request for multiple number of blocks
47 * near to the goal(block) value specified.
48 *
49 * During initialization phase of the allocator we decide to use the group
50 * preallocation or inode preallocation depending on the size file. The
51 * size of the file could be the resulting file size we would have after
52 * allocation or the current file size which ever is larger. If the size is
53 * less that sbi->s_mb_stream_request we select the group
54 * preallocation. The default value of s_mb_stream_request is 16
55 * blocks. This can also be tuned via
56 * /proc/fs/ext4/<partition>/stream_req. The value is represented in terms
57 * of number of blocks.
58 *
59 * The main motivation for having small file use group preallocation is to
60 * ensure that we have small file closer in the disk.
61 *
62 * First stage the allocator looks at the inode prealloc list
63 * ext4_inode_info->i_prealloc_list contain list of prealloc spaces for
64 * this particular inode. The inode prealloc space is represented as:
65 *
66 * pa_lstart -> the logical start block for this prealloc space
67 * pa_pstart -> the physical start block for this prealloc space
68 * pa_len -> lenght for this prealloc space
69 * pa_free -> free space available in this prealloc space
70 *
71 * The inode preallocation space is used looking at the _logical_ start
72 * block. If only the logical file block falls within the range of prealloc
73 * space we will consume the particular prealloc space. This make sure that
74 * that the we have contiguous physical blocks representing the file blocks
75 *
76 * The important thing to be noted in case of inode prealloc space is that
77 * we don't modify the values associated to inode prealloc space except
78 * pa_free.
79 *
80 * If we are not able to find blocks in the inode prealloc space and if we
81 * have the group allocation flag set then we look at the locality group
82 * prealloc space. These are per CPU prealloc list repreasented as
83 *
84 * ext4_sb_info.s_locality_groups[smp_processor_id()]
85 *
86 * The reason for having a per cpu locality group is to reduce the contention
87 * between CPUs. It is possible to get scheduled at this point.
88 *
89 * The locality group prealloc space is used looking at whether we have
90 * enough free space (pa_free) withing the prealloc space.
91 *
92 * If we can't allocate blocks via inode prealloc or/and locality group
93 * prealloc then we look at the buddy cache. The buddy cache is represented
94 * by ext4_sb_info.s_buddy_cache (struct inode) whose file offset gets
95 * mapped to the buddy and bitmap information regarding different
96 * groups. The buddy information is attached to buddy cache inode so that
97 * we can access them through the page cache. The information regarding
98 * each group is loaded via ext4_mb_load_buddy. The information involve
99 * block bitmap and buddy information. The information are stored in the
100 * inode as:
101 *
102 * { page }
103 * [ group 0 buddy][ group 0 bitmap] [group 1][ group 1]...
104 *
105 *
106 * one block each for bitmap and buddy information. So for each group we
107 * take up 2 blocks. A page can contain blocks_per_page (PAGE_CACHE_SIZE /
108 * blocksize) blocks. So it can have information regarding groups_per_page
109 * which is blocks_per_page/2
110 *
111 * The buddy cache inode is not stored on disk. The inode is thrown
112 * away when the filesystem is unmounted.
113 *
114 * We look for count number of blocks in the buddy cache. If we were able
115 * to locate that many free blocks we return with additional information
116 * regarding rest of the contiguous physical block available
117 *
118 * Before allocating blocks via buddy cache we normalize the request
119 * blocks. This ensure we ask for more blocks that we needed. The extra
120 * blocks that we get after allocation is added to the respective prealloc
121 * list. In case of inode preallocation we follow a list of heuristics
122 * based on file size. This can be found in ext4_mb_normalize_request. If
123 * we are doing a group prealloc we try to normalize the request to
124 * sbi->s_mb_group_prealloc. Default value of s_mb_group_prealloc is set to
125 * 512 blocks. This can be tuned via
126 * /proc/fs/ext4/<partition/group_prealloc. The value is represented in
127 * terms of number of blocks. If we have mounted the file system with -O
128 * stripe=<value> option the group prealloc request is normalized to the
129 * stripe value (sbi->s_stripe)
130 *
131 * The regular allocator(using the buddy cache) support few tunables.
132 *
133 * /proc/fs/ext4/<partition>/min_to_scan
134 * /proc/fs/ext4/<partition>/max_to_scan
135 * /proc/fs/ext4/<partition>/order2_req
136 *
137 * The regular allocator use buddy scan only if the request len is power of
138 * 2 blocks and the order of allocation is >= sbi->s_mb_order2_reqs. The
139 * value of s_mb_order2_reqs can be tuned via
140 * /proc/fs/ext4/<partition>/order2_req. If the request len is equal to
141 * stripe size (sbi->s_stripe), we try to search for contigous block in
142 * stripe size. This should result in better allocation on RAID setup. If
143 * not we search in the specific group using bitmap for best extents. The
144 * tunable min_to_scan and max_to_scan controll the behaviour here.
145 * min_to_scan indicate how long the mballoc __must__ look for a best
146 * extent and max_to_scanindicate how long the mballoc __can__ look for a
147 * best extent in the found extents. Searching for the blocks starts with
148 * the group specified as the goal value in allocation context via
149 * ac_g_ex. Each group is first checked based on the criteria whether it
150 * can used for allocation. ext4_mb_good_group explains how the groups are
151 * checked.
152 *
153 * Both the prealloc space are getting populated as above. So for the first
154 * request we will hit the buddy cache which will result in this prealloc
155 * space getting filled. The prealloc space is then later used for the
156 * subsequent request.
157 */
158
159/*
160 * mballoc operates on the following data:
161 * - on-disk bitmap
162 * - in-core buddy (actually includes buddy and bitmap)
163 * - preallocation descriptors (PAs)
164 *
165 * there are two types of preallocations:
166 * - inode
167 * assiged to specific inode and can be used for this inode only.
168 * it describes part of inode's space preallocated to specific
169 * physical blocks. any block from that preallocated can be used
170 * independent. the descriptor just tracks number of blocks left
171 * unused. so, before taking some block from descriptor, one must
172 * make sure corresponded logical block isn't allocated yet. this
173 * also means that freeing any block within descriptor's range
174 * must discard all preallocated blocks.
175 * - locality group
176 * assigned to specific locality group which does not translate to
177 * permanent set of inodes: inode can join and leave group. space
178 * from this type of preallocation can be used for any inode. thus
179 * it's consumed from the beginning to the end.
180 *
181 * relation between them can be expressed as:
182 * in-core buddy = on-disk bitmap + preallocation descriptors
183 *
184 * this mean blocks mballoc considers used are:
185 * - allocated blocks (persistent)
186 * - preallocated blocks (non-persistent)
187 *
188 * consistency in mballoc world means that at any time a block is either
189 * free or used in ALL structures. notice: "any time" should not be read
190 * literally -- time is discrete and delimited by locks.
191 *
192 * to keep it simple, we don't use block numbers, instead we count number of
193 * blocks: how many blocks marked used/free in on-disk bitmap, buddy and PA.
194 *
195 * all operations can be expressed as:
196 * - init buddy: buddy = on-disk + PAs
197 * - new PA: buddy += N; PA = N
198 * - use inode PA: on-disk += N; PA -= N
199 * - discard inode PA buddy -= on-disk - PA; PA = 0
200 * - use locality group PA on-disk += N; PA -= N
201 * - discard locality group PA buddy -= PA; PA = 0
202 * note: 'buddy -= on-disk - PA' is used to show that on-disk bitmap
203 * is used in real operation because we can't know actual used
204 * bits from PA, only from on-disk bitmap
205 *
206 * if we follow this strict logic, then all operations above should be atomic.
207 * given some of them can block, we'd have to use something like semaphores
208 * killing performance on high-end SMP hardware. let's try to relax it using
209 * the following knowledge:
210 * 1) if buddy is referenced, it's already initialized
211 * 2) while block is used in buddy and the buddy is referenced,
212 * nobody can re-allocate that block
213 * 3) we work on bitmaps and '+' actually means 'set bits'. if on-disk has
214 * bit set and PA claims same block, it's OK. IOW, one can set bit in
215 * on-disk bitmap if buddy has same bit set or/and PA covers corresponded
216 * block
217 *
218 * so, now we're building a concurrency table:
219 * - init buddy vs.
220 * - new PA
221 * blocks for PA are allocated in the buddy, buddy must be referenced
222 * until PA is linked to allocation group to avoid concurrent buddy init
223 * - use inode PA
224 * we need to make sure that either on-disk bitmap or PA has uptodate data
225 * given (3) we care that PA-=N operation doesn't interfere with init
226 * - discard inode PA
227 * the simplest way would be to have buddy initialized by the discard
228 * - use locality group PA
229 * again PA-=N must be serialized with init
230 * - discard locality group PA
231 * the simplest way would be to have buddy initialized by the discard
232 * - new PA vs.
233 * - use inode PA
234 * i_data_sem serializes them
235 * - discard inode PA
236 * discard process must wait until PA isn't used by another process
237 * - use locality group PA
238 * some mutex should serialize them
239 * - discard locality group PA
240 * discard process must wait until PA isn't used by another process
241 * - use inode PA
242 * - use inode PA
243 * i_data_sem or another mutex should serializes them
244 * - discard inode PA
245 * discard process must wait until PA isn't used by another process
246 * - use locality group PA
247 * nothing wrong here -- they're different PAs covering different blocks
248 * - discard locality group PA
249 * discard process must wait until PA isn't used by another process
250 *
251 * now we're ready to make few consequences:
252 * - PA is referenced and while it is no discard is possible
253 * - PA is referenced until block isn't marked in on-disk bitmap
254 * - PA changes only after on-disk bitmap
255 * - discard must not compete with init. either init is done before
256 * any discard or they're serialized somehow
257 * - buddy init as sum of on-disk bitmap and PAs is done atomically
258 *
259 * a special case when we've used PA to emptiness. no need to modify buddy
260 * in this case, but we should care about concurrent init
261 *
262 */
263
264 /*
265 * Logic in few words:
266 *
267 * - allocation:
268 * load group
269 * find blocks
270 * mark bits in on-disk bitmap
271 * release group
272 *
273 * - use preallocation:
274 * find proper PA (per-inode or group)
275 * load group
276 * mark bits in on-disk bitmap
277 * release group
278 * release PA
279 *
280 * - free:
281 * load group
282 * mark bits in on-disk bitmap
283 * release group
284 *
285 * - discard preallocations in group:
286 * mark PAs deleted
287 * move them onto local list
288 * load on-disk bitmap
289 * load group
290 * remove PA from object (inode or locality group)
291 * mark free blocks in-core
292 *
293 * - discard inode's preallocations:
294 */
295
296/*
297 * Locking rules
298 *
299 * Locks:
300 * - bitlock on a group (group)
301 * - object (inode/locality) (object)
302 * - per-pa lock (pa)
303 *
304 * Paths:
305 * - new pa
306 * object
307 * group
308 *
309 * - find and use pa:
310 * pa
311 *
312 * - release consumed pa:
313 * pa
314 * group
315 * object
316 *
317 * - generate in-core bitmap:
318 * group
319 * pa
320 *
321 * - discard all for given object (inode, locality group):
322 * object
323 * pa
324 * group
325 *
326 * - discard all for given group:
327 * group
328 * pa
329 * group
330 * object
331 *
332 */
333
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500334static inline void *mb_correct_addr_and_bit(int *bit, void *addr)
335{
Alex Tomasc9de5602008-01-29 00:19:52 -0500336#if BITS_PER_LONG == 64
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500337 *bit += ((unsigned long) addr & 7UL) << 3;
338 addr = (void *) ((unsigned long) addr & ~7UL);
Alex Tomasc9de5602008-01-29 00:19:52 -0500339#elif BITS_PER_LONG == 32
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500340 *bit += ((unsigned long) addr & 3UL) << 3;
341 addr = (void *) ((unsigned long) addr & ~3UL);
Alex Tomasc9de5602008-01-29 00:19:52 -0500342#else
343#error "how many bits you are?!"
344#endif
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500345 return addr;
346}
Alex Tomasc9de5602008-01-29 00:19:52 -0500347
348static inline int mb_test_bit(int bit, void *addr)
349{
350 /*
351 * ext4_test_bit on architecture like powerpc
352 * needs unsigned long aligned address
353 */
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500354 addr = mb_correct_addr_and_bit(&bit, addr);
Alex Tomasc9de5602008-01-29 00:19:52 -0500355 return ext4_test_bit(bit, addr);
356}
357
358static inline void mb_set_bit(int bit, void *addr)
359{
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500360 addr = mb_correct_addr_and_bit(&bit, addr);
Alex Tomasc9de5602008-01-29 00:19:52 -0500361 ext4_set_bit(bit, addr);
362}
363
364static inline void mb_set_bit_atomic(spinlock_t *lock, int bit, void *addr)
365{
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500366 addr = mb_correct_addr_and_bit(&bit, addr);
Alex Tomasc9de5602008-01-29 00:19:52 -0500367 ext4_set_bit_atomic(lock, bit, addr);
368}
369
370static inline void mb_clear_bit(int bit, void *addr)
371{
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500372 addr = mb_correct_addr_and_bit(&bit, addr);
Alex Tomasc9de5602008-01-29 00:19:52 -0500373 ext4_clear_bit(bit, addr);
374}
375
376static inline void mb_clear_bit_atomic(spinlock_t *lock, int bit, void *addr)
377{
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500378 addr = mb_correct_addr_and_bit(&bit, addr);
Alex Tomasc9de5602008-01-29 00:19:52 -0500379 ext4_clear_bit_atomic(lock, bit, addr);
380}
381
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500382static inline int mb_find_next_zero_bit(void *addr, int max, int start)
383{
384 int fix = 0;
385 addr = mb_correct_addr_and_bit(&fix, addr);
386 max += fix;
387 start += fix;
388
389 return ext4_find_next_zero_bit(addr, max, start) - fix;
390}
391
392static inline int mb_find_next_bit(void *addr, int max, int start)
393{
394 int fix = 0;
395 addr = mb_correct_addr_and_bit(&fix, addr);
396 max += fix;
397 start += fix;
398
399 return ext4_find_next_bit(addr, max, start) - fix;
400}
401
Alex Tomasc9de5602008-01-29 00:19:52 -0500402static void *mb_find_buddy(struct ext4_buddy *e4b, int order, int *max)
403{
404 char *bb;
405
Alex Tomasc9de5602008-01-29 00:19:52 -0500406 BUG_ON(EXT4_MB_BITMAP(e4b) == EXT4_MB_BUDDY(e4b));
407 BUG_ON(max == NULL);
408
409 if (order > e4b->bd_blkbits + 1) {
410 *max = 0;
411 return NULL;
412 }
413
414 /* at order 0 we see each particular block */
415 *max = 1 << (e4b->bd_blkbits + 3);
416 if (order == 0)
417 return EXT4_MB_BITMAP(e4b);
418
419 bb = EXT4_MB_BUDDY(e4b) + EXT4_SB(e4b->bd_sb)->s_mb_offsets[order];
420 *max = EXT4_SB(e4b->bd_sb)->s_mb_maxs[order];
421
422 return bb;
423}
424
425#ifdef DOUBLE_CHECK
426static void mb_free_blocks_double(struct inode *inode, struct ext4_buddy *e4b,
427 int first, int count)
428{
429 int i;
430 struct super_block *sb = e4b->bd_sb;
431
432 if (unlikely(e4b->bd_info->bb_bitmap == NULL))
433 return;
434 BUG_ON(!ext4_is_group_locked(sb, e4b->bd_group));
435 for (i = 0; i < count; i++) {
436 if (!mb_test_bit(first + i, e4b->bd_info->bb_bitmap)) {
437 ext4_fsblk_t blocknr;
438 blocknr = e4b->bd_group * EXT4_BLOCKS_PER_GROUP(sb);
439 blocknr += first + i;
440 blocknr +=
441 le32_to_cpu(EXT4_SB(sb)->s_es->s_first_data_block);
442
Harvey Harrison46e665e2008-04-17 10:38:59 -0400443 ext4_error(sb, __func__, "double-free of inode"
Alex Tomasc9de5602008-01-29 00:19:52 -0500444 " %lu's block %llu(bit %u in group %lu)\n",
445 inode ? inode->i_ino : 0, blocknr,
446 first + i, e4b->bd_group);
447 }
448 mb_clear_bit(first + i, e4b->bd_info->bb_bitmap);
449 }
450}
451
452static void mb_mark_used_double(struct ext4_buddy *e4b, int first, int count)
453{
454 int i;
455
456 if (unlikely(e4b->bd_info->bb_bitmap == NULL))
457 return;
458 BUG_ON(!ext4_is_group_locked(e4b->bd_sb, e4b->bd_group));
459 for (i = 0; i < count; i++) {
460 BUG_ON(mb_test_bit(first + i, e4b->bd_info->bb_bitmap));
461 mb_set_bit(first + i, e4b->bd_info->bb_bitmap);
462 }
463}
464
465static void mb_cmp_bitmaps(struct ext4_buddy *e4b, void *bitmap)
466{
467 if (memcmp(e4b->bd_info->bb_bitmap, bitmap, e4b->bd_sb->s_blocksize)) {
468 unsigned char *b1, *b2;
469 int i;
470 b1 = (unsigned char *) e4b->bd_info->bb_bitmap;
471 b2 = (unsigned char *) bitmap;
472 for (i = 0; i < e4b->bd_sb->s_blocksize; i++) {
473 if (b1[i] != b2[i]) {
474 printk("corruption in group %lu at byte %u(%u):"
475 " %x in copy != %x on disk/prealloc\n",
476 e4b->bd_group, i, i * 8, b1[i], b2[i]);
477 BUG();
478 }
479 }
480 }
481}
482
483#else
484static inline void mb_free_blocks_double(struct inode *inode,
485 struct ext4_buddy *e4b, int first, int count)
486{
487 return;
488}
489static inline void mb_mark_used_double(struct ext4_buddy *e4b,
490 int first, int count)
491{
492 return;
493}
494static inline void mb_cmp_bitmaps(struct ext4_buddy *e4b, void *bitmap)
495{
496 return;
497}
498#endif
499
500#ifdef AGGRESSIVE_CHECK
501
502#define MB_CHECK_ASSERT(assert) \
503do { \
504 if (!(assert)) { \
505 printk(KERN_EMERG \
506 "Assertion failure in %s() at %s:%d: \"%s\"\n", \
507 function, file, line, # assert); \
508 BUG(); \
509 } \
510} while (0)
511
512static int __mb_check_buddy(struct ext4_buddy *e4b, char *file,
513 const char *function, int line)
514{
515 struct super_block *sb = e4b->bd_sb;
516 int order = e4b->bd_blkbits + 1;
517 int max;
518 int max2;
519 int i;
520 int j;
521 int k;
522 int count;
523 struct ext4_group_info *grp;
524 int fragments = 0;
525 int fstart;
526 struct list_head *cur;
527 void *buddy;
528 void *buddy2;
529
530 if (!test_opt(sb, MBALLOC))
531 return 0;
532
533 {
534 static int mb_check_counter;
535 if (mb_check_counter++ % 100 != 0)
536 return 0;
537 }
538
539 while (order > 1) {
540 buddy = mb_find_buddy(e4b, order, &max);
541 MB_CHECK_ASSERT(buddy);
542 buddy2 = mb_find_buddy(e4b, order - 1, &max2);
543 MB_CHECK_ASSERT(buddy2);
544 MB_CHECK_ASSERT(buddy != buddy2);
545 MB_CHECK_ASSERT(max * 2 == max2);
546
547 count = 0;
548 for (i = 0; i < max; i++) {
549
550 if (mb_test_bit(i, buddy)) {
551 /* only single bit in buddy2 may be 1 */
552 if (!mb_test_bit(i << 1, buddy2)) {
553 MB_CHECK_ASSERT(
554 mb_test_bit((i<<1)+1, buddy2));
555 } else if (!mb_test_bit((i << 1) + 1, buddy2)) {
556 MB_CHECK_ASSERT(
557 mb_test_bit(i << 1, buddy2));
558 }
559 continue;
560 }
561
562 /* both bits in buddy2 must be 0 */
563 MB_CHECK_ASSERT(mb_test_bit(i << 1, buddy2));
564 MB_CHECK_ASSERT(mb_test_bit((i << 1) + 1, buddy2));
565
566 for (j = 0; j < (1 << order); j++) {
567 k = (i * (1 << order)) + j;
568 MB_CHECK_ASSERT(
569 !mb_test_bit(k, EXT4_MB_BITMAP(e4b)));
570 }
571 count++;
572 }
573 MB_CHECK_ASSERT(e4b->bd_info->bb_counters[order] == count);
574 order--;
575 }
576
577 fstart = -1;
578 buddy = mb_find_buddy(e4b, 0, &max);
579 for (i = 0; i < max; i++) {
580 if (!mb_test_bit(i, buddy)) {
581 MB_CHECK_ASSERT(i >= e4b->bd_info->bb_first_free);
582 if (fstart == -1) {
583 fragments++;
584 fstart = i;
585 }
586 continue;
587 }
588 fstart = -1;
589 /* check used bits only */
590 for (j = 0; j < e4b->bd_blkbits + 1; j++) {
591 buddy2 = mb_find_buddy(e4b, j, &max2);
592 k = i >> j;
593 MB_CHECK_ASSERT(k < max2);
594 MB_CHECK_ASSERT(mb_test_bit(k, buddy2));
595 }
596 }
597 MB_CHECK_ASSERT(!EXT4_MB_GRP_NEED_INIT(e4b->bd_info));
598 MB_CHECK_ASSERT(e4b->bd_info->bb_fragments == fragments);
599
600 grp = ext4_get_group_info(sb, e4b->bd_group);
601 buddy = mb_find_buddy(e4b, 0, &max);
602 list_for_each(cur, &grp->bb_prealloc_list) {
603 ext4_group_t groupnr;
604 struct ext4_prealloc_space *pa;
Solofo Ramangalahy60bd63d2008-04-29 21:59:59 -0400605 pa = list_entry(cur, struct ext4_prealloc_space, pa_group_list);
606 ext4_get_group_no_and_offset(sb, pa->pa_pstart, &groupnr, &k);
Alex Tomasc9de5602008-01-29 00:19:52 -0500607 MB_CHECK_ASSERT(groupnr == e4b->bd_group);
Solofo Ramangalahy60bd63d2008-04-29 21:59:59 -0400608 for (i = 0; i < pa->pa_len; i++)
Alex Tomasc9de5602008-01-29 00:19:52 -0500609 MB_CHECK_ASSERT(mb_test_bit(k + i, buddy));
610 }
611 return 0;
612}
613#undef MB_CHECK_ASSERT
614#define mb_check_buddy(e4b) __mb_check_buddy(e4b, \
Harvey Harrison46e665e2008-04-17 10:38:59 -0400615 __FILE__, __func__, __LINE__)
Alex Tomasc9de5602008-01-29 00:19:52 -0500616#else
617#define mb_check_buddy(e4b)
618#endif
619
620/* FIXME!! need more doc */
621static void ext4_mb_mark_free_simple(struct super_block *sb,
622 void *buddy, unsigned first, int len,
623 struct ext4_group_info *grp)
624{
625 struct ext4_sb_info *sbi = EXT4_SB(sb);
626 unsigned short min;
627 unsigned short max;
628 unsigned short chunk;
629 unsigned short border;
630
Valerie Clementb73fce62008-02-15 13:48:51 -0500631 BUG_ON(len > EXT4_BLOCKS_PER_GROUP(sb));
Alex Tomasc9de5602008-01-29 00:19:52 -0500632
633 border = 2 << sb->s_blocksize_bits;
634
635 while (len > 0) {
636 /* find how many blocks can be covered since this position */
637 max = ffs(first | border) - 1;
638
639 /* find how many blocks of power 2 we need to mark */
640 min = fls(len) - 1;
641
642 if (max < min)
643 min = max;
644 chunk = 1 << min;
645
646 /* mark multiblock chunks only */
647 grp->bb_counters[min]++;
648 if (min > 0)
649 mb_clear_bit(first >> min,
650 buddy + sbi->s_mb_offsets[min]);
651
652 len -= chunk;
653 first += chunk;
654 }
655}
656
657static void ext4_mb_generate_buddy(struct super_block *sb,
658 void *buddy, void *bitmap, ext4_group_t group)
659{
660 struct ext4_group_info *grp = ext4_get_group_info(sb, group);
661 unsigned short max = EXT4_BLOCKS_PER_GROUP(sb);
662 unsigned short i = 0;
663 unsigned short first;
664 unsigned short len;
665 unsigned free = 0;
666 unsigned fragments = 0;
667 unsigned long long period = get_cycles();
668
669 /* initialize buddy from bitmap which is aggregation
670 * of on-disk bitmap and preallocations */
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500671 i = mb_find_next_zero_bit(bitmap, max, 0);
Alex Tomasc9de5602008-01-29 00:19:52 -0500672 grp->bb_first_free = i;
673 while (i < max) {
674 fragments++;
675 first = i;
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500676 i = mb_find_next_bit(bitmap, max, i);
Alex Tomasc9de5602008-01-29 00:19:52 -0500677 len = i - first;
678 free += len;
679 if (len > 1)
680 ext4_mb_mark_free_simple(sb, buddy, first, len, grp);
681 else
682 grp->bb_counters[0]++;
683 if (i < max)
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500684 i = mb_find_next_zero_bit(bitmap, max, i);
Alex Tomasc9de5602008-01-29 00:19:52 -0500685 }
686 grp->bb_fragments = fragments;
687
688 if (free != grp->bb_free) {
Harvey Harrison46e665e2008-04-17 10:38:59 -0400689 ext4_error(sb, __func__,
Alex Tomasc9de5602008-01-29 00:19:52 -0500690 "EXT4-fs: group %lu: %u blocks in bitmap, %u in gd\n",
691 group, free, grp->bb_free);
Aneesh Kumar K.Ve56eb652008-02-15 13:48:21 -0500692 /*
693 * If we intent to continue, we consider group descritor
694 * corrupt and update bb_free using bitmap value
695 */
Alex Tomasc9de5602008-01-29 00:19:52 -0500696 grp->bb_free = free;
697 }
698
699 clear_bit(EXT4_GROUP_INFO_NEED_INIT_BIT, &(grp->bb_state));
700
701 period = get_cycles() - period;
702 spin_lock(&EXT4_SB(sb)->s_bal_lock);
703 EXT4_SB(sb)->s_mb_buddies_generated++;
704 EXT4_SB(sb)->s_mb_generation_time += period;
705 spin_unlock(&EXT4_SB(sb)->s_bal_lock);
706}
707
708/* The buddy information is attached the buddy cache inode
709 * for convenience. The information regarding each group
710 * is loaded via ext4_mb_load_buddy. The information involve
711 * block bitmap and buddy information. The information are
712 * stored in the inode as
713 *
714 * { page }
715 * [ group 0 buddy][ group 0 bitmap] [group 1][ group 1]...
716 *
717 *
718 * one block each for bitmap and buddy information.
719 * So for each group we take up 2 blocks. A page can
720 * contain blocks_per_page (PAGE_CACHE_SIZE / blocksize) blocks.
721 * So it can have information regarding groups_per_page which
722 * is blocks_per_page/2
723 */
724
725static int ext4_mb_init_cache(struct page *page, char *incore)
726{
727 int blocksize;
728 int blocks_per_page;
729 int groups_per_page;
730 int err = 0;
731 int i;
732 ext4_group_t first_group;
733 int first_block;
734 struct super_block *sb;
735 struct buffer_head *bhs;
736 struct buffer_head **bh;
737 struct inode *inode;
738 char *data;
739 char *bitmap;
740
741 mb_debug("init page %lu\n", page->index);
742
743 inode = page->mapping->host;
744 sb = inode->i_sb;
745 blocksize = 1 << inode->i_blkbits;
746 blocks_per_page = PAGE_CACHE_SIZE / blocksize;
747
748 groups_per_page = blocks_per_page >> 1;
749 if (groups_per_page == 0)
750 groups_per_page = 1;
751
752 /* allocate buffer_heads to read bitmaps */
753 if (groups_per_page > 1) {
754 err = -ENOMEM;
755 i = sizeof(struct buffer_head *) * groups_per_page;
756 bh = kzalloc(i, GFP_NOFS);
757 if (bh == NULL)
758 goto out;
759 } else
760 bh = &bhs;
761
762 first_group = page->index * blocks_per_page / 2;
763
764 /* read all groups the page covers into the cache */
765 for (i = 0; i < groups_per_page; i++) {
766 struct ext4_group_desc *desc;
767
768 if (first_group + i >= EXT4_SB(sb)->s_groups_count)
769 break;
770
771 err = -EIO;
772 desc = ext4_get_group_desc(sb, first_group + i, NULL);
773 if (desc == NULL)
774 goto out;
775
776 err = -ENOMEM;
777 bh[i] = sb_getblk(sb, ext4_block_bitmap(sb, desc));
778 if (bh[i] == NULL)
779 goto out;
780
781 if (bh_uptodate_or_lock(bh[i]))
782 continue;
783
784 if (desc->bg_flags & cpu_to_le16(EXT4_BG_BLOCK_UNINIT)) {
785 ext4_init_block_bitmap(sb, bh[i],
786 first_group + i, desc);
787 set_buffer_uptodate(bh[i]);
788 unlock_buffer(bh[i]);
789 continue;
790 }
791 get_bh(bh[i]);
792 bh[i]->b_end_io = end_buffer_read_sync;
793 submit_bh(READ, bh[i]);
794 mb_debug("read bitmap for group %lu\n", first_group + i);
795 }
796
797 /* wait for I/O completion */
798 for (i = 0; i < groups_per_page && bh[i]; i++)
799 wait_on_buffer(bh[i]);
800
801 err = -EIO;
802 for (i = 0; i < groups_per_page && bh[i]; i++)
803 if (!buffer_uptodate(bh[i]))
804 goto out;
805
806 first_block = page->index * blocks_per_page;
807 for (i = 0; i < blocks_per_page; i++) {
808 int group;
809 struct ext4_group_info *grinfo;
810
811 group = (first_block + i) >> 1;
812 if (group >= EXT4_SB(sb)->s_groups_count)
813 break;
814
815 /*
816 * data carry information regarding this
817 * particular group in the format specified
818 * above
819 *
820 */
821 data = page_address(page) + (i * blocksize);
822 bitmap = bh[group - first_group]->b_data;
823
824 /*
825 * We place the buddy block and bitmap block
826 * close together
827 */
828 if ((first_block + i) & 1) {
829 /* this is block of buddy */
830 BUG_ON(incore == NULL);
831 mb_debug("put buddy for group %u in page %lu/%x\n",
832 group, page->index, i * blocksize);
833 memset(data, 0xff, blocksize);
834 grinfo = ext4_get_group_info(sb, group);
835 grinfo->bb_fragments = 0;
836 memset(grinfo->bb_counters, 0,
837 sizeof(unsigned short)*(sb->s_blocksize_bits+2));
838 /*
839 * incore got set to the group block bitmap below
840 */
841 ext4_mb_generate_buddy(sb, data, incore, group);
842 incore = NULL;
843 } else {
844 /* this is block of bitmap */
845 BUG_ON(incore != NULL);
846 mb_debug("put bitmap for group %u in page %lu/%x\n",
847 group, page->index, i * blocksize);
848
849 /* see comments in ext4_mb_put_pa() */
850 ext4_lock_group(sb, group);
851 memcpy(data, bitmap, blocksize);
852
853 /* mark all preallocated blks used in in-core bitmap */
854 ext4_mb_generate_from_pa(sb, data, group);
855 ext4_unlock_group(sb, group);
856
857 /* set incore so that the buddy information can be
858 * generated using this
859 */
860 incore = data;
861 }
862 }
863 SetPageUptodate(page);
864
865out:
866 if (bh) {
867 for (i = 0; i < groups_per_page && bh[i]; i++)
868 brelse(bh[i]);
869 if (bh != &bhs)
870 kfree(bh);
871 }
872 return err;
873}
874
Eric Sandeen4ddfef72008-04-29 08:11:12 -0400875static noinline_for_stack int
876ext4_mb_load_buddy(struct super_block *sb, ext4_group_t group,
877 struct ext4_buddy *e4b)
Alex Tomasc9de5602008-01-29 00:19:52 -0500878{
879 struct ext4_sb_info *sbi = EXT4_SB(sb);
880 struct inode *inode = sbi->s_buddy_cache;
881 int blocks_per_page;
882 int block;
883 int pnum;
884 int poff;
885 struct page *page;
886
887 mb_debug("load group %lu\n", group);
888
889 blocks_per_page = PAGE_CACHE_SIZE / sb->s_blocksize;
890
891 e4b->bd_blkbits = sb->s_blocksize_bits;
892 e4b->bd_info = ext4_get_group_info(sb, group);
893 e4b->bd_sb = sb;
894 e4b->bd_group = group;
895 e4b->bd_buddy_page = NULL;
896 e4b->bd_bitmap_page = NULL;
897
898 /*
899 * the buddy cache inode stores the block bitmap
900 * and buddy information in consecutive blocks.
901 * So for each group we need two blocks.
902 */
903 block = group * 2;
904 pnum = block / blocks_per_page;
905 poff = block % blocks_per_page;
906
907 /* we could use find_or_create_page(), but it locks page
908 * what we'd like to avoid in fast path ... */
909 page = find_get_page(inode->i_mapping, pnum);
910 if (page == NULL || !PageUptodate(page)) {
911 if (page)
912 page_cache_release(page);
913 page = find_or_create_page(inode->i_mapping, pnum, GFP_NOFS);
914 if (page) {
915 BUG_ON(page->mapping != inode->i_mapping);
916 if (!PageUptodate(page)) {
917 ext4_mb_init_cache(page, NULL);
918 mb_cmp_bitmaps(e4b, page_address(page) +
919 (poff * sb->s_blocksize));
920 }
921 unlock_page(page);
922 }
923 }
924 if (page == NULL || !PageUptodate(page))
925 goto err;
926 e4b->bd_bitmap_page = page;
927 e4b->bd_bitmap = page_address(page) + (poff * sb->s_blocksize);
928 mark_page_accessed(page);
929
930 block++;
931 pnum = block / blocks_per_page;
932 poff = block % blocks_per_page;
933
934 page = find_get_page(inode->i_mapping, pnum);
935 if (page == NULL || !PageUptodate(page)) {
936 if (page)
937 page_cache_release(page);
938 page = find_or_create_page(inode->i_mapping, pnum, GFP_NOFS);
939 if (page) {
940 BUG_ON(page->mapping != inode->i_mapping);
941 if (!PageUptodate(page))
942 ext4_mb_init_cache(page, e4b->bd_bitmap);
943
944 unlock_page(page);
945 }
946 }
947 if (page == NULL || !PageUptodate(page))
948 goto err;
949 e4b->bd_buddy_page = page;
950 e4b->bd_buddy = page_address(page) + (poff * sb->s_blocksize);
951 mark_page_accessed(page);
952
953 BUG_ON(e4b->bd_bitmap_page == NULL);
954 BUG_ON(e4b->bd_buddy_page == NULL);
955
956 return 0;
957
958err:
959 if (e4b->bd_bitmap_page)
960 page_cache_release(e4b->bd_bitmap_page);
961 if (e4b->bd_buddy_page)
962 page_cache_release(e4b->bd_buddy_page);
963 e4b->bd_buddy = NULL;
964 e4b->bd_bitmap = NULL;
965 return -EIO;
966}
967
968static void ext4_mb_release_desc(struct ext4_buddy *e4b)
969{
970 if (e4b->bd_bitmap_page)
971 page_cache_release(e4b->bd_bitmap_page);
972 if (e4b->bd_buddy_page)
973 page_cache_release(e4b->bd_buddy_page);
974}
975
976
977static int mb_find_order_for_block(struct ext4_buddy *e4b, int block)
978{
979 int order = 1;
980 void *bb;
981
982 BUG_ON(EXT4_MB_BITMAP(e4b) == EXT4_MB_BUDDY(e4b));
983 BUG_ON(block >= (1 << (e4b->bd_blkbits + 3)));
984
985 bb = EXT4_MB_BUDDY(e4b);
986 while (order <= e4b->bd_blkbits + 1) {
987 block = block >> 1;
988 if (!mb_test_bit(block, bb)) {
989 /* this block is part of buddy of order 'order' */
990 return order;
991 }
992 bb += 1 << (e4b->bd_blkbits - order);
993 order++;
994 }
995 return 0;
996}
997
998static void mb_clear_bits(spinlock_t *lock, void *bm, int cur, int len)
999{
1000 __u32 *addr;
1001
1002 len = cur + len;
1003 while (cur < len) {
1004 if ((cur & 31) == 0 && (len - cur) >= 32) {
1005 /* fast path: clear whole word at once */
1006 addr = bm + (cur >> 3);
1007 *addr = 0;
1008 cur += 32;
1009 continue;
1010 }
1011 mb_clear_bit_atomic(lock, cur, bm);
1012 cur++;
1013 }
1014}
1015
1016static void mb_set_bits(spinlock_t *lock, void *bm, int cur, int len)
1017{
1018 __u32 *addr;
1019
1020 len = cur + len;
1021 while (cur < len) {
1022 if ((cur & 31) == 0 && (len - cur) >= 32) {
1023 /* fast path: set whole word at once */
1024 addr = bm + (cur >> 3);
1025 *addr = 0xffffffff;
1026 cur += 32;
1027 continue;
1028 }
1029 mb_set_bit_atomic(lock, cur, bm);
1030 cur++;
1031 }
1032}
1033
1034static int mb_free_blocks(struct inode *inode, struct ext4_buddy *e4b,
1035 int first, int count)
1036{
1037 int block = 0;
1038 int max = 0;
1039 int order;
1040 void *buddy;
1041 void *buddy2;
1042 struct super_block *sb = e4b->bd_sb;
1043
1044 BUG_ON(first + count > (sb->s_blocksize << 3));
1045 BUG_ON(!ext4_is_group_locked(sb, e4b->bd_group));
1046 mb_check_buddy(e4b);
1047 mb_free_blocks_double(inode, e4b, first, count);
1048
1049 e4b->bd_info->bb_free += count;
1050 if (first < e4b->bd_info->bb_first_free)
1051 e4b->bd_info->bb_first_free = first;
1052
1053 /* let's maintain fragments counter */
1054 if (first != 0)
1055 block = !mb_test_bit(first - 1, EXT4_MB_BITMAP(e4b));
1056 if (first + count < EXT4_SB(sb)->s_mb_maxs[0])
1057 max = !mb_test_bit(first + count, EXT4_MB_BITMAP(e4b));
1058 if (block && max)
1059 e4b->bd_info->bb_fragments--;
1060 else if (!block && !max)
1061 e4b->bd_info->bb_fragments++;
1062
1063 /* let's maintain buddy itself */
1064 while (count-- > 0) {
1065 block = first++;
1066 order = 0;
1067
1068 if (!mb_test_bit(block, EXT4_MB_BITMAP(e4b))) {
1069 ext4_fsblk_t blocknr;
1070 blocknr = e4b->bd_group * EXT4_BLOCKS_PER_GROUP(sb);
1071 blocknr += block;
1072 blocknr +=
1073 le32_to_cpu(EXT4_SB(sb)->s_es->s_first_data_block);
1074
Harvey Harrison46e665e2008-04-17 10:38:59 -04001075 ext4_error(sb, __func__, "double-free of inode"
Alex Tomasc9de5602008-01-29 00:19:52 -05001076 " %lu's block %llu(bit %u in group %lu)\n",
1077 inode ? inode->i_ino : 0, blocknr, block,
1078 e4b->bd_group);
1079 }
1080 mb_clear_bit(block, EXT4_MB_BITMAP(e4b));
1081 e4b->bd_info->bb_counters[order]++;
1082
1083 /* start of the buddy */
1084 buddy = mb_find_buddy(e4b, order, &max);
1085
1086 do {
1087 block &= ~1UL;
1088 if (mb_test_bit(block, buddy) ||
1089 mb_test_bit(block + 1, buddy))
1090 break;
1091
1092 /* both the buddies are free, try to coalesce them */
1093 buddy2 = mb_find_buddy(e4b, order + 1, &max);
1094
1095 if (!buddy2)
1096 break;
1097
1098 if (order > 0) {
1099 /* for special purposes, we don't set
1100 * free bits in bitmap */
1101 mb_set_bit(block, buddy);
1102 mb_set_bit(block + 1, buddy);
1103 }
1104 e4b->bd_info->bb_counters[order]--;
1105 e4b->bd_info->bb_counters[order]--;
1106
1107 block = block >> 1;
1108 order++;
1109 e4b->bd_info->bb_counters[order]++;
1110
1111 mb_clear_bit(block, buddy2);
1112 buddy = buddy2;
1113 } while (1);
1114 }
1115 mb_check_buddy(e4b);
1116
1117 return 0;
1118}
1119
1120static int mb_find_extent(struct ext4_buddy *e4b, int order, int block,
1121 int needed, struct ext4_free_extent *ex)
1122{
1123 int next = block;
1124 int max;
1125 int ord;
1126 void *buddy;
1127
1128 BUG_ON(!ext4_is_group_locked(e4b->bd_sb, e4b->bd_group));
1129 BUG_ON(ex == NULL);
1130
1131 buddy = mb_find_buddy(e4b, order, &max);
1132 BUG_ON(buddy == NULL);
1133 BUG_ON(block >= max);
1134 if (mb_test_bit(block, buddy)) {
1135 ex->fe_len = 0;
1136 ex->fe_start = 0;
1137 ex->fe_group = 0;
1138 return 0;
1139 }
1140
1141 /* FIXME dorp order completely ? */
1142 if (likely(order == 0)) {
1143 /* find actual order */
1144 order = mb_find_order_for_block(e4b, block);
1145 block = block >> order;
1146 }
1147
1148 ex->fe_len = 1 << order;
1149 ex->fe_start = block << order;
1150 ex->fe_group = e4b->bd_group;
1151
1152 /* calc difference from given start */
1153 next = next - ex->fe_start;
1154 ex->fe_len -= next;
1155 ex->fe_start += next;
1156
1157 while (needed > ex->fe_len &&
1158 (buddy = mb_find_buddy(e4b, order, &max))) {
1159
1160 if (block + 1 >= max)
1161 break;
1162
1163 next = (block + 1) * (1 << order);
1164 if (mb_test_bit(next, EXT4_MB_BITMAP(e4b)))
1165 break;
1166
1167 ord = mb_find_order_for_block(e4b, next);
1168
1169 order = ord;
1170 block = next >> order;
1171 ex->fe_len += 1 << order;
1172 }
1173
1174 BUG_ON(ex->fe_start + ex->fe_len > (1 << (e4b->bd_blkbits + 3)));
1175 return ex->fe_len;
1176}
1177
1178static int mb_mark_used(struct ext4_buddy *e4b, struct ext4_free_extent *ex)
1179{
1180 int ord;
1181 int mlen = 0;
1182 int max = 0;
1183 int cur;
1184 int start = ex->fe_start;
1185 int len = ex->fe_len;
1186 unsigned ret = 0;
1187 int len0 = len;
1188 void *buddy;
1189
1190 BUG_ON(start + len > (e4b->bd_sb->s_blocksize << 3));
1191 BUG_ON(e4b->bd_group != ex->fe_group);
1192 BUG_ON(!ext4_is_group_locked(e4b->bd_sb, e4b->bd_group));
1193 mb_check_buddy(e4b);
1194 mb_mark_used_double(e4b, start, len);
1195
1196 e4b->bd_info->bb_free -= len;
1197 if (e4b->bd_info->bb_first_free == start)
1198 e4b->bd_info->bb_first_free += len;
1199
1200 /* let's maintain fragments counter */
1201 if (start != 0)
1202 mlen = !mb_test_bit(start - 1, EXT4_MB_BITMAP(e4b));
1203 if (start + len < EXT4_SB(e4b->bd_sb)->s_mb_maxs[0])
1204 max = !mb_test_bit(start + len, EXT4_MB_BITMAP(e4b));
1205 if (mlen && max)
1206 e4b->bd_info->bb_fragments++;
1207 else if (!mlen && !max)
1208 e4b->bd_info->bb_fragments--;
1209
1210 /* let's maintain buddy itself */
1211 while (len) {
1212 ord = mb_find_order_for_block(e4b, start);
1213
1214 if (((start >> ord) << ord) == start && len >= (1 << ord)) {
1215 /* the whole chunk may be allocated at once! */
1216 mlen = 1 << ord;
1217 buddy = mb_find_buddy(e4b, ord, &max);
1218 BUG_ON((start >> ord) >= max);
1219 mb_set_bit(start >> ord, buddy);
1220 e4b->bd_info->bb_counters[ord]--;
1221 start += mlen;
1222 len -= mlen;
1223 BUG_ON(len < 0);
1224 continue;
1225 }
1226
1227 /* store for history */
1228 if (ret == 0)
1229 ret = len | (ord << 16);
1230
1231 /* we have to split large buddy */
1232 BUG_ON(ord <= 0);
1233 buddy = mb_find_buddy(e4b, ord, &max);
1234 mb_set_bit(start >> ord, buddy);
1235 e4b->bd_info->bb_counters[ord]--;
1236
1237 ord--;
1238 cur = (start >> ord) & ~1U;
1239 buddy = mb_find_buddy(e4b, ord, &max);
1240 mb_clear_bit(cur, buddy);
1241 mb_clear_bit(cur + 1, buddy);
1242 e4b->bd_info->bb_counters[ord]++;
1243 e4b->bd_info->bb_counters[ord]++;
1244 }
1245
1246 mb_set_bits(sb_bgl_lock(EXT4_SB(e4b->bd_sb), ex->fe_group),
1247 EXT4_MB_BITMAP(e4b), ex->fe_start, len0);
1248 mb_check_buddy(e4b);
1249
1250 return ret;
1251}
1252
1253/*
1254 * Must be called under group lock!
1255 */
1256static void ext4_mb_use_best_found(struct ext4_allocation_context *ac,
1257 struct ext4_buddy *e4b)
1258{
1259 struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
1260 int ret;
1261
1262 BUG_ON(ac->ac_b_ex.fe_group != e4b->bd_group);
1263 BUG_ON(ac->ac_status == AC_STATUS_FOUND);
1264
1265 ac->ac_b_ex.fe_len = min(ac->ac_b_ex.fe_len, ac->ac_g_ex.fe_len);
1266 ac->ac_b_ex.fe_logical = ac->ac_g_ex.fe_logical;
1267 ret = mb_mark_used(e4b, &ac->ac_b_ex);
1268
1269 /* preallocation can change ac_b_ex, thus we store actually
1270 * allocated blocks for history */
1271 ac->ac_f_ex = ac->ac_b_ex;
1272
1273 ac->ac_status = AC_STATUS_FOUND;
1274 ac->ac_tail = ret & 0xffff;
1275 ac->ac_buddy = ret >> 16;
1276
1277 /* XXXXXXX: SUCH A HORRIBLE **CK */
1278 /*FIXME!! Why ? */
1279 ac->ac_bitmap_page = e4b->bd_bitmap_page;
1280 get_page(ac->ac_bitmap_page);
1281 ac->ac_buddy_page = e4b->bd_buddy_page;
1282 get_page(ac->ac_buddy_page);
1283
1284 /* store last allocated for subsequent stream allocation */
1285 if ((ac->ac_flags & EXT4_MB_HINT_DATA)) {
1286 spin_lock(&sbi->s_md_lock);
1287 sbi->s_mb_last_group = ac->ac_f_ex.fe_group;
1288 sbi->s_mb_last_start = ac->ac_f_ex.fe_start;
1289 spin_unlock(&sbi->s_md_lock);
1290 }
1291}
1292
1293/*
1294 * regular allocator, for general purposes allocation
1295 */
1296
1297static void ext4_mb_check_limits(struct ext4_allocation_context *ac,
1298 struct ext4_buddy *e4b,
1299 int finish_group)
1300{
1301 struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
1302 struct ext4_free_extent *bex = &ac->ac_b_ex;
1303 struct ext4_free_extent *gex = &ac->ac_g_ex;
1304 struct ext4_free_extent ex;
1305 int max;
1306
1307 /*
1308 * We don't want to scan for a whole year
1309 */
1310 if (ac->ac_found > sbi->s_mb_max_to_scan &&
1311 !(ac->ac_flags & EXT4_MB_HINT_FIRST)) {
1312 ac->ac_status = AC_STATUS_BREAK;
1313 return;
1314 }
1315
1316 /*
1317 * Haven't found good chunk so far, let's continue
1318 */
1319 if (bex->fe_len < gex->fe_len)
1320 return;
1321
1322 if ((finish_group || ac->ac_found > sbi->s_mb_min_to_scan)
1323 && bex->fe_group == e4b->bd_group) {
1324 /* recheck chunk's availability - we don't know
1325 * when it was found (within this lock-unlock
1326 * period or not) */
1327 max = mb_find_extent(e4b, 0, bex->fe_start, gex->fe_len, &ex);
1328 if (max >= gex->fe_len) {
1329 ext4_mb_use_best_found(ac, e4b);
1330 return;
1331 }
1332 }
1333}
1334
1335/*
1336 * The routine checks whether found extent is good enough. If it is,
1337 * then the extent gets marked used and flag is set to the context
1338 * to stop scanning. Otherwise, the extent is compared with the
1339 * previous found extent and if new one is better, then it's stored
1340 * in the context. Later, the best found extent will be used, if
1341 * mballoc can't find good enough extent.
1342 *
1343 * FIXME: real allocation policy is to be designed yet!
1344 */
1345static void ext4_mb_measure_extent(struct ext4_allocation_context *ac,
1346 struct ext4_free_extent *ex,
1347 struct ext4_buddy *e4b)
1348{
1349 struct ext4_free_extent *bex = &ac->ac_b_ex;
1350 struct ext4_free_extent *gex = &ac->ac_g_ex;
1351
1352 BUG_ON(ex->fe_len <= 0);
1353 BUG_ON(ex->fe_len >= EXT4_BLOCKS_PER_GROUP(ac->ac_sb));
1354 BUG_ON(ex->fe_start >= EXT4_BLOCKS_PER_GROUP(ac->ac_sb));
1355 BUG_ON(ac->ac_status != AC_STATUS_CONTINUE);
1356
1357 ac->ac_found++;
1358
1359 /*
1360 * The special case - take what you catch first
1361 */
1362 if (unlikely(ac->ac_flags & EXT4_MB_HINT_FIRST)) {
1363 *bex = *ex;
1364 ext4_mb_use_best_found(ac, e4b);
1365 return;
1366 }
1367
1368 /*
1369 * Let's check whether the chuck is good enough
1370 */
1371 if (ex->fe_len == gex->fe_len) {
1372 *bex = *ex;
1373 ext4_mb_use_best_found(ac, e4b);
1374 return;
1375 }
1376
1377 /*
1378 * If this is first found extent, just store it in the context
1379 */
1380 if (bex->fe_len == 0) {
1381 *bex = *ex;
1382 return;
1383 }
1384
1385 /*
1386 * If new found extent is better, store it in the context
1387 */
1388 if (bex->fe_len < gex->fe_len) {
1389 /* if the request isn't satisfied, any found extent
1390 * larger than previous best one is better */
1391 if (ex->fe_len > bex->fe_len)
1392 *bex = *ex;
1393 } else if (ex->fe_len > gex->fe_len) {
1394 /* if the request is satisfied, then we try to find
1395 * an extent that still satisfy the request, but is
1396 * smaller than previous one */
1397 if (ex->fe_len < bex->fe_len)
1398 *bex = *ex;
1399 }
1400
1401 ext4_mb_check_limits(ac, e4b, 0);
1402}
1403
1404static int ext4_mb_try_best_found(struct ext4_allocation_context *ac,
1405 struct ext4_buddy *e4b)
1406{
1407 struct ext4_free_extent ex = ac->ac_b_ex;
1408 ext4_group_t group = ex.fe_group;
1409 int max;
1410 int err;
1411
1412 BUG_ON(ex.fe_len <= 0);
1413 err = ext4_mb_load_buddy(ac->ac_sb, group, e4b);
1414 if (err)
1415 return err;
1416
1417 ext4_lock_group(ac->ac_sb, group);
1418 max = mb_find_extent(e4b, 0, ex.fe_start, ex.fe_len, &ex);
1419
1420 if (max > 0) {
1421 ac->ac_b_ex = ex;
1422 ext4_mb_use_best_found(ac, e4b);
1423 }
1424
1425 ext4_unlock_group(ac->ac_sb, group);
1426 ext4_mb_release_desc(e4b);
1427
1428 return 0;
1429}
1430
1431static int ext4_mb_find_by_goal(struct ext4_allocation_context *ac,
1432 struct ext4_buddy *e4b)
1433{
1434 ext4_group_t group = ac->ac_g_ex.fe_group;
1435 int max;
1436 int err;
1437 struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
1438 struct ext4_super_block *es = sbi->s_es;
1439 struct ext4_free_extent ex;
1440
1441 if (!(ac->ac_flags & EXT4_MB_HINT_TRY_GOAL))
1442 return 0;
1443
1444 err = ext4_mb_load_buddy(ac->ac_sb, group, e4b);
1445 if (err)
1446 return err;
1447
1448 ext4_lock_group(ac->ac_sb, group);
1449 max = mb_find_extent(e4b, 0, ac->ac_g_ex.fe_start,
1450 ac->ac_g_ex.fe_len, &ex);
1451
1452 if (max >= ac->ac_g_ex.fe_len && ac->ac_g_ex.fe_len == sbi->s_stripe) {
1453 ext4_fsblk_t start;
1454
1455 start = (e4b->bd_group * EXT4_BLOCKS_PER_GROUP(ac->ac_sb)) +
1456 ex.fe_start + le32_to_cpu(es->s_first_data_block);
1457 /* use do_div to get remainder (would be 64-bit modulo) */
1458 if (do_div(start, sbi->s_stripe) == 0) {
1459 ac->ac_found++;
1460 ac->ac_b_ex = ex;
1461 ext4_mb_use_best_found(ac, e4b);
1462 }
1463 } else if (max >= ac->ac_g_ex.fe_len) {
1464 BUG_ON(ex.fe_len <= 0);
1465 BUG_ON(ex.fe_group != ac->ac_g_ex.fe_group);
1466 BUG_ON(ex.fe_start != ac->ac_g_ex.fe_start);
1467 ac->ac_found++;
1468 ac->ac_b_ex = ex;
1469 ext4_mb_use_best_found(ac, e4b);
1470 } else if (max > 0 && (ac->ac_flags & EXT4_MB_HINT_MERGE)) {
1471 /* Sometimes, caller may want to merge even small
1472 * number of blocks to an existing extent */
1473 BUG_ON(ex.fe_len <= 0);
1474 BUG_ON(ex.fe_group != ac->ac_g_ex.fe_group);
1475 BUG_ON(ex.fe_start != ac->ac_g_ex.fe_start);
1476 ac->ac_found++;
1477 ac->ac_b_ex = ex;
1478 ext4_mb_use_best_found(ac, e4b);
1479 }
1480 ext4_unlock_group(ac->ac_sb, group);
1481 ext4_mb_release_desc(e4b);
1482
1483 return 0;
1484}
1485
1486/*
1487 * The routine scans buddy structures (not bitmap!) from given order
1488 * to max order and tries to find big enough chunk to satisfy the req
1489 */
1490static void ext4_mb_simple_scan_group(struct ext4_allocation_context *ac,
1491 struct ext4_buddy *e4b)
1492{
1493 struct super_block *sb = ac->ac_sb;
1494 struct ext4_group_info *grp = e4b->bd_info;
1495 void *buddy;
1496 int i;
1497 int k;
1498 int max;
1499
1500 BUG_ON(ac->ac_2order <= 0);
1501 for (i = ac->ac_2order; i <= sb->s_blocksize_bits + 1; i++) {
1502 if (grp->bb_counters[i] == 0)
1503 continue;
1504
1505 buddy = mb_find_buddy(e4b, i, &max);
1506 BUG_ON(buddy == NULL);
1507
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -05001508 k = mb_find_next_zero_bit(buddy, max, 0);
Alex Tomasc9de5602008-01-29 00:19:52 -05001509 BUG_ON(k >= max);
1510
1511 ac->ac_found++;
1512
1513 ac->ac_b_ex.fe_len = 1 << i;
1514 ac->ac_b_ex.fe_start = k << i;
1515 ac->ac_b_ex.fe_group = e4b->bd_group;
1516
1517 ext4_mb_use_best_found(ac, e4b);
1518
1519 BUG_ON(ac->ac_b_ex.fe_len != ac->ac_g_ex.fe_len);
1520
1521 if (EXT4_SB(sb)->s_mb_stats)
1522 atomic_inc(&EXT4_SB(sb)->s_bal_2orders);
1523
1524 break;
1525 }
1526}
1527
1528/*
1529 * The routine scans the group and measures all found extents.
1530 * In order to optimize scanning, caller must pass number of
1531 * free blocks in the group, so the routine can know upper limit.
1532 */
1533static void ext4_mb_complex_scan_group(struct ext4_allocation_context *ac,
1534 struct ext4_buddy *e4b)
1535{
1536 struct super_block *sb = ac->ac_sb;
1537 void *bitmap = EXT4_MB_BITMAP(e4b);
1538 struct ext4_free_extent ex;
1539 int i;
1540 int free;
1541
1542 free = e4b->bd_info->bb_free;
1543 BUG_ON(free <= 0);
1544
1545 i = e4b->bd_info->bb_first_free;
1546
1547 while (free && ac->ac_status == AC_STATUS_CONTINUE) {
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -05001548 i = mb_find_next_zero_bit(bitmap,
Alex Tomasc9de5602008-01-29 00:19:52 -05001549 EXT4_BLOCKS_PER_GROUP(sb), i);
1550 if (i >= EXT4_BLOCKS_PER_GROUP(sb)) {
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05001551 /*
Aneesh Kumar K.Ve56eb652008-02-15 13:48:21 -05001552 * IF we have corrupt bitmap, we won't find any
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05001553 * free blocks even though group info says we
1554 * we have free blocks
1555 */
Harvey Harrison46e665e2008-04-17 10:38:59 -04001556 ext4_error(sb, __func__, "%d free blocks as per "
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05001557 "group info. But bitmap says 0\n",
1558 free);
Alex Tomasc9de5602008-01-29 00:19:52 -05001559 break;
1560 }
1561
1562 mb_find_extent(e4b, 0, i, ac->ac_g_ex.fe_len, &ex);
1563 BUG_ON(ex.fe_len <= 0);
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05001564 if (free < ex.fe_len) {
Harvey Harrison46e665e2008-04-17 10:38:59 -04001565 ext4_error(sb, __func__, "%d free blocks as per "
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05001566 "group info. But got %d blocks\n",
1567 free, ex.fe_len);
Aneesh Kumar K.Ve56eb652008-02-15 13:48:21 -05001568 /*
1569 * The number of free blocks differs. This mostly
1570 * indicate that the bitmap is corrupt. So exit
1571 * without claiming the space.
1572 */
1573 break;
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05001574 }
Alex Tomasc9de5602008-01-29 00:19:52 -05001575
1576 ext4_mb_measure_extent(ac, &ex, e4b);
1577
1578 i += ex.fe_len;
1579 free -= ex.fe_len;
1580 }
1581
1582 ext4_mb_check_limits(ac, e4b, 1);
1583}
1584
1585/*
1586 * This is a special case for storages like raid5
1587 * we try to find stripe-aligned chunks for stripe-size requests
1588 * XXX should do so at least for multiples of stripe size as well
1589 */
1590static void ext4_mb_scan_aligned(struct ext4_allocation_context *ac,
1591 struct ext4_buddy *e4b)
1592{
1593 struct super_block *sb = ac->ac_sb;
1594 struct ext4_sb_info *sbi = EXT4_SB(sb);
1595 void *bitmap = EXT4_MB_BITMAP(e4b);
1596 struct ext4_free_extent ex;
1597 ext4_fsblk_t first_group_block;
1598 ext4_fsblk_t a;
1599 ext4_grpblk_t i;
1600 int max;
1601
1602 BUG_ON(sbi->s_stripe == 0);
1603
1604 /* find first stripe-aligned block in group */
1605 first_group_block = e4b->bd_group * EXT4_BLOCKS_PER_GROUP(sb)
1606 + le32_to_cpu(sbi->s_es->s_first_data_block);
1607 a = first_group_block + sbi->s_stripe - 1;
1608 do_div(a, sbi->s_stripe);
1609 i = (a * sbi->s_stripe) - first_group_block;
1610
1611 while (i < EXT4_BLOCKS_PER_GROUP(sb)) {
1612 if (!mb_test_bit(i, bitmap)) {
1613 max = mb_find_extent(e4b, 0, i, sbi->s_stripe, &ex);
1614 if (max >= sbi->s_stripe) {
1615 ac->ac_found++;
1616 ac->ac_b_ex = ex;
1617 ext4_mb_use_best_found(ac, e4b);
1618 break;
1619 }
1620 }
1621 i += sbi->s_stripe;
1622 }
1623}
1624
1625static int ext4_mb_good_group(struct ext4_allocation_context *ac,
1626 ext4_group_t group, int cr)
1627{
1628 unsigned free, fragments;
1629 unsigned i, bits;
1630 struct ext4_group_desc *desc;
1631 struct ext4_group_info *grp = ext4_get_group_info(ac->ac_sb, group);
1632
1633 BUG_ON(cr < 0 || cr >= 4);
1634 BUG_ON(EXT4_MB_GRP_NEED_INIT(grp));
1635
1636 free = grp->bb_free;
1637 fragments = grp->bb_fragments;
1638 if (free == 0)
1639 return 0;
1640 if (fragments == 0)
1641 return 0;
1642
1643 switch (cr) {
1644 case 0:
1645 BUG_ON(ac->ac_2order == 0);
1646 /* If this group is uninitialized, skip it initially */
1647 desc = ext4_get_group_desc(ac->ac_sb, group, NULL);
1648 if (desc->bg_flags & cpu_to_le16(EXT4_BG_BLOCK_UNINIT))
1649 return 0;
1650
1651 bits = ac->ac_sb->s_blocksize_bits + 1;
1652 for (i = ac->ac_2order; i <= bits; i++)
1653 if (grp->bb_counters[i] > 0)
1654 return 1;
1655 break;
1656 case 1:
1657 if ((free / fragments) >= ac->ac_g_ex.fe_len)
1658 return 1;
1659 break;
1660 case 2:
1661 if (free >= ac->ac_g_ex.fe_len)
1662 return 1;
1663 break;
1664 case 3:
1665 return 1;
1666 default:
1667 BUG();
1668 }
1669
1670 return 0;
1671}
1672
Eric Sandeen4ddfef72008-04-29 08:11:12 -04001673static noinline_for_stack int
1674ext4_mb_regular_allocator(struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05001675{
1676 ext4_group_t group;
1677 ext4_group_t i;
1678 int cr;
1679 int err = 0;
1680 int bsbits;
1681 struct ext4_sb_info *sbi;
1682 struct super_block *sb;
1683 struct ext4_buddy e4b;
1684 loff_t size, isize;
1685
1686 sb = ac->ac_sb;
1687 sbi = EXT4_SB(sb);
1688 BUG_ON(ac->ac_status == AC_STATUS_FOUND);
1689
1690 /* first, try the goal */
1691 err = ext4_mb_find_by_goal(ac, &e4b);
1692 if (err || ac->ac_status == AC_STATUS_FOUND)
1693 goto out;
1694
1695 if (unlikely(ac->ac_flags & EXT4_MB_HINT_GOAL_ONLY))
1696 goto out;
1697
1698 /*
1699 * ac->ac2_order is set only if the fe_len is a power of 2
1700 * if ac2_order is set we also set criteria to 0 so that we
1701 * try exact allocation using buddy.
1702 */
1703 i = fls(ac->ac_g_ex.fe_len);
1704 ac->ac_2order = 0;
1705 /*
1706 * We search using buddy data only if the order of the request
1707 * is greater than equal to the sbi_s_mb_order2_reqs
1708 * You can tune it via /proc/fs/ext4/<partition>/order2_req
1709 */
1710 if (i >= sbi->s_mb_order2_reqs) {
1711 /*
1712 * This should tell if fe_len is exactly power of 2
1713 */
1714 if ((ac->ac_g_ex.fe_len & (~(1 << (i - 1)))) == 0)
1715 ac->ac_2order = i - 1;
1716 }
1717
1718 bsbits = ac->ac_sb->s_blocksize_bits;
1719 /* if stream allocation is enabled, use global goal */
1720 size = ac->ac_o_ex.fe_logical + ac->ac_o_ex.fe_len;
1721 isize = i_size_read(ac->ac_inode) >> bsbits;
1722 if (size < isize)
1723 size = isize;
1724
1725 if (size < sbi->s_mb_stream_request &&
1726 (ac->ac_flags & EXT4_MB_HINT_DATA)) {
1727 /* TBD: may be hot point */
1728 spin_lock(&sbi->s_md_lock);
1729 ac->ac_g_ex.fe_group = sbi->s_mb_last_group;
1730 ac->ac_g_ex.fe_start = sbi->s_mb_last_start;
1731 spin_unlock(&sbi->s_md_lock);
1732 }
1733
1734 /* searching for the right group start from the goal value specified */
1735 group = ac->ac_g_ex.fe_group;
1736
1737 /* Let's just scan groups to find more-less suitable blocks */
1738 cr = ac->ac_2order ? 0 : 1;
1739 /*
1740 * cr == 0 try to get exact allocation,
1741 * cr == 3 try to get anything
1742 */
1743repeat:
1744 for (; cr < 4 && ac->ac_status == AC_STATUS_CONTINUE; cr++) {
1745 ac->ac_criteria = cr;
1746 for (i = 0; i < EXT4_SB(sb)->s_groups_count; group++, i++) {
1747 struct ext4_group_info *grp;
1748 struct ext4_group_desc *desc;
1749
1750 if (group == EXT4_SB(sb)->s_groups_count)
1751 group = 0;
1752
1753 /* quick check to skip empty groups */
1754 grp = ext4_get_group_info(ac->ac_sb, group);
1755 if (grp->bb_free == 0)
1756 continue;
1757
1758 /*
1759 * if the group is already init we check whether it is
1760 * a good group and if not we don't load the buddy
1761 */
1762 if (EXT4_MB_GRP_NEED_INIT(grp)) {
1763 /*
1764 * we need full data about the group
1765 * to make a good selection
1766 */
1767 err = ext4_mb_load_buddy(sb, group, &e4b);
1768 if (err)
1769 goto out;
1770 ext4_mb_release_desc(&e4b);
1771 }
1772
1773 /*
1774 * If the particular group doesn't satisfy our
1775 * criteria we continue with the next group
1776 */
1777 if (!ext4_mb_good_group(ac, group, cr))
1778 continue;
1779
1780 err = ext4_mb_load_buddy(sb, group, &e4b);
1781 if (err)
1782 goto out;
1783
1784 ext4_lock_group(sb, group);
1785 if (!ext4_mb_good_group(ac, group, cr)) {
1786 /* someone did allocation from this group */
1787 ext4_unlock_group(sb, group);
1788 ext4_mb_release_desc(&e4b);
1789 continue;
1790 }
1791
1792 ac->ac_groups_scanned++;
1793 desc = ext4_get_group_desc(sb, group, NULL);
1794 if (cr == 0 || (desc->bg_flags &
1795 cpu_to_le16(EXT4_BG_BLOCK_UNINIT) &&
1796 ac->ac_2order != 0))
1797 ext4_mb_simple_scan_group(ac, &e4b);
1798 else if (cr == 1 &&
1799 ac->ac_g_ex.fe_len == sbi->s_stripe)
1800 ext4_mb_scan_aligned(ac, &e4b);
1801 else
1802 ext4_mb_complex_scan_group(ac, &e4b);
1803
1804 ext4_unlock_group(sb, group);
1805 ext4_mb_release_desc(&e4b);
1806
1807 if (ac->ac_status != AC_STATUS_CONTINUE)
1808 break;
1809 }
1810 }
1811
1812 if (ac->ac_b_ex.fe_len > 0 && ac->ac_status != AC_STATUS_FOUND &&
1813 !(ac->ac_flags & EXT4_MB_HINT_FIRST)) {
1814 /*
1815 * We've been searching too long. Let's try to allocate
1816 * the best chunk we've found so far
1817 */
1818
1819 ext4_mb_try_best_found(ac, &e4b);
1820 if (ac->ac_status != AC_STATUS_FOUND) {
1821 /*
1822 * Someone more lucky has already allocated it.
1823 * The only thing we can do is just take first
1824 * found block(s)
1825 printk(KERN_DEBUG "EXT4-fs: someone won our chunk\n");
1826 */
1827 ac->ac_b_ex.fe_group = 0;
1828 ac->ac_b_ex.fe_start = 0;
1829 ac->ac_b_ex.fe_len = 0;
1830 ac->ac_status = AC_STATUS_CONTINUE;
1831 ac->ac_flags |= EXT4_MB_HINT_FIRST;
1832 cr = 3;
1833 atomic_inc(&sbi->s_mb_lost_chunks);
1834 goto repeat;
1835 }
1836 }
1837out:
1838 return err;
1839}
1840
1841#ifdef EXT4_MB_HISTORY
1842struct ext4_mb_proc_session {
1843 struct ext4_mb_history *history;
1844 struct super_block *sb;
1845 int start;
1846 int max;
1847};
1848
1849static void *ext4_mb_history_skip_empty(struct ext4_mb_proc_session *s,
1850 struct ext4_mb_history *hs,
1851 int first)
1852{
1853 if (hs == s->history + s->max)
1854 hs = s->history;
1855 if (!first && hs == s->history + s->start)
1856 return NULL;
1857 while (hs->orig.fe_len == 0) {
1858 hs++;
1859 if (hs == s->history + s->max)
1860 hs = s->history;
1861 if (hs == s->history + s->start)
1862 return NULL;
1863 }
1864 return hs;
1865}
1866
1867static void *ext4_mb_seq_history_start(struct seq_file *seq, loff_t *pos)
1868{
1869 struct ext4_mb_proc_session *s = seq->private;
1870 struct ext4_mb_history *hs;
1871 int l = *pos;
1872
1873 if (l == 0)
1874 return SEQ_START_TOKEN;
1875 hs = ext4_mb_history_skip_empty(s, s->history + s->start, 1);
1876 if (!hs)
1877 return NULL;
1878 while (--l && (hs = ext4_mb_history_skip_empty(s, ++hs, 0)) != NULL);
1879 return hs;
1880}
1881
1882static void *ext4_mb_seq_history_next(struct seq_file *seq, void *v,
1883 loff_t *pos)
1884{
1885 struct ext4_mb_proc_session *s = seq->private;
1886 struct ext4_mb_history *hs = v;
1887
1888 ++*pos;
1889 if (v == SEQ_START_TOKEN)
1890 return ext4_mb_history_skip_empty(s, s->history + s->start, 1);
1891 else
1892 return ext4_mb_history_skip_empty(s, ++hs, 0);
1893}
1894
1895static int ext4_mb_seq_history_show(struct seq_file *seq, void *v)
1896{
1897 char buf[25], buf2[25], buf3[25], *fmt;
1898 struct ext4_mb_history *hs = v;
1899
1900 if (v == SEQ_START_TOKEN) {
1901 seq_printf(seq, "%-5s %-8s %-23s %-23s %-23s %-5s "
1902 "%-5s %-2s %-5s %-5s %-5s %-6s\n",
1903 "pid", "inode", "original", "goal", "result", "found",
1904 "grps", "cr", "flags", "merge", "tail", "broken");
1905 return 0;
1906 }
1907
1908 if (hs->op == EXT4_MB_HISTORY_ALLOC) {
1909 fmt = "%-5u %-8u %-23s %-23s %-23s %-5u %-5u %-2u "
1910 "%-5u %-5s %-5u %-6u\n";
1911 sprintf(buf2, "%lu/%d/%u@%u", hs->result.fe_group,
1912 hs->result.fe_start, hs->result.fe_len,
1913 hs->result.fe_logical);
1914 sprintf(buf, "%lu/%d/%u@%u", hs->orig.fe_group,
1915 hs->orig.fe_start, hs->orig.fe_len,
1916 hs->orig.fe_logical);
1917 sprintf(buf3, "%lu/%d/%u@%u", hs->goal.fe_group,
1918 hs->goal.fe_start, hs->goal.fe_len,
1919 hs->goal.fe_logical);
1920 seq_printf(seq, fmt, hs->pid, hs->ino, buf, buf3, buf2,
1921 hs->found, hs->groups, hs->cr, hs->flags,
1922 hs->merged ? "M" : "", hs->tail,
1923 hs->buddy ? 1 << hs->buddy : 0);
1924 } else if (hs->op == EXT4_MB_HISTORY_PREALLOC) {
1925 fmt = "%-5u %-8u %-23s %-23s %-23s\n";
1926 sprintf(buf2, "%lu/%d/%u@%u", hs->result.fe_group,
1927 hs->result.fe_start, hs->result.fe_len,
1928 hs->result.fe_logical);
1929 sprintf(buf, "%lu/%d/%u@%u", hs->orig.fe_group,
1930 hs->orig.fe_start, hs->orig.fe_len,
1931 hs->orig.fe_logical);
1932 seq_printf(seq, fmt, hs->pid, hs->ino, buf, "", buf2);
1933 } else if (hs->op == EXT4_MB_HISTORY_DISCARD) {
1934 sprintf(buf2, "%lu/%d/%u", hs->result.fe_group,
1935 hs->result.fe_start, hs->result.fe_len);
1936 seq_printf(seq, "%-5u %-8u %-23s discard\n",
1937 hs->pid, hs->ino, buf2);
1938 } else if (hs->op == EXT4_MB_HISTORY_FREE) {
1939 sprintf(buf2, "%lu/%d/%u", hs->result.fe_group,
1940 hs->result.fe_start, hs->result.fe_len);
1941 seq_printf(seq, "%-5u %-8u %-23s free\n",
1942 hs->pid, hs->ino, buf2);
1943 }
1944 return 0;
1945}
1946
1947static void ext4_mb_seq_history_stop(struct seq_file *seq, void *v)
1948{
1949}
1950
1951static struct seq_operations ext4_mb_seq_history_ops = {
1952 .start = ext4_mb_seq_history_start,
1953 .next = ext4_mb_seq_history_next,
1954 .stop = ext4_mb_seq_history_stop,
1955 .show = ext4_mb_seq_history_show,
1956};
1957
1958static int ext4_mb_seq_history_open(struct inode *inode, struct file *file)
1959{
1960 struct super_block *sb = PDE(inode)->data;
1961 struct ext4_sb_info *sbi = EXT4_SB(sb);
1962 struct ext4_mb_proc_session *s;
1963 int rc;
1964 int size;
1965
1966 s = kmalloc(sizeof(*s), GFP_KERNEL);
1967 if (s == NULL)
1968 return -ENOMEM;
1969 s->sb = sb;
1970 size = sizeof(struct ext4_mb_history) * sbi->s_mb_history_max;
1971 s->history = kmalloc(size, GFP_KERNEL);
1972 if (s->history == NULL) {
1973 kfree(s);
1974 return -ENOMEM;
1975 }
1976
1977 spin_lock(&sbi->s_mb_history_lock);
1978 memcpy(s->history, sbi->s_mb_history, size);
1979 s->max = sbi->s_mb_history_max;
1980 s->start = sbi->s_mb_history_cur % s->max;
1981 spin_unlock(&sbi->s_mb_history_lock);
1982
1983 rc = seq_open(file, &ext4_mb_seq_history_ops);
1984 if (rc == 0) {
1985 struct seq_file *m = (struct seq_file *)file->private_data;
1986 m->private = s;
1987 } else {
1988 kfree(s->history);
1989 kfree(s);
1990 }
1991 return rc;
1992
1993}
1994
1995static int ext4_mb_seq_history_release(struct inode *inode, struct file *file)
1996{
1997 struct seq_file *seq = (struct seq_file *)file->private_data;
1998 struct ext4_mb_proc_session *s = seq->private;
1999 kfree(s->history);
2000 kfree(s);
2001 return seq_release(inode, file);
2002}
2003
2004static ssize_t ext4_mb_seq_history_write(struct file *file,
2005 const char __user *buffer,
2006 size_t count, loff_t *ppos)
2007{
2008 struct seq_file *seq = (struct seq_file *)file->private_data;
2009 struct ext4_mb_proc_session *s = seq->private;
2010 struct super_block *sb = s->sb;
2011 char str[32];
2012 int value;
2013
2014 if (count >= sizeof(str)) {
2015 printk(KERN_ERR "EXT4-fs: %s string too long, max %u bytes\n",
2016 "mb_history", (int)sizeof(str));
2017 return -EOVERFLOW;
2018 }
2019
2020 if (copy_from_user(str, buffer, count))
2021 return -EFAULT;
2022
2023 value = simple_strtol(str, NULL, 0);
2024 if (value < 0)
2025 return -ERANGE;
2026 EXT4_SB(sb)->s_mb_history_filter = value;
2027
2028 return count;
2029}
2030
2031static struct file_operations ext4_mb_seq_history_fops = {
2032 .owner = THIS_MODULE,
2033 .open = ext4_mb_seq_history_open,
2034 .read = seq_read,
2035 .write = ext4_mb_seq_history_write,
2036 .llseek = seq_lseek,
2037 .release = ext4_mb_seq_history_release,
2038};
2039
2040static void *ext4_mb_seq_groups_start(struct seq_file *seq, loff_t *pos)
2041{
2042 struct super_block *sb = seq->private;
2043 struct ext4_sb_info *sbi = EXT4_SB(sb);
2044 ext4_group_t group;
2045
2046 if (*pos < 0 || *pos >= sbi->s_groups_count)
2047 return NULL;
2048
2049 group = *pos + 1;
2050 return (void *) group;
2051}
2052
2053static void *ext4_mb_seq_groups_next(struct seq_file *seq, void *v, loff_t *pos)
2054{
2055 struct super_block *sb = seq->private;
2056 struct ext4_sb_info *sbi = EXT4_SB(sb);
2057 ext4_group_t group;
2058
2059 ++*pos;
2060 if (*pos < 0 || *pos >= sbi->s_groups_count)
2061 return NULL;
2062 group = *pos + 1;
2063 return (void *) group;;
2064}
2065
2066static int ext4_mb_seq_groups_show(struct seq_file *seq, void *v)
2067{
2068 struct super_block *sb = seq->private;
2069 long group = (long) v;
2070 int i;
2071 int err;
2072 struct ext4_buddy e4b;
2073 struct sg {
2074 struct ext4_group_info info;
2075 unsigned short counters[16];
2076 } sg;
2077
2078 group--;
2079 if (group == 0)
2080 seq_printf(seq, "#%-5s: %-5s %-5s %-5s "
2081 "[ %-5s %-5s %-5s %-5s %-5s %-5s %-5s "
2082 "%-5s %-5s %-5s %-5s %-5s %-5s %-5s ]\n",
2083 "group", "free", "frags", "first",
2084 "2^0", "2^1", "2^2", "2^3", "2^4", "2^5", "2^6",
2085 "2^7", "2^8", "2^9", "2^10", "2^11", "2^12", "2^13");
2086
2087 i = (sb->s_blocksize_bits + 2) * sizeof(sg.info.bb_counters[0]) +
2088 sizeof(struct ext4_group_info);
2089 err = ext4_mb_load_buddy(sb, group, &e4b);
2090 if (err) {
2091 seq_printf(seq, "#%-5lu: I/O error\n", group);
2092 return 0;
2093 }
2094 ext4_lock_group(sb, group);
2095 memcpy(&sg, ext4_get_group_info(sb, group), i);
2096 ext4_unlock_group(sb, group);
2097 ext4_mb_release_desc(&e4b);
2098
2099 seq_printf(seq, "#%-5lu: %-5u %-5u %-5u [", group, sg.info.bb_free,
2100 sg.info.bb_fragments, sg.info.bb_first_free);
2101 for (i = 0; i <= 13; i++)
2102 seq_printf(seq, " %-5u", i <= sb->s_blocksize_bits + 1 ?
2103 sg.info.bb_counters[i] : 0);
2104 seq_printf(seq, " ]\n");
2105
2106 return 0;
2107}
2108
2109static void ext4_mb_seq_groups_stop(struct seq_file *seq, void *v)
2110{
2111}
2112
2113static struct seq_operations ext4_mb_seq_groups_ops = {
2114 .start = ext4_mb_seq_groups_start,
2115 .next = ext4_mb_seq_groups_next,
2116 .stop = ext4_mb_seq_groups_stop,
2117 .show = ext4_mb_seq_groups_show,
2118};
2119
2120static int ext4_mb_seq_groups_open(struct inode *inode, struct file *file)
2121{
2122 struct super_block *sb = PDE(inode)->data;
2123 int rc;
2124
2125 rc = seq_open(file, &ext4_mb_seq_groups_ops);
2126 if (rc == 0) {
2127 struct seq_file *m = (struct seq_file *)file->private_data;
2128 m->private = sb;
2129 }
2130 return rc;
2131
2132}
2133
2134static struct file_operations ext4_mb_seq_groups_fops = {
2135 .owner = THIS_MODULE,
2136 .open = ext4_mb_seq_groups_open,
2137 .read = seq_read,
2138 .llseek = seq_lseek,
2139 .release = seq_release,
2140};
2141
2142static void ext4_mb_history_release(struct super_block *sb)
2143{
2144 struct ext4_sb_info *sbi = EXT4_SB(sb);
2145
2146 remove_proc_entry("mb_groups", sbi->s_mb_proc);
2147 remove_proc_entry("mb_history", sbi->s_mb_proc);
2148
2149 kfree(sbi->s_mb_history);
2150}
2151
2152static void ext4_mb_history_init(struct super_block *sb)
2153{
2154 struct ext4_sb_info *sbi = EXT4_SB(sb);
2155 int i;
2156
2157 if (sbi->s_mb_proc != NULL) {
Denis V. Lunev46fe74f2008-04-29 01:02:08 -07002158 proc_create_data("mb_history", S_IRUGO, sbi->s_mb_proc,
2159 &ext4_mb_seq_history_fops, sb);
2160 proc_create_data("mb_groups", S_IRUGO, sbi->s_mb_proc,
2161 &ext4_mb_seq_groups_fops, sb);
Alex Tomasc9de5602008-01-29 00:19:52 -05002162 }
2163
2164 sbi->s_mb_history_max = 1000;
2165 sbi->s_mb_history_cur = 0;
2166 spin_lock_init(&sbi->s_mb_history_lock);
2167 i = sbi->s_mb_history_max * sizeof(struct ext4_mb_history);
2168 sbi->s_mb_history = kmalloc(i, GFP_KERNEL);
2169 if (likely(sbi->s_mb_history != NULL))
2170 memset(sbi->s_mb_history, 0, i);
2171 /* if we can't allocate history, then we simple won't use it */
2172}
2173
Eric Sandeen4ddfef72008-04-29 08:11:12 -04002174static noinline_for_stack void
2175ext4_mb_store_history(struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05002176{
2177 struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
2178 struct ext4_mb_history h;
2179
2180 if (unlikely(sbi->s_mb_history == NULL))
2181 return;
2182
2183 if (!(ac->ac_op & sbi->s_mb_history_filter))
2184 return;
2185
2186 h.op = ac->ac_op;
2187 h.pid = current->pid;
2188 h.ino = ac->ac_inode ? ac->ac_inode->i_ino : 0;
2189 h.orig = ac->ac_o_ex;
2190 h.result = ac->ac_b_ex;
2191 h.flags = ac->ac_flags;
2192 h.found = ac->ac_found;
2193 h.groups = ac->ac_groups_scanned;
2194 h.cr = ac->ac_criteria;
2195 h.tail = ac->ac_tail;
2196 h.buddy = ac->ac_buddy;
2197 h.merged = 0;
2198 if (ac->ac_op == EXT4_MB_HISTORY_ALLOC) {
2199 if (ac->ac_g_ex.fe_start == ac->ac_b_ex.fe_start &&
2200 ac->ac_g_ex.fe_group == ac->ac_b_ex.fe_group)
2201 h.merged = 1;
2202 h.goal = ac->ac_g_ex;
2203 h.result = ac->ac_f_ex;
2204 }
2205
2206 spin_lock(&sbi->s_mb_history_lock);
2207 memcpy(sbi->s_mb_history + sbi->s_mb_history_cur, &h, sizeof(h));
2208 if (++sbi->s_mb_history_cur >= sbi->s_mb_history_max)
2209 sbi->s_mb_history_cur = 0;
2210 spin_unlock(&sbi->s_mb_history_lock);
2211}
2212
2213#else
2214#define ext4_mb_history_release(sb)
2215#define ext4_mb_history_init(sb)
2216#endif
2217
2218static int ext4_mb_init_backend(struct super_block *sb)
2219{
2220 ext4_group_t i;
2221 int j, len, metalen;
2222 struct ext4_sb_info *sbi = EXT4_SB(sb);
2223 int num_meta_group_infos =
2224 (sbi->s_groups_count + EXT4_DESC_PER_BLOCK(sb) - 1) >>
2225 EXT4_DESC_PER_BLOCK_BITS(sb);
2226 struct ext4_group_info **meta_group_info;
2227
2228 /* An 8TB filesystem with 64-bit pointers requires a 4096 byte
2229 * kmalloc. A 128kb malloc should suffice for a 256TB filesystem.
2230 * So a two level scheme suffices for now. */
2231 sbi->s_group_info = kmalloc(sizeof(*sbi->s_group_info) *
2232 num_meta_group_infos, GFP_KERNEL);
2233 if (sbi->s_group_info == NULL) {
2234 printk(KERN_ERR "EXT4-fs: can't allocate buddy meta group\n");
2235 return -ENOMEM;
2236 }
2237 sbi->s_buddy_cache = new_inode(sb);
2238 if (sbi->s_buddy_cache == NULL) {
2239 printk(KERN_ERR "EXT4-fs: can't get new inode\n");
2240 goto err_freesgi;
2241 }
2242 EXT4_I(sbi->s_buddy_cache)->i_disksize = 0;
2243
2244 metalen = sizeof(*meta_group_info) << EXT4_DESC_PER_BLOCK_BITS(sb);
2245 for (i = 0; i < num_meta_group_infos; i++) {
2246 if ((i + 1) == num_meta_group_infos)
2247 metalen = sizeof(*meta_group_info) *
2248 (sbi->s_groups_count -
2249 (i << EXT4_DESC_PER_BLOCK_BITS(sb)));
2250 meta_group_info = kmalloc(metalen, GFP_KERNEL);
2251 if (meta_group_info == NULL) {
2252 printk(KERN_ERR "EXT4-fs: can't allocate mem for a "
2253 "buddy group\n");
2254 goto err_freemeta;
2255 }
2256 sbi->s_group_info[i] = meta_group_info;
2257 }
2258
2259 /*
2260 * calculate needed size. if change bb_counters size,
2261 * don't forget about ext4_mb_generate_buddy()
2262 */
2263 len = sizeof(struct ext4_group_info);
2264 len += sizeof(unsigned short) * (sb->s_blocksize_bits + 2);
2265 for (i = 0; i < sbi->s_groups_count; i++) {
2266 struct ext4_group_desc *desc;
2267
2268 meta_group_info =
2269 sbi->s_group_info[i >> EXT4_DESC_PER_BLOCK_BITS(sb)];
2270 j = i & (EXT4_DESC_PER_BLOCK(sb) - 1);
2271
2272 meta_group_info[j] = kzalloc(len, GFP_KERNEL);
2273 if (meta_group_info[j] == NULL) {
2274 printk(KERN_ERR "EXT4-fs: can't allocate buddy mem\n");
Alex Tomasc9de5602008-01-29 00:19:52 -05002275 goto err_freebuddy;
2276 }
2277 desc = ext4_get_group_desc(sb, i, NULL);
2278 if (desc == NULL) {
2279 printk(KERN_ERR
2280 "EXT4-fs: can't read descriptor %lu\n", i);
Roel Kluinf1fa3342008-04-29 22:01:15 -04002281 i++;
Alex Tomasc9de5602008-01-29 00:19:52 -05002282 goto err_freebuddy;
2283 }
2284 memset(meta_group_info[j], 0, len);
2285 set_bit(EXT4_GROUP_INFO_NEED_INIT_BIT,
2286 &(meta_group_info[j]->bb_state));
2287
2288 /*
2289 * initialize bb_free to be able to skip
2290 * empty groups without initialization
2291 */
2292 if (desc->bg_flags & cpu_to_le16(EXT4_BG_BLOCK_UNINIT)) {
2293 meta_group_info[j]->bb_free =
2294 ext4_free_blocks_after_init(sb, i, desc);
2295 } else {
2296 meta_group_info[j]->bb_free =
2297 le16_to_cpu(desc->bg_free_blocks_count);
2298 }
2299
2300 INIT_LIST_HEAD(&meta_group_info[j]->bb_prealloc_list);
2301
2302#ifdef DOUBLE_CHECK
2303 {
2304 struct buffer_head *bh;
2305 meta_group_info[j]->bb_bitmap =
2306 kmalloc(sb->s_blocksize, GFP_KERNEL);
2307 BUG_ON(meta_group_info[j]->bb_bitmap == NULL);
2308 bh = read_block_bitmap(sb, i);
2309 BUG_ON(bh == NULL);
2310 memcpy(meta_group_info[j]->bb_bitmap, bh->b_data,
2311 sb->s_blocksize);
2312 put_bh(bh);
2313 }
2314#endif
2315
2316 }
2317
2318 return 0;
2319
2320err_freebuddy:
Roel Kluinf1fa3342008-04-29 22:01:15 -04002321 while (i-- > 0)
Alex Tomasc9de5602008-01-29 00:19:52 -05002322 kfree(ext4_get_group_info(sb, i));
Alex Tomasc9de5602008-01-29 00:19:52 -05002323 i = num_meta_group_infos;
2324err_freemeta:
Roel Kluinf1fa3342008-04-29 22:01:15 -04002325 while (i-- > 0)
Alex Tomasc9de5602008-01-29 00:19:52 -05002326 kfree(sbi->s_group_info[i]);
2327 iput(sbi->s_buddy_cache);
2328err_freesgi:
2329 kfree(sbi->s_group_info);
2330 return -ENOMEM;
2331}
2332
2333int ext4_mb_init(struct super_block *sb, int needs_recovery)
2334{
2335 struct ext4_sb_info *sbi = EXT4_SB(sb);
2336 unsigned i;
2337 unsigned offset;
2338 unsigned max;
2339
2340 if (!test_opt(sb, MBALLOC))
2341 return 0;
2342
2343 i = (sb->s_blocksize_bits + 2) * sizeof(unsigned short);
2344
2345 sbi->s_mb_offsets = kmalloc(i, GFP_KERNEL);
2346 if (sbi->s_mb_offsets == NULL) {
2347 clear_opt(sbi->s_mount_opt, MBALLOC);
2348 return -ENOMEM;
2349 }
2350 sbi->s_mb_maxs = kmalloc(i, GFP_KERNEL);
2351 if (sbi->s_mb_maxs == NULL) {
2352 clear_opt(sbi->s_mount_opt, MBALLOC);
2353 kfree(sbi->s_mb_maxs);
2354 return -ENOMEM;
2355 }
2356
2357 /* order 0 is regular bitmap */
2358 sbi->s_mb_maxs[0] = sb->s_blocksize << 3;
2359 sbi->s_mb_offsets[0] = 0;
2360
2361 i = 1;
2362 offset = 0;
2363 max = sb->s_blocksize << 2;
2364 do {
2365 sbi->s_mb_offsets[i] = offset;
2366 sbi->s_mb_maxs[i] = max;
2367 offset += 1 << (sb->s_blocksize_bits - i);
2368 max = max >> 1;
2369 i++;
2370 } while (i <= sb->s_blocksize_bits + 1);
2371
2372 /* init file for buddy data */
2373 i = ext4_mb_init_backend(sb);
2374 if (i) {
2375 clear_opt(sbi->s_mount_opt, MBALLOC);
2376 kfree(sbi->s_mb_offsets);
2377 kfree(sbi->s_mb_maxs);
2378 return i;
2379 }
2380
2381 spin_lock_init(&sbi->s_md_lock);
2382 INIT_LIST_HEAD(&sbi->s_active_transaction);
2383 INIT_LIST_HEAD(&sbi->s_closed_transaction);
2384 INIT_LIST_HEAD(&sbi->s_committed_transaction);
2385 spin_lock_init(&sbi->s_bal_lock);
2386
2387 sbi->s_mb_max_to_scan = MB_DEFAULT_MAX_TO_SCAN;
2388 sbi->s_mb_min_to_scan = MB_DEFAULT_MIN_TO_SCAN;
2389 sbi->s_mb_stats = MB_DEFAULT_STATS;
2390 sbi->s_mb_stream_request = MB_DEFAULT_STREAM_THRESHOLD;
2391 sbi->s_mb_order2_reqs = MB_DEFAULT_ORDER2_REQS;
2392 sbi->s_mb_history_filter = EXT4_MB_HISTORY_DEFAULT;
2393 sbi->s_mb_group_prealloc = MB_DEFAULT_GROUP_PREALLOC;
2394
2395 i = sizeof(struct ext4_locality_group) * NR_CPUS;
2396 sbi->s_locality_groups = kmalloc(i, GFP_KERNEL);
2397 if (sbi->s_locality_groups == NULL) {
2398 clear_opt(sbi->s_mount_opt, MBALLOC);
2399 kfree(sbi->s_mb_offsets);
2400 kfree(sbi->s_mb_maxs);
2401 return -ENOMEM;
2402 }
2403 for (i = 0; i < NR_CPUS; i++) {
2404 struct ext4_locality_group *lg;
2405 lg = &sbi->s_locality_groups[i];
2406 mutex_init(&lg->lg_mutex);
2407 INIT_LIST_HEAD(&lg->lg_prealloc_list);
2408 spin_lock_init(&lg->lg_prealloc_lock);
2409 }
2410
2411 ext4_mb_init_per_dev_proc(sb);
2412 ext4_mb_history_init(sb);
2413
2414 printk("EXT4-fs: mballoc enabled\n");
2415 return 0;
2416}
2417
2418/* need to called with ext4 group lock (ext4_lock_group) */
2419static void ext4_mb_cleanup_pa(struct ext4_group_info *grp)
2420{
2421 struct ext4_prealloc_space *pa;
2422 struct list_head *cur, *tmp;
2423 int count = 0;
2424
2425 list_for_each_safe(cur, tmp, &grp->bb_prealloc_list) {
2426 pa = list_entry(cur, struct ext4_prealloc_space, pa_group_list);
2427 list_del(&pa->pa_group_list);
2428 count++;
2429 kfree(pa);
2430 }
2431 if (count)
2432 mb_debug("mballoc: %u PAs left\n", count);
2433
2434}
2435
2436int ext4_mb_release(struct super_block *sb)
2437{
2438 ext4_group_t i;
2439 int num_meta_group_infos;
2440 struct ext4_group_info *grinfo;
2441 struct ext4_sb_info *sbi = EXT4_SB(sb);
2442
2443 if (!test_opt(sb, MBALLOC))
2444 return 0;
2445
2446 /* release freed, non-committed blocks */
2447 spin_lock(&sbi->s_md_lock);
2448 list_splice_init(&sbi->s_closed_transaction,
2449 &sbi->s_committed_transaction);
2450 list_splice_init(&sbi->s_active_transaction,
2451 &sbi->s_committed_transaction);
2452 spin_unlock(&sbi->s_md_lock);
2453 ext4_mb_free_committed_blocks(sb);
2454
2455 if (sbi->s_group_info) {
2456 for (i = 0; i < sbi->s_groups_count; i++) {
2457 grinfo = ext4_get_group_info(sb, i);
2458#ifdef DOUBLE_CHECK
2459 kfree(grinfo->bb_bitmap);
2460#endif
2461 ext4_lock_group(sb, i);
2462 ext4_mb_cleanup_pa(grinfo);
2463 ext4_unlock_group(sb, i);
2464 kfree(grinfo);
2465 }
2466 num_meta_group_infos = (sbi->s_groups_count +
2467 EXT4_DESC_PER_BLOCK(sb) - 1) >>
2468 EXT4_DESC_PER_BLOCK_BITS(sb);
2469 for (i = 0; i < num_meta_group_infos; i++)
2470 kfree(sbi->s_group_info[i]);
2471 kfree(sbi->s_group_info);
2472 }
2473 kfree(sbi->s_mb_offsets);
2474 kfree(sbi->s_mb_maxs);
2475 if (sbi->s_buddy_cache)
2476 iput(sbi->s_buddy_cache);
2477 if (sbi->s_mb_stats) {
2478 printk(KERN_INFO
2479 "EXT4-fs: mballoc: %u blocks %u reqs (%u success)\n",
2480 atomic_read(&sbi->s_bal_allocated),
2481 atomic_read(&sbi->s_bal_reqs),
2482 atomic_read(&sbi->s_bal_success));
2483 printk(KERN_INFO
2484 "EXT4-fs: mballoc: %u extents scanned, %u goal hits, "
2485 "%u 2^N hits, %u breaks, %u lost\n",
2486 atomic_read(&sbi->s_bal_ex_scanned),
2487 atomic_read(&sbi->s_bal_goals),
2488 atomic_read(&sbi->s_bal_2orders),
2489 atomic_read(&sbi->s_bal_breaks),
2490 atomic_read(&sbi->s_mb_lost_chunks));
2491 printk(KERN_INFO
2492 "EXT4-fs: mballoc: %lu generated and it took %Lu\n",
2493 sbi->s_mb_buddies_generated++,
2494 sbi->s_mb_generation_time);
2495 printk(KERN_INFO
2496 "EXT4-fs: mballoc: %u preallocated, %u discarded\n",
2497 atomic_read(&sbi->s_mb_preallocated),
2498 atomic_read(&sbi->s_mb_discarded));
2499 }
2500
2501 kfree(sbi->s_locality_groups);
2502
2503 ext4_mb_history_release(sb);
2504 ext4_mb_destroy_per_dev_proc(sb);
2505
2506 return 0;
2507}
2508
Eric Sandeen4ddfef72008-04-29 08:11:12 -04002509static noinline_for_stack void
2510ext4_mb_free_committed_blocks(struct super_block *sb)
Alex Tomasc9de5602008-01-29 00:19:52 -05002511{
2512 struct ext4_sb_info *sbi = EXT4_SB(sb);
2513 int err;
2514 int i;
2515 int count = 0;
2516 int count2 = 0;
2517 struct ext4_free_metadata *md;
2518 struct ext4_buddy e4b;
2519
2520 if (list_empty(&sbi->s_committed_transaction))
2521 return;
2522
2523 /* there is committed blocks to be freed yet */
2524 do {
2525 /* get next array of blocks */
2526 md = NULL;
2527 spin_lock(&sbi->s_md_lock);
2528 if (!list_empty(&sbi->s_committed_transaction)) {
2529 md = list_entry(sbi->s_committed_transaction.next,
2530 struct ext4_free_metadata, list);
2531 list_del(&md->list);
2532 }
2533 spin_unlock(&sbi->s_md_lock);
2534
2535 if (md == NULL)
2536 break;
2537
2538 mb_debug("gonna free %u blocks in group %lu (0x%p):",
2539 md->num, md->group, md);
2540
2541 err = ext4_mb_load_buddy(sb, md->group, &e4b);
2542 /* we expect to find existing buddy because it's pinned */
2543 BUG_ON(err != 0);
2544
2545 /* there are blocks to put in buddy to make them really free */
2546 count += md->num;
2547 count2++;
2548 ext4_lock_group(sb, md->group);
2549 for (i = 0; i < md->num; i++) {
2550 mb_debug(" %u", md->blocks[i]);
2551 err = mb_free_blocks(NULL, &e4b, md->blocks[i], 1);
2552 BUG_ON(err != 0);
2553 }
2554 mb_debug("\n");
2555 ext4_unlock_group(sb, md->group);
2556
2557 /* balance refcounts from ext4_mb_free_metadata() */
2558 page_cache_release(e4b.bd_buddy_page);
2559 page_cache_release(e4b.bd_bitmap_page);
2560
2561 kfree(md);
2562 ext4_mb_release_desc(&e4b);
2563
2564 } while (md);
2565
2566 mb_debug("freed %u blocks in %u structures\n", count, count2);
2567}
2568
Alex Tomasc9de5602008-01-29 00:19:52 -05002569#define EXT4_MB_STATS_NAME "stats"
2570#define EXT4_MB_MAX_TO_SCAN_NAME "max_to_scan"
2571#define EXT4_MB_MIN_TO_SCAN_NAME "min_to_scan"
2572#define EXT4_MB_ORDER2_REQ "order2_req"
2573#define EXT4_MB_STREAM_REQ "stream_req"
2574#define EXT4_MB_GROUP_PREALLOC "group_prealloc"
2575
2576
2577
2578#define MB_PROC_VALUE_READ(name) \
2579static int ext4_mb_read_##name(char *page, char **start, \
2580 off_t off, int count, int *eof, void *data) \
2581{ \
2582 struct ext4_sb_info *sbi = data; \
2583 int len; \
2584 *eof = 1; \
2585 if (off != 0) \
2586 return 0; \
2587 len = sprintf(page, "%ld\n", sbi->s_mb_##name); \
2588 *start = page; \
2589 return len; \
2590}
2591
2592#define MB_PROC_VALUE_WRITE(name) \
2593static int ext4_mb_write_##name(struct file *file, \
2594 const char __user *buf, unsigned long cnt, void *data) \
2595{ \
2596 struct ext4_sb_info *sbi = data; \
2597 char str[32]; \
2598 long value; \
2599 if (cnt >= sizeof(str)) \
2600 return -EINVAL; \
2601 if (copy_from_user(str, buf, cnt)) \
2602 return -EFAULT; \
2603 value = simple_strtol(str, NULL, 0); \
2604 if (value <= 0) \
2605 return -ERANGE; \
2606 sbi->s_mb_##name = value; \
2607 return cnt; \
2608}
2609
2610MB_PROC_VALUE_READ(stats);
2611MB_PROC_VALUE_WRITE(stats);
2612MB_PROC_VALUE_READ(max_to_scan);
2613MB_PROC_VALUE_WRITE(max_to_scan);
2614MB_PROC_VALUE_READ(min_to_scan);
2615MB_PROC_VALUE_WRITE(min_to_scan);
2616MB_PROC_VALUE_READ(order2_reqs);
2617MB_PROC_VALUE_WRITE(order2_reqs);
2618MB_PROC_VALUE_READ(stream_request);
2619MB_PROC_VALUE_WRITE(stream_request);
2620MB_PROC_VALUE_READ(group_prealloc);
2621MB_PROC_VALUE_WRITE(group_prealloc);
2622
2623#define MB_PROC_HANDLER(name, var) \
2624do { \
2625 proc = create_proc_entry(name, mode, sbi->s_mb_proc); \
2626 if (proc == NULL) { \
2627 printk(KERN_ERR "EXT4-fs: can't to create %s\n", name); \
2628 goto err_out; \
2629 } \
2630 proc->data = sbi; \
2631 proc->read_proc = ext4_mb_read_##var ; \
2632 proc->write_proc = ext4_mb_write_##var; \
2633} while (0)
2634
2635static int ext4_mb_init_per_dev_proc(struct super_block *sb)
2636{
2637 mode_t mode = S_IFREG | S_IRUGO | S_IWUSR;
2638 struct ext4_sb_info *sbi = EXT4_SB(sb);
2639 struct proc_dir_entry *proc;
2640 char devname[64];
2641
Jean Delvaref36f21e2008-05-12 14:02:33 -07002642 bdevname(sb->s_bdev, devname);
Alex Tomasc9de5602008-01-29 00:19:52 -05002643 sbi->s_mb_proc = proc_mkdir(devname, proc_root_ext4);
2644
2645 MB_PROC_HANDLER(EXT4_MB_STATS_NAME, stats);
2646 MB_PROC_HANDLER(EXT4_MB_MAX_TO_SCAN_NAME, max_to_scan);
2647 MB_PROC_HANDLER(EXT4_MB_MIN_TO_SCAN_NAME, min_to_scan);
2648 MB_PROC_HANDLER(EXT4_MB_ORDER2_REQ, order2_reqs);
2649 MB_PROC_HANDLER(EXT4_MB_STREAM_REQ, stream_request);
2650 MB_PROC_HANDLER(EXT4_MB_GROUP_PREALLOC, group_prealloc);
2651
2652 return 0;
2653
2654err_out:
2655 printk(KERN_ERR "EXT4-fs: Unable to create %s\n", devname);
2656 remove_proc_entry(EXT4_MB_GROUP_PREALLOC, sbi->s_mb_proc);
2657 remove_proc_entry(EXT4_MB_STREAM_REQ, sbi->s_mb_proc);
2658 remove_proc_entry(EXT4_MB_ORDER2_REQ, sbi->s_mb_proc);
2659 remove_proc_entry(EXT4_MB_MIN_TO_SCAN_NAME, sbi->s_mb_proc);
2660 remove_proc_entry(EXT4_MB_MAX_TO_SCAN_NAME, sbi->s_mb_proc);
2661 remove_proc_entry(EXT4_MB_STATS_NAME, sbi->s_mb_proc);
2662 remove_proc_entry(devname, proc_root_ext4);
2663 sbi->s_mb_proc = NULL;
2664
2665 return -ENOMEM;
2666}
2667
2668static int ext4_mb_destroy_per_dev_proc(struct super_block *sb)
2669{
2670 struct ext4_sb_info *sbi = EXT4_SB(sb);
2671 char devname[64];
2672
2673 if (sbi->s_mb_proc == NULL)
2674 return -EINVAL;
2675
Jean Delvaref36f21e2008-05-12 14:02:33 -07002676 bdevname(sb->s_bdev, devname);
Alex Tomasc9de5602008-01-29 00:19:52 -05002677 remove_proc_entry(EXT4_MB_GROUP_PREALLOC, sbi->s_mb_proc);
2678 remove_proc_entry(EXT4_MB_STREAM_REQ, sbi->s_mb_proc);
2679 remove_proc_entry(EXT4_MB_ORDER2_REQ, sbi->s_mb_proc);
2680 remove_proc_entry(EXT4_MB_MIN_TO_SCAN_NAME, sbi->s_mb_proc);
2681 remove_proc_entry(EXT4_MB_MAX_TO_SCAN_NAME, sbi->s_mb_proc);
2682 remove_proc_entry(EXT4_MB_STATS_NAME, sbi->s_mb_proc);
2683 remove_proc_entry(devname, proc_root_ext4);
2684
2685 return 0;
2686}
2687
2688int __init init_ext4_mballoc(void)
2689{
2690 ext4_pspace_cachep =
2691 kmem_cache_create("ext4_prealloc_space",
2692 sizeof(struct ext4_prealloc_space),
2693 0, SLAB_RECLAIM_ACCOUNT, NULL);
2694 if (ext4_pspace_cachep == NULL)
2695 return -ENOMEM;
2696
Eric Sandeen256bdb42008-02-10 01:13:33 -05002697 ext4_ac_cachep =
2698 kmem_cache_create("ext4_alloc_context",
2699 sizeof(struct ext4_allocation_context),
2700 0, SLAB_RECLAIM_ACCOUNT, NULL);
2701 if (ext4_ac_cachep == NULL) {
2702 kmem_cache_destroy(ext4_pspace_cachep);
2703 return -ENOMEM;
2704 }
Alex Tomasc9de5602008-01-29 00:19:52 -05002705#ifdef CONFIG_PROC_FS
Alexey Dobriyan36a5aeb2008-04-29 01:01:42 -07002706 proc_root_ext4 = proc_mkdir("fs/ext4", NULL);
Alex Tomasc9de5602008-01-29 00:19:52 -05002707 if (proc_root_ext4 == NULL)
Alexey Dobriyan36a5aeb2008-04-29 01:01:42 -07002708 printk(KERN_ERR "EXT4-fs: Unable to create fs/ext4\n");
Alex Tomasc9de5602008-01-29 00:19:52 -05002709#endif
Alex Tomasc9de5602008-01-29 00:19:52 -05002710 return 0;
2711}
2712
2713void exit_ext4_mballoc(void)
2714{
2715 /* XXX: synchronize_rcu(); */
2716 kmem_cache_destroy(ext4_pspace_cachep);
Eric Sandeen256bdb42008-02-10 01:13:33 -05002717 kmem_cache_destroy(ext4_ac_cachep);
Alex Tomasc9de5602008-01-29 00:19:52 -05002718#ifdef CONFIG_PROC_FS
Alexey Dobriyan36a5aeb2008-04-29 01:01:42 -07002719 remove_proc_entry("fs/ext4", NULL);
Alex Tomasc9de5602008-01-29 00:19:52 -05002720#endif
2721}
2722
2723
2724/*
2725 * Check quota and mark choosed space (ac->ac_b_ex) non-free in bitmaps
2726 * Returns 0 if success or error code
2727 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04002728static noinline_for_stack int
2729ext4_mb_mark_diskspace_used(struct ext4_allocation_context *ac,
Alex Tomasc9de5602008-01-29 00:19:52 -05002730 handle_t *handle)
2731{
2732 struct buffer_head *bitmap_bh = NULL;
2733 struct ext4_super_block *es;
2734 struct ext4_group_desc *gdp;
2735 struct buffer_head *gdp_bh;
2736 struct ext4_sb_info *sbi;
2737 struct super_block *sb;
2738 ext4_fsblk_t block;
2739 int err;
2740
2741 BUG_ON(ac->ac_status != AC_STATUS_FOUND);
2742 BUG_ON(ac->ac_b_ex.fe_len <= 0);
2743
2744 sb = ac->ac_sb;
2745 sbi = EXT4_SB(sb);
2746 es = sbi->s_es;
2747
2748 ext4_debug("using block group %lu(%d)\n", ac->ac_b_ex.fe_group,
2749 gdp->bg_free_blocks_count);
2750
2751 err = -EIO;
2752 bitmap_bh = read_block_bitmap(sb, ac->ac_b_ex.fe_group);
2753 if (!bitmap_bh)
2754 goto out_err;
2755
2756 err = ext4_journal_get_write_access(handle, bitmap_bh);
2757 if (err)
2758 goto out_err;
2759
2760 err = -EIO;
2761 gdp = ext4_get_group_desc(sb, ac->ac_b_ex.fe_group, &gdp_bh);
2762 if (!gdp)
2763 goto out_err;
2764
2765 err = ext4_journal_get_write_access(handle, gdp_bh);
2766 if (err)
2767 goto out_err;
2768
2769 block = ac->ac_b_ex.fe_group * EXT4_BLOCKS_PER_GROUP(sb)
2770 + ac->ac_b_ex.fe_start
2771 + le32_to_cpu(es->s_first_data_block);
2772
2773 if (block == ext4_block_bitmap(sb, gdp) ||
2774 block == ext4_inode_bitmap(sb, gdp) ||
2775 in_range(block, ext4_inode_table(sb, gdp),
2776 EXT4_SB(sb)->s_itb_per_group)) {
2777
Harvey Harrison46e665e2008-04-17 10:38:59 -04002778 ext4_error(sb, __func__,
Alex Tomasc9de5602008-01-29 00:19:52 -05002779 "Allocating block in system zone - block = %llu",
2780 block);
2781 }
2782#ifdef AGGRESSIVE_CHECK
2783 {
2784 int i;
2785 for (i = 0; i < ac->ac_b_ex.fe_len; i++) {
2786 BUG_ON(mb_test_bit(ac->ac_b_ex.fe_start + i,
2787 bitmap_bh->b_data));
2788 }
2789 }
2790#endif
2791 mb_set_bits(sb_bgl_lock(sbi, ac->ac_b_ex.fe_group), bitmap_bh->b_data,
2792 ac->ac_b_ex.fe_start, ac->ac_b_ex.fe_len);
2793
2794 spin_lock(sb_bgl_lock(sbi, ac->ac_b_ex.fe_group));
2795 if (gdp->bg_flags & cpu_to_le16(EXT4_BG_BLOCK_UNINIT)) {
2796 gdp->bg_flags &= cpu_to_le16(~EXT4_BG_BLOCK_UNINIT);
2797 gdp->bg_free_blocks_count =
2798 cpu_to_le16(ext4_free_blocks_after_init(sb,
2799 ac->ac_b_ex.fe_group,
2800 gdp));
2801 }
Marcin Slusarze8546d02008-04-17 10:38:59 -04002802 le16_add_cpu(&gdp->bg_free_blocks_count, -ac->ac_b_ex.fe_len);
Alex Tomasc9de5602008-01-29 00:19:52 -05002803 gdp->bg_checksum = ext4_group_desc_csum(sbi, ac->ac_b_ex.fe_group, gdp);
2804 spin_unlock(sb_bgl_lock(sbi, ac->ac_b_ex.fe_group));
2805 percpu_counter_sub(&sbi->s_freeblocks_counter, ac->ac_b_ex.fe_len);
2806
2807 err = ext4_journal_dirty_metadata(handle, bitmap_bh);
2808 if (err)
2809 goto out_err;
2810 err = ext4_journal_dirty_metadata(handle, gdp_bh);
2811
2812out_err:
2813 sb->s_dirt = 1;
Aneesh Kumar K.V42a10ad2008-02-10 01:07:28 -05002814 brelse(bitmap_bh);
Alex Tomasc9de5602008-01-29 00:19:52 -05002815 return err;
2816}
2817
2818/*
2819 * here we normalize request for locality group
2820 * Group request are normalized to s_strip size if we set the same via mount
2821 * option. If not we set it to s_mb_group_prealloc which can be configured via
2822 * /proc/fs/ext4/<partition>/group_prealloc
2823 *
2824 * XXX: should we try to preallocate more than the group has now?
2825 */
2826static void ext4_mb_normalize_group_request(struct ext4_allocation_context *ac)
2827{
2828 struct super_block *sb = ac->ac_sb;
2829 struct ext4_locality_group *lg = ac->ac_lg;
2830
2831 BUG_ON(lg == NULL);
2832 if (EXT4_SB(sb)->s_stripe)
2833 ac->ac_g_ex.fe_len = EXT4_SB(sb)->s_stripe;
2834 else
2835 ac->ac_g_ex.fe_len = EXT4_SB(sb)->s_mb_group_prealloc;
Solofo Ramangalahy60bd63d2008-04-29 21:59:59 -04002836 mb_debug("#%u: goal %u blocks for locality group\n",
Alex Tomasc9de5602008-01-29 00:19:52 -05002837 current->pid, ac->ac_g_ex.fe_len);
2838}
2839
2840/*
2841 * Normalization means making request better in terms of
2842 * size and alignment
2843 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04002844static noinline_for_stack void
2845ext4_mb_normalize_request(struct ext4_allocation_context *ac,
Alex Tomasc9de5602008-01-29 00:19:52 -05002846 struct ext4_allocation_request *ar)
2847{
2848 int bsbits, max;
2849 ext4_lblk_t end;
Alex Tomasc9de5602008-01-29 00:19:52 -05002850 loff_t size, orig_size, start_off;
2851 ext4_lblk_t start, orig_start;
2852 struct ext4_inode_info *ei = EXT4_I(ac->ac_inode);
Aneesh Kumar K.V9a0762c2008-04-17 10:38:59 -04002853 struct ext4_prealloc_space *pa;
Alex Tomasc9de5602008-01-29 00:19:52 -05002854
2855 /* do normalize only data requests, metadata requests
2856 do not need preallocation */
2857 if (!(ac->ac_flags & EXT4_MB_HINT_DATA))
2858 return;
2859
2860 /* sometime caller may want exact blocks */
2861 if (unlikely(ac->ac_flags & EXT4_MB_HINT_GOAL_ONLY))
2862 return;
2863
2864 /* caller may indicate that preallocation isn't
2865 * required (it's a tail, for example) */
2866 if (ac->ac_flags & EXT4_MB_HINT_NOPREALLOC)
2867 return;
2868
2869 if (ac->ac_flags & EXT4_MB_HINT_GROUP_ALLOC) {
2870 ext4_mb_normalize_group_request(ac);
2871 return ;
2872 }
2873
2874 bsbits = ac->ac_sb->s_blocksize_bits;
2875
2876 /* first, let's learn actual file size
2877 * given current request is allocated */
2878 size = ac->ac_o_ex.fe_logical + ac->ac_o_ex.fe_len;
2879 size = size << bsbits;
2880 if (size < i_size_read(ac->ac_inode))
2881 size = i_size_read(ac->ac_inode);
2882
Valerie Clement19304792008-05-13 19:31:14 -04002883 /* max size of free chunks */
2884 max = 2 << bsbits;
Alex Tomasc9de5602008-01-29 00:19:52 -05002885
Valerie Clement19304792008-05-13 19:31:14 -04002886#define NRL_CHECK_SIZE(req, size, max, chunk_size) \
2887 (req <= (size) || max <= (chunk_size))
Alex Tomasc9de5602008-01-29 00:19:52 -05002888
2889 /* first, try to predict filesize */
2890 /* XXX: should this table be tunable? */
2891 start_off = 0;
2892 if (size <= 16 * 1024) {
2893 size = 16 * 1024;
2894 } else if (size <= 32 * 1024) {
2895 size = 32 * 1024;
2896 } else if (size <= 64 * 1024) {
2897 size = 64 * 1024;
2898 } else if (size <= 128 * 1024) {
2899 size = 128 * 1024;
2900 } else if (size <= 256 * 1024) {
2901 size = 256 * 1024;
2902 } else if (size <= 512 * 1024) {
2903 size = 512 * 1024;
2904 } else if (size <= 1024 * 1024) {
2905 size = 1024 * 1024;
Valerie Clement19304792008-05-13 19:31:14 -04002906 } else if (NRL_CHECK_SIZE(size, 4 * 1024 * 1024, max, 2 * 1024)) {
Alex Tomasc9de5602008-01-29 00:19:52 -05002907 start_off = ((loff_t)ac->ac_o_ex.fe_logical >>
Valerie Clement19304792008-05-13 19:31:14 -04002908 (21 - bsbits)) << 21;
2909 size = 2 * 1024 * 1024;
2910 } else if (NRL_CHECK_SIZE(size, 8 * 1024 * 1024, max, 4 * 1024)) {
Alex Tomasc9de5602008-01-29 00:19:52 -05002911 start_off = ((loff_t)ac->ac_o_ex.fe_logical >>
2912 (22 - bsbits)) << 22;
2913 size = 4 * 1024 * 1024;
2914 } else if (NRL_CHECK_SIZE(ac->ac_o_ex.fe_len,
Valerie Clement19304792008-05-13 19:31:14 -04002915 (8<<20)>>bsbits, max, 8 * 1024)) {
Alex Tomasc9de5602008-01-29 00:19:52 -05002916 start_off = ((loff_t)ac->ac_o_ex.fe_logical >>
2917 (23 - bsbits)) << 23;
2918 size = 8 * 1024 * 1024;
2919 } else {
2920 start_off = (loff_t)ac->ac_o_ex.fe_logical << bsbits;
2921 size = ac->ac_o_ex.fe_len << bsbits;
2922 }
2923 orig_size = size = size >> bsbits;
2924 orig_start = start = start_off >> bsbits;
2925
2926 /* don't cover already allocated blocks in selected range */
2927 if (ar->pleft && start <= ar->lleft) {
2928 size -= ar->lleft + 1 - start;
2929 start = ar->lleft + 1;
2930 }
2931 if (ar->pright && start + size - 1 >= ar->lright)
2932 size -= start + size - ar->lright;
2933
2934 end = start + size;
2935
2936 /* check we don't cross already preallocated blocks */
2937 rcu_read_lock();
Aneesh Kumar K.V9a0762c2008-04-17 10:38:59 -04002938 list_for_each_entry_rcu(pa, &ei->i_prealloc_list, pa_inode_list) {
Alex Tomasc9de5602008-01-29 00:19:52 -05002939 unsigned long pa_end;
2940
Alex Tomasc9de5602008-01-29 00:19:52 -05002941 if (pa->pa_deleted)
2942 continue;
2943 spin_lock(&pa->pa_lock);
2944 if (pa->pa_deleted) {
2945 spin_unlock(&pa->pa_lock);
2946 continue;
2947 }
2948
2949 pa_end = pa->pa_lstart + pa->pa_len;
2950
2951 /* PA must not overlap original request */
2952 BUG_ON(!(ac->ac_o_ex.fe_logical >= pa_end ||
2953 ac->ac_o_ex.fe_logical < pa->pa_lstart));
2954
2955 /* skip PA normalized request doesn't overlap with */
2956 if (pa->pa_lstart >= end) {
2957 spin_unlock(&pa->pa_lock);
2958 continue;
2959 }
2960 if (pa_end <= start) {
2961 spin_unlock(&pa->pa_lock);
2962 continue;
2963 }
2964 BUG_ON(pa->pa_lstart <= start && pa_end >= end);
2965
2966 if (pa_end <= ac->ac_o_ex.fe_logical) {
2967 BUG_ON(pa_end < start);
2968 start = pa_end;
2969 }
2970
2971 if (pa->pa_lstart > ac->ac_o_ex.fe_logical) {
2972 BUG_ON(pa->pa_lstart > end);
2973 end = pa->pa_lstart;
2974 }
2975 spin_unlock(&pa->pa_lock);
2976 }
2977 rcu_read_unlock();
2978 size = end - start;
2979
2980 /* XXX: extra loop to check we really don't overlap preallocations */
2981 rcu_read_lock();
Aneesh Kumar K.V9a0762c2008-04-17 10:38:59 -04002982 list_for_each_entry_rcu(pa, &ei->i_prealloc_list, pa_inode_list) {
Alex Tomasc9de5602008-01-29 00:19:52 -05002983 unsigned long pa_end;
Alex Tomasc9de5602008-01-29 00:19:52 -05002984 spin_lock(&pa->pa_lock);
2985 if (pa->pa_deleted == 0) {
2986 pa_end = pa->pa_lstart + pa->pa_len;
2987 BUG_ON(!(start >= pa_end || end <= pa->pa_lstart));
2988 }
2989 spin_unlock(&pa->pa_lock);
2990 }
2991 rcu_read_unlock();
2992
2993 if (start + size <= ac->ac_o_ex.fe_logical &&
2994 start > ac->ac_o_ex.fe_logical) {
2995 printk(KERN_ERR "start %lu, size %lu, fe_logical %lu\n",
2996 (unsigned long) start, (unsigned long) size,
2997 (unsigned long) ac->ac_o_ex.fe_logical);
2998 }
2999 BUG_ON(start + size <= ac->ac_o_ex.fe_logical &&
3000 start > ac->ac_o_ex.fe_logical);
3001 BUG_ON(size <= 0 || size >= EXT4_BLOCKS_PER_GROUP(ac->ac_sb));
3002
3003 /* now prepare goal request */
3004
3005 /* XXX: is it better to align blocks WRT to logical
3006 * placement or satisfy big request as is */
3007 ac->ac_g_ex.fe_logical = start;
3008 ac->ac_g_ex.fe_len = size;
3009
3010 /* define goal start in order to merge */
3011 if (ar->pright && (ar->lright == (start + size))) {
3012 /* merge to the right */
3013 ext4_get_group_no_and_offset(ac->ac_sb, ar->pright - size,
3014 &ac->ac_f_ex.fe_group,
3015 &ac->ac_f_ex.fe_start);
3016 ac->ac_flags |= EXT4_MB_HINT_TRY_GOAL;
3017 }
3018 if (ar->pleft && (ar->lleft + 1 == start)) {
3019 /* merge to the left */
3020 ext4_get_group_no_and_offset(ac->ac_sb, ar->pleft + 1,
3021 &ac->ac_f_ex.fe_group,
3022 &ac->ac_f_ex.fe_start);
3023 ac->ac_flags |= EXT4_MB_HINT_TRY_GOAL;
3024 }
3025
3026 mb_debug("goal: %u(was %u) blocks at %u\n", (unsigned) size,
3027 (unsigned) orig_size, (unsigned) start);
3028}
3029
3030static void ext4_mb_collect_stats(struct ext4_allocation_context *ac)
3031{
3032 struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
3033
3034 if (sbi->s_mb_stats && ac->ac_g_ex.fe_len > 1) {
3035 atomic_inc(&sbi->s_bal_reqs);
3036 atomic_add(ac->ac_b_ex.fe_len, &sbi->s_bal_allocated);
3037 if (ac->ac_o_ex.fe_len >= ac->ac_g_ex.fe_len)
3038 atomic_inc(&sbi->s_bal_success);
3039 atomic_add(ac->ac_found, &sbi->s_bal_ex_scanned);
3040 if (ac->ac_g_ex.fe_start == ac->ac_b_ex.fe_start &&
3041 ac->ac_g_ex.fe_group == ac->ac_b_ex.fe_group)
3042 atomic_inc(&sbi->s_bal_goals);
3043 if (ac->ac_found > sbi->s_mb_max_to_scan)
3044 atomic_inc(&sbi->s_bal_breaks);
3045 }
3046
3047 ext4_mb_store_history(ac);
3048}
3049
3050/*
3051 * use blocks preallocated to inode
3052 */
3053static void ext4_mb_use_inode_pa(struct ext4_allocation_context *ac,
3054 struct ext4_prealloc_space *pa)
3055{
3056 ext4_fsblk_t start;
3057 ext4_fsblk_t end;
3058 int len;
3059
3060 /* found preallocated blocks, use them */
3061 start = pa->pa_pstart + (ac->ac_o_ex.fe_logical - pa->pa_lstart);
3062 end = min(pa->pa_pstart + pa->pa_len, start + ac->ac_o_ex.fe_len);
3063 len = end - start;
3064 ext4_get_group_no_and_offset(ac->ac_sb, start, &ac->ac_b_ex.fe_group,
3065 &ac->ac_b_ex.fe_start);
3066 ac->ac_b_ex.fe_len = len;
3067 ac->ac_status = AC_STATUS_FOUND;
3068 ac->ac_pa = pa;
3069
3070 BUG_ON(start < pa->pa_pstart);
3071 BUG_ON(start + len > pa->pa_pstart + pa->pa_len);
3072 BUG_ON(pa->pa_free < len);
3073 pa->pa_free -= len;
3074
Solofo Ramangalahy60bd63d2008-04-29 21:59:59 -04003075 mb_debug("use %llu/%u from inode pa %p\n", start, len, pa);
Alex Tomasc9de5602008-01-29 00:19:52 -05003076}
3077
3078/*
3079 * use blocks preallocated to locality group
3080 */
3081static void ext4_mb_use_group_pa(struct ext4_allocation_context *ac,
3082 struct ext4_prealloc_space *pa)
3083{
3084 unsigned len = ac->ac_o_ex.fe_len;
3085
3086 ext4_get_group_no_and_offset(ac->ac_sb, pa->pa_pstart,
3087 &ac->ac_b_ex.fe_group,
3088 &ac->ac_b_ex.fe_start);
3089 ac->ac_b_ex.fe_len = len;
3090 ac->ac_status = AC_STATUS_FOUND;
3091 ac->ac_pa = pa;
3092
3093 /* we don't correct pa_pstart or pa_plen here to avoid
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05003094 * possible race when the group is being loaded concurrently
Alex Tomasc9de5602008-01-29 00:19:52 -05003095 * instead we correct pa later, after blocks are marked
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05003096 * in on-disk bitmap -- see ext4_mb_release_context()
3097 * Other CPUs are prevented from allocating from this pa by lg_mutex
Alex Tomasc9de5602008-01-29 00:19:52 -05003098 */
3099 mb_debug("use %u/%u from group pa %p\n", pa->pa_lstart-len, len, pa);
3100}
3101
3102/*
3103 * search goal blocks in preallocated space
3104 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003105static noinline_for_stack int
3106ext4_mb_use_preallocated(struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05003107{
3108 struct ext4_inode_info *ei = EXT4_I(ac->ac_inode);
3109 struct ext4_locality_group *lg;
3110 struct ext4_prealloc_space *pa;
Alex Tomasc9de5602008-01-29 00:19:52 -05003111
3112 /* only data can be preallocated */
3113 if (!(ac->ac_flags & EXT4_MB_HINT_DATA))
3114 return 0;
3115
3116 /* first, try per-file preallocation */
3117 rcu_read_lock();
Aneesh Kumar K.V9a0762c2008-04-17 10:38:59 -04003118 list_for_each_entry_rcu(pa, &ei->i_prealloc_list, pa_inode_list) {
Alex Tomasc9de5602008-01-29 00:19:52 -05003119
3120 /* all fields in this condition don't change,
3121 * so we can skip locking for them */
3122 if (ac->ac_o_ex.fe_logical < pa->pa_lstart ||
3123 ac->ac_o_ex.fe_logical >= pa->pa_lstart + pa->pa_len)
3124 continue;
3125
3126 /* found preallocated blocks, use them */
3127 spin_lock(&pa->pa_lock);
3128 if (pa->pa_deleted == 0 && pa->pa_free) {
3129 atomic_inc(&pa->pa_count);
3130 ext4_mb_use_inode_pa(ac, pa);
3131 spin_unlock(&pa->pa_lock);
3132 ac->ac_criteria = 10;
3133 rcu_read_unlock();
3134 return 1;
3135 }
3136 spin_unlock(&pa->pa_lock);
3137 }
3138 rcu_read_unlock();
3139
3140 /* can we use group allocation? */
3141 if (!(ac->ac_flags & EXT4_MB_HINT_GROUP_ALLOC))
3142 return 0;
3143
3144 /* inode may have no locality group for some reason */
3145 lg = ac->ac_lg;
3146 if (lg == NULL)
3147 return 0;
3148
3149 rcu_read_lock();
Aneesh Kumar K.V9a0762c2008-04-17 10:38:59 -04003150 list_for_each_entry_rcu(pa, &lg->lg_prealloc_list, pa_inode_list) {
Alex Tomasc9de5602008-01-29 00:19:52 -05003151 spin_lock(&pa->pa_lock);
3152 if (pa->pa_deleted == 0 && pa->pa_free >= ac->ac_o_ex.fe_len) {
3153 atomic_inc(&pa->pa_count);
3154 ext4_mb_use_group_pa(ac, pa);
3155 spin_unlock(&pa->pa_lock);
3156 ac->ac_criteria = 20;
3157 rcu_read_unlock();
3158 return 1;
3159 }
3160 spin_unlock(&pa->pa_lock);
3161 }
3162 rcu_read_unlock();
3163
3164 return 0;
3165}
3166
3167/*
3168 * the function goes through all preallocation in this group and marks them
3169 * used in in-core bitmap. buddy must be generated from this bitmap
3170 * Need to be called with ext4 group lock (ext4_lock_group)
3171 */
3172static void ext4_mb_generate_from_pa(struct super_block *sb, void *bitmap,
3173 ext4_group_t group)
3174{
3175 struct ext4_group_info *grp = ext4_get_group_info(sb, group);
3176 struct ext4_prealloc_space *pa;
3177 struct list_head *cur;
3178 ext4_group_t groupnr;
3179 ext4_grpblk_t start;
3180 int preallocated = 0;
3181 int count = 0;
3182 int len;
3183
3184 /* all form of preallocation discards first load group,
3185 * so the only competing code is preallocation use.
3186 * we don't need any locking here
3187 * notice we do NOT ignore preallocations with pa_deleted
3188 * otherwise we could leave used blocks available for
3189 * allocation in buddy when concurrent ext4_mb_put_pa()
3190 * is dropping preallocation
3191 */
3192 list_for_each(cur, &grp->bb_prealloc_list) {
3193 pa = list_entry(cur, struct ext4_prealloc_space, pa_group_list);
3194 spin_lock(&pa->pa_lock);
3195 ext4_get_group_no_and_offset(sb, pa->pa_pstart,
3196 &groupnr, &start);
3197 len = pa->pa_len;
3198 spin_unlock(&pa->pa_lock);
3199 if (unlikely(len == 0))
3200 continue;
3201 BUG_ON(groupnr != group);
3202 mb_set_bits(sb_bgl_lock(EXT4_SB(sb), group),
3203 bitmap, start, len);
3204 preallocated += len;
3205 count++;
3206 }
3207 mb_debug("prellocated %u for group %lu\n", preallocated, group);
3208}
3209
3210static void ext4_mb_pa_callback(struct rcu_head *head)
3211{
3212 struct ext4_prealloc_space *pa;
3213 pa = container_of(head, struct ext4_prealloc_space, u.pa_rcu);
3214 kmem_cache_free(ext4_pspace_cachep, pa);
3215}
3216
3217/*
3218 * drops a reference to preallocated space descriptor
3219 * if this was the last reference and the space is consumed
3220 */
3221static void ext4_mb_put_pa(struct ext4_allocation_context *ac,
3222 struct super_block *sb, struct ext4_prealloc_space *pa)
3223{
3224 unsigned long grp;
3225
3226 if (!atomic_dec_and_test(&pa->pa_count) || pa->pa_free != 0)
3227 return;
3228
3229 /* in this short window concurrent discard can set pa_deleted */
3230 spin_lock(&pa->pa_lock);
3231 if (pa->pa_deleted == 1) {
3232 spin_unlock(&pa->pa_lock);
3233 return;
3234 }
3235
3236 pa->pa_deleted = 1;
3237 spin_unlock(&pa->pa_lock);
3238
3239 /* -1 is to protect from crossing allocation group */
3240 ext4_get_group_no_and_offset(sb, pa->pa_pstart - 1, &grp, NULL);
3241
3242 /*
3243 * possible race:
3244 *
3245 * P1 (buddy init) P2 (regular allocation)
3246 * find block B in PA
3247 * copy on-disk bitmap to buddy
3248 * mark B in on-disk bitmap
3249 * drop PA from group
3250 * mark all PAs in buddy
3251 *
3252 * thus, P1 initializes buddy with B available. to prevent this
3253 * we make "copy" and "mark all PAs" atomic and serialize "drop PA"
3254 * against that pair
3255 */
3256 ext4_lock_group(sb, grp);
3257 list_del(&pa->pa_group_list);
3258 ext4_unlock_group(sb, grp);
3259
3260 spin_lock(pa->pa_obj_lock);
3261 list_del_rcu(&pa->pa_inode_list);
3262 spin_unlock(pa->pa_obj_lock);
3263
3264 call_rcu(&(pa)->u.pa_rcu, ext4_mb_pa_callback);
3265}
3266
3267/*
3268 * creates new preallocated space for given inode
3269 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003270static noinline_for_stack int
3271ext4_mb_new_inode_pa(struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05003272{
3273 struct super_block *sb = ac->ac_sb;
3274 struct ext4_prealloc_space *pa;
3275 struct ext4_group_info *grp;
3276 struct ext4_inode_info *ei;
3277
3278 /* preallocate only when found space is larger then requested */
3279 BUG_ON(ac->ac_o_ex.fe_len >= ac->ac_b_ex.fe_len);
3280 BUG_ON(ac->ac_status != AC_STATUS_FOUND);
3281 BUG_ON(!S_ISREG(ac->ac_inode->i_mode));
3282
3283 pa = kmem_cache_alloc(ext4_pspace_cachep, GFP_NOFS);
3284 if (pa == NULL)
3285 return -ENOMEM;
3286
3287 if (ac->ac_b_ex.fe_len < ac->ac_g_ex.fe_len) {
3288 int winl;
3289 int wins;
3290 int win;
3291 int offs;
3292
3293 /* we can't allocate as much as normalizer wants.
3294 * so, found space must get proper lstart
3295 * to cover original request */
3296 BUG_ON(ac->ac_g_ex.fe_logical > ac->ac_o_ex.fe_logical);
3297 BUG_ON(ac->ac_g_ex.fe_len < ac->ac_o_ex.fe_len);
3298
3299 /* we're limited by original request in that
3300 * logical block must be covered any way
3301 * winl is window we can move our chunk within */
3302 winl = ac->ac_o_ex.fe_logical - ac->ac_g_ex.fe_logical;
3303
3304 /* also, we should cover whole original request */
3305 wins = ac->ac_b_ex.fe_len - ac->ac_o_ex.fe_len;
3306
3307 /* the smallest one defines real window */
3308 win = min(winl, wins);
3309
3310 offs = ac->ac_o_ex.fe_logical % ac->ac_b_ex.fe_len;
3311 if (offs && offs < win)
3312 win = offs;
3313
3314 ac->ac_b_ex.fe_logical = ac->ac_o_ex.fe_logical - win;
3315 BUG_ON(ac->ac_o_ex.fe_logical < ac->ac_b_ex.fe_logical);
3316 BUG_ON(ac->ac_o_ex.fe_len > ac->ac_b_ex.fe_len);
3317 }
3318
3319 /* preallocation can change ac_b_ex, thus we store actually
3320 * allocated blocks for history */
3321 ac->ac_f_ex = ac->ac_b_ex;
3322
3323 pa->pa_lstart = ac->ac_b_ex.fe_logical;
3324 pa->pa_pstart = ext4_grp_offs_to_block(sb, &ac->ac_b_ex);
3325 pa->pa_len = ac->ac_b_ex.fe_len;
3326 pa->pa_free = pa->pa_len;
3327 atomic_set(&pa->pa_count, 1);
3328 spin_lock_init(&pa->pa_lock);
3329 pa->pa_deleted = 0;
3330 pa->pa_linear = 0;
3331
3332 mb_debug("new inode pa %p: %llu/%u for %u\n", pa,
3333 pa->pa_pstart, pa->pa_len, pa->pa_lstart);
3334
3335 ext4_mb_use_inode_pa(ac, pa);
3336 atomic_add(pa->pa_free, &EXT4_SB(sb)->s_mb_preallocated);
3337
3338 ei = EXT4_I(ac->ac_inode);
3339 grp = ext4_get_group_info(sb, ac->ac_b_ex.fe_group);
3340
3341 pa->pa_obj_lock = &ei->i_prealloc_lock;
3342 pa->pa_inode = ac->ac_inode;
3343
3344 ext4_lock_group(sb, ac->ac_b_ex.fe_group);
3345 list_add(&pa->pa_group_list, &grp->bb_prealloc_list);
3346 ext4_unlock_group(sb, ac->ac_b_ex.fe_group);
3347
3348 spin_lock(pa->pa_obj_lock);
3349 list_add_rcu(&pa->pa_inode_list, &ei->i_prealloc_list);
3350 spin_unlock(pa->pa_obj_lock);
3351
3352 return 0;
3353}
3354
3355/*
3356 * creates new preallocated space for locality group inodes belongs to
3357 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003358static noinline_for_stack int
3359ext4_mb_new_group_pa(struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05003360{
3361 struct super_block *sb = ac->ac_sb;
3362 struct ext4_locality_group *lg;
3363 struct ext4_prealloc_space *pa;
3364 struct ext4_group_info *grp;
3365
3366 /* preallocate only when found space is larger then requested */
3367 BUG_ON(ac->ac_o_ex.fe_len >= ac->ac_b_ex.fe_len);
3368 BUG_ON(ac->ac_status != AC_STATUS_FOUND);
3369 BUG_ON(!S_ISREG(ac->ac_inode->i_mode));
3370
3371 BUG_ON(ext4_pspace_cachep == NULL);
3372 pa = kmem_cache_alloc(ext4_pspace_cachep, GFP_NOFS);
3373 if (pa == NULL)
3374 return -ENOMEM;
3375
3376 /* preallocation can change ac_b_ex, thus we store actually
3377 * allocated blocks for history */
3378 ac->ac_f_ex = ac->ac_b_ex;
3379
3380 pa->pa_pstart = ext4_grp_offs_to_block(sb, &ac->ac_b_ex);
3381 pa->pa_lstart = pa->pa_pstart;
3382 pa->pa_len = ac->ac_b_ex.fe_len;
3383 pa->pa_free = pa->pa_len;
3384 atomic_set(&pa->pa_count, 1);
3385 spin_lock_init(&pa->pa_lock);
3386 pa->pa_deleted = 0;
3387 pa->pa_linear = 1;
3388
3389 mb_debug("new group pa %p: %llu/%u for %u\n", pa,
3390 pa->pa_pstart, pa->pa_len, pa->pa_lstart);
3391
3392 ext4_mb_use_group_pa(ac, pa);
3393 atomic_add(pa->pa_free, &EXT4_SB(sb)->s_mb_preallocated);
3394
3395 grp = ext4_get_group_info(sb, ac->ac_b_ex.fe_group);
3396 lg = ac->ac_lg;
3397 BUG_ON(lg == NULL);
3398
3399 pa->pa_obj_lock = &lg->lg_prealloc_lock;
3400 pa->pa_inode = NULL;
3401
3402 ext4_lock_group(sb, ac->ac_b_ex.fe_group);
3403 list_add(&pa->pa_group_list, &grp->bb_prealloc_list);
3404 ext4_unlock_group(sb, ac->ac_b_ex.fe_group);
3405
3406 spin_lock(pa->pa_obj_lock);
3407 list_add_tail_rcu(&pa->pa_inode_list, &lg->lg_prealloc_list);
3408 spin_unlock(pa->pa_obj_lock);
3409
3410 return 0;
3411}
3412
3413static int ext4_mb_new_preallocation(struct ext4_allocation_context *ac)
3414{
3415 int err;
3416
3417 if (ac->ac_flags & EXT4_MB_HINT_GROUP_ALLOC)
3418 err = ext4_mb_new_group_pa(ac);
3419 else
3420 err = ext4_mb_new_inode_pa(ac);
3421 return err;
3422}
3423
3424/*
3425 * finds all unused blocks in on-disk bitmap, frees them in
3426 * in-core bitmap and buddy.
3427 * @pa must be unlinked from inode and group lists, so that
3428 * nobody else can find/use it.
3429 * the caller MUST hold group/inode locks.
3430 * TODO: optimize the case when there are no in-core structures yet
3431 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003432static noinline_for_stack int
3433ext4_mb_release_inode_pa(struct ext4_buddy *e4b, struct buffer_head *bitmap_bh,
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003434 struct ext4_prealloc_space *pa,
3435 struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05003436{
Alex Tomasc9de5602008-01-29 00:19:52 -05003437 struct super_block *sb = e4b->bd_sb;
3438 struct ext4_sb_info *sbi = EXT4_SB(sb);
3439 unsigned long end;
3440 unsigned long next;
3441 ext4_group_t group;
3442 ext4_grpblk_t bit;
3443 sector_t start;
3444 int err = 0;
3445 int free = 0;
3446
3447 BUG_ON(pa->pa_deleted == 0);
3448 ext4_get_group_no_and_offset(sb, pa->pa_pstart, &group, &bit);
3449 BUG_ON(group != e4b->bd_group && pa->pa_len != 0);
3450 end = bit + pa->pa_len;
3451
Eric Sandeen256bdb42008-02-10 01:13:33 -05003452 if (ac) {
3453 ac->ac_sb = sb;
3454 ac->ac_inode = pa->pa_inode;
3455 ac->ac_op = EXT4_MB_HISTORY_DISCARD;
3456 }
Alex Tomasc9de5602008-01-29 00:19:52 -05003457
3458 while (bit < end) {
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -05003459 bit = mb_find_next_zero_bit(bitmap_bh->b_data, end, bit);
Alex Tomasc9de5602008-01-29 00:19:52 -05003460 if (bit >= end)
3461 break;
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -05003462 next = mb_find_next_bit(bitmap_bh->b_data, end, bit);
Alex Tomasc9de5602008-01-29 00:19:52 -05003463 if (next > end)
3464 next = end;
3465 start = group * EXT4_BLOCKS_PER_GROUP(sb) + bit +
3466 le32_to_cpu(sbi->s_es->s_first_data_block);
3467 mb_debug(" free preallocated %u/%u in group %u\n",
3468 (unsigned) start, (unsigned) next - bit,
3469 (unsigned) group);
3470 free += next - bit;
3471
Eric Sandeen256bdb42008-02-10 01:13:33 -05003472 if (ac) {
3473 ac->ac_b_ex.fe_group = group;
3474 ac->ac_b_ex.fe_start = bit;
3475 ac->ac_b_ex.fe_len = next - bit;
3476 ac->ac_b_ex.fe_logical = 0;
3477 ext4_mb_store_history(ac);
3478 }
Alex Tomasc9de5602008-01-29 00:19:52 -05003479
3480 mb_free_blocks(pa->pa_inode, e4b, bit, next - bit);
3481 bit = next + 1;
3482 }
3483 if (free != pa->pa_free) {
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05003484 printk(KERN_CRIT "pa %p: logic %lu, phys. %lu, len %lu\n",
Alex Tomasc9de5602008-01-29 00:19:52 -05003485 pa, (unsigned long) pa->pa_lstart,
3486 (unsigned long) pa->pa_pstart,
3487 (unsigned long) pa->pa_len);
Harvey Harrison46e665e2008-04-17 10:38:59 -04003488 ext4_error(sb, __func__, "free %u, pa_free %u\n",
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05003489 free, pa->pa_free);
Aneesh Kumar K.Ve56eb652008-02-15 13:48:21 -05003490 /*
3491 * pa is already deleted so we use the value obtained
3492 * from the bitmap and continue.
3493 */
Alex Tomasc9de5602008-01-29 00:19:52 -05003494 }
Alex Tomasc9de5602008-01-29 00:19:52 -05003495 atomic_add(free, &sbi->s_mb_discarded);
3496
3497 return err;
3498}
3499
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003500static noinline_for_stack int
3501ext4_mb_release_group_pa(struct ext4_buddy *e4b,
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003502 struct ext4_prealloc_space *pa,
3503 struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05003504{
Alex Tomasc9de5602008-01-29 00:19:52 -05003505 struct super_block *sb = e4b->bd_sb;
3506 ext4_group_t group;
3507 ext4_grpblk_t bit;
3508
Eric Sandeen256bdb42008-02-10 01:13:33 -05003509 if (ac)
3510 ac->ac_op = EXT4_MB_HISTORY_DISCARD;
Alex Tomasc9de5602008-01-29 00:19:52 -05003511
3512 BUG_ON(pa->pa_deleted == 0);
3513 ext4_get_group_no_and_offset(sb, pa->pa_pstart, &group, &bit);
3514 BUG_ON(group != e4b->bd_group && pa->pa_len != 0);
3515 mb_free_blocks(pa->pa_inode, e4b, bit, pa->pa_len);
3516 atomic_add(pa->pa_len, &EXT4_SB(sb)->s_mb_discarded);
3517
Eric Sandeen256bdb42008-02-10 01:13:33 -05003518 if (ac) {
3519 ac->ac_sb = sb;
3520 ac->ac_inode = NULL;
3521 ac->ac_b_ex.fe_group = group;
3522 ac->ac_b_ex.fe_start = bit;
3523 ac->ac_b_ex.fe_len = pa->pa_len;
3524 ac->ac_b_ex.fe_logical = 0;
3525 ext4_mb_store_history(ac);
Eric Sandeen256bdb42008-02-10 01:13:33 -05003526 }
Alex Tomasc9de5602008-01-29 00:19:52 -05003527
3528 return 0;
3529}
3530
3531/*
3532 * releases all preallocations in given group
3533 *
3534 * first, we need to decide discard policy:
3535 * - when do we discard
3536 * 1) ENOSPC
3537 * - how many do we discard
3538 * 1) how many requested
3539 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003540static noinline_for_stack int
3541ext4_mb_discard_group_preallocations(struct super_block *sb,
Alex Tomasc9de5602008-01-29 00:19:52 -05003542 ext4_group_t group, int needed)
3543{
3544 struct ext4_group_info *grp = ext4_get_group_info(sb, group);
3545 struct buffer_head *bitmap_bh = NULL;
3546 struct ext4_prealloc_space *pa, *tmp;
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003547 struct ext4_allocation_context *ac;
Alex Tomasc9de5602008-01-29 00:19:52 -05003548 struct list_head list;
3549 struct ext4_buddy e4b;
3550 int err;
3551 int busy = 0;
3552 int free = 0;
3553
3554 mb_debug("discard preallocation for group %lu\n", group);
3555
3556 if (list_empty(&grp->bb_prealloc_list))
3557 return 0;
3558
3559 bitmap_bh = read_block_bitmap(sb, group);
3560 if (bitmap_bh == NULL) {
3561 /* error handling here */
3562 ext4_mb_release_desc(&e4b);
3563 BUG_ON(bitmap_bh == NULL);
3564 }
3565
3566 err = ext4_mb_load_buddy(sb, group, &e4b);
3567 BUG_ON(err != 0); /* error handling here */
3568
3569 if (needed == 0)
3570 needed = EXT4_BLOCKS_PER_GROUP(sb) + 1;
3571
3572 grp = ext4_get_group_info(sb, group);
3573 INIT_LIST_HEAD(&list);
3574
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003575 ac = kmem_cache_alloc(ext4_ac_cachep, GFP_NOFS);
Alex Tomasc9de5602008-01-29 00:19:52 -05003576repeat:
3577 ext4_lock_group(sb, group);
3578 list_for_each_entry_safe(pa, tmp,
3579 &grp->bb_prealloc_list, pa_group_list) {
3580 spin_lock(&pa->pa_lock);
3581 if (atomic_read(&pa->pa_count)) {
3582 spin_unlock(&pa->pa_lock);
3583 busy = 1;
3584 continue;
3585 }
3586 if (pa->pa_deleted) {
3587 spin_unlock(&pa->pa_lock);
3588 continue;
3589 }
3590
3591 /* seems this one can be freed ... */
3592 pa->pa_deleted = 1;
3593
3594 /* we can trust pa_free ... */
3595 free += pa->pa_free;
3596
3597 spin_unlock(&pa->pa_lock);
3598
3599 list_del(&pa->pa_group_list);
3600 list_add(&pa->u.pa_tmp_list, &list);
3601 }
3602
3603 /* if we still need more blocks and some PAs were used, try again */
3604 if (free < needed && busy) {
3605 busy = 0;
3606 ext4_unlock_group(sb, group);
3607 /*
3608 * Yield the CPU here so that we don't get soft lockup
3609 * in non preempt case.
3610 */
3611 yield();
3612 goto repeat;
3613 }
3614
3615 /* found anything to free? */
3616 if (list_empty(&list)) {
3617 BUG_ON(free != 0);
3618 goto out;
3619 }
3620
3621 /* now free all selected PAs */
3622 list_for_each_entry_safe(pa, tmp, &list, u.pa_tmp_list) {
3623
3624 /* remove from object (inode or locality group) */
3625 spin_lock(pa->pa_obj_lock);
3626 list_del_rcu(&pa->pa_inode_list);
3627 spin_unlock(pa->pa_obj_lock);
3628
3629 if (pa->pa_linear)
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003630 ext4_mb_release_group_pa(&e4b, pa, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05003631 else
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003632 ext4_mb_release_inode_pa(&e4b, bitmap_bh, pa, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05003633
3634 list_del(&pa->u.pa_tmp_list);
3635 call_rcu(&(pa)->u.pa_rcu, ext4_mb_pa_callback);
3636 }
3637
3638out:
3639 ext4_unlock_group(sb, group);
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003640 if (ac)
3641 kmem_cache_free(ext4_ac_cachep, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05003642 ext4_mb_release_desc(&e4b);
3643 put_bh(bitmap_bh);
3644 return free;
3645}
3646
3647/*
3648 * releases all non-used preallocated blocks for given inode
3649 *
3650 * It's important to discard preallocations under i_data_sem
3651 * We don't want another block to be served from the prealloc
3652 * space when we are discarding the inode prealloc space.
3653 *
3654 * FIXME!! Make sure it is valid at all the call sites
3655 */
3656void ext4_mb_discard_inode_preallocations(struct inode *inode)
3657{
3658 struct ext4_inode_info *ei = EXT4_I(inode);
3659 struct super_block *sb = inode->i_sb;
3660 struct buffer_head *bitmap_bh = NULL;
3661 struct ext4_prealloc_space *pa, *tmp;
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003662 struct ext4_allocation_context *ac;
Alex Tomasc9de5602008-01-29 00:19:52 -05003663 ext4_group_t group = 0;
3664 struct list_head list;
3665 struct ext4_buddy e4b;
3666 int err;
3667
3668 if (!test_opt(sb, MBALLOC) || !S_ISREG(inode->i_mode)) {
3669 /*BUG_ON(!list_empty(&ei->i_prealloc_list));*/
3670 return;
3671 }
3672
3673 mb_debug("discard preallocation for inode %lu\n", inode->i_ino);
3674
3675 INIT_LIST_HEAD(&list);
3676
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003677 ac = kmem_cache_alloc(ext4_ac_cachep, GFP_NOFS);
Alex Tomasc9de5602008-01-29 00:19:52 -05003678repeat:
3679 /* first, collect all pa's in the inode */
3680 spin_lock(&ei->i_prealloc_lock);
3681 while (!list_empty(&ei->i_prealloc_list)) {
3682 pa = list_entry(ei->i_prealloc_list.next,
3683 struct ext4_prealloc_space, pa_inode_list);
3684 BUG_ON(pa->pa_obj_lock != &ei->i_prealloc_lock);
3685 spin_lock(&pa->pa_lock);
3686 if (atomic_read(&pa->pa_count)) {
3687 /* this shouldn't happen often - nobody should
3688 * use preallocation while we're discarding it */
3689 spin_unlock(&pa->pa_lock);
3690 spin_unlock(&ei->i_prealloc_lock);
3691 printk(KERN_ERR "uh-oh! used pa while discarding\n");
3692 WARN_ON(1);
3693 schedule_timeout_uninterruptible(HZ);
3694 goto repeat;
3695
3696 }
3697 if (pa->pa_deleted == 0) {
3698 pa->pa_deleted = 1;
3699 spin_unlock(&pa->pa_lock);
3700 list_del_rcu(&pa->pa_inode_list);
3701 list_add(&pa->u.pa_tmp_list, &list);
3702 continue;
3703 }
3704
3705 /* someone is deleting pa right now */
3706 spin_unlock(&pa->pa_lock);
3707 spin_unlock(&ei->i_prealloc_lock);
3708
3709 /* we have to wait here because pa_deleted
3710 * doesn't mean pa is already unlinked from
3711 * the list. as we might be called from
3712 * ->clear_inode() the inode will get freed
3713 * and concurrent thread which is unlinking
3714 * pa from inode's list may access already
3715 * freed memory, bad-bad-bad */
3716
3717 /* XXX: if this happens too often, we can
3718 * add a flag to force wait only in case
3719 * of ->clear_inode(), but not in case of
3720 * regular truncate */
3721 schedule_timeout_uninterruptible(HZ);
3722 goto repeat;
3723 }
3724 spin_unlock(&ei->i_prealloc_lock);
3725
3726 list_for_each_entry_safe(pa, tmp, &list, u.pa_tmp_list) {
3727 BUG_ON(pa->pa_linear != 0);
3728 ext4_get_group_no_and_offset(sb, pa->pa_pstart, &group, NULL);
3729
3730 err = ext4_mb_load_buddy(sb, group, &e4b);
3731 BUG_ON(err != 0); /* error handling here */
3732
3733 bitmap_bh = read_block_bitmap(sb, group);
3734 if (bitmap_bh == NULL) {
3735 /* error handling here */
3736 ext4_mb_release_desc(&e4b);
3737 BUG_ON(bitmap_bh == NULL);
3738 }
3739
3740 ext4_lock_group(sb, group);
3741 list_del(&pa->pa_group_list);
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003742 ext4_mb_release_inode_pa(&e4b, bitmap_bh, pa, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05003743 ext4_unlock_group(sb, group);
3744
3745 ext4_mb_release_desc(&e4b);
3746 put_bh(bitmap_bh);
3747
3748 list_del(&pa->u.pa_tmp_list);
3749 call_rcu(&(pa)->u.pa_rcu, ext4_mb_pa_callback);
3750 }
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003751 if (ac)
3752 kmem_cache_free(ext4_ac_cachep, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05003753}
3754
3755/*
3756 * finds all preallocated spaces and return blocks being freed to them
3757 * if preallocated space becomes full (no block is used from the space)
3758 * then the function frees space in buddy
3759 * XXX: at the moment, truncate (which is the only way to free blocks)
3760 * discards all preallocations
3761 */
3762static void ext4_mb_return_to_preallocation(struct inode *inode,
3763 struct ext4_buddy *e4b,
3764 sector_t block, int count)
3765{
3766 BUG_ON(!list_empty(&EXT4_I(inode)->i_prealloc_list));
3767}
3768#ifdef MB_DEBUG
3769static void ext4_mb_show_ac(struct ext4_allocation_context *ac)
3770{
3771 struct super_block *sb = ac->ac_sb;
3772 ext4_group_t i;
3773
3774 printk(KERN_ERR "EXT4-fs: Can't allocate:"
3775 " Allocation context details:\n");
3776 printk(KERN_ERR "EXT4-fs: status %d flags %d\n",
3777 ac->ac_status, ac->ac_flags);
3778 printk(KERN_ERR "EXT4-fs: orig %lu/%lu/%lu@%lu, goal %lu/%lu/%lu@%lu, "
3779 "best %lu/%lu/%lu@%lu cr %d\n",
3780 (unsigned long)ac->ac_o_ex.fe_group,
3781 (unsigned long)ac->ac_o_ex.fe_start,
3782 (unsigned long)ac->ac_o_ex.fe_len,
3783 (unsigned long)ac->ac_o_ex.fe_logical,
3784 (unsigned long)ac->ac_g_ex.fe_group,
3785 (unsigned long)ac->ac_g_ex.fe_start,
3786 (unsigned long)ac->ac_g_ex.fe_len,
3787 (unsigned long)ac->ac_g_ex.fe_logical,
3788 (unsigned long)ac->ac_b_ex.fe_group,
3789 (unsigned long)ac->ac_b_ex.fe_start,
3790 (unsigned long)ac->ac_b_ex.fe_len,
3791 (unsigned long)ac->ac_b_ex.fe_logical,
3792 (int)ac->ac_criteria);
3793 printk(KERN_ERR "EXT4-fs: %lu scanned, %d found\n", ac->ac_ex_scanned,
3794 ac->ac_found);
3795 printk(KERN_ERR "EXT4-fs: groups: \n");
3796 for (i = 0; i < EXT4_SB(sb)->s_groups_count; i++) {
3797 struct ext4_group_info *grp = ext4_get_group_info(sb, i);
3798 struct ext4_prealloc_space *pa;
3799 ext4_grpblk_t start;
3800 struct list_head *cur;
3801 ext4_lock_group(sb, i);
3802 list_for_each(cur, &grp->bb_prealloc_list) {
3803 pa = list_entry(cur, struct ext4_prealloc_space,
3804 pa_group_list);
3805 spin_lock(&pa->pa_lock);
3806 ext4_get_group_no_and_offset(sb, pa->pa_pstart,
3807 NULL, &start);
3808 spin_unlock(&pa->pa_lock);
3809 printk(KERN_ERR "PA:%lu:%d:%u \n", i,
3810 start, pa->pa_len);
3811 }
Solofo Ramangalahy60bd63d2008-04-29 21:59:59 -04003812 ext4_unlock_group(sb, i);
Alex Tomasc9de5602008-01-29 00:19:52 -05003813
3814 if (grp->bb_free == 0)
3815 continue;
3816 printk(KERN_ERR "%lu: %d/%d \n",
3817 i, grp->bb_free, grp->bb_fragments);
3818 }
3819 printk(KERN_ERR "\n");
3820}
3821#else
3822static inline void ext4_mb_show_ac(struct ext4_allocation_context *ac)
3823{
3824 return;
3825}
3826#endif
3827
3828/*
3829 * We use locality group preallocation for small size file. The size of the
3830 * file is determined by the current size or the resulting size after
3831 * allocation which ever is larger
3832 *
3833 * One can tune this size via /proc/fs/ext4/<partition>/stream_req
3834 */
3835static void ext4_mb_group_or_file(struct ext4_allocation_context *ac)
3836{
3837 struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
3838 int bsbits = ac->ac_sb->s_blocksize_bits;
3839 loff_t size, isize;
3840
3841 if (!(ac->ac_flags & EXT4_MB_HINT_DATA))
3842 return;
3843
3844 size = ac->ac_o_ex.fe_logical + ac->ac_o_ex.fe_len;
3845 isize = i_size_read(ac->ac_inode) >> bsbits;
3846 size = max(size, isize);
3847
3848 /* don't use group allocation for large files */
3849 if (size >= sbi->s_mb_stream_request)
3850 return;
3851
3852 if (unlikely(ac->ac_flags & EXT4_MB_HINT_GOAL_ONLY))
3853 return;
3854
3855 BUG_ON(ac->ac_lg != NULL);
3856 /*
3857 * locality group prealloc space are per cpu. The reason for having
3858 * per cpu locality group is to reduce the contention between block
3859 * request from multiple CPUs.
3860 */
3861 ac->ac_lg = &sbi->s_locality_groups[get_cpu()];
3862 put_cpu();
3863
3864 /* we're going to use group allocation */
3865 ac->ac_flags |= EXT4_MB_HINT_GROUP_ALLOC;
3866
3867 /* serialize all allocations in the group */
3868 mutex_lock(&ac->ac_lg->lg_mutex);
3869}
3870
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003871static noinline_for_stack int
3872ext4_mb_initialize_context(struct ext4_allocation_context *ac,
Alex Tomasc9de5602008-01-29 00:19:52 -05003873 struct ext4_allocation_request *ar)
3874{
3875 struct super_block *sb = ar->inode->i_sb;
3876 struct ext4_sb_info *sbi = EXT4_SB(sb);
3877 struct ext4_super_block *es = sbi->s_es;
3878 ext4_group_t group;
3879 unsigned long len;
3880 unsigned long goal;
3881 ext4_grpblk_t block;
3882
3883 /* we can't allocate > group size */
3884 len = ar->len;
3885
3886 /* just a dirty hack to filter too big requests */
3887 if (len >= EXT4_BLOCKS_PER_GROUP(sb) - 10)
3888 len = EXT4_BLOCKS_PER_GROUP(sb) - 10;
3889
3890 /* start searching from the goal */
3891 goal = ar->goal;
3892 if (goal < le32_to_cpu(es->s_first_data_block) ||
3893 goal >= ext4_blocks_count(es))
3894 goal = le32_to_cpu(es->s_first_data_block);
3895 ext4_get_group_no_and_offset(sb, goal, &group, &block);
3896
3897 /* set up allocation goals */
3898 ac->ac_b_ex.fe_logical = ar->logical;
3899 ac->ac_b_ex.fe_group = 0;
3900 ac->ac_b_ex.fe_start = 0;
3901 ac->ac_b_ex.fe_len = 0;
3902 ac->ac_status = AC_STATUS_CONTINUE;
3903 ac->ac_groups_scanned = 0;
3904 ac->ac_ex_scanned = 0;
3905 ac->ac_found = 0;
3906 ac->ac_sb = sb;
3907 ac->ac_inode = ar->inode;
3908 ac->ac_o_ex.fe_logical = ar->logical;
3909 ac->ac_o_ex.fe_group = group;
3910 ac->ac_o_ex.fe_start = block;
3911 ac->ac_o_ex.fe_len = len;
3912 ac->ac_g_ex.fe_logical = ar->logical;
3913 ac->ac_g_ex.fe_group = group;
3914 ac->ac_g_ex.fe_start = block;
3915 ac->ac_g_ex.fe_len = len;
3916 ac->ac_f_ex.fe_len = 0;
3917 ac->ac_flags = ar->flags;
3918 ac->ac_2order = 0;
3919 ac->ac_criteria = 0;
3920 ac->ac_pa = NULL;
3921 ac->ac_bitmap_page = NULL;
3922 ac->ac_buddy_page = NULL;
3923 ac->ac_lg = NULL;
3924
3925 /* we have to define context: we'll we work with a file or
3926 * locality group. this is a policy, actually */
3927 ext4_mb_group_or_file(ac);
3928
3929 mb_debug("init ac: %u blocks @ %u, goal %u, flags %x, 2^%d, "
3930 "left: %u/%u, right %u/%u to %swritable\n",
3931 (unsigned) ar->len, (unsigned) ar->logical,
3932 (unsigned) ar->goal, ac->ac_flags, ac->ac_2order,
3933 (unsigned) ar->lleft, (unsigned) ar->pleft,
3934 (unsigned) ar->lright, (unsigned) ar->pright,
3935 atomic_read(&ar->inode->i_writecount) ? "" : "non-");
3936 return 0;
3937
3938}
3939
3940/*
3941 * release all resource we used in allocation
3942 */
3943static int ext4_mb_release_context(struct ext4_allocation_context *ac)
3944{
3945 if (ac->ac_pa) {
3946 if (ac->ac_pa->pa_linear) {
3947 /* see comment in ext4_mb_use_group_pa() */
3948 spin_lock(&ac->ac_pa->pa_lock);
3949 ac->ac_pa->pa_pstart += ac->ac_b_ex.fe_len;
3950 ac->ac_pa->pa_lstart += ac->ac_b_ex.fe_len;
3951 ac->ac_pa->pa_free -= ac->ac_b_ex.fe_len;
3952 ac->ac_pa->pa_len -= ac->ac_b_ex.fe_len;
3953 spin_unlock(&ac->ac_pa->pa_lock);
3954 }
3955 ext4_mb_put_pa(ac, ac->ac_sb, ac->ac_pa);
3956 }
3957 if (ac->ac_bitmap_page)
3958 page_cache_release(ac->ac_bitmap_page);
3959 if (ac->ac_buddy_page)
3960 page_cache_release(ac->ac_buddy_page);
3961 if (ac->ac_flags & EXT4_MB_HINT_GROUP_ALLOC)
3962 mutex_unlock(&ac->ac_lg->lg_mutex);
3963 ext4_mb_collect_stats(ac);
3964 return 0;
3965}
3966
3967static int ext4_mb_discard_preallocations(struct super_block *sb, int needed)
3968{
3969 ext4_group_t i;
3970 int ret;
3971 int freed = 0;
3972
3973 for (i = 0; i < EXT4_SB(sb)->s_groups_count && needed > 0; i++) {
3974 ret = ext4_mb_discard_group_preallocations(sb, i, needed);
3975 freed += ret;
3976 needed -= ret;
3977 }
3978
3979 return freed;
3980}
3981
3982/*
3983 * Main entry point into mballoc to allocate blocks
3984 * it tries to use preallocation first, then falls back
3985 * to usual allocation
3986 */
3987ext4_fsblk_t ext4_mb_new_blocks(handle_t *handle,
3988 struct ext4_allocation_request *ar, int *errp)
3989{
Eric Sandeen256bdb42008-02-10 01:13:33 -05003990 struct ext4_allocation_context *ac = NULL;
Alex Tomasc9de5602008-01-29 00:19:52 -05003991 struct ext4_sb_info *sbi;
3992 struct super_block *sb;
3993 ext4_fsblk_t block = 0;
3994 int freed;
3995 int inquota;
3996
3997 sb = ar->inode->i_sb;
3998 sbi = EXT4_SB(sb);
3999
4000 if (!test_opt(sb, MBALLOC)) {
4001 block = ext4_new_blocks_old(handle, ar->inode, ar->goal,
4002 &(ar->len), errp);
4003 return block;
4004 }
4005
4006 while (ar->len && DQUOT_ALLOC_BLOCK(ar->inode, ar->len)) {
4007 ar->flags |= EXT4_MB_HINT_NOPREALLOC;
4008 ar->len--;
4009 }
4010 if (ar->len == 0) {
4011 *errp = -EDQUOT;
4012 return 0;
4013 }
4014 inquota = ar->len;
4015
Eric Sandeen256bdb42008-02-10 01:13:33 -05004016 ac = kmem_cache_alloc(ext4_ac_cachep, GFP_NOFS);
4017 if (!ac) {
4018 *errp = -ENOMEM;
4019 return 0;
4020 }
4021
Alex Tomasc9de5602008-01-29 00:19:52 -05004022 ext4_mb_poll_new_transaction(sb, handle);
4023
Eric Sandeen256bdb42008-02-10 01:13:33 -05004024 *errp = ext4_mb_initialize_context(ac, ar);
Alex Tomasc9de5602008-01-29 00:19:52 -05004025 if (*errp) {
4026 ar->len = 0;
4027 goto out;
4028 }
4029
Eric Sandeen256bdb42008-02-10 01:13:33 -05004030 ac->ac_op = EXT4_MB_HISTORY_PREALLOC;
4031 if (!ext4_mb_use_preallocated(ac)) {
Alex Tomasc9de5602008-01-29 00:19:52 -05004032
Eric Sandeen256bdb42008-02-10 01:13:33 -05004033 ac->ac_op = EXT4_MB_HISTORY_ALLOC;
4034 ext4_mb_normalize_request(ac, ar);
Alex Tomasc9de5602008-01-29 00:19:52 -05004035
4036repeat:
4037 /* allocate space in core */
Eric Sandeen256bdb42008-02-10 01:13:33 -05004038 ext4_mb_regular_allocator(ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05004039
4040 /* as we've just preallocated more space than
4041 * user requested orinally, we store allocated
4042 * space in a special descriptor */
Eric Sandeen256bdb42008-02-10 01:13:33 -05004043 if (ac->ac_status == AC_STATUS_FOUND &&
4044 ac->ac_o_ex.fe_len < ac->ac_b_ex.fe_len)
4045 ext4_mb_new_preallocation(ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05004046 }
4047
Eric Sandeen256bdb42008-02-10 01:13:33 -05004048 if (likely(ac->ac_status == AC_STATUS_FOUND)) {
4049 ext4_mb_mark_diskspace_used(ac, handle);
Alex Tomasc9de5602008-01-29 00:19:52 -05004050 *errp = 0;
Eric Sandeen256bdb42008-02-10 01:13:33 -05004051 block = ext4_grp_offs_to_block(sb, &ac->ac_b_ex);
4052 ar->len = ac->ac_b_ex.fe_len;
Alex Tomasc9de5602008-01-29 00:19:52 -05004053 } else {
Eric Sandeen256bdb42008-02-10 01:13:33 -05004054 freed = ext4_mb_discard_preallocations(sb, ac->ac_o_ex.fe_len);
Alex Tomasc9de5602008-01-29 00:19:52 -05004055 if (freed)
4056 goto repeat;
4057 *errp = -ENOSPC;
Eric Sandeen256bdb42008-02-10 01:13:33 -05004058 ac->ac_b_ex.fe_len = 0;
Alex Tomasc9de5602008-01-29 00:19:52 -05004059 ar->len = 0;
Eric Sandeen256bdb42008-02-10 01:13:33 -05004060 ext4_mb_show_ac(ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05004061 }
4062
Eric Sandeen256bdb42008-02-10 01:13:33 -05004063 ext4_mb_release_context(ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05004064
4065out:
4066 if (ar->len < inquota)
4067 DQUOT_FREE_BLOCK(ar->inode, inquota - ar->len);
4068
Eric Sandeen256bdb42008-02-10 01:13:33 -05004069 kmem_cache_free(ext4_ac_cachep, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05004070 return block;
4071}
4072static void ext4_mb_poll_new_transaction(struct super_block *sb,
4073 handle_t *handle)
4074{
4075 struct ext4_sb_info *sbi = EXT4_SB(sb);
4076
4077 if (sbi->s_last_transaction == handle->h_transaction->t_tid)
4078 return;
4079
4080 /* new transaction! time to close last one and free blocks for
4081 * committed transaction. we know that only transaction can be
4082 * active, so previos transaction can be being logged and we
4083 * know that transaction before previous is known to be already
4084 * logged. this means that now we may free blocks freed in all
4085 * transactions before previous one. hope I'm clear enough ... */
4086
4087 spin_lock(&sbi->s_md_lock);
4088 if (sbi->s_last_transaction != handle->h_transaction->t_tid) {
4089 mb_debug("new transaction %lu, old %lu\n",
4090 (unsigned long) handle->h_transaction->t_tid,
4091 (unsigned long) sbi->s_last_transaction);
4092 list_splice_init(&sbi->s_closed_transaction,
4093 &sbi->s_committed_transaction);
4094 list_splice_init(&sbi->s_active_transaction,
4095 &sbi->s_closed_transaction);
4096 sbi->s_last_transaction = handle->h_transaction->t_tid;
4097 }
4098 spin_unlock(&sbi->s_md_lock);
4099
4100 ext4_mb_free_committed_blocks(sb);
4101}
4102
Eric Sandeen4ddfef72008-04-29 08:11:12 -04004103static noinline_for_stack int
4104ext4_mb_free_metadata(handle_t *handle, struct ext4_buddy *e4b,
Alex Tomasc9de5602008-01-29 00:19:52 -05004105 ext4_group_t group, ext4_grpblk_t block, int count)
4106{
4107 struct ext4_group_info *db = e4b->bd_info;
4108 struct super_block *sb = e4b->bd_sb;
4109 struct ext4_sb_info *sbi = EXT4_SB(sb);
4110 struct ext4_free_metadata *md;
4111 int i;
4112
4113 BUG_ON(e4b->bd_bitmap_page == NULL);
4114 BUG_ON(e4b->bd_buddy_page == NULL);
4115
4116 ext4_lock_group(sb, group);
4117 for (i = 0; i < count; i++) {
4118 md = db->bb_md_cur;
4119 if (md && db->bb_tid != handle->h_transaction->t_tid) {
4120 db->bb_md_cur = NULL;
4121 md = NULL;
4122 }
4123
4124 if (md == NULL) {
4125 ext4_unlock_group(sb, group);
4126 md = kmalloc(sizeof(*md), GFP_NOFS);
4127 if (md == NULL)
4128 return -ENOMEM;
4129 md->num = 0;
4130 md->group = group;
4131
4132 ext4_lock_group(sb, group);
4133 if (db->bb_md_cur == NULL) {
4134 spin_lock(&sbi->s_md_lock);
4135 list_add(&md->list, &sbi->s_active_transaction);
4136 spin_unlock(&sbi->s_md_lock);
4137 /* protect buddy cache from being freed,
4138 * otherwise we'll refresh it from
4139 * on-disk bitmap and lose not-yet-available
4140 * blocks */
4141 page_cache_get(e4b->bd_buddy_page);
4142 page_cache_get(e4b->bd_bitmap_page);
4143 db->bb_md_cur = md;
4144 db->bb_tid = handle->h_transaction->t_tid;
4145 mb_debug("new md 0x%p for group %lu\n",
4146 md, md->group);
4147 } else {
4148 kfree(md);
4149 md = db->bb_md_cur;
4150 }
4151 }
4152
4153 BUG_ON(md->num >= EXT4_BB_MAX_BLOCKS);
4154 md->blocks[md->num] = block + i;
4155 md->num++;
4156 if (md->num == EXT4_BB_MAX_BLOCKS) {
4157 /* no more space, put full container on a sb's list */
4158 db->bb_md_cur = NULL;
4159 }
4160 }
4161 ext4_unlock_group(sb, group);
4162 return 0;
4163}
4164
4165/*
4166 * Main entry point into mballoc to free blocks
4167 */
4168void ext4_mb_free_blocks(handle_t *handle, struct inode *inode,
4169 unsigned long block, unsigned long count,
4170 int metadata, unsigned long *freed)
4171{
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05004172 struct buffer_head *bitmap_bh = NULL;
Alex Tomasc9de5602008-01-29 00:19:52 -05004173 struct super_block *sb = inode->i_sb;
Eric Sandeen256bdb42008-02-10 01:13:33 -05004174 struct ext4_allocation_context *ac = NULL;
Alex Tomasc9de5602008-01-29 00:19:52 -05004175 struct ext4_group_desc *gdp;
4176 struct ext4_super_block *es;
4177 unsigned long overflow;
4178 ext4_grpblk_t bit;
4179 struct buffer_head *gd_bh;
4180 ext4_group_t block_group;
4181 struct ext4_sb_info *sbi;
4182 struct ext4_buddy e4b;
4183 int err = 0;
4184 int ret;
4185
4186 *freed = 0;
4187
4188 ext4_mb_poll_new_transaction(sb, handle);
4189
4190 sbi = EXT4_SB(sb);
4191 es = EXT4_SB(sb)->s_es;
4192 if (block < le32_to_cpu(es->s_first_data_block) ||
4193 block + count < block ||
4194 block + count > ext4_blocks_count(es)) {
Harvey Harrison46e665e2008-04-17 10:38:59 -04004195 ext4_error(sb, __func__,
Alex Tomasc9de5602008-01-29 00:19:52 -05004196 "Freeing blocks not in datazone - "
4197 "block = %lu, count = %lu", block, count);
4198 goto error_return;
4199 }
4200
4201 ext4_debug("freeing block %lu\n", block);
4202
Eric Sandeen256bdb42008-02-10 01:13:33 -05004203 ac = kmem_cache_alloc(ext4_ac_cachep, GFP_NOFS);
4204 if (ac) {
4205 ac->ac_op = EXT4_MB_HISTORY_FREE;
4206 ac->ac_inode = inode;
4207 ac->ac_sb = sb;
4208 }
Alex Tomasc9de5602008-01-29 00:19:52 -05004209
4210do_more:
4211 overflow = 0;
4212 ext4_get_group_no_and_offset(sb, block, &block_group, &bit);
4213
4214 /*
4215 * Check to see if we are freeing blocks across a group
4216 * boundary.
4217 */
4218 if (bit + count > EXT4_BLOCKS_PER_GROUP(sb)) {
4219 overflow = bit + count - EXT4_BLOCKS_PER_GROUP(sb);
4220 count -= overflow;
4221 }
4222 bitmap_bh = read_block_bitmap(sb, block_group);
4223 if (!bitmap_bh)
4224 goto error_return;
4225 gdp = ext4_get_group_desc(sb, block_group, &gd_bh);
4226 if (!gdp)
4227 goto error_return;
4228
4229 if (in_range(ext4_block_bitmap(sb, gdp), block, count) ||
4230 in_range(ext4_inode_bitmap(sb, gdp), block, count) ||
4231 in_range(block, ext4_inode_table(sb, gdp),
4232 EXT4_SB(sb)->s_itb_per_group) ||
4233 in_range(block + count - 1, ext4_inode_table(sb, gdp),
4234 EXT4_SB(sb)->s_itb_per_group)) {
4235
Harvey Harrison46e665e2008-04-17 10:38:59 -04004236 ext4_error(sb, __func__,
Alex Tomasc9de5602008-01-29 00:19:52 -05004237 "Freeing blocks in system zone - "
4238 "Block = %lu, count = %lu", block, count);
4239 }
4240
4241 BUFFER_TRACE(bitmap_bh, "getting write access");
4242 err = ext4_journal_get_write_access(handle, bitmap_bh);
4243 if (err)
4244 goto error_return;
4245
4246 /*
4247 * We are about to modify some metadata. Call the journal APIs
4248 * to unshare ->b_data if a currently-committing transaction is
4249 * using it
4250 */
4251 BUFFER_TRACE(gd_bh, "get_write_access");
4252 err = ext4_journal_get_write_access(handle, gd_bh);
4253 if (err)
4254 goto error_return;
4255
4256 err = ext4_mb_load_buddy(sb, block_group, &e4b);
4257 if (err)
4258 goto error_return;
4259
4260#ifdef AGGRESSIVE_CHECK
4261 {
4262 int i;
4263 for (i = 0; i < count; i++)
4264 BUG_ON(!mb_test_bit(bit + i, bitmap_bh->b_data));
4265 }
4266#endif
4267 mb_clear_bits(sb_bgl_lock(sbi, block_group), bitmap_bh->b_data,
4268 bit, count);
4269
4270 /* We dirtied the bitmap block */
4271 BUFFER_TRACE(bitmap_bh, "dirtied bitmap block");
4272 err = ext4_journal_dirty_metadata(handle, bitmap_bh);
4273
Eric Sandeen256bdb42008-02-10 01:13:33 -05004274 if (ac) {
4275 ac->ac_b_ex.fe_group = block_group;
4276 ac->ac_b_ex.fe_start = bit;
4277 ac->ac_b_ex.fe_len = count;
4278 ext4_mb_store_history(ac);
4279 }
Alex Tomasc9de5602008-01-29 00:19:52 -05004280
4281 if (metadata) {
4282 /* blocks being freed are metadata. these blocks shouldn't
4283 * be used until this transaction is committed */
4284 ext4_mb_free_metadata(handle, &e4b, block_group, bit, count);
4285 } else {
4286 ext4_lock_group(sb, block_group);
4287 err = mb_free_blocks(inode, &e4b, bit, count);
4288 ext4_mb_return_to_preallocation(inode, &e4b, block, count);
4289 ext4_unlock_group(sb, block_group);
4290 BUG_ON(err != 0);
4291 }
4292
4293 spin_lock(sb_bgl_lock(sbi, block_group));
Marcin Slusarze8546d02008-04-17 10:38:59 -04004294 le16_add_cpu(&gdp->bg_free_blocks_count, count);
Alex Tomasc9de5602008-01-29 00:19:52 -05004295 gdp->bg_checksum = ext4_group_desc_csum(sbi, block_group, gdp);
4296 spin_unlock(sb_bgl_lock(sbi, block_group));
4297 percpu_counter_add(&sbi->s_freeblocks_counter, count);
4298
4299 ext4_mb_release_desc(&e4b);
4300
4301 *freed += count;
4302
4303 /* And the group descriptor block */
4304 BUFFER_TRACE(gd_bh, "dirtied group descriptor block");
4305 ret = ext4_journal_dirty_metadata(handle, gd_bh);
4306 if (!err)
4307 err = ret;
4308
4309 if (overflow && !err) {
4310 block += count;
4311 count = overflow;
4312 put_bh(bitmap_bh);
4313 goto do_more;
4314 }
4315 sb->s_dirt = 1;
4316error_return:
4317 brelse(bitmap_bh);
4318 ext4_std_error(sb, err);
Eric Sandeen256bdb42008-02-10 01:13:33 -05004319 if (ac)
4320 kmem_cache_free(ext4_ac_cachep, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05004321 return;
4322}