blob: e4f30de11a9dcd14e53e18d17718ffcf0fa8e170 [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]) {
Theodore Ts'o47760042008-09-08 23:00:52 -0400480 printk(KERN_ERR "corruption in group %lu "
481 "at byte %u(%u): %x in copy != %x "
482 "on disk/prealloc\n",
483 e4b->bd_group, i, i * 8, b1[i], b2[i]);
Alex Tomasc9de5602008-01-29 00:19:52 -0500484 BUG();
485 }
486 }
487 }
488}
489
490#else
491static inline void mb_free_blocks_double(struct inode *inode,
492 struct ext4_buddy *e4b, int first, int count)
493{
494 return;
495}
496static inline void mb_mark_used_double(struct ext4_buddy *e4b,
497 int first, int count)
498{
499 return;
500}
501static inline void mb_cmp_bitmaps(struct ext4_buddy *e4b, void *bitmap)
502{
503 return;
504}
505#endif
506
507#ifdef AGGRESSIVE_CHECK
508
509#define MB_CHECK_ASSERT(assert) \
510do { \
511 if (!(assert)) { \
512 printk(KERN_EMERG \
513 "Assertion failure in %s() at %s:%d: \"%s\"\n", \
514 function, file, line, # assert); \
515 BUG(); \
516 } \
517} while (0)
518
519static int __mb_check_buddy(struct ext4_buddy *e4b, char *file,
520 const char *function, int line)
521{
522 struct super_block *sb = e4b->bd_sb;
523 int order = e4b->bd_blkbits + 1;
524 int max;
525 int max2;
526 int i;
527 int j;
528 int k;
529 int count;
530 struct ext4_group_info *grp;
531 int fragments = 0;
532 int fstart;
533 struct list_head *cur;
534 void *buddy;
535 void *buddy2;
536
537 if (!test_opt(sb, MBALLOC))
538 return 0;
539
540 {
541 static int mb_check_counter;
542 if (mb_check_counter++ % 100 != 0)
543 return 0;
544 }
545
546 while (order > 1) {
547 buddy = mb_find_buddy(e4b, order, &max);
548 MB_CHECK_ASSERT(buddy);
549 buddy2 = mb_find_buddy(e4b, order - 1, &max2);
550 MB_CHECK_ASSERT(buddy2);
551 MB_CHECK_ASSERT(buddy != buddy2);
552 MB_CHECK_ASSERT(max * 2 == max2);
553
554 count = 0;
555 for (i = 0; i < max; i++) {
556
557 if (mb_test_bit(i, buddy)) {
558 /* only single bit in buddy2 may be 1 */
559 if (!mb_test_bit(i << 1, buddy2)) {
560 MB_CHECK_ASSERT(
561 mb_test_bit((i<<1)+1, buddy2));
562 } else if (!mb_test_bit((i << 1) + 1, buddy2)) {
563 MB_CHECK_ASSERT(
564 mb_test_bit(i << 1, buddy2));
565 }
566 continue;
567 }
568
569 /* both bits in buddy2 must be 0 */
570 MB_CHECK_ASSERT(mb_test_bit(i << 1, buddy2));
571 MB_CHECK_ASSERT(mb_test_bit((i << 1) + 1, buddy2));
572
573 for (j = 0; j < (1 << order); j++) {
574 k = (i * (1 << order)) + j;
575 MB_CHECK_ASSERT(
576 !mb_test_bit(k, EXT4_MB_BITMAP(e4b)));
577 }
578 count++;
579 }
580 MB_CHECK_ASSERT(e4b->bd_info->bb_counters[order] == count);
581 order--;
582 }
583
584 fstart = -1;
585 buddy = mb_find_buddy(e4b, 0, &max);
586 for (i = 0; i < max; i++) {
587 if (!mb_test_bit(i, buddy)) {
588 MB_CHECK_ASSERT(i >= e4b->bd_info->bb_first_free);
589 if (fstart == -1) {
590 fragments++;
591 fstart = i;
592 }
593 continue;
594 }
595 fstart = -1;
596 /* check used bits only */
597 for (j = 0; j < e4b->bd_blkbits + 1; j++) {
598 buddy2 = mb_find_buddy(e4b, j, &max2);
599 k = i >> j;
600 MB_CHECK_ASSERT(k < max2);
601 MB_CHECK_ASSERT(mb_test_bit(k, buddy2));
602 }
603 }
604 MB_CHECK_ASSERT(!EXT4_MB_GRP_NEED_INIT(e4b->bd_info));
605 MB_CHECK_ASSERT(e4b->bd_info->bb_fragments == fragments);
606
607 grp = ext4_get_group_info(sb, e4b->bd_group);
608 buddy = mb_find_buddy(e4b, 0, &max);
609 list_for_each(cur, &grp->bb_prealloc_list) {
610 ext4_group_t groupnr;
611 struct ext4_prealloc_space *pa;
Solofo Ramangalahy60bd63d2008-04-29 21:59:59 -0400612 pa = list_entry(cur, struct ext4_prealloc_space, pa_group_list);
613 ext4_get_group_no_and_offset(sb, pa->pa_pstart, &groupnr, &k);
Alex Tomasc9de5602008-01-29 00:19:52 -0500614 MB_CHECK_ASSERT(groupnr == e4b->bd_group);
Solofo Ramangalahy60bd63d2008-04-29 21:59:59 -0400615 for (i = 0; i < pa->pa_len; i++)
Alex Tomasc9de5602008-01-29 00:19:52 -0500616 MB_CHECK_ASSERT(mb_test_bit(k + i, buddy));
617 }
618 return 0;
619}
620#undef MB_CHECK_ASSERT
621#define mb_check_buddy(e4b) __mb_check_buddy(e4b, \
Harvey Harrison46e665e2008-04-17 10:38:59 -0400622 __FILE__, __func__, __LINE__)
Alex Tomasc9de5602008-01-29 00:19:52 -0500623#else
624#define mb_check_buddy(e4b)
625#endif
626
627/* FIXME!! need more doc */
628static void ext4_mb_mark_free_simple(struct super_block *sb,
629 void *buddy, unsigned first, int len,
630 struct ext4_group_info *grp)
631{
632 struct ext4_sb_info *sbi = EXT4_SB(sb);
633 unsigned short min;
634 unsigned short max;
635 unsigned short chunk;
636 unsigned short border;
637
Valerie Clementb73fce62008-02-15 13:48:51 -0500638 BUG_ON(len > EXT4_BLOCKS_PER_GROUP(sb));
Alex Tomasc9de5602008-01-29 00:19:52 -0500639
640 border = 2 << sb->s_blocksize_bits;
641
642 while (len > 0) {
643 /* find how many blocks can be covered since this position */
644 max = ffs(first | border) - 1;
645
646 /* find how many blocks of power 2 we need to mark */
647 min = fls(len) - 1;
648
649 if (max < min)
650 min = max;
651 chunk = 1 << min;
652
653 /* mark multiblock chunks only */
654 grp->bb_counters[min]++;
655 if (min > 0)
656 mb_clear_bit(first >> min,
657 buddy + sbi->s_mb_offsets[min]);
658
659 len -= chunk;
660 first += chunk;
661 }
662}
663
664static void ext4_mb_generate_buddy(struct super_block *sb,
665 void *buddy, void *bitmap, ext4_group_t group)
666{
667 struct ext4_group_info *grp = ext4_get_group_info(sb, group);
668 unsigned short max = EXT4_BLOCKS_PER_GROUP(sb);
669 unsigned short i = 0;
670 unsigned short first;
671 unsigned short len;
672 unsigned free = 0;
673 unsigned fragments = 0;
674 unsigned long long period = get_cycles();
675
676 /* initialize buddy from bitmap which is aggregation
677 * of on-disk bitmap and preallocations */
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500678 i = mb_find_next_zero_bit(bitmap, max, 0);
Alex Tomasc9de5602008-01-29 00:19:52 -0500679 grp->bb_first_free = i;
680 while (i < max) {
681 fragments++;
682 first = i;
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500683 i = mb_find_next_bit(bitmap, max, i);
Alex Tomasc9de5602008-01-29 00:19:52 -0500684 len = i - first;
685 free += len;
686 if (len > 1)
687 ext4_mb_mark_free_simple(sb, buddy, first, len, grp);
688 else
689 grp->bb_counters[0]++;
690 if (i < max)
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -0500691 i = mb_find_next_zero_bit(bitmap, max, i);
Alex Tomasc9de5602008-01-29 00:19:52 -0500692 }
693 grp->bb_fragments = fragments;
694
695 if (free != grp->bb_free) {
Harvey Harrison46e665e2008-04-17 10:38:59 -0400696 ext4_error(sb, __func__,
Alex Tomasc9de5602008-01-29 00:19:52 -0500697 "EXT4-fs: group %lu: %u blocks in bitmap, %u in gd\n",
698 group, free, grp->bb_free);
Aneesh Kumar K.Ve56eb652008-02-15 13:48:21 -0500699 /*
700 * If we intent to continue, we consider group descritor
701 * corrupt and update bb_free using bitmap value
702 */
Alex Tomasc9de5602008-01-29 00:19:52 -0500703 grp->bb_free = free;
704 }
705
706 clear_bit(EXT4_GROUP_INFO_NEED_INIT_BIT, &(grp->bb_state));
707
708 period = get_cycles() - period;
709 spin_lock(&EXT4_SB(sb)->s_bal_lock);
710 EXT4_SB(sb)->s_mb_buddies_generated++;
711 EXT4_SB(sb)->s_mb_generation_time += period;
712 spin_unlock(&EXT4_SB(sb)->s_bal_lock);
713}
714
715/* The buddy information is attached the buddy cache inode
716 * for convenience. The information regarding each group
717 * is loaded via ext4_mb_load_buddy. The information involve
718 * block bitmap and buddy information. The information are
719 * stored in the inode as
720 *
721 * { page }
722 * [ group 0 buddy][ group 0 bitmap] [group 1][ group 1]...
723 *
724 *
725 * one block each for bitmap and buddy information.
726 * So for each group we take up 2 blocks. A page can
727 * contain blocks_per_page (PAGE_CACHE_SIZE / blocksize) blocks.
728 * So it can have information regarding groups_per_page which
729 * is blocks_per_page/2
730 */
731
732static int ext4_mb_init_cache(struct page *page, char *incore)
733{
734 int blocksize;
735 int blocks_per_page;
736 int groups_per_page;
737 int err = 0;
738 int i;
739 ext4_group_t first_group;
740 int first_block;
741 struct super_block *sb;
742 struct buffer_head *bhs;
743 struct buffer_head **bh;
744 struct inode *inode;
745 char *data;
746 char *bitmap;
747
748 mb_debug("init page %lu\n", page->index);
749
750 inode = page->mapping->host;
751 sb = inode->i_sb;
752 blocksize = 1 << inode->i_blkbits;
753 blocks_per_page = PAGE_CACHE_SIZE / blocksize;
754
755 groups_per_page = blocks_per_page >> 1;
756 if (groups_per_page == 0)
757 groups_per_page = 1;
758
759 /* allocate buffer_heads to read bitmaps */
760 if (groups_per_page > 1) {
761 err = -ENOMEM;
762 i = sizeof(struct buffer_head *) * groups_per_page;
763 bh = kzalloc(i, GFP_NOFS);
764 if (bh == NULL)
765 goto out;
766 } else
767 bh = &bhs;
768
769 first_group = page->index * blocks_per_page / 2;
770
771 /* read all groups the page covers into the cache */
772 for (i = 0; i < groups_per_page; i++) {
773 struct ext4_group_desc *desc;
774
775 if (first_group + i >= EXT4_SB(sb)->s_groups_count)
776 break;
777
778 err = -EIO;
779 desc = ext4_get_group_desc(sb, first_group + i, NULL);
780 if (desc == NULL)
781 goto out;
782
783 err = -ENOMEM;
784 bh[i] = sb_getblk(sb, ext4_block_bitmap(sb, desc));
785 if (bh[i] == NULL)
786 goto out;
787
788 if (bh_uptodate_or_lock(bh[i]))
789 continue;
790
Eric Sandeenb5f10ee2008-08-02 21:21:08 -0400791 spin_lock(sb_bgl_lock(EXT4_SB(sb), first_group + i));
Alex Tomasc9de5602008-01-29 00:19:52 -0500792 if (desc->bg_flags & cpu_to_le16(EXT4_BG_BLOCK_UNINIT)) {
793 ext4_init_block_bitmap(sb, bh[i],
794 first_group + i, desc);
795 set_buffer_uptodate(bh[i]);
796 unlock_buffer(bh[i]);
Eric Sandeenb5f10ee2008-08-02 21:21:08 -0400797 spin_unlock(sb_bgl_lock(EXT4_SB(sb), first_group + i));
Alex Tomasc9de5602008-01-29 00:19:52 -0500798 continue;
799 }
Eric Sandeenb5f10ee2008-08-02 21:21:08 -0400800 spin_unlock(sb_bgl_lock(EXT4_SB(sb), first_group + i));
Alex Tomasc9de5602008-01-29 00:19:52 -0500801 get_bh(bh[i]);
802 bh[i]->b_end_io = end_buffer_read_sync;
803 submit_bh(READ, bh[i]);
804 mb_debug("read bitmap for group %lu\n", first_group + i);
805 }
806
807 /* wait for I/O completion */
808 for (i = 0; i < groups_per_page && bh[i]; i++)
809 wait_on_buffer(bh[i]);
810
811 err = -EIO;
812 for (i = 0; i < groups_per_page && bh[i]; i++)
813 if (!buffer_uptodate(bh[i]))
814 goto out;
815
Mingming Cao31b481d2008-07-11 19:27:31 -0400816 err = 0;
Alex Tomasc9de5602008-01-29 00:19:52 -0500817 first_block = page->index * blocks_per_page;
818 for (i = 0; i < blocks_per_page; i++) {
819 int group;
820 struct ext4_group_info *grinfo;
821
822 group = (first_block + i) >> 1;
823 if (group >= EXT4_SB(sb)->s_groups_count)
824 break;
825
826 /*
827 * data carry information regarding this
828 * particular group in the format specified
829 * above
830 *
831 */
832 data = page_address(page) + (i * blocksize);
833 bitmap = bh[group - first_group]->b_data;
834
835 /*
836 * We place the buddy block and bitmap block
837 * close together
838 */
839 if ((first_block + i) & 1) {
840 /* this is block of buddy */
841 BUG_ON(incore == NULL);
842 mb_debug("put buddy for group %u in page %lu/%x\n",
843 group, page->index, i * blocksize);
844 memset(data, 0xff, blocksize);
845 grinfo = ext4_get_group_info(sb, group);
846 grinfo->bb_fragments = 0;
847 memset(grinfo->bb_counters, 0,
848 sizeof(unsigned short)*(sb->s_blocksize_bits+2));
849 /*
850 * incore got set to the group block bitmap below
851 */
852 ext4_mb_generate_buddy(sb, data, incore, group);
853 incore = NULL;
854 } else {
855 /* this is block of bitmap */
856 BUG_ON(incore != NULL);
857 mb_debug("put bitmap for group %u in page %lu/%x\n",
858 group, page->index, i * blocksize);
859
860 /* see comments in ext4_mb_put_pa() */
861 ext4_lock_group(sb, group);
862 memcpy(data, bitmap, blocksize);
863
864 /* mark all preallocated blks used in in-core bitmap */
865 ext4_mb_generate_from_pa(sb, data, group);
866 ext4_unlock_group(sb, group);
867
868 /* set incore so that the buddy information can be
869 * generated using this
870 */
871 incore = data;
872 }
873 }
874 SetPageUptodate(page);
875
876out:
877 if (bh) {
878 for (i = 0; i < groups_per_page && bh[i]; i++)
879 brelse(bh[i]);
880 if (bh != &bhs)
881 kfree(bh);
882 }
883 return err;
884}
885
Eric Sandeen4ddfef72008-04-29 08:11:12 -0400886static noinline_for_stack int
887ext4_mb_load_buddy(struct super_block *sb, ext4_group_t group,
888 struct ext4_buddy *e4b)
Alex Tomasc9de5602008-01-29 00:19:52 -0500889{
890 struct ext4_sb_info *sbi = EXT4_SB(sb);
891 struct inode *inode = sbi->s_buddy_cache;
892 int blocks_per_page;
893 int block;
894 int pnum;
895 int poff;
896 struct page *page;
Shen Fengfdf6c7a2008-07-11 19:27:31 -0400897 int ret;
Alex Tomasc9de5602008-01-29 00:19:52 -0500898
899 mb_debug("load group %lu\n", group);
900
901 blocks_per_page = PAGE_CACHE_SIZE / sb->s_blocksize;
902
903 e4b->bd_blkbits = sb->s_blocksize_bits;
904 e4b->bd_info = ext4_get_group_info(sb, group);
905 e4b->bd_sb = sb;
906 e4b->bd_group = group;
907 e4b->bd_buddy_page = NULL;
908 e4b->bd_bitmap_page = NULL;
909
910 /*
911 * the buddy cache inode stores the block bitmap
912 * and buddy information in consecutive blocks.
913 * So for each group we need two blocks.
914 */
915 block = group * 2;
916 pnum = block / blocks_per_page;
917 poff = block % blocks_per_page;
918
919 /* we could use find_or_create_page(), but it locks page
920 * what we'd like to avoid in fast path ... */
921 page = find_get_page(inode->i_mapping, pnum);
922 if (page == NULL || !PageUptodate(page)) {
923 if (page)
924 page_cache_release(page);
925 page = find_or_create_page(inode->i_mapping, pnum, GFP_NOFS);
926 if (page) {
927 BUG_ON(page->mapping != inode->i_mapping);
928 if (!PageUptodate(page)) {
Shen Fengfdf6c7a2008-07-11 19:27:31 -0400929 ret = ext4_mb_init_cache(page, NULL);
930 if (ret) {
931 unlock_page(page);
932 goto err;
933 }
Alex Tomasc9de5602008-01-29 00:19:52 -0500934 mb_cmp_bitmaps(e4b, page_address(page) +
935 (poff * sb->s_blocksize));
936 }
937 unlock_page(page);
938 }
939 }
Shen Fengfdf6c7a2008-07-11 19:27:31 -0400940 if (page == NULL || !PageUptodate(page)) {
941 ret = -EIO;
Alex Tomasc9de5602008-01-29 00:19:52 -0500942 goto err;
Shen Fengfdf6c7a2008-07-11 19:27:31 -0400943 }
Alex Tomasc9de5602008-01-29 00:19:52 -0500944 e4b->bd_bitmap_page = page;
945 e4b->bd_bitmap = page_address(page) + (poff * sb->s_blocksize);
946 mark_page_accessed(page);
947
948 block++;
949 pnum = block / blocks_per_page;
950 poff = block % blocks_per_page;
951
952 page = find_get_page(inode->i_mapping, pnum);
953 if (page == NULL || !PageUptodate(page)) {
954 if (page)
955 page_cache_release(page);
956 page = find_or_create_page(inode->i_mapping, pnum, GFP_NOFS);
957 if (page) {
958 BUG_ON(page->mapping != inode->i_mapping);
Shen Fengfdf6c7a2008-07-11 19:27:31 -0400959 if (!PageUptodate(page)) {
960 ret = ext4_mb_init_cache(page, e4b->bd_bitmap);
961 if (ret) {
962 unlock_page(page);
963 goto err;
964 }
965 }
Alex Tomasc9de5602008-01-29 00:19:52 -0500966 unlock_page(page);
967 }
968 }
Shen Fengfdf6c7a2008-07-11 19:27:31 -0400969 if (page == NULL || !PageUptodate(page)) {
970 ret = -EIO;
Alex Tomasc9de5602008-01-29 00:19:52 -0500971 goto err;
Shen Fengfdf6c7a2008-07-11 19:27:31 -0400972 }
Alex Tomasc9de5602008-01-29 00:19:52 -0500973 e4b->bd_buddy_page = page;
974 e4b->bd_buddy = page_address(page) + (poff * sb->s_blocksize);
975 mark_page_accessed(page);
976
977 BUG_ON(e4b->bd_bitmap_page == NULL);
978 BUG_ON(e4b->bd_buddy_page == NULL);
979
980 return 0;
981
982err:
983 if (e4b->bd_bitmap_page)
984 page_cache_release(e4b->bd_bitmap_page);
985 if (e4b->bd_buddy_page)
986 page_cache_release(e4b->bd_buddy_page);
987 e4b->bd_buddy = NULL;
988 e4b->bd_bitmap = NULL;
Shen Fengfdf6c7a2008-07-11 19:27:31 -0400989 return ret;
Alex Tomasc9de5602008-01-29 00:19:52 -0500990}
991
992static void ext4_mb_release_desc(struct ext4_buddy *e4b)
993{
994 if (e4b->bd_bitmap_page)
995 page_cache_release(e4b->bd_bitmap_page);
996 if (e4b->bd_buddy_page)
997 page_cache_release(e4b->bd_buddy_page);
998}
999
1000
1001static int mb_find_order_for_block(struct ext4_buddy *e4b, int block)
1002{
1003 int order = 1;
1004 void *bb;
1005
1006 BUG_ON(EXT4_MB_BITMAP(e4b) == EXT4_MB_BUDDY(e4b));
1007 BUG_ON(block >= (1 << (e4b->bd_blkbits + 3)));
1008
1009 bb = EXT4_MB_BUDDY(e4b);
1010 while (order <= e4b->bd_blkbits + 1) {
1011 block = block >> 1;
1012 if (!mb_test_bit(block, bb)) {
1013 /* this block is part of buddy of order 'order' */
1014 return order;
1015 }
1016 bb += 1 << (e4b->bd_blkbits - order);
1017 order++;
1018 }
1019 return 0;
1020}
1021
1022static void mb_clear_bits(spinlock_t *lock, void *bm, int cur, int len)
1023{
1024 __u32 *addr;
1025
1026 len = cur + len;
1027 while (cur < len) {
1028 if ((cur & 31) == 0 && (len - cur) >= 32) {
1029 /* fast path: clear whole word at once */
1030 addr = bm + (cur >> 3);
1031 *addr = 0;
1032 cur += 32;
1033 continue;
1034 }
1035 mb_clear_bit_atomic(lock, cur, bm);
1036 cur++;
1037 }
1038}
1039
1040static void mb_set_bits(spinlock_t *lock, void *bm, int cur, int len)
1041{
1042 __u32 *addr;
1043
1044 len = cur + len;
1045 while (cur < len) {
1046 if ((cur & 31) == 0 && (len - cur) >= 32) {
1047 /* fast path: set whole word at once */
1048 addr = bm + (cur >> 3);
1049 *addr = 0xffffffff;
1050 cur += 32;
1051 continue;
1052 }
1053 mb_set_bit_atomic(lock, cur, bm);
1054 cur++;
1055 }
1056}
1057
Shen Feng7e5a8cd2008-07-13 21:03:31 -04001058static void mb_free_blocks(struct inode *inode, struct ext4_buddy *e4b,
Alex Tomasc9de5602008-01-29 00:19:52 -05001059 int first, int count)
1060{
1061 int block = 0;
1062 int max = 0;
1063 int order;
1064 void *buddy;
1065 void *buddy2;
1066 struct super_block *sb = e4b->bd_sb;
1067
1068 BUG_ON(first + count > (sb->s_blocksize << 3));
1069 BUG_ON(!ext4_is_group_locked(sb, e4b->bd_group));
1070 mb_check_buddy(e4b);
1071 mb_free_blocks_double(inode, e4b, first, count);
1072
1073 e4b->bd_info->bb_free += count;
1074 if (first < e4b->bd_info->bb_first_free)
1075 e4b->bd_info->bb_first_free = first;
1076
1077 /* let's maintain fragments counter */
1078 if (first != 0)
1079 block = !mb_test_bit(first - 1, EXT4_MB_BITMAP(e4b));
1080 if (first + count < EXT4_SB(sb)->s_mb_maxs[0])
1081 max = !mb_test_bit(first + count, EXT4_MB_BITMAP(e4b));
1082 if (block && max)
1083 e4b->bd_info->bb_fragments--;
1084 else if (!block && !max)
1085 e4b->bd_info->bb_fragments++;
1086
1087 /* let's maintain buddy itself */
1088 while (count-- > 0) {
1089 block = first++;
1090 order = 0;
1091
1092 if (!mb_test_bit(block, EXT4_MB_BITMAP(e4b))) {
1093 ext4_fsblk_t blocknr;
1094 blocknr = e4b->bd_group * EXT4_BLOCKS_PER_GROUP(sb);
1095 blocknr += block;
1096 blocknr +=
1097 le32_to_cpu(EXT4_SB(sb)->s_es->s_first_data_block);
Shen Feng7e5a8cd2008-07-13 21:03:31 -04001098 ext4_unlock_group(sb, e4b->bd_group);
Harvey Harrison46e665e2008-04-17 10:38:59 -04001099 ext4_error(sb, __func__, "double-free of inode"
Alex Tomasc9de5602008-01-29 00:19:52 -05001100 " %lu's block %llu(bit %u in group %lu)\n",
1101 inode ? inode->i_ino : 0, blocknr, block,
1102 e4b->bd_group);
Shen Feng7e5a8cd2008-07-13 21:03:31 -04001103 ext4_lock_group(sb, e4b->bd_group);
Alex Tomasc9de5602008-01-29 00:19:52 -05001104 }
1105 mb_clear_bit(block, EXT4_MB_BITMAP(e4b));
1106 e4b->bd_info->bb_counters[order]++;
1107
1108 /* start of the buddy */
1109 buddy = mb_find_buddy(e4b, order, &max);
1110
1111 do {
1112 block &= ~1UL;
1113 if (mb_test_bit(block, buddy) ||
1114 mb_test_bit(block + 1, buddy))
1115 break;
1116
1117 /* both the buddies are free, try to coalesce them */
1118 buddy2 = mb_find_buddy(e4b, order + 1, &max);
1119
1120 if (!buddy2)
1121 break;
1122
1123 if (order > 0) {
1124 /* for special purposes, we don't set
1125 * free bits in bitmap */
1126 mb_set_bit(block, buddy);
1127 mb_set_bit(block + 1, buddy);
1128 }
1129 e4b->bd_info->bb_counters[order]--;
1130 e4b->bd_info->bb_counters[order]--;
1131
1132 block = block >> 1;
1133 order++;
1134 e4b->bd_info->bb_counters[order]++;
1135
1136 mb_clear_bit(block, buddy2);
1137 buddy = buddy2;
1138 } while (1);
1139 }
1140 mb_check_buddy(e4b);
Alex Tomasc9de5602008-01-29 00:19:52 -05001141}
1142
1143static int mb_find_extent(struct ext4_buddy *e4b, int order, int block,
1144 int needed, struct ext4_free_extent *ex)
1145{
1146 int next = block;
1147 int max;
1148 int ord;
1149 void *buddy;
1150
1151 BUG_ON(!ext4_is_group_locked(e4b->bd_sb, e4b->bd_group));
1152 BUG_ON(ex == NULL);
1153
1154 buddy = mb_find_buddy(e4b, order, &max);
1155 BUG_ON(buddy == NULL);
1156 BUG_ON(block >= max);
1157 if (mb_test_bit(block, buddy)) {
1158 ex->fe_len = 0;
1159 ex->fe_start = 0;
1160 ex->fe_group = 0;
1161 return 0;
1162 }
1163
1164 /* FIXME dorp order completely ? */
1165 if (likely(order == 0)) {
1166 /* find actual order */
1167 order = mb_find_order_for_block(e4b, block);
1168 block = block >> order;
1169 }
1170
1171 ex->fe_len = 1 << order;
1172 ex->fe_start = block << order;
1173 ex->fe_group = e4b->bd_group;
1174
1175 /* calc difference from given start */
1176 next = next - ex->fe_start;
1177 ex->fe_len -= next;
1178 ex->fe_start += next;
1179
1180 while (needed > ex->fe_len &&
1181 (buddy = mb_find_buddy(e4b, order, &max))) {
1182
1183 if (block + 1 >= max)
1184 break;
1185
1186 next = (block + 1) * (1 << order);
1187 if (mb_test_bit(next, EXT4_MB_BITMAP(e4b)))
1188 break;
1189
1190 ord = mb_find_order_for_block(e4b, next);
1191
1192 order = ord;
1193 block = next >> order;
1194 ex->fe_len += 1 << order;
1195 }
1196
1197 BUG_ON(ex->fe_start + ex->fe_len > (1 << (e4b->bd_blkbits + 3)));
1198 return ex->fe_len;
1199}
1200
1201static int mb_mark_used(struct ext4_buddy *e4b, struct ext4_free_extent *ex)
1202{
1203 int ord;
1204 int mlen = 0;
1205 int max = 0;
1206 int cur;
1207 int start = ex->fe_start;
1208 int len = ex->fe_len;
1209 unsigned ret = 0;
1210 int len0 = len;
1211 void *buddy;
1212
1213 BUG_ON(start + len > (e4b->bd_sb->s_blocksize << 3));
1214 BUG_ON(e4b->bd_group != ex->fe_group);
1215 BUG_ON(!ext4_is_group_locked(e4b->bd_sb, e4b->bd_group));
1216 mb_check_buddy(e4b);
1217 mb_mark_used_double(e4b, start, len);
1218
1219 e4b->bd_info->bb_free -= len;
1220 if (e4b->bd_info->bb_first_free == start)
1221 e4b->bd_info->bb_first_free += len;
1222
1223 /* let's maintain fragments counter */
1224 if (start != 0)
1225 mlen = !mb_test_bit(start - 1, EXT4_MB_BITMAP(e4b));
1226 if (start + len < EXT4_SB(e4b->bd_sb)->s_mb_maxs[0])
1227 max = !mb_test_bit(start + len, EXT4_MB_BITMAP(e4b));
1228 if (mlen && max)
1229 e4b->bd_info->bb_fragments++;
1230 else if (!mlen && !max)
1231 e4b->bd_info->bb_fragments--;
1232
1233 /* let's maintain buddy itself */
1234 while (len) {
1235 ord = mb_find_order_for_block(e4b, start);
1236
1237 if (((start >> ord) << ord) == start && len >= (1 << ord)) {
1238 /* the whole chunk may be allocated at once! */
1239 mlen = 1 << ord;
1240 buddy = mb_find_buddy(e4b, ord, &max);
1241 BUG_ON((start >> ord) >= max);
1242 mb_set_bit(start >> ord, buddy);
1243 e4b->bd_info->bb_counters[ord]--;
1244 start += mlen;
1245 len -= mlen;
1246 BUG_ON(len < 0);
1247 continue;
1248 }
1249
1250 /* store for history */
1251 if (ret == 0)
1252 ret = len | (ord << 16);
1253
1254 /* we have to split large buddy */
1255 BUG_ON(ord <= 0);
1256 buddy = mb_find_buddy(e4b, ord, &max);
1257 mb_set_bit(start >> ord, buddy);
1258 e4b->bd_info->bb_counters[ord]--;
1259
1260 ord--;
1261 cur = (start >> ord) & ~1U;
1262 buddy = mb_find_buddy(e4b, ord, &max);
1263 mb_clear_bit(cur, buddy);
1264 mb_clear_bit(cur + 1, buddy);
1265 e4b->bd_info->bb_counters[ord]++;
1266 e4b->bd_info->bb_counters[ord]++;
1267 }
1268
1269 mb_set_bits(sb_bgl_lock(EXT4_SB(e4b->bd_sb), ex->fe_group),
1270 EXT4_MB_BITMAP(e4b), ex->fe_start, len0);
1271 mb_check_buddy(e4b);
1272
1273 return ret;
1274}
1275
1276/*
1277 * Must be called under group lock!
1278 */
1279static void ext4_mb_use_best_found(struct ext4_allocation_context *ac,
1280 struct ext4_buddy *e4b)
1281{
1282 struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
1283 int ret;
1284
1285 BUG_ON(ac->ac_b_ex.fe_group != e4b->bd_group);
1286 BUG_ON(ac->ac_status == AC_STATUS_FOUND);
1287
1288 ac->ac_b_ex.fe_len = min(ac->ac_b_ex.fe_len, ac->ac_g_ex.fe_len);
1289 ac->ac_b_ex.fe_logical = ac->ac_g_ex.fe_logical;
1290 ret = mb_mark_used(e4b, &ac->ac_b_ex);
1291
1292 /* preallocation can change ac_b_ex, thus we store actually
1293 * allocated blocks for history */
1294 ac->ac_f_ex = ac->ac_b_ex;
1295
1296 ac->ac_status = AC_STATUS_FOUND;
1297 ac->ac_tail = ret & 0xffff;
1298 ac->ac_buddy = ret >> 16;
1299
1300 /* XXXXXXX: SUCH A HORRIBLE **CK */
1301 /*FIXME!! Why ? */
1302 ac->ac_bitmap_page = e4b->bd_bitmap_page;
1303 get_page(ac->ac_bitmap_page);
1304 ac->ac_buddy_page = e4b->bd_buddy_page;
1305 get_page(ac->ac_buddy_page);
1306
1307 /* store last allocated for subsequent stream allocation */
1308 if ((ac->ac_flags & EXT4_MB_HINT_DATA)) {
1309 spin_lock(&sbi->s_md_lock);
1310 sbi->s_mb_last_group = ac->ac_f_ex.fe_group;
1311 sbi->s_mb_last_start = ac->ac_f_ex.fe_start;
1312 spin_unlock(&sbi->s_md_lock);
1313 }
1314}
1315
1316/*
1317 * regular allocator, for general purposes allocation
1318 */
1319
1320static void ext4_mb_check_limits(struct ext4_allocation_context *ac,
1321 struct ext4_buddy *e4b,
1322 int finish_group)
1323{
1324 struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
1325 struct ext4_free_extent *bex = &ac->ac_b_ex;
1326 struct ext4_free_extent *gex = &ac->ac_g_ex;
1327 struct ext4_free_extent ex;
1328 int max;
1329
1330 /*
1331 * We don't want to scan for a whole year
1332 */
1333 if (ac->ac_found > sbi->s_mb_max_to_scan &&
1334 !(ac->ac_flags & EXT4_MB_HINT_FIRST)) {
1335 ac->ac_status = AC_STATUS_BREAK;
1336 return;
1337 }
1338
1339 /*
1340 * Haven't found good chunk so far, let's continue
1341 */
1342 if (bex->fe_len < gex->fe_len)
1343 return;
1344
1345 if ((finish_group || ac->ac_found > sbi->s_mb_min_to_scan)
1346 && bex->fe_group == e4b->bd_group) {
1347 /* recheck chunk's availability - we don't know
1348 * when it was found (within this lock-unlock
1349 * period or not) */
1350 max = mb_find_extent(e4b, 0, bex->fe_start, gex->fe_len, &ex);
1351 if (max >= gex->fe_len) {
1352 ext4_mb_use_best_found(ac, e4b);
1353 return;
1354 }
1355 }
1356}
1357
1358/*
1359 * The routine checks whether found extent is good enough. If it is,
1360 * then the extent gets marked used and flag is set to the context
1361 * to stop scanning. Otherwise, the extent is compared with the
1362 * previous found extent and if new one is better, then it's stored
1363 * in the context. Later, the best found extent will be used, if
1364 * mballoc can't find good enough extent.
1365 *
1366 * FIXME: real allocation policy is to be designed yet!
1367 */
1368static void ext4_mb_measure_extent(struct ext4_allocation_context *ac,
1369 struct ext4_free_extent *ex,
1370 struct ext4_buddy *e4b)
1371{
1372 struct ext4_free_extent *bex = &ac->ac_b_ex;
1373 struct ext4_free_extent *gex = &ac->ac_g_ex;
1374
1375 BUG_ON(ex->fe_len <= 0);
1376 BUG_ON(ex->fe_len >= EXT4_BLOCKS_PER_GROUP(ac->ac_sb));
1377 BUG_ON(ex->fe_start >= EXT4_BLOCKS_PER_GROUP(ac->ac_sb));
1378 BUG_ON(ac->ac_status != AC_STATUS_CONTINUE);
1379
1380 ac->ac_found++;
1381
1382 /*
1383 * The special case - take what you catch first
1384 */
1385 if (unlikely(ac->ac_flags & EXT4_MB_HINT_FIRST)) {
1386 *bex = *ex;
1387 ext4_mb_use_best_found(ac, e4b);
1388 return;
1389 }
1390
1391 /*
1392 * Let's check whether the chuck is good enough
1393 */
1394 if (ex->fe_len == gex->fe_len) {
1395 *bex = *ex;
1396 ext4_mb_use_best_found(ac, e4b);
1397 return;
1398 }
1399
1400 /*
1401 * If this is first found extent, just store it in the context
1402 */
1403 if (bex->fe_len == 0) {
1404 *bex = *ex;
1405 return;
1406 }
1407
1408 /*
1409 * If new found extent is better, store it in the context
1410 */
1411 if (bex->fe_len < gex->fe_len) {
1412 /* if the request isn't satisfied, any found extent
1413 * larger than previous best one is better */
1414 if (ex->fe_len > bex->fe_len)
1415 *bex = *ex;
1416 } else if (ex->fe_len > gex->fe_len) {
1417 /* if the request is satisfied, then we try to find
1418 * an extent that still satisfy the request, but is
1419 * smaller than previous one */
1420 if (ex->fe_len < bex->fe_len)
1421 *bex = *ex;
1422 }
1423
1424 ext4_mb_check_limits(ac, e4b, 0);
1425}
1426
1427static int ext4_mb_try_best_found(struct ext4_allocation_context *ac,
1428 struct ext4_buddy *e4b)
1429{
1430 struct ext4_free_extent ex = ac->ac_b_ex;
1431 ext4_group_t group = ex.fe_group;
1432 int max;
1433 int err;
1434
1435 BUG_ON(ex.fe_len <= 0);
1436 err = ext4_mb_load_buddy(ac->ac_sb, group, e4b);
1437 if (err)
1438 return err;
1439
1440 ext4_lock_group(ac->ac_sb, group);
1441 max = mb_find_extent(e4b, 0, ex.fe_start, ex.fe_len, &ex);
1442
1443 if (max > 0) {
1444 ac->ac_b_ex = ex;
1445 ext4_mb_use_best_found(ac, e4b);
1446 }
1447
1448 ext4_unlock_group(ac->ac_sb, group);
1449 ext4_mb_release_desc(e4b);
1450
1451 return 0;
1452}
1453
1454static int ext4_mb_find_by_goal(struct ext4_allocation_context *ac,
1455 struct ext4_buddy *e4b)
1456{
1457 ext4_group_t group = ac->ac_g_ex.fe_group;
1458 int max;
1459 int err;
1460 struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
1461 struct ext4_super_block *es = sbi->s_es;
1462 struct ext4_free_extent ex;
1463
1464 if (!(ac->ac_flags & EXT4_MB_HINT_TRY_GOAL))
1465 return 0;
1466
1467 err = ext4_mb_load_buddy(ac->ac_sb, group, e4b);
1468 if (err)
1469 return err;
1470
1471 ext4_lock_group(ac->ac_sb, group);
1472 max = mb_find_extent(e4b, 0, ac->ac_g_ex.fe_start,
1473 ac->ac_g_ex.fe_len, &ex);
1474
1475 if (max >= ac->ac_g_ex.fe_len && ac->ac_g_ex.fe_len == sbi->s_stripe) {
1476 ext4_fsblk_t start;
1477
1478 start = (e4b->bd_group * EXT4_BLOCKS_PER_GROUP(ac->ac_sb)) +
1479 ex.fe_start + le32_to_cpu(es->s_first_data_block);
1480 /* use do_div to get remainder (would be 64-bit modulo) */
1481 if (do_div(start, sbi->s_stripe) == 0) {
1482 ac->ac_found++;
1483 ac->ac_b_ex = ex;
1484 ext4_mb_use_best_found(ac, e4b);
1485 }
1486 } else if (max >= ac->ac_g_ex.fe_len) {
1487 BUG_ON(ex.fe_len <= 0);
1488 BUG_ON(ex.fe_group != ac->ac_g_ex.fe_group);
1489 BUG_ON(ex.fe_start != ac->ac_g_ex.fe_start);
1490 ac->ac_found++;
1491 ac->ac_b_ex = ex;
1492 ext4_mb_use_best_found(ac, e4b);
1493 } else if (max > 0 && (ac->ac_flags & EXT4_MB_HINT_MERGE)) {
1494 /* Sometimes, caller may want to merge even small
1495 * number of blocks to an existing extent */
1496 BUG_ON(ex.fe_len <= 0);
1497 BUG_ON(ex.fe_group != ac->ac_g_ex.fe_group);
1498 BUG_ON(ex.fe_start != ac->ac_g_ex.fe_start);
1499 ac->ac_found++;
1500 ac->ac_b_ex = ex;
1501 ext4_mb_use_best_found(ac, e4b);
1502 }
1503 ext4_unlock_group(ac->ac_sb, group);
1504 ext4_mb_release_desc(e4b);
1505
1506 return 0;
1507}
1508
1509/*
1510 * The routine scans buddy structures (not bitmap!) from given order
1511 * to max order and tries to find big enough chunk to satisfy the req
1512 */
1513static void ext4_mb_simple_scan_group(struct ext4_allocation_context *ac,
1514 struct ext4_buddy *e4b)
1515{
1516 struct super_block *sb = ac->ac_sb;
1517 struct ext4_group_info *grp = e4b->bd_info;
1518 void *buddy;
1519 int i;
1520 int k;
1521 int max;
1522
1523 BUG_ON(ac->ac_2order <= 0);
1524 for (i = ac->ac_2order; i <= sb->s_blocksize_bits + 1; i++) {
1525 if (grp->bb_counters[i] == 0)
1526 continue;
1527
1528 buddy = mb_find_buddy(e4b, i, &max);
1529 BUG_ON(buddy == NULL);
1530
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -05001531 k = mb_find_next_zero_bit(buddy, max, 0);
Alex Tomasc9de5602008-01-29 00:19:52 -05001532 BUG_ON(k >= max);
1533
1534 ac->ac_found++;
1535
1536 ac->ac_b_ex.fe_len = 1 << i;
1537 ac->ac_b_ex.fe_start = k << i;
1538 ac->ac_b_ex.fe_group = e4b->bd_group;
1539
1540 ext4_mb_use_best_found(ac, e4b);
1541
1542 BUG_ON(ac->ac_b_ex.fe_len != ac->ac_g_ex.fe_len);
1543
1544 if (EXT4_SB(sb)->s_mb_stats)
1545 atomic_inc(&EXT4_SB(sb)->s_bal_2orders);
1546
1547 break;
1548 }
1549}
1550
1551/*
1552 * The routine scans the group and measures all found extents.
1553 * In order to optimize scanning, caller must pass number of
1554 * free blocks in the group, so the routine can know upper limit.
1555 */
1556static void ext4_mb_complex_scan_group(struct ext4_allocation_context *ac,
1557 struct ext4_buddy *e4b)
1558{
1559 struct super_block *sb = ac->ac_sb;
1560 void *bitmap = EXT4_MB_BITMAP(e4b);
1561 struct ext4_free_extent ex;
1562 int i;
1563 int free;
1564
1565 free = e4b->bd_info->bb_free;
1566 BUG_ON(free <= 0);
1567
1568 i = e4b->bd_info->bb_first_free;
1569
1570 while (free && ac->ac_status == AC_STATUS_CONTINUE) {
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -05001571 i = mb_find_next_zero_bit(bitmap,
Alex Tomasc9de5602008-01-29 00:19:52 -05001572 EXT4_BLOCKS_PER_GROUP(sb), i);
1573 if (i >= EXT4_BLOCKS_PER_GROUP(sb)) {
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05001574 /*
Aneesh Kumar K.Ve56eb652008-02-15 13:48:21 -05001575 * IF we have corrupt bitmap, we won't find any
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05001576 * free blocks even though group info says we
1577 * we have free blocks
1578 */
Harvey Harrison46e665e2008-04-17 10:38:59 -04001579 ext4_error(sb, __func__, "%d free blocks as per "
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05001580 "group info. But bitmap says 0\n",
1581 free);
Alex Tomasc9de5602008-01-29 00:19:52 -05001582 break;
1583 }
1584
1585 mb_find_extent(e4b, 0, i, ac->ac_g_ex.fe_len, &ex);
1586 BUG_ON(ex.fe_len <= 0);
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05001587 if (free < ex.fe_len) {
Harvey Harrison46e665e2008-04-17 10:38:59 -04001588 ext4_error(sb, __func__, "%d free blocks as per "
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05001589 "group info. But got %d blocks\n",
1590 free, ex.fe_len);
Aneesh Kumar K.Ve56eb652008-02-15 13:48:21 -05001591 /*
1592 * The number of free blocks differs. This mostly
1593 * indicate that the bitmap is corrupt. So exit
1594 * without claiming the space.
1595 */
1596 break;
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05001597 }
Alex Tomasc9de5602008-01-29 00:19:52 -05001598
1599 ext4_mb_measure_extent(ac, &ex, e4b);
1600
1601 i += ex.fe_len;
1602 free -= ex.fe_len;
1603 }
1604
1605 ext4_mb_check_limits(ac, e4b, 1);
1606}
1607
1608/*
1609 * This is a special case for storages like raid5
1610 * we try to find stripe-aligned chunks for stripe-size requests
1611 * XXX should do so at least for multiples of stripe size as well
1612 */
1613static void ext4_mb_scan_aligned(struct ext4_allocation_context *ac,
1614 struct ext4_buddy *e4b)
1615{
1616 struct super_block *sb = ac->ac_sb;
1617 struct ext4_sb_info *sbi = EXT4_SB(sb);
1618 void *bitmap = EXT4_MB_BITMAP(e4b);
1619 struct ext4_free_extent ex;
1620 ext4_fsblk_t first_group_block;
1621 ext4_fsblk_t a;
1622 ext4_grpblk_t i;
1623 int max;
1624
1625 BUG_ON(sbi->s_stripe == 0);
1626
1627 /* find first stripe-aligned block in group */
1628 first_group_block = e4b->bd_group * EXT4_BLOCKS_PER_GROUP(sb)
1629 + le32_to_cpu(sbi->s_es->s_first_data_block);
1630 a = first_group_block + sbi->s_stripe - 1;
1631 do_div(a, sbi->s_stripe);
1632 i = (a * sbi->s_stripe) - first_group_block;
1633
1634 while (i < EXT4_BLOCKS_PER_GROUP(sb)) {
1635 if (!mb_test_bit(i, bitmap)) {
1636 max = mb_find_extent(e4b, 0, i, sbi->s_stripe, &ex);
1637 if (max >= sbi->s_stripe) {
1638 ac->ac_found++;
1639 ac->ac_b_ex = ex;
1640 ext4_mb_use_best_found(ac, e4b);
1641 break;
1642 }
1643 }
1644 i += sbi->s_stripe;
1645 }
1646}
1647
1648static int ext4_mb_good_group(struct ext4_allocation_context *ac,
1649 ext4_group_t group, int cr)
1650{
1651 unsigned free, fragments;
1652 unsigned i, bits;
1653 struct ext4_group_desc *desc;
1654 struct ext4_group_info *grp = ext4_get_group_info(ac->ac_sb, group);
1655
1656 BUG_ON(cr < 0 || cr >= 4);
1657 BUG_ON(EXT4_MB_GRP_NEED_INIT(grp));
1658
1659 free = grp->bb_free;
1660 fragments = grp->bb_fragments;
1661 if (free == 0)
1662 return 0;
1663 if (fragments == 0)
1664 return 0;
1665
1666 switch (cr) {
1667 case 0:
1668 BUG_ON(ac->ac_2order == 0);
1669 /* If this group is uninitialized, skip it initially */
1670 desc = ext4_get_group_desc(ac->ac_sb, group, NULL);
1671 if (desc->bg_flags & cpu_to_le16(EXT4_BG_BLOCK_UNINIT))
1672 return 0;
1673
1674 bits = ac->ac_sb->s_blocksize_bits + 1;
1675 for (i = ac->ac_2order; i <= bits; i++)
1676 if (grp->bb_counters[i] > 0)
1677 return 1;
1678 break;
1679 case 1:
1680 if ((free / fragments) >= ac->ac_g_ex.fe_len)
1681 return 1;
1682 break;
1683 case 2:
1684 if (free >= ac->ac_g_ex.fe_len)
1685 return 1;
1686 break;
1687 case 3:
1688 return 1;
1689 default:
1690 BUG();
1691 }
1692
1693 return 0;
1694}
1695
Eric Sandeen4ddfef72008-04-29 08:11:12 -04001696static noinline_for_stack int
1697ext4_mb_regular_allocator(struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05001698{
1699 ext4_group_t group;
1700 ext4_group_t i;
1701 int cr;
1702 int err = 0;
1703 int bsbits;
1704 struct ext4_sb_info *sbi;
1705 struct super_block *sb;
1706 struct ext4_buddy e4b;
1707 loff_t size, isize;
1708
1709 sb = ac->ac_sb;
1710 sbi = EXT4_SB(sb);
1711 BUG_ON(ac->ac_status == AC_STATUS_FOUND);
1712
1713 /* first, try the goal */
1714 err = ext4_mb_find_by_goal(ac, &e4b);
1715 if (err || ac->ac_status == AC_STATUS_FOUND)
1716 goto out;
1717
1718 if (unlikely(ac->ac_flags & EXT4_MB_HINT_GOAL_ONLY))
1719 goto out;
1720
1721 /*
1722 * ac->ac2_order is set only if the fe_len is a power of 2
1723 * if ac2_order is set we also set criteria to 0 so that we
1724 * try exact allocation using buddy.
1725 */
1726 i = fls(ac->ac_g_ex.fe_len);
1727 ac->ac_2order = 0;
1728 /*
1729 * We search using buddy data only if the order of the request
1730 * is greater than equal to the sbi_s_mb_order2_reqs
1731 * You can tune it via /proc/fs/ext4/<partition>/order2_req
1732 */
1733 if (i >= sbi->s_mb_order2_reqs) {
1734 /*
1735 * This should tell if fe_len is exactly power of 2
1736 */
1737 if ((ac->ac_g_ex.fe_len & (~(1 << (i - 1)))) == 0)
1738 ac->ac_2order = i - 1;
1739 }
1740
1741 bsbits = ac->ac_sb->s_blocksize_bits;
1742 /* if stream allocation is enabled, use global goal */
1743 size = ac->ac_o_ex.fe_logical + ac->ac_o_ex.fe_len;
1744 isize = i_size_read(ac->ac_inode) >> bsbits;
1745 if (size < isize)
1746 size = isize;
1747
1748 if (size < sbi->s_mb_stream_request &&
1749 (ac->ac_flags & EXT4_MB_HINT_DATA)) {
1750 /* TBD: may be hot point */
1751 spin_lock(&sbi->s_md_lock);
1752 ac->ac_g_ex.fe_group = sbi->s_mb_last_group;
1753 ac->ac_g_ex.fe_start = sbi->s_mb_last_start;
1754 spin_unlock(&sbi->s_md_lock);
1755 }
Alex Tomasc9de5602008-01-29 00:19:52 -05001756 /* Let's just scan groups to find more-less suitable blocks */
1757 cr = ac->ac_2order ? 0 : 1;
1758 /*
1759 * cr == 0 try to get exact allocation,
1760 * cr == 3 try to get anything
1761 */
1762repeat:
1763 for (; cr < 4 && ac->ac_status == AC_STATUS_CONTINUE; cr++) {
1764 ac->ac_criteria = cr;
Aneesh Kumar K.Ved8f9c72008-07-11 19:27:31 -04001765 /*
1766 * searching for the right group start
1767 * from the goal value specified
1768 */
1769 group = ac->ac_g_ex.fe_group;
1770
Alex Tomasc9de5602008-01-29 00:19:52 -05001771 for (i = 0; i < EXT4_SB(sb)->s_groups_count; group++, i++) {
1772 struct ext4_group_info *grp;
1773 struct ext4_group_desc *desc;
1774
1775 if (group == EXT4_SB(sb)->s_groups_count)
1776 group = 0;
1777
1778 /* quick check to skip empty groups */
1779 grp = ext4_get_group_info(ac->ac_sb, group);
1780 if (grp->bb_free == 0)
1781 continue;
1782
1783 /*
1784 * if the group is already init we check whether it is
1785 * a good group and if not we don't load the buddy
1786 */
1787 if (EXT4_MB_GRP_NEED_INIT(grp)) {
1788 /*
1789 * we need full data about the group
1790 * to make a good selection
1791 */
1792 err = ext4_mb_load_buddy(sb, group, &e4b);
1793 if (err)
1794 goto out;
1795 ext4_mb_release_desc(&e4b);
1796 }
1797
1798 /*
1799 * If the particular group doesn't satisfy our
1800 * criteria we continue with the next group
1801 */
1802 if (!ext4_mb_good_group(ac, group, cr))
1803 continue;
1804
1805 err = ext4_mb_load_buddy(sb, group, &e4b);
1806 if (err)
1807 goto out;
1808
1809 ext4_lock_group(sb, group);
1810 if (!ext4_mb_good_group(ac, group, cr)) {
1811 /* someone did allocation from this group */
1812 ext4_unlock_group(sb, group);
1813 ext4_mb_release_desc(&e4b);
1814 continue;
1815 }
1816
1817 ac->ac_groups_scanned++;
1818 desc = ext4_get_group_desc(sb, group, NULL);
1819 if (cr == 0 || (desc->bg_flags &
1820 cpu_to_le16(EXT4_BG_BLOCK_UNINIT) &&
1821 ac->ac_2order != 0))
1822 ext4_mb_simple_scan_group(ac, &e4b);
1823 else if (cr == 1 &&
1824 ac->ac_g_ex.fe_len == sbi->s_stripe)
1825 ext4_mb_scan_aligned(ac, &e4b);
1826 else
1827 ext4_mb_complex_scan_group(ac, &e4b);
1828
1829 ext4_unlock_group(sb, group);
1830 ext4_mb_release_desc(&e4b);
1831
1832 if (ac->ac_status != AC_STATUS_CONTINUE)
1833 break;
1834 }
1835 }
1836
1837 if (ac->ac_b_ex.fe_len > 0 && ac->ac_status != AC_STATUS_FOUND &&
1838 !(ac->ac_flags & EXT4_MB_HINT_FIRST)) {
1839 /*
1840 * We've been searching too long. Let's try to allocate
1841 * the best chunk we've found so far
1842 */
1843
1844 ext4_mb_try_best_found(ac, &e4b);
1845 if (ac->ac_status != AC_STATUS_FOUND) {
1846 /*
1847 * Someone more lucky has already allocated it.
1848 * The only thing we can do is just take first
1849 * found block(s)
1850 printk(KERN_DEBUG "EXT4-fs: someone won our chunk\n");
1851 */
1852 ac->ac_b_ex.fe_group = 0;
1853 ac->ac_b_ex.fe_start = 0;
1854 ac->ac_b_ex.fe_len = 0;
1855 ac->ac_status = AC_STATUS_CONTINUE;
1856 ac->ac_flags |= EXT4_MB_HINT_FIRST;
1857 cr = 3;
1858 atomic_inc(&sbi->s_mb_lost_chunks);
1859 goto repeat;
1860 }
1861 }
1862out:
1863 return err;
1864}
1865
1866#ifdef EXT4_MB_HISTORY
1867struct ext4_mb_proc_session {
1868 struct ext4_mb_history *history;
1869 struct super_block *sb;
1870 int start;
1871 int max;
1872};
1873
1874static void *ext4_mb_history_skip_empty(struct ext4_mb_proc_session *s,
1875 struct ext4_mb_history *hs,
1876 int first)
1877{
1878 if (hs == s->history + s->max)
1879 hs = s->history;
1880 if (!first && hs == s->history + s->start)
1881 return NULL;
1882 while (hs->orig.fe_len == 0) {
1883 hs++;
1884 if (hs == s->history + s->max)
1885 hs = s->history;
1886 if (hs == s->history + s->start)
1887 return NULL;
1888 }
1889 return hs;
1890}
1891
1892static void *ext4_mb_seq_history_start(struct seq_file *seq, loff_t *pos)
1893{
1894 struct ext4_mb_proc_session *s = seq->private;
1895 struct ext4_mb_history *hs;
1896 int l = *pos;
1897
1898 if (l == 0)
1899 return SEQ_START_TOKEN;
1900 hs = ext4_mb_history_skip_empty(s, s->history + s->start, 1);
1901 if (!hs)
1902 return NULL;
1903 while (--l && (hs = ext4_mb_history_skip_empty(s, ++hs, 0)) != NULL);
1904 return hs;
1905}
1906
1907static void *ext4_mb_seq_history_next(struct seq_file *seq, void *v,
1908 loff_t *pos)
1909{
1910 struct ext4_mb_proc_session *s = seq->private;
1911 struct ext4_mb_history *hs = v;
1912
1913 ++*pos;
1914 if (v == SEQ_START_TOKEN)
1915 return ext4_mb_history_skip_empty(s, s->history + s->start, 1);
1916 else
1917 return ext4_mb_history_skip_empty(s, ++hs, 0);
1918}
1919
1920static int ext4_mb_seq_history_show(struct seq_file *seq, void *v)
1921{
1922 char buf[25], buf2[25], buf3[25], *fmt;
1923 struct ext4_mb_history *hs = v;
1924
1925 if (v == SEQ_START_TOKEN) {
1926 seq_printf(seq, "%-5s %-8s %-23s %-23s %-23s %-5s "
1927 "%-5s %-2s %-5s %-5s %-5s %-6s\n",
1928 "pid", "inode", "original", "goal", "result", "found",
1929 "grps", "cr", "flags", "merge", "tail", "broken");
1930 return 0;
1931 }
1932
1933 if (hs->op == EXT4_MB_HISTORY_ALLOC) {
1934 fmt = "%-5u %-8u %-23s %-23s %-23s %-5u %-5u %-2u "
1935 "%-5u %-5s %-5u %-6u\n";
1936 sprintf(buf2, "%lu/%d/%u@%u", hs->result.fe_group,
1937 hs->result.fe_start, hs->result.fe_len,
1938 hs->result.fe_logical);
1939 sprintf(buf, "%lu/%d/%u@%u", hs->orig.fe_group,
1940 hs->orig.fe_start, hs->orig.fe_len,
1941 hs->orig.fe_logical);
1942 sprintf(buf3, "%lu/%d/%u@%u", hs->goal.fe_group,
1943 hs->goal.fe_start, hs->goal.fe_len,
1944 hs->goal.fe_logical);
1945 seq_printf(seq, fmt, hs->pid, hs->ino, buf, buf3, buf2,
1946 hs->found, hs->groups, hs->cr, hs->flags,
1947 hs->merged ? "M" : "", hs->tail,
1948 hs->buddy ? 1 << hs->buddy : 0);
1949 } else if (hs->op == EXT4_MB_HISTORY_PREALLOC) {
1950 fmt = "%-5u %-8u %-23s %-23s %-23s\n";
1951 sprintf(buf2, "%lu/%d/%u@%u", hs->result.fe_group,
1952 hs->result.fe_start, hs->result.fe_len,
1953 hs->result.fe_logical);
1954 sprintf(buf, "%lu/%d/%u@%u", hs->orig.fe_group,
1955 hs->orig.fe_start, hs->orig.fe_len,
1956 hs->orig.fe_logical);
1957 seq_printf(seq, fmt, hs->pid, hs->ino, buf, "", buf2);
1958 } else if (hs->op == EXT4_MB_HISTORY_DISCARD) {
1959 sprintf(buf2, "%lu/%d/%u", hs->result.fe_group,
1960 hs->result.fe_start, hs->result.fe_len);
1961 seq_printf(seq, "%-5u %-8u %-23s discard\n",
1962 hs->pid, hs->ino, buf2);
1963 } else if (hs->op == EXT4_MB_HISTORY_FREE) {
1964 sprintf(buf2, "%lu/%d/%u", hs->result.fe_group,
1965 hs->result.fe_start, hs->result.fe_len);
1966 seq_printf(seq, "%-5u %-8u %-23s free\n",
1967 hs->pid, hs->ino, buf2);
1968 }
1969 return 0;
1970}
1971
1972static void ext4_mb_seq_history_stop(struct seq_file *seq, void *v)
1973{
1974}
1975
1976static struct seq_operations ext4_mb_seq_history_ops = {
1977 .start = ext4_mb_seq_history_start,
1978 .next = ext4_mb_seq_history_next,
1979 .stop = ext4_mb_seq_history_stop,
1980 .show = ext4_mb_seq_history_show,
1981};
1982
1983static int ext4_mb_seq_history_open(struct inode *inode, struct file *file)
1984{
1985 struct super_block *sb = PDE(inode)->data;
1986 struct ext4_sb_info *sbi = EXT4_SB(sb);
1987 struct ext4_mb_proc_session *s;
1988 int rc;
1989 int size;
1990
Shen Feng74767c52008-07-11 19:27:31 -04001991 if (unlikely(sbi->s_mb_history == NULL))
1992 return -ENOMEM;
Alex Tomasc9de5602008-01-29 00:19:52 -05001993 s = kmalloc(sizeof(*s), GFP_KERNEL);
1994 if (s == NULL)
1995 return -ENOMEM;
1996 s->sb = sb;
1997 size = sizeof(struct ext4_mb_history) * sbi->s_mb_history_max;
1998 s->history = kmalloc(size, GFP_KERNEL);
1999 if (s->history == NULL) {
2000 kfree(s);
2001 return -ENOMEM;
2002 }
2003
2004 spin_lock(&sbi->s_mb_history_lock);
2005 memcpy(s->history, sbi->s_mb_history, size);
2006 s->max = sbi->s_mb_history_max;
2007 s->start = sbi->s_mb_history_cur % s->max;
2008 spin_unlock(&sbi->s_mb_history_lock);
2009
2010 rc = seq_open(file, &ext4_mb_seq_history_ops);
2011 if (rc == 0) {
2012 struct seq_file *m = (struct seq_file *)file->private_data;
2013 m->private = s;
2014 } else {
2015 kfree(s->history);
2016 kfree(s);
2017 }
2018 return rc;
2019
2020}
2021
2022static int ext4_mb_seq_history_release(struct inode *inode, struct file *file)
2023{
2024 struct seq_file *seq = (struct seq_file *)file->private_data;
2025 struct ext4_mb_proc_session *s = seq->private;
2026 kfree(s->history);
2027 kfree(s);
2028 return seq_release(inode, file);
2029}
2030
2031static ssize_t ext4_mb_seq_history_write(struct file *file,
2032 const char __user *buffer,
2033 size_t count, loff_t *ppos)
2034{
2035 struct seq_file *seq = (struct seq_file *)file->private_data;
2036 struct ext4_mb_proc_session *s = seq->private;
2037 struct super_block *sb = s->sb;
2038 char str[32];
2039 int value;
2040
2041 if (count >= sizeof(str)) {
2042 printk(KERN_ERR "EXT4-fs: %s string too long, max %u bytes\n",
2043 "mb_history", (int)sizeof(str));
2044 return -EOVERFLOW;
2045 }
2046
2047 if (copy_from_user(str, buffer, count))
2048 return -EFAULT;
2049
2050 value = simple_strtol(str, NULL, 0);
2051 if (value < 0)
2052 return -ERANGE;
2053 EXT4_SB(sb)->s_mb_history_filter = value;
2054
2055 return count;
2056}
2057
2058static struct file_operations ext4_mb_seq_history_fops = {
2059 .owner = THIS_MODULE,
2060 .open = ext4_mb_seq_history_open,
2061 .read = seq_read,
2062 .write = ext4_mb_seq_history_write,
2063 .llseek = seq_lseek,
2064 .release = ext4_mb_seq_history_release,
2065};
2066
2067static void *ext4_mb_seq_groups_start(struct seq_file *seq, loff_t *pos)
2068{
2069 struct super_block *sb = seq->private;
2070 struct ext4_sb_info *sbi = EXT4_SB(sb);
2071 ext4_group_t group;
2072
2073 if (*pos < 0 || *pos >= sbi->s_groups_count)
2074 return NULL;
2075
2076 group = *pos + 1;
2077 return (void *) group;
2078}
2079
2080static void *ext4_mb_seq_groups_next(struct seq_file *seq, void *v, loff_t *pos)
2081{
2082 struct super_block *sb = seq->private;
2083 struct ext4_sb_info *sbi = EXT4_SB(sb);
2084 ext4_group_t group;
2085
2086 ++*pos;
2087 if (*pos < 0 || *pos >= sbi->s_groups_count)
2088 return NULL;
2089 group = *pos + 1;
2090 return (void *) group;;
2091}
2092
2093static int ext4_mb_seq_groups_show(struct seq_file *seq, void *v)
2094{
2095 struct super_block *sb = seq->private;
2096 long group = (long) v;
2097 int i;
2098 int err;
2099 struct ext4_buddy e4b;
2100 struct sg {
2101 struct ext4_group_info info;
2102 unsigned short counters[16];
2103 } sg;
2104
2105 group--;
2106 if (group == 0)
2107 seq_printf(seq, "#%-5s: %-5s %-5s %-5s "
2108 "[ %-5s %-5s %-5s %-5s %-5s %-5s %-5s "
2109 "%-5s %-5s %-5s %-5s %-5s %-5s %-5s ]\n",
2110 "group", "free", "frags", "first",
2111 "2^0", "2^1", "2^2", "2^3", "2^4", "2^5", "2^6",
2112 "2^7", "2^8", "2^9", "2^10", "2^11", "2^12", "2^13");
2113
2114 i = (sb->s_blocksize_bits + 2) * sizeof(sg.info.bb_counters[0]) +
2115 sizeof(struct ext4_group_info);
2116 err = ext4_mb_load_buddy(sb, group, &e4b);
2117 if (err) {
2118 seq_printf(seq, "#%-5lu: I/O error\n", group);
2119 return 0;
2120 }
2121 ext4_lock_group(sb, group);
2122 memcpy(&sg, ext4_get_group_info(sb, group), i);
2123 ext4_unlock_group(sb, group);
2124 ext4_mb_release_desc(&e4b);
2125
2126 seq_printf(seq, "#%-5lu: %-5u %-5u %-5u [", group, sg.info.bb_free,
2127 sg.info.bb_fragments, sg.info.bb_first_free);
2128 for (i = 0; i <= 13; i++)
2129 seq_printf(seq, " %-5u", i <= sb->s_blocksize_bits + 1 ?
2130 sg.info.bb_counters[i] : 0);
2131 seq_printf(seq, " ]\n");
2132
2133 return 0;
2134}
2135
2136static void ext4_mb_seq_groups_stop(struct seq_file *seq, void *v)
2137{
2138}
2139
2140static struct seq_operations ext4_mb_seq_groups_ops = {
2141 .start = ext4_mb_seq_groups_start,
2142 .next = ext4_mb_seq_groups_next,
2143 .stop = ext4_mb_seq_groups_stop,
2144 .show = ext4_mb_seq_groups_show,
2145};
2146
2147static int ext4_mb_seq_groups_open(struct inode *inode, struct file *file)
2148{
2149 struct super_block *sb = PDE(inode)->data;
2150 int rc;
2151
2152 rc = seq_open(file, &ext4_mb_seq_groups_ops);
2153 if (rc == 0) {
2154 struct seq_file *m = (struct seq_file *)file->private_data;
2155 m->private = sb;
2156 }
2157 return rc;
2158
2159}
2160
2161static struct file_operations ext4_mb_seq_groups_fops = {
2162 .owner = THIS_MODULE,
2163 .open = ext4_mb_seq_groups_open,
2164 .read = seq_read,
2165 .llseek = seq_lseek,
2166 .release = seq_release,
2167};
2168
2169static void ext4_mb_history_release(struct super_block *sb)
2170{
2171 struct ext4_sb_info *sbi = EXT4_SB(sb);
2172
2173 remove_proc_entry("mb_groups", sbi->s_mb_proc);
2174 remove_proc_entry("mb_history", sbi->s_mb_proc);
2175
2176 kfree(sbi->s_mb_history);
2177}
2178
2179static void ext4_mb_history_init(struct super_block *sb)
2180{
2181 struct ext4_sb_info *sbi = EXT4_SB(sb);
2182 int i;
2183
2184 if (sbi->s_mb_proc != NULL) {
Denis V. Lunev46fe74f2008-04-29 01:02:08 -07002185 proc_create_data("mb_history", S_IRUGO, sbi->s_mb_proc,
2186 &ext4_mb_seq_history_fops, sb);
2187 proc_create_data("mb_groups", S_IRUGO, sbi->s_mb_proc,
2188 &ext4_mb_seq_groups_fops, sb);
Alex Tomasc9de5602008-01-29 00:19:52 -05002189 }
2190
2191 sbi->s_mb_history_max = 1000;
2192 sbi->s_mb_history_cur = 0;
2193 spin_lock_init(&sbi->s_mb_history_lock);
2194 i = sbi->s_mb_history_max * sizeof(struct ext4_mb_history);
Shen Feng74767c52008-07-11 19:27:31 -04002195 sbi->s_mb_history = kzalloc(i, GFP_KERNEL);
Alex Tomasc9de5602008-01-29 00:19:52 -05002196 /* if we can't allocate history, then we simple won't use it */
2197}
2198
Eric Sandeen4ddfef72008-04-29 08:11:12 -04002199static noinline_for_stack void
2200ext4_mb_store_history(struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05002201{
2202 struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
2203 struct ext4_mb_history h;
2204
2205 if (unlikely(sbi->s_mb_history == NULL))
2206 return;
2207
2208 if (!(ac->ac_op & sbi->s_mb_history_filter))
2209 return;
2210
2211 h.op = ac->ac_op;
2212 h.pid = current->pid;
2213 h.ino = ac->ac_inode ? ac->ac_inode->i_ino : 0;
2214 h.orig = ac->ac_o_ex;
2215 h.result = ac->ac_b_ex;
2216 h.flags = ac->ac_flags;
2217 h.found = ac->ac_found;
2218 h.groups = ac->ac_groups_scanned;
2219 h.cr = ac->ac_criteria;
2220 h.tail = ac->ac_tail;
2221 h.buddy = ac->ac_buddy;
2222 h.merged = 0;
2223 if (ac->ac_op == EXT4_MB_HISTORY_ALLOC) {
2224 if (ac->ac_g_ex.fe_start == ac->ac_b_ex.fe_start &&
2225 ac->ac_g_ex.fe_group == ac->ac_b_ex.fe_group)
2226 h.merged = 1;
2227 h.goal = ac->ac_g_ex;
2228 h.result = ac->ac_f_ex;
2229 }
2230
2231 spin_lock(&sbi->s_mb_history_lock);
2232 memcpy(sbi->s_mb_history + sbi->s_mb_history_cur, &h, sizeof(h));
2233 if (++sbi->s_mb_history_cur >= sbi->s_mb_history_max)
2234 sbi->s_mb_history_cur = 0;
2235 spin_unlock(&sbi->s_mb_history_lock);
2236}
2237
2238#else
2239#define ext4_mb_history_release(sb)
2240#define ext4_mb_history_init(sb)
2241#endif
2242
Frederic Bohe5f21b0e2008-07-11 19:27:31 -04002243
2244/* Create and initialize ext4_group_info data for the given group. */
2245int ext4_mb_add_groupinfo(struct super_block *sb, ext4_group_t group,
2246 struct ext4_group_desc *desc)
2247{
2248 int i, len;
2249 int metalen = 0;
2250 struct ext4_sb_info *sbi = EXT4_SB(sb);
2251 struct ext4_group_info **meta_group_info;
2252
2253 /*
2254 * First check if this group is the first of a reserved block.
2255 * If it's true, we have to allocate a new table of pointers
2256 * to ext4_group_info structures
2257 */
2258 if (group % EXT4_DESC_PER_BLOCK(sb) == 0) {
2259 metalen = sizeof(*meta_group_info) <<
2260 EXT4_DESC_PER_BLOCK_BITS(sb);
2261 meta_group_info = kmalloc(metalen, GFP_KERNEL);
2262 if (meta_group_info == NULL) {
2263 printk(KERN_ERR "EXT4-fs: can't allocate mem for a "
2264 "buddy group\n");
2265 goto exit_meta_group_info;
2266 }
2267 sbi->s_group_info[group >> EXT4_DESC_PER_BLOCK_BITS(sb)] =
2268 meta_group_info;
2269 }
2270
2271 /*
2272 * calculate needed size. if change bb_counters size,
2273 * don't forget about ext4_mb_generate_buddy()
2274 */
2275 len = offsetof(typeof(**meta_group_info),
2276 bb_counters[sb->s_blocksize_bits + 2]);
2277
2278 meta_group_info =
2279 sbi->s_group_info[group >> EXT4_DESC_PER_BLOCK_BITS(sb)];
2280 i = group & (EXT4_DESC_PER_BLOCK(sb) - 1);
2281
2282 meta_group_info[i] = kzalloc(len, GFP_KERNEL);
2283 if (meta_group_info[i] == NULL) {
2284 printk(KERN_ERR "EXT4-fs: can't allocate buddy mem\n");
2285 goto exit_group_info;
2286 }
2287 set_bit(EXT4_GROUP_INFO_NEED_INIT_BIT,
2288 &(meta_group_info[i]->bb_state));
2289
2290 /*
2291 * initialize bb_free to be able to skip
2292 * empty groups without initialization
2293 */
2294 if (desc->bg_flags & cpu_to_le16(EXT4_BG_BLOCK_UNINIT)) {
2295 meta_group_info[i]->bb_free =
2296 ext4_free_blocks_after_init(sb, group, desc);
2297 } else {
2298 meta_group_info[i]->bb_free =
2299 le16_to_cpu(desc->bg_free_blocks_count);
2300 }
2301
2302 INIT_LIST_HEAD(&meta_group_info[i]->bb_prealloc_list);
2303
2304#ifdef DOUBLE_CHECK
2305 {
2306 struct buffer_head *bh;
2307 meta_group_info[i]->bb_bitmap =
2308 kmalloc(sb->s_blocksize, GFP_KERNEL);
2309 BUG_ON(meta_group_info[i]->bb_bitmap == NULL);
2310 bh = ext4_read_block_bitmap(sb, group);
2311 BUG_ON(bh == NULL);
2312 memcpy(meta_group_info[i]->bb_bitmap, bh->b_data,
2313 sb->s_blocksize);
2314 put_bh(bh);
2315 }
2316#endif
2317
2318 return 0;
2319
2320exit_group_info:
2321 /* If a meta_group_info table has been allocated, release it now */
2322 if (group % EXT4_DESC_PER_BLOCK(sb) == 0)
2323 kfree(sbi->s_group_info[group >> EXT4_DESC_PER_BLOCK_BITS(sb)]);
2324exit_meta_group_info:
2325 return -ENOMEM;
2326} /* ext4_mb_add_groupinfo */
2327
2328/*
2329 * Add a group to the existing groups.
2330 * This function is used for online resize
2331 */
2332int ext4_mb_add_more_groupinfo(struct super_block *sb, ext4_group_t group,
2333 struct ext4_group_desc *desc)
2334{
2335 struct ext4_sb_info *sbi = EXT4_SB(sb);
2336 struct inode *inode = sbi->s_buddy_cache;
2337 int blocks_per_page;
2338 int block;
2339 int pnum;
2340 struct page *page;
2341 int err;
2342
2343 /* Add group based on group descriptor*/
2344 err = ext4_mb_add_groupinfo(sb, group, desc);
2345 if (err)
2346 return err;
2347
2348 /*
2349 * Cache pages containing dynamic mb_alloc datas (buddy and bitmap
2350 * datas) are set not up to date so that they will be re-initilaized
2351 * during the next call to ext4_mb_load_buddy
2352 */
2353
2354 /* Set buddy page as not up to date */
2355 blocks_per_page = PAGE_CACHE_SIZE / sb->s_blocksize;
2356 block = group * 2;
2357 pnum = block / blocks_per_page;
2358 page = find_get_page(inode->i_mapping, pnum);
2359 if (page != NULL) {
2360 ClearPageUptodate(page);
2361 page_cache_release(page);
2362 }
2363
2364 /* Set bitmap page as not up to date */
2365 block++;
2366 pnum = block / blocks_per_page;
2367 page = find_get_page(inode->i_mapping, pnum);
2368 if (page != NULL) {
2369 ClearPageUptodate(page);
2370 page_cache_release(page);
2371 }
2372
2373 return 0;
2374}
2375
2376/*
2377 * Update an existing group.
2378 * This function is used for online resize
2379 */
2380void ext4_mb_update_group_info(struct ext4_group_info *grp, ext4_grpblk_t add)
2381{
2382 grp->bb_free += add;
2383}
2384
Alex Tomasc9de5602008-01-29 00:19:52 -05002385static int ext4_mb_init_backend(struct super_block *sb)
2386{
2387 ext4_group_t i;
Frederic Bohe5f21b0e2008-07-11 19:27:31 -04002388 int metalen;
Alex Tomasc9de5602008-01-29 00:19:52 -05002389 struct ext4_sb_info *sbi = EXT4_SB(sb);
Frederic Bohe5f21b0e2008-07-11 19:27:31 -04002390 struct ext4_super_block *es = sbi->s_es;
2391 int num_meta_group_infos;
2392 int num_meta_group_infos_max;
2393 int array_size;
Alex Tomasc9de5602008-01-29 00:19:52 -05002394 struct ext4_group_info **meta_group_info;
Frederic Bohe5f21b0e2008-07-11 19:27:31 -04002395 struct ext4_group_desc *desc;
Alex Tomasc9de5602008-01-29 00:19:52 -05002396
Frederic Bohe5f21b0e2008-07-11 19:27:31 -04002397 /* This is the number of blocks used by GDT */
2398 num_meta_group_infos = (sbi->s_groups_count + EXT4_DESC_PER_BLOCK(sb) -
2399 1) >> EXT4_DESC_PER_BLOCK_BITS(sb);
2400
2401 /*
2402 * This is the total number of blocks used by GDT including
2403 * the number of reserved blocks for GDT.
2404 * The s_group_info array is allocated with this value
2405 * to allow a clean online resize without a complex
2406 * manipulation of pointer.
2407 * The drawback is the unused memory when no resize
2408 * occurs but it's very low in terms of pages
2409 * (see comments below)
2410 * Need to handle this properly when META_BG resizing is allowed
2411 */
2412 num_meta_group_infos_max = num_meta_group_infos +
2413 le16_to_cpu(es->s_reserved_gdt_blocks);
2414
2415 /*
2416 * array_size is the size of s_group_info array. We round it
2417 * to the next power of two because this approximation is done
2418 * internally by kmalloc so we can have some more memory
2419 * for free here (e.g. may be used for META_BG resize).
2420 */
2421 array_size = 1;
2422 while (array_size < sizeof(*sbi->s_group_info) *
2423 num_meta_group_infos_max)
2424 array_size = array_size << 1;
Alex Tomasc9de5602008-01-29 00:19:52 -05002425 /* An 8TB filesystem with 64-bit pointers requires a 4096 byte
2426 * kmalloc. A 128kb malloc should suffice for a 256TB filesystem.
2427 * So a two level scheme suffices for now. */
Frederic Bohe5f21b0e2008-07-11 19:27:31 -04002428 sbi->s_group_info = kmalloc(array_size, GFP_KERNEL);
Alex Tomasc9de5602008-01-29 00:19:52 -05002429 if (sbi->s_group_info == NULL) {
2430 printk(KERN_ERR "EXT4-fs: can't allocate buddy meta group\n");
2431 return -ENOMEM;
2432 }
2433 sbi->s_buddy_cache = new_inode(sb);
2434 if (sbi->s_buddy_cache == NULL) {
2435 printk(KERN_ERR "EXT4-fs: can't get new inode\n");
2436 goto err_freesgi;
2437 }
2438 EXT4_I(sbi->s_buddy_cache)->i_disksize = 0;
2439
2440 metalen = sizeof(*meta_group_info) << EXT4_DESC_PER_BLOCK_BITS(sb);
2441 for (i = 0; i < num_meta_group_infos; i++) {
2442 if ((i + 1) == num_meta_group_infos)
2443 metalen = sizeof(*meta_group_info) *
2444 (sbi->s_groups_count -
2445 (i << EXT4_DESC_PER_BLOCK_BITS(sb)));
2446 meta_group_info = kmalloc(metalen, GFP_KERNEL);
2447 if (meta_group_info == NULL) {
2448 printk(KERN_ERR "EXT4-fs: can't allocate mem for a "
2449 "buddy group\n");
2450 goto err_freemeta;
2451 }
2452 sbi->s_group_info[i] = meta_group_info;
2453 }
2454
Alex Tomasc9de5602008-01-29 00:19:52 -05002455 for (i = 0; i < sbi->s_groups_count; i++) {
Alex Tomasc9de5602008-01-29 00:19:52 -05002456 desc = ext4_get_group_desc(sb, i, NULL);
2457 if (desc == NULL) {
2458 printk(KERN_ERR
2459 "EXT4-fs: can't read descriptor %lu\n", i);
2460 goto err_freebuddy;
2461 }
Frederic Bohe5f21b0e2008-07-11 19:27:31 -04002462 if (ext4_mb_add_groupinfo(sb, i, desc) != 0)
2463 goto err_freebuddy;
Alex Tomasc9de5602008-01-29 00:19:52 -05002464 }
2465
2466 return 0;
2467
2468err_freebuddy:
Roel Kluinf1fa3342008-04-29 22:01:15 -04002469 while (i-- > 0)
Alex Tomasc9de5602008-01-29 00:19:52 -05002470 kfree(ext4_get_group_info(sb, i));
Alex Tomasc9de5602008-01-29 00:19:52 -05002471 i = num_meta_group_infos;
2472err_freemeta:
Roel Kluinf1fa3342008-04-29 22:01:15 -04002473 while (i-- > 0)
Alex Tomasc9de5602008-01-29 00:19:52 -05002474 kfree(sbi->s_group_info[i]);
2475 iput(sbi->s_buddy_cache);
2476err_freesgi:
2477 kfree(sbi->s_group_info);
2478 return -ENOMEM;
2479}
2480
2481int ext4_mb_init(struct super_block *sb, int needs_recovery)
2482{
2483 struct ext4_sb_info *sbi = EXT4_SB(sb);
Aneesh Kumar K.V6be2ded2008-07-23 14:14:05 -04002484 unsigned i, j;
Alex Tomasc9de5602008-01-29 00:19:52 -05002485 unsigned offset;
2486 unsigned max;
Shen Feng74767c52008-07-11 19:27:31 -04002487 int ret;
Alex Tomasc9de5602008-01-29 00:19:52 -05002488
2489 if (!test_opt(sb, MBALLOC))
2490 return 0;
2491
2492 i = (sb->s_blocksize_bits + 2) * sizeof(unsigned short);
2493
2494 sbi->s_mb_offsets = kmalloc(i, GFP_KERNEL);
2495 if (sbi->s_mb_offsets == NULL) {
2496 clear_opt(sbi->s_mount_opt, MBALLOC);
2497 return -ENOMEM;
2498 }
2499 sbi->s_mb_maxs = kmalloc(i, GFP_KERNEL);
2500 if (sbi->s_mb_maxs == NULL) {
2501 clear_opt(sbi->s_mount_opt, MBALLOC);
2502 kfree(sbi->s_mb_maxs);
2503 return -ENOMEM;
2504 }
2505
2506 /* order 0 is regular bitmap */
2507 sbi->s_mb_maxs[0] = sb->s_blocksize << 3;
2508 sbi->s_mb_offsets[0] = 0;
2509
2510 i = 1;
2511 offset = 0;
2512 max = sb->s_blocksize << 2;
2513 do {
2514 sbi->s_mb_offsets[i] = offset;
2515 sbi->s_mb_maxs[i] = max;
2516 offset += 1 << (sb->s_blocksize_bits - i);
2517 max = max >> 1;
2518 i++;
2519 } while (i <= sb->s_blocksize_bits + 1);
2520
2521 /* init file for buddy data */
Shen Feng74767c52008-07-11 19:27:31 -04002522 ret = ext4_mb_init_backend(sb);
2523 if (ret != 0) {
Alex Tomasc9de5602008-01-29 00:19:52 -05002524 clear_opt(sbi->s_mount_opt, MBALLOC);
2525 kfree(sbi->s_mb_offsets);
2526 kfree(sbi->s_mb_maxs);
Shen Feng74767c52008-07-11 19:27:31 -04002527 return ret;
Alex Tomasc9de5602008-01-29 00:19:52 -05002528 }
2529
2530 spin_lock_init(&sbi->s_md_lock);
2531 INIT_LIST_HEAD(&sbi->s_active_transaction);
2532 INIT_LIST_HEAD(&sbi->s_closed_transaction);
2533 INIT_LIST_HEAD(&sbi->s_committed_transaction);
2534 spin_lock_init(&sbi->s_bal_lock);
2535
2536 sbi->s_mb_max_to_scan = MB_DEFAULT_MAX_TO_SCAN;
2537 sbi->s_mb_min_to_scan = MB_DEFAULT_MIN_TO_SCAN;
2538 sbi->s_mb_stats = MB_DEFAULT_STATS;
2539 sbi->s_mb_stream_request = MB_DEFAULT_STREAM_THRESHOLD;
2540 sbi->s_mb_order2_reqs = MB_DEFAULT_ORDER2_REQS;
2541 sbi->s_mb_history_filter = EXT4_MB_HISTORY_DEFAULT;
2542 sbi->s_mb_group_prealloc = MB_DEFAULT_GROUP_PREALLOC;
2543
Aneesh Kumar K.V1320cbc2008-07-23 14:09:26 -04002544 i = sizeof(struct ext4_locality_group) * nr_cpu_ids;
Alex Tomasc9de5602008-01-29 00:19:52 -05002545 sbi->s_locality_groups = kmalloc(i, GFP_KERNEL);
2546 if (sbi->s_locality_groups == NULL) {
2547 clear_opt(sbi->s_mount_opt, MBALLOC);
2548 kfree(sbi->s_mb_offsets);
2549 kfree(sbi->s_mb_maxs);
2550 return -ENOMEM;
2551 }
Aneesh Kumar K.V1320cbc2008-07-23 14:09:26 -04002552 for (i = 0; i < nr_cpu_ids; i++) {
Alex Tomasc9de5602008-01-29 00:19:52 -05002553 struct ext4_locality_group *lg;
2554 lg = &sbi->s_locality_groups[i];
2555 mutex_init(&lg->lg_mutex);
Aneesh Kumar K.V6be2ded2008-07-23 14:14:05 -04002556 for (j = 0; j < PREALLOC_TB_SIZE; j++)
2557 INIT_LIST_HEAD(&lg->lg_prealloc_list[j]);
Alex Tomasc9de5602008-01-29 00:19:52 -05002558 spin_lock_init(&lg->lg_prealloc_lock);
2559 }
2560
2561 ext4_mb_init_per_dev_proc(sb);
2562 ext4_mb_history_init(sb);
2563
Theodore Ts'o47760042008-09-08 23:00:52 -04002564 printk(KERN_INFO "EXT4-fs: mballoc enabled\n");
Alex Tomasc9de5602008-01-29 00:19:52 -05002565 return 0;
2566}
2567
2568/* need to called with ext4 group lock (ext4_lock_group) */
2569static void ext4_mb_cleanup_pa(struct ext4_group_info *grp)
2570{
2571 struct ext4_prealloc_space *pa;
2572 struct list_head *cur, *tmp;
2573 int count = 0;
2574
2575 list_for_each_safe(cur, tmp, &grp->bb_prealloc_list) {
2576 pa = list_entry(cur, struct ext4_prealloc_space, pa_group_list);
2577 list_del(&pa->pa_group_list);
2578 count++;
2579 kfree(pa);
2580 }
2581 if (count)
2582 mb_debug("mballoc: %u PAs left\n", count);
2583
2584}
2585
2586int ext4_mb_release(struct super_block *sb)
2587{
2588 ext4_group_t i;
2589 int num_meta_group_infos;
2590 struct ext4_group_info *grinfo;
2591 struct ext4_sb_info *sbi = EXT4_SB(sb);
2592
2593 if (!test_opt(sb, MBALLOC))
2594 return 0;
2595
2596 /* release freed, non-committed blocks */
2597 spin_lock(&sbi->s_md_lock);
2598 list_splice_init(&sbi->s_closed_transaction,
2599 &sbi->s_committed_transaction);
2600 list_splice_init(&sbi->s_active_transaction,
2601 &sbi->s_committed_transaction);
2602 spin_unlock(&sbi->s_md_lock);
2603 ext4_mb_free_committed_blocks(sb);
2604
2605 if (sbi->s_group_info) {
2606 for (i = 0; i < sbi->s_groups_count; i++) {
2607 grinfo = ext4_get_group_info(sb, i);
2608#ifdef DOUBLE_CHECK
2609 kfree(grinfo->bb_bitmap);
2610#endif
2611 ext4_lock_group(sb, i);
2612 ext4_mb_cleanup_pa(grinfo);
2613 ext4_unlock_group(sb, i);
2614 kfree(grinfo);
2615 }
2616 num_meta_group_infos = (sbi->s_groups_count +
2617 EXT4_DESC_PER_BLOCK(sb) - 1) >>
2618 EXT4_DESC_PER_BLOCK_BITS(sb);
2619 for (i = 0; i < num_meta_group_infos; i++)
2620 kfree(sbi->s_group_info[i]);
2621 kfree(sbi->s_group_info);
2622 }
2623 kfree(sbi->s_mb_offsets);
2624 kfree(sbi->s_mb_maxs);
2625 if (sbi->s_buddy_cache)
2626 iput(sbi->s_buddy_cache);
2627 if (sbi->s_mb_stats) {
2628 printk(KERN_INFO
2629 "EXT4-fs: mballoc: %u blocks %u reqs (%u success)\n",
2630 atomic_read(&sbi->s_bal_allocated),
2631 atomic_read(&sbi->s_bal_reqs),
2632 atomic_read(&sbi->s_bal_success));
2633 printk(KERN_INFO
2634 "EXT4-fs: mballoc: %u extents scanned, %u goal hits, "
2635 "%u 2^N hits, %u breaks, %u lost\n",
2636 atomic_read(&sbi->s_bal_ex_scanned),
2637 atomic_read(&sbi->s_bal_goals),
2638 atomic_read(&sbi->s_bal_2orders),
2639 atomic_read(&sbi->s_bal_breaks),
2640 atomic_read(&sbi->s_mb_lost_chunks));
2641 printk(KERN_INFO
2642 "EXT4-fs: mballoc: %lu generated and it took %Lu\n",
2643 sbi->s_mb_buddies_generated++,
2644 sbi->s_mb_generation_time);
2645 printk(KERN_INFO
2646 "EXT4-fs: mballoc: %u preallocated, %u discarded\n",
2647 atomic_read(&sbi->s_mb_preallocated),
2648 atomic_read(&sbi->s_mb_discarded));
2649 }
2650
2651 kfree(sbi->s_locality_groups);
2652
2653 ext4_mb_history_release(sb);
2654 ext4_mb_destroy_per_dev_proc(sb);
2655
2656 return 0;
2657}
2658
Eric Sandeen4ddfef72008-04-29 08:11:12 -04002659static noinline_for_stack void
2660ext4_mb_free_committed_blocks(struct super_block *sb)
Alex Tomasc9de5602008-01-29 00:19:52 -05002661{
2662 struct ext4_sb_info *sbi = EXT4_SB(sb);
2663 int err;
2664 int i;
2665 int count = 0;
2666 int count2 = 0;
2667 struct ext4_free_metadata *md;
2668 struct ext4_buddy e4b;
2669
2670 if (list_empty(&sbi->s_committed_transaction))
2671 return;
2672
2673 /* there is committed blocks to be freed yet */
2674 do {
2675 /* get next array of blocks */
2676 md = NULL;
2677 spin_lock(&sbi->s_md_lock);
2678 if (!list_empty(&sbi->s_committed_transaction)) {
2679 md = list_entry(sbi->s_committed_transaction.next,
2680 struct ext4_free_metadata, list);
2681 list_del(&md->list);
2682 }
2683 spin_unlock(&sbi->s_md_lock);
2684
2685 if (md == NULL)
2686 break;
2687
2688 mb_debug("gonna free %u blocks in group %lu (0x%p):",
2689 md->num, md->group, md);
2690
2691 err = ext4_mb_load_buddy(sb, md->group, &e4b);
2692 /* we expect to find existing buddy because it's pinned */
2693 BUG_ON(err != 0);
2694
2695 /* there are blocks to put in buddy to make them really free */
2696 count += md->num;
2697 count2++;
2698 ext4_lock_group(sb, md->group);
2699 for (i = 0; i < md->num; i++) {
2700 mb_debug(" %u", md->blocks[i]);
Shen Feng7e5a8cd2008-07-13 21:03:31 -04002701 mb_free_blocks(NULL, &e4b, md->blocks[i], 1);
Alex Tomasc9de5602008-01-29 00:19:52 -05002702 }
2703 mb_debug("\n");
2704 ext4_unlock_group(sb, md->group);
2705
2706 /* balance refcounts from ext4_mb_free_metadata() */
2707 page_cache_release(e4b.bd_buddy_page);
2708 page_cache_release(e4b.bd_bitmap_page);
2709
2710 kfree(md);
2711 ext4_mb_release_desc(&e4b);
2712
2713 } while (md);
2714
2715 mb_debug("freed %u blocks in %u structures\n", count, count2);
2716}
2717
Alex Tomasc9de5602008-01-29 00:19:52 -05002718#define EXT4_MB_STATS_NAME "stats"
2719#define EXT4_MB_MAX_TO_SCAN_NAME "max_to_scan"
2720#define EXT4_MB_MIN_TO_SCAN_NAME "min_to_scan"
2721#define EXT4_MB_ORDER2_REQ "order2_req"
2722#define EXT4_MB_STREAM_REQ "stream_req"
2723#define EXT4_MB_GROUP_PREALLOC "group_prealloc"
2724
2725
2726
Alexey Dobriyan91d99822008-07-11 19:27:31 -04002727#define MB_PROC_FOPS(name) \
2728static int ext4_mb_##name##_proc_show(struct seq_file *m, void *v) \
Alex Tomasc9de5602008-01-29 00:19:52 -05002729{ \
Alexey Dobriyan91d99822008-07-11 19:27:31 -04002730 struct ext4_sb_info *sbi = m->private; \
2731 \
2732 seq_printf(m, "%ld\n", sbi->s_mb_##name); \
2733 return 0; \
2734} \
2735 \
2736static int ext4_mb_##name##_proc_open(struct inode *inode, struct file *file)\
Alex Tomasc9de5602008-01-29 00:19:52 -05002737{ \
Alexey Dobriyan91d99822008-07-11 19:27:31 -04002738 return single_open(file, ext4_mb_##name##_proc_show, PDE(inode)->data);\
2739} \
2740 \
2741static ssize_t ext4_mb_##name##_proc_write(struct file *file, \
2742 const char __user *buf, size_t cnt, loff_t *ppos) \
2743{ \
2744 struct ext4_sb_info *sbi = PDE(file->f_path.dentry->d_inode)->data;\
Alex Tomasc9de5602008-01-29 00:19:52 -05002745 char str[32]; \
2746 long value; \
2747 if (cnt >= sizeof(str)) \
2748 return -EINVAL; \
2749 if (copy_from_user(str, buf, cnt)) \
2750 return -EFAULT; \
2751 value = simple_strtol(str, NULL, 0); \
2752 if (value <= 0) \
2753 return -ERANGE; \
2754 sbi->s_mb_##name = value; \
2755 return cnt; \
Alexey Dobriyan91d99822008-07-11 19:27:31 -04002756} \
2757 \
2758static const struct file_operations ext4_mb_##name##_proc_fops = { \
2759 .owner = THIS_MODULE, \
2760 .open = ext4_mb_##name##_proc_open, \
2761 .read = seq_read, \
2762 .llseek = seq_lseek, \
2763 .release = single_release, \
2764 .write = ext4_mb_##name##_proc_write, \
2765};
Alex Tomasc9de5602008-01-29 00:19:52 -05002766
Alexey Dobriyan91d99822008-07-11 19:27:31 -04002767MB_PROC_FOPS(stats);
2768MB_PROC_FOPS(max_to_scan);
2769MB_PROC_FOPS(min_to_scan);
2770MB_PROC_FOPS(order2_reqs);
2771MB_PROC_FOPS(stream_request);
2772MB_PROC_FOPS(group_prealloc);
Alex Tomasc9de5602008-01-29 00:19:52 -05002773
2774#define MB_PROC_HANDLER(name, var) \
2775do { \
Alexey Dobriyan91d99822008-07-11 19:27:31 -04002776 proc = proc_create_data(name, mode, sbi->s_mb_proc, \
2777 &ext4_mb_##var##_proc_fops, sbi); \
Alex Tomasc9de5602008-01-29 00:19:52 -05002778 if (proc == NULL) { \
2779 printk(KERN_ERR "EXT4-fs: can't to create %s\n", name); \
2780 goto err_out; \
2781 } \
Alex Tomasc9de5602008-01-29 00:19:52 -05002782} while (0)
2783
2784static int ext4_mb_init_per_dev_proc(struct super_block *sb)
2785{
2786 mode_t mode = S_IFREG | S_IRUGO | S_IWUSR;
2787 struct ext4_sb_info *sbi = EXT4_SB(sb);
2788 struct proc_dir_entry *proc;
2789 char devname[64];
2790
Shen Fengcfbe7e42008-07-13 21:03:31 -04002791 if (proc_root_ext4 == NULL) {
2792 sbi->s_mb_proc = NULL;
2793 return -EINVAL;
2794 }
Jean Delvaref36f21e2008-05-12 14:02:33 -07002795 bdevname(sb->s_bdev, devname);
Alex Tomasc9de5602008-01-29 00:19:52 -05002796 sbi->s_mb_proc = proc_mkdir(devname, proc_root_ext4);
2797
2798 MB_PROC_HANDLER(EXT4_MB_STATS_NAME, stats);
2799 MB_PROC_HANDLER(EXT4_MB_MAX_TO_SCAN_NAME, max_to_scan);
2800 MB_PROC_HANDLER(EXT4_MB_MIN_TO_SCAN_NAME, min_to_scan);
2801 MB_PROC_HANDLER(EXT4_MB_ORDER2_REQ, order2_reqs);
2802 MB_PROC_HANDLER(EXT4_MB_STREAM_REQ, stream_request);
2803 MB_PROC_HANDLER(EXT4_MB_GROUP_PREALLOC, group_prealloc);
2804
2805 return 0;
2806
2807err_out:
2808 printk(KERN_ERR "EXT4-fs: Unable to create %s\n", devname);
2809 remove_proc_entry(EXT4_MB_GROUP_PREALLOC, sbi->s_mb_proc);
2810 remove_proc_entry(EXT4_MB_STREAM_REQ, sbi->s_mb_proc);
2811 remove_proc_entry(EXT4_MB_ORDER2_REQ, sbi->s_mb_proc);
2812 remove_proc_entry(EXT4_MB_MIN_TO_SCAN_NAME, sbi->s_mb_proc);
2813 remove_proc_entry(EXT4_MB_MAX_TO_SCAN_NAME, sbi->s_mb_proc);
2814 remove_proc_entry(EXT4_MB_STATS_NAME, sbi->s_mb_proc);
2815 remove_proc_entry(devname, proc_root_ext4);
2816 sbi->s_mb_proc = NULL;
2817
2818 return -ENOMEM;
2819}
2820
2821static int ext4_mb_destroy_per_dev_proc(struct super_block *sb)
2822{
2823 struct ext4_sb_info *sbi = EXT4_SB(sb);
2824 char devname[64];
2825
2826 if (sbi->s_mb_proc == NULL)
2827 return -EINVAL;
2828
Jean Delvaref36f21e2008-05-12 14:02:33 -07002829 bdevname(sb->s_bdev, devname);
Alex Tomasc9de5602008-01-29 00:19:52 -05002830 remove_proc_entry(EXT4_MB_GROUP_PREALLOC, sbi->s_mb_proc);
2831 remove_proc_entry(EXT4_MB_STREAM_REQ, sbi->s_mb_proc);
2832 remove_proc_entry(EXT4_MB_ORDER2_REQ, sbi->s_mb_proc);
2833 remove_proc_entry(EXT4_MB_MIN_TO_SCAN_NAME, sbi->s_mb_proc);
2834 remove_proc_entry(EXT4_MB_MAX_TO_SCAN_NAME, sbi->s_mb_proc);
2835 remove_proc_entry(EXT4_MB_STATS_NAME, sbi->s_mb_proc);
2836 remove_proc_entry(devname, proc_root_ext4);
2837
2838 return 0;
2839}
2840
2841int __init init_ext4_mballoc(void)
2842{
2843 ext4_pspace_cachep =
2844 kmem_cache_create("ext4_prealloc_space",
2845 sizeof(struct ext4_prealloc_space),
2846 0, SLAB_RECLAIM_ACCOUNT, NULL);
2847 if (ext4_pspace_cachep == NULL)
2848 return -ENOMEM;
2849
Eric Sandeen256bdb42008-02-10 01:13:33 -05002850 ext4_ac_cachep =
2851 kmem_cache_create("ext4_alloc_context",
2852 sizeof(struct ext4_allocation_context),
2853 0, SLAB_RECLAIM_ACCOUNT, NULL);
2854 if (ext4_ac_cachep == NULL) {
2855 kmem_cache_destroy(ext4_pspace_cachep);
2856 return -ENOMEM;
2857 }
Alex Tomasc9de5602008-01-29 00:19:52 -05002858#ifdef CONFIG_PROC_FS
Alexey Dobriyan36a5aeb2008-04-29 01:01:42 -07002859 proc_root_ext4 = proc_mkdir("fs/ext4", NULL);
Alex Tomasc9de5602008-01-29 00:19:52 -05002860 if (proc_root_ext4 == NULL)
Alexey Dobriyan36a5aeb2008-04-29 01:01:42 -07002861 printk(KERN_ERR "EXT4-fs: Unable to create fs/ext4\n");
Alex Tomasc9de5602008-01-29 00:19:52 -05002862#endif
Alex Tomasc9de5602008-01-29 00:19:52 -05002863 return 0;
2864}
2865
2866void exit_ext4_mballoc(void)
2867{
2868 /* XXX: synchronize_rcu(); */
2869 kmem_cache_destroy(ext4_pspace_cachep);
Eric Sandeen256bdb42008-02-10 01:13:33 -05002870 kmem_cache_destroy(ext4_ac_cachep);
Alex Tomasc9de5602008-01-29 00:19:52 -05002871#ifdef CONFIG_PROC_FS
Alexey Dobriyan36a5aeb2008-04-29 01:01:42 -07002872 remove_proc_entry("fs/ext4", NULL);
Alex Tomasc9de5602008-01-29 00:19:52 -05002873#endif
2874}
2875
2876
2877/*
2878 * Check quota and mark choosed space (ac->ac_b_ex) non-free in bitmaps
2879 * Returns 0 if success or error code
2880 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04002881static noinline_for_stack int
2882ext4_mb_mark_diskspace_used(struct ext4_allocation_context *ac,
Alex Tomasc9de5602008-01-29 00:19:52 -05002883 handle_t *handle)
2884{
2885 struct buffer_head *bitmap_bh = NULL;
2886 struct ext4_super_block *es;
2887 struct ext4_group_desc *gdp;
2888 struct buffer_head *gdp_bh;
2889 struct ext4_sb_info *sbi;
2890 struct super_block *sb;
2891 ext4_fsblk_t block;
Aneesh Kumar K.V519deca2008-05-15 14:43:20 -04002892 int err, len;
Alex Tomasc9de5602008-01-29 00:19:52 -05002893
2894 BUG_ON(ac->ac_status != AC_STATUS_FOUND);
2895 BUG_ON(ac->ac_b_ex.fe_len <= 0);
2896
2897 sb = ac->ac_sb;
2898 sbi = EXT4_SB(sb);
2899 es = sbi->s_es;
2900
Alex Tomasc9de5602008-01-29 00:19:52 -05002901
2902 err = -EIO;
Theodore Ts'o574ca172008-07-11 19:27:31 -04002903 bitmap_bh = ext4_read_block_bitmap(sb, ac->ac_b_ex.fe_group);
Alex Tomasc9de5602008-01-29 00:19:52 -05002904 if (!bitmap_bh)
2905 goto out_err;
2906
2907 err = ext4_journal_get_write_access(handle, bitmap_bh);
2908 if (err)
2909 goto out_err;
2910
2911 err = -EIO;
2912 gdp = ext4_get_group_desc(sb, ac->ac_b_ex.fe_group, &gdp_bh);
2913 if (!gdp)
2914 goto out_err;
2915
Aneesh Kumar K.V03cddb82008-06-05 20:59:29 -04002916 ext4_debug("using block group %lu(%d)\n", ac->ac_b_ex.fe_group,
2917 gdp->bg_free_blocks_count);
2918
Alex Tomasc9de5602008-01-29 00:19:52 -05002919 err = ext4_journal_get_write_access(handle, gdp_bh);
2920 if (err)
2921 goto out_err;
2922
2923 block = ac->ac_b_ex.fe_group * EXT4_BLOCKS_PER_GROUP(sb)
2924 + ac->ac_b_ex.fe_start
2925 + le32_to_cpu(es->s_first_data_block);
2926
Aneesh Kumar K.V519deca2008-05-15 14:43:20 -04002927 len = ac->ac_b_ex.fe_len;
2928 if (in_range(ext4_block_bitmap(sb, gdp), block, len) ||
2929 in_range(ext4_inode_bitmap(sb, gdp), block, len) ||
2930 in_range(block, ext4_inode_table(sb, gdp),
2931 EXT4_SB(sb)->s_itb_per_group) ||
2932 in_range(block + len - 1, ext4_inode_table(sb, gdp),
2933 EXT4_SB(sb)->s_itb_per_group)) {
Harvey Harrison46e665e2008-04-17 10:38:59 -04002934 ext4_error(sb, __func__,
Alex Tomasc9de5602008-01-29 00:19:52 -05002935 "Allocating block in system zone - block = %llu",
2936 block);
Aneesh Kumar K.V519deca2008-05-15 14:43:20 -04002937 /* File system mounted not to panic on error
2938 * Fix the bitmap and repeat the block allocation
2939 * We leak some of the blocks here.
2940 */
2941 mb_set_bits(sb_bgl_lock(sbi, ac->ac_b_ex.fe_group),
2942 bitmap_bh->b_data, ac->ac_b_ex.fe_start,
2943 ac->ac_b_ex.fe_len);
2944 err = ext4_journal_dirty_metadata(handle, bitmap_bh);
2945 if (!err)
2946 err = -EAGAIN;
2947 goto out_err;
Alex Tomasc9de5602008-01-29 00:19:52 -05002948 }
2949#ifdef AGGRESSIVE_CHECK
2950 {
2951 int i;
2952 for (i = 0; i < ac->ac_b_ex.fe_len; i++) {
2953 BUG_ON(mb_test_bit(ac->ac_b_ex.fe_start + i,
2954 bitmap_bh->b_data));
2955 }
2956 }
2957#endif
2958 mb_set_bits(sb_bgl_lock(sbi, ac->ac_b_ex.fe_group), bitmap_bh->b_data,
2959 ac->ac_b_ex.fe_start, ac->ac_b_ex.fe_len);
2960
2961 spin_lock(sb_bgl_lock(sbi, ac->ac_b_ex.fe_group));
2962 if (gdp->bg_flags & cpu_to_le16(EXT4_BG_BLOCK_UNINIT)) {
2963 gdp->bg_flags &= cpu_to_le16(~EXT4_BG_BLOCK_UNINIT);
2964 gdp->bg_free_blocks_count =
2965 cpu_to_le16(ext4_free_blocks_after_init(sb,
2966 ac->ac_b_ex.fe_group,
2967 gdp));
2968 }
Marcin Slusarze8546d02008-04-17 10:38:59 -04002969 le16_add_cpu(&gdp->bg_free_blocks_count, -ac->ac_b_ex.fe_len);
Alex Tomasc9de5602008-01-29 00:19:52 -05002970 gdp->bg_checksum = ext4_group_desc_csum(sbi, ac->ac_b_ex.fe_group, gdp);
2971 spin_unlock(sb_bgl_lock(sbi, ac->ac_b_ex.fe_group));
Mingming Caod2a17632008-07-14 17:52:37 -04002972
2973 /*
2974 * free blocks account has already be reduced/reserved
2975 * at write_begin() time for delayed allocation
2976 * do not double accounting
2977 */
Aneesh Kumar K.Va30d5422008-10-09 10:56:23 -04002978 if (!(ac->ac_flags & EXT4_MB_DELALLOC_RESERVED) &&
2979 ac->ac_o_ex.fe_len != ac->ac_b_ex.fe_len) {
2980 /*
2981 * we allocated less blocks than we calimed
2982 * Add the difference back
2983 */
2984 percpu_counter_add(&sbi->s_freeblocks_counter,
2985 ac->ac_o_ex.fe_len - ac->ac_b_ex.fe_len);
2986 }
Alex Tomasc9de5602008-01-29 00:19:52 -05002987
Jose R. Santos772cb7c2008-07-11 19:27:31 -04002988 if (sbi->s_log_groups_per_flex) {
2989 ext4_group_t flex_group = ext4_flex_group(sbi,
2990 ac->ac_b_ex.fe_group);
2991 spin_lock(sb_bgl_lock(sbi, flex_group));
2992 sbi->s_flex_groups[flex_group].free_blocks -= ac->ac_b_ex.fe_len;
2993 spin_unlock(sb_bgl_lock(sbi, flex_group));
2994 }
2995
Alex Tomasc9de5602008-01-29 00:19:52 -05002996 err = ext4_journal_dirty_metadata(handle, bitmap_bh);
2997 if (err)
2998 goto out_err;
2999 err = ext4_journal_dirty_metadata(handle, gdp_bh);
3000
3001out_err:
3002 sb->s_dirt = 1;
Aneesh Kumar K.V42a10ad2008-02-10 01:07:28 -05003003 brelse(bitmap_bh);
Alex Tomasc9de5602008-01-29 00:19:52 -05003004 return err;
3005}
3006
3007/*
3008 * here we normalize request for locality group
3009 * Group request are normalized to s_strip size if we set the same via mount
3010 * option. If not we set it to s_mb_group_prealloc which can be configured via
3011 * /proc/fs/ext4/<partition>/group_prealloc
3012 *
3013 * XXX: should we try to preallocate more than the group has now?
3014 */
3015static void ext4_mb_normalize_group_request(struct ext4_allocation_context *ac)
3016{
3017 struct super_block *sb = ac->ac_sb;
3018 struct ext4_locality_group *lg = ac->ac_lg;
3019
3020 BUG_ON(lg == NULL);
3021 if (EXT4_SB(sb)->s_stripe)
3022 ac->ac_g_ex.fe_len = EXT4_SB(sb)->s_stripe;
3023 else
3024 ac->ac_g_ex.fe_len = EXT4_SB(sb)->s_mb_group_prealloc;
Solofo Ramangalahy60bd63d2008-04-29 21:59:59 -04003025 mb_debug("#%u: goal %u blocks for locality group\n",
Alex Tomasc9de5602008-01-29 00:19:52 -05003026 current->pid, ac->ac_g_ex.fe_len);
3027}
3028
3029/*
3030 * Normalization means making request better in terms of
3031 * size and alignment
3032 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003033static noinline_for_stack void
3034ext4_mb_normalize_request(struct ext4_allocation_context *ac,
Alex Tomasc9de5602008-01-29 00:19:52 -05003035 struct ext4_allocation_request *ar)
3036{
3037 int bsbits, max;
3038 ext4_lblk_t end;
Alex Tomasc9de5602008-01-29 00:19:52 -05003039 loff_t size, orig_size, start_off;
3040 ext4_lblk_t start, orig_start;
3041 struct ext4_inode_info *ei = EXT4_I(ac->ac_inode);
Aneesh Kumar K.V9a0762c2008-04-17 10:38:59 -04003042 struct ext4_prealloc_space *pa;
Alex Tomasc9de5602008-01-29 00:19:52 -05003043
3044 /* do normalize only data requests, metadata requests
3045 do not need preallocation */
3046 if (!(ac->ac_flags & EXT4_MB_HINT_DATA))
3047 return;
3048
3049 /* sometime caller may want exact blocks */
3050 if (unlikely(ac->ac_flags & EXT4_MB_HINT_GOAL_ONLY))
3051 return;
3052
3053 /* caller may indicate that preallocation isn't
3054 * required (it's a tail, for example) */
3055 if (ac->ac_flags & EXT4_MB_HINT_NOPREALLOC)
3056 return;
3057
3058 if (ac->ac_flags & EXT4_MB_HINT_GROUP_ALLOC) {
3059 ext4_mb_normalize_group_request(ac);
3060 return ;
3061 }
3062
3063 bsbits = ac->ac_sb->s_blocksize_bits;
3064
3065 /* first, let's learn actual file size
3066 * given current request is allocated */
3067 size = ac->ac_o_ex.fe_logical + ac->ac_o_ex.fe_len;
3068 size = size << bsbits;
3069 if (size < i_size_read(ac->ac_inode))
3070 size = i_size_read(ac->ac_inode);
3071
Valerie Clement19304792008-05-13 19:31:14 -04003072 /* max size of free chunks */
3073 max = 2 << bsbits;
Alex Tomasc9de5602008-01-29 00:19:52 -05003074
Valerie Clement19304792008-05-13 19:31:14 -04003075#define NRL_CHECK_SIZE(req, size, max, chunk_size) \
3076 (req <= (size) || max <= (chunk_size))
Alex Tomasc9de5602008-01-29 00:19:52 -05003077
3078 /* first, try to predict filesize */
3079 /* XXX: should this table be tunable? */
3080 start_off = 0;
3081 if (size <= 16 * 1024) {
3082 size = 16 * 1024;
3083 } else if (size <= 32 * 1024) {
3084 size = 32 * 1024;
3085 } else if (size <= 64 * 1024) {
3086 size = 64 * 1024;
3087 } else if (size <= 128 * 1024) {
3088 size = 128 * 1024;
3089 } else if (size <= 256 * 1024) {
3090 size = 256 * 1024;
3091 } else if (size <= 512 * 1024) {
3092 size = 512 * 1024;
3093 } else if (size <= 1024 * 1024) {
3094 size = 1024 * 1024;
Valerie Clement19304792008-05-13 19:31:14 -04003095 } else if (NRL_CHECK_SIZE(size, 4 * 1024 * 1024, max, 2 * 1024)) {
Alex Tomasc9de5602008-01-29 00:19:52 -05003096 start_off = ((loff_t)ac->ac_o_ex.fe_logical >>
Valerie Clement19304792008-05-13 19:31:14 -04003097 (21 - bsbits)) << 21;
3098 size = 2 * 1024 * 1024;
3099 } else if (NRL_CHECK_SIZE(size, 8 * 1024 * 1024, max, 4 * 1024)) {
Alex Tomasc9de5602008-01-29 00:19:52 -05003100 start_off = ((loff_t)ac->ac_o_ex.fe_logical >>
3101 (22 - bsbits)) << 22;
3102 size = 4 * 1024 * 1024;
3103 } else if (NRL_CHECK_SIZE(ac->ac_o_ex.fe_len,
Valerie Clement19304792008-05-13 19:31:14 -04003104 (8<<20)>>bsbits, max, 8 * 1024)) {
Alex Tomasc9de5602008-01-29 00:19:52 -05003105 start_off = ((loff_t)ac->ac_o_ex.fe_logical >>
3106 (23 - bsbits)) << 23;
3107 size = 8 * 1024 * 1024;
3108 } else {
3109 start_off = (loff_t)ac->ac_o_ex.fe_logical << bsbits;
3110 size = ac->ac_o_ex.fe_len << bsbits;
3111 }
3112 orig_size = size = size >> bsbits;
3113 orig_start = start = start_off >> bsbits;
3114
3115 /* don't cover already allocated blocks in selected range */
3116 if (ar->pleft && start <= ar->lleft) {
3117 size -= ar->lleft + 1 - start;
3118 start = ar->lleft + 1;
3119 }
3120 if (ar->pright && start + size - 1 >= ar->lright)
3121 size -= start + size - ar->lright;
3122
3123 end = start + size;
3124
3125 /* check we don't cross already preallocated blocks */
3126 rcu_read_lock();
Aneesh Kumar K.V9a0762c2008-04-17 10:38:59 -04003127 list_for_each_entry_rcu(pa, &ei->i_prealloc_list, pa_inode_list) {
Alex Tomasc9de5602008-01-29 00:19:52 -05003128 unsigned long pa_end;
3129
Alex Tomasc9de5602008-01-29 00:19:52 -05003130 if (pa->pa_deleted)
3131 continue;
3132 spin_lock(&pa->pa_lock);
3133 if (pa->pa_deleted) {
3134 spin_unlock(&pa->pa_lock);
3135 continue;
3136 }
3137
3138 pa_end = pa->pa_lstart + pa->pa_len;
3139
3140 /* PA must not overlap original request */
3141 BUG_ON(!(ac->ac_o_ex.fe_logical >= pa_end ||
3142 ac->ac_o_ex.fe_logical < pa->pa_lstart));
3143
3144 /* skip PA normalized request doesn't overlap with */
3145 if (pa->pa_lstart >= end) {
3146 spin_unlock(&pa->pa_lock);
3147 continue;
3148 }
3149 if (pa_end <= start) {
3150 spin_unlock(&pa->pa_lock);
3151 continue;
3152 }
3153 BUG_ON(pa->pa_lstart <= start && pa_end >= end);
3154
3155 if (pa_end <= ac->ac_o_ex.fe_logical) {
3156 BUG_ON(pa_end < start);
3157 start = pa_end;
3158 }
3159
3160 if (pa->pa_lstart > ac->ac_o_ex.fe_logical) {
3161 BUG_ON(pa->pa_lstart > end);
3162 end = pa->pa_lstart;
3163 }
3164 spin_unlock(&pa->pa_lock);
3165 }
3166 rcu_read_unlock();
3167 size = end - start;
3168
3169 /* XXX: extra loop to check we really don't overlap preallocations */
3170 rcu_read_lock();
Aneesh Kumar K.V9a0762c2008-04-17 10:38:59 -04003171 list_for_each_entry_rcu(pa, &ei->i_prealloc_list, pa_inode_list) {
Alex Tomasc9de5602008-01-29 00:19:52 -05003172 unsigned long pa_end;
Alex Tomasc9de5602008-01-29 00:19:52 -05003173 spin_lock(&pa->pa_lock);
3174 if (pa->pa_deleted == 0) {
3175 pa_end = pa->pa_lstart + pa->pa_len;
3176 BUG_ON(!(start >= pa_end || end <= pa->pa_lstart));
3177 }
3178 spin_unlock(&pa->pa_lock);
3179 }
3180 rcu_read_unlock();
3181
3182 if (start + size <= ac->ac_o_ex.fe_logical &&
3183 start > ac->ac_o_ex.fe_logical) {
3184 printk(KERN_ERR "start %lu, size %lu, fe_logical %lu\n",
3185 (unsigned long) start, (unsigned long) size,
3186 (unsigned long) ac->ac_o_ex.fe_logical);
3187 }
3188 BUG_ON(start + size <= ac->ac_o_ex.fe_logical &&
3189 start > ac->ac_o_ex.fe_logical);
3190 BUG_ON(size <= 0 || size >= EXT4_BLOCKS_PER_GROUP(ac->ac_sb));
3191
3192 /* now prepare goal request */
3193
3194 /* XXX: is it better to align blocks WRT to logical
3195 * placement or satisfy big request as is */
3196 ac->ac_g_ex.fe_logical = start;
3197 ac->ac_g_ex.fe_len = size;
3198
3199 /* define goal start in order to merge */
3200 if (ar->pright && (ar->lright == (start + size))) {
3201 /* merge to the right */
3202 ext4_get_group_no_and_offset(ac->ac_sb, ar->pright - size,
3203 &ac->ac_f_ex.fe_group,
3204 &ac->ac_f_ex.fe_start);
3205 ac->ac_flags |= EXT4_MB_HINT_TRY_GOAL;
3206 }
3207 if (ar->pleft && (ar->lleft + 1 == start)) {
3208 /* merge to the left */
3209 ext4_get_group_no_and_offset(ac->ac_sb, ar->pleft + 1,
3210 &ac->ac_f_ex.fe_group,
3211 &ac->ac_f_ex.fe_start);
3212 ac->ac_flags |= EXT4_MB_HINT_TRY_GOAL;
3213 }
3214
3215 mb_debug("goal: %u(was %u) blocks at %u\n", (unsigned) size,
3216 (unsigned) orig_size, (unsigned) start);
3217}
3218
3219static void ext4_mb_collect_stats(struct ext4_allocation_context *ac)
3220{
3221 struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
3222
3223 if (sbi->s_mb_stats && ac->ac_g_ex.fe_len > 1) {
3224 atomic_inc(&sbi->s_bal_reqs);
3225 atomic_add(ac->ac_b_ex.fe_len, &sbi->s_bal_allocated);
3226 if (ac->ac_o_ex.fe_len >= ac->ac_g_ex.fe_len)
3227 atomic_inc(&sbi->s_bal_success);
3228 atomic_add(ac->ac_found, &sbi->s_bal_ex_scanned);
3229 if (ac->ac_g_ex.fe_start == ac->ac_b_ex.fe_start &&
3230 ac->ac_g_ex.fe_group == ac->ac_b_ex.fe_group)
3231 atomic_inc(&sbi->s_bal_goals);
3232 if (ac->ac_found > sbi->s_mb_max_to_scan)
3233 atomic_inc(&sbi->s_bal_breaks);
3234 }
3235
3236 ext4_mb_store_history(ac);
3237}
3238
3239/*
3240 * use blocks preallocated to inode
3241 */
3242static void ext4_mb_use_inode_pa(struct ext4_allocation_context *ac,
3243 struct ext4_prealloc_space *pa)
3244{
3245 ext4_fsblk_t start;
3246 ext4_fsblk_t end;
3247 int len;
3248
3249 /* found preallocated blocks, use them */
3250 start = pa->pa_pstart + (ac->ac_o_ex.fe_logical - pa->pa_lstart);
3251 end = min(pa->pa_pstart + pa->pa_len, start + ac->ac_o_ex.fe_len);
3252 len = end - start;
3253 ext4_get_group_no_and_offset(ac->ac_sb, start, &ac->ac_b_ex.fe_group,
3254 &ac->ac_b_ex.fe_start);
3255 ac->ac_b_ex.fe_len = len;
3256 ac->ac_status = AC_STATUS_FOUND;
3257 ac->ac_pa = pa;
3258
3259 BUG_ON(start < pa->pa_pstart);
3260 BUG_ON(start + len > pa->pa_pstart + pa->pa_len);
3261 BUG_ON(pa->pa_free < len);
3262 pa->pa_free -= len;
3263
Solofo Ramangalahy60bd63d2008-04-29 21:59:59 -04003264 mb_debug("use %llu/%u from inode pa %p\n", start, len, pa);
Alex Tomasc9de5602008-01-29 00:19:52 -05003265}
3266
3267/*
3268 * use blocks preallocated to locality group
3269 */
3270static void ext4_mb_use_group_pa(struct ext4_allocation_context *ac,
3271 struct ext4_prealloc_space *pa)
3272{
Aneesh Kumar K.V03cddb82008-06-05 20:59:29 -04003273 unsigned int len = ac->ac_o_ex.fe_len;
Aneesh Kumar K.V6be2ded2008-07-23 14:14:05 -04003274
Alex Tomasc9de5602008-01-29 00:19:52 -05003275 ext4_get_group_no_and_offset(ac->ac_sb, pa->pa_pstart,
3276 &ac->ac_b_ex.fe_group,
3277 &ac->ac_b_ex.fe_start);
3278 ac->ac_b_ex.fe_len = len;
3279 ac->ac_status = AC_STATUS_FOUND;
3280 ac->ac_pa = pa;
3281
3282 /* we don't correct pa_pstart or pa_plen here to avoid
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05003283 * possible race when the group is being loaded concurrently
Alex Tomasc9de5602008-01-29 00:19:52 -05003284 * instead we correct pa later, after blocks are marked
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05003285 * in on-disk bitmap -- see ext4_mb_release_context()
3286 * Other CPUs are prevented from allocating from this pa by lg_mutex
Alex Tomasc9de5602008-01-29 00:19:52 -05003287 */
3288 mb_debug("use %u/%u from group pa %p\n", pa->pa_lstart-len, len, pa);
3289}
3290
3291/*
Aneesh Kumar K.V5e745b02008-08-18 18:00:57 -04003292 * Return the prealloc space that have minimal distance
3293 * from the goal block. @cpa is the prealloc
3294 * space that is having currently known minimal distance
3295 * from the goal block.
3296 */
3297static struct ext4_prealloc_space *
3298ext4_mb_check_group_pa(ext4_fsblk_t goal_block,
3299 struct ext4_prealloc_space *pa,
3300 struct ext4_prealloc_space *cpa)
3301{
3302 ext4_fsblk_t cur_distance, new_distance;
3303
3304 if (cpa == NULL) {
3305 atomic_inc(&pa->pa_count);
3306 return pa;
3307 }
3308 cur_distance = abs(goal_block - cpa->pa_pstart);
3309 new_distance = abs(goal_block - pa->pa_pstart);
3310
3311 if (cur_distance < new_distance)
3312 return cpa;
3313
3314 /* drop the previous reference */
3315 atomic_dec(&cpa->pa_count);
3316 atomic_inc(&pa->pa_count);
3317 return pa;
3318}
3319
3320/*
Alex Tomasc9de5602008-01-29 00:19:52 -05003321 * search goal blocks in preallocated space
3322 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003323static noinline_for_stack int
3324ext4_mb_use_preallocated(struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05003325{
Aneesh Kumar K.V6be2ded2008-07-23 14:14:05 -04003326 int order, i;
Alex Tomasc9de5602008-01-29 00:19:52 -05003327 struct ext4_inode_info *ei = EXT4_I(ac->ac_inode);
3328 struct ext4_locality_group *lg;
Aneesh Kumar K.V5e745b02008-08-18 18:00:57 -04003329 struct ext4_prealloc_space *pa, *cpa = NULL;
3330 ext4_fsblk_t goal_block;
Alex Tomasc9de5602008-01-29 00:19:52 -05003331
3332 /* only data can be preallocated */
3333 if (!(ac->ac_flags & EXT4_MB_HINT_DATA))
3334 return 0;
3335
3336 /* first, try per-file preallocation */
3337 rcu_read_lock();
Aneesh Kumar K.V9a0762c2008-04-17 10:38:59 -04003338 list_for_each_entry_rcu(pa, &ei->i_prealloc_list, pa_inode_list) {
Alex Tomasc9de5602008-01-29 00:19:52 -05003339
3340 /* all fields in this condition don't change,
3341 * so we can skip locking for them */
3342 if (ac->ac_o_ex.fe_logical < pa->pa_lstart ||
3343 ac->ac_o_ex.fe_logical >= pa->pa_lstart + pa->pa_len)
3344 continue;
3345
3346 /* found preallocated blocks, use them */
3347 spin_lock(&pa->pa_lock);
3348 if (pa->pa_deleted == 0 && pa->pa_free) {
3349 atomic_inc(&pa->pa_count);
3350 ext4_mb_use_inode_pa(ac, pa);
3351 spin_unlock(&pa->pa_lock);
3352 ac->ac_criteria = 10;
3353 rcu_read_unlock();
3354 return 1;
3355 }
3356 spin_unlock(&pa->pa_lock);
3357 }
3358 rcu_read_unlock();
3359
3360 /* can we use group allocation? */
3361 if (!(ac->ac_flags & EXT4_MB_HINT_GROUP_ALLOC))
3362 return 0;
3363
3364 /* inode may have no locality group for some reason */
3365 lg = ac->ac_lg;
3366 if (lg == NULL)
3367 return 0;
Aneesh Kumar K.V6be2ded2008-07-23 14:14:05 -04003368 order = fls(ac->ac_o_ex.fe_len) - 1;
3369 if (order > PREALLOC_TB_SIZE - 1)
3370 /* The max size of hash table is PREALLOC_TB_SIZE */
3371 order = PREALLOC_TB_SIZE - 1;
Alex Tomasc9de5602008-01-29 00:19:52 -05003372
Aneesh Kumar K.V5e745b02008-08-18 18:00:57 -04003373 goal_block = ac->ac_g_ex.fe_group * EXT4_BLOCKS_PER_GROUP(ac->ac_sb) +
3374 ac->ac_g_ex.fe_start +
3375 le32_to_cpu(EXT4_SB(ac->ac_sb)->s_es->s_first_data_block);
3376 /*
3377 * search for the prealloc space that is having
3378 * minimal distance from the goal block.
3379 */
Aneesh Kumar K.V6be2ded2008-07-23 14:14:05 -04003380 for (i = order; i < PREALLOC_TB_SIZE; i++) {
3381 rcu_read_lock();
3382 list_for_each_entry_rcu(pa, &lg->lg_prealloc_list[i],
3383 pa_inode_list) {
3384 spin_lock(&pa->pa_lock);
3385 if (pa->pa_deleted == 0 &&
3386 pa->pa_free >= ac->ac_o_ex.fe_len) {
Aneesh Kumar K.V5e745b02008-08-18 18:00:57 -04003387
3388 cpa = ext4_mb_check_group_pa(goal_block,
3389 pa, cpa);
Aneesh Kumar K.V6be2ded2008-07-23 14:14:05 -04003390 }
Alex Tomasc9de5602008-01-29 00:19:52 -05003391 spin_unlock(&pa->pa_lock);
Alex Tomasc9de5602008-01-29 00:19:52 -05003392 }
Aneesh Kumar K.V6be2ded2008-07-23 14:14:05 -04003393 rcu_read_unlock();
Alex Tomasc9de5602008-01-29 00:19:52 -05003394 }
Aneesh Kumar K.V5e745b02008-08-18 18:00:57 -04003395 if (cpa) {
3396 ext4_mb_use_group_pa(ac, cpa);
3397 ac->ac_criteria = 20;
3398 return 1;
3399 }
Alex Tomasc9de5602008-01-29 00:19:52 -05003400 return 0;
3401}
3402
3403/*
3404 * the function goes through all preallocation in this group and marks them
3405 * used in in-core bitmap. buddy must be generated from this bitmap
3406 * Need to be called with ext4 group lock (ext4_lock_group)
3407 */
3408static void ext4_mb_generate_from_pa(struct super_block *sb, void *bitmap,
3409 ext4_group_t group)
3410{
3411 struct ext4_group_info *grp = ext4_get_group_info(sb, group);
3412 struct ext4_prealloc_space *pa;
3413 struct list_head *cur;
3414 ext4_group_t groupnr;
3415 ext4_grpblk_t start;
3416 int preallocated = 0;
3417 int count = 0;
3418 int len;
3419
3420 /* all form of preallocation discards first load group,
3421 * so the only competing code is preallocation use.
3422 * we don't need any locking here
3423 * notice we do NOT ignore preallocations with pa_deleted
3424 * otherwise we could leave used blocks available for
3425 * allocation in buddy when concurrent ext4_mb_put_pa()
3426 * is dropping preallocation
3427 */
3428 list_for_each(cur, &grp->bb_prealloc_list) {
3429 pa = list_entry(cur, struct ext4_prealloc_space, pa_group_list);
3430 spin_lock(&pa->pa_lock);
3431 ext4_get_group_no_and_offset(sb, pa->pa_pstart,
3432 &groupnr, &start);
3433 len = pa->pa_len;
3434 spin_unlock(&pa->pa_lock);
3435 if (unlikely(len == 0))
3436 continue;
3437 BUG_ON(groupnr != group);
3438 mb_set_bits(sb_bgl_lock(EXT4_SB(sb), group),
3439 bitmap, start, len);
3440 preallocated += len;
3441 count++;
3442 }
3443 mb_debug("prellocated %u for group %lu\n", preallocated, group);
3444}
3445
3446static void ext4_mb_pa_callback(struct rcu_head *head)
3447{
3448 struct ext4_prealloc_space *pa;
3449 pa = container_of(head, struct ext4_prealloc_space, u.pa_rcu);
3450 kmem_cache_free(ext4_pspace_cachep, pa);
3451}
3452
3453/*
3454 * drops a reference to preallocated space descriptor
3455 * if this was the last reference and the space is consumed
3456 */
3457static void ext4_mb_put_pa(struct ext4_allocation_context *ac,
3458 struct super_block *sb, struct ext4_prealloc_space *pa)
3459{
3460 unsigned long grp;
3461
3462 if (!atomic_dec_and_test(&pa->pa_count) || pa->pa_free != 0)
3463 return;
3464
3465 /* in this short window concurrent discard can set pa_deleted */
3466 spin_lock(&pa->pa_lock);
3467 if (pa->pa_deleted == 1) {
3468 spin_unlock(&pa->pa_lock);
3469 return;
3470 }
3471
3472 pa->pa_deleted = 1;
3473 spin_unlock(&pa->pa_lock);
3474
3475 /* -1 is to protect from crossing allocation group */
3476 ext4_get_group_no_and_offset(sb, pa->pa_pstart - 1, &grp, NULL);
3477
3478 /*
3479 * possible race:
3480 *
3481 * P1 (buddy init) P2 (regular allocation)
3482 * find block B in PA
3483 * copy on-disk bitmap to buddy
3484 * mark B in on-disk bitmap
3485 * drop PA from group
3486 * mark all PAs in buddy
3487 *
3488 * thus, P1 initializes buddy with B available. to prevent this
3489 * we make "copy" and "mark all PAs" atomic and serialize "drop PA"
3490 * against that pair
3491 */
3492 ext4_lock_group(sb, grp);
3493 list_del(&pa->pa_group_list);
3494 ext4_unlock_group(sb, grp);
3495
3496 spin_lock(pa->pa_obj_lock);
3497 list_del_rcu(&pa->pa_inode_list);
3498 spin_unlock(pa->pa_obj_lock);
3499
3500 call_rcu(&(pa)->u.pa_rcu, ext4_mb_pa_callback);
3501}
3502
3503/*
3504 * creates new preallocated space for given inode
3505 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003506static noinline_for_stack int
3507ext4_mb_new_inode_pa(struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05003508{
3509 struct super_block *sb = ac->ac_sb;
3510 struct ext4_prealloc_space *pa;
3511 struct ext4_group_info *grp;
3512 struct ext4_inode_info *ei;
3513
3514 /* preallocate only when found space is larger then requested */
3515 BUG_ON(ac->ac_o_ex.fe_len >= ac->ac_b_ex.fe_len);
3516 BUG_ON(ac->ac_status != AC_STATUS_FOUND);
3517 BUG_ON(!S_ISREG(ac->ac_inode->i_mode));
3518
3519 pa = kmem_cache_alloc(ext4_pspace_cachep, GFP_NOFS);
3520 if (pa == NULL)
3521 return -ENOMEM;
3522
3523 if (ac->ac_b_ex.fe_len < ac->ac_g_ex.fe_len) {
3524 int winl;
3525 int wins;
3526 int win;
3527 int offs;
3528
3529 /* we can't allocate as much as normalizer wants.
3530 * so, found space must get proper lstart
3531 * to cover original request */
3532 BUG_ON(ac->ac_g_ex.fe_logical > ac->ac_o_ex.fe_logical);
3533 BUG_ON(ac->ac_g_ex.fe_len < ac->ac_o_ex.fe_len);
3534
3535 /* we're limited by original request in that
3536 * logical block must be covered any way
3537 * winl is window we can move our chunk within */
3538 winl = ac->ac_o_ex.fe_logical - ac->ac_g_ex.fe_logical;
3539
3540 /* also, we should cover whole original request */
3541 wins = ac->ac_b_ex.fe_len - ac->ac_o_ex.fe_len;
3542
3543 /* the smallest one defines real window */
3544 win = min(winl, wins);
3545
3546 offs = ac->ac_o_ex.fe_logical % ac->ac_b_ex.fe_len;
3547 if (offs && offs < win)
3548 win = offs;
3549
3550 ac->ac_b_ex.fe_logical = ac->ac_o_ex.fe_logical - win;
3551 BUG_ON(ac->ac_o_ex.fe_logical < ac->ac_b_ex.fe_logical);
3552 BUG_ON(ac->ac_o_ex.fe_len > ac->ac_b_ex.fe_len);
3553 }
3554
3555 /* preallocation can change ac_b_ex, thus we store actually
3556 * allocated blocks for history */
3557 ac->ac_f_ex = ac->ac_b_ex;
3558
3559 pa->pa_lstart = ac->ac_b_ex.fe_logical;
3560 pa->pa_pstart = ext4_grp_offs_to_block(sb, &ac->ac_b_ex);
3561 pa->pa_len = ac->ac_b_ex.fe_len;
3562 pa->pa_free = pa->pa_len;
3563 atomic_set(&pa->pa_count, 1);
3564 spin_lock_init(&pa->pa_lock);
3565 pa->pa_deleted = 0;
3566 pa->pa_linear = 0;
3567
3568 mb_debug("new inode pa %p: %llu/%u for %u\n", pa,
3569 pa->pa_pstart, pa->pa_len, pa->pa_lstart);
3570
3571 ext4_mb_use_inode_pa(ac, pa);
3572 atomic_add(pa->pa_free, &EXT4_SB(sb)->s_mb_preallocated);
3573
3574 ei = EXT4_I(ac->ac_inode);
3575 grp = ext4_get_group_info(sb, ac->ac_b_ex.fe_group);
3576
3577 pa->pa_obj_lock = &ei->i_prealloc_lock;
3578 pa->pa_inode = ac->ac_inode;
3579
3580 ext4_lock_group(sb, ac->ac_b_ex.fe_group);
3581 list_add(&pa->pa_group_list, &grp->bb_prealloc_list);
3582 ext4_unlock_group(sb, ac->ac_b_ex.fe_group);
3583
3584 spin_lock(pa->pa_obj_lock);
3585 list_add_rcu(&pa->pa_inode_list, &ei->i_prealloc_list);
3586 spin_unlock(pa->pa_obj_lock);
3587
3588 return 0;
3589}
3590
3591/*
3592 * creates new preallocated space for locality group inodes belongs to
3593 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003594static noinline_for_stack int
3595ext4_mb_new_group_pa(struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05003596{
3597 struct super_block *sb = ac->ac_sb;
3598 struct ext4_locality_group *lg;
3599 struct ext4_prealloc_space *pa;
3600 struct ext4_group_info *grp;
3601
3602 /* preallocate only when found space is larger then requested */
3603 BUG_ON(ac->ac_o_ex.fe_len >= ac->ac_b_ex.fe_len);
3604 BUG_ON(ac->ac_status != AC_STATUS_FOUND);
3605 BUG_ON(!S_ISREG(ac->ac_inode->i_mode));
3606
3607 BUG_ON(ext4_pspace_cachep == NULL);
3608 pa = kmem_cache_alloc(ext4_pspace_cachep, GFP_NOFS);
3609 if (pa == NULL)
3610 return -ENOMEM;
3611
3612 /* preallocation can change ac_b_ex, thus we store actually
3613 * allocated blocks for history */
3614 ac->ac_f_ex = ac->ac_b_ex;
3615
3616 pa->pa_pstart = ext4_grp_offs_to_block(sb, &ac->ac_b_ex);
3617 pa->pa_lstart = pa->pa_pstart;
3618 pa->pa_len = ac->ac_b_ex.fe_len;
3619 pa->pa_free = pa->pa_len;
3620 atomic_set(&pa->pa_count, 1);
3621 spin_lock_init(&pa->pa_lock);
Aneesh Kumar K.V6be2ded2008-07-23 14:14:05 -04003622 INIT_LIST_HEAD(&pa->pa_inode_list);
Alex Tomasc9de5602008-01-29 00:19:52 -05003623 pa->pa_deleted = 0;
3624 pa->pa_linear = 1;
3625
3626 mb_debug("new group pa %p: %llu/%u for %u\n", pa,
3627 pa->pa_pstart, pa->pa_len, pa->pa_lstart);
3628
3629 ext4_mb_use_group_pa(ac, pa);
3630 atomic_add(pa->pa_free, &EXT4_SB(sb)->s_mb_preallocated);
3631
3632 grp = ext4_get_group_info(sb, ac->ac_b_ex.fe_group);
3633 lg = ac->ac_lg;
3634 BUG_ON(lg == NULL);
3635
3636 pa->pa_obj_lock = &lg->lg_prealloc_lock;
3637 pa->pa_inode = NULL;
3638
3639 ext4_lock_group(sb, ac->ac_b_ex.fe_group);
3640 list_add(&pa->pa_group_list, &grp->bb_prealloc_list);
3641 ext4_unlock_group(sb, ac->ac_b_ex.fe_group);
3642
Aneesh Kumar K.V6be2ded2008-07-23 14:14:05 -04003643 /*
3644 * We will later add the new pa to the right bucket
3645 * after updating the pa_free in ext4_mb_release_context
3646 */
Alex Tomasc9de5602008-01-29 00:19:52 -05003647 return 0;
3648}
3649
3650static int ext4_mb_new_preallocation(struct ext4_allocation_context *ac)
3651{
3652 int err;
3653
3654 if (ac->ac_flags & EXT4_MB_HINT_GROUP_ALLOC)
3655 err = ext4_mb_new_group_pa(ac);
3656 else
3657 err = ext4_mb_new_inode_pa(ac);
3658 return err;
3659}
3660
3661/*
3662 * finds all unused blocks in on-disk bitmap, frees them in
3663 * in-core bitmap and buddy.
3664 * @pa must be unlinked from inode and group lists, so that
3665 * nobody else can find/use it.
3666 * the caller MUST hold group/inode locks.
3667 * TODO: optimize the case when there are no in-core structures yet
3668 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003669static noinline_for_stack int
3670ext4_mb_release_inode_pa(struct ext4_buddy *e4b, struct buffer_head *bitmap_bh,
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003671 struct ext4_prealloc_space *pa,
3672 struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05003673{
Alex Tomasc9de5602008-01-29 00:19:52 -05003674 struct super_block *sb = e4b->bd_sb;
3675 struct ext4_sb_info *sbi = EXT4_SB(sb);
3676 unsigned long end;
3677 unsigned long next;
3678 ext4_group_t group;
3679 ext4_grpblk_t bit;
3680 sector_t start;
3681 int err = 0;
3682 int free = 0;
3683
3684 BUG_ON(pa->pa_deleted == 0);
3685 ext4_get_group_no_and_offset(sb, pa->pa_pstart, &group, &bit);
3686 BUG_ON(group != e4b->bd_group && pa->pa_len != 0);
3687 end = bit + pa->pa_len;
3688
Eric Sandeen256bdb42008-02-10 01:13:33 -05003689 if (ac) {
3690 ac->ac_sb = sb;
3691 ac->ac_inode = pa->pa_inode;
3692 ac->ac_op = EXT4_MB_HISTORY_DISCARD;
3693 }
Alex Tomasc9de5602008-01-29 00:19:52 -05003694
3695 while (bit < end) {
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -05003696 bit = mb_find_next_zero_bit(bitmap_bh->b_data, end, bit);
Alex Tomasc9de5602008-01-29 00:19:52 -05003697 if (bit >= end)
3698 break;
Aneesh Kumar K.Vffad0a42008-02-23 01:38:34 -05003699 next = mb_find_next_bit(bitmap_bh->b_data, end, bit);
Alex Tomasc9de5602008-01-29 00:19:52 -05003700 start = group * EXT4_BLOCKS_PER_GROUP(sb) + bit +
3701 le32_to_cpu(sbi->s_es->s_first_data_block);
3702 mb_debug(" free preallocated %u/%u in group %u\n",
3703 (unsigned) start, (unsigned) next - bit,
3704 (unsigned) group);
3705 free += next - bit;
3706
Eric Sandeen256bdb42008-02-10 01:13:33 -05003707 if (ac) {
3708 ac->ac_b_ex.fe_group = group;
3709 ac->ac_b_ex.fe_start = bit;
3710 ac->ac_b_ex.fe_len = next - bit;
3711 ac->ac_b_ex.fe_logical = 0;
3712 ext4_mb_store_history(ac);
3713 }
Alex Tomasc9de5602008-01-29 00:19:52 -05003714
3715 mb_free_blocks(pa->pa_inode, e4b, bit, next - bit);
3716 bit = next + 1;
3717 }
3718 if (free != pa->pa_free) {
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05003719 printk(KERN_CRIT "pa %p: logic %lu, phys. %lu, len %lu\n",
Alex Tomasc9de5602008-01-29 00:19:52 -05003720 pa, (unsigned long) pa->pa_lstart,
3721 (unsigned long) pa->pa_pstart,
3722 (unsigned long) pa->pa_len);
Harvey Harrison46e665e2008-04-17 10:38:59 -04003723 ext4_error(sb, __func__, "free %u, pa_free %u\n",
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05003724 free, pa->pa_free);
Aneesh Kumar K.Ve56eb652008-02-15 13:48:21 -05003725 /*
3726 * pa is already deleted so we use the value obtained
3727 * from the bitmap and continue.
3728 */
Alex Tomasc9de5602008-01-29 00:19:52 -05003729 }
Alex Tomasc9de5602008-01-29 00:19:52 -05003730 atomic_add(free, &sbi->s_mb_discarded);
3731
3732 return err;
3733}
3734
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003735static noinline_for_stack int
3736ext4_mb_release_group_pa(struct ext4_buddy *e4b,
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003737 struct ext4_prealloc_space *pa,
3738 struct ext4_allocation_context *ac)
Alex Tomasc9de5602008-01-29 00:19:52 -05003739{
Alex Tomasc9de5602008-01-29 00:19:52 -05003740 struct super_block *sb = e4b->bd_sb;
3741 ext4_group_t group;
3742 ext4_grpblk_t bit;
3743
Eric Sandeen256bdb42008-02-10 01:13:33 -05003744 if (ac)
3745 ac->ac_op = EXT4_MB_HISTORY_DISCARD;
Alex Tomasc9de5602008-01-29 00:19:52 -05003746
3747 BUG_ON(pa->pa_deleted == 0);
3748 ext4_get_group_no_and_offset(sb, pa->pa_pstart, &group, &bit);
3749 BUG_ON(group != e4b->bd_group && pa->pa_len != 0);
3750 mb_free_blocks(pa->pa_inode, e4b, bit, pa->pa_len);
3751 atomic_add(pa->pa_len, &EXT4_SB(sb)->s_mb_discarded);
3752
Eric Sandeen256bdb42008-02-10 01:13:33 -05003753 if (ac) {
3754 ac->ac_sb = sb;
3755 ac->ac_inode = NULL;
3756 ac->ac_b_ex.fe_group = group;
3757 ac->ac_b_ex.fe_start = bit;
3758 ac->ac_b_ex.fe_len = pa->pa_len;
3759 ac->ac_b_ex.fe_logical = 0;
3760 ext4_mb_store_history(ac);
Eric Sandeen256bdb42008-02-10 01:13:33 -05003761 }
Alex Tomasc9de5602008-01-29 00:19:52 -05003762
3763 return 0;
3764}
3765
3766/*
3767 * releases all preallocations in given group
3768 *
3769 * first, we need to decide discard policy:
3770 * - when do we discard
3771 * 1) ENOSPC
3772 * - how many do we discard
3773 * 1) how many requested
3774 */
Eric Sandeen4ddfef72008-04-29 08:11:12 -04003775static noinline_for_stack int
3776ext4_mb_discard_group_preallocations(struct super_block *sb,
Alex Tomasc9de5602008-01-29 00:19:52 -05003777 ext4_group_t group, int needed)
3778{
3779 struct ext4_group_info *grp = ext4_get_group_info(sb, group);
3780 struct buffer_head *bitmap_bh = NULL;
3781 struct ext4_prealloc_space *pa, *tmp;
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003782 struct ext4_allocation_context *ac;
Alex Tomasc9de5602008-01-29 00:19:52 -05003783 struct list_head list;
3784 struct ext4_buddy e4b;
3785 int err;
3786 int busy = 0;
3787 int free = 0;
3788
3789 mb_debug("discard preallocation for group %lu\n", group);
3790
3791 if (list_empty(&grp->bb_prealloc_list))
3792 return 0;
3793
Theodore Ts'o574ca172008-07-11 19:27:31 -04003794 bitmap_bh = ext4_read_block_bitmap(sb, group);
Alex Tomasc9de5602008-01-29 00:19:52 -05003795 if (bitmap_bh == NULL) {
Aneesh Kumar K.Vce89f462008-07-23 14:09:29 -04003796 ext4_error(sb, __func__, "Error in reading block "
3797 "bitmap for %lu\n", group);
3798 return 0;
Alex Tomasc9de5602008-01-29 00:19:52 -05003799 }
3800
3801 err = ext4_mb_load_buddy(sb, group, &e4b);
Aneesh Kumar K.Vce89f462008-07-23 14:09:29 -04003802 if (err) {
3803 ext4_error(sb, __func__, "Error in loading buddy "
3804 "information for %lu\n", group);
3805 put_bh(bitmap_bh);
3806 return 0;
3807 }
Alex Tomasc9de5602008-01-29 00:19:52 -05003808
3809 if (needed == 0)
3810 needed = EXT4_BLOCKS_PER_GROUP(sb) + 1;
3811
Alex Tomasc9de5602008-01-29 00:19:52 -05003812 INIT_LIST_HEAD(&list);
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003813 ac = kmem_cache_alloc(ext4_ac_cachep, GFP_NOFS);
Alex Tomasc9de5602008-01-29 00:19:52 -05003814repeat:
3815 ext4_lock_group(sb, group);
3816 list_for_each_entry_safe(pa, tmp,
3817 &grp->bb_prealloc_list, pa_group_list) {
3818 spin_lock(&pa->pa_lock);
3819 if (atomic_read(&pa->pa_count)) {
3820 spin_unlock(&pa->pa_lock);
3821 busy = 1;
3822 continue;
3823 }
3824 if (pa->pa_deleted) {
3825 spin_unlock(&pa->pa_lock);
3826 continue;
3827 }
3828
3829 /* seems this one can be freed ... */
3830 pa->pa_deleted = 1;
3831
3832 /* we can trust pa_free ... */
3833 free += pa->pa_free;
3834
3835 spin_unlock(&pa->pa_lock);
3836
3837 list_del(&pa->pa_group_list);
3838 list_add(&pa->u.pa_tmp_list, &list);
3839 }
3840
3841 /* if we still need more blocks and some PAs were used, try again */
3842 if (free < needed && busy) {
3843 busy = 0;
3844 ext4_unlock_group(sb, group);
3845 /*
3846 * Yield the CPU here so that we don't get soft lockup
3847 * in non preempt case.
3848 */
3849 yield();
3850 goto repeat;
3851 }
3852
3853 /* found anything to free? */
3854 if (list_empty(&list)) {
3855 BUG_ON(free != 0);
3856 goto out;
3857 }
3858
3859 /* now free all selected PAs */
3860 list_for_each_entry_safe(pa, tmp, &list, u.pa_tmp_list) {
3861
3862 /* remove from object (inode or locality group) */
3863 spin_lock(pa->pa_obj_lock);
3864 list_del_rcu(&pa->pa_inode_list);
3865 spin_unlock(pa->pa_obj_lock);
3866
3867 if (pa->pa_linear)
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003868 ext4_mb_release_group_pa(&e4b, pa, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05003869 else
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003870 ext4_mb_release_inode_pa(&e4b, bitmap_bh, pa, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05003871
3872 list_del(&pa->u.pa_tmp_list);
3873 call_rcu(&(pa)->u.pa_rcu, ext4_mb_pa_callback);
3874 }
3875
3876out:
3877 ext4_unlock_group(sb, group);
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003878 if (ac)
3879 kmem_cache_free(ext4_ac_cachep, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05003880 ext4_mb_release_desc(&e4b);
3881 put_bh(bitmap_bh);
3882 return free;
3883}
3884
3885/*
3886 * releases all non-used preallocated blocks for given inode
3887 *
3888 * It's important to discard preallocations under i_data_sem
3889 * We don't want another block to be served from the prealloc
3890 * space when we are discarding the inode prealloc space.
3891 *
3892 * FIXME!! Make sure it is valid at all the call sites
3893 */
3894void ext4_mb_discard_inode_preallocations(struct inode *inode)
3895{
3896 struct ext4_inode_info *ei = EXT4_I(inode);
3897 struct super_block *sb = inode->i_sb;
3898 struct buffer_head *bitmap_bh = NULL;
3899 struct ext4_prealloc_space *pa, *tmp;
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003900 struct ext4_allocation_context *ac;
Alex Tomasc9de5602008-01-29 00:19:52 -05003901 ext4_group_t group = 0;
3902 struct list_head list;
3903 struct ext4_buddy e4b;
3904 int err;
3905
3906 if (!test_opt(sb, MBALLOC) || !S_ISREG(inode->i_mode)) {
3907 /*BUG_ON(!list_empty(&ei->i_prealloc_list));*/
3908 return;
3909 }
3910
3911 mb_debug("discard preallocation for inode %lu\n", inode->i_ino);
3912
3913 INIT_LIST_HEAD(&list);
3914
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003915 ac = kmem_cache_alloc(ext4_ac_cachep, GFP_NOFS);
Alex Tomasc9de5602008-01-29 00:19:52 -05003916repeat:
3917 /* first, collect all pa's in the inode */
3918 spin_lock(&ei->i_prealloc_lock);
3919 while (!list_empty(&ei->i_prealloc_list)) {
3920 pa = list_entry(ei->i_prealloc_list.next,
3921 struct ext4_prealloc_space, pa_inode_list);
3922 BUG_ON(pa->pa_obj_lock != &ei->i_prealloc_lock);
3923 spin_lock(&pa->pa_lock);
3924 if (atomic_read(&pa->pa_count)) {
3925 /* this shouldn't happen often - nobody should
3926 * use preallocation while we're discarding it */
3927 spin_unlock(&pa->pa_lock);
3928 spin_unlock(&ei->i_prealloc_lock);
3929 printk(KERN_ERR "uh-oh! used pa while discarding\n");
3930 WARN_ON(1);
3931 schedule_timeout_uninterruptible(HZ);
3932 goto repeat;
3933
3934 }
3935 if (pa->pa_deleted == 0) {
3936 pa->pa_deleted = 1;
3937 spin_unlock(&pa->pa_lock);
3938 list_del_rcu(&pa->pa_inode_list);
3939 list_add(&pa->u.pa_tmp_list, &list);
3940 continue;
3941 }
3942
3943 /* someone is deleting pa right now */
3944 spin_unlock(&pa->pa_lock);
3945 spin_unlock(&ei->i_prealloc_lock);
3946
3947 /* we have to wait here because pa_deleted
3948 * doesn't mean pa is already unlinked from
3949 * the list. as we might be called from
3950 * ->clear_inode() the inode will get freed
3951 * and concurrent thread which is unlinking
3952 * pa from inode's list may access already
3953 * freed memory, bad-bad-bad */
3954
3955 /* XXX: if this happens too often, we can
3956 * add a flag to force wait only in case
3957 * of ->clear_inode(), but not in case of
3958 * regular truncate */
3959 schedule_timeout_uninterruptible(HZ);
3960 goto repeat;
3961 }
3962 spin_unlock(&ei->i_prealloc_lock);
3963
3964 list_for_each_entry_safe(pa, tmp, &list, u.pa_tmp_list) {
3965 BUG_ON(pa->pa_linear != 0);
3966 ext4_get_group_no_and_offset(sb, pa->pa_pstart, &group, NULL);
3967
3968 err = ext4_mb_load_buddy(sb, group, &e4b);
Aneesh Kumar K.Vce89f462008-07-23 14:09:29 -04003969 if (err) {
3970 ext4_error(sb, __func__, "Error in loading buddy "
3971 "information for %lu\n", group);
3972 continue;
3973 }
Alex Tomasc9de5602008-01-29 00:19:52 -05003974
Theodore Ts'o574ca172008-07-11 19:27:31 -04003975 bitmap_bh = ext4_read_block_bitmap(sb, group);
Alex Tomasc9de5602008-01-29 00:19:52 -05003976 if (bitmap_bh == NULL) {
Aneesh Kumar K.Vce89f462008-07-23 14:09:29 -04003977 ext4_error(sb, __func__, "Error in reading block "
3978 "bitmap for %lu\n", group);
Alex Tomasc9de5602008-01-29 00:19:52 -05003979 ext4_mb_release_desc(&e4b);
Aneesh Kumar K.Vce89f462008-07-23 14:09:29 -04003980 continue;
Alex Tomasc9de5602008-01-29 00:19:52 -05003981 }
3982
3983 ext4_lock_group(sb, group);
3984 list_del(&pa->pa_group_list);
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003985 ext4_mb_release_inode_pa(&e4b, bitmap_bh, pa, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05003986 ext4_unlock_group(sb, group);
3987
3988 ext4_mb_release_desc(&e4b);
3989 put_bh(bitmap_bh);
3990
3991 list_del(&pa->u.pa_tmp_list);
3992 call_rcu(&(pa)->u.pa_rcu, ext4_mb_pa_callback);
3993 }
Aneesh Kumar K.Vc83617d2008-04-29 22:00:47 -04003994 if (ac)
3995 kmem_cache_free(ext4_ac_cachep, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05003996}
3997
3998/*
3999 * finds all preallocated spaces and return blocks being freed to them
4000 * if preallocated space becomes full (no block is used from the space)
4001 * then the function frees space in buddy
4002 * XXX: at the moment, truncate (which is the only way to free blocks)
4003 * discards all preallocations
4004 */
4005static void ext4_mb_return_to_preallocation(struct inode *inode,
4006 struct ext4_buddy *e4b,
4007 sector_t block, int count)
4008{
4009 BUG_ON(!list_empty(&EXT4_I(inode)->i_prealloc_list));
4010}
4011#ifdef MB_DEBUG
4012static void ext4_mb_show_ac(struct ext4_allocation_context *ac)
4013{
4014 struct super_block *sb = ac->ac_sb;
4015 ext4_group_t i;
4016
4017 printk(KERN_ERR "EXT4-fs: Can't allocate:"
4018 " Allocation context details:\n");
4019 printk(KERN_ERR "EXT4-fs: status %d flags %d\n",
4020 ac->ac_status, ac->ac_flags);
4021 printk(KERN_ERR "EXT4-fs: orig %lu/%lu/%lu@%lu, goal %lu/%lu/%lu@%lu, "
4022 "best %lu/%lu/%lu@%lu cr %d\n",
4023 (unsigned long)ac->ac_o_ex.fe_group,
4024 (unsigned long)ac->ac_o_ex.fe_start,
4025 (unsigned long)ac->ac_o_ex.fe_len,
4026 (unsigned long)ac->ac_o_ex.fe_logical,
4027 (unsigned long)ac->ac_g_ex.fe_group,
4028 (unsigned long)ac->ac_g_ex.fe_start,
4029 (unsigned long)ac->ac_g_ex.fe_len,
4030 (unsigned long)ac->ac_g_ex.fe_logical,
4031 (unsigned long)ac->ac_b_ex.fe_group,
4032 (unsigned long)ac->ac_b_ex.fe_start,
4033 (unsigned long)ac->ac_b_ex.fe_len,
4034 (unsigned long)ac->ac_b_ex.fe_logical,
4035 (int)ac->ac_criteria);
4036 printk(KERN_ERR "EXT4-fs: %lu scanned, %d found\n", ac->ac_ex_scanned,
4037 ac->ac_found);
4038 printk(KERN_ERR "EXT4-fs: groups: \n");
4039 for (i = 0; i < EXT4_SB(sb)->s_groups_count; i++) {
4040 struct ext4_group_info *grp = ext4_get_group_info(sb, i);
4041 struct ext4_prealloc_space *pa;
4042 ext4_grpblk_t start;
4043 struct list_head *cur;
4044 ext4_lock_group(sb, i);
4045 list_for_each(cur, &grp->bb_prealloc_list) {
4046 pa = list_entry(cur, struct ext4_prealloc_space,
4047 pa_group_list);
4048 spin_lock(&pa->pa_lock);
4049 ext4_get_group_no_and_offset(sb, pa->pa_pstart,
4050 NULL, &start);
4051 spin_unlock(&pa->pa_lock);
4052 printk(KERN_ERR "PA:%lu:%d:%u \n", i,
4053 start, pa->pa_len);
4054 }
Solofo Ramangalahy60bd63d2008-04-29 21:59:59 -04004055 ext4_unlock_group(sb, i);
Alex Tomasc9de5602008-01-29 00:19:52 -05004056
4057 if (grp->bb_free == 0)
4058 continue;
4059 printk(KERN_ERR "%lu: %d/%d \n",
4060 i, grp->bb_free, grp->bb_fragments);
4061 }
4062 printk(KERN_ERR "\n");
4063}
4064#else
4065static inline void ext4_mb_show_ac(struct ext4_allocation_context *ac)
4066{
4067 return;
4068}
4069#endif
4070
4071/*
4072 * We use locality group preallocation for small size file. The size of the
4073 * file is determined by the current size or the resulting size after
4074 * allocation which ever is larger
4075 *
4076 * One can tune this size via /proc/fs/ext4/<partition>/stream_req
4077 */
4078static void ext4_mb_group_or_file(struct ext4_allocation_context *ac)
4079{
4080 struct ext4_sb_info *sbi = EXT4_SB(ac->ac_sb);
4081 int bsbits = ac->ac_sb->s_blocksize_bits;
4082 loff_t size, isize;
4083
4084 if (!(ac->ac_flags & EXT4_MB_HINT_DATA))
4085 return;
4086
4087 size = ac->ac_o_ex.fe_logical + ac->ac_o_ex.fe_len;
4088 isize = i_size_read(ac->ac_inode) >> bsbits;
4089 size = max(size, isize);
4090
4091 /* don't use group allocation for large files */
4092 if (size >= sbi->s_mb_stream_request)
4093 return;
4094
4095 if (unlikely(ac->ac_flags & EXT4_MB_HINT_GOAL_ONLY))
4096 return;
4097
4098 BUG_ON(ac->ac_lg != NULL);
4099 /*
4100 * locality group prealloc space are per cpu. The reason for having
4101 * per cpu locality group is to reduce the contention between block
4102 * request from multiple CPUs.
4103 */
4104 ac->ac_lg = &sbi->s_locality_groups[get_cpu()];
4105 put_cpu();
4106
4107 /* we're going to use group allocation */
4108 ac->ac_flags |= EXT4_MB_HINT_GROUP_ALLOC;
4109
4110 /* serialize all allocations in the group */
4111 mutex_lock(&ac->ac_lg->lg_mutex);
4112}
4113
Eric Sandeen4ddfef72008-04-29 08:11:12 -04004114static noinline_for_stack int
4115ext4_mb_initialize_context(struct ext4_allocation_context *ac,
Alex Tomasc9de5602008-01-29 00:19:52 -05004116 struct ext4_allocation_request *ar)
4117{
4118 struct super_block *sb = ar->inode->i_sb;
4119 struct ext4_sb_info *sbi = EXT4_SB(sb);
4120 struct ext4_super_block *es = sbi->s_es;
4121 ext4_group_t group;
4122 unsigned long len;
4123 unsigned long goal;
4124 ext4_grpblk_t block;
4125
4126 /* we can't allocate > group size */
4127 len = ar->len;
4128
4129 /* just a dirty hack to filter too big requests */
4130 if (len >= EXT4_BLOCKS_PER_GROUP(sb) - 10)
4131 len = EXT4_BLOCKS_PER_GROUP(sb) - 10;
4132
4133 /* start searching from the goal */
4134 goal = ar->goal;
4135 if (goal < le32_to_cpu(es->s_first_data_block) ||
4136 goal >= ext4_blocks_count(es))
4137 goal = le32_to_cpu(es->s_first_data_block);
4138 ext4_get_group_no_and_offset(sb, goal, &group, &block);
4139
4140 /* set up allocation goals */
4141 ac->ac_b_ex.fe_logical = ar->logical;
4142 ac->ac_b_ex.fe_group = 0;
4143 ac->ac_b_ex.fe_start = 0;
4144 ac->ac_b_ex.fe_len = 0;
4145 ac->ac_status = AC_STATUS_CONTINUE;
4146 ac->ac_groups_scanned = 0;
4147 ac->ac_ex_scanned = 0;
4148 ac->ac_found = 0;
4149 ac->ac_sb = sb;
4150 ac->ac_inode = ar->inode;
4151 ac->ac_o_ex.fe_logical = ar->logical;
4152 ac->ac_o_ex.fe_group = group;
4153 ac->ac_o_ex.fe_start = block;
4154 ac->ac_o_ex.fe_len = len;
4155 ac->ac_g_ex.fe_logical = ar->logical;
4156 ac->ac_g_ex.fe_group = group;
4157 ac->ac_g_ex.fe_start = block;
4158 ac->ac_g_ex.fe_len = len;
4159 ac->ac_f_ex.fe_len = 0;
4160 ac->ac_flags = ar->flags;
4161 ac->ac_2order = 0;
4162 ac->ac_criteria = 0;
4163 ac->ac_pa = NULL;
4164 ac->ac_bitmap_page = NULL;
4165 ac->ac_buddy_page = NULL;
4166 ac->ac_lg = NULL;
4167
4168 /* we have to define context: we'll we work with a file or
4169 * locality group. this is a policy, actually */
4170 ext4_mb_group_or_file(ac);
4171
4172 mb_debug("init ac: %u blocks @ %u, goal %u, flags %x, 2^%d, "
4173 "left: %u/%u, right %u/%u to %swritable\n",
4174 (unsigned) ar->len, (unsigned) ar->logical,
4175 (unsigned) ar->goal, ac->ac_flags, ac->ac_2order,
4176 (unsigned) ar->lleft, (unsigned) ar->pleft,
4177 (unsigned) ar->lright, (unsigned) ar->pright,
4178 atomic_read(&ar->inode->i_writecount) ? "" : "non-");
4179 return 0;
4180
4181}
4182
Aneesh Kumar K.V6be2ded2008-07-23 14:14:05 -04004183static noinline_for_stack void
4184ext4_mb_discard_lg_preallocations(struct super_block *sb,
4185 struct ext4_locality_group *lg,
4186 int order, int total_entries)
4187{
4188 ext4_group_t group = 0;
4189 struct ext4_buddy e4b;
4190 struct list_head discard_list;
4191 struct ext4_prealloc_space *pa, *tmp;
4192 struct ext4_allocation_context *ac;
4193
4194 mb_debug("discard locality group preallocation\n");
4195
4196 INIT_LIST_HEAD(&discard_list);
4197 ac = kmem_cache_alloc(ext4_ac_cachep, GFP_NOFS);
4198
4199 spin_lock(&lg->lg_prealloc_lock);
4200 list_for_each_entry_rcu(pa, &lg->lg_prealloc_list[order],
4201 pa_inode_list) {
4202 spin_lock(&pa->pa_lock);
4203 if (atomic_read(&pa->pa_count)) {
4204 /*
4205 * This is the pa that we just used
4206 * for block allocation. So don't
4207 * free that
4208 */
4209 spin_unlock(&pa->pa_lock);
4210 continue;
4211 }
4212 if (pa->pa_deleted) {
4213 spin_unlock(&pa->pa_lock);
4214 continue;
4215 }
4216 /* only lg prealloc space */
4217 BUG_ON(!pa->pa_linear);
4218
4219 /* seems this one can be freed ... */
4220 pa->pa_deleted = 1;
4221 spin_unlock(&pa->pa_lock);
4222
4223 list_del_rcu(&pa->pa_inode_list);
4224 list_add(&pa->u.pa_tmp_list, &discard_list);
4225
4226 total_entries--;
4227 if (total_entries <= 5) {
4228 /*
4229 * we want to keep only 5 entries
4230 * allowing it to grow to 8. This
4231 * mak sure we don't call discard
4232 * soon for this list.
4233 */
4234 break;
4235 }
4236 }
4237 spin_unlock(&lg->lg_prealloc_lock);
4238
4239 list_for_each_entry_safe(pa, tmp, &discard_list, u.pa_tmp_list) {
4240
4241 ext4_get_group_no_and_offset(sb, pa->pa_pstart, &group, NULL);
4242 if (ext4_mb_load_buddy(sb, group, &e4b)) {
4243 ext4_error(sb, __func__, "Error in loading buddy "
4244 "information for %lu\n", group);
4245 continue;
4246 }
4247 ext4_lock_group(sb, group);
4248 list_del(&pa->pa_group_list);
4249 ext4_mb_release_group_pa(&e4b, pa, ac);
4250 ext4_unlock_group(sb, group);
4251
4252 ext4_mb_release_desc(&e4b);
4253 list_del(&pa->u.pa_tmp_list);
4254 call_rcu(&(pa)->u.pa_rcu, ext4_mb_pa_callback);
4255 }
4256 if (ac)
4257 kmem_cache_free(ext4_ac_cachep, ac);
4258}
4259
4260/*
4261 * We have incremented pa_count. So it cannot be freed at this
4262 * point. Also we hold lg_mutex. So no parallel allocation is
4263 * possible from this lg. That means pa_free cannot be updated.
4264 *
4265 * A parallel ext4_mb_discard_group_preallocations is possible.
4266 * which can cause the lg_prealloc_list to be updated.
4267 */
4268
4269static void ext4_mb_add_n_trim(struct ext4_allocation_context *ac)
4270{
4271 int order, added = 0, lg_prealloc_count = 1;
4272 struct super_block *sb = ac->ac_sb;
4273 struct ext4_locality_group *lg = ac->ac_lg;
4274 struct ext4_prealloc_space *tmp_pa, *pa = ac->ac_pa;
4275
4276 order = fls(pa->pa_free) - 1;
4277 if (order > PREALLOC_TB_SIZE - 1)
4278 /* The max size of hash table is PREALLOC_TB_SIZE */
4279 order = PREALLOC_TB_SIZE - 1;
4280 /* Add the prealloc space to lg */
4281 rcu_read_lock();
4282 list_for_each_entry_rcu(tmp_pa, &lg->lg_prealloc_list[order],
4283 pa_inode_list) {
4284 spin_lock(&tmp_pa->pa_lock);
4285 if (tmp_pa->pa_deleted) {
4286 spin_unlock(&pa->pa_lock);
4287 continue;
4288 }
4289 if (!added && pa->pa_free < tmp_pa->pa_free) {
4290 /* Add to the tail of the previous entry */
4291 list_add_tail_rcu(&pa->pa_inode_list,
4292 &tmp_pa->pa_inode_list);
4293 added = 1;
4294 /*
4295 * we want to count the total
4296 * number of entries in the list
4297 */
4298 }
4299 spin_unlock(&tmp_pa->pa_lock);
4300 lg_prealloc_count++;
4301 }
4302 if (!added)
4303 list_add_tail_rcu(&pa->pa_inode_list,
4304 &lg->lg_prealloc_list[order]);
4305 rcu_read_unlock();
4306
4307 /* Now trim the list to be not more than 8 elements */
4308 if (lg_prealloc_count > 8) {
4309 ext4_mb_discard_lg_preallocations(sb, lg,
4310 order, lg_prealloc_count);
4311 return;
4312 }
4313 return ;
4314}
4315
Alex Tomasc9de5602008-01-29 00:19:52 -05004316/*
4317 * release all resource we used in allocation
4318 */
4319static int ext4_mb_release_context(struct ext4_allocation_context *ac)
4320{
Aneesh Kumar K.V6be2ded2008-07-23 14:14:05 -04004321 struct ext4_prealloc_space *pa = ac->ac_pa;
4322 if (pa) {
4323 if (pa->pa_linear) {
Alex Tomasc9de5602008-01-29 00:19:52 -05004324 /* see comment in ext4_mb_use_group_pa() */
Aneesh Kumar K.V6be2ded2008-07-23 14:14:05 -04004325 spin_lock(&pa->pa_lock);
4326 pa->pa_pstart += ac->ac_b_ex.fe_len;
4327 pa->pa_lstart += ac->ac_b_ex.fe_len;
4328 pa->pa_free -= ac->ac_b_ex.fe_len;
4329 pa->pa_len -= ac->ac_b_ex.fe_len;
4330 spin_unlock(&pa->pa_lock);
4331 /*
4332 * We want to add the pa to the right bucket.
4333 * Remove it from the list and while adding
4334 * make sure the list to which we are adding
4335 * doesn't grow big.
4336 */
4337 if (likely(pa->pa_free)) {
4338 spin_lock(pa->pa_obj_lock);
4339 list_del_rcu(&pa->pa_inode_list);
4340 spin_unlock(pa->pa_obj_lock);
4341 ext4_mb_add_n_trim(ac);
4342 }
Alex Tomasc9de5602008-01-29 00:19:52 -05004343 }
Aneesh Kumar K.V6be2ded2008-07-23 14:14:05 -04004344 ext4_mb_put_pa(ac, ac->ac_sb, pa);
Alex Tomasc9de5602008-01-29 00:19:52 -05004345 }
4346 if (ac->ac_bitmap_page)
4347 page_cache_release(ac->ac_bitmap_page);
4348 if (ac->ac_buddy_page)
4349 page_cache_release(ac->ac_buddy_page);
4350 if (ac->ac_flags & EXT4_MB_HINT_GROUP_ALLOC)
4351 mutex_unlock(&ac->ac_lg->lg_mutex);
4352 ext4_mb_collect_stats(ac);
4353 return 0;
4354}
4355
4356static int ext4_mb_discard_preallocations(struct super_block *sb, int needed)
4357{
4358 ext4_group_t i;
4359 int ret;
4360 int freed = 0;
4361
4362 for (i = 0; i < EXT4_SB(sb)->s_groups_count && needed > 0; i++) {
4363 ret = ext4_mb_discard_group_preallocations(sb, i, needed);
4364 freed += ret;
4365 needed -= ret;
4366 }
4367
4368 return freed;
4369}
4370
4371/*
4372 * Main entry point into mballoc to allocate blocks
4373 * it tries to use preallocation first, then falls back
4374 * to usual allocation
4375 */
4376ext4_fsblk_t ext4_mb_new_blocks(handle_t *handle,
4377 struct ext4_allocation_request *ar, int *errp)
4378{
Eric Sandeen256bdb42008-02-10 01:13:33 -05004379 struct ext4_allocation_context *ac = NULL;
Alex Tomasc9de5602008-01-29 00:19:52 -05004380 struct ext4_sb_info *sbi;
4381 struct super_block *sb;
4382 ext4_fsblk_t block = 0;
4383 int freed;
4384 int inquota;
4385
4386 sb = ar->inode->i_sb;
4387 sbi = EXT4_SB(sb);
4388
4389 if (!test_opt(sb, MBALLOC)) {
Aneesh Kumar K.V654b4902008-07-11 19:27:31 -04004390 block = ext4_old_new_blocks(handle, ar->inode, ar->goal,
Alex Tomasc9de5602008-01-29 00:19:52 -05004391 &(ar->len), errp);
4392 return block;
4393 }
Mingming Caod2a17632008-07-14 17:52:37 -04004394 if (!EXT4_I(ar->inode)->i_delalloc_reserved_flag) {
4395 /*
4396 * With delalloc we already reserved the blocks
4397 */
Aneesh Kumar K.V030ba6b2008-09-08 23:14:50 -04004398 while (ar->len && ext4_claim_free_blocks(sbi, ar->len)) {
4399 /* let others to free the space */
4400 yield();
4401 ar->len = ar->len >> 1;
4402 }
4403 if (!ar->len) {
Aneesh Kumar K.Va30d5422008-10-09 10:56:23 -04004404 *errp = -ENOSPC;
4405 return 0;
4406 }
Mingming Caod2a17632008-07-14 17:52:37 -04004407 }
Alex Tomasc9de5602008-01-29 00:19:52 -05004408 while (ar->len && DQUOT_ALLOC_BLOCK(ar->inode, ar->len)) {
4409 ar->flags |= EXT4_MB_HINT_NOPREALLOC;
4410 ar->len--;
4411 }
4412 if (ar->len == 0) {
4413 *errp = -EDQUOT;
4414 return 0;
4415 }
4416 inquota = ar->len;
4417
Mingming Caod2a17632008-07-14 17:52:37 -04004418 if (EXT4_I(ar->inode)->i_delalloc_reserved_flag)
4419 ar->flags |= EXT4_MB_DELALLOC_RESERVED;
4420
Eric Sandeen256bdb42008-02-10 01:13:33 -05004421 ac = kmem_cache_alloc(ext4_ac_cachep, GFP_NOFS);
4422 if (!ac) {
Shen Feng363d4252008-07-11 19:27:31 -04004423 ar->len = 0;
Eric Sandeen256bdb42008-02-10 01:13:33 -05004424 *errp = -ENOMEM;
Shen Feng363d4252008-07-11 19:27:31 -04004425 goto out1;
Eric Sandeen256bdb42008-02-10 01:13:33 -05004426 }
4427
Alex Tomasc9de5602008-01-29 00:19:52 -05004428 ext4_mb_poll_new_transaction(sb, handle);
4429
Eric Sandeen256bdb42008-02-10 01:13:33 -05004430 *errp = ext4_mb_initialize_context(ac, ar);
Alex Tomasc9de5602008-01-29 00:19:52 -05004431 if (*errp) {
4432 ar->len = 0;
Shen Feng363d4252008-07-11 19:27:31 -04004433 goto out2;
Alex Tomasc9de5602008-01-29 00:19:52 -05004434 }
4435
Eric Sandeen256bdb42008-02-10 01:13:33 -05004436 ac->ac_op = EXT4_MB_HISTORY_PREALLOC;
4437 if (!ext4_mb_use_preallocated(ac)) {
Eric Sandeen256bdb42008-02-10 01:13:33 -05004438 ac->ac_op = EXT4_MB_HISTORY_ALLOC;
4439 ext4_mb_normalize_request(ac, ar);
Alex Tomasc9de5602008-01-29 00:19:52 -05004440repeat:
4441 /* allocate space in core */
Eric Sandeen256bdb42008-02-10 01:13:33 -05004442 ext4_mb_regular_allocator(ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05004443
4444 /* as we've just preallocated more space than
4445 * user requested orinally, we store allocated
4446 * space in a special descriptor */
Eric Sandeen256bdb42008-02-10 01:13:33 -05004447 if (ac->ac_status == AC_STATUS_FOUND &&
4448 ac->ac_o_ex.fe_len < ac->ac_b_ex.fe_len)
4449 ext4_mb_new_preallocation(ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05004450 }
4451
Eric Sandeen256bdb42008-02-10 01:13:33 -05004452 if (likely(ac->ac_status == AC_STATUS_FOUND)) {
Aneesh Kumar K.V519deca2008-05-15 14:43:20 -04004453 *errp = ext4_mb_mark_diskspace_used(ac, handle);
4454 if (*errp == -EAGAIN) {
4455 ac->ac_b_ex.fe_group = 0;
4456 ac->ac_b_ex.fe_start = 0;
4457 ac->ac_b_ex.fe_len = 0;
4458 ac->ac_status = AC_STATUS_CONTINUE;
4459 goto repeat;
4460 } else if (*errp) {
4461 ac->ac_b_ex.fe_len = 0;
4462 ar->len = 0;
4463 ext4_mb_show_ac(ac);
4464 } else {
4465 block = ext4_grp_offs_to_block(sb, &ac->ac_b_ex);
4466 ar->len = ac->ac_b_ex.fe_len;
4467 }
Alex Tomasc9de5602008-01-29 00:19:52 -05004468 } else {
Eric Sandeen256bdb42008-02-10 01:13:33 -05004469 freed = ext4_mb_discard_preallocations(sb, ac->ac_o_ex.fe_len);
Alex Tomasc9de5602008-01-29 00:19:52 -05004470 if (freed)
4471 goto repeat;
4472 *errp = -ENOSPC;
Eric Sandeen256bdb42008-02-10 01:13:33 -05004473 ac->ac_b_ex.fe_len = 0;
Alex Tomasc9de5602008-01-29 00:19:52 -05004474 ar->len = 0;
Eric Sandeen256bdb42008-02-10 01:13:33 -05004475 ext4_mb_show_ac(ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05004476 }
4477
Eric Sandeen256bdb42008-02-10 01:13:33 -05004478 ext4_mb_release_context(ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05004479
Shen Feng363d4252008-07-11 19:27:31 -04004480out2:
4481 kmem_cache_free(ext4_ac_cachep, ac);
4482out1:
Alex Tomasc9de5602008-01-29 00:19:52 -05004483 if (ar->len < inquota)
4484 DQUOT_FREE_BLOCK(ar->inode, inquota - ar->len);
4485
4486 return block;
4487}
4488static void ext4_mb_poll_new_transaction(struct super_block *sb,
4489 handle_t *handle)
4490{
4491 struct ext4_sb_info *sbi = EXT4_SB(sb);
4492
4493 if (sbi->s_last_transaction == handle->h_transaction->t_tid)
4494 return;
4495
4496 /* new transaction! time to close last one and free blocks for
4497 * committed transaction. we know that only transaction can be
4498 * active, so previos transaction can be being logged and we
4499 * know that transaction before previous is known to be already
4500 * logged. this means that now we may free blocks freed in all
4501 * transactions before previous one. hope I'm clear enough ... */
4502
4503 spin_lock(&sbi->s_md_lock);
4504 if (sbi->s_last_transaction != handle->h_transaction->t_tid) {
4505 mb_debug("new transaction %lu, old %lu\n",
4506 (unsigned long) handle->h_transaction->t_tid,
4507 (unsigned long) sbi->s_last_transaction);
4508 list_splice_init(&sbi->s_closed_transaction,
4509 &sbi->s_committed_transaction);
4510 list_splice_init(&sbi->s_active_transaction,
4511 &sbi->s_closed_transaction);
4512 sbi->s_last_transaction = handle->h_transaction->t_tid;
4513 }
4514 spin_unlock(&sbi->s_md_lock);
4515
4516 ext4_mb_free_committed_blocks(sb);
4517}
4518
Eric Sandeen4ddfef72008-04-29 08:11:12 -04004519static noinline_for_stack int
4520ext4_mb_free_metadata(handle_t *handle, struct ext4_buddy *e4b,
Alex Tomasc9de5602008-01-29 00:19:52 -05004521 ext4_group_t group, ext4_grpblk_t block, int count)
4522{
4523 struct ext4_group_info *db = e4b->bd_info;
4524 struct super_block *sb = e4b->bd_sb;
4525 struct ext4_sb_info *sbi = EXT4_SB(sb);
4526 struct ext4_free_metadata *md;
4527 int i;
4528
4529 BUG_ON(e4b->bd_bitmap_page == NULL);
4530 BUG_ON(e4b->bd_buddy_page == NULL);
4531
4532 ext4_lock_group(sb, group);
4533 for (i = 0; i < count; i++) {
4534 md = db->bb_md_cur;
4535 if (md && db->bb_tid != handle->h_transaction->t_tid) {
4536 db->bb_md_cur = NULL;
4537 md = NULL;
4538 }
4539
4540 if (md == NULL) {
4541 ext4_unlock_group(sb, group);
4542 md = kmalloc(sizeof(*md), GFP_NOFS);
4543 if (md == NULL)
4544 return -ENOMEM;
4545 md->num = 0;
4546 md->group = group;
4547
4548 ext4_lock_group(sb, group);
4549 if (db->bb_md_cur == NULL) {
4550 spin_lock(&sbi->s_md_lock);
4551 list_add(&md->list, &sbi->s_active_transaction);
4552 spin_unlock(&sbi->s_md_lock);
4553 /* protect buddy cache from being freed,
4554 * otherwise we'll refresh it from
4555 * on-disk bitmap and lose not-yet-available
4556 * blocks */
4557 page_cache_get(e4b->bd_buddy_page);
4558 page_cache_get(e4b->bd_bitmap_page);
4559 db->bb_md_cur = md;
4560 db->bb_tid = handle->h_transaction->t_tid;
4561 mb_debug("new md 0x%p for group %lu\n",
4562 md, md->group);
4563 } else {
4564 kfree(md);
4565 md = db->bb_md_cur;
4566 }
4567 }
4568
4569 BUG_ON(md->num >= EXT4_BB_MAX_BLOCKS);
4570 md->blocks[md->num] = block + i;
4571 md->num++;
4572 if (md->num == EXT4_BB_MAX_BLOCKS) {
4573 /* no more space, put full container on a sb's list */
4574 db->bb_md_cur = NULL;
4575 }
4576 }
4577 ext4_unlock_group(sb, group);
4578 return 0;
4579}
4580
4581/*
4582 * Main entry point into mballoc to free blocks
4583 */
4584void ext4_mb_free_blocks(handle_t *handle, struct inode *inode,
4585 unsigned long block, unsigned long count,
4586 int metadata, unsigned long *freed)
4587{
Aneesh Kumar K.V26346ff2008-02-10 01:10:04 -05004588 struct buffer_head *bitmap_bh = NULL;
Alex Tomasc9de5602008-01-29 00:19:52 -05004589 struct super_block *sb = inode->i_sb;
Eric Sandeen256bdb42008-02-10 01:13:33 -05004590 struct ext4_allocation_context *ac = NULL;
Alex Tomasc9de5602008-01-29 00:19:52 -05004591 struct ext4_group_desc *gdp;
4592 struct ext4_super_block *es;
4593 unsigned long overflow;
4594 ext4_grpblk_t bit;
4595 struct buffer_head *gd_bh;
4596 ext4_group_t block_group;
4597 struct ext4_sb_info *sbi;
4598 struct ext4_buddy e4b;
4599 int err = 0;
4600 int ret;
4601
4602 *freed = 0;
4603
4604 ext4_mb_poll_new_transaction(sb, handle);
4605
4606 sbi = EXT4_SB(sb);
4607 es = EXT4_SB(sb)->s_es;
4608 if (block < le32_to_cpu(es->s_first_data_block) ||
4609 block + count < block ||
4610 block + count > ext4_blocks_count(es)) {
Harvey Harrison46e665e2008-04-17 10:38:59 -04004611 ext4_error(sb, __func__,
Alex Tomasc9de5602008-01-29 00:19:52 -05004612 "Freeing blocks not in datazone - "
4613 "block = %lu, count = %lu", block, count);
4614 goto error_return;
4615 }
4616
4617 ext4_debug("freeing block %lu\n", block);
4618
Eric Sandeen256bdb42008-02-10 01:13:33 -05004619 ac = kmem_cache_alloc(ext4_ac_cachep, GFP_NOFS);
4620 if (ac) {
4621 ac->ac_op = EXT4_MB_HISTORY_FREE;
4622 ac->ac_inode = inode;
4623 ac->ac_sb = sb;
4624 }
Alex Tomasc9de5602008-01-29 00:19:52 -05004625
4626do_more:
4627 overflow = 0;
4628 ext4_get_group_no_and_offset(sb, block, &block_group, &bit);
4629
4630 /*
4631 * Check to see if we are freeing blocks across a group
4632 * boundary.
4633 */
4634 if (bit + count > EXT4_BLOCKS_PER_GROUP(sb)) {
4635 overflow = bit + count - EXT4_BLOCKS_PER_GROUP(sb);
4636 count -= overflow;
4637 }
Theodore Ts'o574ca172008-07-11 19:27:31 -04004638 bitmap_bh = ext4_read_block_bitmap(sb, block_group);
Aneesh Kumar K.Vce89f462008-07-23 14:09:29 -04004639 if (!bitmap_bh) {
4640 err = -EIO;
Alex Tomasc9de5602008-01-29 00:19:52 -05004641 goto error_return;
Aneesh Kumar K.Vce89f462008-07-23 14:09:29 -04004642 }
Alex Tomasc9de5602008-01-29 00:19:52 -05004643 gdp = ext4_get_group_desc(sb, block_group, &gd_bh);
Aneesh Kumar K.Vce89f462008-07-23 14:09:29 -04004644 if (!gdp) {
4645 err = -EIO;
Alex Tomasc9de5602008-01-29 00:19:52 -05004646 goto error_return;
Aneesh Kumar K.Vce89f462008-07-23 14:09:29 -04004647 }
Alex Tomasc9de5602008-01-29 00:19:52 -05004648
4649 if (in_range(ext4_block_bitmap(sb, gdp), block, count) ||
4650 in_range(ext4_inode_bitmap(sb, gdp), block, count) ||
4651 in_range(block, ext4_inode_table(sb, gdp),
4652 EXT4_SB(sb)->s_itb_per_group) ||
4653 in_range(block + count - 1, ext4_inode_table(sb, gdp),
4654 EXT4_SB(sb)->s_itb_per_group)) {
4655
Harvey Harrison46e665e2008-04-17 10:38:59 -04004656 ext4_error(sb, __func__,
Alex Tomasc9de5602008-01-29 00:19:52 -05004657 "Freeing blocks in system zone - "
4658 "Block = %lu, count = %lu", block, count);
Aneesh Kumar K.V519deca2008-05-15 14:43:20 -04004659 /* err = 0. ext4_std_error should be a no op */
4660 goto error_return;
Alex Tomasc9de5602008-01-29 00:19:52 -05004661 }
4662
4663 BUFFER_TRACE(bitmap_bh, "getting write access");
4664 err = ext4_journal_get_write_access(handle, bitmap_bh);
4665 if (err)
4666 goto error_return;
4667
4668 /*
4669 * We are about to modify some metadata. Call the journal APIs
4670 * to unshare ->b_data if a currently-committing transaction is
4671 * using it
4672 */
4673 BUFFER_TRACE(gd_bh, "get_write_access");
4674 err = ext4_journal_get_write_access(handle, gd_bh);
4675 if (err)
4676 goto error_return;
4677
4678 err = ext4_mb_load_buddy(sb, block_group, &e4b);
4679 if (err)
4680 goto error_return;
4681
4682#ifdef AGGRESSIVE_CHECK
4683 {
4684 int i;
4685 for (i = 0; i < count; i++)
4686 BUG_ON(!mb_test_bit(bit + i, bitmap_bh->b_data));
4687 }
4688#endif
4689 mb_clear_bits(sb_bgl_lock(sbi, block_group), bitmap_bh->b_data,
4690 bit, count);
4691
4692 /* We dirtied the bitmap block */
4693 BUFFER_TRACE(bitmap_bh, "dirtied bitmap block");
4694 err = ext4_journal_dirty_metadata(handle, bitmap_bh);
4695
Eric Sandeen256bdb42008-02-10 01:13:33 -05004696 if (ac) {
4697 ac->ac_b_ex.fe_group = block_group;
4698 ac->ac_b_ex.fe_start = bit;
4699 ac->ac_b_ex.fe_len = count;
4700 ext4_mb_store_history(ac);
4701 }
Alex Tomasc9de5602008-01-29 00:19:52 -05004702
4703 if (metadata) {
4704 /* blocks being freed are metadata. these blocks shouldn't
4705 * be used until this transaction is committed */
4706 ext4_mb_free_metadata(handle, &e4b, block_group, bit, count);
4707 } else {
4708 ext4_lock_group(sb, block_group);
Shen Feng7e5a8cd2008-07-13 21:03:31 -04004709 mb_free_blocks(inode, &e4b, bit, count);
Alex Tomasc9de5602008-01-29 00:19:52 -05004710 ext4_mb_return_to_preallocation(inode, &e4b, block, count);
4711 ext4_unlock_group(sb, block_group);
Alex Tomasc9de5602008-01-29 00:19:52 -05004712 }
4713
4714 spin_lock(sb_bgl_lock(sbi, block_group));
Marcin Slusarze8546d02008-04-17 10:38:59 -04004715 le16_add_cpu(&gdp->bg_free_blocks_count, count);
Alex Tomasc9de5602008-01-29 00:19:52 -05004716 gdp->bg_checksum = ext4_group_desc_csum(sbi, block_group, gdp);
4717 spin_unlock(sb_bgl_lock(sbi, block_group));
4718 percpu_counter_add(&sbi->s_freeblocks_counter, count);
4719
Jose R. Santos772cb7c2008-07-11 19:27:31 -04004720 if (sbi->s_log_groups_per_flex) {
4721 ext4_group_t flex_group = ext4_flex_group(sbi, block_group);
4722 spin_lock(sb_bgl_lock(sbi, flex_group));
4723 sbi->s_flex_groups[flex_group].free_blocks += count;
4724 spin_unlock(sb_bgl_lock(sbi, flex_group));
4725 }
4726
Alex Tomasc9de5602008-01-29 00:19:52 -05004727 ext4_mb_release_desc(&e4b);
4728
4729 *freed += count;
4730
4731 /* And the group descriptor block */
4732 BUFFER_TRACE(gd_bh, "dirtied group descriptor block");
4733 ret = ext4_journal_dirty_metadata(handle, gd_bh);
4734 if (!err)
4735 err = ret;
4736
4737 if (overflow && !err) {
4738 block += count;
4739 count = overflow;
4740 put_bh(bitmap_bh);
4741 goto do_more;
4742 }
4743 sb->s_dirt = 1;
4744error_return:
4745 brelse(bitmap_bh);
4746 ext4_std_error(sb, err);
Eric Sandeen256bdb42008-02-10 01:13:33 -05004747 if (ac)
4748 kmem_cache_free(ext4_ac_cachep, ac);
Alex Tomasc9de5602008-01-29 00:19:52 -05004749 return;
4750}