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