1 // SPDX-License-Identifier: GPL-2.0 2 /* 3 * fs/ext4/mballoc.h 4 * 5 * Written by: Alex Tomas <alex@clusterfs.com> 6 * 7 */ 8 #ifndef _EXT4_MBALLOC_H 9 #define _EXT4_MBALLOC_H 10 11 #include <linux/time.h> 12 #include <linux/fs.h> 13 #include <linux/namei.h> 14 #include <linux/quotaops.h> 15 #include <linux/buffer_head.h> 16 #include <linux/module.h> 17 #include <linux/swap.h> 18 #include <linux/proc_fs.h> 19 #include <linux/pagemap.h> 20 #include <linux/seq_file.h> 21 #include <linux/blkdev.h> 22 #include <linux/mutex.h> 23 #include "ext4_jbd2.h" 24 #include "ext4.h" 25 26 /* 27 * mb_debug() dynamic printk msgs could be used to debug mballoc code. 28 */ 29 #ifdef CONFIG_EXT4_DEBUG 30 #define mb_debug(sb, fmt, ...) \ 31 pr_debug("[%s/%d] EXT4-fs (%s): (%s, %d): %s: " fmt, \ 32 current->comm, task_pid_nr(current), sb->s_id, \ 33 __FILE__, __LINE__, __func__, ##__VA_ARGS__) 34 #else 35 #define mb_debug(sb, fmt, ...) no_printk(fmt, ##__VA_ARGS__) 36 #endif 37 38 #define EXT4_MB_HISTORY_ALLOC 1 /* allocation */ 39 #define EXT4_MB_HISTORY_PREALLOC 2 /* preallocated blocks used */ 40 41 /* 42 * How long mballoc can look for a best extent (in found extents) 43 */ 44 #define MB_DEFAULT_MAX_TO_SCAN 200 45 46 /* 47 * How long mballoc must look for a best extent 48 */ 49 #define MB_DEFAULT_MIN_TO_SCAN 10 50 51 /* 52 * with 's_mb_stats' allocator will collect stats that will be 53 * shown at umount. The collecting costs though! 54 */ 55 #define MB_DEFAULT_STATS 0 56 57 /* 58 * files smaller than MB_DEFAULT_STREAM_THRESHOLD are served 59 * by the stream allocator, which purpose is to pack requests 60 * as close each to other as possible to produce smooth I/O traffic 61 * We use locality group prealloc space for stream request. 62 * We can tune the same via /proc/fs/ext4/<partition>/stream_req 63 */ 64 #define MB_DEFAULT_STREAM_THRESHOLD 16 /* 64K */ 65 66 /* 67 * for which requests use 2^N search using buddies 68 */ 69 #define MB_DEFAULT_ORDER2_REQS 2 70 71 /* 72 * default group prealloc size 512 blocks 73 */ 74 #define MB_DEFAULT_GROUP_PREALLOC 512 75 76 /* 77 * Number of groups to search linearly before performing group scanning 78 * optimization. 79 */ 80 #define MB_DEFAULT_LINEAR_LIMIT 4 81 82 /* 83 * Minimum number of groups that should be present in the file system to perform 84 * group scanning optimizations. 85 */ 86 #define MB_DEFAULT_LINEAR_SCAN_THRESHOLD 16 87 88 /* 89 * The maximum order upto which CR_BEST_AVAIL_LEN can trim a particular 90 * allocation request. Example, if we have an order 7 request and max trim order 91 * of 3, we can trim this request upto order 4. 92 */ 93 #define MB_DEFAULT_BEST_AVAIL_TRIM_ORDER 3 94 95 /* 96 * Number of valid buddy orders 97 */ 98 #define MB_NUM_ORDERS(sb) ((sb)->s_blocksize_bits + 2) 99 100 struct ext4_free_data { 101 /* this links the free block information from sb_info */ 102 struct list_head efd_list; 103 104 /* this links the free block information from group_info */ 105 struct rb_node efd_node; 106 107 /* group which free block extent belongs */ 108 ext4_group_t efd_group; 109 110 /* free block extent */ 111 ext4_grpblk_t efd_start_cluster; 112 ext4_grpblk_t efd_count; 113 114 /* transaction which freed this extent */ 115 tid_t efd_tid; 116 }; 117 118 struct ext4_prealloc_space { 119 union { 120 struct rb_node inode_node; /* for inode PA rbtree */ 121 struct list_head lg_list; /* for lg PAs */ 122 } pa_node; 123 struct list_head pa_group_list; 124 union { 125 struct list_head pa_tmp_list; 126 struct rcu_head pa_rcu; 127 } u; 128 spinlock_t pa_lock; 129 atomic_t pa_count; 130 unsigned pa_deleted; 131 ext4_fsblk_t pa_pstart; /* phys. block */ 132 ext4_lblk_t pa_lstart; /* log. block */ 133 ext4_grpblk_t pa_len; /* len of preallocated chunk */ 134 ext4_grpblk_t pa_free; /* how many blocks are free */ 135 unsigned short pa_type; /* pa type. inode or group */ 136 union { 137 rwlock_t *inode_lock; /* locks the rbtree holding this PA */ 138 spinlock_t *lg_lock; /* locks the lg list holding this PA */ 139 } pa_node_lock; 140 struct inode *pa_inode; /* used to get the inode during group discard */ 141 }; 142 143 enum { 144 MB_INODE_PA = 0, 145 MB_GROUP_PA = 1 146 }; 147 148 struct ext4_free_extent { 149 ext4_lblk_t fe_logical; 150 ext4_grpblk_t fe_start; /* In cluster units */ 151 ext4_group_t fe_group; 152 ext4_grpblk_t fe_len; /* In cluster units */ 153 }; 154 155 /* 156 * Locality group: 157 * we try to group all related changes together 158 * so that writeback can flush/allocate them together as well 159 * Size of lg_prealloc_list hash is determined by MB_DEFAULT_GROUP_PREALLOC 160 * (512). We store prealloc space into the hash based on the pa_free blocks 161 * order value.ie, fls(pa_free)-1; 162 */ 163 #define PREALLOC_TB_SIZE 10 164 struct ext4_locality_group { 165 /* for allocator */ 166 /* to serialize allocates */ 167 struct mutex lg_mutex; 168 /* list of preallocations */ 169 struct list_head lg_prealloc_list[PREALLOC_TB_SIZE]; 170 spinlock_t lg_prealloc_lock; 171 }; 172 173 struct ext4_allocation_context { 174 struct inode *ac_inode; 175 struct super_block *ac_sb; 176 177 /* original request */ 178 struct ext4_free_extent ac_o_ex; 179 180 /* goal request (normalized ac_o_ex) */ 181 struct ext4_free_extent ac_g_ex; 182 183 /* the best found extent */ 184 struct ext4_free_extent ac_b_ex; 185 186 /* copy of the best found extent taken before preallocation efforts */ 187 struct ext4_free_extent ac_f_ex; 188 189 /* 190 * goal len can change in CR_BEST_AVAIL_LEN, so save the original len. 191 * This is used while adjusting the PA window and for accounting. 192 */ 193 ext4_grpblk_t ac_orig_goal_len; 194 195 __u32 ac_flags; /* allocation hints */ 196 __u32 ac_groups_linear_remaining; 197 __u16 ac_groups_scanned; 198 __u16 ac_found; 199 __u16 ac_cX_found[EXT4_MB_NUM_CRS]; 200 __u16 ac_tail; 201 __u16 ac_buddy; 202 __u8 ac_status; 203 __u8 ac_criteria; 204 __u8 ac_2order; /* if request is to allocate 2^N blocks and 205 * N > 0, the field stores N, otherwise 0 */ 206 __u8 ac_op; /* operation, for history only */ 207 struct folio *ac_bitmap_folio; 208 struct folio *ac_buddy_folio; 209 struct ext4_prealloc_space *ac_pa; 210 struct ext4_locality_group *ac_lg; 211 }; 212 213 #define AC_STATUS_CONTINUE 1 214 #define AC_STATUS_FOUND 2 215 #define AC_STATUS_BREAK 3 216 217 struct ext4_buddy { 218 struct folio *bd_buddy_folio; 219 void *bd_buddy; 220 struct folio *bd_bitmap_folio; 221 void *bd_bitmap; 222 struct ext4_group_info *bd_info; 223 struct super_block *bd_sb; 224 __u16 bd_blkbits; 225 ext4_group_t bd_group; 226 }; 227 ext4_grp_offs_to_block(struct super_block * sb,struct ext4_free_extent * fex)228 static inline ext4_fsblk_t ext4_grp_offs_to_block(struct super_block *sb, 229 struct ext4_free_extent *fex) 230 { 231 return ext4_group_first_block_no(sb, fex->fe_group) + 232 (fex->fe_start << EXT4_SB(sb)->s_cluster_bits); 233 } 234 extent_logical_end(struct ext4_sb_info * sbi,struct ext4_free_extent * fex)235 static inline loff_t extent_logical_end(struct ext4_sb_info *sbi, 236 struct ext4_free_extent *fex) 237 { 238 /* Use loff_t to avoid end exceeding ext4_lblk_t max. */ 239 return (loff_t)fex->fe_logical + EXT4_C2B(sbi, fex->fe_len); 240 } 241 pa_logical_end(struct ext4_sb_info * sbi,struct ext4_prealloc_space * pa)242 static inline loff_t pa_logical_end(struct ext4_sb_info *sbi, 243 struct ext4_prealloc_space *pa) 244 { 245 /* Use loff_t to avoid end exceeding ext4_lblk_t max. */ 246 return (loff_t)pa->pa_lstart + EXT4_C2B(sbi, pa->pa_len); 247 } 248 249 typedef int (*ext4_mballoc_query_range_fn)( 250 struct super_block *sb, 251 ext4_group_t agno, 252 ext4_grpblk_t start, 253 ext4_grpblk_t len, 254 void *priv); 255 256 int 257 ext4_mballoc_query_range( 258 struct super_block *sb, 259 ext4_group_t agno, 260 ext4_grpblk_t start, 261 ext4_grpblk_t end, 262 ext4_mballoc_query_range_fn formatter, 263 void *priv); 264 265 #endif 266