1a86c6181SAlex Tomas /* 2a86c6181SAlex Tomas * Copyright (c) 2003-2006, Cluster File Systems, Inc, info@clusterfs.com 3a86c6181SAlex Tomas * Written by Alex Tomas <alex@clusterfs.com> 4a86c6181SAlex Tomas * 5a86c6181SAlex Tomas * Architecture independence: 6a86c6181SAlex Tomas * Copyright (c) 2005, Bull S.A. 7a86c6181SAlex Tomas * Written by Pierre Peiffer <pierre.peiffer@bull.net> 8a86c6181SAlex Tomas * 9a86c6181SAlex Tomas * This program is free software; you can redistribute it and/or modify 10a86c6181SAlex Tomas * it under the terms of the GNU General Public License version 2 as 11a86c6181SAlex Tomas * published by the Free Software Foundation. 12a86c6181SAlex Tomas * 13a86c6181SAlex Tomas * This program is distributed in the hope that it will be useful, 14a86c6181SAlex Tomas * but WITHOUT ANY WARRANTY; without even the implied warranty of 15a86c6181SAlex Tomas * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 16a86c6181SAlex Tomas * GNU General Public License for more details. 17a86c6181SAlex Tomas * 18a86c6181SAlex Tomas * You should have received a copy of the GNU General Public Licens 19a86c6181SAlex Tomas * along with this program; if not, write to the Free Software 20a86c6181SAlex Tomas * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111- 21a86c6181SAlex Tomas */ 22a86c6181SAlex Tomas 23a86c6181SAlex Tomas /* 24a86c6181SAlex Tomas * Extents support for EXT4 25a86c6181SAlex Tomas * 26a86c6181SAlex Tomas * TODO: 27a86c6181SAlex Tomas * - ext4*_error() should be used in some situations 28a86c6181SAlex Tomas * - analyze all BUG()/BUG_ON(), use -EIO where appropriate 29a86c6181SAlex Tomas * - smart tree reduction 30a86c6181SAlex Tomas */ 31a86c6181SAlex Tomas 32a86c6181SAlex Tomas #include <linux/module.h> 33a86c6181SAlex Tomas #include <linux/fs.h> 34a86c6181SAlex Tomas #include <linux/time.h> 35cd02ff0bSMingming Cao #include <linux/jbd2.h> 36a86c6181SAlex Tomas #include <linux/highuid.h> 37a86c6181SAlex Tomas #include <linux/pagemap.h> 38a86c6181SAlex Tomas #include <linux/quotaops.h> 39a86c6181SAlex Tomas #include <linux/string.h> 40a86c6181SAlex Tomas #include <linux/slab.h> 41a2df2a63SAmit Arora #include <linux/falloc.h> 42a86c6181SAlex Tomas #include <asm/uaccess.h> 436873fa0dSEric Sandeen #include <linux/fiemap.h> 443dcf5451SChristoph Hellwig #include "ext4_jbd2.h" 453dcf5451SChristoph Hellwig #include "ext4_extents.h" 46a86c6181SAlex Tomas 47a86c6181SAlex Tomas 48d0d856e8SRandy Dunlap /* 49d0d856e8SRandy Dunlap * ext_pblock: 50d0d856e8SRandy Dunlap * combine low and high parts of physical block number into ext4_fsblk_t 51d0d856e8SRandy Dunlap */ 52748de673SAkira Fujita ext4_fsblk_t ext_pblock(struct ext4_extent *ex) 53f65e6fbaSAlex Tomas { 54f65e6fbaSAlex Tomas ext4_fsblk_t block; 55f65e6fbaSAlex Tomas 56b377611dSAneesh Kumar K.V block = le32_to_cpu(ex->ee_start_lo); 57f65e6fbaSAlex Tomas block |= ((ext4_fsblk_t) le16_to_cpu(ex->ee_start_hi) << 31) << 1; 58f65e6fbaSAlex Tomas return block; 59f65e6fbaSAlex Tomas } 60f65e6fbaSAlex Tomas 61d0d856e8SRandy Dunlap /* 62d0d856e8SRandy Dunlap * idx_pblock: 63d0d856e8SRandy Dunlap * combine low and high parts of a leaf physical block number into ext4_fsblk_t 64d0d856e8SRandy Dunlap */ 65c14c6fd5SAneesh Kumar K.V ext4_fsblk_t idx_pblock(struct ext4_extent_idx *ix) 66f65e6fbaSAlex Tomas { 67f65e6fbaSAlex Tomas ext4_fsblk_t block; 68f65e6fbaSAlex Tomas 69d8dd0b45SAneesh Kumar K.V block = le32_to_cpu(ix->ei_leaf_lo); 70f65e6fbaSAlex Tomas block |= ((ext4_fsblk_t) le16_to_cpu(ix->ei_leaf_hi) << 31) << 1; 71f65e6fbaSAlex Tomas return block; 72f65e6fbaSAlex Tomas } 73f65e6fbaSAlex Tomas 74d0d856e8SRandy Dunlap /* 75d0d856e8SRandy Dunlap * ext4_ext_store_pblock: 76d0d856e8SRandy Dunlap * stores a large physical block number into an extent struct, 77d0d856e8SRandy Dunlap * breaking it into parts 78d0d856e8SRandy Dunlap */ 79c14c6fd5SAneesh Kumar K.V void ext4_ext_store_pblock(struct ext4_extent *ex, ext4_fsblk_t pb) 80f65e6fbaSAlex Tomas { 81b377611dSAneesh Kumar K.V ex->ee_start_lo = cpu_to_le32((unsigned long) (pb & 0xffffffff)); 82f65e6fbaSAlex Tomas ex->ee_start_hi = cpu_to_le16((unsigned long) ((pb >> 31) >> 1) & 0xffff); 83f65e6fbaSAlex Tomas } 84f65e6fbaSAlex Tomas 85d0d856e8SRandy Dunlap /* 86d0d856e8SRandy Dunlap * ext4_idx_store_pblock: 87d0d856e8SRandy Dunlap * stores a large physical block number into an index struct, 88d0d856e8SRandy Dunlap * breaking it into parts 89d0d856e8SRandy Dunlap */ 9009b88252SAvantika Mathur static void ext4_idx_store_pblock(struct ext4_extent_idx *ix, ext4_fsblk_t pb) 91f65e6fbaSAlex Tomas { 92d8dd0b45SAneesh Kumar K.V ix->ei_leaf_lo = cpu_to_le32((unsigned long) (pb & 0xffffffff)); 93f65e6fbaSAlex Tomas ix->ei_leaf_hi = cpu_to_le16((unsigned long) ((pb >> 31) >> 1) & 0xffff); 94f65e6fbaSAlex Tomas } 95f65e6fbaSAlex Tomas 96487caeefSJan Kara static int ext4_ext_truncate_extend_restart(handle_t *handle, 97487caeefSJan Kara struct inode *inode, 98487caeefSJan Kara int needed) 99a86c6181SAlex Tomas { 100a86c6181SAlex Tomas int err; 101a86c6181SAlex Tomas 1020390131bSFrank Mayhar if (!ext4_handle_valid(handle)) 1030390131bSFrank Mayhar return 0; 104a86c6181SAlex Tomas if (handle->h_buffer_credits > needed) 1059102e4faSShen Feng return 0; 1069102e4faSShen Feng err = ext4_journal_extend(handle, needed); 1070123c939STheodore Ts'o if (err <= 0) 1089102e4faSShen Feng return err; 109487caeefSJan Kara err = ext4_truncate_restart_trans(handle, inode, needed); 1100617b83fSDmitry Monakhov if (err == 0) 1110617b83fSDmitry Monakhov err = -EAGAIN; 112487caeefSJan Kara 113487caeefSJan Kara return err; 114a86c6181SAlex Tomas } 115a86c6181SAlex Tomas 116a86c6181SAlex Tomas /* 117a86c6181SAlex Tomas * could return: 118a86c6181SAlex Tomas * - EROFS 119a86c6181SAlex Tomas * - ENOMEM 120a86c6181SAlex Tomas */ 121a86c6181SAlex Tomas static int ext4_ext_get_access(handle_t *handle, struct inode *inode, 122a86c6181SAlex Tomas struct ext4_ext_path *path) 123a86c6181SAlex Tomas { 124a86c6181SAlex Tomas if (path->p_bh) { 125a86c6181SAlex Tomas /* path points to block */ 126a86c6181SAlex Tomas return ext4_journal_get_write_access(handle, path->p_bh); 127a86c6181SAlex Tomas } 128a86c6181SAlex Tomas /* path points to leaf/index in inode body */ 129a86c6181SAlex Tomas /* we use in-core data, no need to protect them */ 130a86c6181SAlex Tomas return 0; 131a86c6181SAlex Tomas } 132a86c6181SAlex Tomas 133a86c6181SAlex Tomas /* 134a86c6181SAlex Tomas * could return: 135a86c6181SAlex Tomas * - EROFS 136a86c6181SAlex Tomas * - ENOMEM 137a86c6181SAlex Tomas * - EIO 138a86c6181SAlex Tomas */ 139a86c6181SAlex Tomas static int ext4_ext_dirty(handle_t *handle, struct inode *inode, 140a86c6181SAlex Tomas struct ext4_ext_path *path) 141a86c6181SAlex Tomas { 142a86c6181SAlex Tomas int err; 143a86c6181SAlex Tomas if (path->p_bh) { 144a86c6181SAlex Tomas /* path points to block */ 1450390131bSFrank Mayhar err = ext4_handle_dirty_metadata(handle, inode, path->p_bh); 146a86c6181SAlex Tomas } else { 147a86c6181SAlex Tomas /* path points to leaf/index in inode body */ 148a86c6181SAlex Tomas err = ext4_mark_inode_dirty(handle, inode); 149a86c6181SAlex Tomas } 150a86c6181SAlex Tomas return err; 151a86c6181SAlex Tomas } 152a86c6181SAlex Tomas 153f65e6fbaSAlex Tomas static ext4_fsblk_t ext4_ext_find_goal(struct inode *inode, 154a86c6181SAlex Tomas struct ext4_ext_path *path, 155725d26d3SAneesh Kumar K.V ext4_lblk_t block) 156a86c6181SAlex Tomas { 157a86c6181SAlex Tomas struct ext4_inode_info *ei = EXT4_I(inode); 158f65e6fbaSAlex Tomas ext4_fsblk_t bg_start; 15974d3487fSValerie Clement ext4_fsblk_t last_block; 160f65e6fbaSAlex Tomas ext4_grpblk_t colour; 161a4912123STheodore Ts'o ext4_group_t block_group; 162a4912123STheodore Ts'o int flex_size = ext4_flex_bg_size(EXT4_SB(inode->i_sb)); 163a86c6181SAlex Tomas int depth; 164a86c6181SAlex Tomas 165a86c6181SAlex Tomas if (path) { 166a86c6181SAlex Tomas struct ext4_extent *ex; 167a86c6181SAlex Tomas depth = path->p_depth; 168a86c6181SAlex Tomas 169a86c6181SAlex Tomas /* try to predict block placement */ 1707e028976SAvantika Mathur ex = path[depth].p_ext; 1717e028976SAvantika Mathur if (ex) 172f65e6fbaSAlex Tomas return ext_pblock(ex)+(block-le32_to_cpu(ex->ee_block)); 173a86c6181SAlex Tomas 174d0d856e8SRandy Dunlap /* it looks like index is empty; 175d0d856e8SRandy Dunlap * try to find starting block from index itself */ 176a86c6181SAlex Tomas if (path[depth].p_bh) 177a86c6181SAlex Tomas return path[depth].p_bh->b_blocknr; 178a86c6181SAlex Tomas } 179a86c6181SAlex Tomas 180a86c6181SAlex Tomas /* OK. use inode's group */ 181a4912123STheodore Ts'o block_group = ei->i_block_group; 182a4912123STheodore Ts'o if (flex_size >= EXT4_FLEX_SIZE_DIR_ALLOC_SCHEME) { 183a4912123STheodore Ts'o /* 184a4912123STheodore Ts'o * If there are at least EXT4_FLEX_SIZE_DIR_ALLOC_SCHEME 185a4912123STheodore Ts'o * block groups per flexgroup, reserve the first block 186a4912123STheodore Ts'o * group for directories and special files. Regular 187a4912123STheodore Ts'o * files will start at the second block group. This 188a4912123STheodore Ts'o * tends to speed up directory access and improves 189a4912123STheodore Ts'o * fsck times. 190a4912123STheodore Ts'o */ 191a4912123STheodore Ts'o block_group &= ~(flex_size-1); 192a4912123STheodore Ts'o if (S_ISREG(inode->i_mode)) 193a4912123STheodore Ts'o block_group++; 194a4912123STheodore Ts'o } 1955661bd68SAkinobu Mita bg_start = ext4_group_first_block_no(inode->i_sb, block_group); 19674d3487fSValerie Clement last_block = ext4_blocks_count(EXT4_SB(inode->i_sb)->s_es) - 1; 19774d3487fSValerie Clement 198a4912123STheodore Ts'o /* 199a4912123STheodore Ts'o * If we are doing delayed allocation, we don't need take 200a4912123STheodore Ts'o * colour into account. 201a4912123STheodore Ts'o */ 202a4912123STheodore Ts'o if (test_opt(inode->i_sb, DELALLOC)) 203a4912123STheodore Ts'o return bg_start; 204a4912123STheodore Ts'o 20574d3487fSValerie Clement if (bg_start + EXT4_BLOCKS_PER_GROUP(inode->i_sb) <= last_block) 206a86c6181SAlex Tomas colour = (current->pid % 16) * 207a86c6181SAlex Tomas (EXT4_BLOCKS_PER_GROUP(inode->i_sb) / 16); 20874d3487fSValerie Clement else 20974d3487fSValerie Clement colour = (current->pid % 16) * ((last_block - bg_start) / 16); 210a86c6181SAlex Tomas return bg_start + colour + block; 211a86c6181SAlex Tomas } 212a86c6181SAlex Tomas 213654b4908SAneesh Kumar K.V /* 214654b4908SAneesh Kumar K.V * Allocation for a meta data block 215654b4908SAneesh Kumar K.V */ 216f65e6fbaSAlex Tomas static ext4_fsblk_t 217654b4908SAneesh Kumar K.V ext4_ext_new_meta_block(handle_t *handle, struct inode *inode, 218a86c6181SAlex Tomas struct ext4_ext_path *path, 219a86c6181SAlex Tomas struct ext4_extent *ex, int *err) 220a86c6181SAlex Tomas { 221f65e6fbaSAlex Tomas ext4_fsblk_t goal, newblock; 222a86c6181SAlex Tomas 223a86c6181SAlex Tomas goal = ext4_ext_find_goal(inode, path, le32_to_cpu(ex->ee_block)); 22497df5d15STheodore Ts'o newblock = ext4_new_meta_blocks(handle, inode, goal, NULL, err); 225a86c6181SAlex Tomas return newblock; 226a86c6181SAlex Tomas } 227a86c6181SAlex Tomas 22855ad63bfSTheodore Ts'o static inline int ext4_ext_space_block(struct inode *inode, int check) 229a86c6181SAlex Tomas { 230a86c6181SAlex Tomas int size; 231a86c6181SAlex Tomas 232a86c6181SAlex Tomas size = (inode->i_sb->s_blocksize - sizeof(struct ext4_extent_header)) 233a86c6181SAlex Tomas / sizeof(struct ext4_extent); 23455ad63bfSTheodore Ts'o if (!check) { 235bbf2f9fbSRobert P. J. Day #ifdef AGGRESSIVE_TEST 236a86c6181SAlex Tomas if (size > 6) 237a86c6181SAlex Tomas size = 6; 238a86c6181SAlex Tomas #endif 23955ad63bfSTheodore Ts'o } 240a86c6181SAlex Tomas return size; 241a86c6181SAlex Tomas } 242a86c6181SAlex Tomas 24355ad63bfSTheodore Ts'o static inline int ext4_ext_space_block_idx(struct inode *inode, int check) 244a86c6181SAlex Tomas { 245a86c6181SAlex Tomas int size; 246a86c6181SAlex Tomas 247a86c6181SAlex Tomas size = (inode->i_sb->s_blocksize - sizeof(struct ext4_extent_header)) 248a86c6181SAlex Tomas / sizeof(struct ext4_extent_idx); 24955ad63bfSTheodore Ts'o if (!check) { 250bbf2f9fbSRobert P. J. Day #ifdef AGGRESSIVE_TEST 251a86c6181SAlex Tomas if (size > 5) 252a86c6181SAlex Tomas size = 5; 253a86c6181SAlex Tomas #endif 25455ad63bfSTheodore Ts'o } 255a86c6181SAlex Tomas return size; 256a86c6181SAlex Tomas } 257a86c6181SAlex Tomas 25855ad63bfSTheodore Ts'o static inline int ext4_ext_space_root(struct inode *inode, int check) 259a86c6181SAlex Tomas { 260a86c6181SAlex Tomas int size; 261a86c6181SAlex Tomas 262a86c6181SAlex Tomas size = sizeof(EXT4_I(inode)->i_data); 263a86c6181SAlex Tomas size -= sizeof(struct ext4_extent_header); 264a86c6181SAlex Tomas size /= sizeof(struct ext4_extent); 26555ad63bfSTheodore Ts'o if (!check) { 266bbf2f9fbSRobert P. J. Day #ifdef AGGRESSIVE_TEST 267a86c6181SAlex Tomas if (size > 3) 268a86c6181SAlex Tomas size = 3; 269a86c6181SAlex Tomas #endif 27055ad63bfSTheodore Ts'o } 271a86c6181SAlex Tomas return size; 272a86c6181SAlex Tomas } 273a86c6181SAlex Tomas 27455ad63bfSTheodore Ts'o static inline int ext4_ext_space_root_idx(struct inode *inode, int check) 275a86c6181SAlex Tomas { 276a86c6181SAlex Tomas int size; 277a86c6181SAlex Tomas 278a86c6181SAlex Tomas size = sizeof(EXT4_I(inode)->i_data); 279a86c6181SAlex Tomas size -= sizeof(struct ext4_extent_header); 280a86c6181SAlex Tomas size /= sizeof(struct ext4_extent_idx); 28155ad63bfSTheodore Ts'o if (!check) { 282bbf2f9fbSRobert P. J. Day #ifdef AGGRESSIVE_TEST 283a86c6181SAlex Tomas if (size > 4) 284a86c6181SAlex Tomas size = 4; 285a86c6181SAlex Tomas #endif 28655ad63bfSTheodore Ts'o } 287a86c6181SAlex Tomas return size; 288a86c6181SAlex Tomas } 289a86c6181SAlex Tomas 290d2a17637SMingming Cao /* 291d2a17637SMingming Cao * Calculate the number of metadata blocks needed 292d2a17637SMingming Cao * to allocate @blocks 293d2a17637SMingming Cao * Worse case is one block per extent 294d2a17637SMingming Cao */ 2959d0be502STheodore Ts'o int ext4_ext_calc_metadata_amount(struct inode *inode, sector_t lblock) 296d2a17637SMingming Cao { 2979d0be502STheodore Ts'o struct ext4_inode_info *ei = EXT4_I(inode); 2989d0be502STheodore Ts'o int idxs, num = 0; 299d2a17637SMingming Cao 3009d0be502STheodore Ts'o idxs = ((inode->i_sb->s_blocksize - sizeof(struct ext4_extent_header)) 3019d0be502STheodore Ts'o / sizeof(struct ext4_extent_idx)); 302d2a17637SMingming Cao 303d2a17637SMingming Cao /* 3049d0be502STheodore Ts'o * If the new delayed allocation block is contiguous with the 3059d0be502STheodore Ts'o * previous da block, it can share index blocks with the 3069d0be502STheodore Ts'o * previous block, so we only need to allocate a new index 3079d0be502STheodore Ts'o * block every idxs leaf blocks. At ldxs**2 blocks, we need 3089d0be502STheodore Ts'o * an additional index block, and at ldxs**3 blocks, yet 3099d0be502STheodore Ts'o * another index blocks. 310d2a17637SMingming Cao */ 3119d0be502STheodore Ts'o if (ei->i_da_metadata_calc_len && 3129d0be502STheodore Ts'o ei->i_da_metadata_calc_last_lblock+1 == lblock) { 3139d0be502STheodore Ts'o if ((ei->i_da_metadata_calc_len % idxs) == 0) 3149d0be502STheodore Ts'o num++; 3159d0be502STheodore Ts'o if ((ei->i_da_metadata_calc_len % (idxs*idxs)) == 0) 3169d0be502STheodore Ts'o num++; 3179d0be502STheodore Ts'o if ((ei->i_da_metadata_calc_len % (idxs*idxs*idxs)) == 0) { 3189d0be502STheodore Ts'o num++; 3199d0be502STheodore Ts'o ei->i_da_metadata_calc_len = 0; 3209d0be502STheodore Ts'o } else 3219d0be502STheodore Ts'o ei->i_da_metadata_calc_len++; 3229d0be502STheodore Ts'o ei->i_da_metadata_calc_last_lblock++; 323d2a17637SMingming Cao return num; 324d2a17637SMingming Cao } 325d2a17637SMingming Cao 3269d0be502STheodore Ts'o /* 3279d0be502STheodore Ts'o * In the worst case we need a new set of index blocks at 3289d0be502STheodore Ts'o * every level of the inode's extent tree. 3299d0be502STheodore Ts'o */ 3309d0be502STheodore Ts'o ei->i_da_metadata_calc_len = 1; 3319d0be502STheodore Ts'o ei->i_da_metadata_calc_last_lblock = lblock; 3329d0be502STheodore Ts'o return ext_depth(inode) + 1; 3339d0be502STheodore Ts'o } 3349d0be502STheodore Ts'o 335c29c0ae7SAlex Tomas static int 336c29c0ae7SAlex Tomas ext4_ext_max_entries(struct inode *inode, int depth) 337c29c0ae7SAlex Tomas { 338c29c0ae7SAlex Tomas int max; 339c29c0ae7SAlex Tomas 340c29c0ae7SAlex Tomas if (depth == ext_depth(inode)) { 341c29c0ae7SAlex Tomas if (depth == 0) 34255ad63bfSTheodore Ts'o max = ext4_ext_space_root(inode, 1); 343c29c0ae7SAlex Tomas else 34455ad63bfSTheodore Ts'o max = ext4_ext_space_root_idx(inode, 1); 345c29c0ae7SAlex Tomas } else { 346c29c0ae7SAlex Tomas if (depth == 0) 34755ad63bfSTheodore Ts'o max = ext4_ext_space_block(inode, 1); 348c29c0ae7SAlex Tomas else 34955ad63bfSTheodore Ts'o max = ext4_ext_space_block_idx(inode, 1); 350c29c0ae7SAlex Tomas } 351c29c0ae7SAlex Tomas 352c29c0ae7SAlex Tomas return max; 353c29c0ae7SAlex Tomas } 354c29c0ae7SAlex Tomas 35556b19868SAneesh Kumar K.V static int ext4_valid_extent(struct inode *inode, struct ext4_extent *ext) 35656b19868SAneesh Kumar K.V { 3576fd058f7STheodore Ts'o ext4_fsblk_t block = ext_pblock(ext); 35856b19868SAneesh Kumar K.V int len = ext4_ext_get_actual_len(ext); 359e84a26ceSTheodore Ts'o 3606fd058f7STheodore Ts'o return ext4_data_block_valid(EXT4_SB(inode->i_sb), block, len); 36156b19868SAneesh Kumar K.V } 36256b19868SAneesh Kumar K.V 36356b19868SAneesh Kumar K.V static int ext4_valid_extent_idx(struct inode *inode, 36456b19868SAneesh Kumar K.V struct ext4_extent_idx *ext_idx) 36556b19868SAneesh Kumar K.V { 3666fd058f7STheodore Ts'o ext4_fsblk_t block = idx_pblock(ext_idx); 367e84a26ceSTheodore Ts'o 3686fd058f7STheodore Ts'o return ext4_data_block_valid(EXT4_SB(inode->i_sb), block, 1); 36956b19868SAneesh Kumar K.V } 37056b19868SAneesh Kumar K.V 37156b19868SAneesh Kumar K.V static int ext4_valid_extent_entries(struct inode *inode, 37256b19868SAneesh Kumar K.V struct ext4_extent_header *eh, 37356b19868SAneesh Kumar K.V int depth) 37456b19868SAneesh Kumar K.V { 37556b19868SAneesh Kumar K.V struct ext4_extent *ext; 37656b19868SAneesh Kumar K.V struct ext4_extent_idx *ext_idx; 37756b19868SAneesh Kumar K.V unsigned short entries; 37856b19868SAneesh Kumar K.V if (eh->eh_entries == 0) 37956b19868SAneesh Kumar K.V return 1; 38056b19868SAneesh Kumar K.V 38156b19868SAneesh Kumar K.V entries = le16_to_cpu(eh->eh_entries); 38256b19868SAneesh Kumar K.V 38356b19868SAneesh Kumar K.V if (depth == 0) { 38456b19868SAneesh Kumar K.V /* leaf entries */ 38556b19868SAneesh Kumar K.V ext = EXT_FIRST_EXTENT(eh); 38656b19868SAneesh Kumar K.V while (entries) { 38756b19868SAneesh Kumar K.V if (!ext4_valid_extent(inode, ext)) 38856b19868SAneesh Kumar K.V return 0; 38956b19868SAneesh Kumar K.V ext++; 39056b19868SAneesh Kumar K.V entries--; 39156b19868SAneesh Kumar K.V } 39256b19868SAneesh Kumar K.V } else { 39356b19868SAneesh Kumar K.V ext_idx = EXT_FIRST_INDEX(eh); 39456b19868SAneesh Kumar K.V while (entries) { 39556b19868SAneesh Kumar K.V if (!ext4_valid_extent_idx(inode, ext_idx)) 39656b19868SAneesh Kumar K.V return 0; 39756b19868SAneesh Kumar K.V ext_idx++; 39856b19868SAneesh Kumar K.V entries--; 39956b19868SAneesh Kumar K.V } 40056b19868SAneesh Kumar K.V } 40156b19868SAneesh Kumar K.V return 1; 40256b19868SAneesh Kumar K.V } 40356b19868SAneesh Kumar K.V 404c398eda0STheodore Ts'o static int __ext4_ext_check(const char *function, unsigned int line, 405c398eda0STheodore Ts'o struct inode *inode, struct ext4_extent_header *eh, 406c29c0ae7SAlex Tomas int depth) 407c29c0ae7SAlex Tomas { 408c29c0ae7SAlex Tomas const char *error_msg; 409c29c0ae7SAlex Tomas int max = 0; 410c29c0ae7SAlex Tomas 411c29c0ae7SAlex Tomas if (unlikely(eh->eh_magic != EXT4_EXT_MAGIC)) { 412c29c0ae7SAlex Tomas error_msg = "invalid magic"; 413c29c0ae7SAlex Tomas goto corrupted; 414c29c0ae7SAlex Tomas } 415c29c0ae7SAlex Tomas if (unlikely(le16_to_cpu(eh->eh_depth) != depth)) { 416c29c0ae7SAlex Tomas error_msg = "unexpected eh_depth"; 417c29c0ae7SAlex Tomas goto corrupted; 418c29c0ae7SAlex Tomas } 419c29c0ae7SAlex Tomas if (unlikely(eh->eh_max == 0)) { 420c29c0ae7SAlex Tomas error_msg = "invalid eh_max"; 421c29c0ae7SAlex Tomas goto corrupted; 422c29c0ae7SAlex Tomas } 423c29c0ae7SAlex Tomas max = ext4_ext_max_entries(inode, depth); 424c29c0ae7SAlex Tomas if (unlikely(le16_to_cpu(eh->eh_max) > max)) { 425c29c0ae7SAlex Tomas error_msg = "too large eh_max"; 426c29c0ae7SAlex Tomas goto corrupted; 427c29c0ae7SAlex Tomas } 428c29c0ae7SAlex Tomas if (unlikely(le16_to_cpu(eh->eh_entries) > le16_to_cpu(eh->eh_max))) { 429c29c0ae7SAlex Tomas error_msg = "invalid eh_entries"; 430c29c0ae7SAlex Tomas goto corrupted; 431c29c0ae7SAlex Tomas } 43256b19868SAneesh Kumar K.V if (!ext4_valid_extent_entries(inode, eh, depth)) { 43356b19868SAneesh Kumar K.V error_msg = "invalid extent entries"; 43456b19868SAneesh Kumar K.V goto corrupted; 43556b19868SAneesh Kumar K.V } 436c29c0ae7SAlex Tomas return 0; 437c29c0ae7SAlex Tomas 438c29c0ae7SAlex Tomas corrupted: 439c398eda0STheodore Ts'o ext4_error_inode(inode, function, line, 0, 44024676da4STheodore Ts'o "bad header/extent: %s - magic %x, " 441c29c0ae7SAlex Tomas "entries %u, max %u(%u), depth %u(%u)", 44224676da4STheodore Ts'o error_msg, le16_to_cpu(eh->eh_magic), 443c29c0ae7SAlex Tomas le16_to_cpu(eh->eh_entries), le16_to_cpu(eh->eh_max), 444c29c0ae7SAlex Tomas max, le16_to_cpu(eh->eh_depth), depth); 445c29c0ae7SAlex Tomas 446c29c0ae7SAlex Tomas return -EIO; 447c29c0ae7SAlex Tomas } 448c29c0ae7SAlex Tomas 44956b19868SAneesh Kumar K.V #define ext4_ext_check(inode, eh, depth) \ 450c398eda0STheodore Ts'o __ext4_ext_check(__func__, __LINE__, inode, eh, depth) 451c29c0ae7SAlex Tomas 4527a262f7cSAneesh Kumar K.V int ext4_ext_check_inode(struct inode *inode) 4537a262f7cSAneesh Kumar K.V { 4547a262f7cSAneesh Kumar K.V return ext4_ext_check(inode, ext_inode_hdr(inode), ext_depth(inode)); 4557a262f7cSAneesh Kumar K.V } 4567a262f7cSAneesh Kumar K.V 457a86c6181SAlex Tomas #ifdef EXT_DEBUG 458a86c6181SAlex Tomas static void ext4_ext_show_path(struct inode *inode, struct ext4_ext_path *path) 459a86c6181SAlex Tomas { 460a86c6181SAlex Tomas int k, l = path->p_depth; 461a86c6181SAlex Tomas 462a86c6181SAlex Tomas ext_debug("path:"); 463a86c6181SAlex Tomas for (k = 0; k <= l; k++, path++) { 464a86c6181SAlex Tomas if (path->p_idx) { 4652ae02107SMingming Cao ext_debug(" %d->%llu", le32_to_cpu(path->p_idx->ei_block), 466f65e6fbaSAlex Tomas idx_pblock(path->p_idx)); 467a86c6181SAlex Tomas } else if (path->p_ext) { 468553f9008SMingming ext_debug(" %d:[%d]%d:%llu ", 469a86c6181SAlex Tomas le32_to_cpu(path->p_ext->ee_block), 470553f9008SMingming ext4_ext_is_uninitialized(path->p_ext), 471a2df2a63SAmit Arora ext4_ext_get_actual_len(path->p_ext), 472f65e6fbaSAlex Tomas ext_pblock(path->p_ext)); 473a86c6181SAlex Tomas } else 474a86c6181SAlex Tomas ext_debug(" []"); 475a86c6181SAlex Tomas } 476a86c6181SAlex Tomas ext_debug("\n"); 477a86c6181SAlex Tomas } 478a86c6181SAlex Tomas 479a86c6181SAlex Tomas static void ext4_ext_show_leaf(struct inode *inode, struct ext4_ext_path *path) 480a86c6181SAlex Tomas { 481a86c6181SAlex Tomas int depth = ext_depth(inode); 482a86c6181SAlex Tomas struct ext4_extent_header *eh; 483a86c6181SAlex Tomas struct ext4_extent *ex; 484a86c6181SAlex Tomas int i; 485a86c6181SAlex Tomas 486a86c6181SAlex Tomas if (!path) 487a86c6181SAlex Tomas return; 488a86c6181SAlex Tomas 489a86c6181SAlex Tomas eh = path[depth].p_hdr; 490a86c6181SAlex Tomas ex = EXT_FIRST_EXTENT(eh); 491a86c6181SAlex Tomas 492553f9008SMingming ext_debug("Displaying leaf extents for inode %lu\n", inode->i_ino); 493553f9008SMingming 494a86c6181SAlex Tomas for (i = 0; i < le16_to_cpu(eh->eh_entries); i++, ex++) { 495553f9008SMingming ext_debug("%d:[%d]%d:%llu ", le32_to_cpu(ex->ee_block), 496553f9008SMingming ext4_ext_is_uninitialized(ex), 497a2df2a63SAmit Arora ext4_ext_get_actual_len(ex), ext_pblock(ex)); 498a86c6181SAlex Tomas } 499a86c6181SAlex Tomas ext_debug("\n"); 500a86c6181SAlex Tomas } 501a86c6181SAlex Tomas #else 502a86c6181SAlex Tomas #define ext4_ext_show_path(inode, path) 503a86c6181SAlex Tomas #define ext4_ext_show_leaf(inode, path) 504a86c6181SAlex Tomas #endif 505a86c6181SAlex Tomas 506b35905c1SAneesh Kumar K.V void ext4_ext_drop_refs(struct ext4_ext_path *path) 507a86c6181SAlex Tomas { 508a86c6181SAlex Tomas int depth = path->p_depth; 509a86c6181SAlex Tomas int i; 510a86c6181SAlex Tomas 511a86c6181SAlex Tomas for (i = 0; i <= depth; i++, path++) 512a86c6181SAlex Tomas if (path->p_bh) { 513a86c6181SAlex Tomas brelse(path->p_bh); 514a86c6181SAlex Tomas path->p_bh = NULL; 515a86c6181SAlex Tomas } 516a86c6181SAlex Tomas } 517a86c6181SAlex Tomas 518a86c6181SAlex Tomas /* 519d0d856e8SRandy Dunlap * ext4_ext_binsearch_idx: 520d0d856e8SRandy Dunlap * binary search for the closest index of the given block 521c29c0ae7SAlex Tomas * the header must be checked before calling this 522a86c6181SAlex Tomas */ 523a86c6181SAlex Tomas static void 524725d26d3SAneesh Kumar K.V ext4_ext_binsearch_idx(struct inode *inode, 525725d26d3SAneesh Kumar K.V struct ext4_ext_path *path, ext4_lblk_t block) 526a86c6181SAlex Tomas { 527a86c6181SAlex Tomas struct ext4_extent_header *eh = path->p_hdr; 528a86c6181SAlex Tomas struct ext4_extent_idx *r, *l, *m; 529a86c6181SAlex Tomas 530a86c6181SAlex Tomas 531bba90743SEric Sandeen ext_debug("binsearch for %u(idx): ", block); 532a86c6181SAlex Tomas 533a86c6181SAlex Tomas l = EXT_FIRST_INDEX(eh) + 1; 534e9f410b1SDmitry Monakhov r = EXT_LAST_INDEX(eh); 535a86c6181SAlex Tomas while (l <= r) { 536a86c6181SAlex Tomas m = l + (r - l) / 2; 537a86c6181SAlex Tomas if (block < le32_to_cpu(m->ei_block)) 538a86c6181SAlex Tomas r = m - 1; 539a86c6181SAlex Tomas else 540a86c6181SAlex Tomas l = m + 1; 54126d535edSDmitry Monakhov ext_debug("%p(%u):%p(%u):%p(%u) ", l, le32_to_cpu(l->ei_block), 54226d535edSDmitry Monakhov m, le32_to_cpu(m->ei_block), 54326d535edSDmitry Monakhov r, le32_to_cpu(r->ei_block)); 544a86c6181SAlex Tomas } 545a86c6181SAlex Tomas 546a86c6181SAlex Tomas path->p_idx = l - 1; 547f65e6fbaSAlex Tomas ext_debug(" -> %d->%lld ", le32_to_cpu(path->p_idx->ei_block), 54826d535edSDmitry Monakhov idx_pblock(path->p_idx)); 549a86c6181SAlex Tomas 550a86c6181SAlex Tomas #ifdef CHECK_BINSEARCH 551a86c6181SAlex Tomas { 552a86c6181SAlex Tomas struct ext4_extent_idx *chix, *ix; 553a86c6181SAlex Tomas int k; 554a86c6181SAlex Tomas 555a86c6181SAlex Tomas chix = ix = EXT_FIRST_INDEX(eh); 556a86c6181SAlex Tomas for (k = 0; k < le16_to_cpu(eh->eh_entries); k++, ix++) { 557a86c6181SAlex Tomas if (k != 0 && 558a86c6181SAlex Tomas le32_to_cpu(ix->ei_block) <= le32_to_cpu(ix[-1].ei_block)) { 5594776004fSTheodore Ts'o printk(KERN_DEBUG "k=%d, ix=0x%p, " 5604776004fSTheodore Ts'o "first=0x%p\n", k, 561a86c6181SAlex Tomas ix, EXT_FIRST_INDEX(eh)); 5624776004fSTheodore Ts'o printk(KERN_DEBUG "%u <= %u\n", 563a86c6181SAlex Tomas le32_to_cpu(ix->ei_block), 564a86c6181SAlex Tomas le32_to_cpu(ix[-1].ei_block)); 565a86c6181SAlex Tomas } 566a86c6181SAlex Tomas BUG_ON(k && le32_to_cpu(ix->ei_block) 567a86c6181SAlex Tomas <= le32_to_cpu(ix[-1].ei_block)); 568a86c6181SAlex Tomas if (block < le32_to_cpu(ix->ei_block)) 569a86c6181SAlex Tomas break; 570a86c6181SAlex Tomas chix = ix; 571a86c6181SAlex Tomas } 572a86c6181SAlex Tomas BUG_ON(chix != path->p_idx); 573a86c6181SAlex Tomas } 574a86c6181SAlex Tomas #endif 575a86c6181SAlex Tomas 576a86c6181SAlex Tomas } 577a86c6181SAlex Tomas 578a86c6181SAlex Tomas /* 579d0d856e8SRandy Dunlap * ext4_ext_binsearch: 580d0d856e8SRandy Dunlap * binary search for closest extent of the given block 581c29c0ae7SAlex Tomas * the header must be checked before calling this 582a86c6181SAlex Tomas */ 583a86c6181SAlex Tomas static void 584725d26d3SAneesh Kumar K.V ext4_ext_binsearch(struct inode *inode, 585725d26d3SAneesh Kumar K.V struct ext4_ext_path *path, ext4_lblk_t block) 586a86c6181SAlex Tomas { 587a86c6181SAlex Tomas struct ext4_extent_header *eh = path->p_hdr; 588a86c6181SAlex Tomas struct ext4_extent *r, *l, *m; 589a86c6181SAlex Tomas 590a86c6181SAlex Tomas if (eh->eh_entries == 0) { 591a86c6181SAlex Tomas /* 592d0d856e8SRandy Dunlap * this leaf is empty: 593a86c6181SAlex Tomas * we get such a leaf in split/add case 594a86c6181SAlex Tomas */ 595a86c6181SAlex Tomas return; 596a86c6181SAlex Tomas } 597a86c6181SAlex Tomas 598bba90743SEric Sandeen ext_debug("binsearch for %u: ", block); 599a86c6181SAlex Tomas 600a86c6181SAlex Tomas l = EXT_FIRST_EXTENT(eh) + 1; 601e9f410b1SDmitry Monakhov r = EXT_LAST_EXTENT(eh); 602a86c6181SAlex Tomas 603a86c6181SAlex Tomas while (l <= r) { 604a86c6181SAlex Tomas m = l + (r - l) / 2; 605a86c6181SAlex Tomas if (block < le32_to_cpu(m->ee_block)) 606a86c6181SAlex Tomas r = m - 1; 607a86c6181SAlex Tomas else 608a86c6181SAlex Tomas l = m + 1; 60926d535edSDmitry Monakhov ext_debug("%p(%u):%p(%u):%p(%u) ", l, le32_to_cpu(l->ee_block), 61026d535edSDmitry Monakhov m, le32_to_cpu(m->ee_block), 61126d535edSDmitry Monakhov r, le32_to_cpu(r->ee_block)); 612a86c6181SAlex Tomas } 613a86c6181SAlex Tomas 614a86c6181SAlex Tomas path->p_ext = l - 1; 615553f9008SMingming ext_debug(" -> %d:%llu:[%d]%d ", 616a86c6181SAlex Tomas le32_to_cpu(path->p_ext->ee_block), 617f65e6fbaSAlex Tomas ext_pblock(path->p_ext), 618553f9008SMingming ext4_ext_is_uninitialized(path->p_ext), 619a2df2a63SAmit Arora ext4_ext_get_actual_len(path->p_ext)); 620a86c6181SAlex Tomas 621a86c6181SAlex Tomas #ifdef CHECK_BINSEARCH 622a86c6181SAlex Tomas { 623a86c6181SAlex Tomas struct ext4_extent *chex, *ex; 624a86c6181SAlex Tomas int k; 625a86c6181SAlex Tomas 626a86c6181SAlex Tomas chex = ex = EXT_FIRST_EXTENT(eh); 627a86c6181SAlex Tomas for (k = 0; k < le16_to_cpu(eh->eh_entries); k++, ex++) { 628a86c6181SAlex Tomas BUG_ON(k && le32_to_cpu(ex->ee_block) 629a86c6181SAlex Tomas <= le32_to_cpu(ex[-1].ee_block)); 630a86c6181SAlex Tomas if (block < le32_to_cpu(ex->ee_block)) 631a86c6181SAlex Tomas break; 632a86c6181SAlex Tomas chex = ex; 633a86c6181SAlex Tomas } 634a86c6181SAlex Tomas BUG_ON(chex != path->p_ext); 635a86c6181SAlex Tomas } 636a86c6181SAlex Tomas #endif 637a86c6181SAlex Tomas 638a86c6181SAlex Tomas } 639a86c6181SAlex Tomas 640a86c6181SAlex Tomas int ext4_ext_tree_init(handle_t *handle, struct inode *inode) 641a86c6181SAlex Tomas { 642a86c6181SAlex Tomas struct ext4_extent_header *eh; 643a86c6181SAlex Tomas 644a86c6181SAlex Tomas eh = ext_inode_hdr(inode); 645a86c6181SAlex Tomas eh->eh_depth = 0; 646a86c6181SAlex Tomas eh->eh_entries = 0; 647a86c6181SAlex Tomas eh->eh_magic = EXT4_EXT_MAGIC; 64855ad63bfSTheodore Ts'o eh->eh_max = cpu_to_le16(ext4_ext_space_root(inode, 0)); 649a86c6181SAlex Tomas ext4_mark_inode_dirty(handle, inode); 650a86c6181SAlex Tomas ext4_ext_invalidate_cache(inode); 651a86c6181SAlex Tomas return 0; 652a86c6181SAlex Tomas } 653a86c6181SAlex Tomas 654a86c6181SAlex Tomas struct ext4_ext_path * 655725d26d3SAneesh Kumar K.V ext4_ext_find_extent(struct inode *inode, ext4_lblk_t block, 656725d26d3SAneesh Kumar K.V struct ext4_ext_path *path) 657a86c6181SAlex Tomas { 658a86c6181SAlex Tomas struct ext4_extent_header *eh; 659a86c6181SAlex Tomas struct buffer_head *bh; 660a86c6181SAlex Tomas short int depth, i, ppos = 0, alloc = 0; 661a86c6181SAlex Tomas 662a86c6181SAlex Tomas eh = ext_inode_hdr(inode); 663c29c0ae7SAlex Tomas depth = ext_depth(inode); 664a86c6181SAlex Tomas 665a86c6181SAlex Tomas /* account possible depth increase */ 666a86c6181SAlex Tomas if (!path) { 6675d4958f9SAvantika Mathur path = kzalloc(sizeof(struct ext4_ext_path) * (depth + 2), 668a86c6181SAlex Tomas GFP_NOFS); 669a86c6181SAlex Tomas if (!path) 670a86c6181SAlex Tomas return ERR_PTR(-ENOMEM); 671a86c6181SAlex Tomas alloc = 1; 672a86c6181SAlex Tomas } 673a86c6181SAlex Tomas path[0].p_hdr = eh; 6741973adcbSShen Feng path[0].p_bh = NULL; 675a86c6181SAlex Tomas 676c29c0ae7SAlex Tomas i = depth; 677a86c6181SAlex Tomas /* walk through the tree */ 678a86c6181SAlex Tomas while (i) { 6797a262f7cSAneesh Kumar K.V int need_to_validate = 0; 6807a262f7cSAneesh Kumar K.V 681a86c6181SAlex Tomas ext_debug("depth %d: num %d, max %d\n", 682a86c6181SAlex Tomas ppos, le16_to_cpu(eh->eh_entries), le16_to_cpu(eh->eh_max)); 683c29c0ae7SAlex Tomas 684a86c6181SAlex Tomas ext4_ext_binsearch_idx(inode, path + ppos, block); 685f65e6fbaSAlex Tomas path[ppos].p_block = idx_pblock(path[ppos].p_idx); 686a86c6181SAlex Tomas path[ppos].p_depth = i; 687a86c6181SAlex Tomas path[ppos].p_ext = NULL; 688a86c6181SAlex Tomas 6897a262f7cSAneesh Kumar K.V bh = sb_getblk(inode->i_sb, path[ppos].p_block); 6907a262f7cSAneesh Kumar K.V if (unlikely(!bh)) 691a86c6181SAlex Tomas goto err; 6927a262f7cSAneesh Kumar K.V if (!bh_uptodate_or_lock(bh)) { 6937a262f7cSAneesh Kumar K.V if (bh_submit_read(bh) < 0) { 6947a262f7cSAneesh Kumar K.V put_bh(bh); 6957a262f7cSAneesh Kumar K.V goto err; 6967a262f7cSAneesh Kumar K.V } 6977a262f7cSAneesh Kumar K.V /* validate the extent entries */ 6987a262f7cSAneesh Kumar K.V need_to_validate = 1; 6997a262f7cSAneesh Kumar K.V } 700a86c6181SAlex Tomas eh = ext_block_hdr(bh); 701a86c6181SAlex Tomas ppos++; 702273df556SFrank Mayhar if (unlikely(ppos > depth)) { 703273df556SFrank Mayhar put_bh(bh); 704273df556SFrank Mayhar EXT4_ERROR_INODE(inode, 705273df556SFrank Mayhar "ppos %d > depth %d", ppos, depth); 706273df556SFrank Mayhar goto err; 707273df556SFrank Mayhar } 708a86c6181SAlex Tomas path[ppos].p_bh = bh; 709a86c6181SAlex Tomas path[ppos].p_hdr = eh; 710a86c6181SAlex Tomas i--; 711a86c6181SAlex Tomas 7127a262f7cSAneesh Kumar K.V if (need_to_validate && ext4_ext_check(inode, eh, i)) 713a86c6181SAlex Tomas goto err; 714a86c6181SAlex Tomas } 715a86c6181SAlex Tomas 716a86c6181SAlex Tomas path[ppos].p_depth = i; 717a86c6181SAlex Tomas path[ppos].p_ext = NULL; 718a86c6181SAlex Tomas path[ppos].p_idx = NULL; 719a86c6181SAlex Tomas 720a86c6181SAlex Tomas /* find extent */ 721a86c6181SAlex Tomas ext4_ext_binsearch(inode, path + ppos, block); 7221973adcbSShen Feng /* if not an empty leaf */ 7231973adcbSShen Feng if (path[ppos].p_ext) 7241973adcbSShen Feng path[ppos].p_block = ext_pblock(path[ppos].p_ext); 725a86c6181SAlex Tomas 726a86c6181SAlex Tomas ext4_ext_show_path(inode, path); 727a86c6181SAlex Tomas 728a86c6181SAlex Tomas return path; 729a86c6181SAlex Tomas 730a86c6181SAlex Tomas err: 731a86c6181SAlex Tomas ext4_ext_drop_refs(path); 732a86c6181SAlex Tomas if (alloc) 733a86c6181SAlex Tomas kfree(path); 734a86c6181SAlex Tomas return ERR_PTR(-EIO); 735a86c6181SAlex Tomas } 736a86c6181SAlex Tomas 737a86c6181SAlex Tomas /* 738d0d856e8SRandy Dunlap * ext4_ext_insert_index: 739d0d856e8SRandy Dunlap * insert new index [@logical;@ptr] into the block at @curp; 740d0d856e8SRandy Dunlap * check where to insert: before @curp or after @curp 741a86c6181SAlex Tomas */ 742*1f109d5aSTheodore Ts'o static int ext4_ext_insert_index(handle_t *handle, struct inode *inode, 743a86c6181SAlex Tomas struct ext4_ext_path *curp, 744f65e6fbaSAlex Tomas int logical, ext4_fsblk_t ptr) 745a86c6181SAlex Tomas { 746a86c6181SAlex Tomas struct ext4_extent_idx *ix; 747a86c6181SAlex Tomas int len, err; 748a86c6181SAlex Tomas 7497e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, curp); 7507e028976SAvantika Mathur if (err) 751a86c6181SAlex Tomas return err; 752a86c6181SAlex Tomas 753273df556SFrank Mayhar if (unlikely(logical == le32_to_cpu(curp->p_idx->ei_block))) { 754273df556SFrank Mayhar EXT4_ERROR_INODE(inode, 755273df556SFrank Mayhar "logical %d == ei_block %d!", 756273df556SFrank Mayhar logical, le32_to_cpu(curp->p_idx->ei_block)); 757273df556SFrank Mayhar return -EIO; 758273df556SFrank Mayhar } 759a86c6181SAlex Tomas len = EXT_MAX_INDEX(curp->p_hdr) - curp->p_idx; 760a86c6181SAlex Tomas if (logical > le32_to_cpu(curp->p_idx->ei_block)) { 761a86c6181SAlex Tomas /* insert after */ 762a86c6181SAlex Tomas if (curp->p_idx != EXT_LAST_INDEX(curp->p_hdr)) { 763a86c6181SAlex Tomas len = (len - 1) * sizeof(struct ext4_extent_idx); 764a86c6181SAlex Tomas len = len < 0 ? 0 : len; 76526d535edSDmitry Monakhov ext_debug("insert new index %d after: %llu. " 766a86c6181SAlex Tomas "move %d from 0x%p to 0x%p\n", 767a86c6181SAlex Tomas logical, ptr, len, 768a86c6181SAlex Tomas (curp->p_idx + 1), (curp->p_idx + 2)); 769a86c6181SAlex Tomas memmove(curp->p_idx + 2, curp->p_idx + 1, len); 770a86c6181SAlex Tomas } 771a86c6181SAlex Tomas ix = curp->p_idx + 1; 772a86c6181SAlex Tomas } else { 773a86c6181SAlex Tomas /* insert before */ 774a86c6181SAlex Tomas len = len * sizeof(struct ext4_extent_idx); 775a86c6181SAlex Tomas len = len < 0 ? 0 : len; 77626d535edSDmitry Monakhov ext_debug("insert new index %d before: %llu. " 777a86c6181SAlex Tomas "move %d from 0x%p to 0x%p\n", 778a86c6181SAlex Tomas logical, ptr, len, 779a86c6181SAlex Tomas curp->p_idx, (curp->p_idx + 1)); 780a86c6181SAlex Tomas memmove(curp->p_idx + 1, curp->p_idx, len); 781a86c6181SAlex Tomas ix = curp->p_idx; 782a86c6181SAlex Tomas } 783a86c6181SAlex Tomas 784a86c6181SAlex Tomas ix->ei_block = cpu_to_le32(logical); 785f65e6fbaSAlex Tomas ext4_idx_store_pblock(ix, ptr); 786e8546d06SMarcin Slusarz le16_add_cpu(&curp->p_hdr->eh_entries, 1); 787a86c6181SAlex Tomas 788273df556SFrank Mayhar if (unlikely(le16_to_cpu(curp->p_hdr->eh_entries) 789273df556SFrank Mayhar > le16_to_cpu(curp->p_hdr->eh_max))) { 790273df556SFrank Mayhar EXT4_ERROR_INODE(inode, 791273df556SFrank Mayhar "logical %d == ei_block %d!", 792273df556SFrank Mayhar logical, le32_to_cpu(curp->p_idx->ei_block)); 793273df556SFrank Mayhar return -EIO; 794273df556SFrank Mayhar } 795273df556SFrank Mayhar if (unlikely(ix > EXT_LAST_INDEX(curp->p_hdr))) { 796273df556SFrank Mayhar EXT4_ERROR_INODE(inode, "ix > EXT_LAST_INDEX!"); 797273df556SFrank Mayhar return -EIO; 798273df556SFrank Mayhar } 799a86c6181SAlex Tomas 800a86c6181SAlex Tomas err = ext4_ext_dirty(handle, inode, curp); 801a86c6181SAlex Tomas ext4_std_error(inode->i_sb, err); 802a86c6181SAlex Tomas 803a86c6181SAlex Tomas return err; 804a86c6181SAlex Tomas } 805a86c6181SAlex Tomas 806a86c6181SAlex Tomas /* 807d0d856e8SRandy Dunlap * ext4_ext_split: 808d0d856e8SRandy Dunlap * inserts new subtree into the path, using free index entry 809d0d856e8SRandy Dunlap * at depth @at: 810a86c6181SAlex Tomas * - allocates all needed blocks (new leaf and all intermediate index blocks) 811a86c6181SAlex Tomas * - makes decision where to split 812d0d856e8SRandy Dunlap * - moves remaining extents and index entries (right to the split point) 813a86c6181SAlex Tomas * into the newly allocated blocks 814d0d856e8SRandy Dunlap * - initializes subtree 815a86c6181SAlex Tomas */ 816a86c6181SAlex Tomas static int ext4_ext_split(handle_t *handle, struct inode *inode, 817a86c6181SAlex Tomas struct ext4_ext_path *path, 818a86c6181SAlex Tomas struct ext4_extent *newext, int at) 819a86c6181SAlex Tomas { 820a86c6181SAlex Tomas struct buffer_head *bh = NULL; 821a86c6181SAlex Tomas int depth = ext_depth(inode); 822a86c6181SAlex Tomas struct ext4_extent_header *neh; 823a86c6181SAlex Tomas struct ext4_extent_idx *fidx; 824a86c6181SAlex Tomas struct ext4_extent *ex; 825a86c6181SAlex Tomas int i = at, k, m, a; 826f65e6fbaSAlex Tomas ext4_fsblk_t newblock, oldblock; 827a86c6181SAlex Tomas __le32 border; 828f65e6fbaSAlex Tomas ext4_fsblk_t *ablocks = NULL; /* array of allocated blocks */ 829a86c6181SAlex Tomas int err = 0; 830a86c6181SAlex Tomas 831a86c6181SAlex Tomas /* make decision: where to split? */ 832d0d856e8SRandy Dunlap /* FIXME: now decision is simplest: at current extent */ 833a86c6181SAlex Tomas 834d0d856e8SRandy Dunlap /* if current leaf will be split, then we should use 835a86c6181SAlex Tomas * border from split point */ 836273df556SFrank Mayhar if (unlikely(path[depth].p_ext > EXT_MAX_EXTENT(path[depth].p_hdr))) { 837273df556SFrank Mayhar EXT4_ERROR_INODE(inode, "p_ext > EXT_MAX_EXTENT!"); 838273df556SFrank Mayhar return -EIO; 839273df556SFrank Mayhar } 840a86c6181SAlex Tomas if (path[depth].p_ext != EXT_MAX_EXTENT(path[depth].p_hdr)) { 841a86c6181SAlex Tomas border = path[depth].p_ext[1].ee_block; 842d0d856e8SRandy Dunlap ext_debug("leaf will be split." 843a86c6181SAlex Tomas " next leaf starts at %d\n", 844a86c6181SAlex Tomas le32_to_cpu(border)); 845a86c6181SAlex Tomas } else { 846a86c6181SAlex Tomas border = newext->ee_block; 847a86c6181SAlex Tomas ext_debug("leaf will be added." 848a86c6181SAlex Tomas " next leaf starts at %d\n", 849a86c6181SAlex Tomas le32_to_cpu(border)); 850a86c6181SAlex Tomas } 851a86c6181SAlex Tomas 852a86c6181SAlex Tomas /* 853d0d856e8SRandy Dunlap * If error occurs, then we break processing 854d0d856e8SRandy Dunlap * and mark filesystem read-only. index won't 855a86c6181SAlex Tomas * be inserted and tree will be in consistent 856d0d856e8SRandy Dunlap * state. Next mount will repair buffers too. 857a86c6181SAlex Tomas */ 858a86c6181SAlex Tomas 859a86c6181SAlex Tomas /* 860d0d856e8SRandy Dunlap * Get array to track all allocated blocks. 861d0d856e8SRandy Dunlap * We need this to handle errors and free blocks 862d0d856e8SRandy Dunlap * upon them. 863a86c6181SAlex Tomas */ 8645d4958f9SAvantika Mathur ablocks = kzalloc(sizeof(ext4_fsblk_t) * depth, GFP_NOFS); 865a86c6181SAlex Tomas if (!ablocks) 866a86c6181SAlex Tomas return -ENOMEM; 867a86c6181SAlex Tomas 868a86c6181SAlex Tomas /* allocate all needed blocks */ 869a86c6181SAlex Tomas ext_debug("allocate %d blocks for indexes/leaf\n", depth - at); 870a86c6181SAlex Tomas for (a = 0; a < depth - at; a++) { 871654b4908SAneesh Kumar K.V newblock = ext4_ext_new_meta_block(handle, inode, path, 872654b4908SAneesh Kumar K.V newext, &err); 873a86c6181SAlex Tomas if (newblock == 0) 874a86c6181SAlex Tomas goto cleanup; 875a86c6181SAlex Tomas ablocks[a] = newblock; 876a86c6181SAlex Tomas } 877a86c6181SAlex Tomas 878a86c6181SAlex Tomas /* initialize new leaf */ 879a86c6181SAlex Tomas newblock = ablocks[--a]; 880273df556SFrank Mayhar if (unlikely(newblock == 0)) { 881273df556SFrank Mayhar EXT4_ERROR_INODE(inode, "newblock == 0!"); 882273df556SFrank Mayhar err = -EIO; 883273df556SFrank Mayhar goto cleanup; 884273df556SFrank Mayhar } 885a86c6181SAlex Tomas bh = sb_getblk(inode->i_sb, newblock); 886a86c6181SAlex Tomas if (!bh) { 887a86c6181SAlex Tomas err = -EIO; 888a86c6181SAlex Tomas goto cleanup; 889a86c6181SAlex Tomas } 890a86c6181SAlex Tomas lock_buffer(bh); 891a86c6181SAlex Tomas 8927e028976SAvantika Mathur err = ext4_journal_get_create_access(handle, bh); 8937e028976SAvantika Mathur if (err) 894a86c6181SAlex Tomas goto cleanup; 895a86c6181SAlex Tomas 896a86c6181SAlex Tomas neh = ext_block_hdr(bh); 897a86c6181SAlex Tomas neh->eh_entries = 0; 89855ad63bfSTheodore Ts'o neh->eh_max = cpu_to_le16(ext4_ext_space_block(inode, 0)); 899a86c6181SAlex Tomas neh->eh_magic = EXT4_EXT_MAGIC; 900a86c6181SAlex Tomas neh->eh_depth = 0; 901a86c6181SAlex Tomas ex = EXT_FIRST_EXTENT(neh); 902a86c6181SAlex Tomas 903d0d856e8SRandy Dunlap /* move remainder of path[depth] to the new leaf */ 904273df556SFrank Mayhar if (unlikely(path[depth].p_hdr->eh_entries != 905273df556SFrank Mayhar path[depth].p_hdr->eh_max)) { 906273df556SFrank Mayhar EXT4_ERROR_INODE(inode, "eh_entries %d != eh_max %d!", 907273df556SFrank Mayhar path[depth].p_hdr->eh_entries, 908273df556SFrank Mayhar path[depth].p_hdr->eh_max); 909273df556SFrank Mayhar err = -EIO; 910273df556SFrank Mayhar goto cleanup; 911273df556SFrank Mayhar } 912a86c6181SAlex Tomas /* start copy from next extent */ 913a86c6181SAlex Tomas /* TODO: we could do it by single memmove */ 914a86c6181SAlex Tomas m = 0; 915a86c6181SAlex Tomas path[depth].p_ext++; 916a86c6181SAlex Tomas while (path[depth].p_ext <= 917a86c6181SAlex Tomas EXT_MAX_EXTENT(path[depth].p_hdr)) { 918553f9008SMingming ext_debug("move %d:%llu:[%d]%d in new leaf %llu\n", 919a86c6181SAlex Tomas le32_to_cpu(path[depth].p_ext->ee_block), 920f65e6fbaSAlex Tomas ext_pblock(path[depth].p_ext), 921553f9008SMingming ext4_ext_is_uninitialized(path[depth].p_ext), 922a2df2a63SAmit Arora ext4_ext_get_actual_len(path[depth].p_ext), 923a86c6181SAlex Tomas newblock); 924a86c6181SAlex Tomas /*memmove(ex++, path[depth].p_ext++, 925a86c6181SAlex Tomas sizeof(struct ext4_extent)); 926a86c6181SAlex Tomas neh->eh_entries++;*/ 927a86c6181SAlex Tomas path[depth].p_ext++; 928a86c6181SAlex Tomas m++; 929a86c6181SAlex Tomas } 930a86c6181SAlex Tomas if (m) { 931a86c6181SAlex Tomas memmove(ex, path[depth].p_ext-m, sizeof(struct ext4_extent)*m); 932e8546d06SMarcin Slusarz le16_add_cpu(&neh->eh_entries, m); 933a86c6181SAlex Tomas } 934a86c6181SAlex Tomas 935a86c6181SAlex Tomas set_buffer_uptodate(bh); 936a86c6181SAlex Tomas unlock_buffer(bh); 937a86c6181SAlex Tomas 9380390131bSFrank Mayhar err = ext4_handle_dirty_metadata(handle, inode, bh); 9397e028976SAvantika Mathur if (err) 940a86c6181SAlex Tomas goto cleanup; 941a86c6181SAlex Tomas brelse(bh); 942a86c6181SAlex Tomas bh = NULL; 943a86c6181SAlex Tomas 944a86c6181SAlex Tomas /* correct old leaf */ 945a86c6181SAlex Tomas if (m) { 9467e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, path + depth); 9477e028976SAvantika Mathur if (err) 948a86c6181SAlex Tomas goto cleanup; 949e8546d06SMarcin Slusarz le16_add_cpu(&path[depth].p_hdr->eh_entries, -m); 9507e028976SAvantika Mathur err = ext4_ext_dirty(handle, inode, path + depth); 9517e028976SAvantika Mathur if (err) 952a86c6181SAlex Tomas goto cleanup; 953a86c6181SAlex Tomas 954a86c6181SAlex Tomas } 955a86c6181SAlex Tomas 956a86c6181SAlex Tomas /* create intermediate indexes */ 957a86c6181SAlex Tomas k = depth - at - 1; 958273df556SFrank Mayhar if (unlikely(k < 0)) { 959273df556SFrank Mayhar EXT4_ERROR_INODE(inode, "k %d < 0!", k); 960273df556SFrank Mayhar err = -EIO; 961273df556SFrank Mayhar goto cleanup; 962273df556SFrank Mayhar } 963a86c6181SAlex Tomas if (k) 964a86c6181SAlex Tomas ext_debug("create %d intermediate indices\n", k); 965a86c6181SAlex Tomas /* insert new index into current index block */ 966a86c6181SAlex Tomas /* current depth stored in i var */ 967a86c6181SAlex Tomas i = depth - 1; 968a86c6181SAlex Tomas while (k--) { 969a86c6181SAlex Tomas oldblock = newblock; 970a86c6181SAlex Tomas newblock = ablocks[--a]; 971bba90743SEric Sandeen bh = sb_getblk(inode->i_sb, newblock); 972a86c6181SAlex Tomas if (!bh) { 973a86c6181SAlex Tomas err = -EIO; 974a86c6181SAlex Tomas goto cleanup; 975a86c6181SAlex Tomas } 976a86c6181SAlex Tomas lock_buffer(bh); 977a86c6181SAlex Tomas 9787e028976SAvantika Mathur err = ext4_journal_get_create_access(handle, bh); 9797e028976SAvantika Mathur if (err) 980a86c6181SAlex Tomas goto cleanup; 981a86c6181SAlex Tomas 982a86c6181SAlex Tomas neh = ext_block_hdr(bh); 983a86c6181SAlex Tomas neh->eh_entries = cpu_to_le16(1); 984a86c6181SAlex Tomas neh->eh_magic = EXT4_EXT_MAGIC; 98555ad63bfSTheodore Ts'o neh->eh_max = cpu_to_le16(ext4_ext_space_block_idx(inode, 0)); 986a86c6181SAlex Tomas neh->eh_depth = cpu_to_le16(depth - i); 987a86c6181SAlex Tomas fidx = EXT_FIRST_INDEX(neh); 988a86c6181SAlex Tomas fidx->ei_block = border; 989f65e6fbaSAlex Tomas ext4_idx_store_pblock(fidx, oldblock); 990a86c6181SAlex Tomas 991bba90743SEric Sandeen ext_debug("int.index at %d (block %llu): %u -> %llu\n", 992bba90743SEric Sandeen i, newblock, le32_to_cpu(border), oldblock); 993a86c6181SAlex Tomas /* copy indexes */ 994a86c6181SAlex Tomas m = 0; 995a86c6181SAlex Tomas path[i].p_idx++; 996a86c6181SAlex Tomas 997a86c6181SAlex Tomas ext_debug("cur 0x%p, last 0x%p\n", path[i].p_idx, 998a86c6181SAlex Tomas EXT_MAX_INDEX(path[i].p_hdr)); 999273df556SFrank Mayhar if (unlikely(EXT_MAX_INDEX(path[i].p_hdr) != 1000273df556SFrank Mayhar EXT_LAST_INDEX(path[i].p_hdr))) { 1001273df556SFrank Mayhar EXT4_ERROR_INODE(inode, 1002273df556SFrank Mayhar "EXT_MAX_INDEX != EXT_LAST_INDEX ee_block %d!", 1003273df556SFrank Mayhar le32_to_cpu(path[i].p_ext->ee_block)); 1004273df556SFrank Mayhar err = -EIO; 1005273df556SFrank Mayhar goto cleanup; 1006273df556SFrank Mayhar } 1007a86c6181SAlex Tomas while (path[i].p_idx <= EXT_MAX_INDEX(path[i].p_hdr)) { 100826d535edSDmitry Monakhov ext_debug("%d: move %d:%llu in new index %llu\n", i, 1009a86c6181SAlex Tomas le32_to_cpu(path[i].p_idx->ei_block), 1010f65e6fbaSAlex Tomas idx_pblock(path[i].p_idx), 1011a86c6181SAlex Tomas newblock); 1012a86c6181SAlex Tomas /*memmove(++fidx, path[i].p_idx++, 1013a86c6181SAlex Tomas sizeof(struct ext4_extent_idx)); 1014a86c6181SAlex Tomas neh->eh_entries++; 1015a86c6181SAlex Tomas BUG_ON(neh->eh_entries > neh->eh_max);*/ 1016a86c6181SAlex Tomas path[i].p_idx++; 1017a86c6181SAlex Tomas m++; 1018a86c6181SAlex Tomas } 1019a86c6181SAlex Tomas if (m) { 1020a86c6181SAlex Tomas memmove(++fidx, path[i].p_idx - m, 1021a86c6181SAlex Tomas sizeof(struct ext4_extent_idx) * m); 1022e8546d06SMarcin Slusarz le16_add_cpu(&neh->eh_entries, m); 1023a86c6181SAlex Tomas } 1024a86c6181SAlex Tomas set_buffer_uptodate(bh); 1025a86c6181SAlex Tomas unlock_buffer(bh); 1026a86c6181SAlex Tomas 10270390131bSFrank Mayhar err = ext4_handle_dirty_metadata(handle, inode, bh); 10287e028976SAvantika Mathur if (err) 1029a86c6181SAlex Tomas goto cleanup; 1030a86c6181SAlex Tomas brelse(bh); 1031a86c6181SAlex Tomas bh = NULL; 1032a86c6181SAlex Tomas 1033a86c6181SAlex Tomas /* correct old index */ 1034a86c6181SAlex Tomas if (m) { 1035a86c6181SAlex Tomas err = ext4_ext_get_access(handle, inode, path + i); 1036a86c6181SAlex Tomas if (err) 1037a86c6181SAlex Tomas goto cleanup; 1038e8546d06SMarcin Slusarz le16_add_cpu(&path[i].p_hdr->eh_entries, -m); 1039a86c6181SAlex Tomas err = ext4_ext_dirty(handle, inode, path + i); 1040a86c6181SAlex Tomas if (err) 1041a86c6181SAlex Tomas goto cleanup; 1042a86c6181SAlex Tomas } 1043a86c6181SAlex Tomas 1044a86c6181SAlex Tomas i--; 1045a86c6181SAlex Tomas } 1046a86c6181SAlex Tomas 1047a86c6181SAlex Tomas /* insert new index */ 1048a86c6181SAlex Tomas err = ext4_ext_insert_index(handle, inode, path + at, 1049a86c6181SAlex Tomas le32_to_cpu(border), newblock); 1050a86c6181SAlex Tomas 1051a86c6181SAlex Tomas cleanup: 1052a86c6181SAlex Tomas if (bh) { 1053a86c6181SAlex Tomas if (buffer_locked(bh)) 1054a86c6181SAlex Tomas unlock_buffer(bh); 1055a86c6181SAlex Tomas brelse(bh); 1056a86c6181SAlex Tomas } 1057a86c6181SAlex Tomas 1058a86c6181SAlex Tomas if (err) { 1059a86c6181SAlex Tomas /* free all allocated blocks in error case */ 1060a86c6181SAlex Tomas for (i = 0; i < depth; i++) { 1061a86c6181SAlex Tomas if (!ablocks[i]) 1062a86c6181SAlex Tomas continue; 1063e6362609STheodore Ts'o ext4_free_blocks(handle, inode, 0, ablocks[i], 1, 1064e6362609STheodore Ts'o EXT4_FREE_BLOCKS_METADATA); 1065a86c6181SAlex Tomas } 1066a86c6181SAlex Tomas } 1067a86c6181SAlex Tomas kfree(ablocks); 1068a86c6181SAlex Tomas 1069a86c6181SAlex Tomas return err; 1070a86c6181SAlex Tomas } 1071a86c6181SAlex Tomas 1072a86c6181SAlex Tomas /* 1073d0d856e8SRandy Dunlap * ext4_ext_grow_indepth: 1074d0d856e8SRandy Dunlap * implements tree growing procedure: 1075a86c6181SAlex Tomas * - allocates new block 1076a86c6181SAlex Tomas * - moves top-level data (index block or leaf) into the new block 1077d0d856e8SRandy Dunlap * - initializes new top-level, creating index that points to the 1078a86c6181SAlex Tomas * just created block 1079a86c6181SAlex Tomas */ 1080a86c6181SAlex Tomas static int ext4_ext_grow_indepth(handle_t *handle, struct inode *inode, 1081a86c6181SAlex Tomas struct ext4_ext_path *path, 1082a86c6181SAlex Tomas struct ext4_extent *newext) 1083a86c6181SAlex Tomas { 1084a86c6181SAlex Tomas struct ext4_ext_path *curp = path; 1085a86c6181SAlex Tomas struct ext4_extent_header *neh; 1086a86c6181SAlex Tomas struct buffer_head *bh; 1087f65e6fbaSAlex Tomas ext4_fsblk_t newblock; 1088a86c6181SAlex Tomas int err = 0; 1089a86c6181SAlex Tomas 1090654b4908SAneesh Kumar K.V newblock = ext4_ext_new_meta_block(handle, inode, path, newext, &err); 1091a86c6181SAlex Tomas if (newblock == 0) 1092a86c6181SAlex Tomas return err; 1093a86c6181SAlex Tomas 1094a86c6181SAlex Tomas bh = sb_getblk(inode->i_sb, newblock); 1095a86c6181SAlex Tomas if (!bh) { 1096a86c6181SAlex Tomas err = -EIO; 1097a86c6181SAlex Tomas ext4_std_error(inode->i_sb, err); 1098a86c6181SAlex Tomas return err; 1099a86c6181SAlex Tomas } 1100a86c6181SAlex Tomas lock_buffer(bh); 1101a86c6181SAlex Tomas 11027e028976SAvantika Mathur err = ext4_journal_get_create_access(handle, bh); 11037e028976SAvantika Mathur if (err) { 1104a86c6181SAlex Tomas unlock_buffer(bh); 1105a86c6181SAlex Tomas goto out; 1106a86c6181SAlex Tomas } 1107a86c6181SAlex Tomas 1108a86c6181SAlex Tomas /* move top-level index/leaf into new block */ 1109a86c6181SAlex Tomas memmove(bh->b_data, curp->p_hdr, sizeof(EXT4_I(inode)->i_data)); 1110a86c6181SAlex Tomas 1111a86c6181SAlex Tomas /* set size of new block */ 1112a86c6181SAlex Tomas neh = ext_block_hdr(bh); 1113a86c6181SAlex Tomas /* old root could have indexes or leaves 1114a86c6181SAlex Tomas * so calculate e_max right way */ 1115a86c6181SAlex Tomas if (ext_depth(inode)) 111655ad63bfSTheodore Ts'o neh->eh_max = cpu_to_le16(ext4_ext_space_block_idx(inode, 0)); 1117a86c6181SAlex Tomas else 111855ad63bfSTheodore Ts'o neh->eh_max = cpu_to_le16(ext4_ext_space_block(inode, 0)); 1119a86c6181SAlex Tomas neh->eh_magic = EXT4_EXT_MAGIC; 1120a86c6181SAlex Tomas set_buffer_uptodate(bh); 1121a86c6181SAlex Tomas unlock_buffer(bh); 1122a86c6181SAlex Tomas 11230390131bSFrank Mayhar err = ext4_handle_dirty_metadata(handle, inode, bh); 11247e028976SAvantika Mathur if (err) 1125a86c6181SAlex Tomas goto out; 1126a86c6181SAlex Tomas 1127a86c6181SAlex Tomas /* create index in new top-level index: num,max,pointer */ 11287e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, curp); 11297e028976SAvantika Mathur if (err) 1130a86c6181SAlex Tomas goto out; 1131a86c6181SAlex Tomas 1132a86c6181SAlex Tomas curp->p_hdr->eh_magic = EXT4_EXT_MAGIC; 113355ad63bfSTheodore Ts'o curp->p_hdr->eh_max = cpu_to_le16(ext4_ext_space_root_idx(inode, 0)); 1134a86c6181SAlex Tomas curp->p_hdr->eh_entries = cpu_to_le16(1); 1135a86c6181SAlex Tomas curp->p_idx = EXT_FIRST_INDEX(curp->p_hdr); 1136e9f410b1SDmitry Monakhov 1137e9f410b1SDmitry Monakhov if (path[0].p_hdr->eh_depth) 1138e9f410b1SDmitry Monakhov curp->p_idx->ei_block = 1139e9f410b1SDmitry Monakhov EXT_FIRST_INDEX(path[0].p_hdr)->ei_block; 1140e9f410b1SDmitry Monakhov else 1141e9f410b1SDmitry Monakhov curp->p_idx->ei_block = 1142e9f410b1SDmitry Monakhov EXT_FIRST_EXTENT(path[0].p_hdr)->ee_block; 1143f65e6fbaSAlex Tomas ext4_idx_store_pblock(curp->p_idx, newblock); 1144a86c6181SAlex Tomas 1145a86c6181SAlex Tomas neh = ext_inode_hdr(inode); 11462ae02107SMingming Cao ext_debug("new root: num %d(%d), lblock %d, ptr %llu\n", 1147a86c6181SAlex Tomas le16_to_cpu(neh->eh_entries), le16_to_cpu(neh->eh_max), 11485a0790c2SAndi Kleen le32_to_cpu(EXT_FIRST_INDEX(neh)->ei_block), 11495a0790c2SAndi Kleen idx_pblock(EXT_FIRST_INDEX(neh))); 1150a86c6181SAlex Tomas 1151a86c6181SAlex Tomas neh->eh_depth = cpu_to_le16(path->p_depth + 1); 1152a86c6181SAlex Tomas err = ext4_ext_dirty(handle, inode, curp); 1153a86c6181SAlex Tomas out: 1154a86c6181SAlex Tomas brelse(bh); 1155a86c6181SAlex Tomas 1156a86c6181SAlex Tomas return err; 1157a86c6181SAlex Tomas } 1158a86c6181SAlex Tomas 1159a86c6181SAlex Tomas /* 1160d0d856e8SRandy Dunlap * ext4_ext_create_new_leaf: 1161d0d856e8SRandy Dunlap * finds empty index and adds new leaf. 1162d0d856e8SRandy Dunlap * if no free index is found, then it requests in-depth growing. 1163a86c6181SAlex Tomas */ 1164a86c6181SAlex Tomas static int ext4_ext_create_new_leaf(handle_t *handle, struct inode *inode, 1165a86c6181SAlex Tomas struct ext4_ext_path *path, 1166a86c6181SAlex Tomas struct ext4_extent *newext) 1167a86c6181SAlex Tomas { 1168a86c6181SAlex Tomas struct ext4_ext_path *curp; 1169a86c6181SAlex Tomas int depth, i, err = 0; 1170a86c6181SAlex Tomas 1171a86c6181SAlex Tomas repeat: 1172a86c6181SAlex Tomas i = depth = ext_depth(inode); 1173a86c6181SAlex Tomas 1174a86c6181SAlex Tomas /* walk up to the tree and look for free index entry */ 1175a86c6181SAlex Tomas curp = path + depth; 1176a86c6181SAlex Tomas while (i > 0 && !EXT_HAS_FREE_INDEX(curp)) { 1177a86c6181SAlex Tomas i--; 1178a86c6181SAlex Tomas curp--; 1179a86c6181SAlex Tomas } 1180a86c6181SAlex Tomas 1181d0d856e8SRandy Dunlap /* we use already allocated block for index block, 1182d0d856e8SRandy Dunlap * so subsequent data blocks should be contiguous */ 1183a86c6181SAlex Tomas if (EXT_HAS_FREE_INDEX(curp)) { 1184a86c6181SAlex Tomas /* if we found index with free entry, then use that 1185a86c6181SAlex Tomas * entry: create all needed subtree and add new leaf */ 1186a86c6181SAlex Tomas err = ext4_ext_split(handle, inode, path, newext, i); 1187787e0981SShen Feng if (err) 1188787e0981SShen Feng goto out; 1189a86c6181SAlex Tomas 1190a86c6181SAlex Tomas /* refill path */ 1191a86c6181SAlex Tomas ext4_ext_drop_refs(path); 1192a86c6181SAlex Tomas path = ext4_ext_find_extent(inode, 1193725d26d3SAneesh Kumar K.V (ext4_lblk_t)le32_to_cpu(newext->ee_block), 1194a86c6181SAlex Tomas path); 1195a86c6181SAlex Tomas if (IS_ERR(path)) 1196a86c6181SAlex Tomas err = PTR_ERR(path); 1197a86c6181SAlex Tomas } else { 1198a86c6181SAlex Tomas /* tree is full, time to grow in depth */ 1199a86c6181SAlex Tomas err = ext4_ext_grow_indepth(handle, inode, path, newext); 1200a86c6181SAlex Tomas if (err) 1201a86c6181SAlex Tomas goto out; 1202a86c6181SAlex Tomas 1203a86c6181SAlex Tomas /* refill path */ 1204a86c6181SAlex Tomas ext4_ext_drop_refs(path); 1205a86c6181SAlex Tomas path = ext4_ext_find_extent(inode, 1206725d26d3SAneesh Kumar K.V (ext4_lblk_t)le32_to_cpu(newext->ee_block), 1207a86c6181SAlex Tomas path); 1208a86c6181SAlex Tomas if (IS_ERR(path)) { 1209a86c6181SAlex Tomas err = PTR_ERR(path); 1210a86c6181SAlex Tomas goto out; 1211a86c6181SAlex Tomas } 1212a86c6181SAlex Tomas 1213a86c6181SAlex Tomas /* 1214d0d856e8SRandy Dunlap * only first (depth 0 -> 1) produces free space; 1215d0d856e8SRandy Dunlap * in all other cases we have to split the grown tree 1216a86c6181SAlex Tomas */ 1217a86c6181SAlex Tomas depth = ext_depth(inode); 1218a86c6181SAlex Tomas if (path[depth].p_hdr->eh_entries == path[depth].p_hdr->eh_max) { 1219d0d856e8SRandy Dunlap /* now we need to split */ 1220a86c6181SAlex Tomas goto repeat; 1221a86c6181SAlex Tomas } 1222a86c6181SAlex Tomas } 1223a86c6181SAlex Tomas 1224a86c6181SAlex Tomas out: 1225a86c6181SAlex Tomas return err; 1226a86c6181SAlex Tomas } 1227a86c6181SAlex Tomas 1228a86c6181SAlex Tomas /* 12291988b51eSAlex Tomas * search the closest allocated block to the left for *logical 12301988b51eSAlex Tomas * and returns it at @logical + it's physical address at @phys 12311988b51eSAlex Tomas * if *logical is the smallest allocated block, the function 12321988b51eSAlex Tomas * returns 0 at @phys 12331988b51eSAlex Tomas * return value contains 0 (success) or error code 12341988b51eSAlex Tomas */ 1235*1f109d5aSTheodore Ts'o static int ext4_ext_search_left(struct inode *inode, 1236*1f109d5aSTheodore Ts'o struct ext4_ext_path *path, 12371988b51eSAlex Tomas ext4_lblk_t *logical, ext4_fsblk_t *phys) 12381988b51eSAlex Tomas { 12391988b51eSAlex Tomas struct ext4_extent_idx *ix; 12401988b51eSAlex Tomas struct ext4_extent *ex; 1241b939e376SAneesh Kumar K.V int depth, ee_len; 12421988b51eSAlex Tomas 1243273df556SFrank Mayhar if (unlikely(path == NULL)) { 1244273df556SFrank Mayhar EXT4_ERROR_INODE(inode, "path == NULL *logical %d!", *logical); 1245273df556SFrank Mayhar return -EIO; 1246273df556SFrank Mayhar } 12471988b51eSAlex Tomas depth = path->p_depth; 12481988b51eSAlex Tomas *phys = 0; 12491988b51eSAlex Tomas 12501988b51eSAlex Tomas if (depth == 0 && path->p_ext == NULL) 12511988b51eSAlex Tomas return 0; 12521988b51eSAlex Tomas 12531988b51eSAlex Tomas /* usually extent in the path covers blocks smaller 12541988b51eSAlex Tomas * then *logical, but it can be that extent is the 12551988b51eSAlex Tomas * first one in the file */ 12561988b51eSAlex Tomas 12571988b51eSAlex Tomas ex = path[depth].p_ext; 1258b939e376SAneesh Kumar K.V ee_len = ext4_ext_get_actual_len(ex); 12591988b51eSAlex Tomas if (*logical < le32_to_cpu(ex->ee_block)) { 1260273df556SFrank Mayhar if (unlikely(EXT_FIRST_EXTENT(path[depth].p_hdr) != ex)) { 1261273df556SFrank Mayhar EXT4_ERROR_INODE(inode, 1262273df556SFrank Mayhar "EXT_FIRST_EXTENT != ex *logical %d ee_block %d!", 1263273df556SFrank Mayhar *logical, le32_to_cpu(ex->ee_block)); 1264273df556SFrank Mayhar return -EIO; 1265273df556SFrank Mayhar } 12661988b51eSAlex Tomas while (--depth >= 0) { 12671988b51eSAlex Tomas ix = path[depth].p_idx; 1268273df556SFrank Mayhar if (unlikely(ix != EXT_FIRST_INDEX(path[depth].p_hdr))) { 1269273df556SFrank Mayhar EXT4_ERROR_INODE(inode, 1270273df556SFrank Mayhar "ix (%d) != EXT_FIRST_INDEX (%d) (depth %d)!", 1271273df556SFrank Mayhar ix != NULL ? ix->ei_block : 0, 1272273df556SFrank Mayhar EXT_FIRST_INDEX(path[depth].p_hdr) != NULL ? 1273273df556SFrank Mayhar EXT_FIRST_INDEX(path[depth].p_hdr)->ei_block : 0, 1274273df556SFrank Mayhar depth); 1275273df556SFrank Mayhar return -EIO; 1276273df556SFrank Mayhar } 12771988b51eSAlex Tomas } 12781988b51eSAlex Tomas return 0; 12791988b51eSAlex Tomas } 12801988b51eSAlex Tomas 1281273df556SFrank Mayhar if (unlikely(*logical < (le32_to_cpu(ex->ee_block) + ee_len))) { 1282273df556SFrank Mayhar EXT4_ERROR_INODE(inode, 1283273df556SFrank Mayhar "logical %d < ee_block %d + ee_len %d!", 1284273df556SFrank Mayhar *logical, le32_to_cpu(ex->ee_block), ee_len); 1285273df556SFrank Mayhar return -EIO; 1286273df556SFrank Mayhar } 12871988b51eSAlex Tomas 1288b939e376SAneesh Kumar K.V *logical = le32_to_cpu(ex->ee_block) + ee_len - 1; 1289b939e376SAneesh Kumar K.V *phys = ext_pblock(ex) + ee_len - 1; 12901988b51eSAlex Tomas return 0; 12911988b51eSAlex Tomas } 12921988b51eSAlex Tomas 12931988b51eSAlex Tomas /* 12941988b51eSAlex Tomas * search the closest allocated block to the right for *logical 12951988b51eSAlex Tomas * and returns it at @logical + it's physical address at @phys 12961988b51eSAlex Tomas * if *logical is the smallest allocated block, the function 12971988b51eSAlex Tomas * returns 0 at @phys 12981988b51eSAlex Tomas * return value contains 0 (success) or error code 12991988b51eSAlex Tomas */ 1300*1f109d5aSTheodore Ts'o static int ext4_ext_search_right(struct inode *inode, 1301*1f109d5aSTheodore Ts'o struct ext4_ext_path *path, 13021988b51eSAlex Tomas ext4_lblk_t *logical, ext4_fsblk_t *phys) 13031988b51eSAlex Tomas { 13041988b51eSAlex Tomas struct buffer_head *bh = NULL; 13051988b51eSAlex Tomas struct ext4_extent_header *eh; 13061988b51eSAlex Tomas struct ext4_extent_idx *ix; 13071988b51eSAlex Tomas struct ext4_extent *ex; 13081988b51eSAlex Tomas ext4_fsblk_t block; 1309395a87bfSEric Sandeen int depth; /* Note, NOT eh_depth; depth from top of tree */ 1310395a87bfSEric Sandeen int ee_len; 13111988b51eSAlex Tomas 1312273df556SFrank Mayhar if (unlikely(path == NULL)) { 1313273df556SFrank Mayhar EXT4_ERROR_INODE(inode, "path == NULL *logical %d!", *logical); 1314273df556SFrank Mayhar return -EIO; 1315273df556SFrank Mayhar } 13161988b51eSAlex Tomas depth = path->p_depth; 13171988b51eSAlex Tomas *phys = 0; 13181988b51eSAlex Tomas 13191988b51eSAlex Tomas if (depth == 0 && path->p_ext == NULL) 13201988b51eSAlex Tomas return 0; 13211988b51eSAlex Tomas 13221988b51eSAlex Tomas /* usually extent in the path covers blocks smaller 13231988b51eSAlex Tomas * then *logical, but it can be that extent is the 13241988b51eSAlex Tomas * first one in the file */ 13251988b51eSAlex Tomas 13261988b51eSAlex Tomas ex = path[depth].p_ext; 1327b939e376SAneesh Kumar K.V ee_len = ext4_ext_get_actual_len(ex); 13281988b51eSAlex Tomas if (*logical < le32_to_cpu(ex->ee_block)) { 1329273df556SFrank Mayhar if (unlikely(EXT_FIRST_EXTENT(path[depth].p_hdr) != ex)) { 1330273df556SFrank Mayhar EXT4_ERROR_INODE(inode, 1331273df556SFrank Mayhar "first_extent(path[%d].p_hdr) != ex", 1332273df556SFrank Mayhar depth); 1333273df556SFrank Mayhar return -EIO; 1334273df556SFrank Mayhar } 13351988b51eSAlex Tomas while (--depth >= 0) { 13361988b51eSAlex Tomas ix = path[depth].p_idx; 1337273df556SFrank Mayhar if (unlikely(ix != EXT_FIRST_INDEX(path[depth].p_hdr))) { 1338273df556SFrank Mayhar EXT4_ERROR_INODE(inode, 1339273df556SFrank Mayhar "ix != EXT_FIRST_INDEX *logical %d!", 1340273df556SFrank Mayhar *logical); 1341273df556SFrank Mayhar return -EIO; 1342273df556SFrank Mayhar } 13431988b51eSAlex Tomas } 13441988b51eSAlex Tomas *logical = le32_to_cpu(ex->ee_block); 13451988b51eSAlex Tomas *phys = ext_pblock(ex); 13461988b51eSAlex Tomas return 0; 13471988b51eSAlex Tomas } 13481988b51eSAlex Tomas 1349273df556SFrank Mayhar if (unlikely(*logical < (le32_to_cpu(ex->ee_block) + ee_len))) { 1350273df556SFrank Mayhar EXT4_ERROR_INODE(inode, 1351273df556SFrank Mayhar "logical %d < ee_block %d + ee_len %d!", 1352273df556SFrank Mayhar *logical, le32_to_cpu(ex->ee_block), ee_len); 1353273df556SFrank Mayhar return -EIO; 1354273df556SFrank Mayhar } 13551988b51eSAlex Tomas 13561988b51eSAlex Tomas if (ex != EXT_LAST_EXTENT(path[depth].p_hdr)) { 13571988b51eSAlex Tomas /* next allocated block in this leaf */ 13581988b51eSAlex Tomas ex++; 13591988b51eSAlex Tomas *logical = le32_to_cpu(ex->ee_block); 13601988b51eSAlex Tomas *phys = ext_pblock(ex); 13611988b51eSAlex Tomas return 0; 13621988b51eSAlex Tomas } 13631988b51eSAlex Tomas 13641988b51eSAlex Tomas /* go up and search for index to the right */ 13651988b51eSAlex Tomas while (--depth >= 0) { 13661988b51eSAlex Tomas ix = path[depth].p_idx; 13671988b51eSAlex Tomas if (ix != EXT_LAST_INDEX(path[depth].p_hdr)) 136825f1ee3aSWu Fengguang goto got_index; 13691988b51eSAlex Tomas } 13701988b51eSAlex Tomas 137125f1ee3aSWu Fengguang /* we've gone up to the root and found no index to the right */ 13721988b51eSAlex Tomas return 0; 13731988b51eSAlex Tomas 137425f1ee3aSWu Fengguang got_index: 13751988b51eSAlex Tomas /* we've found index to the right, let's 13761988b51eSAlex Tomas * follow it and find the closest allocated 13771988b51eSAlex Tomas * block to the right */ 13781988b51eSAlex Tomas ix++; 13791988b51eSAlex Tomas block = idx_pblock(ix); 13801988b51eSAlex Tomas while (++depth < path->p_depth) { 13811988b51eSAlex Tomas bh = sb_bread(inode->i_sb, block); 13821988b51eSAlex Tomas if (bh == NULL) 13831988b51eSAlex Tomas return -EIO; 13841988b51eSAlex Tomas eh = ext_block_hdr(bh); 1385395a87bfSEric Sandeen /* subtract from p_depth to get proper eh_depth */ 138656b19868SAneesh Kumar K.V if (ext4_ext_check(inode, eh, path->p_depth - depth)) { 13871988b51eSAlex Tomas put_bh(bh); 13881988b51eSAlex Tomas return -EIO; 13891988b51eSAlex Tomas } 13901988b51eSAlex Tomas ix = EXT_FIRST_INDEX(eh); 13911988b51eSAlex Tomas block = idx_pblock(ix); 13921988b51eSAlex Tomas put_bh(bh); 13931988b51eSAlex Tomas } 13941988b51eSAlex Tomas 13951988b51eSAlex Tomas bh = sb_bread(inode->i_sb, block); 13961988b51eSAlex Tomas if (bh == NULL) 13971988b51eSAlex Tomas return -EIO; 13981988b51eSAlex Tomas eh = ext_block_hdr(bh); 139956b19868SAneesh Kumar K.V if (ext4_ext_check(inode, eh, path->p_depth - depth)) { 14001988b51eSAlex Tomas put_bh(bh); 14011988b51eSAlex Tomas return -EIO; 14021988b51eSAlex Tomas } 14031988b51eSAlex Tomas ex = EXT_FIRST_EXTENT(eh); 14041988b51eSAlex Tomas *logical = le32_to_cpu(ex->ee_block); 14051988b51eSAlex Tomas *phys = ext_pblock(ex); 14061988b51eSAlex Tomas put_bh(bh); 14071988b51eSAlex Tomas return 0; 14081988b51eSAlex Tomas } 14091988b51eSAlex Tomas 14101988b51eSAlex Tomas /* 1411d0d856e8SRandy Dunlap * ext4_ext_next_allocated_block: 1412d0d856e8SRandy Dunlap * returns allocated block in subsequent extent or EXT_MAX_BLOCK. 1413d0d856e8SRandy Dunlap * NOTE: it considers block number from index entry as 1414d0d856e8SRandy Dunlap * allocated block. Thus, index entries have to be consistent 1415d0d856e8SRandy Dunlap * with leaves. 1416a86c6181SAlex Tomas */ 1417725d26d3SAneesh Kumar K.V static ext4_lblk_t 1418a86c6181SAlex Tomas ext4_ext_next_allocated_block(struct ext4_ext_path *path) 1419a86c6181SAlex Tomas { 1420a86c6181SAlex Tomas int depth; 1421a86c6181SAlex Tomas 1422a86c6181SAlex Tomas BUG_ON(path == NULL); 1423a86c6181SAlex Tomas depth = path->p_depth; 1424a86c6181SAlex Tomas 1425a86c6181SAlex Tomas if (depth == 0 && path->p_ext == NULL) 1426a86c6181SAlex Tomas return EXT_MAX_BLOCK; 1427a86c6181SAlex Tomas 1428a86c6181SAlex Tomas while (depth >= 0) { 1429a86c6181SAlex Tomas if (depth == path->p_depth) { 1430a86c6181SAlex Tomas /* leaf */ 1431a86c6181SAlex Tomas if (path[depth].p_ext != 1432a86c6181SAlex Tomas EXT_LAST_EXTENT(path[depth].p_hdr)) 1433a86c6181SAlex Tomas return le32_to_cpu(path[depth].p_ext[1].ee_block); 1434a86c6181SAlex Tomas } else { 1435a86c6181SAlex Tomas /* index */ 1436a86c6181SAlex Tomas if (path[depth].p_idx != 1437a86c6181SAlex Tomas EXT_LAST_INDEX(path[depth].p_hdr)) 1438a86c6181SAlex Tomas return le32_to_cpu(path[depth].p_idx[1].ei_block); 1439a86c6181SAlex Tomas } 1440a86c6181SAlex Tomas depth--; 1441a86c6181SAlex Tomas } 1442a86c6181SAlex Tomas 1443a86c6181SAlex Tomas return EXT_MAX_BLOCK; 1444a86c6181SAlex Tomas } 1445a86c6181SAlex Tomas 1446a86c6181SAlex Tomas /* 1447d0d856e8SRandy Dunlap * ext4_ext_next_leaf_block: 1448a86c6181SAlex Tomas * returns first allocated block from next leaf or EXT_MAX_BLOCK 1449a86c6181SAlex Tomas */ 1450725d26d3SAneesh Kumar K.V static ext4_lblk_t ext4_ext_next_leaf_block(struct inode *inode, 1451a86c6181SAlex Tomas struct ext4_ext_path *path) 1452a86c6181SAlex Tomas { 1453a86c6181SAlex Tomas int depth; 1454a86c6181SAlex Tomas 1455a86c6181SAlex Tomas BUG_ON(path == NULL); 1456a86c6181SAlex Tomas depth = path->p_depth; 1457a86c6181SAlex Tomas 1458a86c6181SAlex Tomas /* zero-tree has no leaf blocks at all */ 1459a86c6181SAlex Tomas if (depth == 0) 1460a86c6181SAlex Tomas return EXT_MAX_BLOCK; 1461a86c6181SAlex Tomas 1462a86c6181SAlex Tomas /* go to index block */ 1463a86c6181SAlex Tomas depth--; 1464a86c6181SAlex Tomas 1465a86c6181SAlex Tomas while (depth >= 0) { 1466a86c6181SAlex Tomas if (path[depth].p_idx != 1467a86c6181SAlex Tomas EXT_LAST_INDEX(path[depth].p_hdr)) 1468725d26d3SAneesh Kumar K.V return (ext4_lblk_t) 1469725d26d3SAneesh Kumar K.V le32_to_cpu(path[depth].p_idx[1].ei_block); 1470a86c6181SAlex Tomas depth--; 1471a86c6181SAlex Tomas } 1472a86c6181SAlex Tomas 1473a86c6181SAlex Tomas return EXT_MAX_BLOCK; 1474a86c6181SAlex Tomas } 1475a86c6181SAlex Tomas 1476a86c6181SAlex Tomas /* 1477d0d856e8SRandy Dunlap * ext4_ext_correct_indexes: 1478d0d856e8SRandy Dunlap * if leaf gets modified and modified extent is first in the leaf, 1479d0d856e8SRandy Dunlap * then we have to correct all indexes above. 1480a86c6181SAlex Tomas * TODO: do we need to correct tree in all cases? 1481a86c6181SAlex Tomas */ 14821d03ec98SAneesh Kumar K.V static int ext4_ext_correct_indexes(handle_t *handle, struct inode *inode, 1483a86c6181SAlex Tomas struct ext4_ext_path *path) 1484a86c6181SAlex Tomas { 1485a86c6181SAlex Tomas struct ext4_extent_header *eh; 1486a86c6181SAlex Tomas int depth = ext_depth(inode); 1487a86c6181SAlex Tomas struct ext4_extent *ex; 1488a86c6181SAlex Tomas __le32 border; 1489a86c6181SAlex Tomas int k, err = 0; 1490a86c6181SAlex Tomas 1491a86c6181SAlex Tomas eh = path[depth].p_hdr; 1492a86c6181SAlex Tomas ex = path[depth].p_ext; 1493273df556SFrank Mayhar 1494273df556SFrank Mayhar if (unlikely(ex == NULL || eh == NULL)) { 1495273df556SFrank Mayhar EXT4_ERROR_INODE(inode, 1496273df556SFrank Mayhar "ex %p == NULL or eh %p == NULL", ex, eh); 1497273df556SFrank Mayhar return -EIO; 1498273df556SFrank Mayhar } 1499a86c6181SAlex Tomas 1500a86c6181SAlex Tomas if (depth == 0) { 1501a86c6181SAlex Tomas /* there is no tree at all */ 1502a86c6181SAlex Tomas return 0; 1503a86c6181SAlex Tomas } 1504a86c6181SAlex Tomas 1505a86c6181SAlex Tomas if (ex != EXT_FIRST_EXTENT(eh)) { 1506a86c6181SAlex Tomas /* we correct tree if first leaf got modified only */ 1507a86c6181SAlex Tomas return 0; 1508a86c6181SAlex Tomas } 1509a86c6181SAlex Tomas 1510a86c6181SAlex Tomas /* 1511d0d856e8SRandy Dunlap * TODO: we need correction if border is smaller than current one 1512a86c6181SAlex Tomas */ 1513a86c6181SAlex Tomas k = depth - 1; 1514a86c6181SAlex Tomas border = path[depth].p_ext->ee_block; 15157e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, path + k); 15167e028976SAvantika Mathur if (err) 1517a86c6181SAlex Tomas return err; 1518a86c6181SAlex Tomas path[k].p_idx->ei_block = border; 15197e028976SAvantika Mathur err = ext4_ext_dirty(handle, inode, path + k); 15207e028976SAvantika Mathur if (err) 1521a86c6181SAlex Tomas return err; 1522a86c6181SAlex Tomas 1523a86c6181SAlex Tomas while (k--) { 1524a86c6181SAlex Tomas /* change all left-side indexes */ 1525a86c6181SAlex Tomas if (path[k+1].p_idx != EXT_FIRST_INDEX(path[k+1].p_hdr)) 1526a86c6181SAlex Tomas break; 15277e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, path + k); 15287e028976SAvantika Mathur if (err) 1529a86c6181SAlex Tomas break; 1530a86c6181SAlex Tomas path[k].p_idx->ei_block = border; 15317e028976SAvantika Mathur err = ext4_ext_dirty(handle, inode, path + k); 15327e028976SAvantika Mathur if (err) 1533a86c6181SAlex Tomas break; 1534a86c6181SAlex Tomas } 1535a86c6181SAlex Tomas 1536a86c6181SAlex Tomas return err; 1537a86c6181SAlex Tomas } 1538a86c6181SAlex Tomas 1539748de673SAkira Fujita int 1540a86c6181SAlex Tomas ext4_can_extents_be_merged(struct inode *inode, struct ext4_extent *ex1, 1541a86c6181SAlex Tomas struct ext4_extent *ex2) 1542a86c6181SAlex Tomas { 1543749269faSAmit Arora unsigned short ext1_ee_len, ext2_ee_len, max_len; 1544a2df2a63SAmit Arora 1545a2df2a63SAmit Arora /* 1546a2df2a63SAmit Arora * Make sure that either both extents are uninitialized, or 1547a2df2a63SAmit Arora * both are _not_. 1548a2df2a63SAmit Arora */ 1549a2df2a63SAmit Arora if (ext4_ext_is_uninitialized(ex1) ^ ext4_ext_is_uninitialized(ex2)) 1550a2df2a63SAmit Arora return 0; 1551a2df2a63SAmit Arora 1552749269faSAmit Arora if (ext4_ext_is_uninitialized(ex1)) 1553749269faSAmit Arora max_len = EXT_UNINIT_MAX_LEN; 1554749269faSAmit Arora else 1555749269faSAmit Arora max_len = EXT_INIT_MAX_LEN; 1556749269faSAmit Arora 1557a2df2a63SAmit Arora ext1_ee_len = ext4_ext_get_actual_len(ex1); 1558a2df2a63SAmit Arora ext2_ee_len = ext4_ext_get_actual_len(ex2); 1559a2df2a63SAmit Arora 1560a2df2a63SAmit Arora if (le32_to_cpu(ex1->ee_block) + ext1_ee_len != 156163f57933SAndrew Morton le32_to_cpu(ex2->ee_block)) 1562a86c6181SAlex Tomas return 0; 1563a86c6181SAlex Tomas 1564471d4011SSuparna Bhattacharya /* 1565471d4011SSuparna Bhattacharya * To allow future support for preallocated extents to be added 1566471d4011SSuparna Bhattacharya * as an RO_COMPAT feature, refuse to merge to extents if 1567d0d856e8SRandy Dunlap * this can result in the top bit of ee_len being set. 1568471d4011SSuparna Bhattacharya */ 1569749269faSAmit Arora if (ext1_ee_len + ext2_ee_len > max_len) 1570471d4011SSuparna Bhattacharya return 0; 1571bbf2f9fbSRobert P. J. Day #ifdef AGGRESSIVE_TEST 1572b939e376SAneesh Kumar K.V if (ext1_ee_len >= 4) 1573a86c6181SAlex Tomas return 0; 1574a86c6181SAlex Tomas #endif 1575a86c6181SAlex Tomas 1576a2df2a63SAmit Arora if (ext_pblock(ex1) + ext1_ee_len == ext_pblock(ex2)) 1577a86c6181SAlex Tomas return 1; 1578a86c6181SAlex Tomas return 0; 1579a86c6181SAlex Tomas } 1580a86c6181SAlex Tomas 1581a86c6181SAlex Tomas /* 158256055d3aSAmit Arora * This function tries to merge the "ex" extent to the next extent in the tree. 158356055d3aSAmit Arora * It always tries to merge towards right. If you want to merge towards 158456055d3aSAmit Arora * left, pass "ex - 1" as argument instead of "ex". 158556055d3aSAmit Arora * Returns 0 if the extents (ex and ex+1) were _not_ merged and returns 158656055d3aSAmit Arora * 1 if they got merged. 158756055d3aSAmit Arora */ 1588*1f109d5aSTheodore Ts'o static int ext4_ext_try_to_merge(struct inode *inode, 158956055d3aSAmit Arora struct ext4_ext_path *path, 159056055d3aSAmit Arora struct ext4_extent *ex) 159156055d3aSAmit Arora { 159256055d3aSAmit Arora struct ext4_extent_header *eh; 159356055d3aSAmit Arora unsigned int depth, len; 159456055d3aSAmit Arora int merge_done = 0; 159556055d3aSAmit Arora int uninitialized = 0; 159656055d3aSAmit Arora 159756055d3aSAmit Arora depth = ext_depth(inode); 159856055d3aSAmit Arora BUG_ON(path[depth].p_hdr == NULL); 159956055d3aSAmit Arora eh = path[depth].p_hdr; 160056055d3aSAmit Arora 160156055d3aSAmit Arora while (ex < EXT_LAST_EXTENT(eh)) { 160256055d3aSAmit Arora if (!ext4_can_extents_be_merged(inode, ex, ex + 1)) 160356055d3aSAmit Arora break; 160456055d3aSAmit Arora /* merge with next extent! */ 160556055d3aSAmit Arora if (ext4_ext_is_uninitialized(ex)) 160656055d3aSAmit Arora uninitialized = 1; 160756055d3aSAmit Arora ex->ee_len = cpu_to_le16(ext4_ext_get_actual_len(ex) 160856055d3aSAmit Arora + ext4_ext_get_actual_len(ex + 1)); 160956055d3aSAmit Arora if (uninitialized) 161056055d3aSAmit Arora ext4_ext_mark_uninitialized(ex); 161156055d3aSAmit Arora 161256055d3aSAmit Arora if (ex + 1 < EXT_LAST_EXTENT(eh)) { 161356055d3aSAmit Arora len = (EXT_LAST_EXTENT(eh) - ex - 1) 161456055d3aSAmit Arora * sizeof(struct ext4_extent); 161556055d3aSAmit Arora memmove(ex + 1, ex + 2, len); 161656055d3aSAmit Arora } 1617e8546d06SMarcin Slusarz le16_add_cpu(&eh->eh_entries, -1); 161856055d3aSAmit Arora merge_done = 1; 161956055d3aSAmit Arora WARN_ON(eh->eh_entries == 0); 162056055d3aSAmit Arora if (!eh->eh_entries) 162124676da4STheodore Ts'o EXT4_ERROR_INODE(inode, "eh->eh_entries = 0!"); 162256055d3aSAmit Arora } 162356055d3aSAmit Arora 162456055d3aSAmit Arora return merge_done; 162556055d3aSAmit Arora } 162656055d3aSAmit Arora 162756055d3aSAmit Arora /* 162825d14f98SAmit Arora * check if a portion of the "newext" extent overlaps with an 162925d14f98SAmit Arora * existing extent. 163025d14f98SAmit Arora * 163125d14f98SAmit Arora * If there is an overlap discovered, it updates the length of the newext 163225d14f98SAmit Arora * such that there will be no overlap, and then returns 1. 163325d14f98SAmit Arora * If there is no overlap found, it returns 0. 163425d14f98SAmit Arora */ 1635*1f109d5aSTheodore Ts'o static unsigned int ext4_ext_check_overlap(struct inode *inode, 163625d14f98SAmit Arora struct ext4_extent *newext, 163725d14f98SAmit Arora struct ext4_ext_path *path) 163825d14f98SAmit Arora { 1639725d26d3SAneesh Kumar K.V ext4_lblk_t b1, b2; 164025d14f98SAmit Arora unsigned int depth, len1; 164125d14f98SAmit Arora unsigned int ret = 0; 164225d14f98SAmit Arora 164325d14f98SAmit Arora b1 = le32_to_cpu(newext->ee_block); 1644a2df2a63SAmit Arora len1 = ext4_ext_get_actual_len(newext); 164525d14f98SAmit Arora depth = ext_depth(inode); 164625d14f98SAmit Arora if (!path[depth].p_ext) 164725d14f98SAmit Arora goto out; 164825d14f98SAmit Arora b2 = le32_to_cpu(path[depth].p_ext->ee_block); 164925d14f98SAmit Arora 165025d14f98SAmit Arora /* 165125d14f98SAmit Arora * get the next allocated block if the extent in the path 165225d14f98SAmit Arora * is before the requested block(s) 165325d14f98SAmit Arora */ 165425d14f98SAmit Arora if (b2 < b1) { 165525d14f98SAmit Arora b2 = ext4_ext_next_allocated_block(path); 165625d14f98SAmit Arora if (b2 == EXT_MAX_BLOCK) 165725d14f98SAmit Arora goto out; 165825d14f98SAmit Arora } 165925d14f98SAmit Arora 1660725d26d3SAneesh Kumar K.V /* check for wrap through zero on extent logical start block*/ 166125d14f98SAmit Arora if (b1 + len1 < b1) { 166225d14f98SAmit Arora len1 = EXT_MAX_BLOCK - b1; 166325d14f98SAmit Arora newext->ee_len = cpu_to_le16(len1); 166425d14f98SAmit Arora ret = 1; 166525d14f98SAmit Arora } 166625d14f98SAmit Arora 166725d14f98SAmit Arora /* check for overlap */ 166825d14f98SAmit Arora if (b1 + len1 > b2) { 166925d14f98SAmit Arora newext->ee_len = cpu_to_le16(b2 - b1); 167025d14f98SAmit Arora ret = 1; 167125d14f98SAmit Arora } 167225d14f98SAmit Arora out: 167325d14f98SAmit Arora return ret; 167425d14f98SAmit Arora } 167525d14f98SAmit Arora 167625d14f98SAmit Arora /* 1677d0d856e8SRandy Dunlap * ext4_ext_insert_extent: 1678d0d856e8SRandy Dunlap * tries to merge requsted extent into the existing extent or 1679d0d856e8SRandy Dunlap * inserts requested extent as new one into the tree, 1680d0d856e8SRandy Dunlap * creating new leaf in the no-space case. 1681a86c6181SAlex Tomas */ 1682a86c6181SAlex Tomas int ext4_ext_insert_extent(handle_t *handle, struct inode *inode, 1683a86c6181SAlex Tomas struct ext4_ext_path *path, 16840031462bSMingming Cao struct ext4_extent *newext, int flag) 1685a86c6181SAlex Tomas { 1686a86c6181SAlex Tomas struct ext4_extent_header *eh; 1687a86c6181SAlex Tomas struct ext4_extent *ex, *fex; 1688a86c6181SAlex Tomas struct ext4_extent *nearex; /* nearest extent */ 1689a86c6181SAlex Tomas struct ext4_ext_path *npath = NULL; 1690725d26d3SAneesh Kumar K.V int depth, len, err; 1691725d26d3SAneesh Kumar K.V ext4_lblk_t next; 1692a2df2a63SAmit Arora unsigned uninitialized = 0; 1693a86c6181SAlex Tomas 1694273df556SFrank Mayhar if (unlikely(ext4_ext_get_actual_len(newext) == 0)) { 1695273df556SFrank Mayhar EXT4_ERROR_INODE(inode, "ext4_ext_get_actual_len(newext) == 0"); 1696273df556SFrank Mayhar return -EIO; 1697273df556SFrank Mayhar } 1698a86c6181SAlex Tomas depth = ext_depth(inode); 1699a86c6181SAlex Tomas ex = path[depth].p_ext; 1700273df556SFrank Mayhar if (unlikely(path[depth].p_hdr == NULL)) { 1701273df556SFrank Mayhar EXT4_ERROR_INODE(inode, "path[%d].p_hdr == NULL", depth); 1702273df556SFrank Mayhar return -EIO; 1703273df556SFrank Mayhar } 1704a86c6181SAlex Tomas 1705a86c6181SAlex Tomas /* try to insert block into found extent and return */ 1706744692dcSJiaying Zhang if (ex && !(flag & EXT4_GET_BLOCKS_PRE_IO) 17070031462bSMingming Cao && ext4_can_extents_be_merged(inode, ex, newext)) { 1708553f9008SMingming ext_debug("append [%d]%d block to %d:[%d]%d (from %llu)\n", 1709553f9008SMingming ext4_ext_is_uninitialized(newext), 1710a2df2a63SAmit Arora ext4_ext_get_actual_len(newext), 1711a86c6181SAlex Tomas le32_to_cpu(ex->ee_block), 1712553f9008SMingming ext4_ext_is_uninitialized(ex), 1713a2df2a63SAmit Arora ext4_ext_get_actual_len(ex), ext_pblock(ex)); 17147e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, path + depth); 17157e028976SAvantika Mathur if (err) 1716a86c6181SAlex Tomas return err; 1717a2df2a63SAmit Arora 1718a2df2a63SAmit Arora /* 1719a2df2a63SAmit Arora * ext4_can_extents_be_merged should have checked that either 1720a2df2a63SAmit Arora * both extents are uninitialized, or both aren't. Thus we 1721a2df2a63SAmit Arora * need to check only one of them here. 1722a2df2a63SAmit Arora */ 1723a2df2a63SAmit Arora if (ext4_ext_is_uninitialized(ex)) 1724a2df2a63SAmit Arora uninitialized = 1; 1725a2df2a63SAmit Arora ex->ee_len = cpu_to_le16(ext4_ext_get_actual_len(ex) 1726a2df2a63SAmit Arora + ext4_ext_get_actual_len(newext)); 1727a2df2a63SAmit Arora if (uninitialized) 1728a2df2a63SAmit Arora ext4_ext_mark_uninitialized(ex); 1729a86c6181SAlex Tomas eh = path[depth].p_hdr; 1730a86c6181SAlex Tomas nearex = ex; 1731a86c6181SAlex Tomas goto merge; 1732a86c6181SAlex Tomas } 1733a86c6181SAlex Tomas 1734a86c6181SAlex Tomas repeat: 1735a86c6181SAlex Tomas depth = ext_depth(inode); 1736a86c6181SAlex Tomas eh = path[depth].p_hdr; 1737a86c6181SAlex Tomas if (le16_to_cpu(eh->eh_entries) < le16_to_cpu(eh->eh_max)) 1738a86c6181SAlex Tomas goto has_space; 1739a86c6181SAlex Tomas 1740a86c6181SAlex Tomas /* probably next leaf has space for us? */ 1741a86c6181SAlex Tomas fex = EXT_LAST_EXTENT(eh); 1742a86c6181SAlex Tomas next = ext4_ext_next_leaf_block(inode, path); 1743a86c6181SAlex Tomas if (le32_to_cpu(newext->ee_block) > le32_to_cpu(fex->ee_block) 1744a86c6181SAlex Tomas && next != EXT_MAX_BLOCK) { 1745a86c6181SAlex Tomas ext_debug("next leaf block - %d\n", next); 1746a86c6181SAlex Tomas BUG_ON(npath != NULL); 1747a86c6181SAlex Tomas npath = ext4_ext_find_extent(inode, next, NULL); 1748a86c6181SAlex Tomas if (IS_ERR(npath)) 1749a86c6181SAlex Tomas return PTR_ERR(npath); 1750a86c6181SAlex Tomas BUG_ON(npath->p_depth != path->p_depth); 1751a86c6181SAlex Tomas eh = npath[depth].p_hdr; 1752a86c6181SAlex Tomas if (le16_to_cpu(eh->eh_entries) < le16_to_cpu(eh->eh_max)) { 1753a86c6181SAlex Tomas ext_debug("next leaf isnt full(%d)\n", 1754a86c6181SAlex Tomas le16_to_cpu(eh->eh_entries)); 1755a86c6181SAlex Tomas path = npath; 1756a86c6181SAlex Tomas goto repeat; 1757a86c6181SAlex Tomas } 1758a86c6181SAlex Tomas ext_debug("next leaf has no free space(%d,%d)\n", 1759a86c6181SAlex Tomas le16_to_cpu(eh->eh_entries), le16_to_cpu(eh->eh_max)); 1760a86c6181SAlex Tomas } 1761a86c6181SAlex Tomas 1762a86c6181SAlex Tomas /* 1763d0d856e8SRandy Dunlap * There is no free space in the found leaf. 1764d0d856e8SRandy Dunlap * We're gonna add a new leaf in the tree. 1765a86c6181SAlex Tomas */ 1766a86c6181SAlex Tomas err = ext4_ext_create_new_leaf(handle, inode, path, newext); 1767a86c6181SAlex Tomas if (err) 1768a86c6181SAlex Tomas goto cleanup; 1769a86c6181SAlex Tomas depth = ext_depth(inode); 1770a86c6181SAlex Tomas eh = path[depth].p_hdr; 1771a86c6181SAlex Tomas 1772a86c6181SAlex Tomas has_space: 1773a86c6181SAlex Tomas nearex = path[depth].p_ext; 1774a86c6181SAlex Tomas 17757e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, path + depth); 17767e028976SAvantika Mathur if (err) 1777a86c6181SAlex Tomas goto cleanup; 1778a86c6181SAlex Tomas 1779a86c6181SAlex Tomas if (!nearex) { 1780a86c6181SAlex Tomas /* there is no extent in this leaf, create first one */ 1781553f9008SMingming ext_debug("first extent in the leaf: %d:%llu:[%d]%d\n", 1782a86c6181SAlex Tomas le32_to_cpu(newext->ee_block), 1783f65e6fbaSAlex Tomas ext_pblock(newext), 1784553f9008SMingming ext4_ext_is_uninitialized(newext), 1785a2df2a63SAmit Arora ext4_ext_get_actual_len(newext)); 1786a86c6181SAlex Tomas path[depth].p_ext = EXT_FIRST_EXTENT(eh); 1787a86c6181SAlex Tomas } else if (le32_to_cpu(newext->ee_block) 1788a86c6181SAlex Tomas > le32_to_cpu(nearex->ee_block)) { 1789a86c6181SAlex Tomas /* BUG_ON(newext->ee_block == nearex->ee_block); */ 1790a86c6181SAlex Tomas if (nearex != EXT_LAST_EXTENT(eh)) { 1791a86c6181SAlex Tomas len = EXT_MAX_EXTENT(eh) - nearex; 1792a86c6181SAlex Tomas len = (len - 1) * sizeof(struct ext4_extent); 1793a86c6181SAlex Tomas len = len < 0 ? 0 : len; 1794553f9008SMingming ext_debug("insert %d:%llu:[%d]%d after: nearest 0x%p, " 1795a86c6181SAlex Tomas "move %d from 0x%p to 0x%p\n", 1796a86c6181SAlex Tomas le32_to_cpu(newext->ee_block), 1797f65e6fbaSAlex Tomas ext_pblock(newext), 1798553f9008SMingming ext4_ext_is_uninitialized(newext), 1799a2df2a63SAmit Arora ext4_ext_get_actual_len(newext), 1800a86c6181SAlex Tomas nearex, len, nearex + 1, nearex + 2); 1801a86c6181SAlex Tomas memmove(nearex + 2, nearex + 1, len); 1802a86c6181SAlex Tomas } 1803a86c6181SAlex Tomas path[depth].p_ext = nearex + 1; 1804a86c6181SAlex Tomas } else { 1805a86c6181SAlex Tomas BUG_ON(newext->ee_block == nearex->ee_block); 1806a86c6181SAlex Tomas len = (EXT_MAX_EXTENT(eh) - nearex) * sizeof(struct ext4_extent); 1807a86c6181SAlex Tomas len = len < 0 ? 0 : len; 1808553f9008SMingming ext_debug("insert %d:%llu:[%d]%d before: nearest 0x%p, " 1809a86c6181SAlex Tomas "move %d from 0x%p to 0x%p\n", 1810a86c6181SAlex Tomas le32_to_cpu(newext->ee_block), 1811f65e6fbaSAlex Tomas ext_pblock(newext), 1812553f9008SMingming ext4_ext_is_uninitialized(newext), 1813a2df2a63SAmit Arora ext4_ext_get_actual_len(newext), 1814a86c6181SAlex Tomas nearex, len, nearex + 1, nearex + 2); 1815a86c6181SAlex Tomas memmove(nearex + 1, nearex, len); 1816a86c6181SAlex Tomas path[depth].p_ext = nearex; 1817a86c6181SAlex Tomas } 1818a86c6181SAlex Tomas 1819e8546d06SMarcin Slusarz le16_add_cpu(&eh->eh_entries, 1); 1820a86c6181SAlex Tomas nearex = path[depth].p_ext; 1821a86c6181SAlex Tomas nearex->ee_block = newext->ee_block; 1822b377611dSAneesh Kumar K.V ext4_ext_store_pblock(nearex, ext_pblock(newext)); 1823a86c6181SAlex Tomas nearex->ee_len = newext->ee_len; 1824a86c6181SAlex Tomas 1825a86c6181SAlex Tomas merge: 1826a86c6181SAlex Tomas /* try to merge extents to the right */ 1827744692dcSJiaying Zhang if (!(flag & EXT4_GET_BLOCKS_PRE_IO)) 182856055d3aSAmit Arora ext4_ext_try_to_merge(inode, path, nearex); 1829a86c6181SAlex Tomas 1830a86c6181SAlex Tomas /* try to merge extents to the left */ 1831a86c6181SAlex Tomas 1832a86c6181SAlex Tomas /* time to correct all indexes above */ 1833a86c6181SAlex Tomas err = ext4_ext_correct_indexes(handle, inode, path); 1834a86c6181SAlex Tomas if (err) 1835a86c6181SAlex Tomas goto cleanup; 1836a86c6181SAlex Tomas 1837a86c6181SAlex Tomas err = ext4_ext_dirty(handle, inode, path + depth); 1838a86c6181SAlex Tomas 1839a86c6181SAlex Tomas cleanup: 1840a86c6181SAlex Tomas if (npath) { 1841a86c6181SAlex Tomas ext4_ext_drop_refs(npath); 1842a86c6181SAlex Tomas kfree(npath); 1843a86c6181SAlex Tomas } 1844a86c6181SAlex Tomas ext4_ext_invalidate_cache(inode); 1845a86c6181SAlex Tomas return err; 1846a86c6181SAlex Tomas } 1847a86c6181SAlex Tomas 1848*1f109d5aSTheodore Ts'o static int ext4_ext_walk_space(struct inode *inode, ext4_lblk_t block, 18496873fa0dSEric Sandeen ext4_lblk_t num, ext_prepare_callback func, 18506873fa0dSEric Sandeen void *cbdata) 18516873fa0dSEric Sandeen { 18526873fa0dSEric Sandeen struct ext4_ext_path *path = NULL; 18536873fa0dSEric Sandeen struct ext4_ext_cache cbex; 18546873fa0dSEric Sandeen struct ext4_extent *ex; 18556873fa0dSEric Sandeen ext4_lblk_t next, start = 0, end = 0; 18566873fa0dSEric Sandeen ext4_lblk_t last = block + num; 18576873fa0dSEric Sandeen int depth, exists, err = 0; 18586873fa0dSEric Sandeen 18596873fa0dSEric Sandeen BUG_ON(func == NULL); 18606873fa0dSEric Sandeen BUG_ON(inode == NULL); 18616873fa0dSEric Sandeen 18626873fa0dSEric Sandeen while (block < last && block != EXT_MAX_BLOCK) { 18636873fa0dSEric Sandeen num = last - block; 18646873fa0dSEric Sandeen /* find extent for this block */ 1865fab3a549STheodore Ts'o down_read(&EXT4_I(inode)->i_data_sem); 18666873fa0dSEric Sandeen path = ext4_ext_find_extent(inode, block, path); 1867fab3a549STheodore Ts'o up_read(&EXT4_I(inode)->i_data_sem); 18686873fa0dSEric Sandeen if (IS_ERR(path)) { 18696873fa0dSEric Sandeen err = PTR_ERR(path); 18706873fa0dSEric Sandeen path = NULL; 18716873fa0dSEric Sandeen break; 18726873fa0dSEric Sandeen } 18736873fa0dSEric Sandeen 18746873fa0dSEric Sandeen depth = ext_depth(inode); 1875273df556SFrank Mayhar if (unlikely(path[depth].p_hdr == NULL)) { 1876273df556SFrank Mayhar EXT4_ERROR_INODE(inode, "path[%d].p_hdr == NULL", depth); 1877273df556SFrank Mayhar err = -EIO; 1878273df556SFrank Mayhar break; 1879273df556SFrank Mayhar } 18806873fa0dSEric Sandeen ex = path[depth].p_ext; 18816873fa0dSEric Sandeen next = ext4_ext_next_allocated_block(path); 18826873fa0dSEric Sandeen 18836873fa0dSEric Sandeen exists = 0; 18846873fa0dSEric Sandeen if (!ex) { 18856873fa0dSEric Sandeen /* there is no extent yet, so try to allocate 18866873fa0dSEric Sandeen * all requested space */ 18876873fa0dSEric Sandeen start = block; 18886873fa0dSEric Sandeen end = block + num; 18896873fa0dSEric Sandeen } else if (le32_to_cpu(ex->ee_block) > block) { 18906873fa0dSEric Sandeen /* need to allocate space before found extent */ 18916873fa0dSEric Sandeen start = block; 18926873fa0dSEric Sandeen end = le32_to_cpu(ex->ee_block); 18936873fa0dSEric Sandeen if (block + num < end) 18946873fa0dSEric Sandeen end = block + num; 18956873fa0dSEric Sandeen } else if (block >= le32_to_cpu(ex->ee_block) 18966873fa0dSEric Sandeen + ext4_ext_get_actual_len(ex)) { 18976873fa0dSEric Sandeen /* need to allocate space after found extent */ 18986873fa0dSEric Sandeen start = block; 18996873fa0dSEric Sandeen end = block + num; 19006873fa0dSEric Sandeen if (end >= next) 19016873fa0dSEric Sandeen end = next; 19026873fa0dSEric Sandeen } else if (block >= le32_to_cpu(ex->ee_block)) { 19036873fa0dSEric Sandeen /* 19046873fa0dSEric Sandeen * some part of requested space is covered 19056873fa0dSEric Sandeen * by found extent 19066873fa0dSEric Sandeen */ 19076873fa0dSEric Sandeen start = block; 19086873fa0dSEric Sandeen end = le32_to_cpu(ex->ee_block) 19096873fa0dSEric Sandeen + ext4_ext_get_actual_len(ex); 19106873fa0dSEric Sandeen if (block + num < end) 19116873fa0dSEric Sandeen end = block + num; 19126873fa0dSEric Sandeen exists = 1; 19136873fa0dSEric Sandeen } else { 19146873fa0dSEric Sandeen BUG(); 19156873fa0dSEric Sandeen } 19166873fa0dSEric Sandeen BUG_ON(end <= start); 19176873fa0dSEric Sandeen 19186873fa0dSEric Sandeen if (!exists) { 19196873fa0dSEric Sandeen cbex.ec_block = start; 19206873fa0dSEric Sandeen cbex.ec_len = end - start; 19216873fa0dSEric Sandeen cbex.ec_start = 0; 19226873fa0dSEric Sandeen cbex.ec_type = EXT4_EXT_CACHE_GAP; 19236873fa0dSEric Sandeen } else { 19246873fa0dSEric Sandeen cbex.ec_block = le32_to_cpu(ex->ee_block); 19256873fa0dSEric Sandeen cbex.ec_len = ext4_ext_get_actual_len(ex); 19266873fa0dSEric Sandeen cbex.ec_start = ext_pblock(ex); 19276873fa0dSEric Sandeen cbex.ec_type = EXT4_EXT_CACHE_EXTENT; 19286873fa0dSEric Sandeen } 19296873fa0dSEric Sandeen 1930273df556SFrank Mayhar if (unlikely(cbex.ec_len == 0)) { 1931273df556SFrank Mayhar EXT4_ERROR_INODE(inode, "cbex.ec_len == 0"); 1932273df556SFrank Mayhar err = -EIO; 1933273df556SFrank Mayhar break; 1934273df556SFrank Mayhar } 19356873fa0dSEric Sandeen err = func(inode, path, &cbex, ex, cbdata); 19366873fa0dSEric Sandeen ext4_ext_drop_refs(path); 19376873fa0dSEric Sandeen 19386873fa0dSEric Sandeen if (err < 0) 19396873fa0dSEric Sandeen break; 19406873fa0dSEric Sandeen 19416873fa0dSEric Sandeen if (err == EXT_REPEAT) 19426873fa0dSEric Sandeen continue; 19436873fa0dSEric Sandeen else if (err == EXT_BREAK) { 19446873fa0dSEric Sandeen err = 0; 19456873fa0dSEric Sandeen break; 19466873fa0dSEric Sandeen } 19476873fa0dSEric Sandeen 19486873fa0dSEric Sandeen if (ext_depth(inode) != depth) { 19496873fa0dSEric Sandeen /* depth was changed. we have to realloc path */ 19506873fa0dSEric Sandeen kfree(path); 19516873fa0dSEric Sandeen path = NULL; 19526873fa0dSEric Sandeen } 19536873fa0dSEric Sandeen 19546873fa0dSEric Sandeen block = cbex.ec_block + cbex.ec_len; 19556873fa0dSEric Sandeen } 19566873fa0dSEric Sandeen 19576873fa0dSEric Sandeen if (path) { 19586873fa0dSEric Sandeen ext4_ext_drop_refs(path); 19596873fa0dSEric Sandeen kfree(path); 19606873fa0dSEric Sandeen } 19616873fa0dSEric Sandeen 19626873fa0dSEric Sandeen return err; 19636873fa0dSEric Sandeen } 19646873fa0dSEric Sandeen 196509b88252SAvantika Mathur static void 1966725d26d3SAneesh Kumar K.V ext4_ext_put_in_cache(struct inode *inode, ext4_lblk_t block, 1967dd54567aSMingming Cao __u32 len, ext4_fsblk_t start, int type) 1968a86c6181SAlex Tomas { 1969a86c6181SAlex Tomas struct ext4_ext_cache *cex; 1970a86c6181SAlex Tomas BUG_ON(len == 0); 19712ec0ae3aSTheodore Ts'o spin_lock(&EXT4_I(inode)->i_block_reservation_lock); 1972a86c6181SAlex Tomas cex = &EXT4_I(inode)->i_cached_extent; 1973a86c6181SAlex Tomas cex->ec_type = type; 1974a86c6181SAlex Tomas cex->ec_block = block; 1975a86c6181SAlex Tomas cex->ec_len = len; 1976a86c6181SAlex Tomas cex->ec_start = start; 19772ec0ae3aSTheodore Ts'o spin_unlock(&EXT4_I(inode)->i_block_reservation_lock); 1978a86c6181SAlex Tomas } 1979a86c6181SAlex Tomas 1980a86c6181SAlex Tomas /* 1981d0d856e8SRandy Dunlap * ext4_ext_put_gap_in_cache: 1982d0d856e8SRandy Dunlap * calculate boundaries of the gap that the requested block fits into 1983a86c6181SAlex Tomas * and cache this gap 1984a86c6181SAlex Tomas */ 198509b88252SAvantika Mathur static void 1986a86c6181SAlex Tomas ext4_ext_put_gap_in_cache(struct inode *inode, struct ext4_ext_path *path, 1987725d26d3SAneesh Kumar K.V ext4_lblk_t block) 1988a86c6181SAlex Tomas { 1989a86c6181SAlex Tomas int depth = ext_depth(inode); 1990725d26d3SAneesh Kumar K.V unsigned long len; 1991725d26d3SAneesh Kumar K.V ext4_lblk_t lblock; 1992a86c6181SAlex Tomas struct ext4_extent *ex; 1993a86c6181SAlex Tomas 1994a86c6181SAlex Tomas ex = path[depth].p_ext; 1995a86c6181SAlex Tomas if (ex == NULL) { 1996a86c6181SAlex Tomas /* there is no extent yet, so gap is [0;-] */ 1997a86c6181SAlex Tomas lblock = 0; 1998a86c6181SAlex Tomas len = EXT_MAX_BLOCK; 1999a86c6181SAlex Tomas ext_debug("cache gap(whole file):"); 2000a86c6181SAlex Tomas } else if (block < le32_to_cpu(ex->ee_block)) { 2001a86c6181SAlex Tomas lblock = block; 2002a86c6181SAlex Tomas len = le32_to_cpu(ex->ee_block) - block; 2003bba90743SEric Sandeen ext_debug("cache gap(before): %u [%u:%u]", 2004bba90743SEric Sandeen block, 2005bba90743SEric Sandeen le32_to_cpu(ex->ee_block), 2006bba90743SEric Sandeen ext4_ext_get_actual_len(ex)); 2007a86c6181SAlex Tomas } else if (block >= le32_to_cpu(ex->ee_block) 2008a2df2a63SAmit Arora + ext4_ext_get_actual_len(ex)) { 2009725d26d3SAneesh Kumar K.V ext4_lblk_t next; 2010a86c6181SAlex Tomas lblock = le32_to_cpu(ex->ee_block) 2011a2df2a63SAmit Arora + ext4_ext_get_actual_len(ex); 2012725d26d3SAneesh Kumar K.V 2013725d26d3SAneesh Kumar K.V next = ext4_ext_next_allocated_block(path); 2014bba90743SEric Sandeen ext_debug("cache gap(after): [%u:%u] %u", 2015bba90743SEric Sandeen le32_to_cpu(ex->ee_block), 2016bba90743SEric Sandeen ext4_ext_get_actual_len(ex), 2017bba90743SEric Sandeen block); 2018725d26d3SAneesh Kumar K.V BUG_ON(next == lblock); 2019725d26d3SAneesh Kumar K.V len = next - lblock; 2020a86c6181SAlex Tomas } else { 2021a86c6181SAlex Tomas lblock = len = 0; 2022a86c6181SAlex Tomas BUG(); 2023a86c6181SAlex Tomas } 2024a86c6181SAlex Tomas 2025bba90743SEric Sandeen ext_debug(" -> %u:%lu\n", lblock, len); 2026a86c6181SAlex Tomas ext4_ext_put_in_cache(inode, lblock, len, 0, EXT4_EXT_CACHE_GAP); 2027a86c6181SAlex Tomas } 2028a86c6181SAlex Tomas 202909b88252SAvantika Mathur static int 2030725d26d3SAneesh Kumar K.V ext4_ext_in_cache(struct inode *inode, ext4_lblk_t block, 2031a86c6181SAlex Tomas struct ext4_extent *ex) 2032a86c6181SAlex Tomas { 2033a86c6181SAlex Tomas struct ext4_ext_cache *cex; 20342ec0ae3aSTheodore Ts'o int ret = EXT4_EXT_CACHE_NO; 2035a86c6181SAlex Tomas 20362ec0ae3aSTheodore Ts'o /* 20372ec0ae3aSTheodore Ts'o * We borrow i_block_reservation_lock to protect i_cached_extent 20382ec0ae3aSTheodore Ts'o */ 20392ec0ae3aSTheodore Ts'o spin_lock(&EXT4_I(inode)->i_block_reservation_lock); 2040a86c6181SAlex Tomas cex = &EXT4_I(inode)->i_cached_extent; 2041a86c6181SAlex Tomas 2042a86c6181SAlex Tomas /* has cache valid data? */ 2043a86c6181SAlex Tomas if (cex->ec_type == EXT4_EXT_CACHE_NO) 20442ec0ae3aSTheodore Ts'o goto errout; 2045a86c6181SAlex Tomas 2046a86c6181SAlex Tomas BUG_ON(cex->ec_type != EXT4_EXT_CACHE_GAP && 2047a86c6181SAlex Tomas cex->ec_type != EXT4_EXT_CACHE_EXTENT); 2048731eb1a0SAkinobu Mita if (in_range(block, cex->ec_block, cex->ec_len)) { 2049a86c6181SAlex Tomas ex->ee_block = cpu_to_le32(cex->ec_block); 2050f65e6fbaSAlex Tomas ext4_ext_store_pblock(ex, cex->ec_start); 2051a86c6181SAlex Tomas ex->ee_len = cpu_to_le16(cex->ec_len); 2052bba90743SEric Sandeen ext_debug("%u cached by %u:%u:%llu\n", 2053bba90743SEric Sandeen block, 2054bba90743SEric Sandeen cex->ec_block, cex->ec_len, cex->ec_start); 20552ec0ae3aSTheodore Ts'o ret = cex->ec_type; 2056a86c6181SAlex Tomas } 20572ec0ae3aSTheodore Ts'o errout: 20582ec0ae3aSTheodore Ts'o spin_unlock(&EXT4_I(inode)->i_block_reservation_lock); 20592ec0ae3aSTheodore Ts'o return ret; 2060a86c6181SAlex Tomas } 2061a86c6181SAlex Tomas 2062a86c6181SAlex Tomas /* 2063d0d856e8SRandy Dunlap * ext4_ext_rm_idx: 2064d0d856e8SRandy Dunlap * removes index from the index block. 2065d0d856e8SRandy Dunlap * It's used in truncate case only, thus all requests are for 2066d0d856e8SRandy Dunlap * last index in the block only. 2067a86c6181SAlex Tomas */ 20681d03ec98SAneesh Kumar K.V static int ext4_ext_rm_idx(handle_t *handle, struct inode *inode, 2069a86c6181SAlex Tomas struct ext4_ext_path *path) 2070a86c6181SAlex Tomas { 2071a86c6181SAlex Tomas int err; 2072f65e6fbaSAlex Tomas ext4_fsblk_t leaf; 2073a86c6181SAlex Tomas 2074a86c6181SAlex Tomas /* free index block */ 2075a86c6181SAlex Tomas path--; 2076f65e6fbaSAlex Tomas leaf = idx_pblock(path->p_idx); 2077273df556SFrank Mayhar if (unlikely(path->p_hdr->eh_entries == 0)) { 2078273df556SFrank Mayhar EXT4_ERROR_INODE(inode, "path->p_hdr->eh_entries == 0"); 2079273df556SFrank Mayhar return -EIO; 2080273df556SFrank Mayhar } 20817e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, path); 20827e028976SAvantika Mathur if (err) 2083a86c6181SAlex Tomas return err; 2084e8546d06SMarcin Slusarz le16_add_cpu(&path->p_hdr->eh_entries, -1); 20857e028976SAvantika Mathur err = ext4_ext_dirty(handle, inode, path); 20867e028976SAvantika Mathur if (err) 2087a86c6181SAlex Tomas return err; 20882ae02107SMingming Cao ext_debug("index is empty, remove it, free block %llu\n", leaf); 2089e6362609STheodore Ts'o ext4_free_blocks(handle, inode, 0, leaf, 1, 2090e6362609STheodore Ts'o EXT4_FREE_BLOCKS_METADATA | EXT4_FREE_BLOCKS_FORGET); 2091a86c6181SAlex Tomas return err; 2092a86c6181SAlex Tomas } 2093a86c6181SAlex Tomas 2094a86c6181SAlex Tomas /* 2095ee12b630SMingming Cao * ext4_ext_calc_credits_for_single_extent: 2096ee12b630SMingming Cao * This routine returns max. credits that needed to insert an extent 2097ee12b630SMingming Cao * to the extent tree. 2098ee12b630SMingming Cao * When pass the actual path, the caller should calculate credits 2099ee12b630SMingming Cao * under i_data_sem. 2100a86c6181SAlex Tomas */ 2101525f4ed8SMingming Cao int ext4_ext_calc_credits_for_single_extent(struct inode *inode, int nrblocks, 2102a86c6181SAlex Tomas struct ext4_ext_path *path) 2103a86c6181SAlex Tomas { 2104a86c6181SAlex Tomas if (path) { 2105ee12b630SMingming Cao int depth = ext_depth(inode); 2106f3bd1f3fSMingming Cao int ret = 0; 2107ee12b630SMingming Cao 2108a86c6181SAlex Tomas /* probably there is space in leaf? */ 2109a86c6181SAlex Tomas if (le16_to_cpu(path[depth].p_hdr->eh_entries) 2110ee12b630SMingming Cao < le16_to_cpu(path[depth].p_hdr->eh_max)) { 2111ee12b630SMingming Cao 2112ee12b630SMingming Cao /* 2113ee12b630SMingming Cao * There are some space in the leaf tree, no 2114ee12b630SMingming Cao * need to account for leaf block credit 2115ee12b630SMingming Cao * 2116ee12b630SMingming Cao * bitmaps and block group descriptor blocks 2117ee12b630SMingming Cao * and other metadat blocks still need to be 2118ee12b630SMingming Cao * accounted. 2119ee12b630SMingming Cao */ 2120525f4ed8SMingming Cao /* 1 bitmap, 1 block group descriptor */ 2121ee12b630SMingming Cao ret = 2 + EXT4_META_TRANS_BLOCKS(inode->i_sb); 21225887e98bSAneesh Kumar K.V return ret; 2123ee12b630SMingming Cao } 2124ee12b630SMingming Cao } 2125ee12b630SMingming Cao 2126525f4ed8SMingming Cao return ext4_chunk_trans_blocks(inode, nrblocks); 2127a86c6181SAlex Tomas } 2128a86c6181SAlex Tomas 2129a86c6181SAlex Tomas /* 2130ee12b630SMingming Cao * How many index/leaf blocks need to change/allocate to modify nrblocks? 2131ee12b630SMingming Cao * 2132ee12b630SMingming Cao * if nrblocks are fit in a single extent (chunk flag is 1), then 2133ee12b630SMingming Cao * in the worse case, each tree level index/leaf need to be changed 2134ee12b630SMingming Cao * if the tree split due to insert a new extent, then the old tree 2135ee12b630SMingming Cao * index/leaf need to be updated too 2136ee12b630SMingming Cao * 2137ee12b630SMingming Cao * If the nrblocks are discontiguous, they could cause 2138ee12b630SMingming Cao * the whole tree split more than once, but this is really rare. 2139a86c6181SAlex Tomas */ 2140525f4ed8SMingming Cao int ext4_ext_index_trans_blocks(struct inode *inode, int nrblocks, int chunk) 2141ee12b630SMingming Cao { 2142ee12b630SMingming Cao int index; 2143ee12b630SMingming Cao int depth = ext_depth(inode); 2144a86c6181SAlex Tomas 2145ee12b630SMingming Cao if (chunk) 2146ee12b630SMingming Cao index = depth * 2; 2147ee12b630SMingming Cao else 2148ee12b630SMingming Cao index = depth * 3; 2149a86c6181SAlex Tomas 2150ee12b630SMingming Cao return index; 2151a86c6181SAlex Tomas } 2152a86c6181SAlex Tomas 2153a86c6181SAlex Tomas static int ext4_remove_blocks(handle_t *handle, struct inode *inode, 2154a86c6181SAlex Tomas struct ext4_extent *ex, 2155725d26d3SAneesh Kumar K.V ext4_lblk_t from, ext4_lblk_t to) 2156a86c6181SAlex Tomas { 2157a2df2a63SAmit Arora unsigned short ee_len = ext4_ext_get_actual_len(ex); 2158e6362609STheodore Ts'o int flags = EXT4_FREE_BLOCKS_FORGET; 2159a86c6181SAlex Tomas 2160c9de560dSAlex Tomas if (S_ISDIR(inode->i_mode) || S_ISLNK(inode->i_mode)) 2161e6362609STheodore Ts'o flags |= EXT4_FREE_BLOCKS_METADATA; 2162a86c6181SAlex Tomas #ifdef EXTENTS_STATS 2163a86c6181SAlex Tomas { 2164a86c6181SAlex Tomas struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb); 2165a86c6181SAlex Tomas spin_lock(&sbi->s_ext_stats_lock); 2166a86c6181SAlex Tomas sbi->s_ext_blocks += ee_len; 2167a86c6181SAlex Tomas sbi->s_ext_extents++; 2168a86c6181SAlex Tomas if (ee_len < sbi->s_ext_min) 2169a86c6181SAlex Tomas sbi->s_ext_min = ee_len; 2170a86c6181SAlex Tomas if (ee_len > sbi->s_ext_max) 2171a86c6181SAlex Tomas sbi->s_ext_max = ee_len; 2172a86c6181SAlex Tomas if (ext_depth(inode) > sbi->s_depth_max) 2173a86c6181SAlex Tomas sbi->s_depth_max = ext_depth(inode); 2174a86c6181SAlex Tomas spin_unlock(&sbi->s_ext_stats_lock); 2175a86c6181SAlex Tomas } 2176a86c6181SAlex Tomas #endif 2177a86c6181SAlex Tomas if (from >= le32_to_cpu(ex->ee_block) 2178a2df2a63SAmit Arora && to == le32_to_cpu(ex->ee_block) + ee_len - 1) { 2179a86c6181SAlex Tomas /* tail removal */ 2180725d26d3SAneesh Kumar K.V ext4_lblk_t num; 2181f65e6fbaSAlex Tomas ext4_fsblk_t start; 2182725d26d3SAneesh Kumar K.V 2183a2df2a63SAmit Arora num = le32_to_cpu(ex->ee_block) + ee_len - from; 2184a2df2a63SAmit Arora start = ext_pblock(ex) + ee_len - num; 2185725d26d3SAneesh Kumar K.V ext_debug("free last %u blocks starting %llu\n", num, start); 2186e6362609STheodore Ts'o ext4_free_blocks(handle, inode, 0, start, num, flags); 2187a86c6181SAlex Tomas } else if (from == le32_to_cpu(ex->ee_block) 2188a2df2a63SAmit Arora && to <= le32_to_cpu(ex->ee_block) + ee_len - 1) { 2189725d26d3SAneesh Kumar K.V printk(KERN_INFO "strange request: removal %u-%u from %u:%u\n", 2190a2df2a63SAmit Arora from, to, le32_to_cpu(ex->ee_block), ee_len); 2191a86c6181SAlex Tomas } else { 2192725d26d3SAneesh Kumar K.V printk(KERN_INFO "strange request: removal(2) " 2193725d26d3SAneesh Kumar K.V "%u-%u from %u:%u\n", 2194a2df2a63SAmit Arora from, to, le32_to_cpu(ex->ee_block), ee_len); 2195a86c6181SAlex Tomas } 2196a86c6181SAlex Tomas return 0; 2197a86c6181SAlex Tomas } 2198a86c6181SAlex Tomas 2199a86c6181SAlex Tomas static int 2200a86c6181SAlex Tomas ext4_ext_rm_leaf(handle_t *handle, struct inode *inode, 2201725d26d3SAneesh Kumar K.V struct ext4_ext_path *path, ext4_lblk_t start) 2202a86c6181SAlex Tomas { 2203a86c6181SAlex Tomas int err = 0, correct_index = 0; 2204a86c6181SAlex Tomas int depth = ext_depth(inode), credits; 2205a86c6181SAlex Tomas struct ext4_extent_header *eh; 2206725d26d3SAneesh Kumar K.V ext4_lblk_t a, b, block; 2207725d26d3SAneesh Kumar K.V unsigned num; 2208725d26d3SAneesh Kumar K.V ext4_lblk_t ex_ee_block; 2209a86c6181SAlex Tomas unsigned short ex_ee_len; 2210a2df2a63SAmit Arora unsigned uninitialized = 0; 2211a86c6181SAlex Tomas struct ext4_extent *ex; 2212a86c6181SAlex Tomas 2213c29c0ae7SAlex Tomas /* the header must be checked already in ext4_ext_remove_space() */ 2214725d26d3SAneesh Kumar K.V ext_debug("truncate since %u in leaf\n", start); 2215a86c6181SAlex Tomas if (!path[depth].p_hdr) 2216a86c6181SAlex Tomas path[depth].p_hdr = ext_block_hdr(path[depth].p_bh); 2217a86c6181SAlex Tomas eh = path[depth].p_hdr; 2218273df556SFrank Mayhar if (unlikely(path[depth].p_hdr == NULL)) { 2219273df556SFrank Mayhar EXT4_ERROR_INODE(inode, "path[%d].p_hdr == NULL", depth); 2220273df556SFrank Mayhar return -EIO; 2221273df556SFrank Mayhar } 2222a86c6181SAlex Tomas /* find where to start removing */ 2223a86c6181SAlex Tomas ex = EXT_LAST_EXTENT(eh); 2224a86c6181SAlex Tomas 2225a86c6181SAlex Tomas ex_ee_block = le32_to_cpu(ex->ee_block); 2226a2df2a63SAmit Arora ex_ee_len = ext4_ext_get_actual_len(ex); 2227a86c6181SAlex Tomas 2228a86c6181SAlex Tomas while (ex >= EXT_FIRST_EXTENT(eh) && 2229a86c6181SAlex Tomas ex_ee_block + ex_ee_len > start) { 2230a41f2071SAneesh Kumar K.V 2231a41f2071SAneesh Kumar K.V if (ext4_ext_is_uninitialized(ex)) 2232a41f2071SAneesh Kumar K.V uninitialized = 1; 2233a41f2071SAneesh Kumar K.V else 2234a41f2071SAneesh Kumar K.V uninitialized = 0; 2235a41f2071SAneesh Kumar K.V 2236553f9008SMingming ext_debug("remove ext %u:[%d]%d\n", ex_ee_block, 2237553f9008SMingming uninitialized, ex_ee_len); 2238a86c6181SAlex Tomas path[depth].p_ext = ex; 2239a86c6181SAlex Tomas 2240a86c6181SAlex Tomas a = ex_ee_block > start ? ex_ee_block : start; 2241a86c6181SAlex Tomas b = ex_ee_block + ex_ee_len - 1 < EXT_MAX_BLOCK ? 2242a86c6181SAlex Tomas ex_ee_block + ex_ee_len - 1 : EXT_MAX_BLOCK; 2243a86c6181SAlex Tomas 2244a86c6181SAlex Tomas ext_debug(" border %u:%u\n", a, b); 2245a86c6181SAlex Tomas 2246a86c6181SAlex Tomas if (a != ex_ee_block && b != ex_ee_block + ex_ee_len - 1) { 2247a86c6181SAlex Tomas block = 0; 2248a86c6181SAlex Tomas num = 0; 2249a86c6181SAlex Tomas BUG(); 2250a86c6181SAlex Tomas } else if (a != ex_ee_block) { 2251a86c6181SAlex Tomas /* remove tail of the extent */ 2252a86c6181SAlex Tomas block = ex_ee_block; 2253a86c6181SAlex Tomas num = a - block; 2254a86c6181SAlex Tomas } else if (b != ex_ee_block + ex_ee_len - 1) { 2255a86c6181SAlex Tomas /* remove head of the extent */ 2256a86c6181SAlex Tomas block = a; 2257a86c6181SAlex Tomas num = b - a; 2258a86c6181SAlex Tomas /* there is no "make a hole" API yet */ 2259a86c6181SAlex Tomas BUG(); 2260a86c6181SAlex Tomas } else { 2261a86c6181SAlex Tomas /* remove whole extent: excellent! */ 2262a86c6181SAlex Tomas block = ex_ee_block; 2263a86c6181SAlex Tomas num = 0; 2264a86c6181SAlex Tomas BUG_ON(a != ex_ee_block); 2265a86c6181SAlex Tomas BUG_ON(b != ex_ee_block + ex_ee_len - 1); 2266a86c6181SAlex Tomas } 2267a86c6181SAlex Tomas 226834071da7STheodore Ts'o /* 226934071da7STheodore Ts'o * 3 for leaf, sb, and inode plus 2 (bmap and group 227034071da7STheodore Ts'o * descriptor) for each block group; assume two block 227134071da7STheodore Ts'o * groups plus ex_ee_len/blocks_per_block_group for 227234071da7STheodore Ts'o * the worst case 227334071da7STheodore Ts'o */ 227434071da7STheodore Ts'o credits = 7 + 2*(ex_ee_len/EXT4_BLOCKS_PER_GROUP(inode->i_sb)); 2275a86c6181SAlex Tomas if (ex == EXT_FIRST_EXTENT(eh)) { 2276a86c6181SAlex Tomas correct_index = 1; 2277a86c6181SAlex Tomas credits += (ext_depth(inode)) + 1; 2278a86c6181SAlex Tomas } 22795aca07ebSDmitry Monakhov credits += EXT4_MAXQUOTAS_TRANS_BLOCKS(inode->i_sb); 2280a86c6181SAlex Tomas 2281487caeefSJan Kara err = ext4_ext_truncate_extend_restart(handle, inode, credits); 22829102e4faSShen Feng if (err) 2283a86c6181SAlex Tomas goto out; 2284a86c6181SAlex Tomas 2285a86c6181SAlex Tomas err = ext4_ext_get_access(handle, inode, path + depth); 2286a86c6181SAlex Tomas if (err) 2287a86c6181SAlex Tomas goto out; 2288a86c6181SAlex Tomas 2289a86c6181SAlex Tomas err = ext4_remove_blocks(handle, inode, ex, a, b); 2290a86c6181SAlex Tomas if (err) 2291a86c6181SAlex Tomas goto out; 2292a86c6181SAlex Tomas 2293a86c6181SAlex Tomas if (num == 0) { 2294d0d856e8SRandy Dunlap /* this extent is removed; mark slot entirely unused */ 2295f65e6fbaSAlex Tomas ext4_ext_store_pblock(ex, 0); 2296e8546d06SMarcin Slusarz le16_add_cpu(&eh->eh_entries, -1); 2297a86c6181SAlex Tomas } 2298a86c6181SAlex Tomas 2299a86c6181SAlex Tomas ex->ee_block = cpu_to_le32(block); 2300a86c6181SAlex Tomas ex->ee_len = cpu_to_le16(num); 2301749269faSAmit Arora /* 2302749269faSAmit Arora * Do not mark uninitialized if all the blocks in the 2303749269faSAmit Arora * extent have been removed. 2304749269faSAmit Arora */ 2305749269faSAmit Arora if (uninitialized && num) 2306a2df2a63SAmit Arora ext4_ext_mark_uninitialized(ex); 2307a86c6181SAlex Tomas 2308a86c6181SAlex Tomas err = ext4_ext_dirty(handle, inode, path + depth); 2309a86c6181SAlex Tomas if (err) 2310a86c6181SAlex Tomas goto out; 2311a86c6181SAlex Tomas 23122ae02107SMingming Cao ext_debug("new extent: %u:%u:%llu\n", block, num, 2313f65e6fbaSAlex Tomas ext_pblock(ex)); 2314a86c6181SAlex Tomas ex--; 2315a86c6181SAlex Tomas ex_ee_block = le32_to_cpu(ex->ee_block); 2316a2df2a63SAmit Arora ex_ee_len = ext4_ext_get_actual_len(ex); 2317a86c6181SAlex Tomas } 2318a86c6181SAlex Tomas 2319a86c6181SAlex Tomas if (correct_index && eh->eh_entries) 2320a86c6181SAlex Tomas err = ext4_ext_correct_indexes(handle, inode, path); 2321a86c6181SAlex Tomas 2322a86c6181SAlex Tomas /* if this leaf is free, then we should 2323a86c6181SAlex Tomas * remove it from index block above */ 2324a86c6181SAlex Tomas if (err == 0 && eh->eh_entries == 0 && path[depth].p_bh != NULL) 2325a86c6181SAlex Tomas err = ext4_ext_rm_idx(handle, inode, path + depth); 2326a86c6181SAlex Tomas 2327a86c6181SAlex Tomas out: 2328a86c6181SAlex Tomas return err; 2329a86c6181SAlex Tomas } 2330a86c6181SAlex Tomas 2331a86c6181SAlex Tomas /* 2332d0d856e8SRandy Dunlap * ext4_ext_more_to_rm: 2333d0d856e8SRandy Dunlap * returns 1 if current index has to be freed (even partial) 2334a86c6181SAlex Tomas */ 233509b88252SAvantika Mathur static int 2336a86c6181SAlex Tomas ext4_ext_more_to_rm(struct ext4_ext_path *path) 2337a86c6181SAlex Tomas { 2338a86c6181SAlex Tomas BUG_ON(path->p_idx == NULL); 2339a86c6181SAlex Tomas 2340a86c6181SAlex Tomas if (path->p_idx < EXT_FIRST_INDEX(path->p_hdr)) 2341a86c6181SAlex Tomas return 0; 2342a86c6181SAlex Tomas 2343a86c6181SAlex Tomas /* 2344d0d856e8SRandy Dunlap * if truncate on deeper level happened, it wasn't partial, 2345a86c6181SAlex Tomas * so we have to consider current index for truncation 2346a86c6181SAlex Tomas */ 2347a86c6181SAlex Tomas if (le16_to_cpu(path->p_hdr->eh_entries) == path->p_block) 2348a86c6181SAlex Tomas return 0; 2349a86c6181SAlex Tomas return 1; 2350a86c6181SAlex Tomas } 2351a86c6181SAlex Tomas 23521d03ec98SAneesh Kumar K.V static int ext4_ext_remove_space(struct inode *inode, ext4_lblk_t start) 2353a86c6181SAlex Tomas { 2354a86c6181SAlex Tomas struct super_block *sb = inode->i_sb; 2355a86c6181SAlex Tomas int depth = ext_depth(inode); 2356a86c6181SAlex Tomas struct ext4_ext_path *path; 2357a86c6181SAlex Tomas handle_t *handle; 23580617b83fSDmitry Monakhov int i, err; 2359a86c6181SAlex Tomas 2360725d26d3SAneesh Kumar K.V ext_debug("truncate since %u\n", start); 2361a86c6181SAlex Tomas 2362a86c6181SAlex Tomas /* probably first extent we're gonna free will be last in block */ 2363a86c6181SAlex Tomas handle = ext4_journal_start(inode, depth + 1); 2364a86c6181SAlex Tomas if (IS_ERR(handle)) 2365a86c6181SAlex Tomas return PTR_ERR(handle); 2366a86c6181SAlex Tomas 23670617b83fSDmitry Monakhov again: 2368a86c6181SAlex Tomas ext4_ext_invalidate_cache(inode); 2369a86c6181SAlex Tomas 2370a86c6181SAlex Tomas /* 2371d0d856e8SRandy Dunlap * We start scanning from right side, freeing all the blocks 2372d0d856e8SRandy Dunlap * after i_size and walking into the tree depth-wise. 2373a86c6181SAlex Tomas */ 23740617b83fSDmitry Monakhov depth = ext_depth(inode); 2375216553c4SJosef Bacik path = kzalloc(sizeof(struct ext4_ext_path) * (depth + 1), GFP_NOFS); 2376a86c6181SAlex Tomas if (path == NULL) { 2377a86c6181SAlex Tomas ext4_journal_stop(handle); 2378a86c6181SAlex Tomas return -ENOMEM; 2379a86c6181SAlex Tomas } 23800617b83fSDmitry Monakhov path[0].p_depth = depth; 2381a86c6181SAlex Tomas path[0].p_hdr = ext_inode_hdr(inode); 238256b19868SAneesh Kumar K.V if (ext4_ext_check(inode, path[0].p_hdr, depth)) { 2383a86c6181SAlex Tomas err = -EIO; 2384a86c6181SAlex Tomas goto out; 2385a86c6181SAlex Tomas } 23860617b83fSDmitry Monakhov i = err = 0; 2387a86c6181SAlex Tomas 2388a86c6181SAlex Tomas while (i >= 0 && err == 0) { 2389a86c6181SAlex Tomas if (i == depth) { 2390a86c6181SAlex Tomas /* this is leaf block */ 2391a86c6181SAlex Tomas err = ext4_ext_rm_leaf(handle, inode, path, start); 2392d0d856e8SRandy Dunlap /* root level has p_bh == NULL, brelse() eats this */ 2393a86c6181SAlex Tomas brelse(path[i].p_bh); 2394a86c6181SAlex Tomas path[i].p_bh = NULL; 2395a86c6181SAlex Tomas i--; 2396a86c6181SAlex Tomas continue; 2397a86c6181SAlex Tomas } 2398a86c6181SAlex Tomas 2399a86c6181SAlex Tomas /* this is index block */ 2400a86c6181SAlex Tomas if (!path[i].p_hdr) { 2401a86c6181SAlex Tomas ext_debug("initialize header\n"); 2402a86c6181SAlex Tomas path[i].p_hdr = ext_block_hdr(path[i].p_bh); 2403a86c6181SAlex Tomas } 2404a86c6181SAlex Tomas 2405a86c6181SAlex Tomas if (!path[i].p_idx) { 2406d0d856e8SRandy Dunlap /* this level hasn't been touched yet */ 2407a86c6181SAlex Tomas path[i].p_idx = EXT_LAST_INDEX(path[i].p_hdr); 2408a86c6181SAlex Tomas path[i].p_block = le16_to_cpu(path[i].p_hdr->eh_entries)+1; 2409a86c6181SAlex Tomas ext_debug("init index ptr: hdr 0x%p, num %d\n", 2410a86c6181SAlex Tomas path[i].p_hdr, 2411a86c6181SAlex Tomas le16_to_cpu(path[i].p_hdr->eh_entries)); 2412a86c6181SAlex Tomas } else { 2413d0d856e8SRandy Dunlap /* we were already here, see at next index */ 2414a86c6181SAlex Tomas path[i].p_idx--; 2415a86c6181SAlex Tomas } 2416a86c6181SAlex Tomas 2417a86c6181SAlex Tomas ext_debug("level %d - index, first 0x%p, cur 0x%p\n", 2418a86c6181SAlex Tomas i, EXT_FIRST_INDEX(path[i].p_hdr), 2419a86c6181SAlex Tomas path[i].p_idx); 2420a86c6181SAlex Tomas if (ext4_ext_more_to_rm(path + i)) { 2421c29c0ae7SAlex Tomas struct buffer_head *bh; 2422a86c6181SAlex Tomas /* go to the next level */ 24232ae02107SMingming Cao ext_debug("move to level %d (block %llu)\n", 2424f65e6fbaSAlex Tomas i + 1, idx_pblock(path[i].p_idx)); 2425a86c6181SAlex Tomas memset(path + i + 1, 0, sizeof(*path)); 2426c29c0ae7SAlex Tomas bh = sb_bread(sb, idx_pblock(path[i].p_idx)); 2427c29c0ae7SAlex Tomas if (!bh) { 2428a86c6181SAlex Tomas /* should we reset i_size? */ 2429a86c6181SAlex Tomas err = -EIO; 2430a86c6181SAlex Tomas break; 2431a86c6181SAlex Tomas } 2432c29c0ae7SAlex Tomas if (WARN_ON(i + 1 > depth)) { 2433c29c0ae7SAlex Tomas err = -EIO; 2434c29c0ae7SAlex Tomas break; 2435c29c0ae7SAlex Tomas } 243656b19868SAneesh Kumar K.V if (ext4_ext_check(inode, ext_block_hdr(bh), 2437c29c0ae7SAlex Tomas depth - i - 1)) { 2438c29c0ae7SAlex Tomas err = -EIO; 2439c29c0ae7SAlex Tomas break; 2440c29c0ae7SAlex Tomas } 2441c29c0ae7SAlex Tomas path[i + 1].p_bh = bh; 2442a86c6181SAlex Tomas 2443d0d856e8SRandy Dunlap /* save actual number of indexes since this 2444d0d856e8SRandy Dunlap * number is changed at the next iteration */ 2445a86c6181SAlex Tomas path[i].p_block = le16_to_cpu(path[i].p_hdr->eh_entries); 2446a86c6181SAlex Tomas i++; 2447a86c6181SAlex Tomas } else { 2448d0d856e8SRandy Dunlap /* we finished processing this index, go up */ 2449a86c6181SAlex Tomas if (path[i].p_hdr->eh_entries == 0 && i > 0) { 2450d0d856e8SRandy Dunlap /* index is empty, remove it; 2451a86c6181SAlex Tomas * handle must be already prepared by the 2452a86c6181SAlex Tomas * truncatei_leaf() */ 2453a86c6181SAlex Tomas err = ext4_ext_rm_idx(handle, inode, path + i); 2454a86c6181SAlex Tomas } 2455d0d856e8SRandy Dunlap /* root level has p_bh == NULL, brelse() eats this */ 2456a86c6181SAlex Tomas brelse(path[i].p_bh); 2457a86c6181SAlex Tomas path[i].p_bh = NULL; 2458a86c6181SAlex Tomas i--; 2459a86c6181SAlex Tomas ext_debug("return to level %d\n", i); 2460a86c6181SAlex Tomas } 2461a86c6181SAlex Tomas } 2462a86c6181SAlex Tomas 2463a86c6181SAlex Tomas /* TODO: flexible tree reduction should be here */ 2464a86c6181SAlex Tomas if (path->p_hdr->eh_entries == 0) { 2465a86c6181SAlex Tomas /* 2466d0d856e8SRandy Dunlap * truncate to zero freed all the tree, 2467d0d856e8SRandy Dunlap * so we need to correct eh_depth 2468a86c6181SAlex Tomas */ 2469a86c6181SAlex Tomas err = ext4_ext_get_access(handle, inode, path); 2470a86c6181SAlex Tomas if (err == 0) { 2471a86c6181SAlex Tomas ext_inode_hdr(inode)->eh_depth = 0; 2472a86c6181SAlex Tomas ext_inode_hdr(inode)->eh_max = 247355ad63bfSTheodore Ts'o cpu_to_le16(ext4_ext_space_root(inode, 0)); 2474a86c6181SAlex Tomas err = ext4_ext_dirty(handle, inode, path); 2475a86c6181SAlex Tomas } 2476a86c6181SAlex Tomas } 2477a86c6181SAlex Tomas out: 2478a86c6181SAlex Tomas ext4_ext_drop_refs(path); 2479a86c6181SAlex Tomas kfree(path); 24800617b83fSDmitry Monakhov if (err == -EAGAIN) 24810617b83fSDmitry Monakhov goto again; 2482a86c6181SAlex Tomas ext4_journal_stop(handle); 2483a86c6181SAlex Tomas 2484a86c6181SAlex Tomas return err; 2485a86c6181SAlex Tomas } 2486a86c6181SAlex Tomas 2487a86c6181SAlex Tomas /* 2488a86c6181SAlex Tomas * called at mount time 2489a86c6181SAlex Tomas */ 2490a86c6181SAlex Tomas void ext4_ext_init(struct super_block *sb) 2491a86c6181SAlex Tomas { 2492a86c6181SAlex Tomas /* 2493a86c6181SAlex Tomas * possible initialization would be here 2494a86c6181SAlex Tomas */ 2495a86c6181SAlex Tomas 249683982b6fSTheodore Ts'o if (EXT4_HAS_INCOMPAT_FEATURE(sb, EXT4_FEATURE_INCOMPAT_EXTENTS)) { 249790576c0bSTheodore Ts'o #if defined(AGGRESSIVE_TEST) || defined(CHECK_BINSEARCH) || defined(EXTENTS_STATS) 24984776004fSTheodore Ts'o printk(KERN_INFO "EXT4-fs: file extents enabled"); 2499bbf2f9fbSRobert P. J. Day #ifdef AGGRESSIVE_TEST 2500bbf2f9fbSRobert P. J. Day printk(", aggressive tests"); 2501a86c6181SAlex Tomas #endif 2502a86c6181SAlex Tomas #ifdef CHECK_BINSEARCH 2503a86c6181SAlex Tomas printk(", check binsearch"); 2504a86c6181SAlex Tomas #endif 2505a86c6181SAlex Tomas #ifdef EXTENTS_STATS 2506a86c6181SAlex Tomas printk(", stats"); 2507a86c6181SAlex Tomas #endif 2508a86c6181SAlex Tomas printk("\n"); 250990576c0bSTheodore Ts'o #endif 2510a86c6181SAlex Tomas #ifdef EXTENTS_STATS 2511a86c6181SAlex Tomas spin_lock_init(&EXT4_SB(sb)->s_ext_stats_lock); 2512a86c6181SAlex Tomas EXT4_SB(sb)->s_ext_min = 1 << 30; 2513a86c6181SAlex Tomas EXT4_SB(sb)->s_ext_max = 0; 2514a86c6181SAlex Tomas #endif 2515a86c6181SAlex Tomas } 2516a86c6181SAlex Tomas } 2517a86c6181SAlex Tomas 2518a86c6181SAlex Tomas /* 2519a86c6181SAlex Tomas * called at umount time 2520a86c6181SAlex Tomas */ 2521a86c6181SAlex Tomas void ext4_ext_release(struct super_block *sb) 2522a86c6181SAlex Tomas { 252383982b6fSTheodore Ts'o if (!EXT4_HAS_INCOMPAT_FEATURE(sb, EXT4_FEATURE_INCOMPAT_EXTENTS)) 2524a86c6181SAlex Tomas return; 2525a86c6181SAlex Tomas 2526a86c6181SAlex Tomas #ifdef EXTENTS_STATS 2527a86c6181SAlex Tomas if (EXT4_SB(sb)->s_ext_blocks && EXT4_SB(sb)->s_ext_extents) { 2528a86c6181SAlex Tomas struct ext4_sb_info *sbi = EXT4_SB(sb); 2529a86c6181SAlex Tomas printk(KERN_ERR "EXT4-fs: %lu blocks in %lu extents (%lu ave)\n", 2530a86c6181SAlex Tomas sbi->s_ext_blocks, sbi->s_ext_extents, 2531a86c6181SAlex Tomas sbi->s_ext_blocks / sbi->s_ext_extents); 2532a86c6181SAlex Tomas printk(KERN_ERR "EXT4-fs: extents: %lu min, %lu max, max depth %lu\n", 2533a86c6181SAlex Tomas sbi->s_ext_min, sbi->s_ext_max, sbi->s_depth_max); 2534a86c6181SAlex Tomas } 2535a86c6181SAlex Tomas #endif 2536a86c6181SAlex Tomas } 2537a86c6181SAlex Tomas 2538093a088bSAneesh Kumar K.V /* FIXME!! we need to try to merge to left or right after zero-out */ 2539093a088bSAneesh Kumar K.V static int ext4_ext_zeroout(struct inode *inode, struct ext4_extent *ex) 2540093a088bSAneesh Kumar K.V { 25412407518dSLukas Czerner ext4_fsblk_t ee_pblock; 25422407518dSLukas Czerner unsigned int ee_len; 2543b720303dSJing Zhang int ret; 2544093a088bSAneesh Kumar K.V 2545093a088bSAneesh Kumar K.V ee_len = ext4_ext_get_actual_len(ex); 2546093a088bSAneesh Kumar K.V ee_pblock = ext_pblock(ex); 2547093a088bSAneesh Kumar K.V 25482407518dSLukas Czerner ret = sb_issue_zeroout(inode->i_sb, ee_pblock, ee_len, 25492407518dSLukas Czerner GFP_NOFS, BLKDEV_IFL_WAIT); 25502407518dSLukas Czerner if (ret > 0) 25512407518dSLukas Czerner ret = 0; 2552093a088bSAneesh Kumar K.V 25532407518dSLukas Czerner return ret; 2554093a088bSAneesh Kumar K.V } 2555093a088bSAneesh Kumar K.V 25563977c965SAneesh Kumar K.V #define EXT4_EXT_ZERO_LEN 7 255756055d3aSAmit Arora /* 2558e35fd660STheodore Ts'o * This function is called by ext4_ext_map_blocks() if someone tries to write 255956055d3aSAmit Arora * to an uninitialized extent. It may result in splitting the uninitialized 256056055d3aSAmit Arora * extent into multiple extents (upto three - one initialized and two 256156055d3aSAmit Arora * uninitialized). 256256055d3aSAmit Arora * There are three possibilities: 256356055d3aSAmit Arora * a> There is no split required: Entire extent should be initialized 256456055d3aSAmit Arora * b> Splits in two extents: Write is happening at either end of the extent 256556055d3aSAmit Arora * c> Splits in three extents: Somone is writing in middle of the extent 256656055d3aSAmit Arora */ 2567725d26d3SAneesh Kumar K.V static int ext4_ext_convert_to_initialized(handle_t *handle, 2568725d26d3SAneesh Kumar K.V struct inode *inode, 2569e35fd660STheodore Ts'o struct ext4_map_blocks *map, 2570e35fd660STheodore Ts'o struct ext4_ext_path *path) 257156055d3aSAmit Arora { 257295c3889cSAneesh Kumar K.V struct ext4_extent *ex, newex, orig_ex; 257356055d3aSAmit Arora struct ext4_extent *ex1 = NULL; 257456055d3aSAmit Arora struct ext4_extent *ex2 = NULL; 257556055d3aSAmit Arora struct ext4_extent *ex3 = NULL; 257656055d3aSAmit Arora struct ext4_extent_header *eh; 257721ca087aSDmitry Monakhov ext4_lblk_t ee_block, eof_block; 2578725d26d3SAneesh Kumar K.V unsigned int allocated, ee_len, depth; 257956055d3aSAmit Arora ext4_fsblk_t newblock; 258056055d3aSAmit Arora int err = 0; 258156055d3aSAmit Arora int ret = 0; 258221ca087aSDmitry Monakhov int may_zeroout; 258321ca087aSDmitry Monakhov 258421ca087aSDmitry Monakhov ext_debug("ext4_ext_convert_to_initialized: inode %lu, logical" 258521ca087aSDmitry Monakhov "block %llu, max_blocks %u\n", inode->i_ino, 2586e35fd660STheodore Ts'o (unsigned long long)map->m_lblk, map->m_len); 258721ca087aSDmitry Monakhov 258821ca087aSDmitry Monakhov eof_block = (inode->i_size + inode->i_sb->s_blocksize - 1) >> 258921ca087aSDmitry Monakhov inode->i_sb->s_blocksize_bits; 2590e35fd660STheodore Ts'o if (eof_block < map->m_lblk + map->m_len) 2591e35fd660STheodore Ts'o eof_block = map->m_lblk + map->m_len; 259256055d3aSAmit Arora 259356055d3aSAmit Arora depth = ext_depth(inode); 259456055d3aSAmit Arora eh = path[depth].p_hdr; 259556055d3aSAmit Arora ex = path[depth].p_ext; 259656055d3aSAmit Arora ee_block = le32_to_cpu(ex->ee_block); 259756055d3aSAmit Arora ee_len = ext4_ext_get_actual_len(ex); 2598e35fd660STheodore Ts'o allocated = ee_len - (map->m_lblk - ee_block); 2599e35fd660STheodore Ts'o newblock = map->m_lblk - ee_block + ext_pblock(ex); 260021ca087aSDmitry Monakhov 260156055d3aSAmit Arora ex2 = ex; 260295c3889cSAneesh Kumar K.V orig_ex.ee_block = ex->ee_block; 260395c3889cSAneesh Kumar K.V orig_ex.ee_len = cpu_to_le16(ee_len); 260495c3889cSAneesh Kumar K.V ext4_ext_store_pblock(&orig_ex, ext_pblock(ex)); 260556055d3aSAmit Arora 260621ca087aSDmitry Monakhov /* 260721ca087aSDmitry Monakhov * It is safe to convert extent to initialized via explicit 260821ca087aSDmitry Monakhov * zeroout only if extent is fully insde i_size or new_size. 260921ca087aSDmitry Monakhov */ 261021ca087aSDmitry Monakhov may_zeroout = ee_block + ee_len <= eof_block; 261121ca087aSDmitry Monakhov 26129df5643aSAneesh Kumar K.V err = ext4_ext_get_access(handle, inode, path + depth); 26139df5643aSAneesh Kumar K.V if (err) 26149df5643aSAneesh Kumar K.V goto out; 26153977c965SAneesh Kumar K.V /* If extent has less than 2*EXT4_EXT_ZERO_LEN zerout directly */ 261621ca087aSDmitry Monakhov if (ee_len <= 2*EXT4_EXT_ZERO_LEN && may_zeroout) { 26173977c965SAneesh Kumar K.V err = ext4_ext_zeroout(inode, &orig_ex); 26183977c965SAneesh Kumar K.V if (err) 26193977c965SAneesh Kumar K.V goto fix_extent_len; 26203977c965SAneesh Kumar K.V /* update the extent length and mark as initialized */ 26213977c965SAneesh Kumar K.V ex->ee_block = orig_ex.ee_block; 26223977c965SAneesh Kumar K.V ex->ee_len = orig_ex.ee_len; 26233977c965SAneesh Kumar K.V ext4_ext_store_pblock(ex, ext_pblock(&orig_ex)); 26243977c965SAneesh Kumar K.V ext4_ext_dirty(handle, inode, path + depth); 2625161e7b7cSAneesh Kumar K.V /* zeroed the full extent */ 2626161e7b7cSAneesh Kumar K.V return allocated; 26273977c965SAneesh Kumar K.V } 26289df5643aSAneesh Kumar K.V 2629e35fd660STheodore Ts'o /* ex1: ee_block to map->m_lblk - 1 : uninitialized */ 2630e35fd660STheodore Ts'o if (map->m_lblk > ee_block) { 263156055d3aSAmit Arora ex1 = ex; 2632e35fd660STheodore Ts'o ex1->ee_len = cpu_to_le16(map->m_lblk - ee_block); 263356055d3aSAmit Arora ext4_ext_mark_uninitialized(ex1); 263456055d3aSAmit Arora ex2 = &newex; 263556055d3aSAmit Arora } 263656055d3aSAmit Arora /* 263756055d3aSAmit Arora * for sanity, update the length of the ex2 extent before 263856055d3aSAmit Arora * we insert ex3, if ex1 is NULL. This is to avoid temporary 263956055d3aSAmit Arora * overlap of blocks. 264056055d3aSAmit Arora */ 2641e35fd660STheodore Ts'o if (!ex1 && allocated > map->m_len) 2642e35fd660STheodore Ts'o ex2->ee_len = cpu_to_le16(map->m_len); 264356055d3aSAmit Arora /* ex3: to ee_block + ee_len : uninitialised */ 2644e35fd660STheodore Ts'o if (allocated > map->m_len) { 264556055d3aSAmit Arora unsigned int newdepth; 26463977c965SAneesh Kumar K.V /* If extent has less than EXT4_EXT_ZERO_LEN zerout directly */ 264721ca087aSDmitry Monakhov if (allocated <= EXT4_EXT_ZERO_LEN && may_zeroout) { 2648d03856bdSAneesh Kumar K.V /* 2649e35fd660STheodore Ts'o * map->m_lblk == ee_block is handled by the zerouout 2650d03856bdSAneesh Kumar K.V * at the beginning. 2651d03856bdSAneesh Kumar K.V * Mark first half uninitialized. 26523977c965SAneesh Kumar K.V * Mark second half initialized and zero out the 26533977c965SAneesh Kumar K.V * initialized extent 26543977c965SAneesh Kumar K.V */ 26553977c965SAneesh Kumar K.V ex->ee_block = orig_ex.ee_block; 26563977c965SAneesh Kumar K.V ex->ee_len = cpu_to_le16(ee_len - allocated); 26573977c965SAneesh Kumar K.V ext4_ext_mark_uninitialized(ex); 26583977c965SAneesh Kumar K.V ext4_ext_store_pblock(ex, ext_pblock(&orig_ex)); 26593977c965SAneesh Kumar K.V ext4_ext_dirty(handle, inode, path + depth); 26603977c965SAneesh Kumar K.V 26613977c965SAneesh Kumar K.V ex3 = &newex; 2662e35fd660STheodore Ts'o ex3->ee_block = cpu_to_le32(map->m_lblk); 26633977c965SAneesh Kumar K.V ext4_ext_store_pblock(ex3, newblock); 26643977c965SAneesh Kumar K.V ex3->ee_len = cpu_to_le16(allocated); 26650031462bSMingming Cao err = ext4_ext_insert_extent(handle, inode, path, 26660031462bSMingming Cao ex3, 0); 26673977c965SAneesh Kumar K.V if (err == -ENOSPC) { 26683977c965SAneesh Kumar K.V err = ext4_ext_zeroout(inode, &orig_ex); 26693977c965SAneesh Kumar K.V if (err) 26703977c965SAneesh Kumar K.V goto fix_extent_len; 26713977c965SAneesh Kumar K.V ex->ee_block = orig_ex.ee_block; 26723977c965SAneesh Kumar K.V ex->ee_len = orig_ex.ee_len; 26733977c965SAneesh Kumar K.V ext4_ext_store_pblock(ex, ext_pblock(&orig_ex)); 26743977c965SAneesh Kumar K.V ext4_ext_dirty(handle, inode, path + depth); 2675e35fd660STheodore Ts'o /* blocks available from map->m_lblk */ 2676161e7b7cSAneesh Kumar K.V return allocated; 26773977c965SAneesh Kumar K.V 26783977c965SAneesh Kumar K.V } else if (err) 26793977c965SAneesh Kumar K.V goto fix_extent_len; 26803977c965SAneesh Kumar K.V 2681161e7b7cSAneesh Kumar K.V /* 2682161e7b7cSAneesh Kumar K.V * We need to zero out the second half because 2683161e7b7cSAneesh Kumar K.V * an fallocate request can update file size and 2684161e7b7cSAneesh Kumar K.V * converting the second half to initialized extent 2685161e7b7cSAneesh Kumar K.V * implies that we can leak some junk data to user 2686161e7b7cSAneesh Kumar K.V * space. 2687161e7b7cSAneesh Kumar K.V */ 2688161e7b7cSAneesh Kumar K.V err = ext4_ext_zeroout(inode, ex3); 2689161e7b7cSAneesh Kumar K.V if (err) { 2690161e7b7cSAneesh Kumar K.V /* 2691161e7b7cSAneesh Kumar K.V * We should actually mark the 2692161e7b7cSAneesh Kumar K.V * second half as uninit and return error 2693161e7b7cSAneesh Kumar K.V * Insert would have changed the extent 2694161e7b7cSAneesh Kumar K.V */ 2695161e7b7cSAneesh Kumar K.V depth = ext_depth(inode); 2696161e7b7cSAneesh Kumar K.V ext4_ext_drop_refs(path); 2697e35fd660STheodore Ts'o path = ext4_ext_find_extent(inode, map->m_lblk, 2698e35fd660STheodore Ts'o path); 2699161e7b7cSAneesh Kumar K.V if (IS_ERR(path)) { 2700161e7b7cSAneesh Kumar K.V err = PTR_ERR(path); 2701161e7b7cSAneesh Kumar K.V return err; 2702161e7b7cSAneesh Kumar K.V } 2703d03856bdSAneesh Kumar K.V /* get the second half extent details */ 2704161e7b7cSAneesh Kumar K.V ex = path[depth].p_ext; 2705161e7b7cSAneesh Kumar K.V err = ext4_ext_get_access(handle, inode, 2706161e7b7cSAneesh Kumar K.V path + depth); 2707161e7b7cSAneesh Kumar K.V if (err) 2708161e7b7cSAneesh Kumar K.V return err; 2709161e7b7cSAneesh Kumar K.V ext4_ext_mark_uninitialized(ex); 2710161e7b7cSAneesh Kumar K.V ext4_ext_dirty(handle, inode, path + depth); 2711161e7b7cSAneesh Kumar K.V return err; 2712161e7b7cSAneesh Kumar K.V } 2713161e7b7cSAneesh Kumar K.V 2714161e7b7cSAneesh Kumar K.V /* zeroed the second half */ 27153977c965SAneesh Kumar K.V return allocated; 27163977c965SAneesh Kumar K.V } 271756055d3aSAmit Arora ex3 = &newex; 2718e35fd660STheodore Ts'o ex3->ee_block = cpu_to_le32(map->m_lblk + map->m_len); 2719e35fd660STheodore Ts'o ext4_ext_store_pblock(ex3, newblock + map->m_len); 2720e35fd660STheodore Ts'o ex3->ee_len = cpu_to_le16(allocated - map->m_len); 272156055d3aSAmit Arora ext4_ext_mark_uninitialized(ex3); 27220031462bSMingming Cao err = ext4_ext_insert_extent(handle, inode, path, ex3, 0); 272321ca087aSDmitry Monakhov if (err == -ENOSPC && may_zeroout) { 2724093a088bSAneesh Kumar K.V err = ext4_ext_zeroout(inode, &orig_ex); 2725093a088bSAneesh Kumar K.V if (err) 2726093a088bSAneesh Kumar K.V goto fix_extent_len; 2727093a088bSAneesh Kumar K.V /* update the extent length and mark as initialized */ 272895c3889cSAneesh Kumar K.V ex->ee_block = orig_ex.ee_block; 272995c3889cSAneesh Kumar K.V ex->ee_len = orig_ex.ee_len; 273095c3889cSAneesh Kumar K.V ext4_ext_store_pblock(ex, ext_pblock(&orig_ex)); 273195c3889cSAneesh Kumar K.V ext4_ext_dirty(handle, inode, path + depth); 2732161e7b7cSAneesh Kumar K.V /* zeroed the full extent */ 2733e35fd660STheodore Ts'o /* blocks available from map->m_lblk */ 2734161e7b7cSAneesh Kumar K.V return allocated; 2735093a088bSAneesh Kumar K.V 2736093a088bSAneesh Kumar K.V } else if (err) 2737093a088bSAneesh Kumar K.V goto fix_extent_len; 273856055d3aSAmit Arora /* 273956055d3aSAmit Arora * The depth, and hence eh & ex might change 274056055d3aSAmit Arora * as part of the insert above. 274156055d3aSAmit Arora */ 274256055d3aSAmit Arora newdepth = ext_depth(inode); 274395c3889cSAneesh Kumar K.V /* 274473ac36eaSColy Li * update the extent length after successful insert of the 274595c3889cSAneesh Kumar K.V * split extent 274695c3889cSAneesh Kumar K.V */ 274721ca087aSDmitry Monakhov ee_len -= ext4_ext_get_actual_len(ex3); 274821ca087aSDmitry Monakhov orig_ex.ee_len = cpu_to_le16(ee_len); 274921ca087aSDmitry Monakhov may_zeroout = ee_block + ee_len <= eof_block; 275021ca087aSDmitry Monakhov 275156055d3aSAmit Arora depth = newdepth; 2752b35905c1SAneesh Kumar K.V ext4_ext_drop_refs(path); 2753e35fd660STheodore Ts'o path = ext4_ext_find_extent(inode, map->m_lblk, path); 275456055d3aSAmit Arora if (IS_ERR(path)) { 275556055d3aSAmit Arora err = PTR_ERR(path); 275656055d3aSAmit Arora goto out; 275756055d3aSAmit Arora } 275856055d3aSAmit Arora eh = path[depth].p_hdr; 275956055d3aSAmit Arora ex = path[depth].p_ext; 276056055d3aSAmit Arora if (ex2 != &newex) 276156055d3aSAmit Arora ex2 = ex; 27629df5643aSAneesh Kumar K.V 27639df5643aSAneesh Kumar K.V err = ext4_ext_get_access(handle, inode, path + depth); 27649df5643aSAneesh Kumar K.V if (err) 27659df5643aSAneesh Kumar K.V goto out; 2766d03856bdSAneesh Kumar K.V 2767e35fd660STheodore Ts'o allocated = map->m_len; 27683977c965SAneesh Kumar K.V 27693977c965SAneesh Kumar K.V /* If extent has less than EXT4_EXT_ZERO_LEN and we are trying 27703977c965SAneesh Kumar K.V * to insert a extent in the middle zerout directly 27713977c965SAneesh Kumar K.V * otherwise give the extent a chance to merge to left 27723977c965SAneesh Kumar K.V */ 27733977c965SAneesh Kumar K.V if (le16_to_cpu(orig_ex.ee_len) <= EXT4_EXT_ZERO_LEN && 2774e35fd660STheodore Ts'o map->m_lblk != ee_block && may_zeroout) { 27753977c965SAneesh Kumar K.V err = ext4_ext_zeroout(inode, &orig_ex); 27763977c965SAneesh Kumar K.V if (err) 27773977c965SAneesh Kumar K.V goto fix_extent_len; 27783977c965SAneesh Kumar K.V /* update the extent length and mark as initialized */ 27793977c965SAneesh Kumar K.V ex->ee_block = orig_ex.ee_block; 27803977c965SAneesh Kumar K.V ex->ee_len = orig_ex.ee_len; 27813977c965SAneesh Kumar K.V ext4_ext_store_pblock(ex, ext_pblock(&orig_ex)); 27823977c965SAneesh Kumar K.V ext4_ext_dirty(handle, inode, path + depth); 2783161e7b7cSAneesh Kumar K.V /* zero out the first half */ 2784e35fd660STheodore Ts'o /* blocks available from map->m_lblk */ 2785161e7b7cSAneesh Kumar K.V return allocated; 27863977c965SAneesh Kumar K.V } 278756055d3aSAmit Arora } 278856055d3aSAmit Arora /* 278956055d3aSAmit Arora * If there was a change of depth as part of the 279056055d3aSAmit Arora * insertion of ex3 above, we need to update the length 279156055d3aSAmit Arora * of the ex1 extent again here 279256055d3aSAmit Arora */ 279356055d3aSAmit Arora if (ex1 && ex1 != ex) { 279456055d3aSAmit Arora ex1 = ex; 2795e35fd660STheodore Ts'o ex1->ee_len = cpu_to_le16(map->m_lblk - ee_block); 279656055d3aSAmit Arora ext4_ext_mark_uninitialized(ex1); 279756055d3aSAmit Arora ex2 = &newex; 279856055d3aSAmit Arora } 2799e35fd660STheodore Ts'o /* ex2: map->m_lblk to map->m_lblk + maxblocks-1 : initialised */ 2800e35fd660STheodore Ts'o ex2->ee_block = cpu_to_le32(map->m_lblk); 280156055d3aSAmit Arora ext4_ext_store_pblock(ex2, newblock); 280256055d3aSAmit Arora ex2->ee_len = cpu_to_le16(allocated); 280356055d3aSAmit Arora if (ex2 != ex) 280456055d3aSAmit Arora goto insert; 280556055d3aSAmit Arora /* 280656055d3aSAmit Arora * New (initialized) extent starts from the first block 280756055d3aSAmit Arora * in the current extent. i.e., ex2 == ex 280856055d3aSAmit Arora * We have to see if it can be merged with the extent 280956055d3aSAmit Arora * on the left. 281056055d3aSAmit Arora */ 281156055d3aSAmit Arora if (ex2 > EXT_FIRST_EXTENT(eh)) { 281256055d3aSAmit Arora /* 281356055d3aSAmit Arora * To merge left, pass "ex2 - 1" to try_to_merge(), 281456055d3aSAmit Arora * since it merges towards right _only_. 281556055d3aSAmit Arora */ 281656055d3aSAmit Arora ret = ext4_ext_try_to_merge(inode, path, ex2 - 1); 281756055d3aSAmit Arora if (ret) { 281856055d3aSAmit Arora err = ext4_ext_correct_indexes(handle, inode, path); 281956055d3aSAmit Arora if (err) 282056055d3aSAmit Arora goto out; 282156055d3aSAmit Arora depth = ext_depth(inode); 282256055d3aSAmit Arora ex2--; 282356055d3aSAmit Arora } 282456055d3aSAmit Arora } 282556055d3aSAmit Arora /* 282656055d3aSAmit Arora * Try to Merge towards right. This might be required 282756055d3aSAmit Arora * only when the whole extent is being written to. 282856055d3aSAmit Arora * i.e. ex2 == ex and ex3 == NULL. 282956055d3aSAmit Arora */ 283056055d3aSAmit Arora if (!ex3) { 283156055d3aSAmit Arora ret = ext4_ext_try_to_merge(inode, path, ex2); 283256055d3aSAmit Arora if (ret) { 283356055d3aSAmit Arora err = ext4_ext_correct_indexes(handle, inode, path); 283456055d3aSAmit Arora if (err) 283556055d3aSAmit Arora goto out; 283656055d3aSAmit Arora } 283756055d3aSAmit Arora } 283856055d3aSAmit Arora /* Mark modified extent as dirty */ 283956055d3aSAmit Arora err = ext4_ext_dirty(handle, inode, path + depth); 284056055d3aSAmit Arora goto out; 284156055d3aSAmit Arora insert: 28420031462bSMingming Cao err = ext4_ext_insert_extent(handle, inode, path, &newex, 0); 284321ca087aSDmitry Monakhov if (err == -ENOSPC && may_zeroout) { 2844093a088bSAneesh Kumar K.V err = ext4_ext_zeroout(inode, &orig_ex); 2845093a088bSAneesh Kumar K.V if (err) 2846093a088bSAneesh Kumar K.V goto fix_extent_len; 2847093a088bSAneesh Kumar K.V /* update the extent length and mark as initialized */ 2848093a088bSAneesh Kumar K.V ex->ee_block = orig_ex.ee_block; 2849093a088bSAneesh Kumar K.V ex->ee_len = orig_ex.ee_len; 2850093a088bSAneesh Kumar K.V ext4_ext_store_pblock(ex, ext_pblock(&orig_ex)); 2851093a088bSAneesh Kumar K.V ext4_ext_dirty(handle, inode, path + depth); 2852161e7b7cSAneesh Kumar K.V /* zero out the first half */ 2853161e7b7cSAneesh Kumar K.V return allocated; 2854093a088bSAneesh Kumar K.V } else if (err) 2855093a088bSAneesh Kumar K.V goto fix_extent_len; 2856093a088bSAneesh Kumar K.V out: 2857553f9008SMingming ext4_ext_show_leaf(inode, path); 2858093a088bSAneesh Kumar K.V return err ? err : allocated; 2859093a088bSAneesh Kumar K.V 2860093a088bSAneesh Kumar K.V fix_extent_len: 286195c3889cSAneesh Kumar K.V ex->ee_block = orig_ex.ee_block; 286295c3889cSAneesh Kumar K.V ex->ee_len = orig_ex.ee_len; 286395c3889cSAneesh Kumar K.V ext4_ext_store_pblock(ex, ext_pblock(&orig_ex)); 286495c3889cSAneesh Kumar K.V ext4_ext_mark_uninitialized(ex); 286595c3889cSAneesh Kumar K.V ext4_ext_dirty(handle, inode, path + depth); 2866093a088bSAneesh Kumar K.V return err; 286756055d3aSAmit Arora } 286856055d3aSAmit Arora 2869c278bfecSAneesh Kumar K.V /* 2870e35fd660STheodore Ts'o * This function is called by ext4_ext_map_blocks() from 28710031462bSMingming Cao * ext4_get_blocks_dio_write() when DIO to write 28720031462bSMingming Cao * to an uninitialized extent. 28730031462bSMingming Cao * 28740031462bSMingming Cao * Writing to an uninitized extent may result in splitting the uninitialized 28750031462bSMingming Cao * extent into multiple /intialized unintialized extents (up to three) 28760031462bSMingming Cao * There are three possibilities: 28770031462bSMingming Cao * a> There is no split required: Entire extent should be uninitialized 28780031462bSMingming Cao * b> Splits in two extents: Write is happening at either end of the extent 28790031462bSMingming Cao * c> Splits in three extents: Somone is writing in middle of the extent 28800031462bSMingming Cao * 28810031462bSMingming Cao * One of more index blocks maybe needed if the extent tree grow after 28820031462bSMingming Cao * the unintialized extent split. To prevent ENOSPC occur at the IO 28830031462bSMingming Cao * complete, we need to split the uninitialized extent before DIO submit 2884421f91d2SUwe Kleine-König * the IO. The uninitialized extent called at this time will be split 28850031462bSMingming Cao * into three uninitialized extent(at most). After IO complete, the part 28860031462bSMingming Cao * being filled will be convert to initialized by the end_io callback function 28870031462bSMingming Cao * via ext4_convert_unwritten_extents(). 2888ba230c3fSMingming * 2889ba230c3fSMingming * Returns the size of uninitialized extent to be written on success. 28900031462bSMingming Cao */ 28910031462bSMingming Cao static int ext4_split_unwritten_extents(handle_t *handle, 28920031462bSMingming Cao struct inode *inode, 2893e35fd660STheodore Ts'o struct ext4_map_blocks *map, 28940031462bSMingming Cao struct ext4_ext_path *path, 28950031462bSMingming Cao int flags) 28960031462bSMingming Cao { 28970031462bSMingming Cao struct ext4_extent *ex, newex, orig_ex; 28980031462bSMingming Cao struct ext4_extent *ex1 = NULL; 28990031462bSMingming Cao struct ext4_extent *ex2 = NULL; 29000031462bSMingming Cao struct ext4_extent *ex3 = NULL; 290121ca087aSDmitry Monakhov ext4_lblk_t ee_block, eof_block; 29020031462bSMingming Cao unsigned int allocated, ee_len, depth; 29030031462bSMingming Cao ext4_fsblk_t newblock; 29040031462bSMingming Cao int err = 0; 290521ca087aSDmitry Monakhov int may_zeroout; 29060031462bSMingming Cao 290721ca087aSDmitry Monakhov ext_debug("ext4_split_unwritten_extents: inode %lu, logical" 290821ca087aSDmitry Monakhov "block %llu, max_blocks %u\n", inode->i_ino, 2909e35fd660STheodore Ts'o (unsigned long long)map->m_lblk, map->m_len); 291021ca087aSDmitry Monakhov 291121ca087aSDmitry Monakhov eof_block = (inode->i_size + inode->i_sb->s_blocksize - 1) >> 291221ca087aSDmitry Monakhov inode->i_sb->s_blocksize_bits; 2913e35fd660STheodore Ts'o if (eof_block < map->m_lblk + map->m_len) 2914e35fd660STheodore Ts'o eof_block = map->m_lblk + map->m_len; 291521ca087aSDmitry Monakhov 29160031462bSMingming Cao depth = ext_depth(inode); 29170031462bSMingming Cao ex = path[depth].p_ext; 29180031462bSMingming Cao ee_block = le32_to_cpu(ex->ee_block); 29190031462bSMingming Cao ee_len = ext4_ext_get_actual_len(ex); 2920e35fd660STheodore Ts'o allocated = ee_len - (map->m_lblk - ee_block); 2921e35fd660STheodore Ts'o newblock = map->m_lblk - ee_block + ext_pblock(ex); 292221ca087aSDmitry Monakhov 29230031462bSMingming Cao ex2 = ex; 29240031462bSMingming Cao orig_ex.ee_block = ex->ee_block; 29250031462bSMingming Cao orig_ex.ee_len = cpu_to_le16(ee_len); 29260031462bSMingming Cao ext4_ext_store_pblock(&orig_ex, ext_pblock(ex)); 29270031462bSMingming Cao 29280031462bSMingming Cao /* 292921ca087aSDmitry Monakhov * It is safe to convert extent to initialized via explicit 293021ca087aSDmitry Monakhov * zeroout only if extent is fully insde i_size or new_size. 293121ca087aSDmitry Monakhov */ 293221ca087aSDmitry Monakhov may_zeroout = ee_block + ee_len <= eof_block; 293321ca087aSDmitry Monakhov 293421ca087aSDmitry Monakhov /* 2935ba230c3fSMingming * If the uninitialized extent begins at the same logical 2936ba230c3fSMingming * block where the write begins, and the write completely 2937ba230c3fSMingming * covers the extent, then we don't need to split it. 29380031462bSMingming Cao */ 2939e35fd660STheodore Ts'o if ((map->m_lblk == ee_block) && (allocated <= map->m_len)) 2940ba230c3fSMingming return allocated; 29410031462bSMingming Cao 29420031462bSMingming Cao err = ext4_ext_get_access(handle, inode, path + depth); 29430031462bSMingming Cao if (err) 29440031462bSMingming Cao goto out; 2945e35fd660STheodore Ts'o /* ex1: ee_block to map->m_lblk - 1 : uninitialized */ 2946e35fd660STheodore Ts'o if (map->m_lblk > ee_block) { 29470031462bSMingming Cao ex1 = ex; 2948e35fd660STheodore Ts'o ex1->ee_len = cpu_to_le16(map->m_lblk - ee_block); 29490031462bSMingming Cao ext4_ext_mark_uninitialized(ex1); 29500031462bSMingming Cao ex2 = &newex; 29510031462bSMingming Cao } 29520031462bSMingming Cao /* 29530031462bSMingming Cao * for sanity, update the length of the ex2 extent before 29540031462bSMingming Cao * we insert ex3, if ex1 is NULL. This is to avoid temporary 29550031462bSMingming Cao * overlap of blocks. 29560031462bSMingming Cao */ 2957e35fd660STheodore Ts'o if (!ex1 && allocated > map->m_len) 2958e35fd660STheodore Ts'o ex2->ee_len = cpu_to_le16(map->m_len); 29590031462bSMingming Cao /* ex3: to ee_block + ee_len : uninitialised */ 2960e35fd660STheodore Ts'o if (allocated > map->m_len) { 29610031462bSMingming Cao unsigned int newdepth; 29620031462bSMingming Cao ex3 = &newex; 2963e35fd660STheodore Ts'o ex3->ee_block = cpu_to_le32(map->m_lblk + map->m_len); 2964e35fd660STheodore Ts'o ext4_ext_store_pblock(ex3, newblock + map->m_len); 2965e35fd660STheodore Ts'o ex3->ee_len = cpu_to_le16(allocated - map->m_len); 29660031462bSMingming Cao ext4_ext_mark_uninitialized(ex3); 29670031462bSMingming Cao err = ext4_ext_insert_extent(handle, inode, path, ex3, flags); 296821ca087aSDmitry Monakhov if (err == -ENOSPC && may_zeroout) { 29690031462bSMingming Cao err = ext4_ext_zeroout(inode, &orig_ex); 29700031462bSMingming Cao if (err) 29710031462bSMingming Cao goto fix_extent_len; 29720031462bSMingming Cao /* update the extent length and mark as initialized */ 29730031462bSMingming Cao ex->ee_block = orig_ex.ee_block; 29740031462bSMingming Cao ex->ee_len = orig_ex.ee_len; 29750031462bSMingming Cao ext4_ext_store_pblock(ex, ext_pblock(&orig_ex)); 29760031462bSMingming Cao ext4_ext_dirty(handle, inode, path + depth); 29770031462bSMingming Cao /* zeroed the full extent */ 2978e35fd660STheodore Ts'o /* blocks available from map->m_lblk */ 29790031462bSMingming Cao return allocated; 29800031462bSMingming Cao 29810031462bSMingming Cao } else if (err) 29820031462bSMingming Cao goto fix_extent_len; 29830031462bSMingming Cao /* 29840031462bSMingming Cao * The depth, and hence eh & ex might change 29850031462bSMingming Cao * as part of the insert above. 29860031462bSMingming Cao */ 29870031462bSMingming Cao newdepth = ext_depth(inode); 29880031462bSMingming Cao /* 29890031462bSMingming Cao * update the extent length after successful insert of the 29900031462bSMingming Cao * split extent 29910031462bSMingming Cao */ 299221ca087aSDmitry Monakhov ee_len -= ext4_ext_get_actual_len(ex3); 299321ca087aSDmitry Monakhov orig_ex.ee_len = cpu_to_le16(ee_len); 299421ca087aSDmitry Monakhov may_zeroout = ee_block + ee_len <= eof_block; 299521ca087aSDmitry Monakhov 29960031462bSMingming Cao depth = newdepth; 29970031462bSMingming Cao ext4_ext_drop_refs(path); 2998e35fd660STheodore Ts'o path = ext4_ext_find_extent(inode, map->m_lblk, path); 29990031462bSMingming Cao if (IS_ERR(path)) { 30000031462bSMingming Cao err = PTR_ERR(path); 30010031462bSMingming Cao goto out; 30020031462bSMingming Cao } 30030031462bSMingming Cao ex = path[depth].p_ext; 30040031462bSMingming Cao if (ex2 != &newex) 30050031462bSMingming Cao ex2 = ex; 30060031462bSMingming Cao 30070031462bSMingming Cao err = ext4_ext_get_access(handle, inode, path + depth); 30080031462bSMingming Cao if (err) 30090031462bSMingming Cao goto out; 30100031462bSMingming Cao 3011e35fd660STheodore Ts'o allocated = map->m_len; 30120031462bSMingming Cao } 30130031462bSMingming Cao /* 30140031462bSMingming Cao * If there was a change of depth as part of the 30150031462bSMingming Cao * insertion of ex3 above, we need to update the length 30160031462bSMingming Cao * of the ex1 extent again here 30170031462bSMingming Cao */ 30180031462bSMingming Cao if (ex1 && ex1 != ex) { 30190031462bSMingming Cao ex1 = ex; 3020e35fd660STheodore Ts'o ex1->ee_len = cpu_to_le16(map->m_lblk - ee_block); 30210031462bSMingming Cao ext4_ext_mark_uninitialized(ex1); 30220031462bSMingming Cao ex2 = &newex; 30230031462bSMingming Cao } 30240031462bSMingming Cao /* 3025e35fd660STheodore Ts'o * ex2: map->m_lblk to map->m_lblk + map->m_len-1 : to be written 3026e35fd660STheodore Ts'o * using direct I/O, uninitialised still. 30270031462bSMingming Cao */ 3028e35fd660STheodore Ts'o ex2->ee_block = cpu_to_le32(map->m_lblk); 30290031462bSMingming Cao ext4_ext_store_pblock(ex2, newblock); 30300031462bSMingming Cao ex2->ee_len = cpu_to_le16(allocated); 30310031462bSMingming Cao ext4_ext_mark_uninitialized(ex2); 30320031462bSMingming Cao if (ex2 != ex) 30330031462bSMingming Cao goto insert; 30340031462bSMingming Cao /* Mark modified extent as dirty */ 30350031462bSMingming Cao err = ext4_ext_dirty(handle, inode, path + depth); 30360031462bSMingming Cao ext_debug("out here\n"); 30370031462bSMingming Cao goto out; 30380031462bSMingming Cao insert: 30390031462bSMingming Cao err = ext4_ext_insert_extent(handle, inode, path, &newex, flags); 304021ca087aSDmitry Monakhov if (err == -ENOSPC && may_zeroout) { 30410031462bSMingming Cao err = ext4_ext_zeroout(inode, &orig_ex); 30420031462bSMingming Cao if (err) 30430031462bSMingming Cao goto fix_extent_len; 30440031462bSMingming Cao /* update the extent length and mark as initialized */ 30450031462bSMingming Cao ex->ee_block = orig_ex.ee_block; 30460031462bSMingming Cao ex->ee_len = orig_ex.ee_len; 30470031462bSMingming Cao ext4_ext_store_pblock(ex, ext_pblock(&orig_ex)); 30480031462bSMingming Cao ext4_ext_dirty(handle, inode, path + depth); 30490031462bSMingming Cao /* zero out the first half */ 30500031462bSMingming Cao return allocated; 30510031462bSMingming Cao } else if (err) 30520031462bSMingming Cao goto fix_extent_len; 30530031462bSMingming Cao out: 30540031462bSMingming Cao ext4_ext_show_leaf(inode, path); 30550031462bSMingming Cao return err ? err : allocated; 30560031462bSMingming Cao 30570031462bSMingming Cao fix_extent_len: 30580031462bSMingming Cao ex->ee_block = orig_ex.ee_block; 30590031462bSMingming Cao ex->ee_len = orig_ex.ee_len; 30600031462bSMingming Cao ext4_ext_store_pblock(ex, ext_pblock(&orig_ex)); 30610031462bSMingming Cao ext4_ext_mark_uninitialized(ex); 30620031462bSMingming Cao ext4_ext_dirty(handle, inode, path + depth); 30630031462bSMingming Cao return err; 30640031462bSMingming Cao } 3065c7064ef1SJiaying Zhang static int ext4_convert_unwritten_extents_endio(handle_t *handle, 30660031462bSMingming Cao struct inode *inode, 30670031462bSMingming Cao struct ext4_ext_path *path) 30680031462bSMingming Cao { 30690031462bSMingming Cao struct ext4_extent *ex; 30700031462bSMingming Cao struct ext4_extent_header *eh; 30710031462bSMingming Cao int depth; 30720031462bSMingming Cao int err = 0; 30730031462bSMingming Cao int ret = 0; 30740031462bSMingming Cao 30750031462bSMingming Cao depth = ext_depth(inode); 30760031462bSMingming Cao eh = path[depth].p_hdr; 30770031462bSMingming Cao ex = path[depth].p_ext; 30780031462bSMingming Cao 30790031462bSMingming Cao err = ext4_ext_get_access(handle, inode, path + depth); 30800031462bSMingming Cao if (err) 30810031462bSMingming Cao goto out; 30820031462bSMingming Cao /* first mark the extent as initialized */ 30830031462bSMingming Cao ext4_ext_mark_initialized(ex); 30840031462bSMingming Cao 30850031462bSMingming Cao /* 30860031462bSMingming Cao * We have to see if it can be merged with the extent 30870031462bSMingming Cao * on the left. 30880031462bSMingming Cao */ 30890031462bSMingming Cao if (ex > EXT_FIRST_EXTENT(eh)) { 30900031462bSMingming Cao /* 30910031462bSMingming Cao * To merge left, pass "ex - 1" to try_to_merge(), 30920031462bSMingming Cao * since it merges towards right _only_. 30930031462bSMingming Cao */ 30940031462bSMingming Cao ret = ext4_ext_try_to_merge(inode, path, ex - 1); 30950031462bSMingming Cao if (ret) { 30960031462bSMingming Cao err = ext4_ext_correct_indexes(handle, inode, path); 30970031462bSMingming Cao if (err) 30980031462bSMingming Cao goto out; 30990031462bSMingming Cao depth = ext_depth(inode); 31000031462bSMingming Cao ex--; 31010031462bSMingming Cao } 31020031462bSMingming Cao } 31030031462bSMingming Cao /* 31040031462bSMingming Cao * Try to Merge towards right. 31050031462bSMingming Cao */ 31060031462bSMingming Cao ret = ext4_ext_try_to_merge(inode, path, ex); 31070031462bSMingming Cao if (ret) { 31080031462bSMingming Cao err = ext4_ext_correct_indexes(handle, inode, path); 31090031462bSMingming Cao if (err) 31100031462bSMingming Cao goto out; 31110031462bSMingming Cao depth = ext_depth(inode); 31120031462bSMingming Cao } 31130031462bSMingming Cao /* Mark modified extent as dirty */ 31140031462bSMingming Cao err = ext4_ext_dirty(handle, inode, path + depth); 31150031462bSMingming Cao out: 31160031462bSMingming Cao ext4_ext_show_leaf(inode, path); 31170031462bSMingming Cao return err; 31180031462bSMingming Cao } 31190031462bSMingming Cao 3120515f41c3SAneesh Kumar K.V static void unmap_underlying_metadata_blocks(struct block_device *bdev, 3121515f41c3SAneesh Kumar K.V sector_t block, int count) 3122515f41c3SAneesh Kumar K.V { 3123515f41c3SAneesh Kumar K.V int i; 3124515f41c3SAneesh Kumar K.V for (i = 0; i < count; i++) 3125515f41c3SAneesh Kumar K.V unmap_underlying_metadata(bdev, block + i); 3126515f41c3SAneesh Kumar K.V } 3127515f41c3SAneesh Kumar K.V 312858590b06STheodore Ts'o /* 312958590b06STheodore Ts'o * Handle EOFBLOCKS_FL flag, clearing it if necessary 313058590b06STheodore Ts'o */ 313158590b06STheodore Ts'o static int check_eofblocks_fl(handle_t *handle, struct inode *inode, 313258590b06STheodore Ts'o struct ext4_map_blocks *map, 313358590b06STheodore Ts'o struct ext4_ext_path *path, 313458590b06STheodore Ts'o unsigned int len) 313558590b06STheodore Ts'o { 313658590b06STheodore Ts'o int i, depth; 313758590b06STheodore Ts'o struct ext4_extent_header *eh; 313858590b06STheodore Ts'o struct ext4_extent *ex, *last_ex; 313958590b06STheodore Ts'o 314058590b06STheodore Ts'o if (!ext4_test_inode_flag(inode, EXT4_INODE_EOFBLOCKS)) 314158590b06STheodore Ts'o return 0; 314258590b06STheodore Ts'o 314358590b06STheodore Ts'o depth = ext_depth(inode); 314458590b06STheodore Ts'o eh = path[depth].p_hdr; 314558590b06STheodore Ts'o ex = path[depth].p_ext; 314658590b06STheodore Ts'o 314758590b06STheodore Ts'o if (unlikely(!eh->eh_entries)) { 314858590b06STheodore Ts'o EXT4_ERROR_INODE(inode, "eh->eh_entries == 0 and " 314958590b06STheodore Ts'o "EOFBLOCKS_FL set"); 315058590b06STheodore Ts'o return -EIO; 315158590b06STheodore Ts'o } 315258590b06STheodore Ts'o last_ex = EXT_LAST_EXTENT(eh); 315358590b06STheodore Ts'o /* 315458590b06STheodore Ts'o * We should clear the EOFBLOCKS_FL flag if we are writing the 315558590b06STheodore Ts'o * last block in the last extent in the file. We test this by 315658590b06STheodore Ts'o * first checking to see if the caller to 315758590b06STheodore Ts'o * ext4_ext_get_blocks() was interested in the last block (or 315858590b06STheodore Ts'o * a block beyond the last block) in the current extent. If 315958590b06STheodore Ts'o * this turns out to be false, we can bail out from this 316058590b06STheodore Ts'o * function immediately. 316158590b06STheodore Ts'o */ 316258590b06STheodore Ts'o if (map->m_lblk + len < le32_to_cpu(last_ex->ee_block) + 316358590b06STheodore Ts'o ext4_ext_get_actual_len(last_ex)) 316458590b06STheodore Ts'o return 0; 316558590b06STheodore Ts'o /* 316658590b06STheodore Ts'o * If the caller does appear to be planning to write at or 316758590b06STheodore Ts'o * beyond the end of the current extent, we then test to see 316858590b06STheodore Ts'o * if the current extent is the last extent in the file, by 316958590b06STheodore Ts'o * checking to make sure it was reached via the rightmost node 317058590b06STheodore Ts'o * at each level of the tree. 317158590b06STheodore Ts'o */ 317258590b06STheodore Ts'o for (i = depth-1; i >= 0; i--) 317358590b06STheodore Ts'o if (path[i].p_idx != EXT_LAST_INDEX(path[i].p_hdr)) 317458590b06STheodore Ts'o return 0; 317558590b06STheodore Ts'o ext4_clear_inode_flag(inode, EXT4_INODE_EOFBLOCKS); 317658590b06STheodore Ts'o return ext4_mark_inode_dirty(handle, inode); 317758590b06STheodore Ts'o } 317858590b06STheodore Ts'o 31790031462bSMingming Cao static int 31800031462bSMingming Cao ext4_ext_handle_uninitialized_extents(handle_t *handle, struct inode *inode, 3181e35fd660STheodore Ts'o struct ext4_map_blocks *map, 31820031462bSMingming Cao struct ext4_ext_path *path, int flags, 3183e35fd660STheodore Ts'o unsigned int allocated, ext4_fsblk_t newblock) 31840031462bSMingming Cao { 31850031462bSMingming Cao int ret = 0; 31860031462bSMingming Cao int err = 0; 31878d5d02e6SMingming Cao ext4_io_end_t *io = EXT4_I(inode)->cur_aio_dio; 31880031462bSMingming Cao 31890031462bSMingming Cao ext_debug("ext4_ext_handle_uninitialized_extents: inode %lu, logical" 31900031462bSMingming Cao "block %llu, max_blocks %u, flags %d, allocated %u", 3191e35fd660STheodore Ts'o inode->i_ino, (unsigned long long)map->m_lblk, map->m_len, 31920031462bSMingming Cao flags, allocated); 31930031462bSMingming Cao ext4_ext_show_leaf(inode, path); 31940031462bSMingming Cao 3195c7064ef1SJiaying Zhang /* get_block() before submit the IO, split the extent */ 3196744692dcSJiaying Zhang if ((flags & EXT4_GET_BLOCKS_PRE_IO)) { 3197e35fd660STheodore Ts'o ret = ext4_split_unwritten_extents(handle, inode, map, 3198e35fd660STheodore Ts'o path, flags); 31995f524950SMingming /* 32005f524950SMingming * Flag the inode(non aio case) or end_io struct (aio case) 32015f524950SMingming * that this IO needs to convertion to written when IO is 32025f524950SMingming * completed 32035f524950SMingming */ 32048d5d02e6SMingming Cao if (io) 3205bd2d0210STheodore Ts'o io->flag = EXT4_IO_END_UNWRITTEN; 32065f524950SMingming else 320719f5fb7aSTheodore Ts'o ext4_set_inode_state(inode, EXT4_STATE_DIO_UNWRITTEN); 3208744692dcSJiaying Zhang if (ext4_should_dioread_nolock(inode)) 3209e35fd660STheodore Ts'o map->m_flags |= EXT4_MAP_UNINIT; 32100031462bSMingming Cao goto out; 32110031462bSMingming Cao } 3212c7064ef1SJiaying Zhang /* IO end_io complete, convert the filled extent to written */ 3213744692dcSJiaying Zhang if ((flags & EXT4_GET_BLOCKS_CONVERT)) { 3214c7064ef1SJiaying Zhang ret = ext4_convert_unwritten_extents_endio(handle, inode, 32150031462bSMingming Cao path); 321658590b06STheodore Ts'o if (ret >= 0) { 3217b436b9beSJan Kara ext4_update_inode_fsync_trans(handle, inode, 1); 321858590b06STheodore Ts'o err = check_eofblocks_fl(handle, inode, map, path, 321958590b06STheodore Ts'o map->m_len); 322058590b06STheodore Ts'o } else 322158590b06STheodore Ts'o err = ret; 32220031462bSMingming Cao goto out2; 32230031462bSMingming Cao } 32240031462bSMingming Cao /* buffered IO case */ 32250031462bSMingming Cao /* 32260031462bSMingming Cao * repeat fallocate creation request 32270031462bSMingming Cao * we already have an unwritten extent 32280031462bSMingming Cao */ 32290031462bSMingming Cao if (flags & EXT4_GET_BLOCKS_UNINIT_EXT) 32300031462bSMingming Cao goto map_out; 32310031462bSMingming Cao 32320031462bSMingming Cao /* buffered READ or buffered write_begin() lookup */ 32330031462bSMingming Cao if ((flags & EXT4_GET_BLOCKS_CREATE) == 0) { 32340031462bSMingming Cao /* 32350031462bSMingming Cao * We have blocks reserved already. We 32360031462bSMingming Cao * return allocated blocks so that delalloc 32370031462bSMingming Cao * won't do block reservation for us. But 32380031462bSMingming Cao * the buffer head will be unmapped so that 32390031462bSMingming Cao * a read from the block returns 0s. 32400031462bSMingming Cao */ 3241e35fd660STheodore Ts'o map->m_flags |= EXT4_MAP_UNWRITTEN; 32420031462bSMingming Cao goto out1; 32430031462bSMingming Cao } 32440031462bSMingming Cao 32450031462bSMingming Cao /* buffered write, writepage time, convert*/ 3246e35fd660STheodore Ts'o ret = ext4_ext_convert_to_initialized(handle, inode, map, path); 324758590b06STheodore Ts'o if (ret >= 0) { 3248b436b9beSJan Kara ext4_update_inode_fsync_trans(handle, inode, 1); 324958590b06STheodore Ts'o err = check_eofblocks_fl(handle, inode, map, path, map->m_len); 325058590b06STheodore Ts'o if (err < 0) 325158590b06STheodore Ts'o goto out2; 325258590b06STheodore Ts'o } 325358590b06STheodore Ts'o 32540031462bSMingming Cao out: 32550031462bSMingming Cao if (ret <= 0) { 32560031462bSMingming Cao err = ret; 32570031462bSMingming Cao goto out2; 32580031462bSMingming Cao } else 32590031462bSMingming Cao allocated = ret; 3260e35fd660STheodore Ts'o map->m_flags |= EXT4_MAP_NEW; 3261515f41c3SAneesh Kumar K.V /* 3262515f41c3SAneesh Kumar K.V * if we allocated more blocks than requested 3263515f41c3SAneesh Kumar K.V * we need to make sure we unmap the extra block 3264515f41c3SAneesh Kumar K.V * allocated. The actual needed block will get 3265515f41c3SAneesh Kumar K.V * unmapped later when we find the buffer_head marked 3266515f41c3SAneesh Kumar K.V * new. 3267515f41c3SAneesh Kumar K.V */ 3268e35fd660STheodore Ts'o if (allocated > map->m_len) { 3269515f41c3SAneesh Kumar K.V unmap_underlying_metadata_blocks(inode->i_sb->s_bdev, 3270e35fd660STheodore Ts'o newblock + map->m_len, 3271e35fd660STheodore Ts'o allocated - map->m_len); 3272e35fd660STheodore Ts'o allocated = map->m_len; 3273515f41c3SAneesh Kumar K.V } 32745f634d06SAneesh Kumar K.V 32755f634d06SAneesh Kumar K.V /* 32765f634d06SAneesh Kumar K.V * If we have done fallocate with the offset that is already 32775f634d06SAneesh Kumar K.V * delayed allocated, we would have block reservation 32785f634d06SAneesh Kumar K.V * and quota reservation done in the delayed write path. 32795f634d06SAneesh Kumar K.V * But fallocate would have already updated quota and block 32805f634d06SAneesh Kumar K.V * count for this offset. So cancel these reservation 32815f634d06SAneesh Kumar K.V */ 32821296cc85SAneesh Kumar K.V if (flags & EXT4_GET_BLOCKS_DELALLOC_RESERVE) 32835f634d06SAneesh Kumar K.V ext4_da_update_reserve_space(inode, allocated, 0); 32845f634d06SAneesh Kumar K.V 32850031462bSMingming Cao map_out: 3286e35fd660STheodore Ts'o map->m_flags |= EXT4_MAP_MAPPED; 32870031462bSMingming Cao out1: 3288e35fd660STheodore Ts'o if (allocated > map->m_len) 3289e35fd660STheodore Ts'o allocated = map->m_len; 32900031462bSMingming Cao ext4_ext_show_leaf(inode, path); 3291e35fd660STheodore Ts'o map->m_pblk = newblock; 3292e35fd660STheodore Ts'o map->m_len = allocated; 32930031462bSMingming Cao out2: 32940031462bSMingming Cao if (path) { 32950031462bSMingming Cao ext4_ext_drop_refs(path); 32960031462bSMingming Cao kfree(path); 32970031462bSMingming Cao } 32980031462bSMingming Cao return err ? err : allocated; 32990031462bSMingming Cao } 330058590b06STheodore Ts'o 33010031462bSMingming Cao /* 3302f5ab0d1fSMingming Cao * Block allocation/map/preallocation routine for extents based files 3303f5ab0d1fSMingming Cao * 3304f5ab0d1fSMingming Cao * 3305c278bfecSAneesh Kumar K.V * Need to be called with 33060e855ac8SAneesh Kumar K.V * down_read(&EXT4_I(inode)->i_data_sem) if not allocating file system block 33070e855ac8SAneesh Kumar K.V * (ie, create is zero). Otherwise down_write(&EXT4_I(inode)->i_data_sem) 3308f5ab0d1fSMingming Cao * 3309f5ab0d1fSMingming Cao * return > 0, number of of blocks already mapped/allocated 3310f5ab0d1fSMingming Cao * if create == 0 and these are pre-allocated blocks 3311f5ab0d1fSMingming Cao * buffer head is unmapped 3312f5ab0d1fSMingming Cao * otherwise blocks are mapped 3313f5ab0d1fSMingming Cao * 3314f5ab0d1fSMingming Cao * return = 0, if plain look up failed (blocks have not been allocated) 3315f5ab0d1fSMingming Cao * buffer head is unmapped 3316f5ab0d1fSMingming Cao * 3317f5ab0d1fSMingming Cao * return < 0, error case. 3318c278bfecSAneesh Kumar K.V */ 3319e35fd660STheodore Ts'o int ext4_ext_map_blocks(handle_t *handle, struct inode *inode, 3320e35fd660STheodore Ts'o struct ext4_map_blocks *map, int flags) 3321a86c6181SAlex Tomas { 3322a86c6181SAlex Tomas struct ext4_ext_path *path = NULL; 332356055d3aSAmit Arora struct ext4_extent_header *eh; 332458590b06STheodore Ts'o struct ext4_extent newex, *ex; 3325498e5f24STheodore Ts'o ext4_fsblk_t newblock; 332658590b06STheodore Ts'o int err = 0, depth, ret, cache_type; 3327498e5f24STheodore Ts'o unsigned int allocated = 0; 3328c9de560dSAlex Tomas struct ext4_allocation_request ar; 33298d5d02e6SMingming Cao ext4_io_end_t *io = EXT4_I(inode)->cur_aio_dio; 3330a86c6181SAlex Tomas 333184fe3befSMingming ext_debug("blocks %u/%u requested for inode %lu\n", 3332e35fd660STheodore Ts'o map->m_lblk, map->m_len, inode->i_ino); 3333a86c6181SAlex Tomas 3334a86c6181SAlex Tomas /* check in cache */ 3335e35fd660STheodore Ts'o cache_type = ext4_ext_in_cache(inode, map->m_lblk, &newex); 3336498e5f24STheodore Ts'o if (cache_type) { 3337498e5f24STheodore Ts'o if (cache_type == EXT4_EXT_CACHE_GAP) { 3338c2177057STheodore Ts'o if ((flags & EXT4_GET_BLOCKS_CREATE) == 0) { 333956055d3aSAmit Arora /* 334056055d3aSAmit Arora * block isn't allocated yet and 334156055d3aSAmit Arora * user doesn't want to allocate it 334256055d3aSAmit Arora */ 3343a86c6181SAlex Tomas goto out2; 3344a86c6181SAlex Tomas } 3345a86c6181SAlex Tomas /* we should allocate requested block */ 3346498e5f24STheodore Ts'o } else if (cache_type == EXT4_EXT_CACHE_EXTENT) { 3347a86c6181SAlex Tomas /* block is already allocated */ 3348e35fd660STheodore Ts'o newblock = map->m_lblk 3349a86c6181SAlex Tomas - le32_to_cpu(newex.ee_block) 3350f65e6fbaSAlex Tomas + ext_pblock(&newex); 3351d0d856e8SRandy Dunlap /* number of remaining blocks in the extent */ 3352b939e376SAneesh Kumar K.V allocated = ext4_ext_get_actual_len(&newex) - 3353e35fd660STheodore Ts'o (map->m_lblk - le32_to_cpu(newex.ee_block)); 3354a86c6181SAlex Tomas goto out; 3355a86c6181SAlex Tomas } else { 3356a86c6181SAlex Tomas BUG(); 3357a86c6181SAlex Tomas } 3358a86c6181SAlex Tomas } 3359a86c6181SAlex Tomas 3360a86c6181SAlex Tomas /* find extent for this block */ 3361e35fd660STheodore Ts'o path = ext4_ext_find_extent(inode, map->m_lblk, NULL); 3362a86c6181SAlex Tomas if (IS_ERR(path)) { 3363a86c6181SAlex Tomas err = PTR_ERR(path); 3364a86c6181SAlex Tomas path = NULL; 3365a86c6181SAlex Tomas goto out2; 3366a86c6181SAlex Tomas } 3367a86c6181SAlex Tomas 3368a86c6181SAlex Tomas depth = ext_depth(inode); 3369a86c6181SAlex Tomas 3370a86c6181SAlex Tomas /* 3371d0d856e8SRandy Dunlap * consistent leaf must not be empty; 3372d0d856e8SRandy Dunlap * this situation is possible, though, _during_ tree modification; 3373a86c6181SAlex Tomas * this is why assert can't be put in ext4_ext_find_extent() 3374a86c6181SAlex Tomas */ 3375273df556SFrank Mayhar if (unlikely(path[depth].p_ext == NULL && depth != 0)) { 3376273df556SFrank Mayhar EXT4_ERROR_INODE(inode, "bad extent address " 3377f70f362bSTheodore Ts'o "lblock: %lu, depth: %d pblock %lld", 3378f70f362bSTheodore Ts'o (unsigned long) map->m_lblk, depth, 3379f70f362bSTheodore Ts'o path[depth].p_block); 3380034fb4c9SSurbhi Palande err = -EIO; 3381034fb4c9SSurbhi Palande goto out2; 3382034fb4c9SSurbhi Palande } 338356055d3aSAmit Arora eh = path[depth].p_hdr; 3384a86c6181SAlex Tomas 33857e028976SAvantika Mathur ex = path[depth].p_ext; 33867e028976SAvantika Mathur if (ex) { 3387725d26d3SAneesh Kumar K.V ext4_lblk_t ee_block = le32_to_cpu(ex->ee_block); 3388f65e6fbaSAlex Tomas ext4_fsblk_t ee_start = ext_pblock(ex); 3389a2df2a63SAmit Arora unsigned short ee_len; 3390471d4011SSuparna Bhattacharya 3391471d4011SSuparna Bhattacharya /* 3392471d4011SSuparna Bhattacharya * Uninitialized extents are treated as holes, except that 339356055d3aSAmit Arora * we split out initialized portions during a write. 3394471d4011SSuparna Bhattacharya */ 3395a2df2a63SAmit Arora ee_len = ext4_ext_get_actual_len(ex); 3396d0d856e8SRandy Dunlap /* if found extent covers block, simply return it */ 3397e35fd660STheodore Ts'o if (in_range(map->m_lblk, ee_block, ee_len)) { 3398e35fd660STheodore Ts'o newblock = map->m_lblk - ee_block + ee_start; 3399d0d856e8SRandy Dunlap /* number of remaining blocks in the extent */ 3400e35fd660STheodore Ts'o allocated = ee_len - (map->m_lblk - ee_block); 3401e35fd660STheodore Ts'o ext_debug("%u fit into %u:%d -> %llu\n", map->m_lblk, 3402a86c6181SAlex Tomas ee_block, ee_len, newblock); 340356055d3aSAmit Arora 3404a2df2a63SAmit Arora /* Do not put uninitialized extent in the cache */ 340556055d3aSAmit Arora if (!ext4_ext_is_uninitialized(ex)) { 3406a2df2a63SAmit Arora ext4_ext_put_in_cache(inode, ee_block, 3407a2df2a63SAmit Arora ee_len, ee_start, 3408a2df2a63SAmit Arora EXT4_EXT_CACHE_EXTENT); 3409a86c6181SAlex Tomas goto out; 3410a86c6181SAlex Tomas } 34110031462bSMingming Cao ret = ext4_ext_handle_uninitialized_extents(handle, 3412e35fd660STheodore Ts'o inode, map, path, flags, allocated, 3413e35fd660STheodore Ts'o newblock); 34140031462bSMingming Cao return ret; 341556055d3aSAmit Arora } 3416a86c6181SAlex Tomas } 3417a86c6181SAlex Tomas 3418a86c6181SAlex Tomas /* 3419d0d856e8SRandy Dunlap * requested block isn't allocated yet; 3420a86c6181SAlex Tomas * we couldn't try to create block if create flag is zero 3421a86c6181SAlex Tomas */ 3422c2177057STheodore Ts'o if ((flags & EXT4_GET_BLOCKS_CREATE) == 0) { 342356055d3aSAmit Arora /* 342456055d3aSAmit Arora * put just found gap into cache to speed up 342556055d3aSAmit Arora * subsequent requests 342656055d3aSAmit Arora */ 3427e35fd660STheodore Ts'o ext4_ext_put_gap_in_cache(inode, path, map->m_lblk); 3428a86c6181SAlex Tomas goto out2; 3429a86c6181SAlex Tomas } 3430a86c6181SAlex Tomas /* 3431c2ea3fdeSTheodore Ts'o * Okay, we need to do block allocation. 3432a86c6181SAlex Tomas */ 3433a86c6181SAlex Tomas 3434c9de560dSAlex Tomas /* find neighbour allocated blocks */ 3435e35fd660STheodore Ts'o ar.lleft = map->m_lblk; 3436c9de560dSAlex Tomas err = ext4_ext_search_left(inode, path, &ar.lleft, &ar.pleft); 3437c9de560dSAlex Tomas if (err) 3438c9de560dSAlex Tomas goto out2; 3439e35fd660STheodore Ts'o ar.lright = map->m_lblk; 3440c9de560dSAlex Tomas err = ext4_ext_search_right(inode, path, &ar.lright, &ar.pright); 3441c9de560dSAlex Tomas if (err) 3442c9de560dSAlex Tomas goto out2; 344325d14f98SAmit Arora 3444749269faSAmit Arora /* 3445749269faSAmit Arora * See if request is beyond maximum number of blocks we can have in 3446749269faSAmit Arora * a single extent. For an initialized extent this limit is 3447749269faSAmit Arora * EXT_INIT_MAX_LEN and for an uninitialized extent this limit is 3448749269faSAmit Arora * EXT_UNINIT_MAX_LEN. 3449749269faSAmit Arora */ 3450e35fd660STheodore Ts'o if (map->m_len > EXT_INIT_MAX_LEN && 3451c2177057STheodore Ts'o !(flags & EXT4_GET_BLOCKS_UNINIT_EXT)) 3452e35fd660STheodore Ts'o map->m_len = EXT_INIT_MAX_LEN; 3453e35fd660STheodore Ts'o else if (map->m_len > EXT_UNINIT_MAX_LEN && 3454c2177057STheodore Ts'o (flags & EXT4_GET_BLOCKS_UNINIT_EXT)) 3455e35fd660STheodore Ts'o map->m_len = EXT_UNINIT_MAX_LEN; 3456749269faSAmit Arora 3457e35fd660STheodore Ts'o /* Check if we can really insert (m_lblk)::(m_lblk + m_len) extent */ 3458e35fd660STheodore Ts'o newex.ee_block = cpu_to_le32(map->m_lblk); 3459e35fd660STheodore Ts'o newex.ee_len = cpu_to_le16(map->m_len); 346025d14f98SAmit Arora err = ext4_ext_check_overlap(inode, &newex, path); 346125d14f98SAmit Arora if (err) 3462b939e376SAneesh Kumar K.V allocated = ext4_ext_get_actual_len(&newex); 346325d14f98SAmit Arora else 3464e35fd660STheodore Ts'o allocated = map->m_len; 3465c9de560dSAlex Tomas 3466c9de560dSAlex Tomas /* allocate new block */ 3467c9de560dSAlex Tomas ar.inode = inode; 3468e35fd660STheodore Ts'o ar.goal = ext4_ext_find_goal(inode, path, map->m_lblk); 3469e35fd660STheodore Ts'o ar.logical = map->m_lblk; 3470c9de560dSAlex Tomas ar.len = allocated; 3471c9de560dSAlex Tomas if (S_ISREG(inode->i_mode)) 3472c9de560dSAlex Tomas ar.flags = EXT4_MB_HINT_DATA; 3473c9de560dSAlex Tomas else 3474c9de560dSAlex Tomas /* disable in-core preallocation for non-regular files */ 3475c9de560dSAlex Tomas ar.flags = 0; 3476c9de560dSAlex Tomas newblock = ext4_mb_new_blocks(handle, &ar, &err); 3477a86c6181SAlex Tomas if (!newblock) 3478a86c6181SAlex Tomas goto out2; 347984fe3befSMingming ext_debug("allocate new block: goal %llu, found %llu/%u\n", 3480498e5f24STheodore Ts'o ar.goal, newblock, allocated); 3481a86c6181SAlex Tomas 3482a86c6181SAlex Tomas /* try to insert new extent into found leaf and return */ 3483f65e6fbaSAlex Tomas ext4_ext_store_pblock(&newex, newblock); 3484c9de560dSAlex Tomas newex.ee_len = cpu_to_le16(ar.len); 34858d5d02e6SMingming Cao /* Mark uninitialized */ 34868d5d02e6SMingming Cao if (flags & EXT4_GET_BLOCKS_UNINIT_EXT){ 3487a2df2a63SAmit Arora ext4_ext_mark_uninitialized(&newex); 34888d5d02e6SMingming Cao /* 3489744692dcSJiaying Zhang * io_end structure was created for every IO write to an 3490744692dcSJiaying Zhang * uninitialized extent. To avoid unecessary conversion, 3491744692dcSJiaying Zhang * here we flag the IO that really needs the conversion. 34925f524950SMingming * For non asycn direct IO case, flag the inode state 34935f524950SMingming * that we need to perform convertion when IO is done. 34948d5d02e6SMingming Cao */ 3495744692dcSJiaying Zhang if ((flags & EXT4_GET_BLOCKS_PRE_IO)) { 34965f524950SMingming if (io) 3497bd2d0210STheodore Ts'o io->flag = EXT4_IO_END_UNWRITTEN; 34985f524950SMingming else 349919f5fb7aSTheodore Ts'o ext4_set_inode_state(inode, 350019f5fb7aSTheodore Ts'o EXT4_STATE_DIO_UNWRITTEN); 35015f524950SMingming } 3502744692dcSJiaying Zhang if (ext4_should_dioread_nolock(inode)) 3503e35fd660STheodore Ts'o map->m_flags |= EXT4_MAP_UNINIT; 35048d5d02e6SMingming Cao } 3505c8d46e41SJiaying Zhang 350658590b06STheodore Ts'o err = check_eofblocks_fl(handle, inode, map, path, ar.len); 350758590b06STheodore Ts'o if (err) 3508273df556SFrank Mayhar goto out2; 350958590b06STheodore Ts'o 35100031462bSMingming Cao err = ext4_ext_insert_extent(handle, inode, path, &newex, flags); 3511315054f0SAlex Tomas if (err) { 3512315054f0SAlex Tomas /* free data blocks we just allocated */ 3513c9de560dSAlex Tomas /* not a good idea to call discard here directly, 3514c9de560dSAlex Tomas * but otherwise we'd need to call it every free() */ 3515c2ea3fdeSTheodore Ts'o ext4_discard_preallocations(inode); 3516e6362609STheodore Ts'o ext4_free_blocks(handle, inode, 0, ext_pblock(&newex), 3517b939e376SAneesh Kumar K.V ext4_ext_get_actual_len(&newex), 0); 3518a86c6181SAlex Tomas goto out2; 3519315054f0SAlex Tomas } 3520a86c6181SAlex Tomas 3521a86c6181SAlex Tomas /* previous routine could use block we allocated */ 3522f65e6fbaSAlex Tomas newblock = ext_pblock(&newex); 3523b939e376SAneesh Kumar K.V allocated = ext4_ext_get_actual_len(&newex); 3524e35fd660STheodore Ts'o if (allocated > map->m_len) 3525e35fd660STheodore Ts'o allocated = map->m_len; 3526e35fd660STheodore Ts'o map->m_flags |= EXT4_MAP_NEW; 3527a86c6181SAlex Tomas 3528b436b9beSJan Kara /* 35295f634d06SAneesh Kumar K.V * Update reserved blocks/metadata blocks after successful 35305f634d06SAneesh Kumar K.V * block allocation which had been deferred till now. 35315f634d06SAneesh Kumar K.V */ 35321296cc85SAneesh Kumar K.V if (flags & EXT4_GET_BLOCKS_DELALLOC_RESERVE) 35335f634d06SAneesh Kumar K.V ext4_da_update_reserve_space(inode, allocated, 1); 35345f634d06SAneesh Kumar K.V 35355f634d06SAneesh Kumar K.V /* 3536b436b9beSJan Kara * Cache the extent and update transaction to commit on fdatasync only 3537b436b9beSJan Kara * when it is _not_ an uninitialized extent. 3538b436b9beSJan Kara */ 3539b436b9beSJan Kara if ((flags & EXT4_GET_BLOCKS_UNINIT_EXT) == 0) { 3540e35fd660STheodore Ts'o ext4_ext_put_in_cache(inode, map->m_lblk, allocated, newblock, 3541a86c6181SAlex Tomas EXT4_EXT_CACHE_EXTENT); 3542b436b9beSJan Kara ext4_update_inode_fsync_trans(handle, inode, 1); 3543b436b9beSJan Kara } else 3544b436b9beSJan Kara ext4_update_inode_fsync_trans(handle, inode, 0); 3545a86c6181SAlex Tomas out: 3546e35fd660STheodore Ts'o if (allocated > map->m_len) 3547e35fd660STheodore Ts'o allocated = map->m_len; 3548a86c6181SAlex Tomas ext4_ext_show_leaf(inode, path); 3549e35fd660STheodore Ts'o map->m_flags |= EXT4_MAP_MAPPED; 3550e35fd660STheodore Ts'o map->m_pblk = newblock; 3551e35fd660STheodore Ts'o map->m_len = allocated; 3552a86c6181SAlex Tomas out2: 3553a86c6181SAlex Tomas if (path) { 3554a86c6181SAlex Tomas ext4_ext_drop_refs(path); 3555a86c6181SAlex Tomas kfree(path); 3556a86c6181SAlex Tomas } 3557a86c6181SAlex Tomas return err ? err : allocated; 3558a86c6181SAlex Tomas } 3559a86c6181SAlex Tomas 3560cf108bcaSJan Kara void ext4_ext_truncate(struct inode *inode) 3561a86c6181SAlex Tomas { 3562a86c6181SAlex Tomas struct address_space *mapping = inode->i_mapping; 3563a86c6181SAlex Tomas struct super_block *sb = inode->i_sb; 3564725d26d3SAneesh Kumar K.V ext4_lblk_t last_block; 3565a86c6181SAlex Tomas handle_t *handle; 3566a86c6181SAlex Tomas int err = 0; 3567a86c6181SAlex Tomas 3568a86c6181SAlex Tomas /* 3569a86c6181SAlex Tomas * probably first extent we're gonna free will be last in block 3570a86c6181SAlex Tomas */ 3571f3bd1f3fSMingming Cao err = ext4_writepage_trans_blocks(inode); 3572a86c6181SAlex Tomas handle = ext4_journal_start(inode, err); 3573cf108bcaSJan Kara if (IS_ERR(handle)) 3574a86c6181SAlex Tomas return; 3575a86c6181SAlex Tomas 3576cf108bcaSJan Kara if (inode->i_size & (sb->s_blocksize - 1)) 3577cf108bcaSJan Kara ext4_block_truncate_page(handle, mapping, inode->i_size); 3578a86c6181SAlex Tomas 35799ddfc3dcSJan Kara if (ext4_orphan_add(handle, inode)) 35809ddfc3dcSJan Kara goto out_stop; 35819ddfc3dcSJan Kara 35820e855ac8SAneesh Kumar K.V down_write(&EXT4_I(inode)->i_data_sem); 3583a86c6181SAlex Tomas ext4_ext_invalidate_cache(inode); 3584a86c6181SAlex Tomas 3585c2ea3fdeSTheodore Ts'o ext4_discard_preallocations(inode); 3586c9de560dSAlex Tomas 3587a86c6181SAlex Tomas /* 3588d0d856e8SRandy Dunlap * TODO: optimization is possible here. 3589d0d856e8SRandy Dunlap * Probably we need not scan at all, 3590d0d856e8SRandy Dunlap * because page truncation is enough. 3591a86c6181SAlex Tomas */ 3592a86c6181SAlex Tomas 3593a86c6181SAlex Tomas /* we have to know where to truncate from in crash case */ 3594a86c6181SAlex Tomas EXT4_I(inode)->i_disksize = inode->i_size; 3595a86c6181SAlex Tomas ext4_mark_inode_dirty(handle, inode); 3596a86c6181SAlex Tomas 3597a86c6181SAlex Tomas last_block = (inode->i_size + sb->s_blocksize - 1) 3598a86c6181SAlex Tomas >> EXT4_BLOCK_SIZE_BITS(sb); 3599a86c6181SAlex Tomas err = ext4_ext_remove_space(inode, last_block); 3600a86c6181SAlex Tomas 3601a86c6181SAlex Tomas /* In a multi-transaction truncate, we only make the final 360256055d3aSAmit Arora * transaction synchronous. 360356055d3aSAmit Arora */ 3604a86c6181SAlex Tomas if (IS_SYNC(inode)) 36050390131bSFrank Mayhar ext4_handle_sync(handle); 3606a86c6181SAlex Tomas 3607a86c6181SAlex Tomas out_stop: 36089ddfc3dcSJan Kara up_write(&EXT4_I(inode)->i_data_sem); 3609a86c6181SAlex Tomas /* 3610d0d856e8SRandy Dunlap * If this was a simple ftruncate() and the file will remain alive, 3611a86c6181SAlex Tomas * then we need to clear up the orphan record which we created above. 3612a86c6181SAlex Tomas * However, if this was a real unlink then we were called by 3613a86c6181SAlex Tomas * ext4_delete_inode(), and we allow that function to clean up the 3614a86c6181SAlex Tomas * orphan info for us. 3615a86c6181SAlex Tomas */ 3616a86c6181SAlex Tomas if (inode->i_nlink) 3617a86c6181SAlex Tomas ext4_orphan_del(handle, inode); 3618a86c6181SAlex Tomas 3619ef737728SSolofo Ramangalahy inode->i_mtime = inode->i_ctime = ext4_current_time(inode); 3620ef737728SSolofo Ramangalahy ext4_mark_inode_dirty(handle, inode); 3621a86c6181SAlex Tomas ext4_journal_stop(handle); 3622a86c6181SAlex Tomas } 3623a86c6181SAlex Tomas 3624fd28784aSAneesh Kumar K.V static void ext4_falloc_update_inode(struct inode *inode, 3625fd28784aSAneesh Kumar K.V int mode, loff_t new_size, int update_ctime) 3626fd28784aSAneesh Kumar K.V { 3627fd28784aSAneesh Kumar K.V struct timespec now; 3628fd28784aSAneesh Kumar K.V 3629fd28784aSAneesh Kumar K.V if (update_ctime) { 3630fd28784aSAneesh Kumar K.V now = current_fs_time(inode->i_sb); 3631fd28784aSAneesh Kumar K.V if (!timespec_equal(&inode->i_ctime, &now)) 3632fd28784aSAneesh Kumar K.V inode->i_ctime = now; 3633fd28784aSAneesh Kumar K.V } 3634fd28784aSAneesh Kumar K.V /* 3635fd28784aSAneesh Kumar K.V * Update only when preallocation was requested beyond 3636fd28784aSAneesh Kumar K.V * the file size. 3637fd28784aSAneesh Kumar K.V */ 3638cf17fea6SAneesh Kumar K.V if (!(mode & FALLOC_FL_KEEP_SIZE)) { 3639cf17fea6SAneesh Kumar K.V if (new_size > i_size_read(inode)) 3640fd28784aSAneesh Kumar K.V i_size_write(inode, new_size); 3641cf17fea6SAneesh Kumar K.V if (new_size > EXT4_I(inode)->i_disksize) 3642cf17fea6SAneesh Kumar K.V ext4_update_i_disksize(inode, new_size); 3643c8d46e41SJiaying Zhang } else { 3644c8d46e41SJiaying Zhang /* 3645c8d46e41SJiaying Zhang * Mark that we allocate beyond EOF so the subsequent truncate 3646c8d46e41SJiaying Zhang * can proceed even if the new size is the same as i_size. 3647c8d46e41SJiaying Zhang */ 3648c8d46e41SJiaying Zhang if (new_size > i_size_read(inode)) 364912e9b892SDmitry Monakhov ext4_set_inode_flag(inode, EXT4_INODE_EOFBLOCKS); 3650fd28784aSAneesh Kumar K.V } 3651fd28784aSAneesh Kumar K.V 3652fd28784aSAneesh Kumar K.V } 3653fd28784aSAneesh Kumar K.V 3654a2df2a63SAmit Arora /* 3655a2df2a63SAmit Arora * preallocate space for a file. This implements ext4's fallocate inode 3656a2df2a63SAmit Arora * operation, which gets called from sys_fallocate system call. 3657a2df2a63SAmit Arora * For block-mapped files, posix_fallocate should fall back to the method 3658a2df2a63SAmit Arora * of writing zeroes to the required new blocks (the same behavior which is 3659a2df2a63SAmit Arora * expected for file systems which do not support fallocate() system call). 3660a2df2a63SAmit Arora */ 3661a2df2a63SAmit Arora long ext4_fallocate(struct inode *inode, int mode, loff_t offset, loff_t len) 3662a2df2a63SAmit Arora { 3663a2df2a63SAmit Arora handle_t *handle; 3664fd28784aSAneesh Kumar K.V loff_t new_size; 3665498e5f24STheodore Ts'o unsigned int max_blocks; 3666a2df2a63SAmit Arora int ret = 0; 3667a2df2a63SAmit Arora int ret2 = 0; 3668a2df2a63SAmit Arora int retries = 0; 36692ed88685STheodore Ts'o struct ext4_map_blocks map; 3670a2df2a63SAmit Arora unsigned int credits, blkbits = inode->i_blkbits; 3671a2df2a63SAmit Arora 3672a2df2a63SAmit Arora /* 3673a2df2a63SAmit Arora * currently supporting (pre)allocate mode for extent-based 3674a2df2a63SAmit Arora * files _only_ 3675a2df2a63SAmit Arora */ 367612e9b892SDmitry Monakhov if (!(ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS))) 3677a2df2a63SAmit Arora return -EOPNOTSUPP; 3678a2df2a63SAmit Arora 3679a2df2a63SAmit Arora /* preallocation to directories is currently not supported */ 3680a2df2a63SAmit Arora if (S_ISDIR(inode->i_mode)) 3681a2df2a63SAmit Arora return -ENODEV; 3682a2df2a63SAmit Arora 36832ed88685STheodore Ts'o map.m_lblk = offset >> blkbits; 3684fd28784aSAneesh Kumar K.V /* 3685fd28784aSAneesh Kumar K.V * We can't just convert len to max_blocks because 3686fd28784aSAneesh Kumar K.V * If blocksize = 4096 offset = 3072 and len = 2048 3687fd28784aSAneesh Kumar K.V */ 3688a2df2a63SAmit Arora max_blocks = (EXT4_BLOCK_ALIGN(len + offset, blkbits) >> blkbits) 36892ed88685STheodore Ts'o - map.m_lblk; 3690a2df2a63SAmit Arora /* 3691f3bd1f3fSMingming Cao * credits to insert 1 extent into extent tree 3692a2df2a63SAmit Arora */ 3693f3bd1f3fSMingming Cao credits = ext4_chunk_trans_blocks(inode, max_blocks); 369455bd725aSAneesh Kumar K.V mutex_lock(&inode->i_mutex); 36956d19c42bSNikanth Karthikesan ret = inode_newsize_ok(inode, (len + offset)); 36966d19c42bSNikanth Karthikesan if (ret) { 36976d19c42bSNikanth Karthikesan mutex_unlock(&inode->i_mutex); 36986d19c42bSNikanth Karthikesan return ret; 36996d19c42bSNikanth Karthikesan } 3700a2df2a63SAmit Arora retry: 3701a2df2a63SAmit Arora while (ret >= 0 && ret < max_blocks) { 37022ed88685STheodore Ts'o map.m_lblk = map.m_lblk + ret; 37032ed88685STheodore Ts'o map.m_len = max_blocks = max_blocks - ret; 3704a2df2a63SAmit Arora handle = ext4_journal_start(inode, credits); 3705a2df2a63SAmit Arora if (IS_ERR(handle)) { 3706a2df2a63SAmit Arora ret = PTR_ERR(handle); 3707a2df2a63SAmit Arora break; 3708a2df2a63SAmit Arora } 37092ed88685STheodore Ts'o ret = ext4_map_blocks(handle, inode, &map, 3710c2177057STheodore Ts'o EXT4_GET_BLOCKS_CREATE_UNINIT_EXT); 3711221879c9SAneesh Kumar K.V if (ret <= 0) { 37122c98615dSAneesh Kumar K.V #ifdef EXT4FS_DEBUG 37132c98615dSAneesh Kumar K.V WARN_ON(ret <= 0); 3714e35fd660STheodore Ts'o printk(KERN_ERR "%s: ext4_ext_map_blocks " 37152c98615dSAneesh Kumar K.V "returned error inode#%lu, block=%u, " 37169fd9784cSThadeu Lima de Souza Cascardo "max_blocks=%u", __func__, 3717bba90743SEric Sandeen inode->i_ino, block, max_blocks); 37182c98615dSAneesh Kumar K.V #endif 3719a2df2a63SAmit Arora ext4_mark_inode_dirty(handle, inode); 3720a2df2a63SAmit Arora ret2 = ext4_journal_stop(handle); 3721a2df2a63SAmit Arora break; 3722a2df2a63SAmit Arora } 37232ed88685STheodore Ts'o if ((map.m_lblk + ret) >= (EXT4_BLOCK_ALIGN(offset + len, 3724fd28784aSAneesh Kumar K.V blkbits) >> blkbits)) 3725fd28784aSAneesh Kumar K.V new_size = offset + len; 3726fd28784aSAneesh Kumar K.V else 37272ed88685STheodore Ts'o new_size = (map.m_lblk + ret) << blkbits; 3728a2df2a63SAmit Arora 3729fd28784aSAneesh Kumar K.V ext4_falloc_update_inode(inode, mode, new_size, 37302ed88685STheodore Ts'o (map.m_flags & EXT4_MAP_NEW)); 3731a2df2a63SAmit Arora ext4_mark_inode_dirty(handle, inode); 3732a2df2a63SAmit Arora ret2 = ext4_journal_stop(handle); 3733a2df2a63SAmit Arora if (ret2) 3734a2df2a63SAmit Arora break; 3735a2df2a63SAmit Arora } 3736fd28784aSAneesh Kumar K.V if (ret == -ENOSPC && 3737fd28784aSAneesh Kumar K.V ext4_should_retry_alloc(inode->i_sb, &retries)) { 3738fd28784aSAneesh Kumar K.V ret = 0; 3739a2df2a63SAmit Arora goto retry; 3740a2df2a63SAmit Arora } 374155bd725aSAneesh Kumar K.V mutex_unlock(&inode->i_mutex); 3742a2df2a63SAmit Arora return ret > 0 ? ret2 : ret; 3743a2df2a63SAmit Arora } 37446873fa0dSEric Sandeen 37456873fa0dSEric Sandeen /* 37460031462bSMingming Cao * This function convert a range of blocks to written extents 37470031462bSMingming Cao * The caller of this function will pass the start offset and the size. 37480031462bSMingming Cao * all unwritten extents within this range will be converted to 37490031462bSMingming Cao * written extents. 37500031462bSMingming Cao * 37510031462bSMingming Cao * This function is called from the direct IO end io call back 37520031462bSMingming Cao * function, to convert the fallocated extents after IO is completed. 3753109f5565SMingming * Returns 0 on success. 37540031462bSMingming Cao */ 37550031462bSMingming Cao int ext4_convert_unwritten_extents(struct inode *inode, loff_t offset, 3756a1de02dcSEric Sandeen ssize_t len) 37570031462bSMingming Cao { 37580031462bSMingming Cao handle_t *handle; 37590031462bSMingming Cao unsigned int max_blocks; 37600031462bSMingming Cao int ret = 0; 37610031462bSMingming Cao int ret2 = 0; 37622ed88685STheodore Ts'o struct ext4_map_blocks map; 37630031462bSMingming Cao unsigned int credits, blkbits = inode->i_blkbits; 37640031462bSMingming Cao 37652ed88685STheodore Ts'o map.m_lblk = offset >> blkbits; 37660031462bSMingming Cao /* 37670031462bSMingming Cao * We can't just convert len to max_blocks because 37680031462bSMingming Cao * If blocksize = 4096 offset = 3072 and len = 2048 37690031462bSMingming Cao */ 37702ed88685STheodore Ts'o max_blocks = ((EXT4_BLOCK_ALIGN(len + offset, blkbits) >> blkbits) - 37712ed88685STheodore Ts'o map.m_lblk); 37720031462bSMingming Cao /* 37730031462bSMingming Cao * credits to insert 1 extent into extent tree 37740031462bSMingming Cao */ 37750031462bSMingming Cao credits = ext4_chunk_trans_blocks(inode, max_blocks); 37760031462bSMingming Cao while (ret >= 0 && ret < max_blocks) { 37772ed88685STheodore Ts'o map.m_lblk += ret; 37782ed88685STheodore Ts'o map.m_len = (max_blocks -= ret); 37790031462bSMingming Cao handle = ext4_journal_start(inode, credits); 37800031462bSMingming Cao if (IS_ERR(handle)) { 37810031462bSMingming Cao ret = PTR_ERR(handle); 37820031462bSMingming Cao break; 37830031462bSMingming Cao } 37842ed88685STheodore Ts'o ret = ext4_map_blocks(handle, inode, &map, 3785c7064ef1SJiaying Zhang EXT4_GET_BLOCKS_IO_CONVERT_EXT); 37860031462bSMingming Cao if (ret <= 0) { 37870031462bSMingming Cao WARN_ON(ret <= 0); 3788e35fd660STheodore Ts'o printk(KERN_ERR "%s: ext4_ext_map_blocks " 37890031462bSMingming Cao "returned error inode#%lu, block=%u, " 37900031462bSMingming Cao "max_blocks=%u", __func__, 37912ed88685STheodore Ts'o inode->i_ino, map.m_lblk, map.m_len); 37920031462bSMingming Cao } 37930031462bSMingming Cao ext4_mark_inode_dirty(handle, inode); 37940031462bSMingming Cao ret2 = ext4_journal_stop(handle); 37950031462bSMingming Cao if (ret <= 0 || ret2 ) 37960031462bSMingming Cao break; 37970031462bSMingming Cao } 37980031462bSMingming Cao return ret > 0 ? ret2 : ret; 37990031462bSMingming Cao } 38000031462bSMingming Cao /* 38016873fa0dSEric Sandeen * Callback function called for each extent to gather FIEMAP information. 38026873fa0dSEric Sandeen */ 38033a06d778SAneesh Kumar K.V static int ext4_ext_fiemap_cb(struct inode *inode, struct ext4_ext_path *path, 38046873fa0dSEric Sandeen struct ext4_ext_cache *newex, struct ext4_extent *ex, 38056873fa0dSEric Sandeen void *data) 38066873fa0dSEric Sandeen { 38076873fa0dSEric Sandeen struct fiemap_extent_info *fieinfo = data; 3808c9877b20SEric Sandeen unsigned char blksize_bits = inode->i_sb->s_blocksize_bits; 38096873fa0dSEric Sandeen __u64 logical; 38106873fa0dSEric Sandeen __u64 physical; 38116873fa0dSEric Sandeen __u64 length; 38126873fa0dSEric Sandeen __u32 flags = 0; 38136873fa0dSEric Sandeen int error; 38146873fa0dSEric Sandeen 38156873fa0dSEric Sandeen logical = (__u64)newex->ec_block << blksize_bits; 38166873fa0dSEric Sandeen 38176873fa0dSEric Sandeen if (newex->ec_type == EXT4_EXT_CACHE_GAP) { 38186873fa0dSEric Sandeen pgoff_t offset; 38196873fa0dSEric Sandeen struct page *page; 38206873fa0dSEric Sandeen struct buffer_head *bh = NULL; 38216873fa0dSEric Sandeen 38226873fa0dSEric Sandeen offset = logical >> PAGE_SHIFT; 38236873fa0dSEric Sandeen page = find_get_page(inode->i_mapping, offset); 38246873fa0dSEric Sandeen if (!page || !page_has_buffers(page)) 38256873fa0dSEric Sandeen return EXT_CONTINUE; 38266873fa0dSEric Sandeen 38276873fa0dSEric Sandeen bh = page_buffers(page); 38286873fa0dSEric Sandeen 38296873fa0dSEric Sandeen if (!bh) 38306873fa0dSEric Sandeen return EXT_CONTINUE; 38316873fa0dSEric Sandeen 38326873fa0dSEric Sandeen if (buffer_delay(bh)) { 38336873fa0dSEric Sandeen flags |= FIEMAP_EXTENT_DELALLOC; 38346873fa0dSEric Sandeen page_cache_release(page); 38356873fa0dSEric Sandeen } else { 38366873fa0dSEric Sandeen page_cache_release(page); 38376873fa0dSEric Sandeen return EXT_CONTINUE; 38386873fa0dSEric Sandeen } 38396873fa0dSEric Sandeen } 38406873fa0dSEric Sandeen 38416873fa0dSEric Sandeen physical = (__u64)newex->ec_start << blksize_bits; 38426873fa0dSEric Sandeen length = (__u64)newex->ec_len << blksize_bits; 38436873fa0dSEric Sandeen 38446873fa0dSEric Sandeen if (ex && ext4_ext_is_uninitialized(ex)) 38456873fa0dSEric Sandeen flags |= FIEMAP_EXTENT_UNWRITTEN; 38466873fa0dSEric Sandeen 38476873fa0dSEric Sandeen /* 38486873fa0dSEric Sandeen * If this extent reaches EXT_MAX_BLOCK, it must be last. 38496873fa0dSEric Sandeen * 38506873fa0dSEric Sandeen * Or if ext4_ext_next_allocated_block is EXT_MAX_BLOCK, 38516873fa0dSEric Sandeen * this also indicates no more allocated blocks. 38526873fa0dSEric Sandeen * 38536873fa0dSEric Sandeen * XXX this might miss a single-block extent at EXT_MAX_BLOCK 38546873fa0dSEric Sandeen */ 3855c9877b20SEric Sandeen if (ext4_ext_next_allocated_block(path) == EXT_MAX_BLOCK || 3856eefd7f03STheodore Ts'o newex->ec_block + newex->ec_len - 1 == EXT_MAX_BLOCK) { 3857eefd7f03STheodore Ts'o loff_t size = i_size_read(inode); 3858eefd7f03STheodore Ts'o loff_t bs = EXT4_BLOCK_SIZE(inode->i_sb); 3859eefd7f03STheodore Ts'o 38606873fa0dSEric Sandeen flags |= FIEMAP_EXTENT_LAST; 3861eefd7f03STheodore Ts'o if ((flags & FIEMAP_EXTENT_DELALLOC) && 3862eefd7f03STheodore Ts'o logical+length > size) 3863eefd7f03STheodore Ts'o length = (size - logical + bs - 1) & ~(bs-1); 3864eefd7f03STheodore Ts'o } 38656873fa0dSEric Sandeen 38666873fa0dSEric Sandeen error = fiemap_fill_next_extent(fieinfo, logical, physical, 38676873fa0dSEric Sandeen length, flags); 38686873fa0dSEric Sandeen if (error < 0) 38696873fa0dSEric Sandeen return error; 38706873fa0dSEric Sandeen if (error == 1) 38716873fa0dSEric Sandeen return EXT_BREAK; 38726873fa0dSEric Sandeen 38736873fa0dSEric Sandeen return EXT_CONTINUE; 38746873fa0dSEric Sandeen } 38756873fa0dSEric Sandeen 38766873fa0dSEric Sandeen /* fiemap flags we can handle specified here */ 38776873fa0dSEric Sandeen #define EXT4_FIEMAP_FLAGS (FIEMAP_FLAG_SYNC|FIEMAP_FLAG_XATTR) 38786873fa0dSEric Sandeen 38793a06d778SAneesh Kumar K.V static int ext4_xattr_fiemap(struct inode *inode, 38803a06d778SAneesh Kumar K.V struct fiemap_extent_info *fieinfo) 38816873fa0dSEric Sandeen { 38826873fa0dSEric Sandeen __u64 physical = 0; 38836873fa0dSEric Sandeen __u64 length; 38846873fa0dSEric Sandeen __u32 flags = FIEMAP_EXTENT_LAST; 38856873fa0dSEric Sandeen int blockbits = inode->i_sb->s_blocksize_bits; 38866873fa0dSEric Sandeen int error = 0; 38876873fa0dSEric Sandeen 38886873fa0dSEric Sandeen /* in-inode? */ 388919f5fb7aSTheodore Ts'o if (ext4_test_inode_state(inode, EXT4_STATE_XATTR)) { 38906873fa0dSEric Sandeen struct ext4_iloc iloc; 38916873fa0dSEric Sandeen int offset; /* offset of xattr in inode */ 38926873fa0dSEric Sandeen 38936873fa0dSEric Sandeen error = ext4_get_inode_loc(inode, &iloc); 38946873fa0dSEric Sandeen if (error) 38956873fa0dSEric Sandeen return error; 38966873fa0dSEric Sandeen physical = iloc.bh->b_blocknr << blockbits; 38976873fa0dSEric Sandeen offset = EXT4_GOOD_OLD_INODE_SIZE + 38986873fa0dSEric Sandeen EXT4_I(inode)->i_extra_isize; 38996873fa0dSEric Sandeen physical += offset; 39006873fa0dSEric Sandeen length = EXT4_SB(inode->i_sb)->s_inode_size - offset; 39016873fa0dSEric Sandeen flags |= FIEMAP_EXTENT_DATA_INLINE; 3902fd2dd9fbSCurt Wohlgemuth brelse(iloc.bh); 39036873fa0dSEric Sandeen } else { /* external block */ 39046873fa0dSEric Sandeen physical = EXT4_I(inode)->i_file_acl << blockbits; 39056873fa0dSEric Sandeen length = inode->i_sb->s_blocksize; 39066873fa0dSEric Sandeen } 39076873fa0dSEric Sandeen 39086873fa0dSEric Sandeen if (physical) 39096873fa0dSEric Sandeen error = fiemap_fill_next_extent(fieinfo, 0, physical, 39106873fa0dSEric Sandeen length, flags); 39116873fa0dSEric Sandeen return (error < 0 ? error : 0); 39126873fa0dSEric Sandeen } 39136873fa0dSEric Sandeen 39146873fa0dSEric Sandeen int ext4_fiemap(struct inode *inode, struct fiemap_extent_info *fieinfo, 39156873fa0dSEric Sandeen __u64 start, __u64 len) 39166873fa0dSEric Sandeen { 39176873fa0dSEric Sandeen ext4_lblk_t start_blk; 39186873fa0dSEric Sandeen int error = 0; 39196873fa0dSEric Sandeen 39206873fa0dSEric Sandeen /* fallback to generic here if not in extents fmt */ 392112e9b892SDmitry Monakhov if (!(ext4_test_inode_flag(inode, EXT4_INODE_EXTENTS))) 39226873fa0dSEric Sandeen return generic_block_fiemap(inode, fieinfo, start, len, 39236873fa0dSEric Sandeen ext4_get_block); 39246873fa0dSEric Sandeen 39256873fa0dSEric Sandeen if (fiemap_check_flags(fieinfo, EXT4_FIEMAP_FLAGS)) 39266873fa0dSEric Sandeen return -EBADR; 39276873fa0dSEric Sandeen 39286873fa0dSEric Sandeen if (fieinfo->fi_flags & FIEMAP_FLAG_XATTR) { 39296873fa0dSEric Sandeen error = ext4_xattr_fiemap(inode, fieinfo); 39306873fa0dSEric Sandeen } else { 3931aca92ff6SLeonard Michlmayr ext4_lblk_t len_blks; 3932aca92ff6SLeonard Michlmayr __u64 last_blk; 3933aca92ff6SLeonard Michlmayr 39346873fa0dSEric Sandeen start_blk = start >> inode->i_sb->s_blocksize_bits; 3935aca92ff6SLeonard Michlmayr last_blk = (start + len - 1) >> inode->i_sb->s_blocksize_bits; 3936aca92ff6SLeonard Michlmayr if (last_blk >= EXT_MAX_BLOCK) 3937aca92ff6SLeonard Michlmayr last_blk = EXT_MAX_BLOCK-1; 3938aca92ff6SLeonard Michlmayr len_blks = ((ext4_lblk_t) last_blk) - start_blk + 1; 39396873fa0dSEric Sandeen 39406873fa0dSEric Sandeen /* 39416873fa0dSEric Sandeen * Walk the extent tree gathering extent information. 39426873fa0dSEric Sandeen * ext4_ext_fiemap_cb will push extents back to user. 39436873fa0dSEric Sandeen */ 39446873fa0dSEric Sandeen error = ext4_ext_walk_space(inode, start_blk, len_blks, 39456873fa0dSEric Sandeen ext4_ext_fiemap_cb, fieinfo); 39466873fa0dSEric Sandeen } 39476873fa0dSEric Sandeen 39486873fa0dSEric Sandeen return error; 39496873fa0dSEric Sandeen } 39506873fa0dSEric Sandeen 3951