blob: 8d254ca83d9e6f8b96c5421ab0d9a7b1afed8003 [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{
Aneesh Kumar K.Ve7dfb242008-07-11 19:27:31 -0400384 int fix = 0, ret, tmpmax;
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500385 addr = mb_correct_addr_and_bit(&fix, addr);
Aneesh Kumar K.Ve7dfb242008-07-11 19:27:31 -0400386 tmpmax = max + fix;
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500387 start += fix;
388
Aneesh Kumar K.Ve7dfb242008-07-11 19:27:31 -0400389 ret = ext4_find_next_zero_bit(addr, tmpmax, start) - fix;
390 if (ret > max)
391 return max;
392 return ret;
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500393}
394
395static inline int mb_find_next_bit(void *addr, int max, int start)
396{
Aneesh Kumar K.Ve7dfb242008-07-11 19:27:31 -0400397 int fix = 0, ret, tmpmax;
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500398 addr = mb_correct_addr_and_bit(&fix, addr);
Aneesh Kumar K.Ve7dfb242008-07-11 19:27:31 -0400399 tmpmax = max + fix;
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500400 start += fix;
401
Aneesh Kumar K.Ve7dfb242008-07-11 19:27:31 -0400402 ret = ext4_find_next_bit(addr, tmpmax, start) - fix;
403 if (ret > max)
404 return max;
405 return ret;
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500406}
407
Alex Tomasc9de5602008-01-29 00:19:52 -0500408static void *mb_find_buddy(struct ext4_buddy *e4b, int order, int *max)
409{
410 char *bb;
411
Alex Tomasc9de5602008-01-29 00:19:52 -0500412 BUG_ON(EXT4_MB_BITMAP(e4b) == EXT4_MB_BUDDY(e4b));
413 BUG_ON(max == NULL);
414
415 if (order > e4b->bd_blkbits + 1) {
416 *max = 0;
417 return NULL;
418 }
419
420 /* at order 0 we see each particular block */
421 *max = 1 << (e4b->bd_blkbits + 3);
422 if (order == 0)
423 return EXT4_MB_BITMAP(e4b);
424
425 bb = EXT4_MB_BUDDY(e4b) + EXT4_SB(e4b->bd_sb)->s_mb_offsets[order];
426 *max = EXT4_SB(e4b->bd_sb)->s_mb_maxs[order];
427
428 return bb;
429}
430
431#ifdef DOUBLE_CHECK
432static void mb_free_blocks_double(struct inode *inode, struct ext4_buddy *e4b,
433 int first, int count)
434{
435 int i;
436 struct super_block *sb = e4b->bd_sb;
437
438 if (unlikely(e4b->bd_info->bb_bitmap == NULL))
439 return;
440 BUG_ON(!ext4_is_group_locked(sb, e4b->bd_group));
441 for (i = 0; i < count; i++) {
442 if (!mb_test_bit(first + i, e4b->bd_info->bb_bitmap)) {
443 ext4_fsblk_t blocknr;
444 blocknr = e4b->bd_group * EXT4_BLOCKS_PER_GROUP(sb);
445 blocknr += first + i;
446 blocknr +=
447 le32_to_cpu(EXT4_SB(sb)->s_es->s_first_data_block);
448
Harvey Harrison46e665e2008-04-17 10:38:59 -0400449 ext4_error(sb, __func__, "double-free of inode"
Alex Tomasc9de5602008-01-29 00:19:52 -0500450 " %lu's block %llu(bit %u in group %lu)\n",
451 inode ? inode->i_ino : 0, blocknr,
452 first + i, e4b->bd_group);
453 }
454 mb_clear_bit(first + i, e4b->bd_info->bb_bitmap);
455 }
456}
457
458static void mb_mark_used_double(struct ext4_buddy *e4b, int first, int count)
459{
460 int i;
461
462 if (unlikely(e4b->bd_info->bb_bitmap == NULL))
463 return;
464 BUG_ON(!ext4_is_group_locked(e4b->bd_sb, e4b->bd_group));
465 for (i = 0; i < count; i++) {
466 BUG_ON(mb_test_bit(first + i, e4b->bd_info->bb_bitmap));
467 mb_set_bit(first + i, e4b->bd_info->bb_bitmap);
468 }
469}
470
471static void mb_cmp_bitmaps(struct ext4_buddy *e4b, void *bitmap)
472{
473 if (memcmp(e4b->bd_info->bb_bitmap, bitmap, e4b->bd_sb->s_blocksize)) {
474 unsigned char *b1, *b2;
475 int i;
476 b1 = (unsigned char *) e4b->bd_info->bb_bitmap;
477 b2 = (unsigned char *) bitmap;
478 for (i = 0; i < e4b->bd_sb->s_blocksize; i++) {
479 if (b1[i] != b2[i]) {
480 printk("corruption in group %lu at byte %u(%u):"
481 " %x in copy != %x on disk/prealloc\n",
482 e4b->bd_group, i, i * 8, b1[i], b2[i]);
483 BUG();
484 }
485 }
486 }
487}
488
489#else
490static inline void mb_free_blocks_double(struct inode *inode,
491 struct ext4_buddy *e4b, int first, int count)
492{
493 return;
494}
495static inline void mb_mark_used_double(struct ext4_buddy *e4b,
496 int first, int count)
497{
498 return;
499}
500static inline void mb_cmp_bitmaps(struct ext4_buddy *e4b, void *bitmap)
501{
502 return;
503}
504#endif
505
506#ifdef AGGRESSIVE_CHECK
507
508#define MB_CHECK_ASSERT(assert) \
509do { \
510 if (!(assert)) { \
511 printk(KERN_EMERG \
512 "Assertion failure in %s() at %s:%d: \"%s\"\n", \
513 function, file, line, # assert); \
514 BUG(); \
515 } \
516} while (0)
517
518static int __mb_check_buddy(struct ext4_buddy *e4b, char *file,
519 const char *function, int line)
520{
521 struct super_block *sb = e4b->bd_sb;
522 int order = e4b->bd_blkbits + 1;
523 int max;
524 int max2;
525 int i;
526 int j;
527 int k;
528 int count;
529 struct ext4_group_info *grp;
530 int fragments = 0;
531 int fstart;
532 struct list_head *cur;
533 void *buddy;
534 void *buddy2;
535
536 if (!test_opt(sb, MBALLOC))
537 return 0;
538
539 {
540 static int mb_check_counter;
541 if (mb_check_counter++ % 100 != 0)
542 return 0;
543 }
544
545 while (order > 1) {
546 buddy = mb_find_buddy(e4b, order, &max);
547 MB_CHECK_ASSERT(buddy);
548 buddy2 = mb_find_buddy(e4b, order - 1, &max2);
549 MB_CHECK_ASSERT(buddy2);
550 MB_CHECK_ASSERT(buddy != buddy2);
551 MB_CHECK_ASSERT(max * 2 == max2);
552
553 count = 0;
554 for (i = 0; i < max; i++) {
555
556 if (mb_test_bit(i, buddy)) {
557 /* only single bit in buddy2 may be 1 */
558 if (!mb_test_bit(i << 1, buddy2)) {
559 MB_CHECK_ASSERT(
560 mb_test_bit((i<<1)+1, buddy2));
561 } else if (!mb_test_bit((i << 1) + 1, buddy2)) {
562 MB_CHECK_ASSERT(
563 mb_test_bit(i << 1, buddy2));
564 }
565 continue;
566 }
567
568 /* both bits in buddy2 must be 0 */
569 MB_CHECK_ASSERT(mb_test_bit(i << 1, buddy2));
570 MB_CHECK_ASSERT(mb_test_bit((i << 1) + 1, buddy2));
571
572 for (j = 0; j < (1 << order); j++) {
573 k = (i * (1 << order)) + j;
574 MB_CHECK_ASSERT(
575 !mb_test_bit(k, EXT4_MB_BITMAP(e4b)));
576 }
577 count++;
578 }
579 MB_CHECK_ASSERT(e4b->bd_info->bb_counters[order] == count);
580 order--;
581 }
582
583 fstart = -1;
584 buddy = mb_find_buddy(e4b, 0, &max);
585 for (i = 0; i < max; i++) {
586 if (!mb_test_bit(i, buddy)) {
587 MB_CHECK_ASSERT(i >= e4b->bd_info->bb_first_free);
588 if (fstart == -1) {
589 fragments++;
590 fstart = i;
591 }
592 continue;
593 }
594 fstart = -1;
595 /* check used bits only */
596 for (j = 0; j < e4b->bd_blkbits + 1; j++) {
597 buddy2 = mb_find_buddy(e4b, j, &max2);
598 k = i >> j;
599 MB_CHECK_ASSERT(k < max2);
600 MB_CHECK_ASSERT(mb_test_bit(k, buddy2));
601 }
602 }
603 MB_CHECK_ASSERT(!EXT4_MB_GRP_NEED_INIT(e4b->bd_info));
604 MB_CHECK_ASSERT(e4b->bd_info->bb_fragments == fragments);
605
606 grp = ext4_get_group_info(sb, e4b->bd_group);
607 buddy = mb_find_buddy(e4b, 0, &max);
608 list_for_each(cur, &grp->bb_prealloc_list) {
609 ext4_group_t groupnr;
610 struct ext4_prealloc_space *pa;
Solofo Ramangalahy60bd63d2008-04-29 21:59:59 -0400611 pa = list_entry(cur, struct ext4_prealloc_space, pa_group_list);
612 ext4_get_group_no_and_offset(sb, pa->pa_pstart, &groupnr, &k);
Alex Tomasc9de5602008-01-29 00:19:52 -0500613 MB_CHECK_ASSERT(groupnr == e4b->bd_group);
Solofo Ramangalahy60bd63d2008-04-29 21:59:59 -0400614 for (i = 0; i < pa->pa_len; i++)
Alex Tomasc9de5602008-01-29 00:19:52 -0500615 MB_CHECK_ASSERT(mb_test_bit(k + i, buddy));
616 }
617 return 0;
618}
619#undef MB_CHECK_ASSERT
620#define mb_check_buddy(e4b) __mb_check_buddy(e4b, \
Harvey Harrison46e665e2008-04-17 10:38:59 -0400621 __FILE__, __func__, __LINE__)
Alex Tomasc9de5602008-01-29 00:19:52 -0500622#else
623#define mb_check_buddy(e4b)
624#endif
625
626/* FIXME!! need more doc */
627static void ext4_mb_mark_free_simple(struct super_block *sb,
628 void *buddy, unsigned first, int len,
629 struct ext4_group_info *grp)
630{
631 struct ext4_sb_info *sbi = EXT4_SB(sb);
632 unsigned short min;
633 unsigned short max;
634 unsigned short chunk;
635 unsigned short border;
636
Valerie Clementb73fce62008-02-15 13:48:51 -0500637 BUG_ON(len > EXT4_BLOCKS_PER_GROUP(sb));
Alex Tomasc9de5602008-01-29 00:19:52 -0500638
639 border = 2 << sb->s_blocksize_bits;
640
641 while (len > 0) {
642 /* find how many blocks can be covered since this position */
643 max = ffs(first | border) - 1;
644
645 /* find how many blocks of power 2 we need to mark */
646 min = fls(len) - 1;
647
648 if (max < min)
649 min = max;
650 chunk = 1 << min;
651
652 /* mark multiblock chunks only */
653 grp->bb_counters[min]++;
654 if (min > 0)
655 mb_clear_bit(first >> min,
656 buddy + sbi->s_mb_offsets[min]);
657
658 len -= chunk;
659 first += chunk;
660 }
661}
662
663static void ext4_mb_generate_buddy(struct super_block *sb,
664 void *buddy, void *bitmap, ext4_group_t group)
665{
666 struct ext4_group_info *grp = ext4_get_group_info(sb, group);
667 unsigned short max = EXT4_BLOCKS_PER_GROUP(sb);
668 unsigned short i = 0;
669 unsigned short first;
670 unsigned short len;
671 unsigned free = 0;
672 unsigned fragments = 0;
673 unsigned long long period = get_cycles();
674
675 /* initialize buddy from bitmap which is aggregation
676 * of on-disk bitmap and preallocations */
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500677 i = mb_find_next_zero_bit(bitmap, max, 0);
Alex Tomasc9de5602008-01-29 00:19:52 -0500678 grp->bb_first_free = i;
679 while (i < max) {
680 fragments++;
681 first = i;
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500682 i = mb_find_next_bit(bitmap, max, i);
Alex Tomasc9de5602008-01-29 00:19:52 -0500683 len = i - first;
684 free += len;
685 if (len > 1)
686 ext4_mb_mark_free_simple(sb, buddy, first, len, grp);
687 else
688 grp->bb_counters[0]++;
689 if (i < max)
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500690 i = mb_find_next_zero_bit(bitmap, max, i);
Alex Tomasc9de5602008-01-29 00:19:52 -0500691 }
692 grp->bb_fragments = fragments;
693
694 if (free != grp->bb_free) {
Harvey Harrison46e665e2008-04-17 10:38:59 -0400695 ext4_error(sb, __func__,
Alex Tomasc9de5602008-01-29 00:19:52 -0500696 "EXT4-fs: group %lu: %u blocks in bitmap, %u in gd\n",
697 group, free, grp->bb_free);
Aneesh Kumar K.Ve56eb652008-02-15 13:48:21 -0500698 /*
699 * If we intent to continue, we consider group descritor
700 * corrupt and update bb_free using bitmap value
701 */
Alex Tomasc9de5602008-01-29 00:19:52 -0500702 grp->bb_free = free;
703 }
704
705 clear_bit(EXT4_GROUP_INFO_NEED_INIT_BIT, &(grp->bb_state));
706
707 period = get_cycles() - period;
708 spin_lock(&EXT4_SB(sb)->s_bal_lock);
709 EXT4_SB(sb)->s_mb_buddies_generated++;
710 EXT4_SB(sb)->s_mb_generation_time += period;
711 spin_unlock(&EXT4_SB(sb)->s_bal_lock);
712}
713
714/* The buddy information is attached the buddy cache inode
715 * for convenience. The information regarding each group
716 * is loaded via ext4_mb_load_buddy. The information involve
717 * block bitmap and buddy information. The information are
718 * stored in the inode as
719 *
720 * { page }
721 * [ group 0 buddy][ group 0 bitmap] [group 1][ group 1]...
722 *
723 *
724 * one block each for bitmap and buddy information.
725 * So for each group we take up 2 blocks. A page can
726 * contain blocks_per_page (PAGE_CACHE_SIZE / blocksize) blocks.
727 * So it can have information regarding groups_per_page which
728 * is blocks_per_page/2
729 */
730
731static int ext4_mb_init_cache(struct page *page, char *incore)
732{
733 int blocksize;
734 int blocks_per_page;
735 int groups_per_page;
736 int err = 0;
737 int i;
738 ext4_group_t first_group;
739 int first_block;
740 struct super_block *sb;
741 struct buffer_head *bhs;
742 struct buffer_head **bh;
743 struct inode *inode;
744 char *data;
745 char *bitmap;
746
747 mb_debug("init page %lu\n", page->index);
748
749 inode = page->mapping->host;
750 sb = inode->i_sb;
751 blocksize = 1 << inode->i_blkbits;
752 blocks_per_page = PAGE_CACHE_SIZE / blocksize;
753
754 groups_per_page = blocks_per_page >> 1;
755 if (groups_per_page == 0)
756 groups_per_page = 1;
757
758 /* allocate buffer_heads to read bitmaps */
759 if (groups_per_page > 1) {
760 err = -ENOMEM;
761 i = sizeof(struct buffer_head *) * groups_per_page;
762 bh = kzalloc(i, GFP_NOFS);
763 if (bh == NULL)
764 goto out;
765 } else
766 bh = &bhs;
767
768 first_group = page->index * blocks_per_page / 2;
769
770 /* read all groups the page covers into the cache */
771 for (i = 0; i < groups_per_page; i++) {
772 struct ext4_group_desc *desc;
773
774 if (first_group + i >= EXT4_SB(sb)->s_groups_count)
775 break;
776
777 err = -EIO;
778 desc = ext4_get_group_desc(sb, first_group + i, NULL);
779 if (desc == NULL)
780 goto out;
781
782 err = -ENOMEM;
783 bh[i] = sb_getblk(sb, ext4_block_bitmap(sb, desc));
784 if (bh[i] == NULL)
785 goto out;
786
787 if (bh_uptodate_or_lock(bh[i]))
788 continue;
789
790 if (desc->bg_flags & cpu_to_le16(EXT4_BG_BLOCK_UNINIT)) {
791 ext4_init_block_bitmap(sb, bh[i],
792 first_group + i, desc);
793 set_buffer_uptodate(bh[i]);
794 unlock_buffer(bh[i]);
795 continue;
796 }
797 get_bh(bh[i]);
798 bh[i]->b_end_io = end_buffer_read_sync;
799 submit_bh(READ, bh[i]);
800 mb_debug("read bitmap for group %lu\n", first_group + i);
801 }
802
803 /* wait for I/O completion */
804 for (i = 0; i < groups_per_page && bh[i]; i++)
805 wait_on_buffer(bh[i]);
806
807 err = -EIO;
808 for (i = 0; i < groups_per_page && bh[i]; i++)
809 if (!buffer_uptodate(bh[i]))
810 goto out;
811
Mingming Cao31b481d2008-07-11 19:27:31 -0400812 err = 0;
Alex Tomasc9de5602008-01-29 00:19:52 -0500813 first_block = page->index * blocks_per_page;
814 for (i = 0; i < blocks_per_page; i++) {
815 int group;
816 struct ext4_group_info *grinfo;
817
818 group = (first_block + i) >> 1;
819 if (group >= EXT4_SB(sb)->s_groups_count)
820 break;
821
822 /*
823 * data carry information regarding this
824 * particular group in the format specified
825 * above
826 *
827 */
828 data = page_address(page) + (i * blocksize);
829 bitmap = bh[group - first_group]->b_data;
830
831 /*
832 * We place the buddy block and bitmap block
833 * close together
834 */
835 if ((first_block + i) & 1) {
836 /* this is block of buddy */
837 BUG_ON(incore == NULL);
838 mb_debug("put buddy for group %u in page %lu/%x\n",
839 group, page->index, i * blocksize);
840 memset(data, 0xff, blocksize);
841 grinfo = ext4_get_group_info(sb, group);
842 grinfo->bb_fragments = 0;
843 memset(grinfo->bb_counters, 0,
844 sizeof(unsigned short)*(sb->s_blocksize_bits+2));
845 /*
846 * incore got set to the group block bitmap below
847 */
848 ext4_mb_generate_buddy(sb, data, incore, group);
849 incore = NULL;
850 } else {
851 /* this is block of bitmap */
852 BUG_ON(incore != NULL);
853 mb_debug("put bitmap for group %u in page %lu/%x\n",
854 group, page->index, i * blocksize);
855
856 /* see comments in ext4_mb_put_pa() */
857 ext4_lock_group(sb, group);
858 memcpy(data, bitmap, blocksize);
859
860 /* mark all preallocated blks used in in-core bitmap */
861 ext4_mb_generate_from_pa(sb, data, group);
862 ext4_unlock_group(sb, group);
863
864 /* set incore so that the buddy information can be
865 * generated using this
866 */
867 incore = data;
868 }
869 }
870 SetPageUptodate(page);
871
872out:
873 if (bh) {
874 for (i = 0; i < groups_per_page && bh[i]; i++)
875 brelse(bh[i]);
876 if (bh != &bhs)
877 kfree(bh);
878 }
879 return err;
880}
881
Eric Sandeen4ddfef72008-04-29 08:11:12 -0400882static noinline_for_stack int
883ext4_mb_load_buddy(struct super_block *sb, ext4_group_t group,
884 struct ext4_buddy *e4b)
Alex Tomasc9de5602008-01-29 00:19:52 -0500885{
886 struct ext4_sb_info *sbi = EXT4_SB(sb);
887 struct inode *inode = sbi->s_buddy_cache;
888 int blocks_per_page;
889 int block;
890 int pnum;
891 int poff;
892 struct page *page;
Shen Fengfdf6c7a2008-07-11 19:27:31 -0400893 int ret;
Alex Tomasc9de5602008-01-29 00:19:52 -0500894
895 mb_debug("load group %lu\n", group);
896
897 blocks_per_page = PAGE_CACHE_SIZE / sb->s_blocksize;
898
899 e4b->bd_blkbits = sb->s_blocksize_bits;
900 e4b->bd_info = ext4_get_group_info(sb, group);
901 e4b->bd_sb = sb;
902 e4b->bd_group = group;
903 e4b->bd_buddy_page = NULL;
904 e4b->bd_bitmap_page = NULL;
905
906 /*
907 * the buddy cache inode stores the block bitmap
908 * and buddy information in consecutive blocks.
909 * So for each group we need two blocks.
910 */
911 block = group * 2;
912 pnum = block / blocks_per_page;
913 poff = block % blocks_per_page;
914
915 /* we could use find_or_create_page(), but it locks page
916 * what we'd like to avoid in fast path ... */
917 page = find_get_page(inode->i_mapping, pnum);
918 if (page == NULL || !PageUptodate(page)) {
919 if (page)
920 page_cache_release(page);
921 page = find_or_create_page(inode->i_mapping, pnum, GFP_NOFS);
922 if (page) {
923 BUG_ON(page->mapping != inode->i_mapping);
924 if (!PageUptodate(page)) {
Shen Fengfdf6c7a2008-07-11 19:27:31 -0400925 ret = ext4_mb_init_cache(page, NULL);
926 if (ret) {
927 unlock_page(page);
928 goto err;
929 }
Alex Tomasc9de5602008-01-29 00:19:52 -0500930 mb_cmp_bitmaps(e4b, page_address(page) +
931 (poff * sb->s_blocksize));
932 }
933 unlock_page(page);
934 }
935 }
Shen Fengfdf6c7a2008-07-11 19:27:31 -0400936 if (page == NULL || !PageUptodate(page)) {
937 ret = -EIO;
Alex Tomasc9de5602008-01-29 00:19:52 -0500938 goto err;
Shen Fengfdf6c7a2008-07-11 19:27:31 -0400939 }
Alex Tomasc9de5602008-01-29 00:19:52 -0500940 e4b->bd_bitmap_page = page;
941 e4b->bd_bitmap = page_address(page) + (poff * sb->s_blocksize);
942 mark_page_accessed(page);
943
944 block++;
945 pnum = block / blocks_per_page;
946 poff = block % blocks_per_page;
947
948 page = find_get_page(inode->i_mapping, pnum);
949 if (page == NULL || !PageUptodate(page)) {
950 if (page)
951 page_cache_release(page);
952 page = find_or_create_page(inode->i_mapping, pnum, GFP_NOFS);
953 if (page) {
954 BUG_ON(page->mapping != inode->i_mapping);
Shen Fengfdf6c7a2008-07-11 19:27:31 -0400955 if (!PageUptodate(page)) {
956 ret = ext4_mb_init_cache(page, e4b->bd_bitmap);
957 if (ret) {
958 unlock_page(page);
959 goto err;
960 }
961 }
Alex Tomasc9de5602008-01-29 00:19:52 -0500962 unlock_page(page);
963 }
964 }
Shen Fengfdf6c7a2008-07-11 19:27:31 -0400965 if (page == NULL || !PageUptodate(page)) {
966 ret = -EIO;
Alex Tomasc9de5602008-01-29 00:19:52 -0500967 goto err;
Shen Fengfdf6c7a2008-07-11 19:27:31 -0400968 }
Alex Tomasc9de5602008-01-29 00:19:52 -0500969 e4b->bd_buddy_page = page;
970 e4b->bd_buddy = page_address(page) + (poff * sb->s_blocksize);
971 mark_page_accessed(page);
972
973 BUG_ON(e4b->bd_bitmap_page == NULL);
974 BUG_ON(e4b->bd_buddy_page == NULL);
975
976 return 0;
977
978err:
979 if (e4b->bd_bitmap_page)
980 page_cache_release(e4b->bd_bitmap_page);
981 if (e4b->bd_buddy_page)
982 page_cache_release(e4b->bd_buddy_page);
983 e4b->bd_buddy = NULL;
984 e4b->bd_bitmap = NULL;
Shen Fengfdf6c7a2008-07-11 19:27:31 -0400985 return ret;
Alex Tomasc9de5602008-01-29 00:19:52 -0500986}
987
988static void ext4_mb_release_desc(struct ext4_buddy *e4b)
989{
990 if (e4b->bd_bitmap_page)
991 page_cache_release(e4b->bd_bitmap_page);
992 if (e4b->bd_buddy_page)
993 page_cache_release(e4b->bd_buddy_page);
994}
995
996
997static int mb_find_order_for_block(struct ext4_buddy *e4b, int block)
998{
999 int order = 1;
1000 void *bb;
1001
1002 BUG_ON(EXT4_MB_BITMAP(e4b) == EXT4_MB_BUDDY(e4b));
1003 BUG_ON(block >= (1 << (e4b->bd_blkbits + 3)));
1004
1005 bb = EXT4_MB_BUDDY(e4b);
1006 while (order <= e4b->bd_blkbits + 1) {
1007 block = block >> 1;
1008 if (!mb_test_bit(block, bb)) {
1009 /* this block is part of buddy of order 'order' */
1010 return order;
1011 }
1012 bb += 1 << (e4b->bd_blkbits - order);
1013 order++;
1014 }
1015 return 0;
1016}
1017
1018static void mb_clear_bits(spinlock_t *lock, void *bm, int cur, int len)
1019{
1020 __u32 *addr;
1021
1022 len = cur + len;
1023 while (cur < len) {
1024 if ((cur & 31) == 0 && (len - cur) >= 32) {
1025 /* fast path: clear whole word at once */
1026 addr = bm + (cur >> 3);
1027 *addr = 0;
1028 cur += 32;
1029 continue;
1030 }
1031 mb_clear_bit_atomic(lock, cur, bm);
1032 cur++;
1033 }
1034}
1035
1036static void mb_set_bits(spinlock_t *lock, void *bm, int cur, int len)
1037{
1038 __u32 *addr;
1039
1040 len = cur + len;
1041 while (cur < len) {
1042 if ((cur & 31) == 0 && (len - cur) >= 32) {
1043 /* fast path: set whole word at once */
1044 addr = bm + (cur >> 3);
1045 *addr = 0xffffffff;
1046 cur += 32;
1047 continue;
1048 }
1049 mb_set_bit_atomic(lock, cur, bm);
1050 cur++;
1051 }
1052}
1053
Shen Feng7e5a8cd2008-07-13 21:03:31 -04001054static void mb_free_blocks(struct inode *inode, struct ext4_buddy *e4b,
Alex Tomasc9de5602008-01-29 00:19:52 -05001055 int first, int count)
1056{
1057 int block = 0;
1058 int max = 0;
1059 int order;
1060 void *buddy;
1061 void *buddy2;
1062 struct super_block *sb = e4b->bd_sb;
1063
1064 BUG_ON(first + count > (sb->s_blocksize << 3));
1065 BUG_ON(!ext4_is_group_locked(sb, e4b->bd_group));
1066 mb_check_buddy(e4b);
1067 mb_free_blocks_double(inode, e4b, first, count);
1068
1069 e4b->bd_info->bb_free += count;
1070 if (first < e4b->bd_info->bb_first_free)
1071 e4b->bd_info->bb_first_free = first;
1072
1073 /* let's maintain fragments counter */
1074 if (first != 0)
1075 block = !mb_test_bit(first - 1, EXT4_MB_BITMAP(e4b));
1076 if (first + count < EXT4_SB(sb)->s_mb_maxs[0])
1077 max = !mb_test_bit(first + count, EXT4_MB_BITMAP(e4b));
1078 if (block && max)
1079 e4b->bd_info->bb_fragments--;
1080 else if (!block && !max)
1081 e4b->bd_info->bb_fragments++;
1082
1083 /* let's maintain buddy itself */
1084 while (count-- > 0) {
1085 block = first++;
1086 order = 0;
1087
1088 if (!mb_test_bit(block, EXT4_MB_BITMAP(e4b))) {
1089 ext4_fsblk_t blocknr;
1090 blocknr = e4b->bd_group * EXT4_BLOCKS_PER_GROUP(sb);
1091 blocknr += block;
1092 blocknr +=
1093 le32_to_cpu(EXT4_SB(sb)->s_es->s_first_data_block);
Shen Feng7e5a8cd2008-07-13 21:03:31 -04001094 ext4_unlock_group(sb, e4b->bd_group);
Harvey Harrison46e665e2008-04-17 10:38:59 -04001095 ext4_error(sb, __func__, "double-free of inode"
Alex Tomasc9de5602008-01-29 00:19:52 -05001096 " %lu's block %llu(bit %u in group %lu)\n",
1097 inode ? inode->i_ino : 0, blocknr, block,
1098 e4b->bd_group);
Shen Feng7e5a8cd2008-07-13 21:03:31 -04001099 ext4_lock_group(sb, e4b->bd_group);
Alex Tomasc9de5602008-01-29 00:19:52 -05001100 }
1101 mb_clear_bit(block, EXT4_MB_BITMAP(e4b));
1102 e4b->bd_info->bb_counters[order]++;
1103
1104 /* start of the buddy */
1105 buddy = mb_find_buddy(e4b, order, &max);
1106
1107 do {
1108 block &= ~1UL;
1109 if (mb_test_bit(block, buddy) ||
1110 mb_test_bit(block + 1, buddy))
1111 break;
1112
1113 /* both the buddies are free, try to coalesce them */
1114 buddy2 = mb_find_buddy(e4b, order + 1, &max);
1115
1116 if (!buddy2)
1117 break;
1118
1119 if (order > 0) {
1120 /* for special purposes, we don't set
1121 * free bits in bitmap */
1122 mb_set_bit(block, buddy);
1123 mb_set_bit(block + 1, buddy);
1124 }
1125 e4b->bd_info->bb_counters[order]--;
1126 e4b->bd_info->bb_counters[order]--;
1127
1128 block = block >> 1;
1129 order++;
1130 e4b->bd_info->bb_counters[order]++;
1131
1132 mb_clear_bit(block, buddy2);
1133 buddy = buddy2;
1134 } while (1);
1135 }
1136 mb_check_buddy(e4b);
Alex Tomasc9de5602008-01-29 00:19:52 -05001137}
1138
1139static int mb_find_extent(struct ext4_buddy *e4b, int order, int block,
1140 int needed, struct ext4_free_extent *ex)
1141{
1142 int next = block;
1143 int max;
1144 int ord;
1145 void *buddy;
1146
1147 BUG_ON(!ext4_is_group_locked(e4b->bd_sb, e4b->bd_group));
1148 BUG_ON(ex == NULL);
1149
1150 buddy = mb_find_buddy(e4b, order, &max);
1151 BUG_ON(buddy == NULL);
1152 BUG_ON(block >= max);
1153 if (mb_test_bit(block, buddy)) {
1154 ex->fe_len = 0;
1155 ex->fe_start = 0;
1156 ex->fe_group = 0;
1157 return 0;
1158 }
1159
1160 /* FIXME dorp order completely ? */
1161 if (likely(order == 0)) {
1162 /* find actual order */
1163 order = mb_find_order_for_block(e4b, block);
1164 block = block >> order;
1165 }
1166
1167 ex->fe_len = 1 << order;
1168 ex->fe_start = block << order;
1169 ex->fe_group = e4b->bd_group;
1170
1171 /* calc difference from given start */
1172 next = next - ex->fe_start;
1173 ex->fe_len -= next;
1174 ex->fe_start += next;
1175
1176 while (needed > ex->fe_len &&
1177 (buddy = mb_find_buddy(e4b, order, &max))) {
1178
1179 if (block + 1 >= max)
1180 break;
1181
1182 next = (block + 1) * (1 << order);
1183 if (mb_test_bit(next, EXT4_MB_BITMAP(e4b)))
1184 break;
1185
1186 ord = mb_find_order_for_block(e4b, next);
1187
1188 order = ord;
1189 block = next >> order;
1190 ex->fe_len += 1 << order;
1191 }
1192
1193 BUG_ON(ex->fe_start + ex->fe_len > (1 << (e4b->bd_blkbits + 3)));
1194 return ex->fe_len;
1195}
1196
1197static int mb_mark_used(struct ext4_buddy *e4b, struct ext4_free_extent *ex)
1198{
1199 int ord;
1200 int mlen = 0;
1201 int max = 0;
1202 int cur;
1203 int start = ex->fe_start;
1204 int len = ex->fe_len;
1205 unsigned ret = 0;
1206 int len0 = len;
1207 void *buddy;
1208
1209 BUG_ON(start + len > (e4b->bd_sb->s_blocksize << 3));
1210 BUG_ON(e4b->bd_group != ex->fe_group);
1211 BUG_ON(!ext4_is_group_locked(e4b->bd_sb, e4b->bd_group));
1212 mb_check_buddy(e4b);
1213 mb_mark_used_double(e4b, start, len);
1214
1215 e4b->bd_info->bb_free -= len;
1216 if (e4b->bd_info->bb_first_free == start)
1217 e4b->bd_info->bb_first_free += len;
1218
1219 /* let's maintain fragments counter */
1220 if (start != 0)
1221 mlen = !mb_test_bit(start - 1, EXT4_MB_BITMAP(e4b));
1222 if (start + len < EXT4_SB(e4b->bd_sb)->s_mb_maxs[0])
1223 max = !mb_test_bit(start + len, EXT4_MB_BITMAP(e4b));
1224 if (mlen && max)
1225 e4b->bd_info->bb_fragments++;
1226 else if (!mlen && !max)
1227 e4b->bd_info->bb_fragments--;
1228
1229 /* let's maintain buddy itself */
1230 while (len) {
1231 ord = mb_find_order_for_block(e4b, start);
1232
1233 if (((start >> ord) << ord) == start && len >= (1 << ord)) {
1234 /* the whole chunk may be allocated at once! */
1235 mlen = 1 << ord;
1236 buddy = mb_find_buddy(e4b, ord, &max);
1237 BUG_ON((start >> ord) >= max);
1238 mb_set_bit(start >> ord, buddy);
1239 e4b->bd_info->bb_counters[ord]--;
1240 start += mlen;
1241 len -= mlen;
1242 BUG_ON(len < 0);
1243 continue;
1244 }
1245
1246 /* store for history */
1247 if (ret == 0)
1248 ret = len | (ord << 16);
1249
1250 /* we have to split large buddy */
1251 BUG_ON(ord <= 0);
1252 buddy = mb_find_buddy(e4b, ord, &max);
1253 mb_set_bit(start >> ord, buddy);
1254 e4b->bd_info->bb_counters[ord]--;
1255
1256 ord--;
1257 cur = (start >> ord) & ~1U;
1258 buddy = mb_find_buddy(e4b, ord, &max);
1259 mb_clear_bit(cur, buddy);
1260 mb_clear_bit(cur + 1, buddy);
1261 e4b->bd_info->bb_counters[ord]++;
1262 e4b->bd_info->bb_counters[ord]++;
1263 }
1264
1265 mb_set_bits(sb_bgl_lock(EXT4_SB(e4b->bd_sb), ex->fe_group),
1266 EXT4_MB_BITMAP(e4b), ex->fe_start, len0);
1267 mb_check_buddy(e4b);
1268
1269 return ret;
1270}
1271
1272/*
1273 * Must be called under group lock!
1274 */
1275static void ext4_mb_use_best_found(struct ext4_allocation_context *ac,
1276 struct ext4_buddy *e4b)
1277{
1278 struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
1279 int ret;
1280
1281 BUG_ON(ac->ac_b_ex.fe_group != e4b->bd_group);
1282 BUG_ON(ac->ac_status == AC_STATUS_FOUND);
1283
1284 ac->ac_b_ex.fe_len = min(ac->ac_b_ex.fe_len, ac->ac_g_ex.fe_len);
1285 ac->ac_b_ex.fe_logical = ac->ac_g_ex.fe_logical;
1286 ret = mb_mark_used(e4b, &ac->ac_b_ex);
1287
1288 /* preallocation can change ac_b_ex, thus we store actually
1289 * allocated blocks for history */
1290 ac->ac_f_ex = ac->ac_b_ex;
1291
1292 ac->ac_status = AC_STATUS_FOUND;
1293 ac->ac_tail = ret & 0xffff;
1294 ac->ac_buddy = ret >> 16;
1295
1296 /* XXXXXXX: SUCH A HORRIBLE **CK */
1297 /*FIXME!! Why ? */
1298 ac->ac_bitmap_page = e4b->bd_bitmap_page;
1299 get_page(ac->ac_bitmap_page);
1300 ac->ac_buddy_page = e4b->bd_buddy_page;
1301 get_page(ac->ac_buddy_page);
1302
1303 /* store last allocated for subsequent stream allocation */
1304 if ((ac->ac_flags & EXT4_MB_HINT_DATA)) {
1305 spin_lock(&sbi->s_md_lock);
1306 sbi->s_mb_last_group = ac->ac_f_ex.fe_group;
1307 sbi->s_mb_last_start = ac->ac_f_ex.fe_start;
1308 spin_unlock(&sbi->s_md_lock);
1309 }
1310}
1311
1312/*
1313 * regular allocator, for general purposes allocation
1314 */
1315
1316static void ext4_mb_check_limits(struct ext4_allocation_context *ac,
1317 struct ext4_buddy *e4b,
1318 int finish_group)
1319{
1320 struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
1321 struct ext4_free_extent *bex = &ac->ac_b_ex;
1322 struct ext4_free_extent *gex = &ac->ac_g_ex;
1323 struct ext4_free_extent ex;
1324 int max;
1325
1326 /*
1327 * We don't want to scan for a whole year
1328 */
1329 if (ac->ac_found > sbi->s_mb_max_to_scan &&
1330 !(ac->ac_flags & EXT4_MB_HINT_FIRST)) {
1331 ac->ac_status = AC_STATUS_BREAK;
1332 return;
1333 }
1334
1335 /*
1336 * Haven't found good chunk so far, let's continue
1337 */
1338 if (bex->fe_len < gex->fe_len)
1339 return;
1340
1341 if ((finish_group || ac->ac_found > sbi->s_mb_min_to_scan)
1342 && bex->fe_group == e4b->bd_group) {
1343 /* recheck chunk's availability - we don't know
1344 * when it was found (within this lock-unlock
1345 * period or not) */
1346 max = mb_find_extent(e4b, 0, bex->fe_start, gex->fe_len, &ex);
1347 if (max >= gex->fe_len) {
1348 ext4_mb_use_best_found(ac, e4b);
1349 return;
1350 }
1351 }
1352}
1353
1354/*
1355 * The routine checks whether found extent is good enough. If it is,
1356 * then the extent gets marked used and flag is set to the context
1357 * to stop scanning. Otherwise, the extent is compared with the
1358 * previous found extent and if new one is better, then it's stored
1359 * in the context. Later, the best found extent will be used, if
1360 * mballoc can't find good enough extent.
1361 *
1362 * FIXME: real allocation policy is to be designed yet!
1363 */
1364static void ext4_mb_measure_extent(struct ext4_allocation_context *ac,
1365 struct ext4_free_extent *ex,
1366 struct ext4_buddy *e4b)
1367{
1368 struct ext4_free_extent *bex = &ac->ac_b_ex;
1369 struct ext4_free_extent *gex = &ac->ac_g_ex;
1370
1371 BUG_ON(ex->fe_len <= 0);
1372 BUG_ON(ex->fe_len >= EXT4_BLOCKS_PER_GROUP(ac->ac_sb));
1373 BUG_ON(ex->fe_start >= EXT4_BLOCKS_PER_GROUP(ac->ac_sb));
1374 BUG_ON(ac->ac_status != AC_STATUS_CONTINUE);
1375
1376 ac->ac_found++;
1377
1378 /*
1379 * The special case - take what you catch first
1380 */
1381 if (unlikely(ac->ac_flags & EXT4_MB_HINT_FIRST)) {
1382 *bex = *ex;
1383 ext4_mb_use_best_found(ac, e4b);
1384 return;
1385 }
1386
1387 /*
1388 * Let's check whether the chuck is good enough
1389 */
1390 if (ex->fe_len == gex->fe_len) {
1391 *bex = *ex;
1392 ext4_mb_use_best_found(ac, e4b);
1393 return;
1394 }
1395
1396 /*
1397 * If this is first found extent, just store it in the context
1398 */
1399 if (bex->fe_len == 0) {
1400 *bex = *ex;
1401 return;
1402 }
1403
1404 /*
1405 * If new found extent is better, store it in the context
1406 */
1407 if (bex->fe_len < gex->fe_len) {
1408 /* if the request isn't satisfied, any found extent
1409 * larger than previous best one is better */
1410 if (ex->fe_len > bex->fe_len)
1411 *bex = *ex;
1412 } else if (ex->fe_len > gex->fe_len) {
1413 /* if the request is satisfied, then we try to find
1414 * an extent that still satisfy the request, but is
1415 * smaller than previous one */
1416 if (ex->fe_len < bex->fe_len)
1417 *bex = *ex;
1418 }
1419
1420 ext4_mb_check_limits(ac, e4b, 0);
1421}
1422
1423static int ext4_mb_try_best_found(struct ext4_allocation_context *ac,
1424 struct ext4_buddy *e4b)
1425{
1426 struct ext4_free_extent ex = ac->ac_b_ex;
1427 ext4_group_t group = ex.fe_group;
1428 int max;
1429 int err;
1430
1431 BUG_ON(ex.fe_len <= 0);
1432 err = ext4_mb_load_buddy(ac->ac_sb, group, e4b);
1433 if (err)
1434 return err;
1435
1436 ext4_lock_group(ac->ac_sb, group);
1437 max = mb_find_extent(e4b, 0, ex.fe_start, ex.fe_len, &ex);
1438
1439 if (max > 0) {
1440 ac->ac_b_ex = ex;
1441 ext4_mb_use_best_found(ac, e4b);
1442 }
1443
1444 ext4_unlock_group(ac->ac_sb, group);
1445 ext4_mb_release_desc(e4b);
1446
1447 return 0;
1448}
1449
1450static int ext4_mb_find_by_goal(struct ext4_allocation_context *ac,
1451 struct ext4_buddy *e4b)
1452{
1453 ext4_group_t group = ac->ac_g_ex.fe_group;
1454 int max;
1455 int err;
1456 struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
1457 struct ext4_super_block *es = sbi->s_es;
1458 struct ext4_free_extent ex;
1459
1460 if (!(ac->ac_flags & EXT4_MB_HINT_TRY_GOAL))
1461 return 0;
1462
1463 err = ext4_mb_load_buddy(ac->ac_sb, group, e4b);
1464 if (err)
1465 return err;
1466
1467 ext4_lock_group(ac->ac_sb, group);
1468 max = mb_find_extent(e4b, 0, ac->ac_g_ex.fe_start,
1469 ac->ac_g_ex.fe_len, &ex);
1470
1471 if (max >= ac->ac_g_ex.fe_len && ac->ac_g_ex.fe_len == sbi->s_stripe) {
1472 ext4_fsblk_t start;
1473
1474 start = (e4b->bd_group * EXT4_BLOCKS_PER_GROUP(ac->ac_sb)) +
1475 ex.fe_start + le32_to_cpu(es->s_first_data_block);
1476 /* use do_div to get remainder (would be 64-bit modulo) */
1477 if (do_div(start, sbi->s_stripe) == 0) {
1478 ac->ac_found++;
1479 ac->ac_b_ex = ex;
1480 ext4_mb_use_best_found(ac, e4b);
1481 }
1482 } else if (max >= ac->ac_g_ex.fe_len) {
1483 BUG_ON(ex.fe_len <= 0);
1484 BUG_ON(ex.fe_group != ac->ac_g_ex.fe_group);
1485 BUG_ON(ex.fe_start != ac->ac_g_ex.fe_start);
1486 ac->ac_found++;
1487 ac->ac_b_ex = ex;
1488 ext4_mb_use_best_found(ac, e4b);
1489 } else if (max > 0 && (ac->ac_flags & EXT4_MB_HINT_MERGE)) {
1490 /* Sometimes, caller may want to merge even small
1491 * number of blocks to an existing extent */
1492 BUG_ON(ex.fe_len <= 0);
1493 BUG_ON(ex.fe_group != ac->ac_g_ex.fe_group);
1494 BUG_ON(ex.fe_start != ac->ac_g_ex.fe_start);
1495 ac->ac_found++;
1496 ac->ac_b_ex = ex;
1497 ext4_mb_use_best_found(ac, e4b);
1498 }
1499 ext4_unlock_group(ac->ac_sb, group);
1500 ext4_mb_release_desc(e4b);
1501
1502 return 0;
1503}
1504
1505/*
1506 * The routine scans buddy structures (not bitmap!) from given order
1507 * to max order and tries to find big enough chunk to satisfy the req
1508 */
1509static void ext4_mb_simple_scan_group(struct ext4_allocation_context *ac,
1510 struct ext4_buddy *e4b)
1511{
1512 struct super_block *sb = ac->ac_sb;
1513 struct ext4_group_info *grp = e4b->bd_info;
1514 void *buddy;
1515 int i;
1516 int k;
1517 int max;
1518
1519 BUG_ON(ac->ac_2order <= 0);
1520 for (i = ac->ac_2order; i <= sb->s_blocksize_bits + 1; i++) {
1521 if (grp->bb_counters[i] == 0)
1522 continue;
1523
1524 buddy = mb_find_buddy(e4b, i, &max);
1525 BUG_ON(buddy == NULL);
1526
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -05001527 k = mb_find_next_zero_bit(buddy, max, 0);
Alex Tomasc9de5602008-01-29 00:19:52 -05001528 BUG_ON(k >= max);
1529
1530 ac->ac_found++;
1531
1532 ac->ac_b_ex.fe_len = 1 << i;
1533 ac->ac_b_ex.fe_start = k << i;
1534 ac->ac_b_ex.fe_group = e4b->bd_group;
1535
1536 ext4_mb_use_best_found(ac, e4b);
1537
1538 BUG_ON(ac->ac_b_ex.fe_len != ac->ac_g_ex.fe_len);
1539
1540 if (EXT4_SB(sb)->s_mb_stats)
1541 atomic_inc(&EXT4_SB(sb)->s_bal_2orders);
1542
1543 break;
1544 }
1545}
1546
1547/*
1548 * The routine scans the group and measures all found extents.
1549 * In order to optimize scanning, caller must pass number of
1550 * free blocks in the group, so the routine can know upper limit.
1551 */
1552static void ext4_mb_complex_scan_group(struct ext4_allocation_context *ac,
1553 struct ext4_buddy *e4b)
1554{
1555 struct super_block *sb = ac->ac_sb;
1556 void *bitmap = EXT4_MB_BITMAP(e4b);
1557 struct ext4_free_extent ex;
1558 int i;
1559 int free;
1560
1561 free = e4b->bd_info->bb_free;
1562 BUG_ON(free <= 0);
1563
1564 i = e4b->bd_info->bb_first_free;
1565
1566 while (free && ac->ac_status == AC_STATUS_CONTINUE) {
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -05001567 i = mb_find_next_zero_bit(bitmap,
Alex Tomasc9de5602008-01-29 00:19:52 -05001568 EXT4_BLOCKS_PER_GROUP(sb), i);
1569 if (i >= EXT4_BLOCKS_PER_GROUP(sb)) {
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05001570 /*
Aneesh Kumar K.Ve56eb652008-02-15 13:48:21 -05001571 * IF we have corrupt bitmap, we won't find any
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05001572 * free blocks even though group info says we
1573 * we have free blocks
1574 */
Harvey Harrison46e665e2008-04-17 10:38:59 -04001575 ext4_error(sb, __func__, "%d free blocks as per "
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05001576 "group info. But bitmap says 0\n",
1577 free);
Alex Tomasc9de5602008-01-29 00:19:52 -05001578 break;
1579 }
1580
1581 mb_find_extent(e4b, 0, i, ac->ac_g_ex.fe_len, &ex);
1582 BUG_ON(ex.fe_len <= 0);
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05001583 if (free < ex.fe_len) {
Harvey Harrison46e665e2008-04-17 10:38:59 -04001584 ext4_error(sb, __func__, "%d free blocks as per "
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05001585 "group info. But got %d blocks\n",
1586 free, ex.fe_len);
Aneesh Kumar K.Ve56eb652008-02-15 13:48:21 -05001587 /*
1588 * The number of free blocks differs. This mostly
1589 * indicate that the bitmap is corrupt. So exit
1590 * without claiming the space.
1591 */
1592 break;
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05001593 }
Alex Tomasc9de5602008-01-29 00:19:52 -05001594
1595 ext4_mb_measure_extent(ac, &ex, e4b);
1596
1597 i += ex.fe_len;
1598 free -= ex.fe_len;
1599 }
1600
1601 ext4_mb_check_limits(ac, e4b, 1);
1602}
1603
1604/*
1605 * This is a special case for storages like raid5
1606 * we try to find stripe-aligned chunks for stripe-size requests
1607 * XXX should do so at least for multiples of stripe size as well
1608 */
1609static void ext4_mb_scan_aligned(struct ext4_allocation_context *ac,
1610 struct ext4_buddy *e4b)
1611{
1612 struct super_block *sb = ac->ac_sb;
1613 struct ext4_sb_info *sbi = EXT4_SB(sb);
1614 void *bitmap = EXT4_MB_BITMAP(e4b);
1615 struct ext4_free_extent ex;
1616 ext4_fsblk_t first_group_block;
1617 ext4_fsblk_t a;
1618 ext4_grpblk_t i;
1619 int max;
1620
1621 BUG_ON(sbi->s_stripe == 0);
1622
1623 /* find first stripe-aligned block in group */
1624 first_group_block = e4b->bd_group * EXT4_BLOCKS_PER_GROUP(sb)
1625 + le32_to_cpu(sbi->s_es->s_first_data_block);
1626 a = first_group_block + sbi->s_stripe - 1;
1627 do_div(a, sbi->s_stripe);
1628 i = (a * sbi->s_stripe) - first_group_block;
1629
1630 while (i < EXT4_BLOCKS_PER_GROUP(sb)) {
1631 if (!mb_test_bit(i, bitmap)) {
1632 max = mb_find_extent(e4b, 0, i, sbi->s_stripe, &ex);
1633 if (max >= sbi->s_stripe) {
1634 ac->ac_found++;
1635 ac->ac_b_ex = ex;
1636 ext4_mb_use_best_found(ac, e4b);
1637 break;
1638 }
1639 }
1640 i += sbi->s_stripe;
1641 }
1642}
1643
1644static int ext4_mb_good_group(struct ext4_allocation_context *ac,
1645 ext4_group_t group, int cr)
1646{
1647 unsigned free, fragments;
1648 unsigned i, bits;
1649 struct ext4_group_desc *desc;
1650 struct ext4_group_info *grp = ext4_get_group_info(ac->ac_sb, group);
1651
1652 BUG_ON(cr < 0 || cr >= 4);
1653 BUG_ON(EXT4_MB_GRP_NEED_INIT(grp));
1654
1655 free = grp->bb_free;
1656 fragments = grp->bb_fragments;
1657 if (free == 0)
1658 return 0;
1659 if (fragments == 0)
1660 return 0;
1661
1662 switch (cr) {
1663 case 0:
1664 BUG_ON(ac->ac_2order == 0);
1665 /* If this group is uninitialized, skip it initially */
1666 desc = ext4_get_group_desc(ac->ac_sb, group, NULL);
1667 if (desc->bg_flags & cpu_to_le16(EXT4_BG_BLOCK_UNINIT))
1668 return 0;
1669
1670 bits = ac->ac_sb->s_blocksize_bits + 1;
1671 for (i = ac->ac_2order; i <= bits; i++)
1672 if (grp->bb_counters[i] > 0)
1673 return 1;
1674 break;
1675 case 1:
1676 if ((free / fragments) >= ac->ac_g_ex.fe_len)
1677 return 1;
1678 break;
1679 case 2:
1680 if (free >= ac->ac_g_ex.fe_len)
1681 return 1;
1682 break;
1683 case 3:
1684 return 1;
1685 default:
1686 BUG();
1687 }
1688
1689 return 0;
1690}
1691
Eric Sandeen4ddfef72008-04-29 08:11:12 -04001692static noinline_for_stack int
1693ext4_mb_regular_allocator(struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05001694{
1695 ext4_group_t group;
1696 ext4_group_t i;
1697 int cr;
1698 int err = 0;
1699 int bsbits;
1700 struct ext4_sb_info *sbi;
1701 struct super_block *sb;
1702 struct ext4_buddy e4b;
1703 loff_t size, isize;
1704
1705 sb = ac->ac_sb;
1706 sbi = EXT4_SB(sb);
1707 BUG_ON(ac->ac_status == AC_STATUS_FOUND);
1708
1709 /* first, try the goal */
1710 err = ext4_mb_find_by_goal(ac, &e4b);
1711 if (err || ac->ac_status == AC_STATUS_FOUND)
1712 goto out;
1713
1714 if (unlikely(ac->ac_flags & EXT4_MB_HINT_GOAL_ONLY))
1715 goto out;
1716
1717 /*
1718 * ac->ac2_order is set only if the fe_len is a power of 2
1719 * if ac2_order is set we also set criteria to 0 so that we
1720 * try exact allocation using buddy.
1721 */
1722 i = fls(ac->ac_g_ex.fe_len);
1723 ac->ac_2order = 0;
1724 /*
1725 * We search using buddy data only if the order of the request
1726 * is greater than equal to the sbi_s_mb_order2_reqs
1727 * You can tune it via /proc/fs/ext4/<partition>/order2_req
1728 */
1729 if (i >= sbi->s_mb_order2_reqs) {
1730 /*
1731 * This should tell if fe_len is exactly power of 2
1732 */
1733 if ((ac->ac_g_ex.fe_len & (~(1 << (i - 1)))) == 0)
1734 ac->ac_2order = i - 1;
1735 }
1736
1737 bsbits = ac->ac_sb->s_blocksize_bits;
1738 /* if stream allocation is enabled, use global goal */
1739 size = ac->ac_o_ex.fe_logical + ac->ac_o_ex.fe_len;
1740 isize = i_size_read(ac->ac_inode) >> bsbits;
1741 if (size < isize)
1742 size = isize;
1743
1744 if (size < sbi->s_mb_stream_request &&
1745 (ac->ac_flags & EXT4_MB_HINT_DATA)) {
1746 /* TBD: may be hot point */
1747 spin_lock(&sbi->s_md_lock);
1748 ac->ac_g_ex.fe_group = sbi->s_mb_last_group;
1749 ac->ac_g_ex.fe_start = sbi->s_mb_last_start;
1750 spin_unlock(&sbi->s_md_lock);
1751 }
Alex Tomasc9de5602008-01-29 00:19:52 -05001752 /* Let's just scan groups to find more-less suitable blocks */
1753 cr = ac->ac_2order ? 0 : 1;
1754 /*
1755 * cr == 0 try to get exact allocation,
1756 * cr == 3 try to get anything
1757 */
1758repeat:
1759 for (; cr < 4 && ac->ac_status == AC_STATUS_CONTINUE; cr++) {
1760 ac->ac_criteria = cr;
Aneesh Kumar K.Ved8f9c72008-07-11 19:27:31 -04001761 /*
1762 * searching for the right group start
1763 * from the goal value specified
1764 */
1765 group = ac->ac_g_ex.fe_group;
1766
Alex Tomasc9de5602008-01-29 00:19:52 -05001767 for (i = 0; i < EXT4_SB(sb)->s_groups_count; group++, i++) {
1768 struct ext4_group_info *grp;
1769 struct ext4_group_desc *desc;
1770
1771 if (group == EXT4_SB(sb)->s_groups_count)
1772 group = 0;
1773
1774 /* quick check to skip empty groups */
1775 grp = ext4_get_group_info(ac->ac_sb, group);
1776 if (grp->bb_free == 0)
1777 continue;
1778
1779 /*
1780 * if the group is already init we check whether it is
1781 * a good group and if not we don't load the buddy
1782 */
1783 if (EXT4_MB_GRP_NEED_INIT(grp)) {
1784 /*
1785 * we need full data about the group
1786 * to make a good selection
1787 */
1788 err = ext4_mb_load_buddy(sb, group, &e4b);
1789 if (err)
1790 goto out;
1791 ext4_mb_release_desc(&e4b);
1792 }
1793
1794 /*
1795 * If the particular group doesn't satisfy our
1796 * criteria we continue with the next group
1797 */
1798 if (!ext4_mb_good_group(ac, group, cr))
1799 continue;
1800
1801 err = ext4_mb_load_buddy(sb, group, &e4b);
1802 if (err)
1803 goto out;
1804
1805 ext4_lock_group(sb, group);
1806 if (!ext4_mb_good_group(ac, group, cr)) {
1807 /* someone did allocation from this group */
1808 ext4_unlock_group(sb, group);
1809 ext4_mb_release_desc(&e4b);
1810 continue;
1811 }
1812
1813 ac->ac_groups_scanned++;
1814 desc = ext4_get_group_desc(sb, group, NULL);
1815 if (cr == 0 || (desc->bg_flags &
1816 cpu_to_le16(EXT4_BG_BLOCK_UNINIT) &&
1817 ac->ac_2order != 0))
1818 ext4_mb_simple_scan_group(ac, &e4b);
1819 else if (cr == 1 &&
1820 ac->ac_g_ex.fe_len == sbi->s_stripe)
1821 ext4_mb_scan_aligned(ac, &e4b);
1822 else
1823 ext4_mb_complex_scan_group(ac, &e4b);
1824
1825 ext4_unlock_group(sb, group);
1826 ext4_mb_release_desc(&e4b);
1827
1828 if (ac->ac_status != AC_STATUS_CONTINUE)
1829 break;
1830 }
1831 }
1832
1833 if (ac->ac_b_ex.fe_len > 0 && ac->ac_status != AC_STATUS_FOUND &&
1834 !(ac->ac_flags & EXT4_MB_HINT_FIRST)) {
1835 /*
1836 * We've been searching too long. Let's try to allocate
1837 * the best chunk we've found so far
1838 */
1839
1840 ext4_mb_try_best_found(ac, &e4b);
1841 if (ac->ac_status != AC_STATUS_FOUND) {
1842 /*
1843 * Someone more lucky has already allocated it.
1844 * The only thing we can do is just take first
1845 * found block(s)
1846 printk(KERN_DEBUG "EXT4-fs: someone won our chunk\n");
1847 */
1848 ac->ac_b_ex.fe_group = 0;
1849 ac->ac_b_ex.fe_start = 0;
1850 ac->ac_b_ex.fe_len = 0;
1851 ac->ac_status = AC_STATUS_CONTINUE;
1852 ac->ac_flags |= EXT4_MB_HINT_FIRST;
1853 cr = 3;
1854 atomic_inc(&sbi->s_mb_lost_chunks);
1855 goto repeat;
1856 }
1857 }
1858out:
1859 return err;
1860}
1861
1862#ifdef EXT4_MB_HISTORY
1863struct ext4_mb_proc_session {
1864 struct ext4_mb_history *history;
1865 struct super_block *sb;
1866 int start;
1867 int max;
1868};
1869
1870static void *ext4_mb_history_skip_empty(struct ext4_mb_proc_session *s,
1871 struct ext4_mb_history *hs,
1872 int first)
1873{
1874 if (hs == s->history + s->max)
1875 hs = s->history;
1876 if (!first && hs == s->history + s->start)
1877 return NULL;
1878 while (hs->orig.fe_len == 0) {
1879 hs++;
1880 if (hs == s->history + s->max)
1881 hs = s->history;
1882 if (hs == s->history + s->start)
1883 return NULL;
1884 }
1885 return hs;
1886}
1887
1888static void *ext4_mb_seq_history_start(struct seq_file *seq, loff_t *pos)
1889{
1890 struct ext4_mb_proc_session *s = seq->private;
1891 struct ext4_mb_history *hs;
1892 int l = *pos;
1893
1894 if (l == 0)
1895 return SEQ_START_TOKEN;
1896 hs = ext4_mb_history_skip_empty(s, s->history + s->start, 1);
1897 if (!hs)
1898 return NULL;
1899 while (--l && (hs = ext4_mb_history_skip_empty(s, ++hs, 0)) != NULL);
1900 return hs;
1901}
1902
1903static void *ext4_mb_seq_history_next(struct seq_file *seq, void *v,
1904 loff_t *pos)
1905{
1906 struct ext4_mb_proc_session *s = seq->private;
1907 struct ext4_mb_history *hs = v;
1908
1909 ++*pos;
1910 if (v == SEQ_START_TOKEN)
1911 return ext4_mb_history_skip_empty(s, s->history + s->start, 1);
1912 else
1913 return ext4_mb_history_skip_empty(s, ++hs, 0);
1914}
1915
1916static int ext4_mb_seq_history_show(struct seq_file *seq, void *v)
1917{
1918 char buf[25], buf2[25], buf3[25], *fmt;
1919 struct ext4_mb_history *hs = v;
1920
1921 if (v == SEQ_START_TOKEN) {
1922 seq_printf(seq, "%-5s %-8s %-23s %-23s %-23s %-5s "
1923 "%-5s %-2s %-5s %-5s %-5s %-6s\n",
1924 "pid", "inode", "original", "goal", "result", "found",
1925 "grps", "cr", "flags", "merge", "tail", "broken");
1926 return 0;
1927 }
1928
1929 if (hs->op == EXT4_MB_HISTORY_ALLOC) {
1930 fmt = "%-5u %-8u %-23s %-23s %-23s %-5u %-5u %-2u "
1931 "%-5u %-5s %-5u %-6u\n";
1932 sprintf(buf2, "%lu/%d/%u@%u", hs->result.fe_group,
1933 hs->result.fe_start, hs->result.fe_len,
1934 hs->result.fe_logical);
1935 sprintf(buf, "%lu/%d/%u@%u", hs->orig.fe_group,
1936 hs->orig.fe_start, hs->orig.fe_len,
1937 hs->orig.fe_logical);
1938 sprintf(buf3, "%lu/%d/%u@%u", hs->goal.fe_group,
1939 hs->goal.fe_start, hs->goal.fe_len,
1940 hs->goal.fe_logical);
1941 seq_printf(seq, fmt, hs->pid, hs->ino, buf, buf3, buf2,
1942 hs->found, hs->groups, hs->cr, hs->flags,
1943 hs->merged ? "M" : "", hs->tail,
1944 hs->buddy ? 1 << hs->buddy : 0);
1945 } else if (hs->op == EXT4_MB_HISTORY_PREALLOC) {
1946 fmt = "%-5u %-8u %-23s %-23s %-23s\n";
1947 sprintf(buf2, "%lu/%d/%u@%u", hs->result.fe_group,
1948 hs->result.fe_start, hs->result.fe_len,
1949 hs->result.fe_logical);
1950 sprintf(buf, "%lu/%d/%u@%u", hs->orig.fe_group,
1951 hs->orig.fe_start, hs->orig.fe_len,
1952 hs->orig.fe_logical);
1953 seq_printf(seq, fmt, hs->pid, hs->ino, buf, "", buf2);
1954 } else if (hs->op == EXT4_MB_HISTORY_DISCARD) {
1955 sprintf(buf2, "%lu/%d/%u", hs->result.fe_group,
1956 hs->result.fe_start, hs->result.fe_len);
1957 seq_printf(seq, "%-5u %-8u %-23s discard\n",
1958 hs->pid, hs->ino, buf2);
1959 } else if (hs->op == EXT4_MB_HISTORY_FREE) {
1960 sprintf(buf2, "%lu/%d/%u", hs->result.fe_group,
1961 hs->result.fe_start, hs->result.fe_len);
1962 seq_printf(seq, "%-5u %-8u %-23s free\n",
1963 hs->pid, hs->ino, buf2);
1964 }
1965 return 0;
1966}
1967
1968static void ext4_mb_seq_history_stop(struct seq_file *seq, void *v)
1969{
1970}
1971
1972static struct seq_operations ext4_mb_seq_history_ops = {
1973 .start = ext4_mb_seq_history_start,
1974 .next = ext4_mb_seq_history_next,
1975 .stop = ext4_mb_seq_history_stop,
1976 .show = ext4_mb_seq_history_show,
1977};
1978
1979static int ext4_mb_seq_history_open(struct inode *inode, struct file *file)
1980{
1981 struct super_block *sb = PDE(inode)->data;
1982 struct ext4_sb_info *sbi = EXT4_SB(sb);
1983 struct ext4_mb_proc_session *s;
1984 int rc;
1985 int size;
1986
Shen Feng74767c52008-07-11 19:27:31 -04001987 if (unlikely(sbi->s_mb_history == NULL))
1988 return -ENOMEM;
Alex Tomasc9de5602008-01-29 00:19:52 -05001989 s = kmalloc(sizeof(*s), GFP_KERNEL);
1990 if (s == NULL)
1991 return -ENOMEM;
1992 s->sb = sb;
1993 size = sizeof(struct ext4_mb_history) * sbi->s_mb_history_max;
1994 s->history = kmalloc(size, GFP_KERNEL);
1995 if (s->history == NULL) {
1996 kfree(s);
1997 return -ENOMEM;
1998 }
1999
2000 spin_lock(&sbi->s_mb_history_lock);
2001 memcpy(s->history, sbi->s_mb_history, size);
2002 s->max = sbi->s_mb_history_max;
2003 s->start = sbi->s_mb_history_cur % s->max;
2004 spin_unlock(&sbi->s_mb_history_lock);
2005
2006 rc = seq_open(file, &ext4_mb_seq_history_ops);
2007 if (rc == 0) {
2008 struct seq_file *m = (struct seq_file *)file->private_data;
2009 m->private = s;
2010 } else {
2011 kfree(s->history);
2012 kfree(s);
2013 }
2014 return rc;
2015
2016}
2017
2018static int ext4_mb_seq_history_release(struct inode *inode, struct file *file)
2019{
2020 struct seq_file *seq = (struct seq_file *)file->private_data;
2021 struct ext4_mb_proc_session *s = seq->private;
2022 kfree(s->history);
2023 kfree(s);
2024 return seq_release(inode, file);
2025}
2026
2027static ssize_t ext4_mb_seq_history_write(struct file *file,
2028 const char __user *buffer,
2029 size_t count, loff_t *ppos)
2030{
2031 struct seq_file *seq = (struct seq_file *)file->private_data;
2032 struct ext4_mb_proc_session *s = seq->private;
2033 struct super_block *sb = s->sb;
2034 char str[32];
2035 int value;
2036
2037 if (count >= sizeof(str)) {
2038 printk(KERN_ERR "EXT4-fs: %s string too long, max %u bytes\n",
2039 "mb_history", (int)sizeof(str));
2040 return -EOVERFLOW;
2041 }
2042
2043 if (copy_from_user(str, buffer, count))
2044 return -EFAULT;
2045
2046 value = simple_strtol(str, NULL, 0);
2047 if (value < 0)
2048 return -ERANGE;
2049 EXT4_SB(sb)->s_mb_history_filter = value;
2050
2051 return count;
2052}
2053
2054static struct file_operations ext4_mb_seq_history_fops = {
2055 .owner = THIS_MODULE,
2056 .open = ext4_mb_seq_history_open,
2057 .read = seq_read,
2058 .write = ext4_mb_seq_history_write,
2059 .llseek = seq_lseek,
2060 .release = ext4_mb_seq_history_release,
2061};
2062
2063static void *ext4_mb_seq_groups_start(struct seq_file *seq, loff_t *pos)
2064{
2065 struct super_block *sb = seq->private;
2066 struct ext4_sb_info *sbi = EXT4_SB(sb);
2067 ext4_group_t group;
2068
2069 if (*pos < 0 || *pos >= sbi->s_groups_count)
2070 return NULL;
2071
2072 group = *pos + 1;
2073 return (void *) group;
2074}
2075
2076static void *ext4_mb_seq_groups_next(struct seq_file *seq, void *v, loff_t *pos)
2077{
2078 struct super_block *sb = seq->private;
2079 struct ext4_sb_info *sbi = EXT4_SB(sb);
2080 ext4_group_t group;
2081
2082 ++*pos;
2083 if (*pos < 0 || *pos >= sbi->s_groups_count)
2084 return NULL;
2085 group = *pos + 1;
2086 return (void *) group;;
2087}
2088
2089static int ext4_mb_seq_groups_show(struct seq_file *seq, void *v)
2090{
2091 struct super_block *sb = seq->private;
2092 long group = (long) v;
2093 int i;
2094 int err;
2095 struct ext4_buddy e4b;
2096 struct sg {
2097 struct ext4_group_info info;
2098 unsigned short counters[16];
2099 } sg;
2100
2101 group--;
2102 if (group == 0)
2103 seq_printf(seq, "#%-5s: %-5s %-5s %-5s "
2104 "[ %-5s %-5s %-5s %-5s %-5s %-5s %-5s "
2105 "%-5s %-5s %-5s %-5s %-5s %-5s %-5s ]\n",
2106 "group", "free", "frags", "first",
2107 "2^0", "2^1", "2^2", "2^3", "2^4", "2^5", "2^6",
2108 "2^7", "2^8", "2^9", "2^10", "2^11", "2^12", "2^13");
2109
2110 i = (sb->s_blocksize_bits + 2) * sizeof(sg.info.bb_counters[0]) +
2111 sizeof(struct ext4_group_info);
2112 err = ext4_mb_load_buddy(sb, group, &e4b);
2113 if (err) {
2114 seq_printf(seq, "#%-5lu: I/O error\n", group);
2115 return 0;
2116 }
2117 ext4_lock_group(sb, group);
2118 memcpy(&sg, ext4_get_group_info(sb, group), i);
2119 ext4_unlock_group(sb, group);
2120 ext4_mb_release_desc(&e4b);
2121
2122 seq_printf(seq, "#%-5lu: %-5u %-5u %-5u [", group, sg.info.bb_free,
2123 sg.info.bb_fragments, sg.info.bb_first_free);
2124 for (i = 0; i <= 13; i++)
2125 seq_printf(seq, " %-5u", i <= sb->s_blocksize_bits + 1 ?
2126 sg.info.bb_counters[i] : 0);
2127 seq_printf(seq, " ]\n");
2128
2129 return 0;
2130}
2131
2132static void ext4_mb_seq_groups_stop(struct seq_file *seq, void *v)
2133{
2134}
2135
2136static struct seq_operations ext4_mb_seq_groups_ops = {
2137 .start = ext4_mb_seq_groups_start,
2138 .next = ext4_mb_seq_groups_next,
2139 .stop = ext4_mb_seq_groups_stop,
2140 .show = ext4_mb_seq_groups_show,
2141};
2142
2143static int ext4_mb_seq_groups_open(struct inode *inode, struct file *file)
2144{
2145 struct super_block *sb = PDE(inode)->data;
2146 int rc;
2147
2148 rc = seq_open(file, &ext4_mb_seq_groups_ops);
2149 if (rc == 0) {
2150 struct seq_file *m = (struct seq_file *)file->private_data;
2151 m->private = sb;
2152 }
2153 return rc;
2154
2155}
2156
2157static struct file_operations ext4_mb_seq_groups_fops = {
2158 .owner = THIS_MODULE,
2159 .open = ext4_mb_seq_groups_open,
2160 .read = seq_read,
2161 .llseek = seq_lseek,
2162 .release = seq_release,
2163};
2164
2165static void ext4_mb_history_release(struct super_block *sb)
2166{
2167 struct ext4_sb_info *sbi = EXT4_SB(sb);
2168
2169 remove_proc_entry("mb_groups", sbi->s_mb_proc);
2170 remove_proc_entry("mb_history", sbi->s_mb_proc);
2171
2172 kfree(sbi->s_mb_history);
2173}
2174
2175static void ext4_mb_history_init(struct super_block *sb)
2176{
2177 struct ext4_sb_info *sbi = EXT4_SB(sb);
2178 int i;
2179
2180 if (sbi->s_mb_proc != NULL) {
Denis V. Lunev46fe74f2008-04-29 01:02:08 -07002181 proc_create_data("mb_history", S_IRUGO, sbi->s_mb_proc,
2182 &ext4_mb_seq_history_fops, sb);
2183 proc_create_data("mb_groups", S_IRUGO, sbi->s_mb_proc,
2184 &ext4_mb_seq_groups_fops, sb);
Alex Tomasc9de5602008-01-29 00:19:52 -05002185 }
2186
2187 sbi->s_mb_history_max = 1000;
2188 sbi->s_mb_history_cur = 0;
2189 spin_lock_init(&sbi->s_mb_history_lock);
2190 i = sbi->s_mb_history_max * sizeof(struct ext4_mb_history);
Shen Feng74767c52008-07-11 19:27:31 -04002191 sbi->s_mb_history = kzalloc(i, GFP_KERNEL);
Alex Tomasc9de5602008-01-29 00:19:52 -05002192 /* if we can't allocate history, then we simple won't use it */
2193}
2194
Eric Sandeen4ddfef72008-04-29 08:11:12 -04002195static noinline_for_stack void
2196ext4_mb_store_history(struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05002197{
2198 struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
2199 struct ext4_mb_history h;
2200
2201 if (unlikely(sbi->s_mb_history == NULL))
2202 return;
2203
2204 if (!(ac->ac_op & sbi->s_mb_history_filter))
2205 return;
2206
2207 h.op = ac->ac_op;
2208 h.pid = current->pid;
2209 h.ino = ac->ac_inode ? ac->ac_inode->i_ino : 0;
2210 h.orig = ac->ac_o_ex;
2211 h.result = ac->ac_b_ex;
2212 h.flags = ac->ac_flags;
2213 h.found = ac->ac_found;
2214 h.groups = ac->ac_groups_scanned;
2215 h.cr = ac->ac_criteria;
2216 h.tail = ac->ac_tail;
2217 h.buddy = ac->ac_buddy;
2218 h.merged = 0;
2219 if (ac->ac_op == EXT4_MB_HISTORY_ALLOC) {
2220 if (ac->ac_g_ex.fe_start == ac->ac_b_ex.fe_start &&
2221 ac->ac_g_ex.fe_group == ac->ac_b_ex.fe_group)
2222 h.merged = 1;
2223 h.goal = ac->ac_g_ex;
2224 h.result = ac->ac_f_ex;
2225 }
2226
2227 spin_lock(&sbi->s_mb_history_lock);
2228 memcpy(sbi->s_mb_history + sbi->s_mb_history_cur, &h, sizeof(h));
2229 if (++sbi->s_mb_history_cur >= sbi->s_mb_history_max)
2230 sbi->s_mb_history_cur = 0;
2231 spin_unlock(&sbi->s_mb_history_lock);
2232}
2233
2234#else
2235#define ext4_mb_history_release(sb)
2236#define ext4_mb_history_init(sb)
2237#endif
2238
Frederic Bohe5f21b0e2008-07-11 19:27:31 -04002239
2240/* Create and initialize ext4_group_info data for the given group. */
2241int ext4_mb_add_groupinfo(struct super_block *sb, ext4_group_t group,
2242 struct ext4_group_desc *desc)
2243{
2244 int i, len;
2245 int metalen = 0;
2246 struct ext4_sb_info *sbi = EXT4_SB(sb);
2247 struct ext4_group_info **meta_group_info;
2248
2249 /*
2250 * First check if this group is the first of a reserved block.
2251 * If it's true, we have to allocate a new table of pointers
2252 * to ext4_group_info structures
2253 */
2254 if (group % EXT4_DESC_PER_BLOCK(sb) == 0) {
2255 metalen = sizeof(*meta_group_info) <<
2256 EXT4_DESC_PER_BLOCK_BITS(sb);
2257 meta_group_info = kmalloc(metalen, GFP_KERNEL);
2258 if (meta_group_info == NULL) {
2259 printk(KERN_ERR "EXT4-fs: can't allocate mem for a "
2260 "buddy group\n");
2261 goto exit_meta_group_info;
2262 }
2263 sbi->s_group_info[group >> EXT4_DESC_PER_BLOCK_BITS(sb)] =
2264 meta_group_info;
2265 }
2266
2267 /*
2268 * calculate needed size. if change bb_counters size,
2269 * don't forget about ext4_mb_generate_buddy()
2270 */
2271 len = offsetof(typeof(**meta_group_info),
2272 bb_counters[sb->s_blocksize_bits + 2]);
2273
2274 meta_group_info =
2275 sbi->s_group_info[group >> EXT4_DESC_PER_BLOCK_BITS(sb)];
2276 i = group & (EXT4_DESC_PER_BLOCK(sb) - 1);
2277
2278 meta_group_info[i] = kzalloc(len, GFP_KERNEL);
2279 if (meta_group_info[i] == NULL) {
2280 printk(KERN_ERR "EXT4-fs: can't allocate buddy mem\n");
2281 goto exit_group_info;
2282 }
2283 set_bit(EXT4_GROUP_INFO_NEED_INIT_BIT,
2284 &(meta_group_info[i]->bb_state));
2285
2286 /*
2287 * initialize bb_free to be able to skip
2288 * empty groups without initialization
2289 */
2290 if (desc->bg_flags & cpu_to_le16(EXT4_BG_BLOCK_UNINIT)) {
2291 meta_group_info[i]->bb_free =
2292 ext4_free_blocks_after_init(sb, group, desc);
2293 } else {
2294 meta_group_info[i]->bb_free =
2295 le16_to_cpu(desc->bg_free_blocks_count);
2296 }
2297
2298 INIT_LIST_HEAD(&meta_group_info[i]->bb_prealloc_list);
2299
2300#ifdef DOUBLE_CHECK
2301 {
2302 struct buffer_head *bh;
2303 meta_group_info[i]->bb_bitmap =
2304 kmalloc(sb->s_blocksize, GFP_KERNEL);
2305 BUG_ON(meta_group_info[i]->bb_bitmap == NULL);
2306 bh = ext4_read_block_bitmap(sb, group);
2307 BUG_ON(bh == NULL);
2308 memcpy(meta_group_info[i]->bb_bitmap, bh->b_data,
2309 sb->s_blocksize);
2310 put_bh(bh);
2311 }
2312#endif
2313
2314 return 0;
2315
2316exit_group_info:
2317 /* If a meta_group_info table has been allocated, release it now */
2318 if (group % EXT4_DESC_PER_BLOCK(sb) == 0)
2319 kfree(sbi->s_group_info[group >> EXT4_DESC_PER_BLOCK_BITS(sb)]);
2320exit_meta_group_info:
2321 return -ENOMEM;
2322} /* ext4_mb_add_groupinfo */
2323
2324/*
2325 * Add a group to the existing groups.
2326 * This function is used for online resize
2327 */
2328int ext4_mb_add_more_groupinfo(struct super_block *sb, ext4_group_t group,
2329 struct ext4_group_desc *desc)
2330{
2331 struct ext4_sb_info *sbi = EXT4_SB(sb);
2332 struct inode *inode = sbi->s_buddy_cache;
2333 int blocks_per_page;
2334 int block;
2335 int pnum;
2336 struct page *page;
2337 int err;
2338
2339 /* Add group based on group descriptor*/
2340 err = ext4_mb_add_groupinfo(sb, group, desc);
2341 if (err)
2342 return err;
2343
2344 /*
2345 * Cache pages containing dynamic mb_alloc datas (buddy and bitmap
2346 * datas) are set not up to date so that they will be re-initilaized
2347 * during the next call to ext4_mb_load_buddy
2348 */
2349
2350 /* Set buddy page as not up to date */
2351 blocks_per_page = PAGE_CACHE_SIZE / sb->s_blocksize;
2352 block = group * 2;
2353 pnum = block / blocks_per_page;
2354 page = find_get_page(inode->i_mapping, pnum);
2355 if (page != NULL) {
2356 ClearPageUptodate(page);
2357 page_cache_release(page);
2358 }
2359
2360 /* Set bitmap page as not up to date */
2361 block++;
2362 pnum = block / blocks_per_page;
2363 page = find_get_page(inode->i_mapping, pnum);
2364 if (page != NULL) {
2365 ClearPageUptodate(page);
2366 page_cache_release(page);
2367 }
2368
2369 return 0;
2370}
2371
2372/*
2373 * Update an existing group.
2374 * This function is used for online resize
2375 */
2376void ext4_mb_update_group_info(struct ext4_group_info *grp, ext4_grpblk_t add)
2377{
2378 grp->bb_free += add;
2379}
2380
Alex Tomasc9de5602008-01-29 00:19:52 -05002381static int ext4_mb_init_backend(struct super_block *sb)
2382{
2383 ext4_group_t i;
Frederic Bohe5f21b0e2008-07-11 19:27:31 -04002384 int metalen;
Alex Tomasc9de5602008-01-29 00:19:52 -05002385 struct ext4_sb_info *sbi = EXT4_SB(sb);
Frederic Bohe5f21b0e2008-07-11 19:27:31 -04002386 struct ext4_super_block *es = sbi->s_es;
2387 int num_meta_group_infos;
2388 int num_meta_group_infos_max;
2389 int array_size;
Alex Tomasc9de5602008-01-29 00:19:52 -05002390 struct ext4_group_info **meta_group_info;
Frederic Bohe5f21b0e2008-07-11 19:27:31 -04002391 struct ext4_group_desc *desc;
Alex Tomasc9de5602008-01-29 00:19:52 -05002392
Frederic Bohe5f21b0e2008-07-11 19:27:31 -04002393 /* This is the number of blocks used by GDT */
2394 num_meta_group_infos = (sbi->s_groups_count + EXT4_DESC_PER_BLOCK(sb) -
2395 1) >> EXT4_DESC_PER_BLOCK_BITS(sb);
2396
2397 /*
2398 * This is the total number of blocks used by GDT including
2399 * the number of reserved blocks for GDT.
2400 * The s_group_info array is allocated with this value
2401 * to allow a clean online resize without a complex
2402 * manipulation of pointer.
2403 * The drawback is the unused memory when no resize
2404 * occurs but it's very low in terms of pages
2405 * (see comments below)
2406 * Need to handle this properly when META_BG resizing is allowed
2407 */
2408 num_meta_group_infos_max = num_meta_group_infos +
2409 le16_to_cpu(es->s_reserved_gdt_blocks);
2410
2411 /*
2412 * array_size is the size of s_group_info array. We round it
2413 * to the next power of two because this approximation is done
2414 * internally by kmalloc so we can have some more memory
2415 * for free here (e.g. may be used for META_BG resize).
2416 */
2417 array_size = 1;
2418 while (array_size < sizeof(*sbi->s_group_info) *
2419 num_meta_group_infos_max)
2420 array_size = array_size << 1;
Alex Tomasc9de5602008-01-29 00:19:52 -05002421 /* An 8TB filesystem with 64-bit pointers requires a 4096 byte
2422 * kmalloc. A 128kb malloc should suffice for a 256TB filesystem.
2423 * So a two level scheme suffices for now. */
Frederic Bohe5f21b0e2008-07-11 19:27:31 -04002424 sbi->s_group_info = kmalloc(array_size, GFP_KERNEL);
Alex Tomasc9de5602008-01-29 00:19:52 -05002425 if (sbi->s_group_info == NULL) {
2426 printk(KERN_ERR "EXT4-fs: can't allocate buddy meta group\n");
2427 return -ENOMEM;
2428 }
2429 sbi->s_buddy_cache = new_inode(sb);
2430 if (sbi->s_buddy_cache == NULL) {
2431 printk(KERN_ERR "EXT4-fs: can't get new inode\n");
2432 goto err_freesgi;
2433 }
2434 EXT4_I(sbi->s_buddy_cache)->i_disksize = 0;
2435
2436 metalen = sizeof(*meta_group_info) << EXT4_DESC_PER_BLOCK_BITS(sb);
2437 for (i = 0; i < num_meta_group_infos; i++) {
2438 if ((i + 1) == num_meta_group_infos)
2439 metalen = sizeof(*meta_group_info) *
2440 (sbi->s_groups_count -
2441 (i << EXT4_DESC_PER_BLOCK_BITS(sb)));
2442 meta_group_info = kmalloc(metalen, GFP_KERNEL);
2443 if (meta_group_info == NULL) {
2444 printk(KERN_ERR "EXT4-fs: can't allocate mem for a "
2445 "buddy group\n");
2446 goto err_freemeta;
2447 }
2448 sbi->s_group_info[i] = meta_group_info;
2449 }
2450
Alex Tomasc9de5602008-01-29 00:19:52 -05002451 for (i = 0; i < sbi->s_groups_count; i++) {
Alex Tomasc9de5602008-01-29 00:19:52 -05002452 desc = ext4_get_group_desc(sb, i, NULL);
2453 if (desc == NULL) {
2454 printk(KERN_ERR
2455 "EXT4-fs: can't read descriptor %lu\n", i);
2456 goto err_freebuddy;
2457 }
Frederic Bohe5f21b0e2008-07-11 19:27:31 -04002458 if (ext4_mb_add_groupinfo(sb, i, desc) != 0)
2459 goto err_freebuddy;
Alex Tomasc9de5602008-01-29 00:19:52 -05002460 }
2461
2462 return 0;
2463
2464err_freebuddy:
Roel Kluinf1fa3342008-04-29 22:01:15 -04002465 while (i-- > 0)
Alex Tomasc9de5602008-01-29 00:19:52 -05002466 kfree(ext4_get_group_info(sb, i));
Alex Tomasc9de5602008-01-29 00:19:52 -05002467 i = num_meta_group_infos;
2468err_freemeta:
Roel Kluinf1fa3342008-04-29 22:01:15 -04002469 while (i-- > 0)
Alex Tomasc9de5602008-01-29 00:19:52 -05002470 kfree(sbi->s_group_info[i]);
2471 iput(sbi->s_buddy_cache);
2472err_freesgi:
2473 kfree(sbi->s_group_info);
2474 return -ENOMEM;
2475}
2476
2477int ext4_mb_init(struct super_block *sb, int needs_recovery)
2478{
2479 struct ext4_sb_info *sbi = EXT4_SB(sb);
2480 unsigned i;
2481 unsigned offset;
2482 unsigned max;
Shen Feng74767c52008-07-11 19:27:31 -04002483 int ret;
Alex Tomasc9de5602008-01-29 00:19:52 -05002484
2485 if (!test_opt(sb, MBALLOC))
2486 return 0;
2487
2488 i = (sb->s_blocksize_bits + 2) * sizeof(unsigned short);
2489
2490 sbi->s_mb_offsets = kmalloc(i, GFP_KERNEL);
2491 if (sbi->s_mb_offsets == NULL) {
2492 clear_opt(sbi->s_mount_opt, MBALLOC);
2493 return -ENOMEM;
2494 }
2495 sbi->s_mb_maxs = kmalloc(i, GFP_KERNEL);
2496 if (sbi->s_mb_maxs == NULL) {
2497 clear_opt(sbi->s_mount_opt, MBALLOC);
2498 kfree(sbi->s_mb_maxs);
2499 return -ENOMEM;
2500 }
2501
2502 /* order 0 is regular bitmap */
2503 sbi->s_mb_maxs[0] = sb->s_blocksize << 3;
2504 sbi->s_mb_offsets[0] = 0;
2505
2506 i = 1;
2507 offset = 0;
2508 max = sb->s_blocksize << 2;
2509 do {
2510 sbi->s_mb_offsets[i] = offset;
2511 sbi->s_mb_maxs[i] = max;
2512 offset += 1 << (sb->s_blocksize_bits - i);
2513 max = max >> 1;
2514 i++;
2515 } while (i <= sb->s_blocksize_bits + 1);
2516
2517 /* init file for buddy data */
Shen Feng74767c52008-07-11 19:27:31 -04002518 ret = ext4_mb_init_backend(sb);
2519 if (ret != 0) {
Alex Tomasc9de5602008-01-29 00:19:52 -05002520 clear_opt(sbi->s_mount_opt, MBALLOC);
2521 kfree(sbi->s_mb_offsets);
2522 kfree(sbi->s_mb_maxs);
Shen Feng74767c52008-07-11 19:27:31 -04002523 return ret;
Alex Tomasc9de5602008-01-29 00:19:52 -05002524 }
2525
2526 spin_lock_init(&sbi->s_md_lock);
2527 INIT_LIST_HEAD(&sbi->s_active_transaction);
2528 INIT_LIST_HEAD(&sbi->s_closed_transaction);
2529 INIT_LIST_HEAD(&sbi->s_committed_transaction);
2530 spin_lock_init(&sbi->s_bal_lock);
2531
2532 sbi->s_mb_max_to_scan = MB_DEFAULT_MAX_TO_SCAN;
2533 sbi->s_mb_min_to_scan = MB_DEFAULT_MIN_TO_SCAN;
2534 sbi->s_mb_stats = MB_DEFAULT_STATS;
2535 sbi->s_mb_stream_request = MB_DEFAULT_STREAM_THRESHOLD;
2536 sbi->s_mb_order2_reqs = MB_DEFAULT_ORDER2_REQS;
2537 sbi->s_mb_history_filter = EXT4_MB_HISTORY_DEFAULT;
2538 sbi->s_mb_group_prealloc = MB_DEFAULT_GROUP_PREALLOC;
2539
2540 i = sizeof(struct ext4_locality_group) * NR_CPUS;
2541 sbi->s_locality_groups = kmalloc(i, GFP_KERNEL);
2542 if (sbi->s_locality_groups == NULL) {
2543 clear_opt(sbi->s_mount_opt, MBALLOC);
2544 kfree(sbi->s_mb_offsets);
2545 kfree(sbi->s_mb_maxs);
2546 return -ENOMEM;
2547 }
2548 for (i = 0; i < NR_CPUS; i++) {
2549 struct ext4_locality_group *lg;
2550 lg = &sbi->s_locality_groups[i];
2551 mutex_init(&lg->lg_mutex);
2552 INIT_LIST_HEAD(&lg->lg_prealloc_list);
2553 spin_lock_init(&lg->lg_prealloc_lock);
2554 }
2555
2556 ext4_mb_init_per_dev_proc(sb);
2557 ext4_mb_history_init(sb);
2558
2559 printk("EXT4-fs: mballoc enabled\n");
2560 return 0;
2561}
2562
2563/* need to called with ext4 group lock (ext4_lock_group) */
2564static void ext4_mb_cleanup_pa(struct ext4_group_info *grp)
2565{
2566 struct ext4_prealloc_space *pa;
2567 struct list_head *cur, *tmp;
2568 int count = 0;
2569
2570 list_for_each_safe(cur, tmp, &grp->bb_prealloc_list) {
2571 pa = list_entry(cur, struct ext4_prealloc_space, pa_group_list);
2572 list_del(&pa->pa_group_list);
2573 count++;
2574 kfree(pa);
2575 }
2576 if (count)
2577 mb_debug("mballoc: %u PAs left\n", count);
2578
2579}
2580
2581int ext4_mb_release(struct super_block *sb)
2582{
2583 ext4_group_t i;
2584 int num_meta_group_infos;
2585 struct ext4_group_info *grinfo;
2586 struct ext4_sb_info *sbi = EXT4_SB(sb);
2587
2588 if (!test_opt(sb, MBALLOC))
2589 return 0;
2590
2591 /* release freed, non-committed blocks */
2592 spin_lock(&sbi->s_md_lock);
2593 list_splice_init(&sbi->s_closed_transaction,
2594 &sbi->s_committed_transaction);
2595 list_splice_init(&sbi->s_active_transaction,
2596 &sbi->s_committed_transaction);
2597 spin_unlock(&sbi->s_md_lock);
2598 ext4_mb_free_committed_blocks(sb);
2599
2600 if (sbi->s_group_info) {
2601 for (i = 0; i < sbi->s_groups_count; i++) {
2602 grinfo = ext4_get_group_info(sb, i);
2603#ifdef DOUBLE_CHECK
2604 kfree(grinfo->bb_bitmap);
2605#endif
2606 ext4_lock_group(sb, i);
2607 ext4_mb_cleanup_pa(grinfo);
2608 ext4_unlock_group(sb, i);
2609 kfree(grinfo);
2610 }
2611 num_meta_group_infos = (sbi->s_groups_count +
2612 EXT4_DESC_PER_BLOCK(sb) - 1) >>
2613 EXT4_DESC_PER_BLOCK_BITS(sb);
2614 for (i = 0; i < num_meta_group_infos; i++)
2615 kfree(sbi->s_group_info[i]);
2616 kfree(sbi->s_group_info);
2617 }
2618 kfree(sbi->s_mb_offsets);
2619 kfree(sbi->s_mb_maxs);
2620 if (sbi->s_buddy_cache)
2621 iput(sbi->s_buddy_cache);
2622 if (sbi->s_mb_stats) {
2623 printk(KERN_INFO
2624 "EXT4-fs: mballoc: %u blocks %u reqs (%u success)\n",
2625 atomic_read(&sbi->s_bal_allocated),
2626 atomic_read(&sbi->s_bal_reqs),
2627 atomic_read(&sbi->s_bal_success));
2628 printk(KERN_INFO
2629 "EXT4-fs: mballoc: %u extents scanned, %u goal hits, "
2630 "%u 2^N hits, %u breaks, %u lost\n",
2631 atomic_read(&sbi->s_bal_ex_scanned),
2632 atomic_read(&sbi->s_bal_goals),
2633 atomic_read(&sbi->s_bal_2orders),
2634 atomic_read(&sbi->s_bal_breaks),
2635 atomic_read(&sbi->s_mb_lost_chunks));
2636 printk(KERN_INFO
2637 "EXT4-fs: mballoc: %lu generated and it took %Lu\n",
2638 sbi->s_mb_buddies_generated++,
2639 sbi->s_mb_generation_time);
2640 printk(KERN_INFO
2641 "EXT4-fs: mballoc: %u preallocated, %u discarded\n",
2642 atomic_read(&sbi->s_mb_preallocated),
2643 atomic_read(&sbi->s_mb_discarded));
2644 }
2645
2646 kfree(sbi->s_locality_groups);
2647
2648 ext4_mb_history_release(sb);
2649 ext4_mb_destroy_per_dev_proc(sb);
2650
2651 return 0;
2652}
2653
Eric Sandeen4ddfef72008-04-29 08:11:12 -04002654static noinline_for_stack void
2655ext4_mb_free_committed_blocks(struct super_block *sb)
Alex Tomasc9de5602008-01-29 00:19:52 -05002656{
2657 struct ext4_sb_info *sbi = EXT4_SB(sb);
2658 int err;
2659 int i;
2660 int count = 0;
2661 int count2 = 0;
2662 struct ext4_free_metadata *md;
2663 struct ext4_buddy e4b;
2664
2665 if (list_empty(&sbi->s_committed_transaction))
2666 return;
2667
2668 /* there is committed blocks to be freed yet */
2669 do {
2670 /* get next array of blocks */
2671 md = NULL;
2672 spin_lock(&sbi->s_md_lock);
2673 if (!list_empty(&sbi->s_committed_transaction)) {
2674 md = list_entry(sbi->s_committed_transaction.next,
2675 struct ext4_free_metadata, list);
2676 list_del(&md->list);
2677 }
2678 spin_unlock(&sbi->s_md_lock);
2679
2680 if (md == NULL)
2681 break;
2682
2683 mb_debug("gonna free %u blocks in group %lu (0x%p):",
2684 md->num, md->group, md);
2685
2686 err = ext4_mb_load_buddy(sb, md->group, &e4b);
2687 /* we expect to find existing buddy because it's pinned */
2688 BUG_ON(err != 0);
2689
2690 /* there are blocks to put in buddy to make them really free */
2691 count += md->num;
2692 count2++;
2693 ext4_lock_group(sb, md->group);
2694 for (i = 0; i < md->num; i++) {
2695 mb_debug(" %u", md->blocks[i]);
Shen Feng7e5a8cd2008-07-13 21:03:31 -04002696 mb_free_blocks(NULL, &e4b, md->blocks[i], 1);
Alex Tomasc9de5602008-01-29 00:19:52 -05002697 }
2698 mb_debug("\n");
2699 ext4_unlock_group(sb, md->group);
2700
2701 /* balance refcounts from ext4_mb_free_metadata() */
2702 page_cache_release(e4b.bd_buddy_page);
2703 page_cache_release(e4b.bd_bitmap_page);
2704
2705 kfree(md);
2706 ext4_mb_release_desc(&e4b);
2707
2708 } while (md);
2709
2710 mb_debug("freed %u blocks in %u structures\n", count, count2);
2711}
2712
Alex Tomasc9de5602008-01-29 00:19:52 -05002713#define EXT4_MB_STATS_NAME "stats"
2714#define EXT4_MB_MAX_TO_SCAN_NAME "max_to_scan"
2715#define EXT4_MB_MIN_TO_SCAN_NAME "min_to_scan"
2716#define EXT4_MB_ORDER2_REQ "order2_req"
2717#define EXT4_MB_STREAM_REQ "stream_req"
2718#define EXT4_MB_GROUP_PREALLOC "group_prealloc"
2719
2720
2721
Alexey Dobriyan91d99822008-07-11 19:27:31 -04002722#define MB_PROC_FOPS(name) \
2723static int ext4_mb_##name##_proc_show(struct seq_file *m, void *v) \
Alex Tomasc9de5602008-01-29 00:19:52 -05002724{ \
Alexey Dobriyan91d99822008-07-11 19:27:31 -04002725 struct ext4_sb_info *sbi = m->private; \
2726 \
2727 seq_printf(m, "%ld\n", sbi->s_mb_##name); \
2728 return 0; \
2729} \
2730 \
2731static int ext4_mb_##name##_proc_open(struct inode *inode, struct file *file)\
Alex Tomasc9de5602008-01-29 00:19:52 -05002732{ \
Alexey Dobriyan91d99822008-07-11 19:27:31 -04002733 return single_open(file, ext4_mb_##name##_proc_show, PDE(inode)->data);\
2734} \
2735 \
2736static ssize_t ext4_mb_##name##_proc_write(struct file *file, \
2737 const char __user *buf, size_t cnt, loff_t *ppos) \
2738{ \
2739 struct ext4_sb_info *sbi = PDE(file->f_path.dentry->d_inode)->data;\
Alex Tomasc9de5602008-01-29 00:19:52 -05002740 char str[32]; \
2741 long value; \
2742 if (cnt >= sizeof(str)) \
2743 return -EINVAL; \
2744 if (copy_from_user(str, buf, cnt)) \
2745 return -EFAULT; \
2746 value = simple_strtol(str, NULL, 0); \
2747 if (value <= 0) \
2748 return -ERANGE; \
2749 sbi->s_mb_##name = value; \
2750 return cnt; \
Alexey Dobriyan91d99822008-07-11 19:27:31 -04002751} \
2752 \
2753static const struct file_operations ext4_mb_##name##_proc_fops = { \
2754 .owner = THIS_MODULE, \
2755 .open = ext4_mb_##name##_proc_open, \
2756 .read = seq_read, \
2757 .llseek = seq_lseek, \
2758 .release = single_release, \
2759 .write = ext4_mb_##name##_proc_write, \
2760};
Alex Tomasc9de5602008-01-29 00:19:52 -05002761
Alexey Dobriyan91d99822008-07-11 19:27:31 -04002762MB_PROC_FOPS(stats);
2763MB_PROC_FOPS(max_to_scan);
2764MB_PROC_FOPS(min_to_scan);
2765MB_PROC_FOPS(order2_reqs);
2766MB_PROC_FOPS(stream_request);
2767MB_PROC_FOPS(group_prealloc);
Alex Tomasc9de5602008-01-29 00:19:52 -05002768
2769#define MB_PROC_HANDLER(name, var) \
2770do { \
Alexey Dobriyan91d99822008-07-11 19:27:31 -04002771 proc = proc_create_data(name, mode, sbi->s_mb_proc, \
2772 &ext4_mb_##var##_proc_fops, sbi); \
Alex Tomasc9de5602008-01-29 00:19:52 -05002773 if (proc == NULL) { \
2774 printk(KERN_ERR "EXT4-fs: can't to create %s\n", name); \
2775 goto err_out; \
2776 } \
Alex Tomasc9de5602008-01-29 00:19:52 -05002777} while (0)
2778
2779static int ext4_mb_init_per_dev_proc(struct super_block *sb)
2780{
2781 mode_t mode = S_IFREG | S_IRUGO | S_IWUSR;
2782 struct ext4_sb_info *sbi = EXT4_SB(sb);
2783 struct proc_dir_entry *proc;
2784 char devname[64];
2785
Shen Fengcfbe7e42008-07-13 21:03:31 -04002786 if (proc_root_ext4 == NULL) {
2787 sbi->s_mb_proc = NULL;
2788 return -EINVAL;
2789 }
Jean Delvaref36f21e2008-05-12 14:02:33 -07002790 bdevname(sb->s_bdev, devname);
Alex Tomasc9de5602008-01-29 00:19:52 -05002791 sbi->s_mb_proc = proc_mkdir(devname, proc_root_ext4);
2792
2793 MB_PROC_HANDLER(EXT4_MB_STATS_NAME, stats);
2794 MB_PROC_HANDLER(EXT4_MB_MAX_TO_SCAN_NAME, max_to_scan);
2795 MB_PROC_HANDLER(EXT4_MB_MIN_TO_SCAN_NAME, min_to_scan);
2796 MB_PROC_HANDLER(EXT4_MB_ORDER2_REQ, order2_reqs);
2797 MB_PROC_HANDLER(EXT4_MB_STREAM_REQ, stream_request);
2798 MB_PROC_HANDLER(EXT4_MB_GROUP_PREALLOC, group_prealloc);
2799
2800 return 0;
2801
2802err_out:
2803 printk(KERN_ERR "EXT4-fs: Unable to create %s\n", devname);
2804 remove_proc_entry(EXT4_MB_GROUP_PREALLOC, sbi->s_mb_proc);
2805 remove_proc_entry(EXT4_MB_STREAM_REQ, sbi->s_mb_proc);
2806 remove_proc_entry(EXT4_MB_ORDER2_REQ, sbi->s_mb_proc);
2807 remove_proc_entry(EXT4_MB_MIN_TO_SCAN_NAME, sbi->s_mb_proc);
2808 remove_proc_entry(EXT4_MB_MAX_TO_SCAN_NAME, sbi->s_mb_proc);
2809 remove_proc_entry(EXT4_MB_STATS_NAME, sbi->s_mb_proc);
2810 remove_proc_entry(devname, proc_root_ext4);
2811 sbi->s_mb_proc = NULL;
2812
2813 return -ENOMEM;
2814}
2815
2816static int ext4_mb_destroy_per_dev_proc(struct super_block *sb)
2817{
2818 struct ext4_sb_info *sbi = EXT4_SB(sb);
2819 char devname[64];
2820
2821 if (sbi->s_mb_proc == NULL)
2822 return -EINVAL;
2823
Jean Delvaref36f21e2008-05-12 14:02:33 -07002824 bdevname(sb->s_bdev, devname);
Alex Tomasc9de5602008-01-29 00:19:52 -05002825 remove_proc_entry(EXT4_MB_GROUP_PREALLOC, sbi->s_mb_proc);
2826 remove_proc_entry(EXT4_MB_STREAM_REQ, sbi->s_mb_proc);
2827 remove_proc_entry(EXT4_MB_ORDER2_REQ, sbi->s_mb_proc);
2828 remove_proc_entry(EXT4_MB_MIN_TO_SCAN_NAME, sbi->s_mb_proc);
2829 remove_proc_entry(EXT4_MB_MAX_TO_SCAN_NAME, sbi->s_mb_proc);
2830 remove_proc_entry(EXT4_MB_STATS_NAME, sbi->s_mb_proc);
2831 remove_proc_entry(devname, proc_root_ext4);
2832
2833 return 0;
2834}
2835
2836int __init init_ext4_mballoc(void)
2837{
2838 ext4_pspace_cachep =
2839 kmem_cache_create("ext4_prealloc_space",
2840 sizeof(struct ext4_prealloc_space),
2841 0, SLAB_RECLAIM_ACCOUNT, NULL);
2842 if (ext4_pspace_cachep == NULL)
2843 return -ENOMEM;
2844
Eric Sandeen256bdb42008-02-10 01:13:33 -05002845 ext4_ac_cachep =
2846 kmem_cache_create("ext4_alloc_context",
2847 sizeof(struct ext4_allocation_context),
2848 0, SLAB_RECLAIM_ACCOUNT, NULL);
2849 if (ext4_ac_cachep == NULL) {
2850 kmem_cache_destroy(ext4_pspace_cachep);
2851 return -ENOMEM;
2852 }
Alex Tomasc9de5602008-01-29 00:19:52 -05002853#ifdef CONFIG_PROC_FS
Alexey Dobriyan36a5aeb2008-04-29 01:01:42 -07002854 proc_root_ext4 = proc_mkdir("fs/ext4", NULL);
Alex Tomasc9de5602008-01-29 00:19:52 -05002855 if (proc_root_ext4 == NULL)
Alexey Dobriyan36a5aeb2008-04-29 01:01:42 -07002856 printk(KERN_ERR "EXT4-fs: Unable to create fs/ext4\n");
Alex Tomasc9de5602008-01-29 00:19:52 -05002857#endif
Alex Tomasc9de5602008-01-29 00:19:52 -05002858 return 0;
2859}
2860
2861void exit_ext4_mballoc(void)
2862{
2863 /* XXX: synchronize_rcu(); */
2864 kmem_cache_destroy(ext4_pspace_cachep);
Eric Sandeen256bdb42008-02-10 01:13:33 -05002865 kmem_cache_destroy(ext4_ac_cachep);
Alex Tomasc9de5602008-01-29 00:19:52 -05002866#ifdef CONFIG_PROC_FS
Alexey Dobriyan36a5aeb2008-04-29 01:01:42 -07002867 remove_proc_entry("fs/ext4", NULL);
Alex Tomasc9de5602008-01-29 00:19:52 -05002868#endif
2869}
2870
2871
2872/*
2873 * Check quota and mark choosed space (ac->ac_b_ex) non-free in bitmaps
2874 * Returns 0 if success or error code
2875 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04002876static noinline_for_stack int
2877ext4_mb_mark_diskspace_used(struct ext4_allocation_context *ac,
Alex Tomasc9de5602008-01-29 00:19:52 -05002878 handle_t *handle)
2879{
2880 struct buffer_head *bitmap_bh = NULL;
2881 struct ext4_super_block *es;
2882 struct ext4_group_desc *gdp;
2883 struct buffer_head *gdp_bh;
2884 struct ext4_sb_info *sbi;
2885 struct super_block *sb;
2886 ext4_fsblk_t block;
Aneesh Kumar K.V519deca02008-05-15 14:43:20 -04002887 int err, len;
Alex Tomasc9de5602008-01-29 00:19:52 -05002888
2889 BUG_ON(ac->ac_status != AC_STATUS_FOUND);
2890 BUG_ON(ac->ac_b_ex.fe_len <= 0);
2891
2892 sb = ac->ac_sb;
2893 sbi = EXT4_SB(sb);
2894 es = sbi->s_es;
2895
Alex Tomasc9de5602008-01-29 00:19:52 -05002896
2897 err = -EIO;
Theodore Ts'o574ca172008-07-11 19:27:31 -04002898 bitmap_bh = ext4_read_block_bitmap(sb, ac->ac_b_ex.fe_group);
Alex Tomasc9de5602008-01-29 00:19:52 -05002899 if (!bitmap_bh)
2900 goto out_err;
2901
2902 err = ext4_journal_get_write_access(handle, bitmap_bh);
2903 if (err)
2904 goto out_err;
2905
2906 err = -EIO;
2907 gdp = ext4_get_group_desc(sb, ac->ac_b_ex.fe_group, &gdp_bh);
2908 if (!gdp)
2909 goto out_err;
2910
Aneesh Kumar K.V03cddb82008-06-05 20:59:29 -04002911 ext4_debug("using block group %lu(%d)\n", ac->ac_b_ex.fe_group,
2912 gdp->bg_free_blocks_count);
2913
Alex Tomasc9de5602008-01-29 00:19:52 -05002914 err = ext4_journal_get_write_access(handle, gdp_bh);
2915 if (err)
2916 goto out_err;
2917
2918 block = ac->ac_b_ex.fe_group * EXT4_BLOCKS_PER_GROUP(sb)
2919 + ac->ac_b_ex.fe_start
2920 + le32_to_cpu(es->s_first_data_block);
2921
Aneesh Kumar K.V519deca02008-05-15 14:43:20 -04002922 len = ac->ac_b_ex.fe_len;
2923 if (in_range(ext4_block_bitmap(sb, gdp), block, len) ||
2924 in_range(ext4_inode_bitmap(sb, gdp), block, len) ||
2925 in_range(block, ext4_inode_table(sb, gdp),
2926 EXT4_SB(sb)->s_itb_per_group) ||
2927 in_range(block + len - 1, ext4_inode_table(sb, gdp),
2928 EXT4_SB(sb)->s_itb_per_group)) {
Harvey Harrison46e665e2008-04-17 10:38:59 -04002929 ext4_error(sb, __func__,
Alex Tomasc9de5602008-01-29 00:19:52 -05002930 "Allocating block in system zone - block = %llu",
2931 block);
Aneesh Kumar K.V519deca02008-05-15 14:43:20 -04002932 /* File system mounted not to panic on error
2933 * Fix the bitmap and repeat the block allocation
2934 * We leak some of the blocks here.
2935 */
2936 mb_set_bits(sb_bgl_lock(sbi, ac->ac_b_ex.fe_group),
2937 bitmap_bh->b_data, ac->ac_b_ex.fe_start,
2938 ac->ac_b_ex.fe_len);
2939 err = ext4_journal_dirty_metadata(handle, bitmap_bh);
2940 if (!err)
2941 err = -EAGAIN;
2942 goto out_err;
Alex Tomasc9de5602008-01-29 00:19:52 -05002943 }
2944#ifdef AGGRESSIVE_CHECK
2945 {
2946 int i;
2947 for (i = 0; i < ac->ac_b_ex.fe_len; i++) {
2948 BUG_ON(mb_test_bit(ac->ac_b_ex.fe_start + i,
2949 bitmap_bh->b_data));
2950 }
2951 }
2952#endif
2953 mb_set_bits(sb_bgl_lock(sbi, ac->ac_b_ex.fe_group), bitmap_bh->b_data,
2954 ac->ac_b_ex.fe_start, ac->ac_b_ex.fe_len);
2955
2956 spin_lock(sb_bgl_lock(sbi, ac->ac_b_ex.fe_group));
2957 if (gdp->bg_flags & cpu_to_le16(EXT4_BG_BLOCK_UNINIT)) {
2958 gdp->bg_flags &= cpu_to_le16(~EXT4_BG_BLOCK_UNINIT);
2959 gdp->bg_free_blocks_count =
2960 cpu_to_le16(ext4_free_blocks_after_init(sb,
2961 ac->ac_b_ex.fe_group,
2962 gdp));
2963 }
Marcin Slusarze8546d02008-04-17 10:38:59 -04002964 le16_add_cpu(&gdp->bg_free_blocks_count, -ac->ac_b_ex.fe_len);
Alex Tomasc9de5602008-01-29 00:19:52 -05002965 gdp->bg_checksum = ext4_group_desc_csum(sbi, ac->ac_b_ex.fe_group, gdp);
2966 spin_unlock(sb_bgl_lock(sbi, ac->ac_b_ex.fe_group));
2967 percpu_counter_sub(&sbi->s_freeblocks_counter, ac->ac_b_ex.fe_len);
2968
Jose R. Santos772cb7c2008-07-11 19:27:31 -04002969 if (sbi->s_log_groups_per_flex) {
2970 ext4_group_t flex_group = ext4_flex_group(sbi,
2971 ac->ac_b_ex.fe_group);
2972 spin_lock(sb_bgl_lock(sbi, flex_group));
2973 sbi->s_flex_groups[flex_group].free_blocks -= ac->ac_b_ex.fe_len;
2974 spin_unlock(sb_bgl_lock(sbi, flex_group));
2975 }
2976
Alex Tomasc9de5602008-01-29 00:19:52 -05002977 err = ext4_journal_dirty_metadata(handle, bitmap_bh);
2978 if (err)
2979 goto out_err;
2980 err = ext4_journal_dirty_metadata(handle, gdp_bh);
2981
2982out_err:
2983 sb->s_dirt = 1;
Aneesh Kumar K.V42a10ad2008-02-10 01:07:28 -05002984 brelse(bitmap_bh);
Alex Tomasc9de5602008-01-29 00:19:52 -05002985 return err;
2986}
2987
2988/*
2989 * here we normalize request for locality group
2990 * Group request are normalized to s_strip size if we set the same via mount
2991 * option. If not we set it to s_mb_group_prealloc which can be configured via
2992 * /proc/fs/ext4/<partition>/group_prealloc
2993 *
2994 * XXX: should we try to preallocate more than the group has now?
2995 */
2996static void ext4_mb_normalize_group_request(struct ext4_allocation_context *ac)
2997{
2998 struct super_block *sb = ac->ac_sb;
2999 struct ext4_locality_group *lg = ac->ac_lg;
3000
3001 BUG_ON(lg == NULL);
3002 if (EXT4_SB(sb)->s_stripe)
3003 ac->ac_g_ex.fe_len = EXT4_SB(sb)->s_stripe;
3004 else
3005 ac->ac_g_ex.fe_len = EXT4_SB(sb)->s_mb_group_prealloc;
Solofo Ramangalahy60bd63d2008-04-29 21:59:59 -04003006 mb_debug("#%u: goal %u blocks for locality group\n",
Alex Tomasc9de5602008-01-29 00:19:52 -05003007 current->pid, ac->ac_g_ex.fe_len);
3008}
3009
3010/*
3011 * Normalization means making request better in terms of
3012 * size and alignment
3013 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003014static noinline_for_stack void
3015ext4_mb_normalize_request(struct ext4_allocation_context *ac,
Alex Tomasc9de5602008-01-29 00:19:52 -05003016 struct ext4_allocation_request *ar)
3017{
3018 int bsbits, max;
3019 ext4_lblk_t end;
Alex Tomasc9de5602008-01-29 00:19:52 -05003020 loff_t size, orig_size, start_off;
3021 ext4_lblk_t start, orig_start;
3022 struct ext4_inode_info *ei = EXT4_I(ac->ac_inode);
Aneesh Kumar K.V9a0762c2008-04-17 10:38:59 -04003023 struct ext4_prealloc_space *pa;
Alex Tomasc9de5602008-01-29 00:19:52 -05003024
3025 /* do normalize only data requests, metadata requests
3026 do not need preallocation */
3027 if (!(ac->ac_flags & EXT4_MB_HINT_DATA))
3028 return;
3029
3030 /* sometime caller may want exact blocks */
3031 if (unlikely(ac->ac_flags & EXT4_MB_HINT_GOAL_ONLY))
3032 return;
3033
3034 /* caller may indicate that preallocation isn't
3035 * required (it's a tail, for example) */
3036 if (ac->ac_flags & EXT4_MB_HINT_NOPREALLOC)
3037 return;
3038
3039 if (ac->ac_flags & EXT4_MB_HINT_GROUP_ALLOC) {
3040 ext4_mb_normalize_group_request(ac);
3041 return ;
3042 }
3043
3044 bsbits = ac->ac_sb->s_blocksize_bits;
3045
3046 /* first, let's learn actual file size
3047 * given current request is allocated */
3048 size = ac->ac_o_ex.fe_logical + ac->ac_o_ex.fe_len;
3049 size = size << bsbits;
3050 if (size < i_size_read(ac->ac_inode))
3051 size = i_size_read(ac->ac_inode);
3052
Valerie Clement19304792008-05-13 19:31:14 -04003053 /* max size of free chunks */
3054 max = 2 << bsbits;
Alex Tomasc9de5602008-01-29 00:19:52 -05003055
Valerie Clement19304792008-05-13 19:31:14 -04003056#define NRL_CHECK_SIZE(req, size, max, chunk_size) \
3057 (req <= (size) || max <= (chunk_size))
Alex Tomasc9de5602008-01-29 00:19:52 -05003058
3059 /* first, try to predict filesize */
3060 /* XXX: should this table be tunable? */
3061 start_off = 0;
3062 if (size <= 16 * 1024) {
3063 size = 16 * 1024;
3064 } else if (size <= 32 * 1024) {
3065 size = 32 * 1024;
3066 } else if (size <= 64 * 1024) {
3067 size = 64 * 1024;
3068 } else if (size <= 128 * 1024) {
3069 size = 128 * 1024;
3070 } else if (size <= 256 * 1024) {
3071 size = 256 * 1024;
3072 } else if (size <= 512 * 1024) {
3073 size = 512 * 1024;
3074 } else if (size <= 1024 * 1024) {
3075 size = 1024 * 1024;
Valerie Clement19304792008-05-13 19:31:14 -04003076 } else if (NRL_CHECK_SIZE(size, 4 * 1024 * 1024, max, 2 * 1024)) {
Alex Tomasc9de5602008-01-29 00:19:52 -05003077 start_off = ((loff_t)ac->ac_o_ex.fe_logical >>
Valerie Clement19304792008-05-13 19:31:14 -04003078 (21 - bsbits)) << 21;
3079 size = 2 * 1024 * 1024;
3080 } else if (NRL_CHECK_SIZE(size, 8 * 1024 * 1024, max, 4 * 1024)) {
Alex Tomasc9de5602008-01-29 00:19:52 -05003081 start_off = ((loff_t)ac->ac_o_ex.fe_logical >>
3082 (22 - bsbits)) << 22;
3083 size = 4 * 1024 * 1024;
3084 } else if (NRL_CHECK_SIZE(ac->ac_o_ex.fe_len,
Valerie Clement19304792008-05-13 19:31:14 -04003085 (8<<20)>>bsbits, max, 8 * 1024)) {
Alex Tomasc9de5602008-01-29 00:19:52 -05003086 start_off = ((loff_t)ac->ac_o_ex.fe_logical >>
3087 (23 - bsbits)) << 23;
3088 size = 8 * 1024 * 1024;
3089 } else {
3090 start_off = (loff_t)ac->ac_o_ex.fe_logical << bsbits;
3091 size = ac->ac_o_ex.fe_len << bsbits;
3092 }
3093 orig_size = size = size >> bsbits;
3094 orig_start = start = start_off >> bsbits;
3095
3096 /* don't cover already allocated blocks in selected range */
3097 if (ar->pleft && start <= ar->lleft) {
3098 size -= ar->lleft + 1 - start;
3099 start = ar->lleft + 1;
3100 }
3101 if (ar->pright && start + size - 1 >= ar->lright)
3102 size -= start + size - ar->lright;
3103
3104 end = start + size;
3105
3106 /* check we don't cross already preallocated blocks */
3107 rcu_read_lock();
Aneesh Kumar K.V9a0762c2008-04-17 10:38:59 -04003108 list_for_each_entry_rcu(pa, &ei->i_prealloc_list, pa_inode_list) {
Alex Tomasc9de5602008-01-29 00:19:52 -05003109 unsigned long pa_end;
3110
Alex Tomasc9de5602008-01-29 00:19:52 -05003111 if (pa->pa_deleted)
3112 continue;
3113 spin_lock(&pa->pa_lock);
3114 if (pa->pa_deleted) {
3115 spin_unlock(&pa->pa_lock);
3116 continue;
3117 }
3118
3119 pa_end = pa->pa_lstart + pa->pa_len;
3120
3121 /* PA must not overlap original request */
3122 BUG_ON(!(ac->ac_o_ex.fe_logical >= pa_end ||
3123 ac->ac_o_ex.fe_logical < pa->pa_lstart));
3124
3125 /* skip PA normalized request doesn't overlap with */
3126 if (pa->pa_lstart >= end) {
3127 spin_unlock(&pa->pa_lock);
3128 continue;
3129 }
3130 if (pa_end <= start) {
3131 spin_unlock(&pa->pa_lock);
3132 continue;
3133 }
3134 BUG_ON(pa->pa_lstart <= start && pa_end >= end);
3135
3136 if (pa_end <= ac->ac_o_ex.fe_logical) {
3137 BUG_ON(pa_end < start);
3138 start = pa_end;
3139 }
3140
3141 if (pa->pa_lstart > ac->ac_o_ex.fe_logical) {
3142 BUG_ON(pa->pa_lstart > end);
3143 end = pa->pa_lstart;
3144 }
3145 spin_unlock(&pa->pa_lock);
3146 }
3147 rcu_read_unlock();
3148 size = end - start;
3149
3150 /* XXX: extra loop to check we really don't overlap preallocations */
3151 rcu_read_lock();
Aneesh Kumar K.V9a0762c2008-04-17 10:38:59 -04003152 list_for_each_entry_rcu(pa, &ei->i_prealloc_list, pa_inode_list) {
Alex Tomasc9de5602008-01-29 00:19:52 -05003153 unsigned long pa_end;
Alex Tomasc9de5602008-01-29 00:19:52 -05003154 spin_lock(&pa->pa_lock);
3155 if (pa->pa_deleted == 0) {
3156 pa_end = pa->pa_lstart + pa->pa_len;
3157 BUG_ON(!(start >= pa_end || end <= pa->pa_lstart));
3158 }
3159 spin_unlock(&pa->pa_lock);
3160 }
3161 rcu_read_unlock();
3162
3163 if (start + size <= ac->ac_o_ex.fe_logical &&
3164 start > ac->ac_o_ex.fe_logical) {
3165 printk(KERN_ERR "start %lu, size %lu, fe_logical %lu\n",
3166 (unsigned long) start, (unsigned long) size,
3167 (unsigned long) ac->ac_o_ex.fe_logical);
3168 }
3169 BUG_ON(start + size <= ac->ac_o_ex.fe_logical &&
3170 start > ac->ac_o_ex.fe_logical);
3171 BUG_ON(size <= 0 || size >= EXT4_BLOCKS_PER_GROUP(ac->ac_sb));
3172
3173 /* now prepare goal request */
3174
3175 /* XXX: is it better to align blocks WRT to logical
3176 * placement or satisfy big request as is */
3177 ac->ac_g_ex.fe_logical = start;
3178 ac->ac_g_ex.fe_len = size;
3179
3180 /* define goal start in order to merge */
3181 if (ar->pright && (ar->lright == (start + size))) {
3182 /* merge to the right */
3183 ext4_get_group_no_and_offset(ac->ac_sb, ar->pright - size,
3184 &ac->ac_f_ex.fe_group,
3185 &ac->ac_f_ex.fe_start);
3186 ac->ac_flags |= EXT4_MB_HINT_TRY_GOAL;
3187 }
3188 if (ar->pleft && (ar->lleft + 1 == start)) {
3189 /* merge to the left */
3190 ext4_get_group_no_and_offset(ac->ac_sb, ar->pleft + 1,
3191 &ac->ac_f_ex.fe_group,
3192 &ac->ac_f_ex.fe_start);
3193 ac->ac_flags |= EXT4_MB_HINT_TRY_GOAL;
3194 }
3195
3196 mb_debug("goal: %u(was %u) blocks at %u\n", (unsigned) size,
3197 (unsigned) orig_size, (unsigned) start);
3198}
3199
3200static void ext4_mb_collect_stats(struct ext4_allocation_context *ac)
3201{
3202 struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
3203
3204 if (sbi->s_mb_stats && ac->ac_g_ex.fe_len > 1) {
3205 atomic_inc(&sbi->s_bal_reqs);
3206 atomic_add(ac->ac_b_ex.fe_len, &sbi->s_bal_allocated);
3207 if (ac->ac_o_ex.fe_len >= ac->ac_g_ex.fe_len)
3208 atomic_inc(&sbi->s_bal_success);
3209 atomic_add(ac->ac_found, &sbi->s_bal_ex_scanned);
3210 if (ac->ac_g_ex.fe_start == ac->ac_b_ex.fe_start &&
3211 ac->ac_g_ex.fe_group == ac->ac_b_ex.fe_group)
3212 atomic_inc(&sbi->s_bal_goals);
3213 if (ac->ac_found > sbi->s_mb_max_to_scan)
3214 atomic_inc(&sbi->s_bal_breaks);
3215 }
3216
3217 ext4_mb_store_history(ac);
3218}
3219
3220/*
3221 * use blocks preallocated to inode
3222 */
3223static void ext4_mb_use_inode_pa(struct ext4_allocation_context *ac,
3224 struct ext4_prealloc_space *pa)
3225{
3226 ext4_fsblk_t start;
3227 ext4_fsblk_t end;
3228 int len;
3229
3230 /* found preallocated blocks, use them */
3231 start = pa->pa_pstart + (ac->ac_o_ex.fe_logical - pa->pa_lstart);
3232 end = min(pa->pa_pstart + pa->pa_len, start + ac->ac_o_ex.fe_len);
3233 len = end - start;
3234 ext4_get_group_no_and_offset(ac->ac_sb, start, &ac->ac_b_ex.fe_group,
3235 &ac->ac_b_ex.fe_start);
3236 ac->ac_b_ex.fe_len = len;
3237 ac->ac_status = AC_STATUS_FOUND;
3238 ac->ac_pa = pa;
3239
3240 BUG_ON(start < pa->pa_pstart);
3241 BUG_ON(start + len > pa->pa_pstart + pa->pa_len);
3242 BUG_ON(pa->pa_free < len);
3243 pa->pa_free -= len;
3244
Solofo Ramangalahy60bd63d2008-04-29 21:59:59 -04003245 mb_debug("use %llu/%u from inode pa %p\n", start, len, pa);
Alex Tomasc9de5602008-01-29 00:19:52 -05003246}
3247
3248/*
3249 * use blocks preallocated to locality group
3250 */
3251static void ext4_mb_use_group_pa(struct ext4_allocation_context *ac,
3252 struct ext4_prealloc_space *pa)
3253{
Aneesh Kumar K.V03cddb82008-06-05 20:59:29 -04003254 unsigned int len = ac->ac_o_ex.fe_len;
Alex Tomasc9de5602008-01-29 00:19:52 -05003255 ext4_get_group_no_and_offset(ac->ac_sb, pa->pa_pstart,
3256 &ac->ac_b_ex.fe_group,
3257 &ac->ac_b_ex.fe_start);
3258 ac->ac_b_ex.fe_len = len;
3259 ac->ac_status = AC_STATUS_FOUND;
3260 ac->ac_pa = pa;
3261
3262 /* we don't correct pa_pstart or pa_plen here to avoid
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05003263 * possible race when the group is being loaded concurrently
Alex Tomasc9de5602008-01-29 00:19:52 -05003264 * instead we correct pa later, after blocks are marked
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05003265 * in on-disk bitmap -- see ext4_mb_release_context()
3266 * Other CPUs are prevented from allocating from this pa by lg_mutex
Alex Tomasc9de5602008-01-29 00:19:52 -05003267 */
3268 mb_debug("use %u/%u from group pa %p\n", pa->pa_lstart-len, len, pa);
3269}
3270
3271/*
3272 * search goal blocks in preallocated space
3273 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003274static noinline_for_stack int
3275ext4_mb_use_preallocated(struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05003276{
3277 struct ext4_inode_info *ei = EXT4_I(ac->ac_inode);
3278 struct ext4_locality_group *lg;
3279 struct ext4_prealloc_space *pa;
Alex Tomasc9de5602008-01-29 00:19:52 -05003280
3281 /* only data can be preallocated */
3282 if (!(ac->ac_flags & EXT4_MB_HINT_DATA))
3283 return 0;
3284
3285 /* first, try per-file preallocation */
3286 rcu_read_lock();
Aneesh Kumar K.V9a0762c2008-04-17 10:38:59 -04003287 list_for_each_entry_rcu(pa, &ei->i_prealloc_list, pa_inode_list) {
Alex Tomasc9de5602008-01-29 00:19:52 -05003288
3289 /* all fields in this condition don't change,
3290 * so we can skip locking for them */
3291 if (ac->ac_o_ex.fe_logical < pa->pa_lstart ||
3292 ac->ac_o_ex.fe_logical >= pa->pa_lstart + pa->pa_len)
3293 continue;
3294
3295 /* found preallocated blocks, use them */
3296 spin_lock(&pa->pa_lock);
3297 if (pa->pa_deleted == 0 && pa->pa_free) {
3298 atomic_inc(&pa->pa_count);
3299 ext4_mb_use_inode_pa(ac, pa);
3300 spin_unlock(&pa->pa_lock);
3301 ac->ac_criteria = 10;
3302 rcu_read_unlock();
3303 return 1;
3304 }
3305 spin_unlock(&pa->pa_lock);
3306 }
3307 rcu_read_unlock();
3308
3309 /* can we use group allocation? */
3310 if (!(ac->ac_flags & EXT4_MB_HINT_GROUP_ALLOC))
3311 return 0;
3312
3313 /* inode may have no locality group for some reason */
3314 lg = ac->ac_lg;
3315 if (lg == NULL)
3316 return 0;
3317
3318 rcu_read_lock();
Aneesh Kumar K.V9a0762c2008-04-17 10:38:59 -04003319 list_for_each_entry_rcu(pa, &lg->lg_prealloc_list, pa_inode_list) {
Alex Tomasc9de5602008-01-29 00:19:52 -05003320 spin_lock(&pa->pa_lock);
3321 if (pa->pa_deleted == 0 && pa->pa_free >= ac->ac_o_ex.fe_len) {
3322 atomic_inc(&pa->pa_count);
3323 ext4_mb_use_group_pa(ac, pa);
3324 spin_unlock(&pa->pa_lock);
3325 ac->ac_criteria = 20;
3326 rcu_read_unlock();
3327 return 1;
3328 }
3329 spin_unlock(&pa->pa_lock);
3330 }
3331 rcu_read_unlock();
3332
3333 return 0;
3334}
3335
3336/*
3337 * the function goes through all preallocation in this group and marks them
3338 * used in in-core bitmap. buddy must be generated from this bitmap
3339 * Need to be called with ext4 group lock (ext4_lock_group)
3340 */
3341static void ext4_mb_generate_from_pa(struct super_block *sb, void *bitmap,
3342 ext4_group_t group)
3343{
3344 struct ext4_group_info *grp = ext4_get_group_info(sb, group);
3345 struct ext4_prealloc_space *pa;
3346 struct list_head *cur;
3347 ext4_group_t groupnr;
3348 ext4_grpblk_t start;
3349 int preallocated = 0;
3350 int count = 0;
3351 int len;
3352
3353 /* all form of preallocation discards first load group,
3354 * so the only competing code is preallocation use.
3355 * we don't need any locking here
3356 * notice we do NOT ignore preallocations with pa_deleted
3357 * otherwise we could leave used blocks available for
3358 * allocation in buddy when concurrent ext4_mb_put_pa()
3359 * is dropping preallocation
3360 */
3361 list_for_each(cur, &grp->bb_prealloc_list) {
3362 pa = list_entry(cur, struct ext4_prealloc_space, pa_group_list);
3363 spin_lock(&pa->pa_lock);
3364 ext4_get_group_no_and_offset(sb, pa->pa_pstart,
3365 &groupnr, &start);
3366 len = pa->pa_len;
3367 spin_unlock(&pa->pa_lock);
3368 if (unlikely(len == 0))
3369 continue;
3370 BUG_ON(groupnr != group);
3371 mb_set_bits(sb_bgl_lock(EXT4_SB(sb), group),
3372 bitmap, start, len);
3373 preallocated += len;
3374 count++;
3375 }
3376 mb_debug("prellocated %u for group %lu\n", preallocated, group);
3377}
3378
3379static void ext4_mb_pa_callback(struct rcu_head *head)
3380{
3381 struct ext4_prealloc_space *pa;
3382 pa = container_of(head, struct ext4_prealloc_space, u.pa_rcu);
3383 kmem_cache_free(ext4_pspace_cachep, pa);
3384}
3385
3386/*
3387 * drops a reference to preallocated space descriptor
3388 * if this was the last reference and the space is consumed
3389 */
3390static void ext4_mb_put_pa(struct ext4_allocation_context *ac,
3391 struct super_block *sb, struct ext4_prealloc_space *pa)
3392{
3393 unsigned long grp;
3394
3395 if (!atomic_dec_and_test(&pa->pa_count) || pa->pa_free != 0)
3396 return;
3397
3398 /* in this short window concurrent discard can set pa_deleted */
3399 spin_lock(&pa->pa_lock);
3400 if (pa->pa_deleted == 1) {
3401 spin_unlock(&pa->pa_lock);
3402 return;
3403 }
3404
3405 pa->pa_deleted = 1;
3406 spin_unlock(&pa->pa_lock);
3407
3408 /* -1 is to protect from crossing allocation group */
3409 ext4_get_group_no_and_offset(sb, pa->pa_pstart - 1, &grp, NULL);
3410
3411 /*
3412 * possible race:
3413 *
3414 * P1 (buddy init) P2 (regular allocation)
3415 * find block B in PA
3416 * copy on-disk bitmap to buddy
3417 * mark B in on-disk bitmap
3418 * drop PA from group
3419 * mark all PAs in buddy
3420 *
3421 * thus, P1 initializes buddy with B available. to prevent this
3422 * we make "copy" and "mark all PAs" atomic and serialize "drop PA"
3423 * against that pair
3424 */
3425 ext4_lock_group(sb, grp);
3426 list_del(&pa->pa_group_list);
3427 ext4_unlock_group(sb, grp);
3428
3429 spin_lock(pa->pa_obj_lock);
3430 list_del_rcu(&pa->pa_inode_list);
3431 spin_unlock(pa->pa_obj_lock);
3432
3433 call_rcu(&(pa)->u.pa_rcu, ext4_mb_pa_callback);
3434}
3435
3436/*
3437 * creates new preallocated space for given inode
3438 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003439static noinline_for_stack int
3440ext4_mb_new_inode_pa(struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05003441{
3442 struct super_block *sb = ac->ac_sb;
3443 struct ext4_prealloc_space *pa;
3444 struct ext4_group_info *grp;
3445 struct ext4_inode_info *ei;
3446
3447 /* preallocate only when found space is larger then requested */
3448 BUG_ON(ac->ac_o_ex.fe_len >= ac->ac_b_ex.fe_len);
3449 BUG_ON(ac->ac_status != AC_STATUS_FOUND);
3450 BUG_ON(!S_ISREG(ac->ac_inode->i_mode));
3451
3452 pa = kmem_cache_alloc(ext4_pspace_cachep, GFP_NOFS);
3453 if (pa == NULL)
3454 return -ENOMEM;
3455
3456 if (ac->ac_b_ex.fe_len < ac->ac_g_ex.fe_len) {
3457 int winl;
3458 int wins;
3459 int win;
3460 int offs;
3461
3462 /* we can't allocate as much as normalizer wants.
3463 * so, found space must get proper lstart
3464 * to cover original request */
3465 BUG_ON(ac->ac_g_ex.fe_logical > ac->ac_o_ex.fe_logical);
3466 BUG_ON(ac->ac_g_ex.fe_len < ac->ac_o_ex.fe_len);
3467
3468 /* we're limited by original request in that
3469 * logical block must be covered any way
3470 * winl is window we can move our chunk within */
3471 winl = ac->ac_o_ex.fe_logical - ac->ac_g_ex.fe_logical;
3472
3473 /* also, we should cover whole original request */
3474 wins = ac->ac_b_ex.fe_len - ac->ac_o_ex.fe_len;
3475
3476 /* the smallest one defines real window */
3477 win = min(winl, wins);
3478
3479 offs = ac->ac_o_ex.fe_logical % ac->ac_b_ex.fe_len;
3480 if (offs && offs < win)
3481 win = offs;
3482
3483 ac->ac_b_ex.fe_logical = ac->ac_o_ex.fe_logical - win;
3484 BUG_ON(ac->ac_o_ex.fe_logical < ac->ac_b_ex.fe_logical);
3485 BUG_ON(ac->ac_o_ex.fe_len > ac->ac_b_ex.fe_len);
3486 }
3487
3488 /* preallocation can change ac_b_ex, thus we store actually
3489 * allocated blocks for history */
3490 ac->ac_f_ex = ac->ac_b_ex;
3491
3492 pa->pa_lstart = ac->ac_b_ex.fe_logical;
3493 pa->pa_pstart = ext4_grp_offs_to_block(sb, &ac->ac_b_ex);
3494 pa->pa_len = ac->ac_b_ex.fe_len;
3495 pa->pa_free = pa->pa_len;
3496 atomic_set(&pa->pa_count, 1);
3497 spin_lock_init(&pa->pa_lock);
3498 pa->pa_deleted = 0;
3499 pa->pa_linear = 0;
3500
3501 mb_debug("new inode pa %p: %llu/%u for %u\n", pa,
3502 pa->pa_pstart, pa->pa_len, pa->pa_lstart);
3503
3504 ext4_mb_use_inode_pa(ac, pa);
3505 atomic_add(pa->pa_free, &EXT4_SB(sb)->s_mb_preallocated);
3506
3507 ei = EXT4_I(ac->ac_inode);
3508 grp = ext4_get_group_info(sb, ac->ac_b_ex.fe_group);
3509
3510 pa->pa_obj_lock = &ei->i_prealloc_lock;
3511 pa->pa_inode = ac->ac_inode;
3512
3513 ext4_lock_group(sb, ac->ac_b_ex.fe_group);
3514 list_add(&pa->pa_group_list, &grp->bb_prealloc_list);
3515 ext4_unlock_group(sb, ac->ac_b_ex.fe_group);
3516
3517 spin_lock(pa->pa_obj_lock);
3518 list_add_rcu(&pa->pa_inode_list, &ei->i_prealloc_list);
3519 spin_unlock(pa->pa_obj_lock);
3520
3521 return 0;
3522}
3523
3524/*
3525 * creates new preallocated space for locality group inodes belongs to
3526 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003527static noinline_for_stack int
3528ext4_mb_new_group_pa(struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05003529{
3530 struct super_block *sb = ac->ac_sb;
3531 struct ext4_locality_group *lg;
3532 struct ext4_prealloc_space *pa;
3533 struct ext4_group_info *grp;
3534
3535 /* preallocate only when found space is larger then requested */
3536 BUG_ON(ac->ac_o_ex.fe_len >= ac->ac_b_ex.fe_len);
3537 BUG_ON(ac->ac_status != AC_STATUS_FOUND);
3538 BUG_ON(!S_ISREG(ac->ac_inode->i_mode));
3539
3540 BUG_ON(ext4_pspace_cachep == NULL);
3541 pa = kmem_cache_alloc(ext4_pspace_cachep, GFP_NOFS);
3542 if (pa == NULL)
3543 return -ENOMEM;
3544
3545 /* preallocation can change ac_b_ex, thus we store actually
3546 * allocated blocks for history */
3547 ac->ac_f_ex = ac->ac_b_ex;
3548
3549 pa->pa_pstart = ext4_grp_offs_to_block(sb, &ac->ac_b_ex);
3550 pa->pa_lstart = pa->pa_pstart;
3551 pa->pa_len = ac->ac_b_ex.fe_len;
3552 pa->pa_free = pa->pa_len;
3553 atomic_set(&pa->pa_count, 1);
3554 spin_lock_init(&pa->pa_lock);
3555 pa->pa_deleted = 0;
3556 pa->pa_linear = 1;
3557
3558 mb_debug("new group pa %p: %llu/%u for %u\n", pa,
3559 pa->pa_pstart, pa->pa_len, pa->pa_lstart);
3560
3561 ext4_mb_use_group_pa(ac, pa);
3562 atomic_add(pa->pa_free, &EXT4_SB(sb)->s_mb_preallocated);
3563
3564 grp = ext4_get_group_info(sb, ac->ac_b_ex.fe_group);
3565 lg = ac->ac_lg;
3566 BUG_ON(lg == NULL);
3567
3568 pa->pa_obj_lock = &lg->lg_prealloc_lock;
3569 pa->pa_inode = NULL;
3570
3571 ext4_lock_group(sb, ac->ac_b_ex.fe_group);
3572 list_add(&pa->pa_group_list, &grp->bb_prealloc_list);
3573 ext4_unlock_group(sb, ac->ac_b_ex.fe_group);
3574
3575 spin_lock(pa->pa_obj_lock);
3576 list_add_tail_rcu(&pa->pa_inode_list, &lg->lg_prealloc_list);
3577 spin_unlock(pa->pa_obj_lock);
3578
3579 return 0;
3580}
3581
3582static int ext4_mb_new_preallocation(struct ext4_allocation_context *ac)
3583{
3584 int err;
3585
3586 if (ac->ac_flags & EXT4_MB_HINT_GROUP_ALLOC)
3587 err = ext4_mb_new_group_pa(ac);
3588 else
3589 err = ext4_mb_new_inode_pa(ac);
3590 return err;
3591}
3592
3593/*
3594 * finds all unused blocks in on-disk bitmap, frees them in
3595 * in-core bitmap and buddy.
3596 * @pa must be unlinked from inode and group lists, so that
3597 * nobody else can find/use it.
3598 * the caller MUST hold group/inode locks.
3599 * TODO: optimize the case when there are no in-core structures yet
3600 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003601static noinline_for_stack int
3602ext4_mb_release_inode_pa(struct ext4_buddy *e4b, struct buffer_head *bitmap_bh,
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003603 struct ext4_prealloc_space *pa,
3604 struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05003605{
Alex Tomasc9de5602008-01-29 00:19:52 -05003606 struct super_block *sb = e4b->bd_sb;
3607 struct ext4_sb_info *sbi = EXT4_SB(sb);
3608 unsigned long end;
3609 unsigned long next;
3610 ext4_group_t group;
3611 ext4_grpblk_t bit;
3612 sector_t start;
3613 int err = 0;
3614 int free = 0;
3615
3616 BUG_ON(pa->pa_deleted == 0);
3617 ext4_get_group_no_and_offset(sb, pa->pa_pstart, &group, &bit);
3618 BUG_ON(group != e4b->bd_group && pa->pa_len != 0);
3619 end = bit + pa->pa_len;
3620
Eric Sandeen256bdb42008-02-10 01:13:33 -05003621 if (ac) {
3622 ac->ac_sb = sb;
3623 ac->ac_inode = pa->pa_inode;
3624 ac->ac_op = EXT4_MB_HISTORY_DISCARD;
3625 }
Alex Tomasc9de5602008-01-29 00:19:52 -05003626
3627 while (bit < end) {
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -05003628 bit = mb_find_next_zero_bit(bitmap_bh->b_data, end, bit);
Alex Tomasc9de5602008-01-29 00:19:52 -05003629 if (bit >= end)
3630 break;
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -05003631 next = mb_find_next_bit(bitmap_bh->b_data, end, bit);
Alex Tomasc9de5602008-01-29 00:19:52 -05003632 start = group * EXT4_BLOCKS_PER_GROUP(sb) + bit +
3633 le32_to_cpu(sbi->s_es->s_first_data_block);
3634 mb_debug(" free preallocated %u/%u in group %u\n",
3635 (unsigned) start, (unsigned) next - bit,
3636 (unsigned) group);
3637 free += next - bit;
3638
Eric Sandeen256bdb42008-02-10 01:13:33 -05003639 if (ac) {
3640 ac->ac_b_ex.fe_group = group;
3641 ac->ac_b_ex.fe_start = bit;
3642 ac->ac_b_ex.fe_len = next - bit;
3643 ac->ac_b_ex.fe_logical = 0;
3644 ext4_mb_store_history(ac);
3645 }
Alex Tomasc9de5602008-01-29 00:19:52 -05003646
3647 mb_free_blocks(pa->pa_inode, e4b, bit, next - bit);
3648 bit = next + 1;
3649 }
3650 if (free != pa->pa_free) {
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05003651 printk(KERN_CRIT "pa %p: logic %lu, phys. %lu, len %lu\n",
Alex Tomasc9de5602008-01-29 00:19:52 -05003652 pa, (unsigned long) pa->pa_lstart,
3653 (unsigned long) pa->pa_pstart,
3654 (unsigned long) pa->pa_len);
Harvey Harrison46e665e2008-04-17 10:38:59 -04003655 ext4_error(sb, __func__, "free %u, pa_free %u\n",
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05003656 free, pa->pa_free);
Aneesh Kumar K.Ve56eb652008-02-15 13:48:21 -05003657 /*
3658 * pa is already deleted so we use the value obtained
3659 * from the bitmap and continue.
3660 */
Alex Tomasc9de5602008-01-29 00:19:52 -05003661 }
Alex Tomasc9de5602008-01-29 00:19:52 -05003662 atomic_add(free, &sbi->s_mb_discarded);
3663
3664 return err;
3665}
3666
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003667static noinline_for_stack int
3668ext4_mb_release_group_pa(struct ext4_buddy *e4b,
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003669 struct ext4_prealloc_space *pa,
3670 struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05003671{
Alex Tomasc9de5602008-01-29 00:19:52 -05003672 struct super_block *sb = e4b->bd_sb;
3673 ext4_group_t group;
3674 ext4_grpblk_t bit;
3675
Eric Sandeen256bdb42008-02-10 01:13:33 -05003676 if (ac)
3677 ac->ac_op = EXT4_MB_HISTORY_DISCARD;
Alex Tomasc9de5602008-01-29 00:19:52 -05003678
3679 BUG_ON(pa->pa_deleted == 0);
3680 ext4_get_group_no_and_offset(sb, pa->pa_pstart, &group, &bit);
3681 BUG_ON(group != e4b->bd_group && pa->pa_len != 0);
3682 mb_free_blocks(pa->pa_inode, e4b, bit, pa->pa_len);
3683 atomic_add(pa->pa_len, &EXT4_SB(sb)->s_mb_discarded);
3684
Eric Sandeen256bdb42008-02-10 01:13:33 -05003685 if (ac) {
3686 ac->ac_sb = sb;
3687 ac->ac_inode = NULL;
3688 ac->ac_b_ex.fe_group = group;
3689 ac->ac_b_ex.fe_start = bit;
3690 ac->ac_b_ex.fe_len = pa->pa_len;
3691 ac->ac_b_ex.fe_logical = 0;
3692 ext4_mb_store_history(ac);
Eric Sandeen256bdb42008-02-10 01:13:33 -05003693 }
Alex Tomasc9de5602008-01-29 00:19:52 -05003694
3695 return 0;
3696}
3697
3698/*
3699 * releases all preallocations in given group
3700 *
3701 * first, we need to decide discard policy:
3702 * - when do we discard
3703 * 1) ENOSPC
3704 * - how many do we discard
3705 * 1) how many requested
3706 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003707static noinline_for_stack int
3708ext4_mb_discard_group_preallocations(struct super_block *sb,
Alex Tomasc9de5602008-01-29 00:19:52 -05003709 ext4_group_t group, int needed)
3710{
3711 struct ext4_group_info *grp = ext4_get_group_info(sb, group);
3712 struct buffer_head *bitmap_bh = NULL;
3713 struct ext4_prealloc_space *pa, *tmp;
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003714 struct ext4_allocation_context *ac;
Alex Tomasc9de5602008-01-29 00:19:52 -05003715 struct list_head list;
3716 struct ext4_buddy e4b;
3717 int err;
3718 int busy = 0;
3719 int free = 0;
3720
3721 mb_debug("discard preallocation for group %lu\n", group);
3722
3723 if (list_empty(&grp->bb_prealloc_list))
3724 return 0;
3725
Theodore Ts'o574ca172008-07-11 19:27:31 -04003726 bitmap_bh = ext4_read_block_bitmap(sb, group);
Alex Tomasc9de5602008-01-29 00:19:52 -05003727 if (bitmap_bh == NULL) {
3728 /* error handling here */
3729 ext4_mb_release_desc(&e4b);
3730 BUG_ON(bitmap_bh == NULL);
3731 }
3732
3733 err = ext4_mb_load_buddy(sb, group, &e4b);
3734 BUG_ON(err != 0); /* error handling here */
3735
3736 if (needed == 0)
3737 needed = EXT4_BLOCKS_PER_GROUP(sb) + 1;
3738
3739 grp = ext4_get_group_info(sb, group);
3740 INIT_LIST_HEAD(&list);
3741
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003742 ac = kmem_cache_alloc(ext4_ac_cachep, GFP_NOFS);
Alex Tomasc9de5602008-01-29 00:19:52 -05003743repeat:
3744 ext4_lock_group(sb, group);
3745 list_for_each_entry_safe(pa, tmp,
3746 &grp->bb_prealloc_list, pa_group_list) {
3747 spin_lock(&pa->pa_lock);
3748 if (atomic_read(&pa->pa_count)) {
3749 spin_unlock(&pa->pa_lock);
3750 busy = 1;
3751 continue;
3752 }
3753 if (pa->pa_deleted) {
3754 spin_unlock(&pa->pa_lock);
3755 continue;
3756 }
3757
3758 /* seems this one can be freed ... */
3759 pa->pa_deleted = 1;
3760
3761 /* we can trust pa_free ... */
3762 free += pa->pa_free;
3763
3764 spin_unlock(&pa->pa_lock);
3765
3766 list_del(&pa->pa_group_list);
3767 list_add(&pa->u.pa_tmp_list, &list);
3768 }
3769
3770 /* if we still need more blocks and some PAs were used, try again */
3771 if (free < needed && busy) {
3772 busy = 0;
3773 ext4_unlock_group(sb, group);
3774 /*
3775 * Yield the CPU here so that we don't get soft lockup
3776 * in non preempt case.
3777 */
3778 yield();
3779 goto repeat;
3780 }
3781
3782 /* found anything to free? */
3783 if (list_empty(&list)) {
3784 BUG_ON(free != 0);
3785 goto out;
3786 }
3787
3788 /* now free all selected PAs */
3789 list_for_each_entry_safe(pa, tmp, &list, u.pa_tmp_list) {
3790
3791 /* remove from object (inode or locality group) */
3792 spin_lock(pa->pa_obj_lock);
3793 list_del_rcu(&pa->pa_inode_list);
3794 spin_unlock(pa->pa_obj_lock);
3795
3796 if (pa->pa_linear)
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003797 ext4_mb_release_group_pa(&e4b, pa, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05003798 else
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003799 ext4_mb_release_inode_pa(&e4b, bitmap_bh, pa, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05003800
3801 list_del(&pa->u.pa_tmp_list);
3802 call_rcu(&(pa)->u.pa_rcu, ext4_mb_pa_callback);
3803 }
3804
3805out:
3806 ext4_unlock_group(sb, group);
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003807 if (ac)
3808 kmem_cache_free(ext4_ac_cachep, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05003809 ext4_mb_release_desc(&e4b);
3810 put_bh(bitmap_bh);
3811 return free;
3812}
3813
3814/*
3815 * releases all non-used preallocated blocks for given inode
3816 *
3817 * It's important to discard preallocations under i_data_sem
3818 * We don't want another block to be served from the prealloc
3819 * space when we are discarding the inode prealloc space.
3820 *
3821 * FIXME!! Make sure it is valid at all the call sites
3822 */
3823void ext4_mb_discard_inode_preallocations(struct inode *inode)
3824{
3825 struct ext4_inode_info *ei = EXT4_I(inode);
3826 struct super_block *sb = inode->i_sb;
3827 struct buffer_head *bitmap_bh = NULL;
3828 struct ext4_prealloc_space *pa, *tmp;
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003829 struct ext4_allocation_context *ac;
Alex Tomasc9de5602008-01-29 00:19:52 -05003830 ext4_group_t group = 0;
3831 struct list_head list;
3832 struct ext4_buddy e4b;
3833 int err;
3834
3835 if (!test_opt(sb, MBALLOC) || !S_ISREG(inode->i_mode)) {
3836 /*BUG_ON(!list_empty(&ei->i_prealloc_list));*/
3837 return;
3838 }
3839
3840 mb_debug("discard preallocation for inode %lu\n", inode->i_ino);
3841
3842 INIT_LIST_HEAD(&list);
3843
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003844 ac = kmem_cache_alloc(ext4_ac_cachep, GFP_NOFS);
Alex Tomasc9de5602008-01-29 00:19:52 -05003845repeat:
3846 /* first, collect all pa's in the inode */
3847 spin_lock(&ei->i_prealloc_lock);
3848 while (!list_empty(&ei->i_prealloc_list)) {
3849 pa = list_entry(ei->i_prealloc_list.next,
3850 struct ext4_prealloc_space, pa_inode_list);
3851 BUG_ON(pa->pa_obj_lock != &ei->i_prealloc_lock);
3852 spin_lock(&pa->pa_lock);
3853 if (atomic_read(&pa->pa_count)) {
3854 /* this shouldn't happen often - nobody should
3855 * use preallocation while we're discarding it */
3856 spin_unlock(&pa->pa_lock);
3857 spin_unlock(&ei->i_prealloc_lock);
3858 printk(KERN_ERR "uh-oh! used pa while discarding\n");
3859 WARN_ON(1);
3860 schedule_timeout_uninterruptible(HZ);
3861 goto repeat;
3862
3863 }
3864 if (pa->pa_deleted == 0) {
3865 pa->pa_deleted = 1;
3866 spin_unlock(&pa->pa_lock);
3867 list_del_rcu(&pa->pa_inode_list);
3868 list_add(&pa->u.pa_tmp_list, &list);
3869 continue;
3870 }
3871
3872 /* someone is deleting pa right now */
3873 spin_unlock(&pa->pa_lock);
3874 spin_unlock(&ei->i_prealloc_lock);
3875
3876 /* we have to wait here because pa_deleted
3877 * doesn't mean pa is already unlinked from
3878 * the list. as we might be called from
3879 * ->clear_inode() the inode will get freed
3880 * and concurrent thread which is unlinking
3881 * pa from inode's list may access already
3882 * freed memory, bad-bad-bad */
3883
3884 /* XXX: if this happens too often, we can
3885 * add a flag to force wait only in case
3886 * of ->clear_inode(), but not in case of
3887 * regular truncate */
3888 schedule_timeout_uninterruptible(HZ);
3889 goto repeat;
3890 }
3891 spin_unlock(&ei->i_prealloc_lock);
3892
3893 list_for_each_entry_safe(pa, tmp, &list, u.pa_tmp_list) {
3894 BUG_ON(pa->pa_linear != 0);
3895 ext4_get_group_no_and_offset(sb, pa->pa_pstart, &group, NULL);
3896
3897 err = ext4_mb_load_buddy(sb, group, &e4b);
3898 BUG_ON(err != 0); /* error handling here */
3899
Theodore Ts'o574ca172008-07-11 19:27:31 -04003900 bitmap_bh = ext4_read_block_bitmap(sb, group);
Alex Tomasc9de5602008-01-29 00:19:52 -05003901 if (bitmap_bh == NULL) {
3902 /* error handling here */
3903 ext4_mb_release_desc(&e4b);
3904 BUG_ON(bitmap_bh == NULL);
3905 }
3906
3907 ext4_lock_group(sb, group);
3908 list_del(&pa->pa_group_list);
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003909 ext4_mb_release_inode_pa(&e4b, bitmap_bh, pa, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05003910 ext4_unlock_group(sb, group);
3911
3912 ext4_mb_release_desc(&e4b);
3913 put_bh(bitmap_bh);
3914
3915 list_del(&pa->u.pa_tmp_list);
3916 call_rcu(&(pa)->u.pa_rcu, ext4_mb_pa_callback);
3917 }
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003918 if (ac)
3919 kmem_cache_free(ext4_ac_cachep, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05003920}
3921
3922/*
3923 * finds all preallocated spaces and return blocks being freed to them
3924 * if preallocated space becomes full (no block is used from the space)
3925 * then the function frees space in buddy
3926 * XXX: at the moment, truncate (which is the only way to free blocks)
3927 * discards all preallocations
3928 */
3929static void ext4_mb_return_to_preallocation(struct inode *inode,
3930 struct ext4_buddy *e4b,
3931 sector_t block, int count)
3932{
3933 BUG_ON(!list_empty(&EXT4_I(inode)->i_prealloc_list));
3934}
3935#ifdef MB_DEBUG
3936static void ext4_mb_show_ac(struct ext4_allocation_context *ac)
3937{
3938 struct super_block *sb = ac->ac_sb;
3939 ext4_group_t i;
3940
3941 printk(KERN_ERR "EXT4-fs: Can't allocate:"
3942 " Allocation context details:\n");
3943 printk(KERN_ERR "EXT4-fs: status %d flags %d\n",
3944 ac->ac_status, ac->ac_flags);
3945 printk(KERN_ERR "EXT4-fs: orig %lu/%lu/%lu@%lu, goal %lu/%lu/%lu@%lu, "
3946 "best %lu/%lu/%lu@%lu cr %d\n",
3947 (unsigned long)ac->ac_o_ex.fe_group,
3948 (unsigned long)ac->ac_o_ex.fe_start,
3949 (unsigned long)ac->ac_o_ex.fe_len,
3950 (unsigned long)ac->ac_o_ex.fe_logical,
3951 (unsigned long)ac->ac_g_ex.fe_group,
3952 (unsigned long)ac->ac_g_ex.fe_start,
3953 (unsigned long)ac->ac_g_ex.fe_len,
3954 (unsigned long)ac->ac_g_ex.fe_logical,
3955 (unsigned long)ac->ac_b_ex.fe_group,
3956 (unsigned long)ac->ac_b_ex.fe_start,
3957 (unsigned long)ac->ac_b_ex.fe_len,
3958 (unsigned long)ac->ac_b_ex.fe_logical,
3959 (int)ac->ac_criteria);
3960 printk(KERN_ERR "EXT4-fs: %lu scanned, %d found\n", ac->ac_ex_scanned,
3961 ac->ac_found);
3962 printk(KERN_ERR "EXT4-fs: groups: \n");
3963 for (i = 0; i < EXT4_SB(sb)->s_groups_count; i++) {
3964 struct ext4_group_info *grp = ext4_get_group_info(sb, i);
3965 struct ext4_prealloc_space *pa;
3966 ext4_grpblk_t start;
3967 struct list_head *cur;
3968 ext4_lock_group(sb, i);
3969 list_for_each(cur, &grp->bb_prealloc_list) {
3970 pa = list_entry(cur, struct ext4_prealloc_space,
3971 pa_group_list);
3972 spin_lock(&pa->pa_lock);
3973 ext4_get_group_no_and_offset(sb, pa->pa_pstart,
3974 NULL, &start);
3975 spin_unlock(&pa->pa_lock);
3976 printk(KERN_ERR "PA:%lu:%d:%u \n", i,
3977 start, pa->pa_len);
3978 }
Solofo Ramangalahy60bd63d2008-04-29 21:59:59 -04003979 ext4_unlock_group(sb, i);
Alex Tomasc9de5602008-01-29 00:19:52 -05003980
3981 if (grp->bb_free == 0)
3982 continue;
3983 printk(KERN_ERR "%lu: %d/%d \n",
3984 i, grp->bb_free, grp->bb_fragments);
3985 }
3986 printk(KERN_ERR "\n");
3987}
3988#else
3989static inline void ext4_mb_show_ac(struct ext4_allocation_context *ac)
3990{
3991 return;
3992}
3993#endif
3994
3995/*
3996 * We use locality group preallocation for small size file. The size of the
3997 * file is determined by the current size or the resulting size after
3998 * allocation which ever is larger
3999 *
4000 * One can tune this size via /proc/fs/ext4/<partition>/stream_req
4001 */
4002static void ext4_mb_group_or_file(struct ext4_allocation_context *ac)
4003{
4004 struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
4005 int bsbits = ac->ac_sb->s_blocksize_bits;
4006 loff_t size, isize;
4007
4008 if (!(ac->ac_flags & EXT4_MB_HINT_DATA))
4009 return;
4010
4011 size = ac->ac_o_ex.fe_logical + ac->ac_o_ex.fe_len;
4012 isize = i_size_read(ac->ac_inode) >> bsbits;
4013 size = max(size, isize);
4014
4015 /* don't use group allocation for large files */
4016 if (size >= sbi->s_mb_stream_request)
4017 return;
4018
4019 if (unlikely(ac->ac_flags & EXT4_MB_HINT_GOAL_ONLY))
4020 return;
4021
4022 BUG_ON(ac->ac_lg != NULL);
4023 /*
4024 * locality group prealloc space are per cpu. The reason for having
4025 * per cpu locality group is to reduce the contention between block
4026 * request from multiple CPUs.
4027 */
4028 ac->ac_lg = &sbi->s_locality_groups[get_cpu()];
4029 put_cpu();
4030
4031 /* we're going to use group allocation */
4032 ac->ac_flags |= EXT4_MB_HINT_GROUP_ALLOC;
4033
4034 /* serialize all allocations in the group */
4035 mutex_lock(&ac->ac_lg->lg_mutex);
4036}
4037
Eric Sandeen4ddfef72008-04-29 08:11:12 -04004038static noinline_for_stack int
4039ext4_mb_initialize_context(struct ext4_allocation_context *ac,
Alex Tomasc9de5602008-01-29 00:19:52 -05004040 struct ext4_allocation_request *ar)
4041{
4042 struct super_block *sb = ar->inode->i_sb;
4043 struct ext4_sb_info *sbi = EXT4_SB(sb);
4044 struct ext4_super_block *es = sbi->s_es;
4045 ext4_group_t group;
4046 unsigned long len;
4047 unsigned long goal;
4048 ext4_grpblk_t block;
4049
4050 /* we can't allocate > group size */
4051 len = ar->len;
4052
4053 /* just a dirty hack to filter too big requests */
4054 if (len >= EXT4_BLOCKS_PER_GROUP(sb) - 10)
4055 len = EXT4_BLOCKS_PER_GROUP(sb) - 10;
4056
4057 /* start searching from the goal */
4058 goal = ar->goal;
4059 if (goal < le32_to_cpu(es->s_first_data_block) ||
4060 goal >= ext4_blocks_count(es))
4061 goal = le32_to_cpu(es->s_first_data_block);
4062 ext4_get_group_no_and_offset(sb, goal, &group, &block);
4063
4064 /* set up allocation goals */
4065 ac->ac_b_ex.fe_logical = ar->logical;
4066 ac->ac_b_ex.fe_group = 0;
4067 ac->ac_b_ex.fe_start = 0;
4068 ac->ac_b_ex.fe_len = 0;
4069 ac->ac_status = AC_STATUS_CONTINUE;
4070 ac->ac_groups_scanned = 0;
4071 ac->ac_ex_scanned = 0;
4072 ac->ac_found = 0;
4073 ac->ac_sb = sb;
4074 ac->ac_inode = ar->inode;
4075 ac->ac_o_ex.fe_logical = ar->logical;
4076 ac->ac_o_ex.fe_group = group;
4077 ac->ac_o_ex.fe_start = block;
4078 ac->ac_o_ex.fe_len = len;
4079 ac->ac_g_ex.fe_logical = ar->logical;
4080 ac->ac_g_ex.fe_group = group;
4081 ac->ac_g_ex.fe_start = block;
4082 ac->ac_g_ex.fe_len = len;
4083 ac->ac_f_ex.fe_len = 0;
4084 ac->ac_flags = ar->flags;
4085 ac->ac_2order = 0;
4086 ac->ac_criteria = 0;
4087 ac->ac_pa = NULL;
4088 ac->ac_bitmap_page = NULL;
4089 ac->ac_buddy_page = NULL;
4090 ac->ac_lg = NULL;
4091
4092 /* we have to define context: we'll we work with a file or
4093 * locality group. this is a policy, actually */
4094 ext4_mb_group_or_file(ac);
4095
4096 mb_debug("init ac: %u blocks @ %u, goal %u, flags %x, 2^%d, "
4097 "left: %u/%u, right %u/%u to %swritable\n",
4098 (unsigned) ar->len, (unsigned) ar->logical,
4099 (unsigned) ar->goal, ac->ac_flags, ac->ac_2order,
4100 (unsigned) ar->lleft, (unsigned) ar->pleft,
4101 (unsigned) ar->lright, (unsigned) ar->pright,
4102 atomic_read(&ar->inode->i_writecount) ? "" : "non-");
4103 return 0;
4104
4105}
4106
4107/*
4108 * release all resource we used in allocation
4109 */
4110static int ext4_mb_release_context(struct ext4_allocation_context *ac)
4111{
4112 if (ac->ac_pa) {
4113 if (ac->ac_pa->pa_linear) {
4114 /* see comment in ext4_mb_use_group_pa() */
4115 spin_lock(&ac->ac_pa->pa_lock);
4116 ac->ac_pa->pa_pstart += ac->ac_b_ex.fe_len;
4117 ac->ac_pa->pa_lstart += ac->ac_b_ex.fe_len;
4118 ac->ac_pa->pa_free -= ac->ac_b_ex.fe_len;
4119 ac->ac_pa->pa_len -= ac->ac_b_ex.fe_len;
4120 spin_unlock(&ac->ac_pa->pa_lock);
4121 }
4122 ext4_mb_put_pa(ac, ac->ac_sb, ac->ac_pa);
4123 }
4124 if (ac->ac_bitmap_page)
4125 page_cache_release(ac->ac_bitmap_page);
4126 if (ac->ac_buddy_page)
4127 page_cache_release(ac->ac_buddy_page);
4128 if (ac->ac_flags & EXT4_MB_HINT_GROUP_ALLOC)
4129 mutex_unlock(&ac->ac_lg->lg_mutex);
4130 ext4_mb_collect_stats(ac);
4131 return 0;
4132}
4133
4134static int ext4_mb_discard_preallocations(struct super_block *sb, int needed)
4135{
4136 ext4_group_t i;
4137 int ret;
4138 int freed = 0;
4139
4140 for (i = 0; i < EXT4_SB(sb)->s_groups_count && needed > 0; i++) {
4141 ret = ext4_mb_discard_group_preallocations(sb, i, needed);
4142 freed += ret;
4143 needed -= ret;
4144 }
4145
4146 return freed;
4147}
4148
4149/*
4150 * Main entry point into mballoc to allocate blocks
4151 * it tries to use preallocation first, then falls back
4152 * to usual allocation
4153 */
4154ext4_fsblk_t ext4_mb_new_blocks(handle_t *handle,
4155 struct ext4_allocation_request *ar, int *errp)
4156{
Eric Sandeen256bdb42008-02-10 01:13:33 -05004157 struct ext4_allocation_context *ac = NULL;
Alex Tomasc9de5602008-01-29 00:19:52 -05004158 struct ext4_sb_info *sbi;
4159 struct super_block *sb;
4160 ext4_fsblk_t block = 0;
4161 int freed;
4162 int inquota;
4163
4164 sb = ar->inode->i_sb;
4165 sbi = EXT4_SB(sb);
4166
4167 if (!test_opt(sb, MBALLOC)) {
Aneesh Kumar K.V654b4902008-07-11 19:27:31 -04004168 block = ext4_old_new_blocks(handle, ar->inode, ar->goal,
Alex Tomasc9de5602008-01-29 00:19:52 -05004169 &(ar->len), errp);
4170 return block;
4171 }
Mingming Cao07031432008-07-11 19:27:31 -04004172 ar->len = ext4_has_free_blocks(sbi, ar->len);
4173
4174 if (ar->len == 0) {
4175 *errp = -ENOSPC;
4176 return 0;
4177 }
Alex Tomasc9de5602008-01-29 00:19:52 -05004178
4179 while (ar->len && DQUOT_ALLOC_BLOCK(ar->inode, ar->len)) {
4180 ar->flags |= EXT4_MB_HINT_NOPREALLOC;
4181 ar->len--;
4182 }
4183 if (ar->len == 0) {
4184 *errp = -EDQUOT;
4185 return 0;
4186 }
4187 inquota = ar->len;
4188
Eric Sandeen256bdb42008-02-10 01:13:33 -05004189 ac = kmem_cache_alloc(ext4_ac_cachep, GFP_NOFS);
4190 if (!ac) {
Shen Feng363d4252008-07-11 19:27:31 -04004191 ar->len = 0;
Eric Sandeen256bdb42008-02-10 01:13:33 -05004192 *errp = -ENOMEM;
Shen Feng363d4252008-07-11 19:27:31 -04004193 goto out1;
Eric Sandeen256bdb42008-02-10 01:13:33 -05004194 }
4195
Alex Tomasc9de5602008-01-29 00:19:52 -05004196 ext4_mb_poll_new_transaction(sb, handle);
4197
Eric Sandeen256bdb42008-02-10 01:13:33 -05004198 *errp = ext4_mb_initialize_context(ac, ar);
Alex Tomasc9de5602008-01-29 00:19:52 -05004199 if (*errp) {
4200 ar->len = 0;
Shen Feng363d4252008-07-11 19:27:31 -04004201 goto out2;
Alex Tomasc9de5602008-01-29 00:19:52 -05004202 }
4203
Eric Sandeen256bdb42008-02-10 01:13:33 -05004204 ac->ac_op = EXT4_MB_HISTORY_PREALLOC;
4205 if (!ext4_mb_use_preallocated(ac)) {
Eric Sandeen256bdb42008-02-10 01:13:33 -05004206 ac->ac_op = EXT4_MB_HISTORY_ALLOC;
4207 ext4_mb_normalize_request(ac, ar);
Alex Tomasc9de5602008-01-29 00:19:52 -05004208repeat:
4209 /* allocate space in core */
Eric Sandeen256bdb42008-02-10 01:13:33 -05004210 ext4_mb_regular_allocator(ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05004211
4212 /* as we've just preallocated more space than
4213 * user requested orinally, we store allocated
4214 * space in a special descriptor */
Eric Sandeen256bdb42008-02-10 01:13:33 -05004215 if (ac->ac_status == AC_STATUS_FOUND &&
4216 ac->ac_o_ex.fe_len < ac->ac_b_ex.fe_len)
4217 ext4_mb_new_preallocation(ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05004218 }
4219
Eric Sandeen256bdb42008-02-10 01:13:33 -05004220 if (likely(ac->ac_status == AC_STATUS_FOUND)) {
Aneesh Kumar K.V519deca02008-05-15 14:43:20 -04004221 *errp = ext4_mb_mark_diskspace_used(ac, handle);
4222 if (*errp == -EAGAIN) {
4223 ac->ac_b_ex.fe_group = 0;
4224 ac->ac_b_ex.fe_start = 0;
4225 ac->ac_b_ex.fe_len = 0;
4226 ac->ac_status = AC_STATUS_CONTINUE;
4227 goto repeat;
4228 } else if (*errp) {
4229 ac->ac_b_ex.fe_len = 0;
4230 ar->len = 0;
4231 ext4_mb_show_ac(ac);
4232 } else {
4233 block = ext4_grp_offs_to_block(sb, &ac->ac_b_ex);
4234 ar->len = ac->ac_b_ex.fe_len;
4235 }
Alex Tomasc9de5602008-01-29 00:19:52 -05004236 } else {
Eric Sandeen256bdb42008-02-10 01:13:33 -05004237 freed = ext4_mb_discard_preallocations(sb, ac->ac_o_ex.fe_len);
Alex Tomasc9de5602008-01-29 00:19:52 -05004238 if (freed)
4239 goto repeat;
4240 *errp = -ENOSPC;
Eric Sandeen256bdb42008-02-10 01:13:33 -05004241 ac->ac_b_ex.fe_len = 0;
Alex Tomasc9de5602008-01-29 00:19:52 -05004242 ar->len = 0;
Eric Sandeen256bdb42008-02-10 01:13:33 -05004243 ext4_mb_show_ac(ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05004244 }
4245
Eric Sandeen256bdb42008-02-10 01:13:33 -05004246 ext4_mb_release_context(ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05004247
Shen Feng363d4252008-07-11 19:27:31 -04004248out2:
4249 kmem_cache_free(ext4_ac_cachep, ac);
4250out1:
Alex Tomasc9de5602008-01-29 00:19:52 -05004251 if (ar->len < inquota)
4252 DQUOT_FREE_BLOCK(ar->inode, inquota - ar->len);
4253
4254 return block;
4255}
4256static void ext4_mb_poll_new_transaction(struct super_block *sb,
4257 handle_t *handle)
4258{
4259 struct ext4_sb_info *sbi = EXT4_SB(sb);
4260
4261 if (sbi->s_last_transaction == handle->h_transaction->t_tid)
4262 return;
4263
4264 /* new transaction! time to close last one and free blocks for
4265 * committed transaction. we know that only transaction can be
4266 * active, so previos transaction can be being logged and we
4267 * know that transaction before previous is known to be already
4268 * logged. this means that now we may free blocks freed in all
4269 * transactions before previous one. hope I'm clear enough ... */
4270
4271 spin_lock(&sbi->s_md_lock);
4272 if (sbi->s_last_transaction != handle->h_transaction->t_tid) {
4273 mb_debug("new transaction %lu, old %lu\n",
4274 (unsigned long) handle->h_transaction->t_tid,
4275 (unsigned long) sbi->s_last_transaction);
4276 list_splice_init(&sbi->s_closed_transaction,
4277 &sbi->s_committed_transaction);
4278 list_splice_init(&sbi->s_active_transaction,
4279 &sbi->s_closed_transaction);
4280 sbi->s_last_transaction = handle->h_transaction->t_tid;
4281 }
4282 spin_unlock(&sbi->s_md_lock);
4283
4284 ext4_mb_free_committed_blocks(sb);
4285}
4286
Eric Sandeen4ddfef72008-04-29 08:11:12 -04004287static noinline_for_stack int
4288ext4_mb_free_metadata(handle_t *handle, struct ext4_buddy *e4b,
Alex Tomasc9de5602008-01-29 00:19:52 -05004289 ext4_group_t group, ext4_grpblk_t block, int count)
4290{
4291 struct ext4_group_info *db = e4b->bd_info;
4292 struct super_block *sb = e4b->bd_sb;
4293 struct ext4_sb_info *sbi = EXT4_SB(sb);
4294 struct ext4_free_metadata *md;
4295 int i;
4296
4297 BUG_ON(e4b->bd_bitmap_page == NULL);
4298 BUG_ON(e4b->bd_buddy_page == NULL);
4299
4300 ext4_lock_group(sb, group);
4301 for (i = 0; i < count; i++) {
4302 md = db->bb_md_cur;
4303 if (md && db->bb_tid != handle->h_transaction->t_tid) {
4304 db->bb_md_cur = NULL;
4305 md = NULL;
4306 }
4307
4308 if (md == NULL) {
4309 ext4_unlock_group(sb, group);
4310 md = kmalloc(sizeof(*md), GFP_NOFS);
4311 if (md == NULL)
4312 return -ENOMEM;
4313 md->num = 0;
4314 md->group = group;
4315
4316 ext4_lock_group(sb, group);
4317 if (db->bb_md_cur == NULL) {
4318 spin_lock(&sbi->s_md_lock);
4319 list_add(&md->list, &sbi->s_active_transaction);
4320 spin_unlock(&sbi->s_md_lock);
4321 /* protect buddy cache from being freed,
4322 * otherwise we'll refresh it from
4323 * on-disk bitmap and lose not-yet-available
4324 * blocks */
4325 page_cache_get(e4b->bd_buddy_page);
4326 page_cache_get(e4b->bd_bitmap_page);
4327 db->bb_md_cur = md;
4328 db->bb_tid = handle->h_transaction->t_tid;
4329 mb_debug("new md 0x%p for group %lu\n",
4330 md, md->group);
4331 } else {
4332 kfree(md);
4333 md = db->bb_md_cur;
4334 }
4335 }
4336
4337 BUG_ON(md->num >= EXT4_BB_MAX_BLOCKS);
4338 md->blocks[md->num] = block + i;
4339 md->num++;
4340 if (md->num == EXT4_BB_MAX_BLOCKS) {
4341 /* no more space, put full container on a sb's list */
4342 db->bb_md_cur = NULL;
4343 }
4344 }
4345 ext4_unlock_group(sb, group);
4346 return 0;
4347}
4348
4349/*
4350 * Main entry point into mballoc to free blocks
4351 */
4352void ext4_mb_free_blocks(handle_t *handle, struct inode *inode,
4353 unsigned long block, unsigned long count,
4354 int metadata, unsigned long *freed)
4355{
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05004356 struct buffer_head *bitmap_bh = NULL;
Alex Tomasc9de5602008-01-29 00:19:52 -05004357 struct super_block *sb = inode->i_sb;
Eric Sandeen256bdb42008-02-10 01:13:33 -05004358 struct ext4_allocation_context *ac = NULL;
Alex Tomasc9de5602008-01-29 00:19:52 -05004359 struct ext4_group_desc *gdp;
4360 struct ext4_super_block *es;
4361 unsigned long overflow;
4362 ext4_grpblk_t bit;
4363 struct buffer_head *gd_bh;
4364 ext4_group_t block_group;
4365 struct ext4_sb_info *sbi;
4366 struct ext4_buddy e4b;
4367 int err = 0;
4368 int ret;
4369
4370 *freed = 0;
4371
4372 ext4_mb_poll_new_transaction(sb, handle);
4373
4374 sbi = EXT4_SB(sb);
4375 es = EXT4_SB(sb)->s_es;
4376 if (block < le32_to_cpu(es->s_first_data_block) ||
4377 block + count < block ||
4378 block + count > ext4_blocks_count(es)) {
Harvey Harrison46e665e2008-04-17 10:38:59 -04004379 ext4_error(sb, __func__,
Alex Tomasc9de5602008-01-29 00:19:52 -05004380 "Freeing blocks not in datazone - "
4381 "block = %lu, count = %lu", block, count);
4382 goto error_return;
4383 }
4384
4385 ext4_debug("freeing block %lu\n", block);
4386
Eric Sandeen256bdb42008-02-10 01:13:33 -05004387 ac = kmem_cache_alloc(ext4_ac_cachep, GFP_NOFS);
4388 if (ac) {
4389 ac->ac_op = EXT4_MB_HISTORY_FREE;
4390 ac->ac_inode = inode;
4391 ac->ac_sb = sb;
4392 }
Alex Tomasc9de5602008-01-29 00:19:52 -05004393
4394do_more:
4395 overflow = 0;
4396 ext4_get_group_no_and_offset(sb, block, &block_group, &bit);
4397
4398 /*
4399 * Check to see if we are freeing blocks across a group
4400 * boundary.
4401 */
4402 if (bit + count > EXT4_BLOCKS_PER_GROUP(sb)) {
4403 overflow = bit + count - EXT4_BLOCKS_PER_GROUP(sb);
4404 count -= overflow;
4405 }
Theodore Ts'o574ca172008-07-11 19:27:31 -04004406 bitmap_bh = ext4_read_block_bitmap(sb, block_group);
Alex Tomasc9de5602008-01-29 00:19:52 -05004407 if (!bitmap_bh)
4408 goto error_return;
4409 gdp = ext4_get_group_desc(sb, block_group, &gd_bh);
4410 if (!gdp)
4411 goto error_return;
4412
4413 if (in_range(ext4_block_bitmap(sb, gdp), block, count) ||
4414 in_range(ext4_inode_bitmap(sb, gdp), block, count) ||
4415 in_range(block, ext4_inode_table(sb, gdp),
4416 EXT4_SB(sb)->s_itb_per_group) ||
4417 in_range(block + count - 1, ext4_inode_table(sb, gdp),
4418 EXT4_SB(sb)->s_itb_per_group)) {
4419
Harvey Harrison46e665e2008-04-17 10:38:59 -04004420 ext4_error(sb, __func__,
Alex Tomasc9de5602008-01-29 00:19:52 -05004421 "Freeing blocks in system zone - "
4422 "Block = %lu, count = %lu", block, count);
Aneesh Kumar K.V519deca02008-05-15 14:43:20 -04004423 /* err = 0. ext4_std_error should be a no op */
4424 goto error_return;
Alex Tomasc9de5602008-01-29 00:19:52 -05004425 }
4426
4427 BUFFER_TRACE(bitmap_bh, "getting write access");
4428 err = ext4_journal_get_write_access(handle, bitmap_bh);
4429 if (err)
4430 goto error_return;
4431
4432 /*
4433 * We are about to modify some metadata. Call the journal APIs
4434 * to unshare ->b_data if a currently-committing transaction is
4435 * using it
4436 */
4437 BUFFER_TRACE(gd_bh, "get_write_access");
4438 err = ext4_journal_get_write_access(handle, gd_bh);
4439 if (err)
4440 goto error_return;
4441
4442 err = ext4_mb_load_buddy(sb, block_group, &e4b);
4443 if (err)
4444 goto error_return;
4445
4446#ifdef AGGRESSIVE_CHECK
4447 {
4448 int i;
4449 for (i = 0; i < count; i++)
4450 BUG_ON(!mb_test_bit(bit + i, bitmap_bh->b_data));
4451 }
4452#endif
4453 mb_clear_bits(sb_bgl_lock(sbi, block_group), bitmap_bh->b_data,
4454 bit, count);
4455
4456 /* We dirtied the bitmap block */
4457 BUFFER_TRACE(bitmap_bh, "dirtied bitmap block");
4458 err = ext4_journal_dirty_metadata(handle, bitmap_bh);
4459
Eric Sandeen256bdb42008-02-10 01:13:33 -05004460 if (ac) {
4461 ac->ac_b_ex.fe_group = block_group;
4462 ac->ac_b_ex.fe_start = bit;
4463 ac->ac_b_ex.fe_len = count;
4464 ext4_mb_store_history(ac);
4465 }
Alex Tomasc9de5602008-01-29 00:19:52 -05004466
4467 if (metadata) {
4468 /* blocks being freed are metadata. these blocks shouldn't
4469 * be used until this transaction is committed */
4470 ext4_mb_free_metadata(handle, &e4b, block_group, bit, count);
4471 } else {
4472 ext4_lock_group(sb, block_group);
Shen Feng7e5a8cd2008-07-13 21:03:31 -04004473 mb_free_blocks(inode, &e4b, bit, count);
Alex Tomasc9de5602008-01-29 00:19:52 -05004474 ext4_mb_return_to_preallocation(inode, &e4b, block, count);
4475 ext4_unlock_group(sb, block_group);
Alex Tomasc9de5602008-01-29 00:19:52 -05004476 }
4477
4478 spin_lock(sb_bgl_lock(sbi, block_group));
Marcin Slusarze8546d02008-04-17 10:38:59 -04004479 le16_add_cpu(&gdp->bg_free_blocks_count, count);
Alex Tomasc9de5602008-01-29 00:19:52 -05004480 gdp->bg_checksum = ext4_group_desc_csum(sbi, block_group, gdp);
4481 spin_unlock(sb_bgl_lock(sbi, block_group));
4482 percpu_counter_add(&sbi->s_freeblocks_counter, count);
4483
Jose R. Santos772cb7c2008-07-11 19:27:31 -04004484 if (sbi->s_log_groups_per_flex) {
4485 ext4_group_t flex_group = ext4_flex_group(sbi, block_group);
4486 spin_lock(sb_bgl_lock(sbi, flex_group));
4487 sbi->s_flex_groups[flex_group].free_blocks += count;
4488 spin_unlock(sb_bgl_lock(sbi, flex_group));
4489 }
4490
Alex Tomasc9de5602008-01-29 00:19:52 -05004491 ext4_mb_release_desc(&e4b);
4492
4493 *freed += count;
4494
4495 /* And the group descriptor block */
4496 BUFFER_TRACE(gd_bh, "dirtied group descriptor block");
4497 ret = ext4_journal_dirty_metadata(handle, gd_bh);
4498 if (!err)
4499 err = ret;
4500
4501 if (overflow && !err) {
4502 block += count;
4503 count = overflow;
4504 put_bh(bitmap_bh);
4505 goto do_more;
4506 }
4507 sb->s_dirt = 1;
4508error_return:
4509 brelse(bitmap_bh);
4510 ext4_std_error(sb, err);
Eric Sandeen256bdb42008-02-10 01:13:33 -05004511 if (ac)
4512 kmem_cache_free(ext4_ac_cachep, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05004513 return;
4514}