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> 35a86c6181SAlex Tomas #include <linux/ext4_jbd2.h> 36a86c6181SAlex Tomas #include <linux/jbd.h> 37a86c6181SAlex Tomas #include <linux/smp_lock.h> 38a86c6181SAlex Tomas #include <linux/highuid.h> 39a86c6181SAlex Tomas #include <linux/pagemap.h> 40a86c6181SAlex Tomas #include <linux/quotaops.h> 41a86c6181SAlex Tomas #include <linux/string.h> 42a86c6181SAlex Tomas #include <linux/slab.h> 43a86c6181SAlex Tomas #include <linux/ext4_fs_extents.h> 44a86c6181SAlex Tomas #include <asm/uaccess.h> 45a86c6181SAlex Tomas 46a86c6181SAlex Tomas 47d0d856e8SRandy Dunlap /* 48d0d856e8SRandy Dunlap * ext_pblock: 49d0d856e8SRandy Dunlap * combine low and high parts of physical block number into ext4_fsblk_t 50d0d856e8SRandy Dunlap */ 51f65e6fbaSAlex Tomas static inline ext4_fsblk_t ext_pblock(struct ext4_extent *ex) 52f65e6fbaSAlex Tomas { 53f65e6fbaSAlex Tomas ext4_fsblk_t block; 54f65e6fbaSAlex Tomas 55f65e6fbaSAlex Tomas block = le32_to_cpu(ex->ee_start); 56f65e6fbaSAlex Tomas block |= ((ext4_fsblk_t) le16_to_cpu(ex->ee_start_hi) << 31) << 1; 57f65e6fbaSAlex Tomas return block; 58f65e6fbaSAlex Tomas } 59f65e6fbaSAlex Tomas 60d0d856e8SRandy Dunlap /* 61d0d856e8SRandy Dunlap * idx_pblock: 62d0d856e8SRandy Dunlap * combine low and high parts of a leaf physical block number into ext4_fsblk_t 63d0d856e8SRandy Dunlap */ 64f65e6fbaSAlex Tomas static inline ext4_fsblk_t idx_pblock(struct ext4_extent_idx *ix) 65f65e6fbaSAlex Tomas { 66f65e6fbaSAlex Tomas ext4_fsblk_t block; 67f65e6fbaSAlex Tomas 68f65e6fbaSAlex Tomas block = le32_to_cpu(ix->ei_leaf); 69f65e6fbaSAlex Tomas block |= ((ext4_fsblk_t) le16_to_cpu(ix->ei_leaf_hi) << 31) << 1; 70f65e6fbaSAlex Tomas return block; 71f65e6fbaSAlex Tomas } 72f65e6fbaSAlex Tomas 73d0d856e8SRandy Dunlap /* 74d0d856e8SRandy Dunlap * ext4_ext_store_pblock: 75d0d856e8SRandy Dunlap * stores a large physical block number into an extent struct, 76d0d856e8SRandy Dunlap * breaking it into parts 77d0d856e8SRandy Dunlap */ 78f65e6fbaSAlex Tomas static inline void ext4_ext_store_pblock(struct ext4_extent *ex, ext4_fsblk_t pb) 79f65e6fbaSAlex Tomas { 80f65e6fbaSAlex Tomas ex->ee_start = cpu_to_le32((unsigned long) (pb & 0xffffffff)); 81f65e6fbaSAlex Tomas ex->ee_start_hi = cpu_to_le16((unsigned long) ((pb >> 31) >> 1) & 0xffff); 82f65e6fbaSAlex Tomas } 83f65e6fbaSAlex Tomas 84d0d856e8SRandy Dunlap /* 85d0d856e8SRandy Dunlap * ext4_idx_store_pblock: 86d0d856e8SRandy Dunlap * stores a large physical block number into an index struct, 87d0d856e8SRandy Dunlap * breaking it into parts 88d0d856e8SRandy Dunlap */ 89f65e6fbaSAlex Tomas static inline void ext4_idx_store_pblock(struct ext4_extent_idx *ix, ext4_fsblk_t pb) 90f65e6fbaSAlex Tomas { 91f65e6fbaSAlex Tomas ix->ei_leaf = cpu_to_le32((unsigned long) (pb & 0xffffffff)); 92f65e6fbaSAlex Tomas ix->ei_leaf_hi = cpu_to_le16((unsigned long) ((pb >> 31) >> 1) & 0xffff); 93f65e6fbaSAlex Tomas } 94f65e6fbaSAlex Tomas 95a86c6181SAlex Tomas static int ext4_ext_check_header(const char *function, struct inode *inode, 96a86c6181SAlex Tomas struct ext4_extent_header *eh) 97a86c6181SAlex Tomas { 98a86c6181SAlex Tomas const char *error_msg = NULL; 99a86c6181SAlex Tomas 100a86c6181SAlex Tomas if (unlikely(eh->eh_magic != EXT4_EXT_MAGIC)) { 101a86c6181SAlex Tomas error_msg = "invalid magic"; 102a86c6181SAlex Tomas goto corrupted; 103a86c6181SAlex Tomas } 104a86c6181SAlex Tomas if (unlikely(eh->eh_max == 0)) { 105a86c6181SAlex Tomas error_msg = "invalid eh_max"; 106a86c6181SAlex Tomas goto corrupted; 107a86c6181SAlex Tomas } 108a86c6181SAlex Tomas if (unlikely(le16_to_cpu(eh->eh_entries) > le16_to_cpu(eh->eh_max))) { 109a86c6181SAlex Tomas error_msg = "invalid eh_entries"; 110a86c6181SAlex Tomas goto corrupted; 111a86c6181SAlex Tomas } 112a86c6181SAlex Tomas return 0; 113a86c6181SAlex Tomas 114a86c6181SAlex Tomas corrupted: 115a86c6181SAlex Tomas ext4_error(inode->i_sb, function, 116a86c6181SAlex Tomas "bad header in inode #%lu: %s - magic %x, " 117a86c6181SAlex Tomas "entries %u, max %u, depth %u", 118a86c6181SAlex Tomas inode->i_ino, error_msg, le16_to_cpu(eh->eh_magic), 119a86c6181SAlex Tomas le16_to_cpu(eh->eh_entries), le16_to_cpu(eh->eh_max), 120a86c6181SAlex Tomas le16_to_cpu(eh->eh_depth)); 121a86c6181SAlex Tomas 122a86c6181SAlex Tomas return -EIO; 123a86c6181SAlex Tomas } 124a86c6181SAlex Tomas 125a86c6181SAlex Tomas static handle_t *ext4_ext_journal_restart(handle_t *handle, int needed) 126a86c6181SAlex Tomas { 127a86c6181SAlex Tomas int err; 128a86c6181SAlex Tomas 129a86c6181SAlex Tomas if (handle->h_buffer_credits > needed) 130a86c6181SAlex Tomas return handle; 131a86c6181SAlex Tomas if (!ext4_journal_extend(handle, needed)) 132a86c6181SAlex Tomas return handle; 133a86c6181SAlex Tomas err = ext4_journal_restart(handle, needed); 134a86c6181SAlex Tomas 135a86c6181SAlex Tomas return handle; 136a86c6181SAlex Tomas } 137a86c6181SAlex Tomas 138a86c6181SAlex Tomas /* 139a86c6181SAlex Tomas * could return: 140a86c6181SAlex Tomas * - EROFS 141a86c6181SAlex Tomas * - ENOMEM 142a86c6181SAlex Tomas */ 143a86c6181SAlex Tomas static int ext4_ext_get_access(handle_t *handle, struct inode *inode, 144a86c6181SAlex Tomas struct ext4_ext_path *path) 145a86c6181SAlex Tomas { 146a86c6181SAlex Tomas if (path->p_bh) { 147a86c6181SAlex Tomas /* path points to block */ 148a86c6181SAlex Tomas return ext4_journal_get_write_access(handle, path->p_bh); 149a86c6181SAlex Tomas } 150a86c6181SAlex Tomas /* path points to leaf/index in inode body */ 151a86c6181SAlex Tomas /* we use in-core data, no need to protect them */ 152a86c6181SAlex Tomas return 0; 153a86c6181SAlex Tomas } 154a86c6181SAlex Tomas 155a86c6181SAlex Tomas /* 156a86c6181SAlex Tomas * could return: 157a86c6181SAlex Tomas * - EROFS 158a86c6181SAlex Tomas * - ENOMEM 159a86c6181SAlex Tomas * - EIO 160a86c6181SAlex Tomas */ 161a86c6181SAlex Tomas static int ext4_ext_dirty(handle_t *handle, struct inode *inode, 162a86c6181SAlex Tomas struct ext4_ext_path *path) 163a86c6181SAlex Tomas { 164a86c6181SAlex Tomas int err; 165a86c6181SAlex Tomas if (path->p_bh) { 166a86c6181SAlex Tomas /* path points to block */ 167a86c6181SAlex Tomas err = ext4_journal_dirty_metadata(handle, path->p_bh); 168a86c6181SAlex Tomas } else { 169a86c6181SAlex Tomas /* path points to leaf/index in inode body */ 170a86c6181SAlex Tomas err = ext4_mark_inode_dirty(handle, inode); 171a86c6181SAlex Tomas } 172a86c6181SAlex Tomas return err; 173a86c6181SAlex Tomas } 174a86c6181SAlex Tomas 175f65e6fbaSAlex Tomas static ext4_fsblk_t ext4_ext_find_goal(struct inode *inode, 176a86c6181SAlex Tomas struct ext4_ext_path *path, 177f65e6fbaSAlex Tomas ext4_fsblk_t block) 178a86c6181SAlex Tomas { 179a86c6181SAlex Tomas struct ext4_inode_info *ei = EXT4_I(inode); 180f65e6fbaSAlex Tomas ext4_fsblk_t bg_start; 181f65e6fbaSAlex Tomas ext4_grpblk_t colour; 182a86c6181SAlex Tomas int depth; 183a86c6181SAlex Tomas 184a86c6181SAlex Tomas if (path) { 185a86c6181SAlex Tomas struct ext4_extent *ex; 186a86c6181SAlex Tomas depth = path->p_depth; 187a86c6181SAlex Tomas 188a86c6181SAlex Tomas /* try to predict block placement */ 1897e028976SAvantika Mathur ex = path[depth].p_ext; 1907e028976SAvantika Mathur if (ex) 191f65e6fbaSAlex Tomas return ext_pblock(ex)+(block-le32_to_cpu(ex->ee_block)); 192a86c6181SAlex Tomas 193d0d856e8SRandy Dunlap /* it looks like index is empty; 194d0d856e8SRandy Dunlap * try to find starting block from index itself */ 195a86c6181SAlex Tomas if (path[depth].p_bh) 196a86c6181SAlex Tomas return path[depth].p_bh->b_blocknr; 197a86c6181SAlex Tomas } 198a86c6181SAlex Tomas 199a86c6181SAlex Tomas /* OK. use inode's group */ 200a86c6181SAlex Tomas bg_start = (ei->i_block_group * EXT4_BLOCKS_PER_GROUP(inode->i_sb)) + 201a86c6181SAlex Tomas le32_to_cpu(EXT4_SB(inode->i_sb)->s_es->s_first_data_block); 202a86c6181SAlex Tomas colour = (current->pid % 16) * 203a86c6181SAlex Tomas (EXT4_BLOCKS_PER_GROUP(inode->i_sb) / 16); 204a86c6181SAlex Tomas return bg_start + colour + block; 205a86c6181SAlex Tomas } 206a86c6181SAlex Tomas 207f65e6fbaSAlex Tomas static ext4_fsblk_t 208a86c6181SAlex Tomas ext4_ext_new_block(handle_t *handle, struct inode *inode, 209a86c6181SAlex Tomas struct ext4_ext_path *path, 210a86c6181SAlex Tomas struct ext4_extent *ex, int *err) 211a86c6181SAlex Tomas { 212f65e6fbaSAlex Tomas ext4_fsblk_t goal, newblock; 213a86c6181SAlex Tomas 214a86c6181SAlex Tomas goal = ext4_ext_find_goal(inode, path, le32_to_cpu(ex->ee_block)); 215a86c6181SAlex Tomas newblock = ext4_new_block(handle, inode, goal, err); 216a86c6181SAlex Tomas return newblock; 217a86c6181SAlex Tomas } 218a86c6181SAlex Tomas 219a86c6181SAlex Tomas static inline int ext4_ext_space_block(struct inode *inode) 220a86c6181SAlex Tomas { 221a86c6181SAlex Tomas int size; 222a86c6181SAlex Tomas 223a86c6181SAlex Tomas size = (inode->i_sb->s_blocksize - sizeof(struct ext4_extent_header)) 224a86c6181SAlex Tomas / sizeof(struct ext4_extent); 225a86c6181SAlex Tomas #ifdef AGRESSIVE_TEST 226a86c6181SAlex Tomas if (size > 6) 227a86c6181SAlex Tomas size = 6; 228a86c6181SAlex Tomas #endif 229a86c6181SAlex Tomas return size; 230a86c6181SAlex Tomas } 231a86c6181SAlex Tomas 232a86c6181SAlex Tomas static inline int ext4_ext_space_block_idx(struct inode *inode) 233a86c6181SAlex Tomas { 234a86c6181SAlex Tomas int size; 235a86c6181SAlex Tomas 236a86c6181SAlex Tomas size = (inode->i_sb->s_blocksize - sizeof(struct ext4_extent_header)) 237a86c6181SAlex Tomas / sizeof(struct ext4_extent_idx); 238a86c6181SAlex Tomas #ifdef AGRESSIVE_TEST 239a86c6181SAlex Tomas if (size > 5) 240a86c6181SAlex Tomas size = 5; 241a86c6181SAlex Tomas #endif 242a86c6181SAlex Tomas return size; 243a86c6181SAlex Tomas } 244a86c6181SAlex Tomas 245a86c6181SAlex Tomas static inline int ext4_ext_space_root(struct inode *inode) 246a86c6181SAlex Tomas { 247a86c6181SAlex Tomas int size; 248a86c6181SAlex Tomas 249a86c6181SAlex Tomas size = sizeof(EXT4_I(inode)->i_data); 250a86c6181SAlex Tomas size -= sizeof(struct ext4_extent_header); 251a86c6181SAlex Tomas size /= sizeof(struct ext4_extent); 252a86c6181SAlex Tomas #ifdef AGRESSIVE_TEST 253a86c6181SAlex Tomas if (size > 3) 254a86c6181SAlex Tomas size = 3; 255a86c6181SAlex Tomas #endif 256a86c6181SAlex Tomas return size; 257a86c6181SAlex Tomas } 258a86c6181SAlex Tomas 259a86c6181SAlex Tomas static inline int ext4_ext_space_root_idx(struct inode *inode) 260a86c6181SAlex Tomas { 261a86c6181SAlex Tomas int size; 262a86c6181SAlex Tomas 263a86c6181SAlex Tomas size = sizeof(EXT4_I(inode)->i_data); 264a86c6181SAlex Tomas size -= sizeof(struct ext4_extent_header); 265a86c6181SAlex Tomas size /= sizeof(struct ext4_extent_idx); 266a86c6181SAlex Tomas #ifdef AGRESSIVE_TEST 267a86c6181SAlex Tomas if (size > 4) 268a86c6181SAlex Tomas size = 4; 269a86c6181SAlex Tomas #endif 270a86c6181SAlex Tomas return size; 271a86c6181SAlex Tomas } 272a86c6181SAlex Tomas 273a86c6181SAlex Tomas #ifdef EXT_DEBUG 274a86c6181SAlex Tomas static void ext4_ext_show_path(struct inode *inode, struct ext4_ext_path *path) 275a86c6181SAlex Tomas { 276a86c6181SAlex Tomas int k, l = path->p_depth; 277a86c6181SAlex Tomas 278a86c6181SAlex Tomas ext_debug("path:"); 279a86c6181SAlex Tomas for (k = 0; k <= l; k++, path++) { 280a86c6181SAlex Tomas if (path->p_idx) { 2812ae02107SMingming Cao ext_debug(" %d->%llu", le32_to_cpu(path->p_idx->ei_block), 282f65e6fbaSAlex Tomas idx_pblock(path->p_idx)); 283a86c6181SAlex Tomas } else if (path->p_ext) { 2842ae02107SMingming Cao ext_debug(" %d:%d:%llu ", 285a86c6181SAlex Tomas le32_to_cpu(path->p_ext->ee_block), 286a86c6181SAlex Tomas le16_to_cpu(path->p_ext->ee_len), 287f65e6fbaSAlex Tomas ext_pblock(path->p_ext)); 288a86c6181SAlex Tomas } else 289a86c6181SAlex Tomas ext_debug(" []"); 290a86c6181SAlex Tomas } 291a86c6181SAlex Tomas ext_debug("\n"); 292a86c6181SAlex Tomas } 293a86c6181SAlex Tomas 294a86c6181SAlex Tomas static void ext4_ext_show_leaf(struct inode *inode, struct ext4_ext_path *path) 295a86c6181SAlex Tomas { 296a86c6181SAlex Tomas int depth = ext_depth(inode); 297a86c6181SAlex Tomas struct ext4_extent_header *eh; 298a86c6181SAlex Tomas struct ext4_extent *ex; 299a86c6181SAlex Tomas int i; 300a86c6181SAlex Tomas 301a86c6181SAlex Tomas if (!path) 302a86c6181SAlex Tomas return; 303a86c6181SAlex Tomas 304a86c6181SAlex Tomas eh = path[depth].p_hdr; 305a86c6181SAlex Tomas ex = EXT_FIRST_EXTENT(eh); 306a86c6181SAlex Tomas 307a86c6181SAlex Tomas for (i = 0; i < le16_to_cpu(eh->eh_entries); i++, ex++) { 3082ae02107SMingming Cao ext_debug("%d:%d:%llu ", le32_to_cpu(ex->ee_block), 309f65e6fbaSAlex Tomas le16_to_cpu(ex->ee_len), ext_pblock(ex)); 310a86c6181SAlex Tomas } 311a86c6181SAlex Tomas ext_debug("\n"); 312a86c6181SAlex Tomas } 313a86c6181SAlex Tomas #else 314a86c6181SAlex Tomas #define ext4_ext_show_path(inode,path) 315a86c6181SAlex Tomas #define ext4_ext_show_leaf(inode,path) 316a86c6181SAlex Tomas #endif 317a86c6181SAlex Tomas 318a86c6181SAlex Tomas static void ext4_ext_drop_refs(struct ext4_ext_path *path) 319a86c6181SAlex Tomas { 320a86c6181SAlex Tomas int depth = path->p_depth; 321a86c6181SAlex Tomas int i; 322a86c6181SAlex Tomas 323a86c6181SAlex Tomas for (i = 0; i <= depth; i++, path++) 324a86c6181SAlex Tomas if (path->p_bh) { 325a86c6181SAlex Tomas brelse(path->p_bh); 326a86c6181SAlex Tomas path->p_bh = NULL; 327a86c6181SAlex Tomas } 328a86c6181SAlex Tomas } 329a86c6181SAlex Tomas 330a86c6181SAlex Tomas /* 331d0d856e8SRandy Dunlap * ext4_ext_binsearch_idx: 332d0d856e8SRandy Dunlap * binary search for the closest index of the given block 333a86c6181SAlex Tomas */ 334a86c6181SAlex Tomas static void 335a86c6181SAlex Tomas ext4_ext_binsearch_idx(struct inode *inode, struct ext4_ext_path *path, int block) 336a86c6181SAlex Tomas { 337a86c6181SAlex Tomas struct ext4_extent_header *eh = path->p_hdr; 338a86c6181SAlex Tomas struct ext4_extent_idx *r, *l, *m; 339a86c6181SAlex Tomas 340a86c6181SAlex Tomas BUG_ON(eh->eh_magic != EXT4_EXT_MAGIC); 341a86c6181SAlex Tomas BUG_ON(le16_to_cpu(eh->eh_entries) > le16_to_cpu(eh->eh_max)); 342a86c6181SAlex Tomas BUG_ON(le16_to_cpu(eh->eh_entries) <= 0); 343a86c6181SAlex Tomas 344a86c6181SAlex Tomas ext_debug("binsearch for %d(idx): ", block); 345a86c6181SAlex Tomas 346a86c6181SAlex Tomas l = EXT_FIRST_INDEX(eh) + 1; 347a86c6181SAlex Tomas r = EXT_FIRST_INDEX(eh) + le16_to_cpu(eh->eh_entries) - 1; 348a86c6181SAlex Tomas while (l <= r) { 349a86c6181SAlex Tomas m = l + (r - l) / 2; 350a86c6181SAlex Tomas if (block < le32_to_cpu(m->ei_block)) 351a86c6181SAlex Tomas r = m - 1; 352a86c6181SAlex Tomas else 353a86c6181SAlex Tomas l = m + 1; 354a86c6181SAlex Tomas ext_debug("%p(%u):%p(%u):%p(%u) ", l, l->ei_block, 355a86c6181SAlex Tomas m, m->ei_block, r, r->ei_block); 356a86c6181SAlex Tomas } 357a86c6181SAlex Tomas 358a86c6181SAlex Tomas path->p_idx = l - 1; 359f65e6fbaSAlex Tomas ext_debug(" -> %d->%lld ", le32_to_cpu(path->p_idx->ei_block), 360f65e6fbaSAlex Tomas idx_block(path->p_idx)); 361a86c6181SAlex Tomas 362a86c6181SAlex Tomas #ifdef CHECK_BINSEARCH 363a86c6181SAlex Tomas { 364a86c6181SAlex Tomas struct ext4_extent_idx *chix, *ix; 365a86c6181SAlex Tomas int k; 366a86c6181SAlex Tomas 367a86c6181SAlex Tomas chix = ix = EXT_FIRST_INDEX(eh); 368a86c6181SAlex Tomas for (k = 0; k < le16_to_cpu(eh->eh_entries); k++, ix++) { 369a86c6181SAlex Tomas if (k != 0 && 370a86c6181SAlex Tomas le32_to_cpu(ix->ei_block) <= le32_to_cpu(ix[-1].ei_block)) { 371a86c6181SAlex Tomas printk("k=%d, ix=0x%p, first=0x%p\n", k, 372a86c6181SAlex Tomas ix, EXT_FIRST_INDEX(eh)); 373a86c6181SAlex Tomas printk("%u <= %u\n", 374a86c6181SAlex Tomas le32_to_cpu(ix->ei_block), 375a86c6181SAlex Tomas le32_to_cpu(ix[-1].ei_block)); 376a86c6181SAlex Tomas } 377a86c6181SAlex Tomas BUG_ON(k && le32_to_cpu(ix->ei_block) 378a86c6181SAlex Tomas <= le32_to_cpu(ix[-1].ei_block)); 379a86c6181SAlex Tomas if (block < le32_to_cpu(ix->ei_block)) 380a86c6181SAlex Tomas break; 381a86c6181SAlex Tomas chix = ix; 382a86c6181SAlex Tomas } 383a86c6181SAlex Tomas BUG_ON(chix != path->p_idx); 384a86c6181SAlex Tomas } 385a86c6181SAlex Tomas #endif 386a86c6181SAlex Tomas 387a86c6181SAlex Tomas } 388a86c6181SAlex Tomas 389a86c6181SAlex Tomas /* 390d0d856e8SRandy Dunlap * ext4_ext_binsearch: 391d0d856e8SRandy Dunlap * binary search for closest extent of the given block 392a86c6181SAlex Tomas */ 393a86c6181SAlex Tomas static void 394a86c6181SAlex Tomas ext4_ext_binsearch(struct inode *inode, struct ext4_ext_path *path, int block) 395a86c6181SAlex Tomas { 396a86c6181SAlex Tomas struct ext4_extent_header *eh = path->p_hdr; 397a86c6181SAlex Tomas struct ext4_extent *r, *l, *m; 398a86c6181SAlex Tomas 399a86c6181SAlex Tomas BUG_ON(eh->eh_magic != EXT4_EXT_MAGIC); 400a86c6181SAlex Tomas BUG_ON(le16_to_cpu(eh->eh_entries) > le16_to_cpu(eh->eh_max)); 401a86c6181SAlex Tomas 402a86c6181SAlex Tomas if (eh->eh_entries == 0) { 403a86c6181SAlex Tomas /* 404d0d856e8SRandy Dunlap * this leaf is empty: 405a86c6181SAlex Tomas * we get such a leaf in split/add case 406a86c6181SAlex Tomas */ 407a86c6181SAlex Tomas return; 408a86c6181SAlex Tomas } 409a86c6181SAlex Tomas 410a86c6181SAlex Tomas ext_debug("binsearch for %d: ", block); 411a86c6181SAlex Tomas 412a86c6181SAlex Tomas l = EXT_FIRST_EXTENT(eh) + 1; 413a86c6181SAlex Tomas r = EXT_FIRST_EXTENT(eh) + le16_to_cpu(eh->eh_entries) - 1; 414a86c6181SAlex Tomas 415a86c6181SAlex Tomas while (l <= r) { 416a86c6181SAlex Tomas m = l + (r - l) / 2; 417a86c6181SAlex Tomas if (block < le32_to_cpu(m->ee_block)) 418a86c6181SAlex Tomas r = m - 1; 419a86c6181SAlex Tomas else 420a86c6181SAlex Tomas l = m + 1; 421a86c6181SAlex Tomas ext_debug("%p(%u):%p(%u):%p(%u) ", l, l->ee_block, 422a86c6181SAlex Tomas m, m->ee_block, r, r->ee_block); 423a86c6181SAlex Tomas } 424a86c6181SAlex Tomas 425a86c6181SAlex Tomas path->p_ext = l - 1; 4262ae02107SMingming Cao ext_debug(" -> %d:%llu:%d ", 427a86c6181SAlex Tomas le32_to_cpu(path->p_ext->ee_block), 428f65e6fbaSAlex Tomas ext_pblock(path->p_ext), 429a86c6181SAlex Tomas le16_to_cpu(path->p_ext->ee_len)); 430a86c6181SAlex Tomas 431a86c6181SAlex Tomas #ifdef CHECK_BINSEARCH 432a86c6181SAlex Tomas { 433a86c6181SAlex Tomas struct ext4_extent *chex, *ex; 434a86c6181SAlex Tomas int k; 435a86c6181SAlex Tomas 436a86c6181SAlex Tomas chex = ex = EXT_FIRST_EXTENT(eh); 437a86c6181SAlex Tomas for (k = 0; k < le16_to_cpu(eh->eh_entries); k++, ex++) { 438a86c6181SAlex Tomas BUG_ON(k && le32_to_cpu(ex->ee_block) 439a86c6181SAlex Tomas <= le32_to_cpu(ex[-1].ee_block)); 440a86c6181SAlex Tomas if (block < le32_to_cpu(ex->ee_block)) 441a86c6181SAlex Tomas break; 442a86c6181SAlex Tomas chex = ex; 443a86c6181SAlex Tomas } 444a86c6181SAlex Tomas BUG_ON(chex != path->p_ext); 445a86c6181SAlex Tomas } 446a86c6181SAlex Tomas #endif 447a86c6181SAlex Tomas 448a86c6181SAlex Tomas } 449a86c6181SAlex Tomas 450a86c6181SAlex Tomas int ext4_ext_tree_init(handle_t *handle, struct inode *inode) 451a86c6181SAlex Tomas { 452a86c6181SAlex Tomas struct ext4_extent_header *eh; 453a86c6181SAlex Tomas 454a86c6181SAlex Tomas eh = ext_inode_hdr(inode); 455a86c6181SAlex Tomas eh->eh_depth = 0; 456a86c6181SAlex Tomas eh->eh_entries = 0; 457a86c6181SAlex Tomas eh->eh_magic = EXT4_EXT_MAGIC; 458a86c6181SAlex Tomas eh->eh_max = cpu_to_le16(ext4_ext_space_root(inode)); 459a86c6181SAlex Tomas ext4_mark_inode_dirty(handle, inode); 460a86c6181SAlex Tomas ext4_ext_invalidate_cache(inode); 461a86c6181SAlex Tomas return 0; 462a86c6181SAlex Tomas } 463a86c6181SAlex Tomas 464a86c6181SAlex Tomas struct ext4_ext_path * 465a86c6181SAlex Tomas ext4_ext_find_extent(struct inode *inode, int block, struct ext4_ext_path *path) 466a86c6181SAlex Tomas { 467a86c6181SAlex Tomas struct ext4_extent_header *eh; 468a86c6181SAlex Tomas struct buffer_head *bh; 469a86c6181SAlex Tomas short int depth, i, ppos = 0, alloc = 0; 470a86c6181SAlex Tomas 471a86c6181SAlex Tomas eh = ext_inode_hdr(inode); 472a86c6181SAlex Tomas BUG_ON(eh == NULL); 473a86c6181SAlex Tomas if (ext4_ext_check_header(__FUNCTION__, inode, eh)) 474a86c6181SAlex Tomas return ERR_PTR(-EIO); 475a86c6181SAlex Tomas 476a86c6181SAlex Tomas i = depth = ext_depth(inode); 477a86c6181SAlex Tomas 478a86c6181SAlex Tomas /* account possible depth increase */ 479a86c6181SAlex Tomas if (!path) { 480*5d4958f9SAvantika Mathur path = kzalloc(sizeof(struct ext4_ext_path) * (depth + 2), 481a86c6181SAlex Tomas GFP_NOFS); 482a86c6181SAlex Tomas if (!path) 483a86c6181SAlex Tomas return ERR_PTR(-ENOMEM); 484a86c6181SAlex Tomas alloc = 1; 485a86c6181SAlex Tomas } 486a86c6181SAlex Tomas path[0].p_hdr = eh; 487a86c6181SAlex Tomas 488a86c6181SAlex Tomas /* walk through the tree */ 489a86c6181SAlex Tomas while (i) { 490a86c6181SAlex Tomas ext_debug("depth %d: num %d, max %d\n", 491a86c6181SAlex Tomas ppos, le16_to_cpu(eh->eh_entries), le16_to_cpu(eh->eh_max)); 492a86c6181SAlex Tomas ext4_ext_binsearch_idx(inode, path + ppos, block); 493f65e6fbaSAlex Tomas path[ppos].p_block = idx_pblock(path[ppos].p_idx); 494a86c6181SAlex Tomas path[ppos].p_depth = i; 495a86c6181SAlex Tomas path[ppos].p_ext = NULL; 496a86c6181SAlex Tomas 497a86c6181SAlex Tomas bh = sb_bread(inode->i_sb, path[ppos].p_block); 498a86c6181SAlex Tomas if (!bh) 499a86c6181SAlex Tomas goto err; 500a86c6181SAlex Tomas 501a86c6181SAlex Tomas eh = ext_block_hdr(bh); 502a86c6181SAlex Tomas ppos++; 503a86c6181SAlex Tomas BUG_ON(ppos > depth); 504a86c6181SAlex Tomas path[ppos].p_bh = bh; 505a86c6181SAlex Tomas path[ppos].p_hdr = eh; 506a86c6181SAlex Tomas i--; 507a86c6181SAlex Tomas 508a86c6181SAlex Tomas if (ext4_ext_check_header(__FUNCTION__, inode, eh)) 509a86c6181SAlex Tomas goto err; 510a86c6181SAlex Tomas } 511a86c6181SAlex Tomas 512a86c6181SAlex Tomas path[ppos].p_depth = i; 513a86c6181SAlex Tomas path[ppos].p_hdr = eh; 514a86c6181SAlex Tomas path[ppos].p_ext = NULL; 515a86c6181SAlex Tomas path[ppos].p_idx = NULL; 516a86c6181SAlex Tomas 517a86c6181SAlex Tomas if (ext4_ext_check_header(__FUNCTION__, inode, eh)) 518a86c6181SAlex Tomas goto err; 519a86c6181SAlex Tomas 520a86c6181SAlex Tomas /* find extent */ 521a86c6181SAlex Tomas ext4_ext_binsearch(inode, path + ppos, block); 522a86c6181SAlex Tomas 523a86c6181SAlex Tomas ext4_ext_show_path(inode, path); 524a86c6181SAlex Tomas 525a86c6181SAlex Tomas return path; 526a86c6181SAlex Tomas 527a86c6181SAlex Tomas err: 528a86c6181SAlex Tomas ext4_ext_drop_refs(path); 529a86c6181SAlex Tomas if (alloc) 530a86c6181SAlex Tomas kfree(path); 531a86c6181SAlex Tomas return ERR_PTR(-EIO); 532a86c6181SAlex Tomas } 533a86c6181SAlex Tomas 534a86c6181SAlex Tomas /* 535d0d856e8SRandy Dunlap * ext4_ext_insert_index: 536d0d856e8SRandy Dunlap * insert new index [@logical;@ptr] into the block at @curp; 537d0d856e8SRandy Dunlap * check where to insert: before @curp or after @curp 538a86c6181SAlex Tomas */ 539a86c6181SAlex Tomas static int ext4_ext_insert_index(handle_t *handle, struct inode *inode, 540a86c6181SAlex Tomas struct ext4_ext_path *curp, 541f65e6fbaSAlex Tomas int logical, ext4_fsblk_t ptr) 542a86c6181SAlex Tomas { 543a86c6181SAlex Tomas struct ext4_extent_idx *ix; 544a86c6181SAlex Tomas int len, err; 545a86c6181SAlex Tomas 5467e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, curp); 5477e028976SAvantika Mathur if (err) 548a86c6181SAlex Tomas return err; 549a86c6181SAlex Tomas 550a86c6181SAlex Tomas BUG_ON(logical == le32_to_cpu(curp->p_idx->ei_block)); 551a86c6181SAlex Tomas len = EXT_MAX_INDEX(curp->p_hdr) - curp->p_idx; 552a86c6181SAlex Tomas if (logical > le32_to_cpu(curp->p_idx->ei_block)) { 553a86c6181SAlex Tomas /* insert after */ 554a86c6181SAlex Tomas if (curp->p_idx != EXT_LAST_INDEX(curp->p_hdr)) { 555a86c6181SAlex Tomas len = (len - 1) * sizeof(struct ext4_extent_idx); 556a86c6181SAlex Tomas len = len < 0 ? 0 : len; 557a86c6181SAlex Tomas ext_debug("insert new index %d after: %d. " 558a86c6181SAlex Tomas "move %d from 0x%p to 0x%p\n", 559a86c6181SAlex Tomas logical, ptr, len, 560a86c6181SAlex Tomas (curp->p_idx + 1), (curp->p_idx + 2)); 561a86c6181SAlex Tomas memmove(curp->p_idx + 2, curp->p_idx + 1, len); 562a86c6181SAlex Tomas } 563a86c6181SAlex Tomas ix = curp->p_idx + 1; 564a86c6181SAlex Tomas } else { 565a86c6181SAlex Tomas /* insert before */ 566a86c6181SAlex Tomas len = len * sizeof(struct ext4_extent_idx); 567a86c6181SAlex Tomas len = len < 0 ? 0 : len; 568a86c6181SAlex Tomas ext_debug("insert new index %d before: %d. " 569a86c6181SAlex Tomas "move %d from 0x%p to 0x%p\n", 570a86c6181SAlex Tomas logical, ptr, len, 571a86c6181SAlex Tomas curp->p_idx, (curp->p_idx + 1)); 572a86c6181SAlex Tomas memmove(curp->p_idx + 1, curp->p_idx, len); 573a86c6181SAlex Tomas ix = curp->p_idx; 574a86c6181SAlex Tomas } 575a86c6181SAlex Tomas 576a86c6181SAlex Tomas ix->ei_block = cpu_to_le32(logical); 577f65e6fbaSAlex Tomas ext4_idx_store_pblock(ix, ptr); 578a86c6181SAlex Tomas curp->p_hdr->eh_entries = cpu_to_le16(le16_to_cpu(curp->p_hdr->eh_entries)+1); 579a86c6181SAlex Tomas 580a86c6181SAlex Tomas BUG_ON(le16_to_cpu(curp->p_hdr->eh_entries) 581a86c6181SAlex Tomas > le16_to_cpu(curp->p_hdr->eh_max)); 582a86c6181SAlex Tomas BUG_ON(ix > EXT_LAST_INDEX(curp->p_hdr)); 583a86c6181SAlex Tomas 584a86c6181SAlex Tomas err = ext4_ext_dirty(handle, inode, curp); 585a86c6181SAlex Tomas ext4_std_error(inode->i_sb, err); 586a86c6181SAlex Tomas 587a86c6181SAlex Tomas return err; 588a86c6181SAlex Tomas } 589a86c6181SAlex Tomas 590a86c6181SAlex Tomas /* 591d0d856e8SRandy Dunlap * ext4_ext_split: 592d0d856e8SRandy Dunlap * inserts new subtree into the path, using free index entry 593d0d856e8SRandy Dunlap * at depth @at: 594a86c6181SAlex Tomas * - allocates all needed blocks (new leaf and all intermediate index blocks) 595a86c6181SAlex Tomas * - makes decision where to split 596d0d856e8SRandy Dunlap * - moves remaining extents and index entries (right to the split point) 597a86c6181SAlex Tomas * into the newly allocated blocks 598d0d856e8SRandy Dunlap * - initializes subtree 599a86c6181SAlex Tomas */ 600a86c6181SAlex Tomas static int ext4_ext_split(handle_t *handle, struct inode *inode, 601a86c6181SAlex Tomas struct ext4_ext_path *path, 602a86c6181SAlex Tomas struct ext4_extent *newext, int at) 603a86c6181SAlex Tomas { 604a86c6181SAlex Tomas struct buffer_head *bh = NULL; 605a86c6181SAlex Tomas int depth = ext_depth(inode); 606a86c6181SAlex Tomas struct ext4_extent_header *neh; 607a86c6181SAlex Tomas struct ext4_extent_idx *fidx; 608a86c6181SAlex Tomas struct ext4_extent *ex; 609a86c6181SAlex Tomas int i = at, k, m, a; 610f65e6fbaSAlex Tomas ext4_fsblk_t newblock, oldblock; 611a86c6181SAlex Tomas __le32 border; 612f65e6fbaSAlex Tomas ext4_fsblk_t *ablocks = NULL; /* array of allocated blocks */ 613a86c6181SAlex Tomas int err = 0; 614a86c6181SAlex Tomas 615a86c6181SAlex Tomas /* make decision: where to split? */ 616d0d856e8SRandy Dunlap /* FIXME: now decision is simplest: at current extent */ 617a86c6181SAlex Tomas 618d0d856e8SRandy Dunlap /* if current leaf will be split, then we should use 619a86c6181SAlex Tomas * border from split point */ 620a86c6181SAlex Tomas BUG_ON(path[depth].p_ext > EXT_MAX_EXTENT(path[depth].p_hdr)); 621a86c6181SAlex Tomas if (path[depth].p_ext != EXT_MAX_EXTENT(path[depth].p_hdr)) { 622a86c6181SAlex Tomas border = path[depth].p_ext[1].ee_block; 623d0d856e8SRandy Dunlap ext_debug("leaf will be split." 624a86c6181SAlex Tomas " next leaf starts at %d\n", 625a86c6181SAlex Tomas le32_to_cpu(border)); 626a86c6181SAlex Tomas } else { 627a86c6181SAlex Tomas border = newext->ee_block; 628a86c6181SAlex Tomas ext_debug("leaf will be added." 629a86c6181SAlex Tomas " next leaf starts at %d\n", 630a86c6181SAlex Tomas le32_to_cpu(border)); 631a86c6181SAlex Tomas } 632a86c6181SAlex Tomas 633a86c6181SAlex Tomas /* 634d0d856e8SRandy Dunlap * If error occurs, then we break processing 635d0d856e8SRandy Dunlap * and mark filesystem read-only. index won't 636a86c6181SAlex Tomas * be inserted and tree will be in consistent 637d0d856e8SRandy Dunlap * state. Next mount will repair buffers too. 638a86c6181SAlex Tomas */ 639a86c6181SAlex Tomas 640a86c6181SAlex Tomas /* 641d0d856e8SRandy Dunlap * Get array to track all allocated blocks. 642d0d856e8SRandy Dunlap * We need this to handle errors and free blocks 643d0d856e8SRandy Dunlap * upon them. 644a86c6181SAlex Tomas */ 645*5d4958f9SAvantika Mathur ablocks = kzalloc(sizeof(ext4_fsblk_t) * depth, GFP_NOFS); 646a86c6181SAlex Tomas if (!ablocks) 647a86c6181SAlex Tomas return -ENOMEM; 648a86c6181SAlex Tomas 649a86c6181SAlex Tomas /* allocate all needed blocks */ 650a86c6181SAlex Tomas ext_debug("allocate %d blocks for indexes/leaf\n", depth - at); 651a86c6181SAlex Tomas for (a = 0; a < depth - at; a++) { 652a86c6181SAlex Tomas newblock = ext4_ext_new_block(handle, inode, path, newext, &err); 653a86c6181SAlex Tomas if (newblock == 0) 654a86c6181SAlex Tomas goto cleanup; 655a86c6181SAlex Tomas ablocks[a] = newblock; 656a86c6181SAlex Tomas } 657a86c6181SAlex Tomas 658a86c6181SAlex Tomas /* initialize new leaf */ 659a86c6181SAlex Tomas newblock = ablocks[--a]; 660a86c6181SAlex Tomas BUG_ON(newblock == 0); 661a86c6181SAlex Tomas bh = sb_getblk(inode->i_sb, newblock); 662a86c6181SAlex Tomas if (!bh) { 663a86c6181SAlex Tomas err = -EIO; 664a86c6181SAlex Tomas goto cleanup; 665a86c6181SAlex Tomas } 666a86c6181SAlex Tomas lock_buffer(bh); 667a86c6181SAlex Tomas 6687e028976SAvantika Mathur err = ext4_journal_get_create_access(handle, bh); 6697e028976SAvantika Mathur if (err) 670a86c6181SAlex Tomas goto cleanup; 671a86c6181SAlex Tomas 672a86c6181SAlex Tomas neh = ext_block_hdr(bh); 673a86c6181SAlex Tomas neh->eh_entries = 0; 674a86c6181SAlex Tomas neh->eh_max = cpu_to_le16(ext4_ext_space_block(inode)); 675a86c6181SAlex Tomas neh->eh_magic = EXT4_EXT_MAGIC; 676a86c6181SAlex Tomas neh->eh_depth = 0; 677a86c6181SAlex Tomas ex = EXT_FIRST_EXTENT(neh); 678a86c6181SAlex Tomas 679d0d856e8SRandy Dunlap /* move remainder of path[depth] to the new leaf */ 680a86c6181SAlex Tomas BUG_ON(path[depth].p_hdr->eh_entries != path[depth].p_hdr->eh_max); 681a86c6181SAlex Tomas /* start copy from next extent */ 682a86c6181SAlex Tomas /* TODO: we could do it by single memmove */ 683a86c6181SAlex Tomas m = 0; 684a86c6181SAlex Tomas path[depth].p_ext++; 685a86c6181SAlex Tomas while (path[depth].p_ext <= 686a86c6181SAlex Tomas EXT_MAX_EXTENT(path[depth].p_hdr)) { 6872ae02107SMingming Cao ext_debug("move %d:%llu:%d in new leaf %llu\n", 688a86c6181SAlex Tomas le32_to_cpu(path[depth].p_ext->ee_block), 689f65e6fbaSAlex Tomas ext_pblock(path[depth].p_ext), 690a86c6181SAlex Tomas le16_to_cpu(path[depth].p_ext->ee_len), 691a86c6181SAlex Tomas newblock); 692a86c6181SAlex Tomas /*memmove(ex++, path[depth].p_ext++, 693a86c6181SAlex Tomas sizeof(struct ext4_extent)); 694a86c6181SAlex Tomas neh->eh_entries++;*/ 695a86c6181SAlex Tomas path[depth].p_ext++; 696a86c6181SAlex Tomas m++; 697a86c6181SAlex Tomas } 698a86c6181SAlex Tomas if (m) { 699a86c6181SAlex Tomas memmove(ex, path[depth].p_ext-m, sizeof(struct ext4_extent)*m); 700a86c6181SAlex Tomas neh->eh_entries = cpu_to_le16(le16_to_cpu(neh->eh_entries)+m); 701a86c6181SAlex Tomas } 702a86c6181SAlex Tomas 703a86c6181SAlex Tomas set_buffer_uptodate(bh); 704a86c6181SAlex Tomas unlock_buffer(bh); 705a86c6181SAlex Tomas 7067e028976SAvantika Mathur err = ext4_journal_dirty_metadata(handle, bh); 7077e028976SAvantika Mathur if (err) 708a86c6181SAlex Tomas goto cleanup; 709a86c6181SAlex Tomas brelse(bh); 710a86c6181SAlex Tomas bh = NULL; 711a86c6181SAlex Tomas 712a86c6181SAlex Tomas /* correct old leaf */ 713a86c6181SAlex Tomas if (m) { 7147e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, path + depth); 7157e028976SAvantika Mathur if (err) 716a86c6181SAlex Tomas goto cleanup; 717a86c6181SAlex Tomas path[depth].p_hdr->eh_entries = 718a86c6181SAlex Tomas cpu_to_le16(le16_to_cpu(path[depth].p_hdr->eh_entries)-m); 7197e028976SAvantika Mathur err = ext4_ext_dirty(handle, inode, path + depth); 7207e028976SAvantika Mathur if (err) 721a86c6181SAlex Tomas goto cleanup; 722a86c6181SAlex Tomas 723a86c6181SAlex Tomas } 724a86c6181SAlex Tomas 725a86c6181SAlex Tomas /* create intermediate indexes */ 726a86c6181SAlex Tomas k = depth - at - 1; 727a86c6181SAlex Tomas BUG_ON(k < 0); 728a86c6181SAlex Tomas if (k) 729a86c6181SAlex Tomas ext_debug("create %d intermediate indices\n", k); 730a86c6181SAlex Tomas /* insert new index into current index block */ 731a86c6181SAlex Tomas /* current depth stored in i var */ 732a86c6181SAlex Tomas i = depth - 1; 733a86c6181SAlex Tomas while (k--) { 734a86c6181SAlex Tomas oldblock = newblock; 735a86c6181SAlex Tomas newblock = ablocks[--a]; 736f65e6fbaSAlex Tomas bh = sb_getblk(inode->i_sb, (ext4_fsblk_t)newblock); 737a86c6181SAlex Tomas if (!bh) { 738a86c6181SAlex Tomas err = -EIO; 739a86c6181SAlex Tomas goto cleanup; 740a86c6181SAlex Tomas } 741a86c6181SAlex Tomas lock_buffer(bh); 742a86c6181SAlex Tomas 7437e028976SAvantika Mathur err = ext4_journal_get_create_access(handle, bh); 7447e028976SAvantika Mathur if (err) 745a86c6181SAlex Tomas goto cleanup; 746a86c6181SAlex Tomas 747a86c6181SAlex Tomas neh = ext_block_hdr(bh); 748a86c6181SAlex Tomas neh->eh_entries = cpu_to_le16(1); 749a86c6181SAlex Tomas neh->eh_magic = EXT4_EXT_MAGIC; 750a86c6181SAlex Tomas neh->eh_max = cpu_to_le16(ext4_ext_space_block_idx(inode)); 751a86c6181SAlex Tomas neh->eh_depth = cpu_to_le16(depth - i); 752a86c6181SAlex Tomas fidx = EXT_FIRST_INDEX(neh); 753a86c6181SAlex Tomas fidx->ei_block = border; 754f65e6fbaSAlex Tomas ext4_idx_store_pblock(fidx, oldblock); 755a86c6181SAlex Tomas 7562ae02107SMingming Cao ext_debug("int.index at %d (block %llu): %lu -> %llu\n", i, 757a86c6181SAlex Tomas newblock, (unsigned long) le32_to_cpu(border), 758a86c6181SAlex Tomas oldblock); 759a86c6181SAlex Tomas /* copy indexes */ 760a86c6181SAlex Tomas m = 0; 761a86c6181SAlex Tomas path[i].p_idx++; 762a86c6181SAlex Tomas 763a86c6181SAlex Tomas ext_debug("cur 0x%p, last 0x%p\n", path[i].p_idx, 764a86c6181SAlex Tomas EXT_MAX_INDEX(path[i].p_hdr)); 765a86c6181SAlex Tomas BUG_ON(EXT_MAX_INDEX(path[i].p_hdr) != 766a86c6181SAlex Tomas EXT_LAST_INDEX(path[i].p_hdr)); 767a86c6181SAlex Tomas while (path[i].p_idx <= EXT_MAX_INDEX(path[i].p_hdr)) { 7682ae02107SMingming Cao ext_debug("%d: move %d:%d in new index %llu\n", i, 769a86c6181SAlex Tomas le32_to_cpu(path[i].p_idx->ei_block), 770f65e6fbaSAlex Tomas idx_pblock(path[i].p_idx), 771a86c6181SAlex Tomas newblock); 772a86c6181SAlex Tomas /*memmove(++fidx, path[i].p_idx++, 773a86c6181SAlex Tomas sizeof(struct ext4_extent_idx)); 774a86c6181SAlex Tomas neh->eh_entries++; 775a86c6181SAlex Tomas BUG_ON(neh->eh_entries > neh->eh_max);*/ 776a86c6181SAlex Tomas path[i].p_idx++; 777a86c6181SAlex Tomas m++; 778a86c6181SAlex Tomas } 779a86c6181SAlex Tomas if (m) { 780a86c6181SAlex Tomas memmove(++fidx, path[i].p_idx - m, 781a86c6181SAlex Tomas sizeof(struct ext4_extent_idx) * m); 782a86c6181SAlex Tomas neh->eh_entries = 783a86c6181SAlex Tomas cpu_to_le16(le16_to_cpu(neh->eh_entries) + m); 784a86c6181SAlex Tomas } 785a86c6181SAlex Tomas set_buffer_uptodate(bh); 786a86c6181SAlex Tomas unlock_buffer(bh); 787a86c6181SAlex Tomas 7887e028976SAvantika Mathur err = ext4_journal_dirty_metadata(handle, bh); 7897e028976SAvantika Mathur if (err) 790a86c6181SAlex Tomas goto cleanup; 791a86c6181SAlex Tomas brelse(bh); 792a86c6181SAlex Tomas bh = NULL; 793a86c6181SAlex Tomas 794a86c6181SAlex Tomas /* correct old index */ 795a86c6181SAlex Tomas if (m) { 796a86c6181SAlex Tomas err = ext4_ext_get_access(handle, inode, path + i); 797a86c6181SAlex Tomas if (err) 798a86c6181SAlex Tomas goto cleanup; 799a86c6181SAlex Tomas path[i].p_hdr->eh_entries = cpu_to_le16(le16_to_cpu(path[i].p_hdr->eh_entries)-m); 800a86c6181SAlex Tomas err = ext4_ext_dirty(handle, inode, path + i); 801a86c6181SAlex Tomas if (err) 802a86c6181SAlex Tomas goto cleanup; 803a86c6181SAlex Tomas } 804a86c6181SAlex Tomas 805a86c6181SAlex Tomas i--; 806a86c6181SAlex Tomas } 807a86c6181SAlex Tomas 808a86c6181SAlex Tomas /* insert new index */ 809a86c6181SAlex Tomas err = ext4_ext_insert_index(handle, inode, path + at, 810a86c6181SAlex Tomas le32_to_cpu(border), newblock); 811a86c6181SAlex Tomas 812a86c6181SAlex Tomas cleanup: 813a86c6181SAlex Tomas if (bh) { 814a86c6181SAlex Tomas if (buffer_locked(bh)) 815a86c6181SAlex Tomas unlock_buffer(bh); 816a86c6181SAlex Tomas brelse(bh); 817a86c6181SAlex Tomas } 818a86c6181SAlex Tomas 819a86c6181SAlex Tomas if (err) { 820a86c6181SAlex Tomas /* free all allocated blocks in error case */ 821a86c6181SAlex Tomas for (i = 0; i < depth; i++) { 822a86c6181SAlex Tomas if (!ablocks[i]) 823a86c6181SAlex Tomas continue; 824a86c6181SAlex Tomas ext4_free_blocks(handle, inode, ablocks[i], 1); 825a86c6181SAlex Tomas } 826a86c6181SAlex Tomas } 827a86c6181SAlex Tomas kfree(ablocks); 828a86c6181SAlex Tomas 829a86c6181SAlex Tomas return err; 830a86c6181SAlex Tomas } 831a86c6181SAlex Tomas 832a86c6181SAlex Tomas /* 833d0d856e8SRandy Dunlap * ext4_ext_grow_indepth: 834d0d856e8SRandy Dunlap * implements tree growing procedure: 835a86c6181SAlex Tomas * - allocates new block 836a86c6181SAlex Tomas * - moves top-level data (index block or leaf) into the new block 837d0d856e8SRandy Dunlap * - initializes new top-level, creating index that points to the 838a86c6181SAlex Tomas * just created block 839a86c6181SAlex Tomas */ 840a86c6181SAlex Tomas static int ext4_ext_grow_indepth(handle_t *handle, struct inode *inode, 841a86c6181SAlex Tomas struct ext4_ext_path *path, 842a86c6181SAlex Tomas struct ext4_extent *newext) 843a86c6181SAlex Tomas { 844a86c6181SAlex Tomas struct ext4_ext_path *curp = path; 845a86c6181SAlex Tomas struct ext4_extent_header *neh; 846a86c6181SAlex Tomas struct ext4_extent_idx *fidx; 847a86c6181SAlex Tomas struct buffer_head *bh; 848f65e6fbaSAlex Tomas ext4_fsblk_t newblock; 849a86c6181SAlex Tomas int err = 0; 850a86c6181SAlex Tomas 851a86c6181SAlex Tomas newblock = ext4_ext_new_block(handle, inode, path, newext, &err); 852a86c6181SAlex Tomas if (newblock == 0) 853a86c6181SAlex Tomas return err; 854a86c6181SAlex Tomas 855a86c6181SAlex Tomas bh = sb_getblk(inode->i_sb, newblock); 856a86c6181SAlex Tomas if (!bh) { 857a86c6181SAlex Tomas err = -EIO; 858a86c6181SAlex Tomas ext4_std_error(inode->i_sb, err); 859a86c6181SAlex Tomas return err; 860a86c6181SAlex Tomas } 861a86c6181SAlex Tomas lock_buffer(bh); 862a86c6181SAlex Tomas 8637e028976SAvantika Mathur err = ext4_journal_get_create_access(handle, bh); 8647e028976SAvantika Mathur if (err) { 865a86c6181SAlex Tomas unlock_buffer(bh); 866a86c6181SAlex Tomas goto out; 867a86c6181SAlex Tomas } 868a86c6181SAlex Tomas 869a86c6181SAlex Tomas /* move top-level index/leaf into new block */ 870a86c6181SAlex Tomas memmove(bh->b_data, curp->p_hdr, sizeof(EXT4_I(inode)->i_data)); 871a86c6181SAlex Tomas 872a86c6181SAlex Tomas /* set size of new block */ 873a86c6181SAlex Tomas neh = ext_block_hdr(bh); 874a86c6181SAlex Tomas /* old root could have indexes or leaves 875a86c6181SAlex Tomas * so calculate e_max right way */ 876a86c6181SAlex Tomas if (ext_depth(inode)) 877a86c6181SAlex Tomas neh->eh_max = cpu_to_le16(ext4_ext_space_block_idx(inode)); 878a86c6181SAlex Tomas else 879a86c6181SAlex Tomas neh->eh_max = cpu_to_le16(ext4_ext_space_block(inode)); 880a86c6181SAlex Tomas neh->eh_magic = EXT4_EXT_MAGIC; 881a86c6181SAlex Tomas set_buffer_uptodate(bh); 882a86c6181SAlex Tomas unlock_buffer(bh); 883a86c6181SAlex Tomas 8847e028976SAvantika Mathur err = ext4_journal_dirty_metadata(handle, bh); 8857e028976SAvantika Mathur if (err) 886a86c6181SAlex Tomas goto out; 887a86c6181SAlex Tomas 888a86c6181SAlex Tomas /* create index in new top-level index: num,max,pointer */ 8897e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, curp); 8907e028976SAvantika Mathur if (err) 891a86c6181SAlex Tomas goto out; 892a86c6181SAlex Tomas 893a86c6181SAlex Tomas curp->p_hdr->eh_magic = EXT4_EXT_MAGIC; 894a86c6181SAlex Tomas curp->p_hdr->eh_max = cpu_to_le16(ext4_ext_space_root_idx(inode)); 895a86c6181SAlex Tomas curp->p_hdr->eh_entries = cpu_to_le16(1); 896a86c6181SAlex Tomas curp->p_idx = EXT_FIRST_INDEX(curp->p_hdr); 897a86c6181SAlex Tomas /* FIXME: it works, but actually path[0] can be index */ 898a86c6181SAlex Tomas curp->p_idx->ei_block = EXT_FIRST_EXTENT(path[0].p_hdr)->ee_block; 899f65e6fbaSAlex Tomas ext4_idx_store_pblock(curp->p_idx, newblock); 900a86c6181SAlex Tomas 901a86c6181SAlex Tomas neh = ext_inode_hdr(inode); 902a86c6181SAlex Tomas fidx = EXT_FIRST_INDEX(neh); 9032ae02107SMingming Cao ext_debug("new root: num %d(%d), lblock %d, ptr %llu\n", 904a86c6181SAlex Tomas le16_to_cpu(neh->eh_entries), le16_to_cpu(neh->eh_max), 905f65e6fbaSAlex Tomas le32_to_cpu(fidx->ei_block), idx_pblock(fidx)); 906a86c6181SAlex Tomas 907a86c6181SAlex Tomas neh->eh_depth = cpu_to_le16(path->p_depth + 1); 908a86c6181SAlex Tomas err = ext4_ext_dirty(handle, inode, curp); 909a86c6181SAlex Tomas out: 910a86c6181SAlex Tomas brelse(bh); 911a86c6181SAlex Tomas 912a86c6181SAlex Tomas return err; 913a86c6181SAlex Tomas } 914a86c6181SAlex Tomas 915a86c6181SAlex Tomas /* 916d0d856e8SRandy Dunlap * ext4_ext_create_new_leaf: 917d0d856e8SRandy Dunlap * finds empty index and adds new leaf. 918d0d856e8SRandy Dunlap * if no free index is found, then it requests in-depth growing. 919a86c6181SAlex Tomas */ 920a86c6181SAlex Tomas static int ext4_ext_create_new_leaf(handle_t *handle, struct inode *inode, 921a86c6181SAlex Tomas struct ext4_ext_path *path, 922a86c6181SAlex Tomas struct ext4_extent *newext) 923a86c6181SAlex Tomas { 924a86c6181SAlex Tomas struct ext4_ext_path *curp; 925a86c6181SAlex Tomas int depth, i, err = 0; 926a86c6181SAlex Tomas 927a86c6181SAlex Tomas repeat: 928a86c6181SAlex Tomas i = depth = ext_depth(inode); 929a86c6181SAlex Tomas 930a86c6181SAlex Tomas /* walk up to the tree and look for free index entry */ 931a86c6181SAlex Tomas curp = path + depth; 932a86c6181SAlex Tomas while (i > 0 && !EXT_HAS_FREE_INDEX(curp)) { 933a86c6181SAlex Tomas i--; 934a86c6181SAlex Tomas curp--; 935a86c6181SAlex Tomas } 936a86c6181SAlex Tomas 937d0d856e8SRandy Dunlap /* we use already allocated block for index block, 938d0d856e8SRandy Dunlap * so subsequent data blocks should be contiguous */ 939a86c6181SAlex Tomas if (EXT_HAS_FREE_INDEX(curp)) { 940a86c6181SAlex Tomas /* if we found index with free entry, then use that 941a86c6181SAlex Tomas * entry: create all needed subtree and add new leaf */ 942a86c6181SAlex Tomas err = ext4_ext_split(handle, inode, path, newext, i); 943a86c6181SAlex Tomas 944a86c6181SAlex Tomas /* refill path */ 945a86c6181SAlex Tomas ext4_ext_drop_refs(path); 946a86c6181SAlex Tomas path = ext4_ext_find_extent(inode, 947a86c6181SAlex Tomas le32_to_cpu(newext->ee_block), 948a86c6181SAlex Tomas path); 949a86c6181SAlex Tomas if (IS_ERR(path)) 950a86c6181SAlex Tomas err = PTR_ERR(path); 951a86c6181SAlex Tomas } else { 952a86c6181SAlex Tomas /* tree is full, time to grow in depth */ 953a86c6181SAlex Tomas err = ext4_ext_grow_indepth(handle, inode, path, newext); 954a86c6181SAlex Tomas if (err) 955a86c6181SAlex Tomas goto out; 956a86c6181SAlex Tomas 957a86c6181SAlex Tomas /* refill path */ 958a86c6181SAlex Tomas ext4_ext_drop_refs(path); 959a86c6181SAlex Tomas path = ext4_ext_find_extent(inode, 960a86c6181SAlex Tomas le32_to_cpu(newext->ee_block), 961a86c6181SAlex Tomas path); 962a86c6181SAlex Tomas if (IS_ERR(path)) { 963a86c6181SAlex Tomas err = PTR_ERR(path); 964a86c6181SAlex Tomas goto out; 965a86c6181SAlex Tomas } 966a86c6181SAlex Tomas 967a86c6181SAlex Tomas /* 968d0d856e8SRandy Dunlap * only first (depth 0 -> 1) produces free space; 969d0d856e8SRandy Dunlap * in all other cases we have to split the grown tree 970a86c6181SAlex Tomas */ 971a86c6181SAlex Tomas depth = ext_depth(inode); 972a86c6181SAlex Tomas if (path[depth].p_hdr->eh_entries == path[depth].p_hdr->eh_max) { 973d0d856e8SRandy Dunlap /* now we need to split */ 974a86c6181SAlex Tomas goto repeat; 975a86c6181SAlex Tomas } 976a86c6181SAlex Tomas } 977a86c6181SAlex Tomas 978a86c6181SAlex Tomas out: 979a86c6181SAlex Tomas return err; 980a86c6181SAlex Tomas } 981a86c6181SAlex Tomas 982a86c6181SAlex Tomas /* 983d0d856e8SRandy Dunlap * ext4_ext_next_allocated_block: 984d0d856e8SRandy Dunlap * returns allocated block in subsequent extent or EXT_MAX_BLOCK. 985d0d856e8SRandy Dunlap * NOTE: it considers block number from index entry as 986d0d856e8SRandy Dunlap * allocated block. Thus, index entries have to be consistent 987d0d856e8SRandy Dunlap * with leaves. 988a86c6181SAlex Tomas */ 989a86c6181SAlex Tomas static unsigned long 990a86c6181SAlex Tomas ext4_ext_next_allocated_block(struct ext4_ext_path *path) 991a86c6181SAlex Tomas { 992a86c6181SAlex Tomas int depth; 993a86c6181SAlex Tomas 994a86c6181SAlex Tomas BUG_ON(path == NULL); 995a86c6181SAlex Tomas depth = path->p_depth; 996a86c6181SAlex Tomas 997a86c6181SAlex Tomas if (depth == 0 && path->p_ext == NULL) 998a86c6181SAlex Tomas return EXT_MAX_BLOCK; 999a86c6181SAlex Tomas 1000a86c6181SAlex Tomas while (depth >= 0) { 1001a86c6181SAlex Tomas if (depth == path->p_depth) { 1002a86c6181SAlex Tomas /* leaf */ 1003a86c6181SAlex Tomas if (path[depth].p_ext != 1004a86c6181SAlex Tomas EXT_LAST_EXTENT(path[depth].p_hdr)) 1005a86c6181SAlex Tomas return le32_to_cpu(path[depth].p_ext[1].ee_block); 1006a86c6181SAlex Tomas } else { 1007a86c6181SAlex Tomas /* index */ 1008a86c6181SAlex Tomas if (path[depth].p_idx != 1009a86c6181SAlex Tomas EXT_LAST_INDEX(path[depth].p_hdr)) 1010a86c6181SAlex Tomas return le32_to_cpu(path[depth].p_idx[1].ei_block); 1011a86c6181SAlex Tomas } 1012a86c6181SAlex Tomas depth--; 1013a86c6181SAlex Tomas } 1014a86c6181SAlex Tomas 1015a86c6181SAlex Tomas return EXT_MAX_BLOCK; 1016a86c6181SAlex Tomas } 1017a86c6181SAlex Tomas 1018a86c6181SAlex Tomas /* 1019d0d856e8SRandy Dunlap * ext4_ext_next_leaf_block: 1020a86c6181SAlex Tomas * returns first allocated block from next leaf or EXT_MAX_BLOCK 1021a86c6181SAlex Tomas */ 1022a86c6181SAlex Tomas static unsigned ext4_ext_next_leaf_block(struct inode *inode, 1023a86c6181SAlex Tomas struct ext4_ext_path *path) 1024a86c6181SAlex Tomas { 1025a86c6181SAlex Tomas int depth; 1026a86c6181SAlex Tomas 1027a86c6181SAlex Tomas BUG_ON(path == NULL); 1028a86c6181SAlex Tomas depth = path->p_depth; 1029a86c6181SAlex Tomas 1030a86c6181SAlex Tomas /* zero-tree has no leaf blocks at all */ 1031a86c6181SAlex Tomas if (depth == 0) 1032a86c6181SAlex Tomas return EXT_MAX_BLOCK; 1033a86c6181SAlex Tomas 1034a86c6181SAlex Tomas /* go to index block */ 1035a86c6181SAlex Tomas depth--; 1036a86c6181SAlex Tomas 1037a86c6181SAlex Tomas while (depth >= 0) { 1038a86c6181SAlex Tomas if (path[depth].p_idx != 1039a86c6181SAlex Tomas EXT_LAST_INDEX(path[depth].p_hdr)) 1040a86c6181SAlex Tomas return le32_to_cpu(path[depth].p_idx[1].ei_block); 1041a86c6181SAlex Tomas depth--; 1042a86c6181SAlex Tomas } 1043a86c6181SAlex Tomas 1044a86c6181SAlex Tomas return EXT_MAX_BLOCK; 1045a86c6181SAlex Tomas } 1046a86c6181SAlex Tomas 1047a86c6181SAlex Tomas /* 1048d0d856e8SRandy Dunlap * ext4_ext_correct_indexes: 1049d0d856e8SRandy Dunlap * if leaf gets modified and modified extent is first in the leaf, 1050d0d856e8SRandy Dunlap * then we have to correct all indexes above. 1051a86c6181SAlex Tomas * TODO: do we need to correct tree in all cases? 1052a86c6181SAlex Tomas */ 1053a86c6181SAlex Tomas int ext4_ext_correct_indexes(handle_t *handle, struct inode *inode, 1054a86c6181SAlex Tomas struct ext4_ext_path *path) 1055a86c6181SAlex Tomas { 1056a86c6181SAlex Tomas struct ext4_extent_header *eh; 1057a86c6181SAlex Tomas int depth = ext_depth(inode); 1058a86c6181SAlex Tomas struct ext4_extent *ex; 1059a86c6181SAlex Tomas __le32 border; 1060a86c6181SAlex Tomas int k, err = 0; 1061a86c6181SAlex Tomas 1062a86c6181SAlex Tomas eh = path[depth].p_hdr; 1063a86c6181SAlex Tomas ex = path[depth].p_ext; 1064a86c6181SAlex Tomas BUG_ON(ex == NULL); 1065a86c6181SAlex Tomas BUG_ON(eh == NULL); 1066a86c6181SAlex Tomas 1067a86c6181SAlex Tomas if (depth == 0) { 1068a86c6181SAlex Tomas /* there is no tree at all */ 1069a86c6181SAlex Tomas return 0; 1070a86c6181SAlex Tomas } 1071a86c6181SAlex Tomas 1072a86c6181SAlex Tomas if (ex != EXT_FIRST_EXTENT(eh)) { 1073a86c6181SAlex Tomas /* we correct tree if first leaf got modified only */ 1074a86c6181SAlex Tomas return 0; 1075a86c6181SAlex Tomas } 1076a86c6181SAlex Tomas 1077a86c6181SAlex Tomas /* 1078d0d856e8SRandy Dunlap * TODO: we need correction if border is smaller than current one 1079a86c6181SAlex Tomas */ 1080a86c6181SAlex Tomas k = depth - 1; 1081a86c6181SAlex Tomas border = path[depth].p_ext->ee_block; 10827e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, path + k); 10837e028976SAvantika Mathur if (err) 1084a86c6181SAlex Tomas return err; 1085a86c6181SAlex Tomas path[k].p_idx->ei_block = border; 10867e028976SAvantika Mathur err = ext4_ext_dirty(handle, inode, path + k); 10877e028976SAvantika Mathur if (err) 1088a86c6181SAlex Tomas return err; 1089a86c6181SAlex Tomas 1090a86c6181SAlex Tomas while (k--) { 1091a86c6181SAlex Tomas /* change all left-side indexes */ 1092a86c6181SAlex Tomas if (path[k+1].p_idx != EXT_FIRST_INDEX(path[k+1].p_hdr)) 1093a86c6181SAlex Tomas break; 10947e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, path + k); 10957e028976SAvantika Mathur if (err) 1096a86c6181SAlex Tomas break; 1097a86c6181SAlex Tomas path[k].p_idx->ei_block = border; 10987e028976SAvantika Mathur err = ext4_ext_dirty(handle, inode, path + k); 10997e028976SAvantika Mathur if (err) 1100a86c6181SAlex Tomas break; 1101a86c6181SAlex Tomas } 1102a86c6181SAlex Tomas 1103a86c6181SAlex Tomas return err; 1104a86c6181SAlex Tomas } 1105a86c6181SAlex Tomas 1106a86c6181SAlex Tomas static int inline 1107a86c6181SAlex Tomas ext4_can_extents_be_merged(struct inode *inode, struct ext4_extent *ex1, 1108a86c6181SAlex Tomas struct ext4_extent *ex2) 1109a86c6181SAlex Tomas { 111063f57933SAndrew Morton if (le32_to_cpu(ex1->ee_block) + le16_to_cpu(ex1->ee_len) != 111163f57933SAndrew Morton le32_to_cpu(ex2->ee_block)) 1112a86c6181SAlex Tomas return 0; 1113a86c6181SAlex Tomas 1114471d4011SSuparna Bhattacharya /* 1115471d4011SSuparna Bhattacharya * To allow future support for preallocated extents to be added 1116471d4011SSuparna Bhattacharya * as an RO_COMPAT feature, refuse to merge to extents if 1117d0d856e8SRandy Dunlap * this can result in the top bit of ee_len being set. 1118471d4011SSuparna Bhattacharya */ 1119471d4011SSuparna Bhattacharya if (le16_to_cpu(ex1->ee_len) + le16_to_cpu(ex2->ee_len) > EXT_MAX_LEN) 1120471d4011SSuparna Bhattacharya return 0; 1121a86c6181SAlex Tomas #ifdef AGRESSIVE_TEST 1122a86c6181SAlex Tomas if (le16_to_cpu(ex1->ee_len) >= 4) 1123a86c6181SAlex Tomas return 0; 1124a86c6181SAlex Tomas #endif 1125a86c6181SAlex Tomas 1126f65e6fbaSAlex Tomas if (ext_pblock(ex1) + le16_to_cpu(ex1->ee_len) == ext_pblock(ex2)) 1127a86c6181SAlex Tomas return 1; 1128a86c6181SAlex Tomas return 0; 1129a86c6181SAlex Tomas } 1130a86c6181SAlex Tomas 1131a86c6181SAlex Tomas /* 1132d0d856e8SRandy Dunlap * ext4_ext_insert_extent: 1133d0d856e8SRandy Dunlap * tries to merge requsted extent into the existing extent or 1134d0d856e8SRandy Dunlap * inserts requested extent as new one into the tree, 1135d0d856e8SRandy Dunlap * creating new leaf in the no-space case. 1136a86c6181SAlex Tomas */ 1137a86c6181SAlex Tomas int ext4_ext_insert_extent(handle_t *handle, struct inode *inode, 1138a86c6181SAlex Tomas struct ext4_ext_path *path, 1139a86c6181SAlex Tomas struct ext4_extent *newext) 1140a86c6181SAlex Tomas { 1141a86c6181SAlex Tomas struct ext4_extent_header * eh; 1142a86c6181SAlex Tomas struct ext4_extent *ex, *fex; 1143a86c6181SAlex Tomas struct ext4_extent *nearex; /* nearest extent */ 1144a86c6181SAlex Tomas struct ext4_ext_path *npath = NULL; 1145a86c6181SAlex Tomas int depth, len, err, next; 1146a86c6181SAlex Tomas 1147a86c6181SAlex Tomas BUG_ON(newext->ee_len == 0); 1148a86c6181SAlex Tomas depth = ext_depth(inode); 1149a86c6181SAlex Tomas ex = path[depth].p_ext; 1150a86c6181SAlex Tomas BUG_ON(path[depth].p_hdr == NULL); 1151a86c6181SAlex Tomas 1152a86c6181SAlex Tomas /* try to insert block into found extent and return */ 1153a86c6181SAlex Tomas if (ex && ext4_can_extents_be_merged(inode, ex, newext)) { 11542ae02107SMingming Cao ext_debug("append %d block to %d:%d (from %llu)\n", 1155a86c6181SAlex Tomas le16_to_cpu(newext->ee_len), 1156a86c6181SAlex Tomas le32_to_cpu(ex->ee_block), 1157f65e6fbaSAlex Tomas le16_to_cpu(ex->ee_len), ext_pblock(ex)); 11587e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, path + depth); 11597e028976SAvantika Mathur if (err) 1160a86c6181SAlex Tomas return err; 1161a86c6181SAlex Tomas ex->ee_len = cpu_to_le16(le16_to_cpu(ex->ee_len) 1162a86c6181SAlex Tomas + le16_to_cpu(newext->ee_len)); 1163a86c6181SAlex Tomas eh = path[depth].p_hdr; 1164a86c6181SAlex Tomas nearex = ex; 1165a86c6181SAlex Tomas goto merge; 1166a86c6181SAlex Tomas } 1167a86c6181SAlex Tomas 1168a86c6181SAlex Tomas repeat: 1169a86c6181SAlex Tomas depth = ext_depth(inode); 1170a86c6181SAlex Tomas eh = path[depth].p_hdr; 1171a86c6181SAlex Tomas if (le16_to_cpu(eh->eh_entries) < le16_to_cpu(eh->eh_max)) 1172a86c6181SAlex Tomas goto has_space; 1173a86c6181SAlex Tomas 1174a86c6181SAlex Tomas /* probably next leaf has space for us? */ 1175a86c6181SAlex Tomas fex = EXT_LAST_EXTENT(eh); 1176a86c6181SAlex Tomas next = ext4_ext_next_leaf_block(inode, path); 1177a86c6181SAlex Tomas if (le32_to_cpu(newext->ee_block) > le32_to_cpu(fex->ee_block) 1178a86c6181SAlex Tomas && next != EXT_MAX_BLOCK) { 1179a86c6181SAlex Tomas ext_debug("next leaf block - %d\n", next); 1180a86c6181SAlex Tomas BUG_ON(npath != NULL); 1181a86c6181SAlex Tomas npath = ext4_ext_find_extent(inode, next, NULL); 1182a86c6181SAlex Tomas if (IS_ERR(npath)) 1183a86c6181SAlex Tomas return PTR_ERR(npath); 1184a86c6181SAlex Tomas BUG_ON(npath->p_depth != path->p_depth); 1185a86c6181SAlex Tomas eh = npath[depth].p_hdr; 1186a86c6181SAlex Tomas if (le16_to_cpu(eh->eh_entries) < le16_to_cpu(eh->eh_max)) { 1187a86c6181SAlex Tomas ext_debug("next leaf isnt full(%d)\n", 1188a86c6181SAlex Tomas le16_to_cpu(eh->eh_entries)); 1189a86c6181SAlex Tomas path = npath; 1190a86c6181SAlex Tomas goto repeat; 1191a86c6181SAlex Tomas } 1192a86c6181SAlex Tomas ext_debug("next leaf has no free space(%d,%d)\n", 1193a86c6181SAlex Tomas le16_to_cpu(eh->eh_entries), le16_to_cpu(eh->eh_max)); 1194a86c6181SAlex Tomas } 1195a86c6181SAlex Tomas 1196a86c6181SAlex Tomas /* 1197d0d856e8SRandy Dunlap * There is no free space in the found leaf. 1198d0d856e8SRandy Dunlap * We're gonna add a new leaf in the tree. 1199a86c6181SAlex Tomas */ 1200a86c6181SAlex Tomas err = ext4_ext_create_new_leaf(handle, inode, path, newext); 1201a86c6181SAlex Tomas if (err) 1202a86c6181SAlex Tomas goto cleanup; 1203a86c6181SAlex Tomas depth = ext_depth(inode); 1204a86c6181SAlex Tomas eh = path[depth].p_hdr; 1205a86c6181SAlex Tomas 1206a86c6181SAlex Tomas has_space: 1207a86c6181SAlex Tomas nearex = path[depth].p_ext; 1208a86c6181SAlex Tomas 12097e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, path + depth); 12107e028976SAvantika Mathur if (err) 1211a86c6181SAlex Tomas goto cleanup; 1212a86c6181SAlex Tomas 1213a86c6181SAlex Tomas if (!nearex) { 1214a86c6181SAlex Tomas /* there is no extent in this leaf, create first one */ 12152ae02107SMingming Cao ext_debug("first extent in the leaf: %d:%llu:%d\n", 1216a86c6181SAlex Tomas le32_to_cpu(newext->ee_block), 1217f65e6fbaSAlex Tomas ext_pblock(newext), 1218a86c6181SAlex Tomas le16_to_cpu(newext->ee_len)); 1219a86c6181SAlex Tomas path[depth].p_ext = EXT_FIRST_EXTENT(eh); 1220a86c6181SAlex Tomas } else if (le32_to_cpu(newext->ee_block) 1221a86c6181SAlex Tomas > le32_to_cpu(nearex->ee_block)) { 1222a86c6181SAlex Tomas /* BUG_ON(newext->ee_block == nearex->ee_block); */ 1223a86c6181SAlex Tomas if (nearex != EXT_LAST_EXTENT(eh)) { 1224a86c6181SAlex Tomas len = EXT_MAX_EXTENT(eh) - nearex; 1225a86c6181SAlex Tomas len = (len - 1) * sizeof(struct ext4_extent); 1226a86c6181SAlex Tomas len = len < 0 ? 0 : len; 12272ae02107SMingming Cao ext_debug("insert %d:%llu:%d after: nearest 0x%p, " 1228a86c6181SAlex Tomas "move %d from 0x%p to 0x%p\n", 1229a86c6181SAlex Tomas le32_to_cpu(newext->ee_block), 1230f65e6fbaSAlex Tomas ext_pblock(newext), 1231a86c6181SAlex Tomas le16_to_cpu(newext->ee_len), 1232a86c6181SAlex Tomas nearex, len, nearex + 1, nearex + 2); 1233a86c6181SAlex Tomas memmove(nearex + 2, nearex + 1, len); 1234a86c6181SAlex Tomas } 1235a86c6181SAlex Tomas path[depth].p_ext = nearex + 1; 1236a86c6181SAlex Tomas } else { 1237a86c6181SAlex Tomas BUG_ON(newext->ee_block == nearex->ee_block); 1238a86c6181SAlex Tomas len = (EXT_MAX_EXTENT(eh) - nearex) * sizeof(struct ext4_extent); 1239a86c6181SAlex Tomas len = len < 0 ? 0 : len; 12402ae02107SMingming Cao ext_debug("insert %d:%llu:%d before: nearest 0x%p, " 1241a86c6181SAlex Tomas "move %d from 0x%p to 0x%p\n", 1242a86c6181SAlex Tomas le32_to_cpu(newext->ee_block), 1243f65e6fbaSAlex Tomas ext_pblock(newext), 1244a86c6181SAlex Tomas le16_to_cpu(newext->ee_len), 1245a86c6181SAlex Tomas nearex, len, nearex + 1, nearex + 2); 1246a86c6181SAlex Tomas memmove(nearex + 1, nearex, len); 1247a86c6181SAlex Tomas path[depth].p_ext = nearex; 1248a86c6181SAlex Tomas } 1249a86c6181SAlex Tomas 1250a86c6181SAlex Tomas eh->eh_entries = cpu_to_le16(le16_to_cpu(eh->eh_entries)+1); 1251a86c6181SAlex Tomas nearex = path[depth].p_ext; 1252a86c6181SAlex Tomas nearex->ee_block = newext->ee_block; 1253a86c6181SAlex Tomas nearex->ee_start = newext->ee_start; 1254f65e6fbaSAlex Tomas nearex->ee_start_hi = newext->ee_start_hi; 1255a86c6181SAlex Tomas nearex->ee_len = newext->ee_len; 1256a86c6181SAlex Tomas 1257a86c6181SAlex Tomas merge: 1258a86c6181SAlex Tomas /* try to merge extents to the right */ 1259a86c6181SAlex Tomas while (nearex < EXT_LAST_EXTENT(eh)) { 1260a86c6181SAlex Tomas if (!ext4_can_extents_be_merged(inode, nearex, nearex + 1)) 1261a86c6181SAlex Tomas break; 1262a86c6181SAlex Tomas /* merge with next extent! */ 1263a86c6181SAlex Tomas nearex->ee_len = cpu_to_le16(le16_to_cpu(nearex->ee_len) 1264a86c6181SAlex Tomas + le16_to_cpu(nearex[1].ee_len)); 1265a86c6181SAlex Tomas if (nearex + 1 < EXT_LAST_EXTENT(eh)) { 1266a86c6181SAlex Tomas len = (EXT_LAST_EXTENT(eh) - nearex - 1) 1267a86c6181SAlex Tomas * sizeof(struct ext4_extent); 1268a86c6181SAlex Tomas memmove(nearex + 1, nearex + 2, len); 1269a86c6181SAlex Tomas } 1270a86c6181SAlex Tomas eh->eh_entries = cpu_to_le16(le16_to_cpu(eh->eh_entries)-1); 1271a86c6181SAlex Tomas BUG_ON(eh->eh_entries == 0); 1272a86c6181SAlex Tomas } 1273a86c6181SAlex Tomas 1274a86c6181SAlex Tomas /* try to merge extents to the left */ 1275a86c6181SAlex Tomas 1276a86c6181SAlex Tomas /* time to correct all indexes above */ 1277a86c6181SAlex Tomas err = ext4_ext_correct_indexes(handle, inode, path); 1278a86c6181SAlex Tomas if (err) 1279a86c6181SAlex Tomas goto cleanup; 1280a86c6181SAlex Tomas 1281a86c6181SAlex Tomas err = ext4_ext_dirty(handle, inode, path + depth); 1282a86c6181SAlex Tomas 1283a86c6181SAlex Tomas cleanup: 1284a86c6181SAlex Tomas if (npath) { 1285a86c6181SAlex Tomas ext4_ext_drop_refs(npath); 1286a86c6181SAlex Tomas kfree(npath); 1287a86c6181SAlex Tomas } 1288a86c6181SAlex Tomas ext4_ext_tree_changed(inode); 1289a86c6181SAlex Tomas ext4_ext_invalidate_cache(inode); 1290a86c6181SAlex Tomas return err; 1291a86c6181SAlex Tomas } 1292a86c6181SAlex Tomas 1293a86c6181SAlex Tomas int ext4_ext_walk_space(struct inode *inode, unsigned long block, 1294a86c6181SAlex Tomas unsigned long num, ext_prepare_callback func, 1295a86c6181SAlex Tomas void *cbdata) 1296a86c6181SAlex Tomas { 1297a86c6181SAlex Tomas struct ext4_ext_path *path = NULL; 1298a86c6181SAlex Tomas struct ext4_ext_cache cbex; 1299a86c6181SAlex Tomas struct ext4_extent *ex; 1300a86c6181SAlex Tomas unsigned long next, start = 0, end = 0; 1301a86c6181SAlex Tomas unsigned long last = block + num; 1302a86c6181SAlex Tomas int depth, exists, err = 0; 1303a86c6181SAlex Tomas 1304a86c6181SAlex Tomas BUG_ON(func == NULL); 1305a86c6181SAlex Tomas BUG_ON(inode == NULL); 1306a86c6181SAlex Tomas 1307a86c6181SAlex Tomas while (block < last && block != EXT_MAX_BLOCK) { 1308a86c6181SAlex Tomas num = last - block; 1309a86c6181SAlex Tomas /* find extent for this block */ 1310a86c6181SAlex Tomas path = ext4_ext_find_extent(inode, block, path); 1311a86c6181SAlex Tomas if (IS_ERR(path)) { 1312a86c6181SAlex Tomas err = PTR_ERR(path); 1313a86c6181SAlex Tomas path = NULL; 1314a86c6181SAlex Tomas break; 1315a86c6181SAlex Tomas } 1316a86c6181SAlex Tomas 1317a86c6181SAlex Tomas depth = ext_depth(inode); 1318a86c6181SAlex Tomas BUG_ON(path[depth].p_hdr == NULL); 1319a86c6181SAlex Tomas ex = path[depth].p_ext; 1320a86c6181SAlex Tomas next = ext4_ext_next_allocated_block(path); 1321a86c6181SAlex Tomas 1322a86c6181SAlex Tomas exists = 0; 1323a86c6181SAlex Tomas if (!ex) { 1324a86c6181SAlex Tomas /* there is no extent yet, so try to allocate 1325a86c6181SAlex Tomas * all requested space */ 1326a86c6181SAlex Tomas start = block; 1327a86c6181SAlex Tomas end = block + num; 1328a86c6181SAlex Tomas } else if (le32_to_cpu(ex->ee_block) > block) { 1329a86c6181SAlex Tomas /* need to allocate space before found extent */ 1330a86c6181SAlex Tomas start = block; 1331a86c6181SAlex Tomas end = le32_to_cpu(ex->ee_block); 1332a86c6181SAlex Tomas if (block + num < end) 1333a86c6181SAlex Tomas end = block + num; 1334a86c6181SAlex Tomas } else if (block >= 1335a86c6181SAlex Tomas le32_to_cpu(ex->ee_block) + le16_to_cpu(ex->ee_len)) { 1336a86c6181SAlex Tomas /* need to allocate space after found extent */ 1337a86c6181SAlex Tomas start = block; 1338a86c6181SAlex Tomas end = block + num; 1339a86c6181SAlex Tomas if (end >= next) 1340a86c6181SAlex Tomas end = next; 1341a86c6181SAlex Tomas } else if (block >= le32_to_cpu(ex->ee_block)) { 1342a86c6181SAlex Tomas /* 1343a86c6181SAlex Tomas * some part of requested space is covered 1344a86c6181SAlex Tomas * by found extent 1345a86c6181SAlex Tomas */ 1346a86c6181SAlex Tomas start = block; 1347a86c6181SAlex Tomas end = le32_to_cpu(ex->ee_block) + le16_to_cpu(ex->ee_len); 1348a86c6181SAlex Tomas if (block + num < end) 1349a86c6181SAlex Tomas end = block + num; 1350a86c6181SAlex Tomas exists = 1; 1351a86c6181SAlex Tomas } else { 1352a86c6181SAlex Tomas BUG(); 1353a86c6181SAlex Tomas } 1354a86c6181SAlex Tomas BUG_ON(end <= start); 1355a86c6181SAlex Tomas 1356a86c6181SAlex Tomas if (!exists) { 1357a86c6181SAlex Tomas cbex.ec_block = start; 1358a86c6181SAlex Tomas cbex.ec_len = end - start; 1359a86c6181SAlex Tomas cbex.ec_start = 0; 1360a86c6181SAlex Tomas cbex.ec_type = EXT4_EXT_CACHE_GAP; 1361a86c6181SAlex Tomas } else { 1362a86c6181SAlex Tomas cbex.ec_block = le32_to_cpu(ex->ee_block); 1363a86c6181SAlex Tomas cbex.ec_len = le16_to_cpu(ex->ee_len); 1364f65e6fbaSAlex Tomas cbex.ec_start = ext_pblock(ex); 1365a86c6181SAlex Tomas cbex.ec_type = EXT4_EXT_CACHE_EXTENT; 1366a86c6181SAlex Tomas } 1367a86c6181SAlex Tomas 1368a86c6181SAlex Tomas BUG_ON(cbex.ec_len == 0); 1369a86c6181SAlex Tomas err = func(inode, path, &cbex, cbdata); 1370a86c6181SAlex Tomas ext4_ext_drop_refs(path); 1371a86c6181SAlex Tomas 1372a86c6181SAlex Tomas if (err < 0) 1373a86c6181SAlex Tomas break; 1374a86c6181SAlex Tomas if (err == EXT_REPEAT) 1375a86c6181SAlex Tomas continue; 1376a86c6181SAlex Tomas else if (err == EXT_BREAK) { 1377a86c6181SAlex Tomas err = 0; 1378a86c6181SAlex Tomas break; 1379a86c6181SAlex Tomas } 1380a86c6181SAlex Tomas 1381a86c6181SAlex Tomas if (ext_depth(inode) != depth) { 1382a86c6181SAlex Tomas /* depth was changed. we have to realloc path */ 1383a86c6181SAlex Tomas kfree(path); 1384a86c6181SAlex Tomas path = NULL; 1385a86c6181SAlex Tomas } 1386a86c6181SAlex Tomas 1387a86c6181SAlex Tomas block = cbex.ec_block + cbex.ec_len; 1388a86c6181SAlex Tomas } 1389a86c6181SAlex Tomas 1390a86c6181SAlex Tomas if (path) { 1391a86c6181SAlex Tomas ext4_ext_drop_refs(path); 1392a86c6181SAlex Tomas kfree(path); 1393a86c6181SAlex Tomas } 1394a86c6181SAlex Tomas 1395a86c6181SAlex Tomas return err; 1396a86c6181SAlex Tomas } 1397a86c6181SAlex Tomas 1398a86c6181SAlex Tomas static inline void 1399a86c6181SAlex Tomas ext4_ext_put_in_cache(struct inode *inode, __u32 block, 1400a86c6181SAlex Tomas __u32 len, __u32 start, int type) 1401a86c6181SAlex Tomas { 1402a86c6181SAlex Tomas struct ext4_ext_cache *cex; 1403a86c6181SAlex Tomas BUG_ON(len == 0); 1404a86c6181SAlex Tomas cex = &EXT4_I(inode)->i_cached_extent; 1405a86c6181SAlex Tomas cex->ec_type = type; 1406a86c6181SAlex Tomas cex->ec_block = block; 1407a86c6181SAlex Tomas cex->ec_len = len; 1408a86c6181SAlex Tomas cex->ec_start = start; 1409a86c6181SAlex Tomas } 1410a86c6181SAlex Tomas 1411a86c6181SAlex Tomas /* 1412d0d856e8SRandy Dunlap * ext4_ext_put_gap_in_cache: 1413d0d856e8SRandy Dunlap * calculate boundaries of the gap that the requested block fits into 1414a86c6181SAlex Tomas * and cache this gap 1415a86c6181SAlex Tomas */ 1416a86c6181SAlex Tomas static inline void 1417a86c6181SAlex Tomas ext4_ext_put_gap_in_cache(struct inode *inode, struct ext4_ext_path *path, 1418a86c6181SAlex Tomas unsigned long block) 1419a86c6181SAlex Tomas { 1420a86c6181SAlex Tomas int depth = ext_depth(inode); 1421a86c6181SAlex Tomas unsigned long lblock, len; 1422a86c6181SAlex Tomas struct ext4_extent *ex; 1423a86c6181SAlex Tomas 1424a86c6181SAlex Tomas ex = path[depth].p_ext; 1425a86c6181SAlex Tomas if (ex == NULL) { 1426a86c6181SAlex Tomas /* there is no extent yet, so gap is [0;-] */ 1427a86c6181SAlex Tomas lblock = 0; 1428a86c6181SAlex Tomas len = EXT_MAX_BLOCK; 1429a86c6181SAlex Tomas ext_debug("cache gap(whole file):"); 1430a86c6181SAlex Tomas } else if (block < le32_to_cpu(ex->ee_block)) { 1431a86c6181SAlex Tomas lblock = block; 1432a86c6181SAlex Tomas len = le32_to_cpu(ex->ee_block) - block; 1433a86c6181SAlex Tomas ext_debug("cache gap(before): %lu [%lu:%lu]", 1434a86c6181SAlex Tomas (unsigned long) block, 1435a86c6181SAlex Tomas (unsigned long) le32_to_cpu(ex->ee_block), 1436a86c6181SAlex Tomas (unsigned long) le16_to_cpu(ex->ee_len)); 1437a86c6181SAlex Tomas } else if (block >= le32_to_cpu(ex->ee_block) 1438a86c6181SAlex Tomas + le16_to_cpu(ex->ee_len)) { 1439a86c6181SAlex Tomas lblock = le32_to_cpu(ex->ee_block) 1440a86c6181SAlex Tomas + le16_to_cpu(ex->ee_len); 1441a86c6181SAlex Tomas len = ext4_ext_next_allocated_block(path); 1442a86c6181SAlex Tomas ext_debug("cache gap(after): [%lu:%lu] %lu", 1443a86c6181SAlex Tomas (unsigned long) le32_to_cpu(ex->ee_block), 1444a86c6181SAlex Tomas (unsigned long) le16_to_cpu(ex->ee_len), 1445a86c6181SAlex Tomas (unsigned long) block); 1446a86c6181SAlex Tomas BUG_ON(len == lblock); 1447a86c6181SAlex Tomas len = len - lblock; 1448a86c6181SAlex Tomas } else { 1449a86c6181SAlex Tomas lblock = len = 0; 1450a86c6181SAlex Tomas BUG(); 1451a86c6181SAlex Tomas } 1452a86c6181SAlex Tomas 1453a86c6181SAlex Tomas ext_debug(" -> %lu:%lu\n", (unsigned long) lblock, len); 1454a86c6181SAlex Tomas ext4_ext_put_in_cache(inode, lblock, len, 0, EXT4_EXT_CACHE_GAP); 1455a86c6181SAlex Tomas } 1456a86c6181SAlex Tomas 1457a86c6181SAlex Tomas static inline int 1458a86c6181SAlex Tomas ext4_ext_in_cache(struct inode *inode, unsigned long block, 1459a86c6181SAlex Tomas struct ext4_extent *ex) 1460a86c6181SAlex Tomas { 1461a86c6181SAlex Tomas struct ext4_ext_cache *cex; 1462a86c6181SAlex Tomas 1463a86c6181SAlex Tomas cex = &EXT4_I(inode)->i_cached_extent; 1464a86c6181SAlex Tomas 1465a86c6181SAlex Tomas /* has cache valid data? */ 1466a86c6181SAlex Tomas if (cex->ec_type == EXT4_EXT_CACHE_NO) 1467a86c6181SAlex Tomas return EXT4_EXT_CACHE_NO; 1468a86c6181SAlex Tomas 1469a86c6181SAlex Tomas BUG_ON(cex->ec_type != EXT4_EXT_CACHE_GAP && 1470a86c6181SAlex Tomas cex->ec_type != EXT4_EXT_CACHE_EXTENT); 1471a86c6181SAlex Tomas if (block >= cex->ec_block && block < cex->ec_block + cex->ec_len) { 1472a86c6181SAlex Tomas ex->ee_block = cpu_to_le32(cex->ec_block); 1473f65e6fbaSAlex Tomas ext4_ext_store_pblock(ex, cex->ec_start); 1474a86c6181SAlex Tomas ex->ee_len = cpu_to_le16(cex->ec_len); 14752ae02107SMingming Cao ext_debug("%lu cached by %lu:%lu:%llu\n", 1476a86c6181SAlex Tomas (unsigned long) block, 1477a86c6181SAlex Tomas (unsigned long) cex->ec_block, 1478a86c6181SAlex Tomas (unsigned long) cex->ec_len, 1479f65e6fbaSAlex Tomas cex->ec_start); 1480a86c6181SAlex Tomas return cex->ec_type; 1481a86c6181SAlex Tomas } 1482a86c6181SAlex Tomas 1483a86c6181SAlex Tomas /* not in cache */ 1484a86c6181SAlex Tomas return EXT4_EXT_CACHE_NO; 1485a86c6181SAlex Tomas } 1486a86c6181SAlex Tomas 1487a86c6181SAlex Tomas /* 1488d0d856e8SRandy Dunlap * ext4_ext_rm_idx: 1489d0d856e8SRandy Dunlap * removes index from the index block. 1490d0d856e8SRandy Dunlap * It's used in truncate case only, thus all requests are for 1491d0d856e8SRandy Dunlap * last index in the block only. 1492a86c6181SAlex Tomas */ 1493a86c6181SAlex Tomas int ext4_ext_rm_idx(handle_t *handle, struct inode *inode, 1494a86c6181SAlex Tomas struct ext4_ext_path *path) 1495a86c6181SAlex Tomas { 1496a86c6181SAlex Tomas struct buffer_head *bh; 1497a86c6181SAlex Tomas int err; 1498f65e6fbaSAlex Tomas ext4_fsblk_t leaf; 1499a86c6181SAlex Tomas 1500a86c6181SAlex Tomas /* free index block */ 1501a86c6181SAlex Tomas path--; 1502f65e6fbaSAlex Tomas leaf = idx_pblock(path->p_idx); 1503a86c6181SAlex Tomas BUG_ON(path->p_hdr->eh_entries == 0); 15047e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, path); 15057e028976SAvantika Mathur if (err) 1506a86c6181SAlex Tomas return err; 1507a86c6181SAlex Tomas path->p_hdr->eh_entries = cpu_to_le16(le16_to_cpu(path->p_hdr->eh_entries)-1); 15087e028976SAvantika Mathur err = ext4_ext_dirty(handle, inode, path); 15097e028976SAvantika Mathur if (err) 1510a86c6181SAlex Tomas return err; 15112ae02107SMingming Cao ext_debug("index is empty, remove it, free block %llu\n", leaf); 1512a86c6181SAlex Tomas bh = sb_find_get_block(inode->i_sb, leaf); 1513a86c6181SAlex Tomas ext4_forget(handle, 1, inode, bh, leaf); 1514a86c6181SAlex Tomas ext4_free_blocks(handle, inode, leaf, 1); 1515a86c6181SAlex Tomas return err; 1516a86c6181SAlex Tomas } 1517a86c6181SAlex Tomas 1518a86c6181SAlex Tomas /* 1519d0d856e8SRandy Dunlap * ext4_ext_calc_credits_for_insert: 1520d0d856e8SRandy Dunlap * This routine returns max. credits that the extent tree can consume. 1521a86c6181SAlex Tomas * It should be OK for low-performance paths like ->writepage() 1522d0d856e8SRandy Dunlap * To allow many writing processes to fit into a single transaction, 1523d0d856e8SRandy Dunlap * the caller should calculate credits under truncate_mutex and 1524d0d856e8SRandy Dunlap * pass the actual path. 1525a86c6181SAlex Tomas */ 1526a86c6181SAlex Tomas int inline ext4_ext_calc_credits_for_insert(struct inode *inode, 1527a86c6181SAlex Tomas struct ext4_ext_path *path) 1528a86c6181SAlex Tomas { 1529a86c6181SAlex Tomas int depth, needed; 1530a86c6181SAlex Tomas 1531a86c6181SAlex Tomas if (path) { 1532a86c6181SAlex Tomas /* probably there is space in leaf? */ 1533a86c6181SAlex Tomas depth = ext_depth(inode); 1534a86c6181SAlex Tomas if (le16_to_cpu(path[depth].p_hdr->eh_entries) 1535a86c6181SAlex Tomas < le16_to_cpu(path[depth].p_hdr->eh_max)) 1536a86c6181SAlex Tomas return 1; 1537a86c6181SAlex Tomas } 1538a86c6181SAlex Tomas 1539a86c6181SAlex Tomas /* 1540d0d856e8SRandy Dunlap * given 32-bit logical block (4294967296 blocks), max. tree 1541a86c6181SAlex Tomas * can be 4 levels in depth -- 4 * 340^4 == 53453440000. 1542d0d856e8SRandy Dunlap * Let's also add one more level for imbalance. 1543a86c6181SAlex Tomas */ 1544a86c6181SAlex Tomas depth = 5; 1545a86c6181SAlex Tomas 1546a86c6181SAlex Tomas /* allocation of new data block(s) */ 1547a86c6181SAlex Tomas needed = 2; 1548a86c6181SAlex Tomas 1549a86c6181SAlex Tomas /* 1550d0d856e8SRandy Dunlap * tree can be full, so it would need to grow in depth: 1551feb18927SJohann Lombardi * we need one credit to modify old root, credits for 1552feb18927SJohann Lombardi * new root will be added in split accounting 1553a86c6181SAlex Tomas */ 1554feb18927SJohann Lombardi needed += 1; 1555a86c6181SAlex Tomas 1556a86c6181SAlex Tomas /* 1557d0d856e8SRandy Dunlap * Index split can happen, we would need: 1558a86c6181SAlex Tomas * allocate intermediate indexes (bitmap + group) 1559a86c6181SAlex Tomas * + change two blocks at each level, but root (already included) 1560a86c6181SAlex Tomas */ 1561feb18927SJohann Lombardi needed += (depth * 2) + (depth * 2); 1562a86c6181SAlex Tomas 1563a86c6181SAlex Tomas /* any allocation modifies superblock */ 1564a86c6181SAlex Tomas needed += 1; 1565a86c6181SAlex Tomas 1566a86c6181SAlex Tomas return needed; 1567a86c6181SAlex Tomas } 1568a86c6181SAlex Tomas 1569a86c6181SAlex Tomas static int ext4_remove_blocks(handle_t *handle, struct inode *inode, 1570a86c6181SAlex Tomas struct ext4_extent *ex, 1571a86c6181SAlex Tomas unsigned long from, unsigned long to) 1572a86c6181SAlex Tomas { 1573a86c6181SAlex Tomas struct buffer_head *bh; 1574a86c6181SAlex Tomas int i; 1575a86c6181SAlex Tomas 1576a86c6181SAlex Tomas #ifdef EXTENTS_STATS 1577a86c6181SAlex Tomas { 1578a86c6181SAlex Tomas struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb); 1579a86c6181SAlex Tomas unsigned short ee_len = le16_to_cpu(ex->ee_len); 1580a86c6181SAlex Tomas spin_lock(&sbi->s_ext_stats_lock); 1581a86c6181SAlex Tomas sbi->s_ext_blocks += ee_len; 1582a86c6181SAlex Tomas sbi->s_ext_extents++; 1583a86c6181SAlex Tomas if (ee_len < sbi->s_ext_min) 1584a86c6181SAlex Tomas sbi->s_ext_min = ee_len; 1585a86c6181SAlex Tomas if (ee_len > sbi->s_ext_max) 1586a86c6181SAlex Tomas sbi->s_ext_max = ee_len; 1587a86c6181SAlex Tomas if (ext_depth(inode) > sbi->s_depth_max) 1588a86c6181SAlex Tomas sbi->s_depth_max = ext_depth(inode); 1589a86c6181SAlex Tomas spin_unlock(&sbi->s_ext_stats_lock); 1590a86c6181SAlex Tomas } 1591a86c6181SAlex Tomas #endif 1592a86c6181SAlex Tomas if (from >= le32_to_cpu(ex->ee_block) 1593a86c6181SAlex Tomas && to == le32_to_cpu(ex->ee_block) + le16_to_cpu(ex->ee_len) - 1) { 1594a86c6181SAlex Tomas /* tail removal */ 1595f65e6fbaSAlex Tomas unsigned long num; 1596f65e6fbaSAlex Tomas ext4_fsblk_t start; 1597a86c6181SAlex Tomas num = le32_to_cpu(ex->ee_block) + le16_to_cpu(ex->ee_len) - from; 1598f65e6fbaSAlex Tomas start = ext_pblock(ex) + le16_to_cpu(ex->ee_len) - num; 15992ae02107SMingming Cao ext_debug("free last %lu blocks starting %llu\n", num, start); 1600a86c6181SAlex Tomas for (i = 0; i < num; i++) { 1601a86c6181SAlex Tomas bh = sb_find_get_block(inode->i_sb, start + i); 1602a86c6181SAlex Tomas ext4_forget(handle, 0, inode, bh, start + i); 1603a86c6181SAlex Tomas } 1604a86c6181SAlex Tomas ext4_free_blocks(handle, inode, start, num); 1605a86c6181SAlex Tomas } else if (from == le32_to_cpu(ex->ee_block) 1606a86c6181SAlex Tomas && to <= le32_to_cpu(ex->ee_block) + le16_to_cpu(ex->ee_len) - 1) { 1607a86c6181SAlex Tomas printk("strange request: removal %lu-%lu from %u:%u\n", 1608a86c6181SAlex Tomas from, to, le32_to_cpu(ex->ee_block), le16_to_cpu(ex->ee_len)); 1609a86c6181SAlex Tomas } else { 1610a86c6181SAlex Tomas printk("strange request: removal(2) %lu-%lu from %u:%u\n", 1611a86c6181SAlex Tomas from, to, le32_to_cpu(ex->ee_block), le16_to_cpu(ex->ee_len)); 1612a86c6181SAlex Tomas } 1613a86c6181SAlex Tomas return 0; 1614a86c6181SAlex Tomas } 1615a86c6181SAlex Tomas 1616a86c6181SAlex Tomas static int 1617a86c6181SAlex Tomas ext4_ext_rm_leaf(handle_t *handle, struct inode *inode, 1618a86c6181SAlex Tomas struct ext4_ext_path *path, unsigned long start) 1619a86c6181SAlex Tomas { 1620a86c6181SAlex Tomas int err = 0, correct_index = 0; 1621a86c6181SAlex Tomas int depth = ext_depth(inode), credits; 1622a86c6181SAlex Tomas struct ext4_extent_header *eh; 1623a86c6181SAlex Tomas unsigned a, b, block, num; 1624a86c6181SAlex Tomas unsigned long ex_ee_block; 1625a86c6181SAlex Tomas unsigned short ex_ee_len; 1626a86c6181SAlex Tomas struct ext4_extent *ex; 1627a86c6181SAlex Tomas 1628a86c6181SAlex Tomas ext_debug("truncate since %lu in leaf\n", start); 1629a86c6181SAlex Tomas if (!path[depth].p_hdr) 1630a86c6181SAlex Tomas path[depth].p_hdr = ext_block_hdr(path[depth].p_bh); 1631a86c6181SAlex Tomas eh = path[depth].p_hdr; 1632a86c6181SAlex Tomas BUG_ON(eh == NULL); 1633a86c6181SAlex Tomas BUG_ON(le16_to_cpu(eh->eh_entries) > le16_to_cpu(eh->eh_max)); 1634a86c6181SAlex Tomas BUG_ON(eh->eh_magic != EXT4_EXT_MAGIC); 1635a86c6181SAlex Tomas 1636a86c6181SAlex Tomas /* find where to start removing */ 1637a86c6181SAlex Tomas ex = EXT_LAST_EXTENT(eh); 1638a86c6181SAlex Tomas 1639a86c6181SAlex Tomas ex_ee_block = le32_to_cpu(ex->ee_block); 1640a86c6181SAlex Tomas ex_ee_len = le16_to_cpu(ex->ee_len); 1641a86c6181SAlex Tomas 1642a86c6181SAlex Tomas while (ex >= EXT_FIRST_EXTENT(eh) && 1643a86c6181SAlex Tomas ex_ee_block + ex_ee_len > start) { 1644a86c6181SAlex Tomas ext_debug("remove ext %lu:%u\n", ex_ee_block, ex_ee_len); 1645a86c6181SAlex Tomas path[depth].p_ext = ex; 1646a86c6181SAlex Tomas 1647a86c6181SAlex Tomas a = ex_ee_block > start ? ex_ee_block : start; 1648a86c6181SAlex Tomas b = ex_ee_block + ex_ee_len - 1 < EXT_MAX_BLOCK ? 1649a86c6181SAlex Tomas ex_ee_block + ex_ee_len - 1 : EXT_MAX_BLOCK; 1650a86c6181SAlex Tomas 1651a86c6181SAlex Tomas ext_debug(" border %u:%u\n", a, b); 1652a86c6181SAlex Tomas 1653a86c6181SAlex Tomas if (a != ex_ee_block && b != ex_ee_block + ex_ee_len - 1) { 1654a86c6181SAlex Tomas block = 0; 1655a86c6181SAlex Tomas num = 0; 1656a86c6181SAlex Tomas BUG(); 1657a86c6181SAlex Tomas } else if (a != ex_ee_block) { 1658a86c6181SAlex Tomas /* remove tail of the extent */ 1659a86c6181SAlex Tomas block = ex_ee_block; 1660a86c6181SAlex Tomas num = a - block; 1661a86c6181SAlex Tomas } else if (b != ex_ee_block + ex_ee_len - 1) { 1662a86c6181SAlex Tomas /* remove head of the extent */ 1663a86c6181SAlex Tomas block = a; 1664a86c6181SAlex Tomas num = b - a; 1665a86c6181SAlex Tomas /* there is no "make a hole" API yet */ 1666a86c6181SAlex Tomas BUG(); 1667a86c6181SAlex Tomas } else { 1668a86c6181SAlex Tomas /* remove whole extent: excellent! */ 1669a86c6181SAlex Tomas block = ex_ee_block; 1670a86c6181SAlex Tomas num = 0; 1671a86c6181SAlex Tomas BUG_ON(a != ex_ee_block); 1672a86c6181SAlex Tomas BUG_ON(b != ex_ee_block + ex_ee_len - 1); 1673a86c6181SAlex Tomas } 1674a86c6181SAlex Tomas 1675d0d856e8SRandy Dunlap /* at present, extent can't cross block group: */ 1676a86c6181SAlex Tomas /* leaf + bitmap + group desc + sb + inode */ 1677a86c6181SAlex Tomas credits = 5; 1678a86c6181SAlex Tomas if (ex == EXT_FIRST_EXTENT(eh)) { 1679a86c6181SAlex Tomas correct_index = 1; 1680a86c6181SAlex Tomas credits += (ext_depth(inode)) + 1; 1681a86c6181SAlex Tomas } 1682a86c6181SAlex Tomas #ifdef CONFIG_QUOTA 1683a86c6181SAlex Tomas credits += 2 * EXT4_QUOTA_TRANS_BLOCKS(inode->i_sb); 1684a86c6181SAlex Tomas #endif 1685a86c6181SAlex Tomas 1686a86c6181SAlex Tomas handle = ext4_ext_journal_restart(handle, credits); 1687a86c6181SAlex Tomas if (IS_ERR(handle)) { 1688a86c6181SAlex Tomas err = PTR_ERR(handle); 1689a86c6181SAlex Tomas goto out; 1690a86c6181SAlex Tomas } 1691a86c6181SAlex Tomas 1692a86c6181SAlex Tomas err = ext4_ext_get_access(handle, inode, path + depth); 1693a86c6181SAlex Tomas if (err) 1694a86c6181SAlex Tomas goto out; 1695a86c6181SAlex Tomas 1696a86c6181SAlex Tomas err = ext4_remove_blocks(handle, inode, ex, a, b); 1697a86c6181SAlex Tomas if (err) 1698a86c6181SAlex Tomas goto out; 1699a86c6181SAlex Tomas 1700a86c6181SAlex Tomas if (num == 0) { 1701d0d856e8SRandy Dunlap /* this extent is removed; mark slot entirely unused */ 1702f65e6fbaSAlex Tomas ext4_ext_store_pblock(ex, 0); 1703a86c6181SAlex Tomas eh->eh_entries = cpu_to_le16(le16_to_cpu(eh->eh_entries)-1); 1704a86c6181SAlex Tomas } 1705a86c6181SAlex Tomas 1706a86c6181SAlex Tomas ex->ee_block = cpu_to_le32(block); 1707a86c6181SAlex Tomas ex->ee_len = cpu_to_le16(num); 1708a86c6181SAlex Tomas 1709a86c6181SAlex Tomas err = ext4_ext_dirty(handle, inode, path + depth); 1710a86c6181SAlex Tomas if (err) 1711a86c6181SAlex Tomas goto out; 1712a86c6181SAlex Tomas 17132ae02107SMingming Cao ext_debug("new extent: %u:%u:%llu\n", block, num, 1714f65e6fbaSAlex Tomas ext_pblock(ex)); 1715a86c6181SAlex Tomas ex--; 1716a86c6181SAlex Tomas ex_ee_block = le32_to_cpu(ex->ee_block); 1717a86c6181SAlex Tomas ex_ee_len = le16_to_cpu(ex->ee_len); 1718a86c6181SAlex Tomas } 1719a86c6181SAlex Tomas 1720a86c6181SAlex Tomas if (correct_index && eh->eh_entries) 1721a86c6181SAlex Tomas err = ext4_ext_correct_indexes(handle, inode, path); 1722a86c6181SAlex Tomas 1723a86c6181SAlex Tomas /* if this leaf is free, then we should 1724a86c6181SAlex Tomas * remove it from index block above */ 1725a86c6181SAlex Tomas if (err == 0 && eh->eh_entries == 0 && path[depth].p_bh != NULL) 1726a86c6181SAlex Tomas err = ext4_ext_rm_idx(handle, inode, path + depth); 1727a86c6181SAlex Tomas 1728a86c6181SAlex Tomas out: 1729a86c6181SAlex Tomas return err; 1730a86c6181SAlex Tomas } 1731a86c6181SAlex Tomas 1732a86c6181SAlex Tomas /* 1733d0d856e8SRandy Dunlap * ext4_ext_more_to_rm: 1734d0d856e8SRandy Dunlap * returns 1 if current index has to be freed (even partial) 1735a86c6181SAlex Tomas */ 1736a86c6181SAlex Tomas static int inline 1737a86c6181SAlex Tomas ext4_ext_more_to_rm(struct ext4_ext_path *path) 1738a86c6181SAlex Tomas { 1739a86c6181SAlex Tomas BUG_ON(path->p_idx == NULL); 1740a86c6181SAlex Tomas 1741a86c6181SAlex Tomas if (path->p_idx < EXT_FIRST_INDEX(path->p_hdr)) 1742a86c6181SAlex Tomas return 0; 1743a86c6181SAlex Tomas 1744a86c6181SAlex Tomas /* 1745d0d856e8SRandy Dunlap * if truncate on deeper level happened, it wasn't partial, 1746a86c6181SAlex Tomas * so we have to consider current index for truncation 1747a86c6181SAlex Tomas */ 1748a86c6181SAlex Tomas if (le16_to_cpu(path->p_hdr->eh_entries) == path->p_block) 1749a86c6181SAlex Tomas return 0; 1750a86c6181SAlex Tomas return 1; 1751a86c6181SAlex Tomas } 1752a86c6181SAlex Tomas 1753a86c6181SAlex Tomas int ext4_ext_remove_space(struct inode *inode, unsigned long start) 1754a86c6181SAlex Tomas { 1755a86c6181SAlex Tomas struct super_block *sb = inode->i_sb; 1756a86c6181SAlex Tomas int depth = ext_depth(inode); 1757a86c6181SAlex Tomas struct ext4_ext_path *path; 1758a86c6181SAlex Tomas handle_t *handle; 1759a86c6181SAlex Tomas int i = 0, err = 0; 1760a86c6181SAlex Tomas 1761a86c6181SAlex Tomas ext_debug("truncate since %lu\n", start); 1762a86c6181SAlex Tomas 1763a86c6181SAlex Tomas /* probably first extent we're gonna free will be last in block */ 1764a86c6181SAlex Tomas handle = ext4_journal_start(inode, depth + 1); 1765a86c6181SAlex Tomas if (IS_ERR(handle)) 1766a86c6181SAlex Tomas return PTR_ERR(handle); 1767a86c6181SAlex Tomas 1768a86c6181SAlex Tomas ext4_ext_invalidate_cache(inode); 1769a86c6181SAlex Tomas 1770a86c6181SAlex Tomas /* 1771d0d856e8SRandy Dunlap * We start scanning from right side, freeing all the blocks 1772d0d856e8SRandy Dunlap * after i_size and walking into the tree depth-wise. 1773a86c6181SAlex Tomas */ 1774*5d4958f9SAvantika Mathur path = kzalloc(sizeof(struct ext4_ext_path) * (depth + 1), GFP_KERNEL); 1775a86c6181SAlex Tomas if (path == NULL) { 1776a86c6181SAlex Tomas ext4_journal_stop(handle); 1777a86c6181SAlex Tomas return -ENOMEM; 1778a86c6181SAlex Tomas } 1779a86c6181SAlex Tomas path[0].p_hdr = ext_inode_hdr(inode); 1780a86c6181SAlex Tomas if (ext4_ext_check_header(__FUNCTION__, inode, path[0].p_hdr)) { 1781a86c6181SAlex Tomas err = -EIO; 1782a86c6181SAlex Tomas goto out; 1783a86c6181SAlex Tomas } 1784a86c6181SAlex Tomas path[0].p_depth = depth; 1785a86c6181SAlex Tomas 1786a86c6181SAlex Tomas while (i >= 0 && err == 0) { 1787a86c6181SAlex Tomas if (i == depth) { 1788a86c6181SAlex Tomas /* this is leaf block */ 1789a86c6181SAlex Tomas err = ext4_ext_rm_leaf(handle, inode, path, start); 1790d0d856e8SRandy Dunlap /* root level has p_bh == NULL, brelse() eats this */ 1791a86c6181SAlex Tomas brelse(path[i].p_bh); 1792a86c6181SAlex Tomas path[i].p_bh = NULL; 1793a86c6181SAlex Tomas i--; 1794a86c6181SAlex Tomas continue; 1795a86c6181SAlex Tomas } 1796a86c6181SAlex Tomas 1797a86c6181SAlex Tomas /* this is index block */ 1798a86c6181SAlex Tomas if (!path[i].p_hdr) { 1799a86c6181SAlex Tomas ext_debug("initialize header\n"); 1800a86c6181SAlex Tomas path[i].p_hdr = ext_block_hdr(path[i].p_bh); 1801a86c6181SAlex Tomas if (ext4_ext_check_header(__FUNCTION__, inode, 1802a86c6181SAlex Tomas path[i].p_hdr)) { 1803a86c6181SAlex Tomas err = -EIO; 1804a86c6181SAlex Tomas goto out; 1805a86c6181SAlex Tomas } 1806a86c6181SAlex Tomas } 1807a86c6181SAlex Tomas 1808a86c6181SAlex Tomas BUG_ON(le16_to_cpu(path[i].p_hdr->eh_entries) 1809a86c6181SAlex Tomas > le16_to_cpu(path[i].p_hdr->eh_max)); 1810a86c6181SAlex Tomas BUG_ON(path[i].p_hdr->eh_magic != EXT4_EXT_MAGIC); 1811a86c6181SAlex Tomas 1812a86c6181SAlex Tomas if (!path[i].p_idx) { 1813d0d856e8SRandy Dunlap /* this level hasn't been touched yet */ 1814a86c6181SAlex Tomas path[i].p_idx = EXT_LAST_INDEX(path[i].p_hdr); 1815a86c6181SAlex Tomas path[i].p_block = le16_to_cpu(path[i].p_hdr->eh_entries)+1; 1816a86c6181SAlex Tomas ext_debug("init index ptr: hdr 0x%p, num %d\n", 1817a86c6181SAlex Tomas path[i].p_hdr, 1818a86c6181SAlex Tomas le16_to_cpu(path[i].p_hdr->eh_entries)); 1819a86c6181SAlex Tomas } else { 1820d0d856e8SRandy Dunlap /* we were already here, see at next index */ 1821a86c6181SAlex Tomas path[i].p_idx--; 1822a86c6181SAlex Tomas } 1823a86c6181SAlex Tomas 1824a86c6181SAlex Tomas ext_debug("level %d - index, first 0x%p, cur 0x%p\n", 1825a86c6181SAlex Tomas i, EXT_FIRST_INDEX(path[i].p_hdr), 1826a86c6181SAlex Tomas path[i].p_idx); 1827a86c6181SAlex Tomas if (ext4_ext_more_to_rm(path + i)) { 1828a86c6181SAlex Tomas /* go to the next level */ 18292ae02107SMingming Cao ext_debug("move to level %d (block %llu)\n", 1830f65e6fbaSAlex Tomas i + 1, idx_pblock(path[i].p_idx)); 1831a86c6181SAlex Tomas memset(path + i + 1, 0, sizeof(*path)); 1832a86c6181SAlex Tomas path[i+1].p_bh = 1833f65e6fbaSAlex Tomas sb_bread(sb, idx_pblock(path[i].p_idx)); 1834a86c6181SAlex Tomas if (!path[i+1].p_bh) { 1835a86c6181SAlex Tomas /* should we reset i_size? */ 1836a86c6181SAlex Tomas err = -EIO; 1837a86c6181SAlex Tomas break; 1838a86c6181SAlex Tomas } 1839a86c6181SAlex Tomas 1840d0d856e8SRandy Dunlap /* save actual number of indexes since this 1841d0d856e8SRandy Dunlap * number is changed at the next iteration */ 1842a86c6181SAlex Tomas path[i].p_block = le16_to_cpu(path[i].p_hdr->eh_entries); 1843a86c6181SAlex Tomas i++; 1844a86c6181SAlex Tomas } else { 1845d0d856e8SRandy Dunlap /* we finished processing this index, go up */ 1846a86c6181SAlex Tomas if (path[i].p_hdr->eh_entries == 0 && i > 0) { 1847d0d856e8SRandy Dunlap /* index is empty, remove it; 1848a86c6181SAlex Tomas * handle must be already prepared by the 1849a86c6181SAlex Tomas * truncatei_leaf() */ 1850a86c6181SAlex Tomas err = ext4_ext_rm_idx(handle, inode, path + i); 1851a86c6181SAlex Tomas } 1852d0d856e8SRandy Dunlap /* root level has p_bh == NULL, brelse() eats this */ 1853a86c6181SAlex Tomas brelse(path[i].p_bh); 1854a86c6181SAlex Tomas path[i].p_bh = NULL; 1855a86c6181SAlex Tomas i--; 1856a86c6181SAlex Tomas ext_debug("return to level %d\n", i); 1857a86c6181SAlex Tomas } 1858a86c6181SAlex Tomas } 1859a86c6181SAlex Tomas 1860a86c6181SAlex Tomas /* TODO: flexible tree reduction should be here */ 1861a86c6181SAlex Tomas if (path->p_hdr->eh_entries == 0) { 1862a86c6181SAlex Tomas /* 1863d0d856e8SRandy Dunlap * truncate to zero freed all the tree, 1864d0d856e8SRandy Dunlap * so we need to correct eh_depth 1865a86c6181SAlex Tomas */ 1866a86c6181SAlex Tomas err = ext4_ext_get_access(handle, inode, path); 1867a86c6181SAlex Tomas if (err == 0) { 1868a86c6181SAlex Tomas ext_inode_hdr(inode)->eh_depth = 0; 1869a86c6181SAlex Tomas ext_inode_hdr(inode)->eh_max = 1870a86c6181SAlex Tomas cpu_to_le16(ext4_ext_space_root(inode)); 1871a86c6181SAlex Tomas err = ext4_ext_dirty(handle, inode, path); 1872a86c6181SAlex Tomas } 1873a86c6181SAlex Tomas } 1874a86c6181SAlex Tomas out: 1875a86c6181SAlex Tomas ext4_ext_tree_changed(inode); 1876a86c6181SAlex Tomas ext4_ext_drop_refs(path); 1877a86c6181SAlex Tomas kfree(path); 1878a86c6181SAlex Tomas ext4_journal_stop(handle); 1879a86c6181SAlex Tomas 1880a86c6181SAlex Tomas return err; 1881a86c6181SAlex Tomas } 1882a86c6181SAlex Tomas 1883a86c6181SAlex Tomas /* 1884a86c6181SAlex Tomas * called at mount time 1885a86c6181SAlex Tomas */ 1886a86c6181SAlex Tomas void ext4_ext_init(struct super_block *sb) 1887a86c6181SAlex Tomas { 1888a86c6181SAlex Tomas /* 1889a86c6181SAlex Tomas * possible initialization would be here 1890a86c6181SAlex Tomas */ 1891a86c6181SAlex Tomas 1892a86c6181SAlex Tomas if (test_opt(sb, EXTENTS)) { 1893a86c6181SAlex Tomas printk("EXT4-fs: file extents enabled"); 1894a86c6181SAlex Tomas #ifdef AGRESSIVE_TEST 1895a86c6181SAlex Tomas printk(", agressive tests"); 1896a86c6181SAlex Tomas #endif 1897a86c6181SAlex Tomas #ifdef CHECK_BINSEARCH 1898a86c6181SAlex Tomas printk(", check binsearch"); 1899a86c6181SAlex Tomas #endif 1900a86c6181SAlex Tomas #ifdef EXTENTS_STATS 1901a86c6181SAlex Tomas printk(", stats"); 1902a86c6181SAlex Tomas #endif 1903a86c6181SAlex Tomas printk("\n"); 1904a86c6181SAlex Tomas #ifdef EXTENTS_STATS 1905a86c6181SAlex Tomas spin_lock_init(&EXT4_SB(sb)->s_ext_stats_lock); 1906a86c6181SAlex Tomas EXT4_SB(sb)->s_ext_min = 1 << 30; 1907a86c6181SAlex Tomas EXT4_SB(sb)->s_ext_max = 0; 1908a86c6181SAlex Tomas #endif 1909a86c6181SAlex Tomas } 1910a86c6181SAlex Tomas } 1911a86c6181SAlex Tomas 1912a86c6181SAlex Tomas /* 1913a86c6181SAlex Tomas * called at umount time 1914a86c6181SAlex Tomas */ 1915a86c6181SAlex Tomas void ext4_ext_release(struct super_block *sb) 1916a86c6181SAlex Tomas { 1917a86c6181SAlex Tomas if (!test_opt(sb, EXTENTS)) 1918a86c6181SAlex Tomas return; 1919a86c6181SAlex Tomas 1920a86c6181SAlex Tomas #ifdef EXTENTS_STATS 1921a86c6181SAlex Tomas if (EXT4_SB(sb)->s_ext_blocks && EXT4_SB(sb)->s_ext_extents) { 1922a86c6181SAlex Tomas struct ext4_sb_info *sbi = EXT4_SB(sb); 1923a86c6181SAlex Tomas printk(KERN_ERR "EXT4-fs: %lu blocks in %lu extents (%lu ave)\n", 1924a86c6181SAlex Tomas sbi->s_ext_blocks, sbi->s_ext_extents, 1925a86c6181SAlex Tomas sbi->s_ext_blocks / sbi->s_ext_extents); 1926a86c6181SAlex Tomas printk(KERN_ERR "EXT4-fs: extents: %lu min, %lu max, max depth %lu\n", 1927a86c6181SAlex Tomas sbi->s_ext_min, sbi->s_ext_max, sbi->s_depth_max); 1928a86c6181SAlex Tomas } 1929a86c6181SAlex Tomas #endif 1930a86c6181SAlex Tomas } 1931a86c6181SAlex Tomas 1932f65e6fbaSAlex Tomas int ext4_ext_get_blocks(handle_t *handle, struct inode *inode, 1933f65e6fbaSAlex Tomas ext4_fsblk_t iblock, 1934a86c6181SAlex Tomas unsigned long max_blocks, struct buffer_head *bh_result, 1935a86c6181SAlex Tomas int create, int extend_disksize) 1936a86c6181SAlex Tomas { 1937a86c6181SAlex Tomas struct ext4_ext_path *path = NULL; 1938a86c6181SAlex Tomas struct ext4_extent newex, *ex; 1939f65e6fbaSAlex Tomas ext4_fsblk_t goal, newblock; 1940f65e6fbaSAlex Tomas int err = 0, depth; 1941a86c6181SAlex Tomas unsigned long allocated = 0; 1942a86c6181SAlex Tomas 1943a86c6181SAlex Tomas __clear_bit(BH_New, &bh_result->b_state); 1944a86c6181SAlex Tomas ext_debug("blocks %d/%lu requested for inode %u\n", (int) iblock, 1945a86c6181SAlex Tomas max_blocks, (unsigned) inode->i_ino); 1946a86c6181SAlex Tomas mutex_lock(&EXT4_I(inode)->truncate_mutex); 1947a86c6181SAlex Tomas 1948a86c6181SAlex Tomas /* check in cache */ 19497e028976SAvantika Mathur goal = ext4_ext_in_cache(inode, iblock, &newex); 19507e028976SAvantika Mathur if (goal) { 1951a86c6181SAlex Tomas if (goal == EXT4_EXT_CACHE_GAP) { 1952a86c6181SAlex Tomas if (!create) { 1953a86c6181SAlex Tomas /* block isn't allocated yet and 1954d0d856e8SRandy Dunlap * user doesn't want to allocate it */ 1955a86c6181SAlex Tomas goto out2; 1956a86c6181SAlex Tomas } 1957a86c6181SAlex Tomas /* we should allocate requested block */ 1958a86c6181SAlex Tomas } else if (goal == EXT4_EXT_CACHE_EXTENT) { 1959a86c6181SAlex Tomas /* block is already allocated */ 1960a86c6181SAlex Tomas newblock = iblock 1961a86c6181SAlex Tomas - le32_to_cpu(newex.ee_block) 1962f65e6fbaSAlex Tomas + ext_pblock(&newex); 1963d0d856e8SRandy Dunlap /* number of remaining blocks in the extent */ 1964a86c6181SAlex Tomas allocated = le16_to_cpu(newex.ee_len) - 1965a86c6181SAlex Tomas (iblock - le32_to_cpu(newex.ee_block)); 1966a86c6181SAlex Tomas goto out; 1967a86c6181SAlex Tomas } else { 1968a86c6181SAlex Tomas BUG(); 1969a86c6181SAlex Tomas } 1970a86c6181SAlex Tomas } 1971a86c6181SAlex Tomas 1972a86c6181SAlex Tomas /* find extent for this block */ 1973a86c6181SAlex Tomas path = ext4_ext_find_extent(inode, iblock, NULL); 1974a86c6181SAlex Tomas if (IS_ERR(path)) { 1975a86c6181SAlex Tomas err = PTR_ERR(path); 1976a86c6181SAlex Tomas path = NULL; 1977a86c6181SAlex Tomas goto out2; 1978a86c6181SAlex Tomas } 1979a86c6181SAlex Tomas 1980a86c6181SAlex Tomas depth = ext_depth(inode); 1981a86c6181SAlex Tomas 1982a86c6181SAlex Tomas /* 1983d0d856e8SRandy Dunlap * consistent leaf must not be empty; 1984d0d856e8SRandy Dunlap * this situation is possible, though, _during_ tree modification; 1985a86c6181SAlex Tomas * this is why assert can't be put in ext4_ext_find_extent() 1986a86c6181SAlex Tomas */ 1987a86c6181SAlex Tomas BUG_ON(path[depth].p_ext == NULL && depth != 0); 1988a86c6181SAlex Tomas 19897e028976SAvantika Mathur ex = path[depth].p_ext; 19907e028976SAvantika Mathur if (ex) { 1991a86c6181SAlex Tomas unsigned long ee_block = le32_to_cpu(ex->ee_block); 1992f65e6fbaSAlex Tomas ext4_fsblk_t ee_start = ext_pblock(ex); 1993a86c6181SAlex Tomas unsigned short ee_len = le16_to_cpu(ex->ee_len); 1994471d4011SSuparna Bhattacharya 1995471d4011SSuparna Bhattacharya /* 1996471d4011SSuparna Bhattacharya * Allow future support for preallocated extents to be added 1997471d4011SSuparna Bhattacharya * as an RO_COMPAT feature: 1998471d4011SSuparna Bhattacharya * Uninitialized extents are treated as holes, except that 1999471d4011SSuparna Bhattacharya * we avoid (fail) allocating new blocks during a write. 2000471d4011SSuparna Bhattacharya */ 2001471d4011SSuparna Bhattacharya if (ee_len > EXT_MAX_LEN) 2002471d4011SSuparna Bhattacharya goto out2; 2003d0d856e8SRandy Dunlap /* if found extent covers block, simply return it */ 2004a86c6181SAlex Tomas if (iblock >= ee_block && iblock < ee_block + ee_len) { 2005a86c6181SAlex Tomas newblock = iblock - ee_block + ee_start; 2006d0d856e8SRandy Dunlap /* number of remaining blocks in the extent */ 2007a86c6181SAlex Tomas allocated = ee_len - (iblock - ee_block); 20082ae02107SMingming Cao ext_debug("%d fit into %lu:%d -> %llu\n", (int) iblock, 2009a86c6181SAlex Tomas ee_block, ee_len, newblock); 2010a86c6181SAlex Tomas ext4_ext_put_in_cache(inode, ee_block, ee_len, 2011a86c6181SAlex Tomas ee_start, EXT4_EXT_CACHE_EXTENT); 2012a86c6181SAlex Tomas goto out; 2013a86c6181SAlex Tomas } 2014a86c6181SAlex Tomas } 2015a86c6181SAlex Tomas 2016a86c6181SAlex Tomas /* 2017d0d856e8SRandy Dunlap * requested block isn't allocated yet; 2018a86c6181SAlex Tomas * we couldn't try to create block if create flag is zero 2019a86c6181SAlex Tomas */ 2020a86c6181SAlex Tomas if (!create) { 2021d0d856e8SRandy Dunlap /* put just found gap into cache to speed up 2022d0d856e8SRandy Dunlap * subsequent requests */ 2023a86c6181SAlex Tomas ext4_ext_put_gap_in_cache(inode, path, iblock); 2024a86c6181SAlex Tomas goto out2; 2025a86c6181SAlex Tomas } 2026a86c6181SAlex Tomas /* 2027a86c6181SAlex Tomas * Okay, we need to do block allocation. Lazily initialize the block 2028d0d856e8SRandy Dunlap * allocation info here if necessary. 2029a86c6181SAlex Tomas */ 2030a86c6181SAlex Tomas if (S_ISREG(inode->i_mode) && (!EXT4_I(inode)->i_block_alloc_info)) 2031a86c6181SAlex Tomas ext4_init_block_alloc_info(inode); 2032a86c6181SAlex Tomas 2033a86c6181SAlex Tomas /* allocate new block */ 2034a86c6181SAlex Tomas goal = ext4_ext_find_goal(inode, path, iblock); 2035a86c6181SAlex Tomas allocated = max_blocks; 2036a86c6181SAlex Tomas newblock = ext4_new_blocks(handle, inode, goal, &allocated, &err); 2037a86c6181SAlex Tomas if (!newblock) 2038a86c6181SAlex Tomas goto out2; 20392ae02107SMingming Cao ext_debug("allocate new block: goal %llu, found %llu/%lu\n", 2040a86c6181SAlex Tomas goal, newblock, allocated); 2041a86c6181SAlex Tomas 2042a86c6181SAlex Tomas /* try to insert new extent into found leaf and return */ 2043a86c6181SAlex Tomas newex.ee_block = cpu_to_le32(iblock); 2044f65e6fbaSAlex Tomas ext4_ext_store_pblock(&newex, newblock); 2045a86c6181SAlex Tomas newex.ee_len = cpu_to_le16(allocated); 2046a86c6181SAlex Tomas err = ext4_ext_insert_extent(handle, inode, path, &newex); 2047a86c6181SAlex Tomas if (err) 2048a86c6181SAlex Tomas goto out2; 2049a86c6181SAlex Tomas 2050a86c6181SAlex Tomas if (extend_disksize && inode->i_size > EXT4_I(inode)->i_disksize) 2051a86c6181SAlex Tomas EXT4_I(inode)->i_disksize = inode->i_size; 2052a86c6181SAlex Tomas 2053a86c6181SAlex Tomas /* previous routine could use block we allocated */ 2054f65e6fbaSAlex Tomas newblock = ext_pblock(&newex); 2055a86c6181SAlex Tomas __set_bit(BH_New, &bh_result->b_state); 2056a86c6181SAlex Tomas 2057a86c6181SAlex Tomas ext4_ext_put_in_cache(inode, iblock, allocated, newblock, 2058a86c6181SAlex Tomas EXT4_EXT_CACHE_EXTENT); 2059a86c6181SAlex Tomas out: 2060a86c6181SAlex Tomas if (allocated > max_blocks) 2061a86c6181SAlex Tomas allocated = max_blocks; 2062a86c6181SAlex Tomas ext4_ext_show_leaf(inode, path); 2063a86c6181SAlex Tomas __set_bit(BH_Mapped, &bh_result->b_state); 2064a86c6181SAlex Tomas bh_result->b_bdev = inode->i_sb->s_bdev; 2065a86c6181SAlex Tomas bh_result->b_blocknr = newblock; 2066a86c6181SAlex Tomas out2: 2067a86c6181SAlex Tomas if (path) { 2068a86c6181SAlex Tomas ext4_ext_drop_refs(path); 2069a86c6181SAlex Tomas kfree(path); 2070a86c6181SAlex Tomas } 2071a86c6181SAlex Tomas mutex_unlock(&EXT4_I(inode)->truncate_mutex); 2072a86c6181SAlex Tomas 2073a86c6181SAlex Tomas return err ? err : allocated; 2074a86c6181SAlex Tomas } 2075a86c6181SAlex Tomas 2076a86c6181SAlex Tomas void ext4_ext_truncate(struct inode * inode, struct page *page) 2077a86c6181SAlex Tomas { 2078a86c6181SAlex Tomas struct address_space *mapping = inode->i_mapping; 2079a86c6181SAlex Tomas struct super_block *sb = inode->i_sb; 2080a86c6181SAlex Tomas unsigned long last_block; 2081a86c6181SAlex Tomas handle_t *handle; 2082a86c6181SAlex Tomas int err = 0; 2083a86c6181SAlex Tomas 2084a86c6181SAlex Tomas /* 2085a86c6181SAlex Tomas * probably first extent we're gonna free will be last in block 2086a86c6181SAlex Tomas */ 2087a86c6181SAlex Tomas err = ext4_writepage_trans_blocks(inode) + 3; 2088a86c6181SAlex Tomas handle = ext4_journal_start(inode, err); 2089a86c6181SAlex Tomas if (IS_ERR(handle)) { 2090a86c6181SAlex Tomas if (page) { 2091a86c6181SAlex Tomas clear_highpage(page); 2092a86c6181SAlex Tomas flush_dcache_page(page); 2093a86c6181SAlex Tomas unlock_page(page); 2094a86c6181SAlex Tomas page_cache_release(page); 2095a86c6181SAlex Tomas } 2096a86c6181SAlex Tomas return; 2097a86c6181SAlex Tomas } 2098a86c6181SAlex Tomas 2099a86c6181SAlex Tomas if (page) 2100a86c6181SAlex Tomas ext4_block_truncate_page(handle, page, mapping, inode->i_size); 2101a86c6181SAlex Tomas 2102a86c6181SAlex Tomas mutex_lock(&EXT4_I(inode)->truncate_mutex); 2103a86c6181SAlex Tomas ext4_ext_invalidate_cache(inode); 2104a86c6181SAlex Tomas 2105a86c6181SAlex Tomas /* 2106d0d856e8SRandy Dunlap * TODO: optimization is possible here. 2107d0d856e8SRandy Dunlap * Probably we need not scan at all, 2108d0d856e8SRandy Dunlap * because page truncation is enough. 2109a86c6181SAlex Tomas */ 2110a86c6181SAlex Tomas if (ext4_orphan_add(handle, inode)) 2111a86c6181SAlex Tomas goto out_stop; 2112a86c6181SAlex Tomas 2113a86c6181SAlex Tomas /* we have to know where to truncate from in crash case */ 2114a86c6181SAlex Tomas EXT4_I(inode)->i_disksize = inode->i_size; 2115a86c6181SAlex Tomas ext4_mark_inode_dirty(handle, inode); 2116a86c6181SAlex Tomas 2117a86c6181SAlex Tomas last_block = (inode->i_size + sb->s_blocksize - 1) 2118a86c6181SAlex Tomas >> EXT4_BLOCK_SIZE_BITS(sb); 2119a86c6181SAlex Tomas err = ext4_ext_remove_space(inode, last_block); 2120a86c6181SAlex Tomas 2121a86c6181SAlex Tomas /* In a multi-transaction truncate, we only make the final 2122d0d856e8SRandy Dunlap * transaction synchronous. */ 2123a86c6181SAlex Tomas if (IS_SYNC(inode)) 2124a86c6181SAlex Tomas handle->h_sync = 1; 2125a86c6181SAlex Tomas 2126a86c6181SAlex Tomas out_stop: 2127a86c6181SAlex Tomas /* 2128d0d856e8SRandy Dunlap * If this was a simple ftruncate() and the file will remain alive, 2129a86c6181SAlex Tomas * then we need to clear up the orphan record which we created above. 2130a86c6181SAlex Tomas * However, if this was a real unlink then we were called by 2131a86c6181SAlex Tomas * ext4_delete_inode(), and we allow that function to clean up the 2132a86c6181SAlex Tomas * orphan info for us. 2133a86c6181SAlex Tomas */ 2134a86c6181SAlex Tomas if (inode->i_nlink) 2135a86c6181SAlex Tomas ext4_orphan_del(handle, inode); 2136a86c6181SAlex Tomas 2137a86c6181SAlex Tomas mutex_unlock(&EXT4_I(inode)->truncate_mutex); 2138a86c6181SAlex Tomas ext4_journal_stop(handle); 2139a86c6181SAlex Tomas } 2140a86c6181SAlex Tomas 2141a86c6181SAlex Tomas /* 2142d0d856e8SRandy Dunlap * ext4_ext_writepage_trans_blocks: 2143d0d856e8SRandy Dunlap * calculate max number of blocks we could modify 2144a86c6181SAlex Tomas * in order to allocate new block for an inode 2145a86c6181SAlex Tomas */ 2146a86c6181SAlex Tomas int ext4_ext_writepage_trans_blocks(struct inode *inode, int num) 2147a86c6181SAlex Tomas { 2148a86c6181SAlex Tomas int needed; 2149a86c6181SAlex Tomas 2150a86c6181SAlex Tomas needed = ext4_ext_calc_credits_for_insert(inode, NULL); 2151a86c6181SAlex Tomas 2152d0d856e8SRandy Dunlap /* caller wants to allocate num blocks, but note it includes sb */ 2153a86c6181SAlex Tomas needed = needed * num - (num - 1); 2154a86c6181SAlex Tomas 2155a86c6181SAlex Tomas #ifdef CONFIG_QUOTA 2156a86c6181SAlex Tomas needed += 2 * EXT4_QUOTA_TRANS_BLOCKS(inode->i_sb); 2157a86c6181SAlex Tomas #endif 2158a86c6181SAlex Tomas 2159a86c6181SAlex Tomas return needed; 2160a86c6181SAlex Tomas } 2161a86c6181SAlex Tomas 2162a86c6181SAlex Tomas EXPORT_SYMBOL(ext4_mark_inode_dirty); 2163a86c6181SAlex Tomas EXPORT_SYMBOL(ext4_ext_invalidate_cache); 2164a86c6181SAlex Tomas EXPORT_SYMBOL(ext4_ext_insert_extent); 2165a86c6181SAlex Tomas EXPORT_SYMBOL(ext4_ext_walk_space); 2166a86c6181SAlex Tomas EXPORT_SYMBOL(ext4_ext_find_goal); 2167a86c6181SAlex Tomas EXPORT_SYMBOL(ext4_ext_calc_credits_for_insert); 2168a86c6181SAlex Tomas 2169