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> 36cd02ff0bSMingming Cao #include <linux/jbd2.h> 37a86c6181SAlex Tomas #include <linux/highuid.h> 38a86c6181SAlex Tomas #include <linux/pagemap.h> 39a86c6181SAlex Tomas #include <linux/quotaops.h> 40a86c6181SAlex Tomas #include <linux/string.h> 41a86c6181SAlex Tomas #include <linux/slab.h> 42a2df2a63SAmit Arora #include <linux/falloc.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 */ 5109b88252SAvantika Mathur static ext4_fsblk_t ext_pblock(struct ext4_extent *ex) 52f65e6fbaSAlex Tomas { 53f65e6fbaSAlex Tomas ext4_fsblk_t block; 54f65e6fbaSAlex Tomas 55b377611dSAneesh Kumar K.V block = le32_to_cpu(ex->ee_start_lo); 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 */ 6409b88252SAvantika Mathur static ext4_fsblk_t idx_pblock(struct ext4_extent_idx *ix) 65f65e6fbaSAlex Tomas { 66f65e6fbaSAlex Tomas ext4_fsblk_t block; 67f65e6fbaSAlex Tomas 68d8dd0b45SAneesh Kumar K.V block = le32_to_cpu(ix->ei_leaf_lo); 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 */ 7809b88252SAvantika Mathur static void ext4_ext_store_pblock(struct ext4_extent *ex, ext4_fsblk_t pb) 79f65e6fbaSAlex Tomas { 80b377611dSAneesh Kumar K.V ex->ee_start_lo = 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 */ 8909b88252SAvantika Mathur static void ext4_idx_store_pblock(struct ext4_extent_idx *ix, ext4_fsblk_t pb) 90f65e6fbaSAlex Tomas { 91d8dd0b45SAneesh Kumar K.V ix->ei_leaf_lo = 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 handle_t *ext4_ext_journal_restart(handle_t *handle, int needed) 96a86c6181SAlex Tomas { 97a86c6181SAlex Tomas int err; 98a86c6181SAlex Tomas 99a86c6181SAlex Tomas if (handle->h_buffer_credits > needed) 100a86c6181SAlex Tomas return handle; 101a86c6181SAlex Tomas if (!ext4_journal_extend(handle, needed)) 102a86c6181SAlex Tomas return handle; 103a86c6181SAlex Tomas err = ext4_journal_restart(handle, needed); 104a86c6181SAlex Tomas 105a86c6181SAlex Tomas return handle; 106a86c6181SAlex Tomas } 107a86c6181SAlex Tomas 108a86c6181SAlex Tomas /* 109a86c6181SAlex Tomas * could return: 110a86c6181SAlex Tomas * - EROFS 111a86c6181SAlex Tomas * - ENOMEM 112a86c6181SAlex Tomas */ 113a86c6181SAlex Tomas static int ext4_ext_get_access(handle_t *handle, struct inode *inode, 114a86c6181SAlex Tomas struct ext4_ext_path *path) 115a86c6181SAlex Tomas { 116a86c6181SAlex Tomas if (path->p_bh) { 117a86c6181SAlex Tomas /* path points to block */ 118a86c6181SAlex Tomas return ext4_journal_get_write_access(handle, path->p_bh); 119a86c6181SAlex Tomas } 120a86c6181SAlex Tomas /* path points to leaf/index in inode body */ 121a86c6181SAlex Tomas /* we use in-core data, no need to protect them */ 122a86c6181SAlex Tomas return 0; 123a86c6181SAlex Tomas } 124a86c6181SAlex Tomas 125a86c6181SAlex Tomas /* 126a86c6181SAlex Tomas * could return: 127a86c6181SAlex Tomas * - EROFS 128a86c6181SAlex Tomas * - ENOMEM 129a86c6181SAlex Tomas * - EIO 130a86c6181SAlex Tomas */ 131a86c6181SAlex Tomas static int ext4_ext_dirty(handle_t *handle, struct inode *inode, 132a86c6181SAlex Tomas struct ext4_ext_path *path) 133a86c6181SAlex Tomas { 134a86c6181SAlex Tomas int err; 135a86c6181SAlex Tomas if (path->p_bh) { 136a86c6181SAlex Tomas /* path points to block */ 137a86c6181SAlex Tomas err = ext4_journal_dirty_metadata(handle, path->p_bh); 138a86c6181SAlex Tomas } else { 139a86c6181SAlex Tomas /* path points to leaf/index in inode body */ 140a86c6181SAlex Tomas err = ext4_mark_inode_dirty(handle, inode); 141a86c6181SAlex Tomas } 142a86c6181SAlex Tomas return err; 143a86c6181SAlex Tomas } 144a86c6181SAlex Tomas 145f65e6fbaSAlex Tomas static ext4_fsblk_t ext4_ext_find_goal(struct inode *inode, 146a86c6181SAlex Tomas struct ext4_ext_path *path, 147725d26d3SAneesh Kumar K.V ext4_lblk_t block) 148a86c6181SAlex Tomas { 149a86c6181SAlex Tomas struct ext4_inode_info *ei = EXT4_I(inode); 150f65e6fbaSAlex Tomas ext4_fsblk_t bg_start; 151f65e6fbaSAlex Tomas ext4_grpblk_t colour; 152a86c6181SAlex Tomas int depth; 153a86c6181SAlex Tomas 154a86c6181SAlex Tomas if (path) { 155a86c6181SAlex Tomas struct ext4_extent *ex; 156a86c6181SAlex Tomas depth = path->p_depth; 157a86c6181SAlex Tomas 158a86c6181SAlex Tomas /* try to predict block placement */ 1597e028976SAvantika Mathur ex = path[depth].p_ext; 1607e028976SAvantika Mathur if (ex) 161f65e6fbaSAlex Tomas return ext_pblock(ex)+(block-le32_to_cpu(ex->ee_block)); 162a86c6181SAlex Tomas 163d0d856e8SRandy Dunlap /* it looks like index is empty; 164d0d856e8SRandy Dunlap * try to find starting block from index itself */ 165a86c6181SAlex Tomas if (path[depth].p_bh) 166a86c6181SAlex Tomas return path[depth].p_bh->b_blocknr; 167a86c6181SAlex Tomas } 168a86c6181SAlex Tomas 169a86c6181SAlex Tomas /* OK. use inode's group */ 170a86c6181SAlex Tomas bg_start = (ei->i_block_group * EXT4_BLOCKS_PER_GROUP(inode->i_sb)) + 171a86c6181SAlex Tomas le32_to_cpu(EXT4_SB(inode->i_sb)->s_es->s_first_data_block); 172a86c6181SAlex Tomas colour = (current->pid % 16) * 173a86c6181SAlex Tomas (EXT4_BLOCKS_PER_GROUP(inode->i_sb) / 16); 174a86c6181SAlex Tomas return bg_start + colour + block; 175a86c6181SAlex Tomas } 176a86c6181SAlex Tomas 177f65e6fbaSAlex Tomas static ext4_fsblk_t 178a86c6181SAlex Tomas ext4_ext_new_block(handle_t *handle, struct inode *inode, 179a86c6181SAlex Tomas struct ext4_ext_path *path, 180a86c6181SAlex Tomas struct ext4_extent *ex, int *err) 181a86c6181SAlex Tomas { 182f65e6fbaSAlex Tomas ext4_fsblk_t goal, newblock; 183a86c6181SAlex Tomas 184a86c6181SAlex Tomas goal = ext4_ext_find_goal(inode, path, le32_to_cpu(ex->ee_block)); 185a86c6181SAlex Tomas newblock = ext4_new_block(handle, inode, goal, err); 186a86c6181SAlex Tomas return newblock; 187a86c6181SAlex Tomas } 188a86c6181SAlex Tomas 18909b88252SAvantika Mathur static int ext4_ext_space_block(struct inode *inode) 190a86c6181SAlex Tomas { 191a86c6181SAlex Tomas int size; 192a86c6181SAlex Tomas 193a86c6181SAlex Tomas size = (inode->i_sb->s_blocksize - sizeof(struct ext4_extent_header)) 194a86c6181SAlex Tomas / sizeof(struct ext4_extent); 195bbf2f9fbSRobert P. J. Day #ifdef AGGRESSIVE_TEST 196a86c6181SAlex Tomas if (size > 6) 197a86c6181SAlex Tomas size = 6; 198a86c6181SAlex Tomas #endif 199a86c6181SAlex Tomas return size; 200a86c6181SAlex Tomas } 201a86c6181SAlex Tomas 20209b88252SAvantika Mathur static int ext4_ext_space_block_idx(struct inode *inode) 203a86c6181SAlex Tomas { 204a86c6181SAlex Tomas int size; 205a86c6181SAlex Tomas 206a86c6181SAlex Tomas size = (inode->i_sb->s_blocksize - sizeof(struct ext4_extent_header)) 207a86c6181SAlex Tomas / sizeof(struct ext4_extent_idx); 208bbf2f9fbSRobert P. J. Day #ifdef AGGRESSIVE_TEST 209a86c6181SAlex Tomas if (size > 5) 210a86c6181SAlex Tomas size = 5; 211a86c6181SAlex Tomas #endif 212a86c6181SAlex Tomas return size; 213a86c6181SAlex Tomas } 214a86c6181SAlex Tomas 21509b88252SAvantika Mathur static int ext4_ext_space_root(struct inode *inode) 216a86c6181SAlex Tomas { 217a86c6181SAlex Tomas int size; 218a86c6181SAlex Tomas 219a86c6181SAlex Tomas size = sizeof(EXT4_I(inode)->i_data); 220a86c6181SAlex Tomas size -= sizeof(struct ext4_extent_header); 221a86c6181SAlex Tomas size /= sizeof(struct ext4_extent); 222bbf2f9fbSRobert P. J. Day #ifdef AGGRESSIVE_TEST 223a86c6181SAlex Tomas if (size > 3) 224a86c6181SAlex Tomas size = 3; 225a86c6181SAlex Tomas #endif 226a86c6181SAlex Tomas return size; 227a86c6181SAlex Tomas } 228a86c6181SAlex Tomas 22909b88252SAvantika Mathur static int ext4_ext_space_root_idx(struct inode *inode) 230a86c6181SAlex Tomas { 231a86c6181SAlex Tomas int size; 232a86c6181SAlex Tomas 233a86c6181SAlex Tomas size = sizeof(EXT4_I(inode)->i_data); 234a86c6181SAlex Tomas size -= sizeof(struct ext4_extent_header); 235a86c6181SAlex Tomas size /= sizeof(struct ext4_extent_idx); 236bbf2f9fbSRobert P. J. Day #ifdef AGGRESSIVE_TEST 237a86c6181SAlex Tomas if (size > 4) 238a86c6181SAlex Tomas size = 4; 239a86c6181SAlex Tomas #endif 240a86c6181SAlex Tomas return size; 241a86c6181SAlex Tomas } 242a86c6181SAlex Tomas 243c29c0ae7SAlex Tomas static int 244c29c0ae7SAlex Tomas ext4_ext_max_entries(struct inode *inode, int depth) 245c29c0ae7SAlex Tomas { 246c29c0ae7SAlex Tomas int max; 247c29c0ae7SAlex Tomas 248c29c0ae7SAlex Tomas if (depth == ext_depth(inode)) { 249c29c0ae7SAlex Tomas if (depth == 0) 250c29c0ae7SAlex Tomas max = ext4_ext_space_root(inode); 251c29c0ae7SAlex Tomas else 252c29c0ae7SAlex Tomas max = ext4_ext_space_root_idx(inode); 253c29c0ae7SAlex Tomas } else { 254c29c0ae7SAlex Tomas if (depth == 0) 255c29c0ae7SAlex Tomas max = ext4_ext_space_block(inode); 256c29c0ae7SAlex Tomas else 257c29c0ae7SAlex Tomas max = ext4_ext_space_block_idx(inode); 258c29c0ae7SAlex Tomas } 259c29c0ae7SAlex Tomas 260c29c0ae7SAlex Tomas return max; 261c29c0ae7SAlex Tomas } 262c29c0ae7SAlex Tomas 263c29c0ae7SAlex Tomas static int __ext4_ext_check_header(const char *function, struct inode *inode, 264c29c0ae7SAlex Tomas struct ext4_extent_header *eh, 265c29c0ae7SAlex Tomas int depth) 266c29c0ae7SAlex Tomas { 267c29c0ae7SAlex Tomas const char *error_msg; 268c29c0ae7SAlex Tomas int max = 0; 269c29c0ae7SAlex Tomas 270c29c0ae7SAlex Tomas if (unlikely(eh->eh_magic != EXT4_EXT_MAGIC)) { 271c29c0ae7SAlex Tomas error_msg = "invalid magic"; 272c29c0ae7SAlex Tomas goto corrupted; 273c29c0ae7SAlex Tomas } 274c29c0ae7SAlex Tomas if (unlikely(le16_to_cpu(eh->eh_depth) != depth)) { 275c29c0ae7SAlex Tomas error_msg = "unexpected eh_depth"; 276c29c0ae7SAlex Tomas goto corrupted; 277c29c0ae7SAlex Tomas } 278c29c0ae7SAlex Tomas if (unlikely(eh->eh_max == 0)) { 279c29c0ae7SAlex Tomas error_msg = "invalid eh_max"; 280c29c0ae7SAlex Tomas goto corrupted; 281c29c0ae7SAlex Tomas } 282c29c0ae7SAlex Tomas max = ext4_ext_max_entries(inode, depth); 283c29c0ae7SAlex Tomas if (unlikely(le16_to_cpu(eh->eh_max) > max)) { 284c29c0ae7SAlex Tomas error_msg = "too large eh_max"; 285c29c0ae7SAlex Tomas goto corrupted; 286c29c0ae7SAlex Tomas } 287c29c0ae7SAlex Tomas if (unlikely(le16_to_cpu(eh->eh_entries) > le16_to_cpu(eh->eh_max))) { 288c29c0ae7SAlex Tomas error_msg = "invalid eh_entries"; 289c29c0ae7SAlex Tomas goto corrupted; 290c29c0ae7SAlex Tomas } 291c29c0ae7SAlex Tomas return 0; 292c29c0ae7SAlex Tomas 293c29c0ae7SAlex Tomas corrupted: 294c29c0ae7SAlex Tomas ext4_error(inode->i_sb, function, 295c29c0ae7SAlex Tomas "bad header in inode #%lu: %s - magic %x, " 296c29c0ae7SAlex Tomas "entries %u, max %u(%u), depth %u(%u)", 297c29c0ae7SAlex Tomas inode->i_ino, error_msg, le16_to_cpu(eh->eh_magic), 298c29c0ae7SAlex Tomas le16_to_cpu(eh->eh_entries), le16_to_cpu(eh->eh_max), 299c29c0ae7SAlex Tomas max, le16_to_cpu(eh->eh_depth), depth); 300c29c0ae7SAlex Tomas 301c29c0ae7SAlex Tomas return -EIO; 302c29c0ae7SAlex Tomas } 303c29c0ae7SAlex Tomas 304c29c0ae7SAlex Tomas #define ext4_ext_check_header(inode, eh, depth) \ 305c29c0ae7SAlex Tomas __ext4_ext_check_header(__FUNCTION__, inode, eh, depth) 306c29c0ae7SAlex Tomas 307a86c6181SAlex Tomas #ifdef EXT_DEBUG 308a86c6181SAlex Tomas static void ext4_ext_show_path(struct inode *inode, struct ext4_ext_path *path) 309a86c6181SAlex Tomas { 310a86c6181SAlex Tomas int k, l = path->p_depth; 311a86c6181SAlex Tomas 312a86c6181SAlex Tomas ext_debug("path:"); 313a86c6181SAlex Tomas for (k = 0; k <= l; k++, path++) { 314a86c6181SAlex Tomas if (path->p_idx) { 3152ae02107SMingming Cao ext_debug(" %d->%llu", le32_to_cpu(path->p_idx->ei_block), 316f65e6fbaSAlex Tomas idx_pblock(path->p_idx)); 317a86c6181SAlex Tomas } else if (path->p_ext) { 3182ae02107SMingming Cao ext_debug(" %d:%d:%llu ", 319a86c6181SAlex Tomas le32_to_cpu(path->p_ext->ee_block), 320a2df2a63SAmit Arora ext4_ext_get_actual_len(path->p_ext), 321f65e6fbaSAlex Tomas ext_pblock(path->p_ext)); 322a86c6181SAlex Tomas } else 323a86c6181SAlex Tomas ext_debug(" []"); 324a86c6181SAlex Tomas } 325a86c6181SAlex Tomas ext_debug("\n"); 326a86c6181SAlex Tomas } 327a86c6181SAlex Tomas 328a86c6181SAlex Tomas static void ext4_ext_show_leaf(struct inode *inode, struct ext4_ext_path *path) 329a86c6181SAlex Tomas { 330a86c6181SAlex Tomas int depth = ext_depth(inode); 331a86c6181SAlex Tomas struct ext4_extent_header *eh; 332a86c6181SAlex Tomas struct ext4_extent *ex; 333a86c6181SAlex Tomas int i; 334a86c6181SAlex Tomas 335a86c6181SAlex Tomas if (!path) 336a86c6181SAlex Tomas return; 337a86c6181SAlex Tomas 338a86c6181SAlex Tomas eh = path[depth].p_hdr; 339a86c6181SAlex Tomas ex = EXT_FIRST_EXTENT(eh); 340a86c6181SAlex Tomas 341a86c6181SAlex Tomas for (i = 0; i < le16_to_cpu(eh->eh_entries); i++, ex++) { 3422ae02107SMingming Cao ext_debug("%d:%d:%llu ", le32_to_cpu(ex->ee_block), 343a2df2a63SAmit Arora ext4_ext_get_actual_len(ex), ext_pblock(ex)); 344a86c6181SAlex Tomas } 345a86c6181SAlex Tomas ext_debug("\n"); 346a86c6181SAlex Tomas } 347a86c6181SAlex Tomas #else 348a86c6181SAlex Tomas #define ext4_ext_show_path(inode,path) 349a86c6181SAlex Tomas #define ext4_ext_show_leaf(inode,path) 350a86c6181SAlex Tomas #endif 351a86c6181SAlex Tomas 352a86c6181SAlex Tomas static void ext4_ext_drop_refs(struct ext4_ext_path *path) 353a86c6181SAlex Tomas { 354a86c6181SAlex Tomas int depth = path->p_depth; 355a86c6181SAlex Tomas int i; 356a86c6181SAlex Tomas 357a86c6181SAlex Tomas for (i = 0; i <= depth; i++, path++) 358a86c6181SAlex Tomas if (path->p_bh) { 359a86c6181SAlex Tomas brelse(path->p_bh); 360a86c6181SAlex Tomas path->p_bh = NULL; 361a86c6181SAlex Tomas } 362a86c6181SAlex Tomas } 363a86c6181SAlex Tomas 364a86c6181SAlex Tomas /* 365d0d856e8SRandy Dunlap * ext4_ext_binsearch_idx: 366d0d856e8SRandy Dunlap * binary search for the closest index of the given block 367c29c0ae7SAlex Tomas * the header must be checked before calling this 368a86c6181SAlex Tomas */ 369a86c6181SAlex Tomas static void 370725d26d3SAneesh Kumar K.V ext4_ext_binsearch_idx(struct inode *inode, 371725d26d3SAneesh Kumar K.V struct ext4_ext_path *path, ext4_lblk_t block) 372a86c6181SAlex Tomas { 373a86c6181SAlex Tomas struct ext4_extent_header *eh = path->p_hdr; 374a86c6181SAlex Tomas struct ext4_extent_idx *r, *l, *m; 375a86c6181SAlex Tomas 376a86c6181SAlex Tomas 377*bba90743SEric Sandeen ext_debug("binsearch for %u(idx): ", block); 378a86c6181SAlex Tomas 379a86c6181SAlex Tomas l = EXT_FIRST_INDEX(eh) + 1; 380e9f410b1SDmitry Monakhov r = EXT_LAST_INDEX(eh); 381a86c6181SAlex Tomas while (l <= r) { 382a86c6181SAlex Tomas m = l + (r - l) / 2; 383a86c6181SAlex Tomas if (block < le32_to_cpu(m->ei_block)) 384a86c6181SAlex Tomas r = m - 1; 385a86c6181SAlex Tomas else 386a86c6181SAlex Tomas l = m + 1; 38726d535edSDmitry Monakhov ext_debug("%p(%u):%p(%u):%p(%u) ", l, le32_to_cpu(l->ei_block), 38826d535edSDmitry Monakhov m, le32_to_cpu(m->ei_block), 38926d535edSDmitry Monakhov r, le32_to_cpu(r->ei_block)); 390a86c6181SAlex Tomas } 391a86c6181SAlex Tomas 392a86c6181SAlex Tomas path->p_idx = l - 1; 393f65e6fbaSAlex Tomas ext_debug(" -> %d->%lld ", le32_to_cpu(path->p_idx->ei_block), 39426d535edSDmitry Monakhov idx_pblock(path->p_idx)); 395a86c6181SAlex Tomas 396a86c6181SAlex Tomas #ifdef CHECK_BINSEARCH 397a86c6181SAlex Tomas { 398a86c6181SAlex Tomas struct ext4_extent_idx *chix, *ix; 399a86c6181SAlex Tomas int k; 400a86c6181SAlex Tomas 401a86c6181SAlex Tomas chix = ix = EXT_FIRST_INDEX(eh); 402a86c6181SAlex Tomas for (k = 0; k < le16_to_cpu(eh->eh_entries); k++, ix++) { 403a86c6181SAlex Tomas if (k != 0 && 404a86c6181SAlex Tomas le32_to_cpu(ix->ei_block) <= le32_to_cpu(ix[-1].ei_block)) { 405a86c6181SAlex Tomas printk("k=%d, ix=0x%p, first=0x%p\n", k, 406a86c6181SAlex Tomas ix, EXT_FIRST_INDEX(eh)); 407a86c6181SAlex Tomas printk("%u <= %u\n", 408a86c6181SAlex Tomas le32_to_cpu(ix->ei_block), 409a86c6181SAlex Tomas le32_to_cpu(ix[-1].ei_block)); 410a86c6181SAlex Tomas } 411a86c6181SAlex Tomas BUG_ON(k && le32_to_cpu(ix->ei_block) 412a86c6181SAlex Tomas <= le32_to_cpu(ix[-1].ei_block)); 413a86c6181SAlex Tomas if (block < le32_to_cpu(ix->ei_block)) 414a86c6181SAlex Tomas break; 415a86c6181SAlex Tomas chix = ix; 416a86c6181SAlex Tomas } 417a86c6181SAlex Tomas BUG_ON(chix != path->p_idx); 418a86c6181SAlex Tomas } 419a86c6181SAlex Tomas #endif 420a86c6181SAlex Tomas 421a86c6181SAlex Tomas } 422a86c6181SAlex Tomas 423a86c6181SAlex Tomas /* 424d0d856e8SRandy Dunlap * ext4_ext_binsearch: 425d0d856e8SRandy Dunlap * binary search for closest extent of the given block 426c29c0ae7SAlex Tomas * the header must be checked before calling this 427a86c6181SAlex Tomas */ 428a86c6181SAlex Tomas static void 429725d26d3SAneesh Kumar K.V ext4_ext_binsearch(struct inode *inode, 430725d26d3SAneesh Kumar K.V struct ext4_ext_path *path, ext4_lblk_t block) 431a86c6181SAlex Tomas { 432a86c6181SAlex Tomas struct ext4_extent_header *eh = path->p_hdr; 433a86c6181SAlex Tomas struct ext4_extent *r, *l, *m; 434a86c6181SAlex Tomas 435a86c6181SAlex Tomas if (eh->eh_entries == 0) { 436a86c6181SAlex Tomas /* 437d0d856e8SRandy Dunlap * this leaf is empty: 438a86c6181SAlex Tomas * we get such a leaf in split/add case 439a86c6181SAlex Tomas */ 440a86c6181SAlex Tomas return; 441a86c6181SAlex Tomas } 442a86c6181SAlex Tomas 443*bba90743SEric Sandeen ext_debug("binsearch for %u: ", block); 444a86c6181SAlex Tomas 445a86c6181SAlex Tomas l = EXT_FIRST_EXTENT(eh) + 1; 446e9f410b1SDmitry Monakhov r = EXT_LAST_EXTENT(eh); 447a86c6181SAlex Tomas 448a86c6181SAlex Tomas while (l <= r) { 449a86c6181SAlex Tomas m = l + (r - l) / 2; 450a86c6181SAlex Tomas if (block < le32_to_cpu(m->ee_block)) 451a86c6181SAlex Tomas r = m - 1; 452a86c6181SAlex Tomas else 453a86c6181SAlex Tomas l = m + 1; 45426d535edSDmitry Monakhov ext_debug("%p(%u):%p(%u):%p(%u) ", l, le32_to_cpu(l->ee_block), 45526d535edSDmitry Monakhov m, le32_to_cpu(m->ee_block), 45626d535edSDmitry Monakhov r, le32_to_cpu(r->ee_block)); 457a86c6181SAlex Tomas } 458a86c6181SAlex Tomas 459a86c6181SAlex Tomas path->p_ext = l - 1; 4602ae02107SMingming Cao ext_debug(" -> %d:%llu:%d ", 461a86c6181SAlex Tomas le32_to_cpu(path->p_ext->ee_block), 462f65e6fbaSAlex Tomas ext_pblock(path->p_ext), 463a2df2a63SAmit Arora ext4_ext_get_actual_len(path->p_ext)); 464a86c6181SAlex Tomas 465a86c6181SAlex Tomas #ifdef CHECK_BINSEARCH 466a86c6181SAlex Tomas { 467a86c6181SAlex Tomas struct ext4_extent *chex, *ex; 468a86c6181SAlex Tomas int k; 469a86c6181SAlex Tomas 470a86c6181SAlex Tomas chex = ex = EXT_FIRST_EXTENT(eh); 471a86c6181SAlex Tomas for (k = 0; k < le16_to_cpu(eh->eh_entries); k++, ex++) { 472a86c6181SAlex Tomas BUG_ON(k && le32_to_cpu(ex->ee_block) 473a86c6181SAlex Tomas <= le32_to_cpu(ex[-1].ee_block)); 474a86c6181SAlex Tomas if (block < le32_to_cpu(ex->ee_block)) 475a86c6181SAlex Tomas break; 476a86c6181SAlex Tomas chex = ex; 477a86c6181SAlex Tomas } 478a86c6181SAlex Tomas BUG_ON(chex != path->p_ext); 479a86c6181SAlex Tomas } 480a86c6181SAlex Tomas #endif 481a86c6181SAlex Tomas 482a86c6181SAlex Tomas } 483a86c6181SAlex Tomas 484a86c6181SAlex Tomas int ext4_ext_tree_init(handle_t *handle, struct inode *inode) 485a86c6181SAlex Tomas { 486a86c6181SAlex Tomas struct ext4_extent_header *eh; 487a86c6181SAlex Tomas 488a86c6181SAlex Tomas eh = ext_inode_hdr(inode); 489a86c6181SAlex Tomas eh->eh_depth = 0; 490a86c6181SAlex Tomas eh->eh_entries = 0; 491a86c6181SAlex Tomas eh->eh_magic = EXT4_EXT_MAGIC; 492a86c6181SAlex Tomas eh->eh_max = cpu_to_le16(ext4_ext_space_root(inode)); 493a86c6181SAlex Tomas ext4_mark_inode_dirty(handle, inode); 494a86c6181SAlex Tomas ext4_ext_invalidate_cache(inode); 495a86c6181SAlex Tomas return 0; 496a86c6181SAlex Tomas } 497a86c6181SAlex Tomas 498a86c6181SAlex Tomas struct ext4_ext_path * 499725d26d3SAneesh Kumar K.V ext4_ext_find_extent(struct inode *inode, ext4_lblk_t block, 500725d26d3SAneesh Kumar K.V struct ext4_ext_path *path) 501a86c6181SAlex Tomas { 502a86c6181SAlex Tomas struct ext4_extent_header *eh; 503a86c6181SAlex Tomas struct buffer_head *bh; 504a86c6181SAlex Tomas short int depth, i, ppos = 0, alloc = 0; 505a86c6181SAlex Tomas 506a86c6181SAlex Tomas eh = ext_inode_hdr(inode); 507c29c0ae7SAlex Tomas depth = ext_depth(inode); 508c29c0ae7SAlex Tomas if (ext4_ext_check_header(inode, eh, depth)) 509a86c6181SAlex Tomas return ERR_PTR(-EIO); 510a86c6181SAlex Tomas 511a86c6181SAlex Tomas 512a86c6181SAlex Tomas /* account possible depth increase */ 513a86c6181SAlex Tomas if (!path) { 5145d4958f9SAvantika Mathur path = kzalloc(sizeof(struct ext4_ext_path) * (depth + 2), 515a86c6181SAlex Tomas GFP_NOFS); 516a86c6181SAlex Tomas if (!path) 517a86c6181SAlex Tomas return ERR_PTR(-ENOMEM); 518a86c6181SAlex Tomas alloc = 1; 519a86c6181SAlex Tomas } 520a86c6181SAlex Tomas path[0].p_hdr = eh; 521a86c6181SAlex Tomas 522c29c0ae7SAlex Tomas i = depth; 523a86c6181SAlex Tomas /* walk through the tree */ 524a86c6181SAlex Tomas while (i) { 525a86c6181SAlex Tomas ext_debug("depth %d: num %d, max %d\n", 526a86c6181SAlex Tomas ppos, le16_to_cpu(eh->eh_entries), le16_to_cpu(eh->eh_max)); 527c29c0ae7SAlex Tomas 528a86c6181SAlex Tomas ext4_ext_binsearch_idx(inode, path + ppos, block); 529f65e6fbaSAlex Tomas path[ppos].p_block = idx_pblock(path[ppos].p_idx); 530a86c6181SAlex Tomas path[ppos].p_depth = i; 531a86c6181SAlex Tomas path[ppos].p_ext = NULL; 532a86c6181SAlex Tomas 533a86c6181SAlex Tomas bh = sb_bread(inode->i_sb, path[ppos].p_block); 534a86c6181SAlex Tomas if (!bh) 535a86c6181SAlex Tomas goto err; 536a86c6181SAlex Tomas 537a86c6181SAlex Tomas eh = ext_block_hdr(bh); 538a86c6181SAlex Tomas ppos++; 539a86c6181SAlex Tomas BUG_ON(ppos > depth); 540a86c6181SAlex Tomas path[ppos].p_bh = bh; 541a86c6181SAlex Tomas path[ppos].p_hdr = eh; 542a86c6181SAlex Tomas i--; 543a86c6181SAlex Tomas 544c29c0ae7SAlex Tomas if (ext4_ext_check_header(inode, eh, i)) 545a86c6181SAlex Tomas goto err; 546a86c6181SAlex Tomas } 547a86c6181SAlex Tomas 548a86c6181SAlex Tomas path[ppos].p_depth = i; 549a86c6181SAlex Tomas path[ppos].p_hdr = eh; 550a86c6181SAlex Tomas path[ppos].p_ext = NULL; 551a86c6181SAlex Tomas path[ppos].p_idx = NULL; 552a86c6181SAlex Tomas 553a86c6181SAlex Tomas /* find extent */ 554a86c6181SAlex Tomas ext4_ext_binsearch(inode, path + ppos, block); 555a86c6181SAlex Tomas 556a86c6181SAlex Tomas ext4_ext_show_path(inode, path); 557a86c6181SAlex Tomas 558a86c6181SAlex Tomas return path; 559a86c6181SAlex Tomas 560a86c6181SAlex Tomas err: 561a86c6181SAlex Tomas ext4_ext_drop_refs(path); 562a86c6181SAlex Tomas if (alloc) 563a86c6181SAlex Tomas kfree(path); 564a86c6181SAlex Tomas return ERR_PTR(-EIO); 565a86c6181SAlex Tomas } 566a86c6181SAlex Tomas 567a86c6181SAlex Tomas /* 568d0d856e8SRandy Dunlap * ext4_ext_insert_index: 569d0d856e8SRandy Dunlap * insert new index [@logical;@ptr] into the block at @curp; 570d0d856e8SRandy Dunlap * check where to insert: before @curp or after @curp 571a86c6181SAlex Tomas */ 572a86c6181SAlex Tomas static int ext4_ext_insert_index(handle_t *handle, struct inode *inode, 573a86c6181SAlex Tomas struct ext4_ext_path *curp, 574f65e6fbaSAlex Tomas int logical, ext4_fsblk_t ptr) 575a86c6181SAlex Tomas { 576a86c6181SAlex Tomas struct ext4_extent_idx *ix; 577a86c6181SAlex Tomas int len, err; 578a86c6181SAlex Tomas 5797e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, curp); 5807e028976SAvantika Mathur if (err) 581a86c6181SAlex Tomas return err; 582a86c6181SAlex Tomas 583a86c6181SAlex Tomas BUG_ON(logical == le32_to_cpu(curp->p_idx->ei_block)); 584a86c6181SAlex Tomas len = EXT_MAX_INDEX(curp->p_hdr) - curp->p_idx; 585a86c6181SAlex Tomas if (logical > le32_to_cpu(curp->p_idx->ei_block)) { 586a86c6181SAlex Tomas /* insert after */ 587a86c6181SAlex Tomas if (curp->p_idx != EXT_LAST_INDEX(curp->p_hdr)) { 588a86c6181SAlex Tomas len = (len - 1) * sizeof(struct ext4_extent_idx); 589a86c6181SAlex Tomas len = len < 0 ? 0 : len; 59026d535edSDmitry Monakhov ext_debug("insert new index %d after: %llu. " 591a86c6181SAlex Tomas "move %d from 0x%p to 0x%p\n", 592a86c6181SAlex Tomas logical, ptr, len, 593a86c6181SAlex Tomas (curp->p_idx + 1), (curp->p_idx + 2)); 594a86c6181SAlex Tomas memmove(curp->p_idx + 2, curp->p_idx + 1, len); 595a86c6181SAlex Tomas } 596a86c6181SAlex Tomas ix = curp->p_idx + 1; 597a86c6181SAlex Tomas } else { 598a86c6181SAlex Tomas /* insert before */ 599a86c6181SAlex Tomas len = len * sizeof(struct ext4_extent_idx); 600a86c6181SAlex Tomas len = len < 0 ? 0 : len; 60126d535edSDmitry Monakhov ext_debug("insert new index %d before: %llu. " 602a86c6181SAlex Tomas "move %d from 0x%p to 0x%p\n", 603a86c6181SAlex Tomas logical, ptr, len, 604a86c6181SAlex Tomas curp->p_idx, (curp->p_idx + 1)); 605a86c6181SAlex Tomas memmove(curp->p_idx + 1, curp->p_idx, len); 606a86c6181SAlex Tomas ix = curp->p_idx; 607a86c6181SAlex Tomas } 608a86c6181SAlex Tomas 609a86c6181SAlex Tomas ix->ei_block = cpu_to_le32(logical); 610f65e6fbaSAlex Tomas ext4_idx_store_pblock(ix, ptr); 611a86c6181SAlex Tomas curp->p_hdr->eh_entries = cpu_to_le16(le16_to_cpu(curp->p_hdr->eh_entries)+1); 612a86c6181SAlex Tomas 613a86c6181SAlex Tomas BUG_ON(le16_to_cpu(curp->p_hdr->eh_entries) 614a86c6181SAlex Tomas > le16_to_cpu(curp->p_hdr->eh_max)); 615a86c6181SAlex Tomas BUG_ON(ix > EXT_LAST_INDEX(curp->p_hdr)); 616a86c6181SAlex Tomas 617a86c6181SAlex Tomas err = ext4_ext_dirty(handle, inode, curp); 618a86c6181SAlex Tomas ext4_std_error(inode->i_sb, err); 619a86c6181SAlex Tomas 620a86c6181SAlex Tomas return err; 621a86c6181SAlex Tomas } 622a86c6181SAlex Tomas 623a86c6181SAlex Tomas /* 624d0d856e8SRandy Dunlap * ext4_ext_split: 625d0d856e8SRandy Dunlap * inserts new subtree into the path, using free index entry 626d0d856e8SRandy Dunlap * at depth @at: 627a86c6181SAlex Tomas * - allocates all needed blocks (new leaf and all intermediate index blocks) 628a86c6181SAlex Tomas * - makes decision where to split 629d0d856e8SRandy Dunlap * - moves remaining extents and index entries (right to the split point) 630a86c6181SAlex Tomas * into the newly allocated blocks 631d0d856e8SRandy Dunlap * - initializes subtree 632a86c6181SAlex Tomas */ 633a86c6181SAlex Tomas static int ext4_ext_split(handle_t *handle, struct inode *inode, 634a86c6181SAlex Tomas struct ext4_ext_path *path, 635a86c6181SAlex Tomas struct ext4_extent *newext, int at) 636a86c6181SAlex Tomas { 637a86c6181SAlex Tomas struct buffer_head *bh = NULL; 638a86c6181SAlex Tomas int depth = ext_depth(inode); 639a86c6181SAlex Tomas struct ext4_extent_header *neh; 640a86c6181SAlex Tomas struct ext4_extent_idx *fidx; 641a86c6181SAlex Tomas struct ext4_extent *ex; 642a86c6181SAlex Tomas int i = at, k, m, a; 643f65e6fbaSAlex Tomas ext4_fsblk_t newblock, oldblock; 644a86c6181SAlex Tomas __le32 border; 645f65e6fbaSAlex Tomas ext4_fsblk_t *ablocks = NULL; /* array of allocated blocks */ 646a86c6181SAlex Tomas int err = 0; 647a86c6181SAlex Tomas 648a86c6181SAlex Tomas /* make decision: where to split? */ 649d0d856e8SRandy Dunlap /* FIXME: now decision is simplest: at current extent */ 650a86c6181SAlex Tomas 651d0d856e8SRandy Dunlap /* if current leaf will be split, then we should use 652a86c6181SAlex Tomas * border from split point */ 653a86c6181SAlex Tomas BUG_ON(path[depth].p_ext > EXT_MAX_EXTENT(path[depth].p_hdr)); 654a86c6181SAlex Tomas if (path[depth].p_ext != EXT_MAX_EXTENT(path[depth].p_hdr)) { 655a86c6181SAlex Tomas border = path[depth].p_ext[1].ee_block; 656d0d856e8SRandy Dunlap ext_debug("leaf will be split." 657a86c6181SAlex Tomas " next leaf starts at %d\n", 658a86c6181SAlex Tomas le32_to_cpu(border)); 659a86c6181SAlex Tomas } else { 660a86c6181SAlex Tomas border = newext->ee_block; 661a86c6181SAlex Tomas ext_debug("leaf will be added." 662a86c6181SAlex Tomas " next leaf starts at %d\n", 663a86c6181SAlex Tomas le32_to_cpu(border)); 664a86c6181SAlex Tomas } 665a86c6181SAlex Tomas 666a86c6181SAlex Tomas /* 667d0d856e8SRandy Dunlap * If error occurs, then we break processing 668d0d856e8SRandy Dunlap * and mark filesystem read-only. index won't 669a86c6181SAlex Tomas * be inserted and tree will be in consistent 670d0d856e8SRandy Dunlap * state. Next mount will repair buffers too. 671a86c6181SAlex Tomas */ 672a86c6181SAlex Tomas 673a86c6181SAlex Tomas /* 674d0d856e8SRandy Dunlap * Get array to track all allocated blocks. 675d0d856e8SRandy Dunlap * We need this to handle errors and free blocks 676d0d856e8SRandy Dunlap * upon them. 677a86c6181SAlex Tomas */ 6785d4958f9SAvantika Mathur ablocks = kzalloc(sizeof(ext4_fsblk_t) * depth, GFP_NOFS); 679a86c6181SAlex Tomas if (!ablocks) 680a86c6181SAlex Tomas return -ENOMEM; 681a86c6181SAlex Tomas 682a86c6181SAlex Tomas /* allocate all needed blocks */ 683a86c6181SAlex Tomas ext_debug("allocate %d blocks for indexes/leaf\n", depth - at); 684a86c6181SAlex Tomas for (a = 0; a < depth - at; a++) { 685a86c6181SAlex Tomas newblock = ext4_ext_new_block(handle, inode, path, newext, &err); 686a86c6181SAlex Tomas if (newblock == 0) 687a86c6181SAlex Tomas goto cleanup; 688a86c6181SAlex Tomas ablocks[a] = newblock; 689a86c6181SAlex Tomas } 690a86c6181SAlex Tomas 691a86c6181SAlex Tomas /* initialize new leaf */ 692a86c6181SAlex Tomas newblock = ablocks[--a]; 693a86c6181SAlex Tomas BUG_ON(newblock == 0); 694a86c6181SAlex Tomas bh = sb_getblk(inode->i_sb, newblock); 695a86c6181SAlex Tomas if (!bh) { 696a86c6181SAlex Tomas err = -EIO; 697a86c6181SAlex Tomas goto cleanup; 698a86c6181SAlex Tomas } 699a86c6181SAlex Tomas lock_buffer(bh); 700a86c6181SAlex Tomas 7017e028976SAvantika Mathur err = ext4_journal_get_create_access(handle, bh); 7027e028976SAvantika Mathur if (err) 703a86c6181SAlex Tomas goto cleanup; 704a86c6181SAlex Tomas 705a86c6181SAlex Tomas neh = ext_block_hdr(bh); 706a86c6181SAlex Tomas neh->eh_entries = 0; 707a86c6181SAlex Tomas neh->eh_max = cpu_to_le16(ext4_ext_space_block(inode)); 708a86c6181SAlex Tomas neh->eh_magic = EXT4_EXT_MAGIC; 709a86c6181SAlex Tomas neh->eh_depth = 0; 710a86c6181SAlex Tomas ex = EXT_FIRST_EXTENT(neh); 711a86c6181SAlex Tomas 712d0d856e8SRandy Dunlap /* move remainder of path[depth] to the new leaf */ 713a86c6181SAlex Tomas BUG_ON(path[depth].p_hdr->eh_entries != path[depth].p_hdr->eh_max); 714a86c6181SAlex Tomas /* start copy from next extent */ 715a86c6181SAlex Tomas /* TODO: we could do it by single memmove */ 716a86c6181SAlex Tomas m = 0; 717a86c6181SAlex Tomas path[depth].p_ext++; 718a86c6181SAlex Tomas while (path[depth].p_ext <= 719a86c6181SAlex Tomas EXT_MAX_EXTENT(path[depth].p_hdr)) { 7202ae02107SMingming Cao ext_debug("move %d:%llu:%d in new leaf %llu\n", 721a86c6181SAlex Tomas le32_to_cpu(path[depth].p_ext->ee_block), 722f65e6fbaSAlex Tomas ext_pblock(path[depth].p_ext), 723a2df2a63SAmit Arora ext4_ext_get_actual_len(path[depth].p_ext), 724a86c6181SAlex Tomas newblock); 725a86c6181SAlex Tomas /*memmove(ex++, path[depth].p_ext++, 726a86c6181SAlex Tomas sizeof(struct ext4_extent)); 727a86c6181SAlex Tomas neh->eh_entries++;*/ 728a86c6181SAlex Tomas path[depth].p_ext++; 729a86c6181SAlex Tomas m++; 730a86c6181SAlex Tomas } 731a86c6181SAlex Tomas if (m) { 732a86c6181SAlex Tomas memmove(ex, path[depth].p_ext-m, sizeof(struct ext4_extent)*m); 733a86c6181SAlex Tomas neh->eh_entries = cpu_to_le16(le16_to_cpu(neh->eh_entries)+m); 734a86c6181SAlex Tomas } 735a86c6181SAlex Tomas 736a86c6181SAlex Tomas set_buffer_uptodate(bh); 737a86c6181SAlex Tomas unlock_buffer(bh); 738a86c6181SAlex Tomas 7397e028976SAvantika Mathur err = ext4_journal_dirty_metadata(handle, bh); 7407e028976SAvantika Mathur if (err) 741a86c6181SAlex Tomas goto cleanup; 742a86c6181SAlex Tomas brelse(bh); 743a86c6181SAlex Tomas bh = NULL; 744a86c6181SAlex Tomas 745a86c6181SAlex Tomas /* correct old leaf */ 746a86c6181SAlex Tomas if (m) { 7477e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, path + depth); 7487e028976SAvantika Mathur if (err) 749a86c6181SAlex Tomas goto cleanup; 750a86c6181SAlex Tomas path[depth].p_hdr->eh_entries = 751a86c6181SAlex Tomas cpu_to_le16(le16_to_cpu(path[depth].p_hdr->eh_entries)-m); 7527e028976SAvantika Mathur err = ext4_ext_dirty(handle, inode, path + depth); 7537e028976SAvantika Mathur if (err) 754a86c6181SAlex Tomas goto cleanup; 755a86c6181SAlex Tomas 756a86c6181SAlex Tomas } 757a86c6181SAlex Tomas 758a86c6181SAlex Tomas /* create intermediate indexes */ 759a86c6181SAlex Tomas k = depth - at - 1; 760a86c6181SAlex Tomas BUG_ON(k < 0); 761a86c6181SAlex Tomas if (k) 762a86c6181SAlex Tomas ext_debug("create %d intermediate indices\n", k); 763a86c6181SAlex Tomas /* insert new index into current index block */ 764a86c6181SAlex Tomas /* current depth stored in i var */ 765a86c6181SAlex Tomas i = depth - 1; 766a86c6181SAlex Tomas while (k--) { 767a86c6181SAlex Tomas oldblock = newblock; 768a86c6181SAlex Tomas newblock = ablocks[--a]; 769*bba90743SEric Sandeen bh = sb_getblk(inode->i_sb, newblock); 770a86c6181SAlex Tomas if (!bh) { 771a86c6181SAlex Tomas err = -EIO; 772a86c6181SAlex Tomas goto cleanup; 773a86c6181SAlex Tomas } 774a86c6181SAlex Tomas lock_buffer(bh); 775a86c6181SAlex Tomas 7767e028976SAvantika Mathur err = ext4_journal_get_create_access(handle, bh); 7777e028976SAvantika Mathur if (err) 778a86c6181SAlex Tomas goto cleanup; 779a86c6181SAlex Tomas 780a86c6181SAlex Tomas neh = ext_block_hdr(bh); 781a86c6181SAlex Tomas neh->eh_entries = cpu_to_le16(1); 782a86c6181SAlex Tomas neh->eh_magic = EXT4_EXT_MAGIC; 783a86c6181SAlex Tomas neh->eh_max = cpu_to_le16(ext4_ext_space_block_idx(inode)); 784a86c6181SAlex Tomas neh->eh_depth = cpu_to_le16(depth - i); 785a86c6181SAlex Tomas fidx = EXT_FIRST_INDEX(neh); 786a86c6181SAlex Tomas fidx->ei_block = border; 787f65e6fbaSAlex Tomas ext4_idx_store_pblock(fidx, oldblock); 788a86c6181SAlex Tomas 789*bba90743SEric Sandeen ext_debug("int.index at %d (block %llu): %u -> %llu\n", 790*bba90743SEric Sandeen i, newblock, le32_to_cpu(border), oldblock); 791a86c6181SAlex Tomas /* copy indexes */ 792a86c6181SAlex Tomas m = 0; 793a86c6181SAlex Tomas path[i].p_idx++; 794a86c6181SAlex Tomas 795a86c6181SAlex Tomas ext_debug("cur 0x%p, last 0x%p\n", path[i].p_idx, 796a86c6181SAlex Tomas EXT_MAX_INDEX(path[i].p_hdr)); 797a86c6181SAlex Tomas BUG_ON(EXT_MAX_INDEX(path[i].p_hdr) != 798a86c6181SAlex Tomas EXT_LAST_INDEX(path[i].p_hdr)); 799a86c6181SAlex Tomas while (path[i].p_idx <= EXT_MAX_INDEX(path[i].p_hdr)) { 80026d535edSDmitry Monakhov ext_debug("%d: move %d:%llu in new index %llu\n", i, 801a86c6181SAlex Tomas le32_to_cpu(path[i].p_idx->ei_block), 802f65e6fbaSAlex Tomas idx_pblock(path[i].p_idx), 803a86c6181SAlex Tomas newblock); 804a86c6181SAlex Tomas /*memmove(++fidx, path[i].p_idx++, 805a86c6181SAlex Tomas sizeof(struct ext4_extent_idx)); 806a86c6181SAlex Tomas neh->eh_entries++; 807a86c6181SAlex Tomas BUG_ON(neh->eh_entries > neh->eh_max);*/ 808a86c6181SAlex Tomas path[i].p_idx++; 809a86c6181SAlex Tomas m++; 810a86c6181SAlex Tomas } 811a86c6181SAlex Tomas if (m) { 812a86c6181SAlex Tomas memmove(++fidx, path[i].p_idx - m, 813a86c6181SAlex Tomas sizeof(struct ext4_extent_idx) * m); 814a86c6181SAlex Tomas neh->eh_entries = 815a86c6181SAlex Tomas cpu_to_le16(le16_to_cpu(neh->eh_entries) + m); 816a86c6181SAlex Tomas } 817a86c6181SAlex Tomas set_buffer_uptodate(bh); 818a86c6181SAlex Tomas unlock_buffer(bh); 819a86c6181SAlex Tomas 8207e028976SAvantika Mathur err = ext4_journal_dirty_metadata(handle, bh); 8217e028976SAvantika Mathur if (err) 822a86c6181SAlex Tomas goto cleanup; 823a86c6181SAlex Tomas brelse(bh); 824a86c6181SAlex Tomas bh = NULL; 825a86c6181SAlex Tomas 826a86c6181SAlex Tomas /* correct old index */ 827a86c6181SAlex Tomas if (m) { 828a86c6181SAlex Tomas err = ext4_ext_get_access(handle, inode, path + i); 829a86c6181SAlex Tomas if (err) 830a86c6181SAlex Tomas goto cleanup; 831a86c6181SAlex Tomas path[i].p_hdr->eh_entries = cpu_to_le16(le16_to_cpu(path[i].p_hdr->eh_entries)-m); 832a86c6181SAlex Tomas err = ext4_ext_dirty(handle, inode, path + i); 833a86c6181SAlex Tomas if (err) 834a86c6181SAlex Tomas goto cleanup; 835a86c6181SAlex Tomas } 836a86c6181SAlex Tomas 837a86c6181SAlex Tomas i--; 838a86c6181SAlex Tomas } 839a86c6181SAlex Tomas 840a86c6181SAlex Tomas /* insert new index */ 841a86c6181SAlex Tomas err = ext4_ext_insert_index(handle, inode, path + at, 842a86c6181SAlex Tomas le32_to_cpu(border), newblock); 843a86c6181SAlex Tomas 844a86c6181SAlex Tomas cleanup: 845a86c6181SAlex Tomas if (bh) { 846a86c6181SAlex Tomas if (buffer_locked(bh)) 847a86c6181SAlex Tomas unlock_buffer(bh); 848a86c6181SAlex Tomas brelse(bh); 849a86c6181SAlex Tomas } 850a86c6181SAlex Tomas 851a86c6181SAlex Tomas if (err) { 852a86c6181SAlex Tomas /* free all allocated blocks in error case */ 853a86c6181SAlex Tomas for (i = 0; i < depth; i++) { 854a86c6181SAlex Tomas if (!ablocks[i]) 855a86c6181SAlex Tomas continue; 856a86c6181SAlex Tomas ext4_free_blocks(handle, inode, ablocks[i], 1); 857a86c6181SAlex Tomas } 858a86c6181SAlex Tomas } 859a86c6181SAlex Tomas kfree(ablocks); 860a86c6181SAlex Tomas 861a86c6181SAlex Tomas return err; 862a86c6181SAlex Tomas } 863a86c6181SAlex Tomas 864a86c6181SAlex Tomas /* 865d0d856e8SRandy Dunlap * ext4_ext_grow_indepth: 866d0d856e8SRandy Dunlap * implements tree growing procedure: 867a86c6181SAlex Tomas * - allocates new block 868a86c6181SAlex Tomas * - moves top-level data (index block or leaf) into the new block 869d0d856e8SRandy Dunlap * - initializes new top-level, creating index that points to the 870a86c6181SAlex Tomas * just created block 871a86c6181SAlex Tomas */ 872a86c6181SAlex Tomas static int ext4_ext_grow_indepth(handle_t *handle, struct inode *inode, 873a86c6181SAlex Tomas struct ext4_ext_path *path, 874a86c6181SAlex Tomas struct ext4_extent *newext) 875a86c6181SAlex Tomas { 876a86c6181SAlex Tomas struct ext4_ext_path *curp = path; 877a86c6181SAlex Tomas struct ext4_extent_header *neh; 878a86c6181SAlex Tomas struct ext4_extent_idx *fidx; 879a86c6181SAlex Tomas struct buffer_head *bh; 880f65e6fbaSAlex Tomas ext4_fsblk_t newblock; 881a86c6181SAlex Tomas int err = 0; 882a86c6181SAlex Tomas 883a86c6181SAlex Tomas newblock = ext4_ext_new_block(handle, inode, path, newext, &err); 884a86c6181SAlex Tomas if (newblock == 0) 885a86c6181SAlex Tomas return err; 886a86c6181SAlex Tomas 887a86c6181SAlex Tomas bh = sb_getblk(inode->i_sb, newblock); 888a86c6181SAlex Tomas if (!bh) { 889a86c6181SAlex Tomas err = -EIO; 890a86c6181SAlex Tomas ext4_std_error(inode->i_sb, err); 891a86c6181SAlex Tomas return err; 892a86c6181SAlex Tomas } 893a86c6181SAlex Tomas lock_buffer(bh); 894a86c6181SAlex Tomas 8957e028976SAvantika Mathur err = ext4_journal_get_create_access(handle, bh); 8967e028976SAvantika Mathur if (err) { 897a86c6181SAlex Tomas unlock_buffer(bh); 898a86c6181SAlex Tomas goto out; 899a86c6181SAlex Tomas } 900a86c6181SAlex Tomas 901a86c6181SAlex Tomas /* move top-level index/leaf into new block */ 902a86c6181SAlex Tomas memmove(bh->b_data, curp->p_hdr, sizeof(EXT4_I(inode)->i_data)); 903a86c6181SAlex Tomas 904a86c6181SAlex Tomas /* set size of new block */ 905a86c6181SAlex Tomas neh = ext_block_hdr(bh); 906a86c6181SAlex Tomas /* old root could have indexes or leaves 907a86c6181SAlex Tomas * so calculate e_max right way */ 908a86c6181SAlex Tomas if (ext_depth(inode)) 909a86c6181SAlex Tomas neh->eh_max = cpu_to_le16(ext4_ext_space_block_idx(inode)); 910a86c6181SAlex Tomas else 911a86c6181SAlex Tomas neh->eh_max = cpu_to_le16(ext4_ext_space_block(inode)); 912a86c6181SAlex Tomas neh->eh_magic = EXT4_EXT_MAGIC; 913a86c6181SAlex Tomas set_buffer_uptodate(bh); 914a86c6181SAlex Tomas unlock_buffer(bh); 915a86c6181SAlex Tomas 9167e028976SAvantika Mathur err = ext4_journal_dirty_metadata(handle, bh); 9177e028976SAvantika Mathur if (err) 918a86c6181SAlex Tomas goto out; 919a86c6181SAlex Tomas 920a86c6181SAlex Tomas /* create index in new top-level index: num,max,pointer */ 9217e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, curp); 9227e028976SAvantika Mathur if (err) 923a86c6181SAlex Tomas goto out; 924a86c6181SAlex Tomas 925a86c6181SAlex Tomas curp->p_hdr->eh_magic = EXT4_EXT_MAGIC; 926a86c6181SAlex Tomas curp->p_hdr->eh_max = cpu_to_le16(ext4_ext_space_root_idx(inode)); 927a86c6181SAlex Tomas curp->p_hdr->eh_entries = cpu_to_le16(1); 928a86c6181SAlex Tomas curp->p_idx = EXT_FIRST_INDEX(curp->p_hdr); 929e9f410b1SDmitry Monakhov 930e9f410b1SDmitry Monakhov if (path[0].p_hdr->eh_depth) 931e9f410b1SDmitry Monakhov curp->p_idx->ei_block = 932e9f410b1SDmitry Monakhov EXT_FIRST_INDEX(path[0].p_hdr)->ei_block; 933e9f410b1SDmitry Monakhov else 934e9f410b1SDmitry Monakhov curp->p_idx->ei_block = 935e9f410b1SDmitry Monakhov EXT_FIRST_EXTENT(path[0].p_hdr)->ee_block; 936f65e6fbaSAlex Tomas ext4_idx_store_pblock(curp->p_idx, newblock); 937a86c6181SAlex Tomas 938a86c6181SAlex Tomas neh = ext_inode_hdr(inode); 939a86c6181SAlex Tomas fidx = EXT_FIRST_INDEX(neh); 9402ae02107SMingming Cao ext_debug("new root: num %d(%d), lblock %d, ptr %llu\n", 941a86c6181SAlex Tomas le16_to_cpu(neh->eh_entries), le16_to_cpu(neh->eh_max), 942f65e6fbaSAlex Tomas le32_to_cpu(fidx->ei_block), idx_pblock(fidx)); 943a86c6181SAlex Tomas 944a86c6181SAlex Tomas neh->eh_depth = cpu_to_le16(path->p_depth + 1); 945a86c6181SAlex Tomas err = ext4_ext_dirty(handle, inode, curp); 946a86c6181SAlex Tomas out: 947a86c6181SAlex Tomas brelse(bh); 948a86c6181SAlex Tomas 949a86c6181SAlex Tomas return err; 950a86c6181SAlex Tomas } 951a86c6181SAlex Tomas 952a86c6181SAlex Tomas /* 953d0d856e8SRandy Dunlap * ext4_ext_create_new_leaf: 954d0d856e8SRandy Dunlap * finds empty index and adds new leaf. 955d0d856e8SRandy Dunlap * if no free index is found, then it requests in-depth growing. 956a86c6181SAlex Tomas */ 957a86c6181SAlex Tomas static int ext4_ext_create_new_leaf(handle_t *handle, struct inode *inode, 958a86c6181SAlex Tomas struct ext4_ext_path *path, 959a86c6181SAlex Tomas struct ext4_extent *newext) 960a86c6181SAlex Tomas { 961a86c6181SAlex Tomas struct ext4_ext_path *curp; 962a86c6181SAlex Tomas int depth, i, err = 0; 963a86c6181SAlex Tomas 964a86c6181SAlex Tomas repeat: 965a86c6181SAlex Tomas i = depth = ext_depth(inode); 966a86c6181SAlex Tomas 967a86c6181SAlex Tomas /* walk up to the tree and look for free index entry */ 968a86c6181SAlex Tomas curp = path + depth; 969a86c6181SAlex Tomas while (i > 0 && !EXT_HAS_FREE_INDEX(curp)) { 970a86c6181SAlex Tomas i--; 971a86c6181SAlex Tomas curp--; 972a86c6181SAlex Tomas } 973a86c6181SAlex Tomas 974d0d856e8SRandy Dunlap /* we use already allocated block for index block, 975d0d856e8SRandy Dunlap * so subsequent data blocks should be contiguous */ 976a86c6181SAlex Tomas if (EXT_HAS_FREE_INDEX(curp)) { 977a86c6181SAlex Tomas /* if we found index with free entry, then use that 978a86c6181SAlex Tomas * entry: create all needed subtree and add new leaf */ 979a86c6181SAlex Tomas err = ext4_ext_split(handle, inode, path, newext, i); 980a86c6181SAlex Tomas 981a86c6181SAlex Tomas /* refill path */ 982a86c6181SAlex Tomas ext4_ext_drop_refs(path); 983a86c6181SAlex Tomas path = ext4_ext_find_extent(inode, 984725d26d3SAneesh Kumar K.V (ext4_lblk_t)le32_to_cpu(newext->ee_block), 985a86c6181SAlex Tomas path); 986a86c6181SAlex Tomas if (IS_ERR(path)) 987a86c6181SAlex Tomas err = PTR_ERR(path); 988a86c6181SAlex Tomas } else { 989a86c6181SAlex Tomas /* tree is full, time to grow in depth */ 990a86c6181SAlex Tomas err = ext4_ext_grow_indepth(handle, inode, path, newext); 991a86c6181SAlex Tomas if (err) 992a86c6181SAlex Tomas goto out; 993a86c6181SAlex Tomas 994a86c6181SAlex Tomas /* refill path */ 995a86c6181SAlex Tomas ext4_ext_drop_refs(path); 996a86c6181SAlex Tomas path = ext4_ext_find_extent(inode, 997725d26d3SAneesh Kumar K.V (ext4_lblk_t)le32_to_cpu(newext->ee_block), 998a86c6181SAlex Tomas path); 999a86c6181SAlex Tomas if (IS_ERR(path)) { 1000a86c6181SAlex Tomas err = PTR_ERR(path); 1001a86c6181SAlex Tomas goto out; 1002a86c6181SAlex Tomas } 1003a86c6181SAlex Tomas 1004a86c6181SAlex Tomas /* 1005d0d856e8SRandy Dunlap * only first (depth 0 -> 1) produces free space; 1006d0d856e8SRandy Dunlap * in all other cases we have to split the grown tree 1007a86c6181SAlex Tomas */ 1008a86c6181SAlex Tomas depth = ext_depth(inode); 1009a86c6181SAlex Tomas if (path[depth].p_hdr->eh_entries == path[depth].p_hdr->eh_max) { 1010d0d856e8SRandy Dunlap /* now we need to split */ 1011a86c6181SAlex Tomas goto repeat; 1012a86c6181SAlex Tomas } 1013a86c6181SAlex Tomas } 1014a86c6181SAlex Tomas 1015a86c6181SAlex Tomas out: 1016a86c6181SAlex Tomas return err; 1017a86c6181SAlex Tomas } 1018a86c6181SAlex Tomas 1019a86c6181SAlex Tomas /* 1020d0d856e8SRandy Dunlap * ext4_ext_next_allocated_block: 1021d0d856e8SRandy Dunlap * returns allocated block in subsequent extent or EXT_MAX_BLOCK. 1022d0d856e8SRandy Dunlap * NOTE: it considers block number from index entry as 1023d0d856e8SRandy Dunlap * allocated block. Thus, index entries have to be consistent 1024d0d856e8SRandy Dunlap * with leaves. 1025a86c6181SAlex Tomas */ 1026725d26d3SAneesh Kumar K.V static ext4_lblk_t 1027a86c6181SAlex Tomas ext4_ext_next_allocated_block(struct ext4_ext_path *path) 1028a86c6181SAlex Tomas { 1029a86c6181SAlex Tomas int depth; 1030a86c6181SAlex Tomas 1031a86c6181SAlex Tomas BUG_ON(path == NULL); 1032a86c6181SAlex Tomas depth = path->p_depth; 1033a86c6181SAlex Tomas 1034a86c6181SAlex Tomas if (depth == 0 && path->p_ext == NULL) 1035a86c6181SAlex Tomas return EXT_MAX_BLOCK; 1036a86c6181SAlex Tomas 1037a86c6181SAlex Tomas while (depth >= 0) { 1038a86c6181SAlex Tomas if (depth == path->p_depth) { 1039a86c6181SAlex Tomas /* leaf */ 1040a86c6181SAlex Tomas if (path[depth].p_ext != 1041a86c6181SAlex Tomas EXT_LAST_EXTENT(path[depth].p_hdr)) 1042a86c6181SAlex Tomas return le32_to_cpu(path[depth].p_ext[1].ee_block); 1043a86c6181SAlex Tomas } else { 1044a86c6181SAlex Tomas /* index */ 1045a86c6181SAlex Tomas if (path[depth].p_idx != 1046a86c6181SAlex Tomas EXT_LAST_INDEX(path[depth].p_hdr)) 1047a86c6181SAlex Tomas return le32_to_cpu(path[depth].p_idx[1].ei_block); 1048a86c6181SAlex Tomas } 1049a86c6181SAlex Tomas depth--; 1050a86c6181SAlex Tomas } 1051a86c6181SAlex Tomas 1052a86c6181SAlex Tomas return EXT_MAX_BLOCK; 1053a86c6181SAlex Tomas } 1054a86c6181SAlex Tomas 1055a86c6181SAlex Tomas /* 1056d0d856e8SRandy Dunlap * ext4_ext_next_leaf_block: 1057a86c6181SAlex Tomas * returns first allocated block from next leaf or EXT_MAX_BLOCK 1058a86c6181SAlex Tomas */ 1059725d26d3SAneesh Kumar K.V static ext4_lblk_t ext4_ext_next_leaf_block(struct inode *inode, 1060a86c6181SAlex Tomas struct ext4_ext_path *path) 1061a86c6181SAlex Tomas { 1062a86c6181SAlex Tomas int depth; 1063a86c6181SAlex Tomas 1064a86c6181SAlex Tomas BUG_ON(path == NULL); 1065a86c6181SAlex Tomas depth = path->p_depth; 1066a86c6181SAlex Tomas 1067a86c6181SAlex Tomas /* zero-tree has no leaf blocks at all */ 1068a86c6181SAlex Tomas if (depth == 0) 1069a86c6181SAlex Tomas return EXT_MAX_BLOCK; 1070a86c6181SAlex Tomas 1071a86c6181SAlex Tomas /* go to index block */ 1072a86c6181SAlex Tomas depth--; 1073a86c6181SAlex Tomas 1074a86c6181SAlex Tomas while (depth >= 0) { 1075a86c6181SAlex Tomas if (path[depth].p_idx != 1076a86c6181SAlex Tomas EXT_LAST_INDEX(path[depth].p_hdr)) 1077725d26d3SAneesh Kumar K.V return (ext4_lblk_t) 1078725d26d3SAneesh Kumar K.V le32_to_cpu(path[depth].p_idx[1].ei_block); 1079a86c6181SAlex Tomas depth--; 1080a86c6181SAlex Tomas } 1081a86c6181SAlex Tomas 1082a86c6181SAlex Tomas return EXT_MAX_BLOCK; 1083a86c6181SAlex Tomas } 1084a86c6181SAlex Tomas 1085a86c6181SAlex Tomas /* 1086d0d856e8SRandy Dunlap * ext4_ext_correct_indexes: 1087d0d856e8SRandy Dunlap * if leaf gets modified and modified extent is first in the leaf, 1088d0d856e8SRandy Dunlap * then we have to correct all indexes above. 1089a86c6181SAlex Tomas * TODO: do we need to correct tree in all cases? 1090a86c6181SAlex Tomas */ 1091a86c6181SAlex Tomas int ext4_ext_correct_indexes(handle_t *handle, struct inode *inode, 1092a86c6181SAlex Tomas struct ext4_ext_path *path) 1093a86c6181SAlex Tomas { 1094a86c6181SAlex Tomas struct ext4_extent_header *eh; 1095a86c6181SAlex Tomas int depth = ext_depth(inode); 1096a86c6181SAlex Tomas struct ext4_extent *ex; 1097a86c6181SAlex Tomas __le32 border; 1098a86c6181SAlex Tomas int k, err = 0; 1099a86c6181SAlex Tomas 1100a86c6181SAlex Tomas eh = path[depth].p_hdr; 1101a86c6181SAlex Tomas ex = path[depth].p_ext; 1102a86c6181SAlex Tomas BUG_ON(ex == NULL); 1103a86c6181SAlex Tomas BUG_ON(eh == NULL); 1104a86c6181SAlex Tomas 1105a86c6181SAlex Tomas if (depth == 0) { 1106a86c6181SAlex Tomas /* there is no tree at all */ 1107a86c6181SAlex Tomas return 0; 1108a86c6181SAlex Tomas } 1109a86c6181SAlex Tomas 1110a86c6181SAlex Tomas if (ex != EXT_FIRST_EXTENT(eh)) { 1111a86c6181SAlex Tomas /* we correct tree if first leaf got modified only */ 1112a86c6181SAlex Tomas return 0; 1113a86c6181SAlex Tomas } 1114a86c6181SAlex Tomas 1115a86c6181SAlex Tomas /* 1116d0d856e8SRandy Dunlap * TODO: we need correction if border is smaller than current one 1117a86c6181SAlex Tomas */ 1118a86c6181SAlex Tomas k = depth - 1; 1119a86c6181SAlex Tomas border = path[depth].p_ext->ee_block; 11207e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, path + k); 11217e028976SAvantika Mathur if (err) 1122a86c6181SAlex Tomas return err; 1123a86c6181SAlex Tomas path[k].p_idx->ei_block = border; 11247e028976SAvantika Mathur err = ext4_ext_dirty(handle, inode, path + k); 11257e028976SAvantika Mathur if (err) 1126a86c6181SAlex Tomas return err; 1127a86c6181SAlex Tomas 1128a86c6181SAlex Tomas while (k--) { 1129a86c6181SAlex Tomas /* change all left-side indexes */ 1130a86c6181SAlex Tomas if (path[k+1].p_idx != EXT_FIRST_INDEX(path[k+1].p_hdr)) 1131a86c6181SAlex Tomas break; 11327e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, path + k); 11337e028976SAvantika Mathur if (err) 1134a86c6181SAlex Tomas break; 1135a86c6181SAlex Tomas path[k].p_idx->ei_block = border; 11367e028976SAvantika Mathur err = ext4_ext_dirty(handle, inode, path + k); 11377e028976SAvantika Mathur if (err) 1138a86c6181SAlex Tomas break; 1139a86c6181SAlex Tomas } 1140a86c6181SAlex Tomas 1141a86c6181SAlex Tomas return err; 1142a86c6181SAlex Tomas } 1143a86c6181SAlex Tomas 114409b88252SAvantika Mathur static int 1145a86c6181SAlex Tomas ext4_can_extents_be_merged(struct inode *inode, struct ext4_extent *ex1, 1146a86c6181SAlex Tomas struct ext4_extent *ex2) 1147a86c6181SAlex Tomas { 1148749269faSAmit Arora unsigned short ext1_ee_len, ext2_ee_len, max_len; 1149a2df2a63SAmit Arora 1150a2df2a63SAmit Arora /* 1151a2df2a63SAmit Arora * Make sure that either both extents are uninitialized, or 1152a2df2a63SAmit Arora * both are _not_. 1153a2df2a63SAmit Arora */ 1154a2df2a63SAmit Arora if (ext4_ext_is_uninitialized(ex1) ^ ext4_ext_is_uninitialized(ex2)) 1155a2df2a63SAmit Arora return 0; 1156a2df2a63SAmit Arora 1157749269faSAmit Arora if (ext4_ext_is_uninitialized(ex1)) 1158749269faSAmit Arora max_len = EXT_UNINIT_MAX_LEN; 1159749269faSAmit Arora else 1160749269faSAmit Arora max_len = EXT_INIT_MAX_LEN; 1161749269faSAmit Arora 1162a2df2a63SAmit Arora ext1_ee_len = ext4_ext_get_actual_len(ex1); 1163a2df2a63SAmit Arora ext2_ee_len = ext4_ext_get_actual_len(ex2); 1164a2df2a63SAmit Arora 1165a2df2a63SAmit Arora if (le32_to_cpu(ex1->ee_block) + ext1_ee_len != 116663f57933SAndrew Morton le32_to_cpu(ex2->ee_block)) 1167a86c6181SAlex Tomas return 0; 1168a86c6181SAlex Tomas 1169471d4011SSuparna Bhattacharya /* 1170471d4011SSuparna Bhattacharya * To allow future support for preallocated extents to be added 1171471d4011SSuparna Bhattacharya * as an RO_COMPAT feature, refuse to merge to extents if 1172d0d856e8SRandy Dunlap * this can result in the top bit of ee_len being set. 1173471d4011SSuparna Bhattacharya */ 1174749269faSAmit Arora if (ext1_ee_len + ext2_ee_len > max_len) 1175471d4011SSuparna Bhattacharya return 0; 1176bbf2f9fbSRobert P. J. Day #ifdef AGGRESSIVE_TEST 1177a86c6181SAlex Tomas if (le16_to_cpu(ex1->ee_len) >= 4) 1178a86c6181SAlex Tomas return 0; 1179a86c6181SAlex Tomas #endif 1180a86c6181SAlex Tomas 1181a2df2a63SAmit Arora if (ext_pblock(ex1) + ext1_ee_len == ext_pblock(ex2)) 1182a86c6181SAlex Tomas return 1; 1183a86c6181SAlex Tomas return 0; 1184a86c6181SAlex Tomas } 1185a86c6181SAlex Tomas 1186a86c6181SAlex Tomas /* 118756055d3aSAmit Arora * This function tries to merge the "ex" extent to the next extent in the tree. 118856055d3aSAmit Arora * It always tries to merge towards right. If you want to merge towards 118956055d3aSAmit Arora * left, pass "ex - 1" as argument instead of "ex". 119056055d3aSAmit Arora * Returns 0 if the extents (ex and ex+1) were _not_ merged and returns 119156055d3aSAmit Arora * 1 if they got merged. 119256055d3aSAmit Arora */ 119356055d3aSAmit Arora int ext4_ext_try_to_merge(struct inode *inode, 119456055d3aSAmit Arora struct ext4_ext_path *path, 119556055d3aSAmit Arora struct ext4_extent *ex) 119656055d3aSAmit Arora { 119756055d3aSAmit Arora struct ext4_extent_header *eh; 119856055d3aSAmit Arora unsigned int depth, len; 119956055d3aSAmit Arora int merge_done = 0; 120056055d3aSAmit Arora int uninitialized = 0; 120156055d3aSAmit Arora 120256055d3aSAmit Arora depth = ext_depth(inode); 120356055d3aSAmit Arora BUG_ON(path[depth].p_hdr == NULL); 120456055d3aSAmit Arora eh = path[depth].p_hdr; 120556055d3aSAmit Arora 120656055d3aSAmit Arora while (ex < EXT_LAST_EXTENT(eh)) { 120756055d3aSAmit Arora if (!ext4_can_extents_be_merged(inode, ex, ex + 1)) 120856055d3aSAmit Arora break; 120956055d3aSAmit Arora /* merge with next extent! */ 121056055d3aSAmit Arora if (ext4_ext_is_uninitialized(ex)) 121156055d3aSAmit Arora uninitialized = 1; 121256055d3aSAmit Arora ex->ee_len = cpu_to_le16(ext4_ext_get_actual_len(ex) 121356055d3aSAmit Arora + ext4_ext_get_actual_len(ex + 1)); 121456055d3aSAmit Arora if (uninitialized) 121556055d3aSAmit Arora ext4_ext_mark_uninitialized(ex); 121656055d3aSAmit Arora 121756055d3aSAmit Arora if (ex + 1 < EXT_LAST_EXTENT(eh)) { 121856055d3aSAmit Arora len = (EXT_LAST_EXTENT(eh) - ex - 1) 121956055d3aSAmit Arora * sizeof(struct ext4_extent); 122056055d3aSAmit Arora memmove(ex + 1, ex + 2, len); 122156055d3aSAmit Arora } 122256055d3aSAmit Arora eh->eh_entries = cpu_to_le16(le16_to_cpu(eh->eh_entries) - 1); 122356055d3aSAmit Arora merge_done = 1; 122456055d3aSAmit Arora WARN_ON(eh->eh_entries == 0); 122556055d3aSAmit Arora if (!eh->eh_entries) 122656055d3aSAmit Arora ext4_error(inode->i_sb, "ext4_ext_try_to_merge", 122756055d3aSAmit Arora "inode#%lu, eh->eh_entries = 0!", inode->i_ino); 122856055d3aSAmit Arora } 122956055d3aSAmit Arora 123056055d3aSAmit Arora return merge_done; 123156055d3aSAmit Arora } 123256055d3aSAmit Arora 123356055d3aSAmit Arora /* 123425d14f98SAmit Arora * check if a portion of the "newext" extent overlaps with an 123525d14f98SAmit Arora * existing extent. 123625d14f98SAmit Arora * 123725d14f98SAmit Arora * If there is an overlap discovered, it updates the length of the newext 123825d14f98SAmit Arora * such that there will be no overlap, and then returns 1. 123925d14f98SAmit Arora * If there is no overlap found, it returns 0. 124025d14f98SAmit Arora */ 124125d14f98SAmit Arora unsigned int ext4_ext_check_overlap(struct inode *inode, 124225d14f98SAmit Arora struct ext4_extent *newext, 124325d14f98SAmit Arora struct ext4_ext_path *path) 124425d14f98SAmit Arora { 1245725d26d3SAneesh Kumar K.V ext4_lblk_t b1, b2; 124625d14f98SAmit Arora unsigned int depth, len1; 124725d14f98SAmit Arora unsigned int ret = 0; 124825d14f98SAmit Arora 124925d14f98SAmit Arora b1 = le32_to_cpu(newext->ee_block); 1250a2df2a63SAmit Arora len1 = ext4_ext_get_actual_len(newext); 125125d14f98SAmit Arora depth = ext_depth(inode); 125225d14f98SAmit Arora if (!path[depth].p_ext) 125325d14f98SAmit Arora goto out; 125425d14f98SAmit Arora b2 = le32_to_cpu(path[depth].p_ext->ee_block); 125525d14f98SAmit Arora 125625d14f98SAmit Arora /* 125725d14f98SAmit Arora * get the next allocated block if the extent in the path 125825d14f98SAmit Arora * is before the requested block(s) 125925d14f98SAmit Arora */ 126025d14f98SAmit Arora if (b2 < b1) { 126125d14f98SAmit Arora b2 = ext4_ext_next_allocated_block(path); 126225d14f98SAmit Arora if (b2 == EXT_MAX_BLOCK) 126325d14f98SAmit Arora goto out; 126425d14f98SAmit Arora } 126525d14f98SAmit Arora 1266725d26d3SAneesh Kumar K.V /* check for wrap through zero on extent logical start block*/ 126725d14f98SAmit Arora if (b1 + len1 < b1) { 126825d14f98SAmit Arora len1 = EXT_MAX_BLOCK - b1; 126925d14f98SAmit Arora newext->ee_len = cpu_to_le16(len1); 127025d14f98SAmit Arora ret = 1; 127125d14f98SAmit Arora } 127225d14f98SAmit Arora 127325d14f98SAmit Arora /* check for overlap */ 127425d14f98SAmit Arora if (b1 + len1 > b2) { 127525d14f98SAmit Arora newext->ee_len = cpu_to_le16(b2 - b1); 127625d14f98SAmit Arora ret = 1; 127725d14f98SAmit Arora } 127825d14f98SAmit Arora out: 127925d14f98SAmit Arora return ret; 128025d14f98SAmit Arora } 128125d14f98SAmit Arora 128225d14f98SAmit Arora /* 1283d0d856e8SRandy Dunlap * ext4_ext_insert_extent: 1284d0d856e8SRandy Dunlap * tries to merge requsted extent into the existing extent or 1285d0d856e8SRandy Dunlap * inserts requested extent as new one into the tree, 1286d0d856e8SRandy Dunlap * creating new leaf in the no-space case. 1287a86c6181SAlex Tomas */ 1288a86c6181SAlex Tomas int ext4_ext_insert_extent(handle_t *handle, struct inode *inode, 1289a86c6181SAlex Tomas struct ext4_ext_path *path, 1290a86c6181SAlex Tomas struct ext4_extent *newext) 1291a86c6181SAlex Tomas { 1292a86c6181SAlex Tomas struct ext4_extent_header * eh; 1293a86c6181SAlex Tomas struct ext4_extent *ex, *fex; 1294a86c6181SAlex Tomas struct ext4_extent *nearex; /* nearest extent */ 1295a86c6181SAlex Tomas struct ext4_ext_path *npath = NULL; 1296725d26d3SAneesh Kumar K.V int depth, len, err; 1297725d26d3SAneesh Kumar K.V ext4_lblk_t next; 1298a2df2a63SAmit Arora unsigned uninitialized = 0; 1299a86c6181SAlex Tomas 1300a2df2a63SAmit Arora BUG_ON(ext4_ext_get_actual_len(newext) == 0); 1301a86c6181SAlex Tomas depth = ext_depth(inode); 1302a86c6181SAlex Tomas ex = path[depth].p_ext; 1303a86c6181SAlex Tomas BUG_ON(path[depth].p_hdr == NULL); 1304a86c6181SAlex Tomas 1305a86c6181SAlex Tomas /* try to insert block into found extent and return */ 1306a86c6181SAlex Tomas if (ex && ext4_can_extents_be_merged(inode, ex, newext)) { 13072ae02107SMingming Cao ext_debug("append %d block to %d:%d (from %llu)\n", 1308a2df2a63SAmit Arora ext4_ext_get_actual_len(newext), 1309a86c6181SAlex Tomas le32_to_cpu(ex->ee_block), 1310a2df2a63SAmit Arora ext4_ext_get_actual_len(ex), ext_pblock(ex)); 13117e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, path + depth); 13127e028976SAvantika Mathur if (err) 1313a86c6181SAlex Tomas return err; 1314a2df2a63SAmit Arora 1315a2df2a63SAmit Arora /* 1316a2df2a63SAmit Arora * ext4_can_extents_be_merged should have checked that either 1317a2df2a63SAmit Arora * both extents are uninitialized, or both aren't. Thus we 1318a2df2a63SAmit Arora * need to check only one of them here. 1319a2df2a63SAmit Arora */ 1320a2df2a63SAmit Arora if (ext4_ext_is_uninitialized(ex)) 1321a2df2a63SAmit Arora uninitialized = 1; 1322a2df2a63SAmit Arora ex->ee_len = cpu_to_le16(ext4_ext_get_actual_len(ex) 1323a2df2a63SAmit Arora + ext4_ext_get_actual_len(newext)); 1324a2df2a63SAmit Arora if (uninitialized) 1325a2df2a63SAmit Arora ext4_ext_mark_uninitialized(ex); 1326a86c6181SAlex Tomas eh = path[depth].p_hdr; 1327a86c6181SAlex Tomas nearex = ex; 1328a86c6181SAlex Tomas goto merge; 1329a86c6181SAlex Tomas } 1330a86c6181SAlex Tomas 1331a86c6181SAlex Tomas repeat: 1332a86c6181SAlex Tomas depth = ext_depth(inode); 1333a86c6181SAlex Tomas eh = path[depth].p_hdr; 1334a86c6181SAlex Tomas if (le16_to_cpu(eh->eh_entries) < le16_to_cpu(eh->eh_max)) 1335a86c6181SAlex Tomas goto has_space; 1336a86c6181SAlex Tomas 1337a86c6181SAlex Tomas /* probably next leaf has space for us? */ 1338a86c6181SAlex Tomas fex = EXT_LAST_EXTENT(eh); 1339a86c6181SAlex Tomas next = ext4_ext_next_leaf_block(inode, path); 1340a86c6181SAlex Tomas if (le32_to_cpu(newext->ee_block) > le32_to_cpu(fex->ee_block) 1341a86c6181SAlex Tomas && next != EXT_MAX_BLOCK) { 1342a86c6181SAlex Tomas ext_debug("next leaf block - %d\n", next); 1343a86c6181SAlex Tomas BUG_ON(npath != NULL); 1344a86c6181SAlex Tomas npath = ext4_ext_find_extent(inode, next, NULL); 1345a86c6181SAlex Tomas if (IS_ERR(npath)) 1346a86c6181SAlex Tomas return PTR_ERR(npath); 1347a86c6181SAlex Tomas BUG_ON(npath->p_depth != path->p_depth); 1348a86c6181SAlex Tomas eh = npath[depth].p_hdr; 1349a86c6181SAlex Tomas if (le16_to_cpu(eh->eh_entries) < le16_to_cpu(eh->eh_max)) { 1350a86c6181SAlex Tomas ext_debug("next leaf isnt full(%d)\n", 1351a86c6181SAlex Tomas le16_to_cpu(eh->eh_entries)); 1352a86c6181SAlex Tomas path = npath; 1353a86c6181SAlex Tomas goto repeat; 1354a86c6181SAlex Tomas } 1355a86c6181SAlex Tomas ext_debug("next leaf has no free space(%d,%d)\n", 1356a86c6181SAlex Tomas le16_to_cpu(eh->eh_entries), le16_to_cpu(eh->eh_max)); 1357a86c6181SAlex Tomas } 1358a86c6181SAlex Tomas 1359a86c6181SAlex Tomas /* 1360d0d856e8SRandy Dunlap * There is no free space in the found leaf. 1361d0d856e8SRandy Dunlap * We're gonna add a new leaf in the tree. 1362a86c6181SAlex Tomas */ 1363a86c6181SAlex Tomas err = ext4_ext_create_new_leaf(handle, inode, path, newext); 1364a86c6181SAlex Tomas if (err) 1365a86c6181SAlex Tomas goto cleanup; 1366a86c6181SAlex Tomas depth = ext_depth(inode); 1367a86c6181SAlex Tomas eh = path[depth].p_hdr; 1368a86c6181SAlex Tomas 1369a86c6181SAlex Tomas has_space: 1370a86c6181SAlex Tomas nearex = path[depth].p_ext; 1371a86c6181SAlex Tomas 13727e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, path + depth); 13737e028976SAvantika Mathur if (err) 1374a86c6181SAlex Tomas goto cleanup; 1375a86c6181SAlex Tomas 1376a86c6181SAlex Tomas if (!nearex) { 1377a86c6181SAlex Tomas /* there is no extent in this leaf, create first one */ 13782ae02107SMingming Cao ext_debug("first extent in the leaf: %d:%llu:%d\n", 1379a86c6181SAlex Tomas le32_to_cpu(newext->ee_block), 1380f65e6fbaSAlex Tomas ext_pblock(newext), 1381a2df2a63SAmit Arora ext4_ext_get_actual_len(newext)); 1382a86c6181SAlex Tomas path[depth].p_ext = EXT_FIRST_EXTENT(eh); 1383a86c6181SAlex Tomas } else if (le32_to_cpu(newext->ee_block) 1384a86c6181SAlex Tomas > le32_to_cpu(nearex->ee_block)) { 1385a86c6181SAlex Tomas /* BUG_ON(newext->ee_block == nearex->ee_block); */ 1386a86c6181SAlex Tomas if (nearex != EXT_LAST_EXTENT(eh)) { 1387a86c6181SAlex Tomas len = EXT_MAX_EXTENT(eh) - nearex; 1388a86c6181SAlex Tomas len = (len - 1) * sizeof(struct ext4_extent); 1389a86c6181SAlex Tomas len = len < 0 ? 0 : len; 13902ae02107SMingming Cao ext_debug("insert %d:%llu:%d after: nearest 0x%p, " 1391a86c6181SAlex Tomas "move %d from 0x%p to 0x%p\n", 1392a86c6181SAlex Tomas le32_to_cpu(newext->ee_block), 1393f65e6fbaSAlex Tomas ext_pblock(newext), 1394a2df2a63SAmit Arora ext4_ext_get_actual_len(newext), 1395a86c6181SAlex Tomas nearex, len, nearex + 1, nearex + 2); 1396a86c6181SAlex Tomas memmove(nearex + 2, nearex + 1, len); 1397a86c6181SAlex Tomas } 1398a86c6181SAlex Tomas path[depth].p_ext = nearex + 1; 1399a86c6181SAlex Tomas } else { 1400a86c6181SAlex Tomas BUG_ON(newext->ee_block == nearex->ee_block); 1401a86c6181SAlex Tomas len = (EXT_MAX_EXTENT(eh) - nearex) * sizeof(struct ext4_extent); 1402a86c6181SAlex Tomas len = len < 0 ? 0 : len; 14032ae02107SMingming Cao ext_debug("insert %d:%llu:%d before: nearest 0x%p, " 1404a86c6181SAlex Tomas "move %d from 0x%p to 0x%p\n", 1405a86c6181SAlex Tomas le32_to_cpu(newext->ee_block), 1406f65e6fbaSAlex Tomas ext_pblock(newext), 1407a2df2a63SAmit Arora ext4_ext_get_actual_len(newext), 1408a86c6181SAlex Tomas nearex, len, nearex + 1, nearex + 2); 1409a86c6181SAlex Tomas memmove(nearex + 1, nearex, len); 1410a86c6181SAlex Tomas path[depth].p_ext = nearex; 1411a86c6181SAlex Tomas } 1412a86c6181SAlex Tomas 1413a86c6181SAlex Tomas eh->eh_entries = cpu_to_le16(le16_to_cpu(eh->eh_entries)+1); 1414a86c6181SAlex Tomas nearex = path[depth].p_ext; 1415a86c6181SAlex Tomas nearex->ee_block = newext->ee_block; 1416b377611dSAneesh Kumar K.V ext4_ext_store_pblock(nearex, ext_pblock(newext)); 1417a86c6181SAlex Tomas nearex->ee_len = newext->ee_len; 1418a86c6181SAlex Tomas 1419a86c6181SAlex Tomas merge: 1420a86c6181SAlex Tomas /* try to merge extents to the right */ 142156055d3aSAmit Arora ext4_ext_try_to_merge(inode, path, nearex); 1422a86c6181SAlex Tomas 1423a86c6181SAlex Tomas /* try to merge extents to the left */ 1424a86c6181SAlex Tomas 1425a86c6181SAlex Tomas /* time to correct all indexes above */ 1426a86c6181SAlex Tomas err = ext4_ext_correct_indexes(handle, inode, path); 1427a86c6181SAlex Tomas if (err) 1428a86c6181SAlex Tomas goto cleanup; 1429a86c6181SAlex Tomas 1430a86c6181SAlex Tomas err = ext4_ext_dirty(handle, inode, path + depth); 1431a86c6181SAlex Tomas 1432a86c6181SAlex Tomas cleanup: 1433a86c6181SAlex Tomas if (npath) { 1434a86c6181SAlex Tomas ext4_ext_drop_refs(npath); 1435a86c6181SAlex Tomas kfree(npath); 1436a86c6181SAlex Tomas } 1437a86c6181SAlex Tomas ext4_ext_tree_changed(inode); 1438a86c6181SAlex Tomas ext4_ext_invalidate_cache(inode); 1439a86c6181SAlex Tomas return err; 1440a86c6181SAlex Tomas } 1441a86c6181SAlex Tomas 144209b88252SAvantika Mathur static void 1443725d26d3SAneesh Kumar K.V ext4_ext_put_in_cache(struct inode *inode, ext4_lblk_t block, 1444dd54567aSMingming Cao __u32 len, ext4_fsblk_t start, int type) 1445a86c6181SAlex Tomas { 1446a86c6181SAlex Tomas struct ext4_ext_cache *cex; 1447a86c6181SAlex Tomas BUG_ON(len == 0); 1448a86c6181SAlex Tomas cex = &EXT4_I(inode)->i_cached_extent; 1449a86c6181SAlex Tomas cex->ec_type = type; 1450a86c6181SAlex Tomas cex->ec_block = block; 1451a86c6181SAlex Tomas cex->ec_len = len; 1452a86c6181SAlex Tomas cex->ec_start = start; 1453a86c6181SAlex Tomas } 1454a86c6181SAlex Tomas 1455a86c6181SAlex Tomas /* 1456d0d856e8SRandy Dunlap * ext4_ext_put_gap_in_cache: 1457d0d856e8SRandy Dunlap * calculate boundaries of the gap that the requested block fits into 1458a86c6181SAlex Tomas * and cache this gap 1459a86c6181SAlex Tomas */ 146009b88252SAvantika Mathur static void 1461a86c6181SAlex Tomas ext4_ext_put_gap_in_cache(struct inode *inode, struct ext4_ext_path *path, 1462725d26d3SAneesh Kumar K.V ext4_lblk_t block) 1463a86c6181SAlex Tomas { 1464a86c6181SAlex Tomas int depth = ext_depth(inode); 1465725d26d3SAneesh Kumar K.V unsigned long len; 1466725d26d3SAneesh Kumar K.V ext4_lblk_t lblock; 1467a86c6181SAlex Tomas struct ext4_extent *ex; 1468a86c6181SAlex Tomas 1469a86c6181SAlex Tomas ex = path[depth].p_ext; 1470a86c6181SAlex Tomas if (ex == NULL) { 1471a86c6181SAlex Tomas /* there is no extent yet, so gap is [0;-] */ 1472a86c6181SAlex Tomas lblock = 0; 1473a86c6181SAlex Tomas len = EXT_MAX_BLOCK; 1474a86c6181SAlex Tomas ext_debug("cache gap(whole file):"); 1475a86c6181SAlex Tomas } else if (block < le32_to_cpu(ex->ee_block)) { 1476a86c6181SAlex Tomas lblock = block; 1477a86c6181SAlex Tomas len = le32_to_cpu(ex->ee_block) - block; 1478*bba90743SEric Sandeen ext_debug("cache gap(before): %u [%u:%u]", 1479*bba90743SEric Sandeen block, 1480*bba90743SEric Sandeen le32_to_cpu(ex->ee_block), 1481*bba90743SEric Sandeen ext4_ext_get_actual_len(ex)); 1482a86c6181SAlex Tomas } else if (block >= le32_to_cpu(ex->ee_block) 1483a2df2a63SAmit Arora + ext4_ext_get_actual_len(ex)) { 1484725d26d3SAneesh Kumar K.V ext4_lblk_t next; 1485a86c6181SAlex Tomas lblock = le32_to_cpu(ex->ee_block) 1486a2df2a63SAmit Arora + ext4_ext_get_actual_len(ex); 1487725d26d3SAneesh Kumar K.V 1488725d26d3SAneesh Kumar K.V next = ext4_ext_next_allocated_block(path); 1489*bba90743SEric Sandeen ext_debug("cache gap(after): [%u:%u] %u", 1490*bba90743SEric Sandeen le32_to_cpu(ex->ee_block), 1491*bba90743SEric Sandeen ext4_ext_get_actual_len(ex), 1492*bba90743SEric Sandeen block); 1493725d26d3SAneesh Kumar K.V BUG_ON(next == lblock); 1494725d26d3SAneesh Kumar K.V len = next - lblock; 1495a86c6181SAlex Tomas } else { 1496a86c6181SAlex Tomas lblock = len = 0; 1497a86c6181SAlex Tomas BUG(); 1498a86c6181SAlex Tomas } 1499a86c6181SAlex Tomas 1500*bba90743SEric Sandeen ext_debug(" -> %u:%lu\n", lblock, len); 1501a86c6181SAlex Tomas ext4_ext_put_in_cache(inode, lblock, len, 0, EXT4_EXT_CACHE_GAP); 1502a86c6181SAlex Tomas } 1503a86c6181SAlex Tomas 150409b88252SAvantika Mathur static int 1505725d26d3SAneesh Kumar K.V ext4_ext_in_cache(struct inode *inode, ext4_lblk_t block, 1506a86c6181SAlex Tomas struct ext4_extent *ex) 1507a86c6181SAlex Tomas { 1508a86c6181SAlex Tomas struct ext4_ext_cache *cex; 1509a86c6181SAlex Tomas 1510a86c6181SAlex Tomas cex = &EXT4_I(inode)->i_cached_extent; 1511a86c6181SAlex Tomas 1512a86c6181SAlex Tomas /* has cache valid data? */ 1513a86c6181SAlex Tomas if (cex->ec_type == EXT4_EXT_CACHE_NO) 1514a86c6181SAlex Tomas return EXT4_EXT_CACHE_NO; 1515a86c6181SAlex Tomas 1516a86c6181SAlex Tomas BUG_ON(cex->ec_type != EXT4_EXT_CACHE_GAP && 1517a86c6181SAlex Tomas cex->ec_type != EXT4_EXT_CACHE_EXTENT); 1518a86c6181SAlex Tomas if (block >= cex->ec_block && block < cex->ec_block + cex->ec_len) { 1519a86c6181SAlex Tomas ex->ee_block = cpu_to_le32(cex->ec_block); 1520f65e6fbaSAlex Tomas ext4_ext_store_pblock(ex, cex->ec_start); 1521a86c6181SAlex Tomas ex->ee_len = cpu_to_le16(cex->ec_len); 1522*bba90743SEric Sandeen ext_debug("%u cached by %u:%u:%llu\n", 1523*bba90743SEric Sandeen block, 1524*bba90743SEric Sandeen cex->ec_block, cex->ec_len, cex->ec_start); 1525a86c6181SAlex Tomas return cex->ec_type; 1526a86c6181SAlex Tomas } 1527a86c6181SAlex Tomas 1528a86c6181SAlex Tomas /* not in cache */ 1529a86c6181SAlex Tomas return EXT4_EXT_CACHE_NO; 1530a86c6181SAlex Tomas } 1531a86c6181SAlex Tomas 1532a86c6181SAlex Tomas /* 1533d0d856e8SRandy Dunlap * ext4_ext_rm_idx: 1534d0d856e8SRandy Dunlap * removes index from the index block. 1535d0d856e8SRandy Dunlap * It's used in truncate case only, thus all requests are for 1536d0d856e8SRandy Dunlap * last index in the block only. 1537a86c6181SAlex Tomas */ 1538a86c6181SAlex Tomas int ext4_ext_rm_idx(handle_t *handle, struct inode *inode, 1539a86c6181SAlex Tomas struct ext4_ext_path *path) 1540a86c6181SAlex Tomas { 1541a86c6181SAlex Tomas struct buffer_head *bh; 1542a86c6181SAlex Tomas int err; 1543f65e6fbaSAlex Tomas ext4_fsblk_t leaf; 1544a86c6181SAlex Tomas 1545a86c6181SAlex Tomas /* free index block */ 1546a86c6181SAlex Tomas path--; 1547f65e6fbaSAlex Tomas leaf = idx_pblock(path->p_idx); 1548a86c6181SAlex Tomas BUG_ON(path->p_hdr->eh_entries == 0); 15497e028976SAvantika Mathur err = ext4_ext_get_access(handle, inode, path); 15507e028976SAvantika Mathur if (err) 1551a86c6181SAlex Tomas return err; 1552a86c6181SAlex Tomas path->p_hdr->eh_entries = cpu_to_le16(le16_to_cpu(path->p_hdr->eh_entries)-1); 15537e028976SAvantika Mathur err = ext4_ext_dirty(handle, inode, path); 15547e028976SAvantika Mathur if (err) 1555a86c6181SAlex Tomas return err; 15562ae02107SMingming Cao ext_debug("index is empty, remove it, free block %llu\n", leaf); 1557a86c6181SAlex Tomas bh = sb_find_get_block(inode->i_sb, leaf); 1558a86c6181SAlex Tomas ext4_forget(handle, 1, inode, bh, leaf); 1559a86c6181SAlex Tomas ext4_free_blocks(handle, inode, leaf, 1); 1560a86c6181SAlex Tomas return err; 1561a86c6181SAlex Tomas } 1562a86c6181SAlex Tomas 1563a86c6181SAlex Tomas /* 1564d0d856e8SRandy Dunlap * ext4_ext_calc_credits_for_insert: 1565d0d856e8SRandy Dunlap * This routine returns max. credits that the extent tree can consume. 1566a86c6181SAlex Tomas * It should be OK for low-performance paths like ->writepage() 1567d0d856e8SRandy Dunlap * To allow many writing processes to fit into a single transaction, 1568d0d856e8SRandy Dunlap * the caller should calculate credits under truncate_mutex and 1569d0d856e8SRandy Dunlap * pass the actual path. 1570a86c6181SAlex Tomas */ 157109b88252SAvantika Mathur int ext4_ext_calc_credits_for_insert(struct inode *inode, 1572a86c6181SAlex Tomas struct ext4_ext_path *path) 1573a86c6181SAlex Tomas { 1574a86c6181SAlex Tomas int depth, needed; 1575a86c6181SAlex Tomas 1576a86c6181SAlex Tomas if (path) { 1577a86c6181SAlex Tomas /* probably there is space in leaf? */ 1578a86c6181SAlex Tomas depth = ext_depth(inode); 1579a86c6181SAlex Tomas if (le16_to_cpu(path[depth].p_hdr->eh_entries) 1580a86c6181SAlex Tomas < le16_to_cpu(path[depth].p_hdr->eh_max)) 1581a86c6181SAlex Tomas return 1; 1582a86c6181SAlex Tomas } 1583a86c6181SAlex Tomas 1584a86c6181SAlex Tomas /* 1585d0d856e8SRandy Dunlap * given 32-bit logical block (4294967296 blocks), max. tree 1586a86c6181SAlex Tomas * can be 4 levels in depth -- 4 * 340^4 == 53453440000. 1587d0d856e8SRandy Dunlap * Let's also add one more level for imbalance. 1588a86c6181SAlex Tomas */ 1589a86c6181SAlex Tomas depth = 5; 1590a86c6181SAlex Tomas 1591a86c6181SAlex Tomas /* allocation of new data block(s) */ 1592a86c6181SAlex Tomas needed = 2; 1593a86c6181SAlex Tomas 1594a86c6181SAlex Tomas /* 1595d0d856e8SRandy Dunlap * tree can be full, so it would need to grow in depth: 1596feb18927SJohann Lombardi * we need one credit to modify old root, credits for 1597feb18927SJohann Lombardi * new root will be added in split accounting 1598a86c6181SAlex Tomas */ 1599feb18927SJohann Lombardi needed += 1; 1600a86c6181SAlex Tomas 1601a86c6181SAlex Tomas /* 1602d0d856e8SRandy Dunlap * Index split can happen, we would need: 1603a86c6181SAlex Tomas * allocate intermediate indexes (bitmap + group) 1604a86c6181SAlex Tomas * + change two blocks at each level, but root (already included) 1605a86c6181SAlex Tomas */ 1606feb18927SJohann Lombardi needed += (depth * 2) + (depth * 2); 1607a86c6181SAlex Tomas 1608a86c6181SAlex Tomas /* any allocation modifies superblock */ 1609a86c6181SAlex Tomas needed += 1; 1610a86c6181SAlex Tomas 1611a86c6181SAlex Tomas return needed; 1612a86c6181SAlex Tomas } 1613a86c6181SAlex Tomas 1614a86c6181SAlex Tomas static int ext4_remove_blocks(handle_t *handle, struct inode *inode, 1615a86c6181SAlex Tomas struct ext4_extent *ex, 1616725d26d3SAneesh Kumar K.V ext4_lblk_t from, ext4_lblk_t to) 1617a86c6181SAlex Tomas { 1618a86c6181SAlex Tomas struct buffer_head *bh; 1619a2df2a63SAmit Arora unsigned short ee_len = ext4_ext_get_actual_len(ex); 1620a86c6181SAlex Tomas int i; 1621a86c6181SAlex Tomas 1622a86c6181SAlex Tomas #ifdef EXTENTS_STATS 1623a86c6181SAlex Tomas { 1624a86c6181SAlex Tomas struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb); 1625a86c6181SAlex Tomas spin_lock(&sbi->s_ext_stats_lock); 1626a86c6181SAlex Tomas sbi->s_ext_blocks += ee_len; 1627a86c6181SAlex Tomas sbi->s_ext_extents++; 1628a86c6181SAlex Tomas if (ee_len < sbi->s_ext_min) 1629a86c6181SAlex Tomas sbi->s_ext_min = ee_len; 1630a86c6181SAlex Tomas if (ee_len > sbi->s_ext_max) 1631a86c6181SAlex Tomas sbi->s_ext_max = ee_len; 1632a86c6181SAlex Tomas if (ext_depth(inode) > sbi->s_depth_max) 1633a86c6181SAlex Tomas sbi->s_depth_max = ext_depth(inode); 1634a86c6181SAlex Tomas spin_unlock(&sbi->s_ext_stats_lock); 1635a86c6181SAlex Tomas } 1636a86c6181SAlex Tomas #endif 1637a86c6181SAlex Tomas if (from >= le32_to_cpu(ex->ee_block) 1638a2df2a63SAmit Arora && to == le32_to_cpu(ex->ee_block) + ee_len - 1) { 1639a86c6181SAlex Tomas /* tail removal */ 1640725d26d3SAneesh Kumar K.V ext4_lblk_t num; 1641f65e6fbaSAlex Tomas ext4_fsblk_t start; 1642725d26d3SAneesh Kumar K.V 1643a2df2a63SAmit Arora num = le32_to_cpu(ex->ee_block) + ee_len - from; 1644a2df2a63SAmit Arora start = ext_pblock(ex) + ee_len - num; 1645725d26d3SAneesh Kumar K.V ext_debug("free last %u blocks starting %llu\n", num, start); 1646a86c6181SAlex Tomas for (i = 0; i < num; i++) { 1647a86c6181SAlex Tomas bh = sb_find_get_block(inode->i_sb, start + i); 1648a86c6181SAlex Tomas ext4_forget(handle, 0, inode, bh, start + i); 1649a86c6181SAlex Tomas } 1650a86c6181SAlex Tomas ext4_free_blocks(handle, inode, start, num); 1651a86c6181SAlex Tomas } else if (from == le32_to_cpu(ex->ee_block) 1652a2df2a63SAmit Arora && to <= le32_to_cpu(ex->ee_block) + ee_len - 1) { 1653725d26d3SAneesh Kumar K.V printk(KERN_INFO "strange request: removal %u-%u from %u:%u\n", 1654a2df2a63SAmit Arora from, to, le32_to_cpu(ex->ee_block), ee_len); 1655a86c6181SAlex Tomas } else { 1656725d26d3SAneesh Kumar K.V printk(KERN_INFO "strange request: removal(2) " 1657725d26d3SAneesh Kumar K.V "%u-%u from %u:%u\n", 1658a2df2a63SAmit Arora from, to, le32_to_cpu(ex->ee_block), ee_len); 1659a86c6181SAlex Tomas } 1660a86c6181SAlex Tomas return 0; 1661a86c6181SAlex Tomas } 1662a86c6181SAlex Tomas 1663a86c6181SAlex Tomas static int 1664a86c6181SAlex Tomas ext4_ext_rm_leaf(handle_t *handle, struct inode *inode, 1665725d26d3SAneesh Kumar K.V struct ext4_ext_path *path, ext4_lblk_t start) 1666a86c6181SAlex Tomas { 1667a86c6181SAlex Tomas int err = 0, correct_index = 0; 1668a86c6181SAlex Tomas int depth = ext_depth(inode), credits; 1669a86c6181SAlex Tomas struct ext4_extent_header *eh; 1670725d26d3SAneesh Kumar K.V ext4_lblk_t a, b, block; 1671725d26d3SAneesh Kumar K.V unsigned num; 1672725d26d3SAneesh Kumar K.V ext4_lblk_t ex_ee_block; 1673a86c6181SAlex Tomas unsigned short ex_ee_len; 1674a2df2a63SAmit Arora unsigned uninitialized = 0; 1675a86c6181SAlex Tomas struct ext4_extent *ex; 1676a86c6181SAlex Tomas 1677c29c0ae7SAlex Tomas /* the header must be checked already in ext4_ext_remove_space() */ 1678725d26d3SAneesh Kumar K.V ext_debug("truncate since %u in leaf\n", start); 1679a86c6181SAlex Tomas if (!path[depth].p_hdr) 1680a86c6181SAlex Tomas path[depth].p_hdr = ext_block_hdr(path[depth].p_bh); 1681a86c6181SAlex Tomas eh = path[depth].p_hdr; 1682a86c6181SAlex Tomas BUG_ON(eh == NULL); 1683a86c6181SAlex Tomas 1684a86c6181SAlex Tomas /* find where to start removing */ 1685a86c6181SAlex Tomas ex = EXT_LAST_EXTENT(eh); 1686a86c6181SAlex Tomas 1687a86c6181SAlex Tomas ex_ee_block = le32_to_cpu(ex->ee_block); 1688a2df2a63SAmit Arora if (ext4_ext_is_uninitialized(ex)) 1689a2df2a63SAmit Arora uninitialized = 1; 1690a2df2a63SAmit Arora ex_ee_len = ext4_ext_get_actual_len(ex); 1691a86c6181SAlex Tomas 1692a86c6181SAlex Tomas while (ex >= EXT_FIRST_EXTENT(eh) && 1693a86c6181SAlex Tomas ex_ee_block + ex_ee_len > start) { 1694a86c6181SAlex Tomas ext_debug("remove ext %lu:%u\n", ex_ee_block, ex_ee_len); 1695a86c6181SAlex Tomas path[depth].p_ext = ex; 1696a86c6181SAlex Tomas 1697a86c6181SAlex Tomas a = ex_ee_block > start ? ex_ee_block : start; 1698a86c6181SAlex Tomas b = ex_ee_block + ex_ee_len - 1 < EXT_MAX_BLOCK ? 1699a86c6181SAlex Tomas ex_ee_block + ex_ee_len - 1 : EXT_MAX_BLOCK; 1700a86c6181SAlex Tomas 1701a86c6181SAlex Tomas ext_debug(" border %u:%u\n", a, b); 1702a86c6181SAlex Tomas 1703a86c6181SAlex Tomas if (a != ex_ee_block && b != ex_ee_block + ex_ee_len - 1) { 1704a86c6181SAlex Tomas block = 0; 1705a86c6181SAlex Tomas num = 0; 1706a86c6181SAlex Tomas BUG(); 1707a86c6181SAlex Tomas } else if (a != ex_ee_block) { 1708a86c6181SAlex Tomas /* remove tail of the extent */ 1709a86c6181SAlex Tomas block = ex_ee_block; 1710a86c6181SAlex Tomas num = a - block; 1711a86c6181SAlex Tomas } else if (b != ex_ee_block + ex_ee_len - 1) { 1712a86c6181SAlex Tomas /* remove head of the extent */ 1713a86c6181SAlex Tomas block = a; 1714a86c6181SAlex Tomas num = b - a; 1715a86c6181SAlex Tomas /* there is no "make a hole" API yet */ 1716a86c6181SAlex Tomas BUG(); 1717a86c6181SAlex Tomas } else { 1718a86c6181SAlex Tomas /* remove whole extent: excellent! */ 1719a86c6181SAlex Tomas block = ex_ee_block; 1720a86c6181SAlex Tomas num = 0; 1721a86c6181SAlex Tomas BUG_ON(a != ex_ee_block); 1722a86c6181SAlex Tomas BUG_ON(b != ex_ee_block + ex_ee_len - 1); 1723a86c6181SAlex Tomas } 1724a86c6181SAlex Tomas 1725d0d856e8SRandy Dunlap /* at present, extent can't cross block group: */ 1726a86c6181SAlex Tomas /* leaf + bitmap + group desc + sb + inode */ 1727a86c6181SAlex Tomas credits = 5; 1728a86c6181SAlex Tomas if (ex == EXT_FIRST_EXTENT(eh)) { 1729a86c6181SAlex Tomas correct_index = 1; 1730a86c6181SAlex Tomas credits += (ext_depth(inode)) + 1; 1731a86c6181SAlex Tomas } 1732a86c6181SAlex Tomas #ifdef CONFIG_QUOTA 1733a86c6181SAlex Tomas credits += 2 * EXT4_QUOTA_TRANS_BLOCKS(inode->i_sb); 1734a86c6181SAlex Tomas #endif 1735a86c6181SAlex Tomas 1736a86c6181SAlex Tomas handle = ext4_ext_journal_restart(handle, credits); 1737a86c6181SAlex Tomas if (IS_ERR(handle)) { 1738a86c6181SAlex Tomas err = PTR_ERR(handle); 1739a86c6181SAlex Tomas goto out; 1740a86c6181SAlex Tomas } 1741a86c6181SAlex Tomas 1742a86c6181SAlex Tomas err = ext4_ext_get_access(handle, inode, path + depth); 1743a86c6181SAlex Tomas if (err) 1744a86c6181SAlex Tomas goto out; 1745a86c6181SAlex Tomas 1746a86c6181SAlex Tomas err = ext4_remove_blocks(handle, inode, ex, a, b); 1747a86c6181SAlex Tomas if (err) 1748a86c6181SAlex Tomas goto out; 1749a86c6181SAlex Tomas 1750a86c6181SAlex Tomas if (num == 0) { 1751d0d856e8SRandy Dunlap /* this extent is removed; mark slot entirely unused */ 1752f65e6fbaSAlex Tomas ext4_ext_store_pblock(ex, 0); 1753a86c6181SAlex Tomas eh->eh_entries = cpu_to_le16(le16_to_cpu(eh->eh_entries)-1); 1754a86c6181SAlex Tomas } 1755a86c6181SAlex Tomas 1756a86c6181SAlex Tomas ex->ee_block = cpu_to_le32(block); 1757a86c6181SAlex Tomas ex->ee_len = cpu_to_le16(num); 1758749269faSAmit Arora /* 1759749269faSAmit Arora * Do not mark uninitialized if all the blocks in the 1760749269faSAmit Arora * extent have been removed. 1761749269faSAmit Arora */ 1762749269faSAmit Arora if (uninitialized && num) 1763a2df2a63SAmit Arora ext4_ext_mark_uninitialized(ex); 1764a86c6181SAlex Tomas 1765a86c6181SAlex Tomas err = ext4_ext_dirty(handle, inode, path + depth); 1766a86c6181SAlex Tomas if (err) 1767a86c6181SAlex Tomas goto out; 1768a86c6181SAlex Tomas 17692ae02107SMingming Cao ext_debug("new extent: %u:%u:%llu\n", block, num, 1770f65e6fbaSAlex Tomas ext_pblock(ex)); 1771a86c6181SAlex Tomas ex--; 1772a86c6181SAlex Tomas ex_ee_block = le32_to_cpu(ex->ee_block); 1773a2df2a63SAmit Arora ex_ee_len = ext4_ext_get_actual_len(ex); 1774a86c6181SAlex Tomas } 1775a86c6181SAlex Tomas 1776a86c6181SAlex Tomas if (correct_index && eh->eh_entries) 1777a86c6181SAlex Tomas err = ext4_ext_correct_indexes(handle, inode, path); 1778a86c6181SAlex Tomas 1779a86c6181SAlex Tomas /* if this leaf is free, then we should 1780a86c6181SAlex Tomas * remove it from index block above */ 1781a86c6181SAlex Tomas if (err == 0 && eh->eh_entries == 0 && path[depth].p_bh != NULL) 1782a86c6181SAlex Tomas err = ext4_ext_rm_idx(handle, inode, path + depth); 1783a86c6181SAlex Tomas 1784a86c6181SAlex Tomas out: 1785a86c6181SAlex Tomas return err; 1786a86c6181SAlex Tomas } 1787a86c6181SAlex Tomas 1788a86c6181SAlex Tomas /* 1789d0d856e8SRandy Dunlap * ext4_ext_more_to_rm: 1790d0d856e8SRandy Dunlap * returns 1 if current index has to be freed (even partial) 1791a86c6181SAlex Tomas */ 179209b88252SAvantika Mathur static int 1793a86c6181SAlex Tomas ext4_ext_more_to_rm(struct ext4_ext_path *path) 1794a86c6181SAlex Tomas { 1795a86c6181SAlex Tomas BUG_ON(path->p_idx == NULL); 1796a86c6181SAlex Tomas 1797a86c6181SAlex Tomas if (path->p_idx < EXT_FIRST_INDEX(path->p_hdr)) 1798a86c6181SAlex Tomas return 0; 1799a86c6181SAlex Tomas 1800a86c6181SAlex Tomas /* 1801d0d856e8SRandy Dunlap * if truncate on deeper level happened, it wasn't partial, 1802a86c6181SAlex Tomas * so we have to consider current index for truncation 1803a86c6181SAlex Tomas */ 1804a86c6181SAlex Tomas if (le16_to_cpu(path->p_hdr->eh_entries) == path->p_block) 1805a86c6181SAlex Tomas return 0; 1806a86c6181SAlex Tomas return 1; 1807a86c6181SAlex Tomas } 1808a86c6181SAlex Tomas 1809725d26d3SAneesh Kumar K.V int ext4_ext_remove_space(struct inode *inode, ext4_lblk_t start) 1810a86c6181SAlex Tomas { 1811a86c6181SAlex Tomas struct super_block *sb = inode->i_sb; 1812a86c6181SAlex Tomas int depth = ext_depth(inode); 1813a86c6181SAlex Tomas struct ext4_ext_path *path; 1814a86c6181SAlex Tomas handle_t *handle; 1815a86c6181SAlex Tomas int i = 0, err = 0; 1816a86c6181SAlex Tomas 1817725d26d3SAneesh Kumar K.V ext_debug("truncate since %u\n", start); 1818a86c6181SAlex Tomas 1819a86c6181SAlex Tomas /* probably first extent we're gonna free will be last in block */ 1820a86c6181SAlex Tomas handle = ext4_journal_start(inode, depth + 1); 1821a86c6181SAlex Tomas if (IS_ERR(handle)) 1822a86c6181SAlex Tomas return PTR_ERR(handle); 1823a86c6181SAlex Tomas 1824a86c6181SAlex Tomas ext4_ext_invalidate_cache(inode); 1825a86c6181SAlex Tomas 1826a86c6181SAlex Tomas /* 1827d0d856e8SRandy Dunlap * We start scanning from right side, freeing all the blocks 1828d0d856e8SRandy Dunlap * after i_size and walking into the tree depth-wise. 1829a86c6181SAlex Tomas */ 18305d4958f9SAvantika Mathur path = kzalloc(sizeof(struct ext4_ext_path) * (depth + 1), GFP_KERNEL); 1831a86c6181SAlex Tomas if (path == NULL) { 1832a86c6181SAlex Tomas ext4_journal_stop(handle); 1833a86c6181SAlex Tomas return -ENOMEM; 1834a86c6181SAlex Tomas } 1835a86c6181SAlex Tomas path[0].p_hdr = ext_inode_hdr(inode); 1836c29c0ae7SAlex Tomas if (ext4_ext_check_header(inode, path[0].p_hdr, depth)) { 1837a86c6181SAlex Tomas err = -EIO; 1838a86c6181SAlex Tomas goto out; 1839a86c6181SAlex Tomas } 1840a86c6181SAlex Tomas path[0].p_depth = depth; 1841a86c6181SAlex Tomas 1842a86c6181SAlex Tomas while (i >= 0 && err == 0) { 1843a86c6181SAlex Tomas if (i == depth) { 1844a86c6181SAlex Tomas /* this is leaf block */ 1845a86c6181SAlex Tomas err = ext4_ext_rm_leaf(handle, inode, path, start); 1846d0d856e8SRandy Dunlap /* root level has p_bh == NULL, brelse() eats this */ 1847a86c6181SAlex Tomas brelse(path[i].p_bh); 1848a86c6181SAlex Tomas path[i].p_bh = NULL; 1849a86c6181SAlex Tomas i--; 1850a86c6181SAlex Tomas continue; 1851a86c6181SAlex Tomas } 1852a86c6181SAlex Tomas 1853a86c6181SAlex Tomas /* this is index block */ 1854a86c6181SAlex Tomas if (!path[i].p_hdr) { 1855a86c6181SAlex Tomas ext_debug("initialize header\n"); 1856a86c6181SAlex Tomas path[i].p_hdr = ext_block_hdr(path[i].p_bh); 1857a86c6181SAlex Tomas } 1858a86c6181SAlex Tomas 1859a86c6181SAlex Tomas if (!path[i].p_idx) { 1860d0d856e8SRandy Dunlap /* this level hasn't been touched yet */ 1861a86c6181SAlex Tomas path[i].p_idx = EXT_LAST_INDEX(path[i].p_hdr); 1862a86c6181SAlex Tomas path[i].p_block = le16_to_cpu(path[i].p_hdr->eh_entries)+1; 1863a86c6181SAlex Tomas ext_debug("init index ptr: hdr 0x%p, num %d\n", 1864a86c6181SAlex Tomas path[i].p_hdr, 1865a86c6181SAlex Tomas le16_to_cpu(path[i].p_hdr->eh_entries)); 1866a86c6181SAlex Tomas } else { 1867d0d856e8SRandy Dunlap /* we were already here, see at next index */ 1868a86c6181SAlex Tomas path[i].p_idx--; 1869a86c6181SAlex Tomas } 1870a86c6181SAlex Tomas 1871a86c6181SAlex Tomas ext_debug("level %d - index, first 0x%p, cur 0x%p\n", 1872a86c6181SAlex Tomas i, EXT_FIRST_INDEX(path[i].p_hdr), 1873a86c6181SAlex Tomas path[i].p_idx); 1874a86c6181SAlex Tomas if (ext4_ext_more_to_rm(path + i)) { 1875c29c0ae7SAlex Tomas struct buffer_head *bh; 1876a86c6181SAlex Tomas /* go to the next level */ 18772ae02107SMingming Cao ext_debug("move to level %d (block %llu)\n", 1878f65e6fbaSAlex Tomas i + 1, idx_pblock(path[i].p_idx)); 1879a86c6181SAlex Tomas memset(path + i + 1, 0, sizeof(*path)); 1880c29c0ae7SAlex Tomas bh = sb_bread(sb, idx_pblock(path[i].p_idx)); 1881c29c0ae7SAlex Tomas if (!bh) { 1882a86c6181SAlex Tomas /* should we reset i_size? */ 1883a86c6181SAlex Tomas err = -EIO; 1884a86c6181SAlex Tomas break; 1885a86c6181SAlex Tomas } 1886c29c0ae7SAlex Tomas if (WARN_ON(i + 1 > depth)) { 1887c29c0ae7SAlex Tomas err = -EIO; 1888c29c0ae7SAlex Tomas break; 1889c29c0ae7SAlex Tomas } 1890c29c0ae7SAlex Tomas if (ext4_ext_check_header(inode, ext_block_hdr(bh), 1891c29c0ae7SAlex Tomas depth - i - 1)) { 1892c29c0ae7SAlex Tomas err = -EIO; 1893c29c0ae7SAlex Tomas break; 1894c29c0ae7SAlex Tomas } 1895c29c0ae7SAlex Tomas path[i + 1].p_bh = bh; 1896a86c6181SAlex Tomas 1897d0d856e8SRandy Dunlap /* save actual number of indexes since this 1898d0d856e8SRandy Dunlap * number is changed at the next iteration */ 1899a86c6181SAlex Tomas path[i].p_block = le16_to_cpu(path[i].p_hdr->eh_entries); 1900a86c6181SAlex Tomas i++; 1901a86c6181SAlex Tomas } else { 1902d0d856e8SRandy Dunlap /* we finished processing this index, go up */ 1903a86c6181SAlex Tomas if (path[i].p_hdr->eh_entries == 0 && i > 0) { 1904d0d856e8SRandy Dunlap /* index is empty, remove it; 1905a86c6181SAlex Tomas * handle must be already prepared by the 1906a86c6181SAlex Tomas * truncatei_leaf() */ 1907a86c6181SAlex Tomas err = ext4_ext_rm_idx(handle, inode, path + i); 1908a86c6181SAlex Tomas } 1909d0d856e8SRandy Dunlap /* root level has p_bh == NULL, brelse() eats this */ 1910a86c6181SAlex Tomas brelse(path[i].p_bh); 1911a86c6181SAlex Tomas path[i].p_bh = NULL; 1912a86c6181SAlex Tomas i--; 1913a86c6181SAlex Tomas ext_debug("return to level %d\n", i); 1914a86c6181SAlex Tomas } 1915a86c6181SAlex Tomas } 1916a86c6181SAlex Tomas 1917a86c6181SAlex Tomas /* TODO: flexible tree reduction should be here */ 1918a86c6181SAlex Tomas if (path->p_hdr->eh_entries == 0) { 1919a86c6181SAlex Tomas /* 1920d0d856e8SRandy Dunlap * truncate to zero freed all the tree, 1921d0d856e8SRandy Dunlap * so we need to correct eh_depth 1922a86c6181SAlex Tomas */ 1923a86c6181SAlex Tomas err = ext4_ext_get_access(handle, inode, path); 1924a86c6181SAlex Tomas if (err == 0) { 1925a86c6181SAlex Tomas ext_inode_hdr(inode)->eh_depth = 0; 1926a86c6181SAlex Tomas ext_inode_hdr(inode)->eh_max = 1927a86c6181SAlex Tomas cpu_to_le16(ext4_ext_space_root(inode)); 1928a86c6181SAlex Tomas err = ext4_ext_dirty(handle, inode, path); 1929a86c6181SAlex Tomas } 1930a86c6181SAlex Tomas } 1931a86c6181SAlex Tomas out: 1932a86c6181SAlex Tomas ext4_ext_tree_changed(inode); 1933a86c6181SAlex Tomas ext4_ext_drop_refs(path); 1934a86c6181SAlex Tomas kfree(path); 1935a86c6181SAlex Tomas ext4_journal_stop(handle); 1936a86c6181SAlex Tomas 1937a86c6181SAlex Tomas return err; 1938a86c6181SAlex Tomas } 1939a86c6181SAlex Tomas 1940a86c6181SAlex Tomas /* 1941a86c6181SAlex Tomas * called at mount time 1942a86c6181SAlex Tomas */ 1943a86c6181SAlex Tomas void ext4_ext_init(struct super_block *sb) 1944a86c6181SAlex Tomas { 1945a86c6181SAlex Tomas /* 1946a86c6181SAlex Tomas * possible initialization would be here 1947a86c6181SAlex Tomas */ 1948a86c6181SAlex Tomas 1949a86c6181SAlex Tomas if (test_opt(sb, EXTENTS)) { 1950a86c6181SAlex Tomas printk("EXT4-fs: file extents enabled"); 1951bbf2f9fbSRobert P. J. Day #ifdef AGGRESSIVE_TEST 1952bbf2f9fbSRobert P. J. Day printk(", aggressive tests"); 1953a86c6181SAlex Tomas #endif 1954a86c6181SAlex Tomas #ifdef CHECK_BINSEARCH 1955a86c6181SAlex Tomas printk(", check binsearch"); 1956a86c6181SAlex Tomas #endif 1957a86c6181SAlex Tomas #ifdef EXTENTS_STATS 1958a86c6181SAlex Tomas printk(", stats"); 1959a86c6181SAlex Tomas #endif 1960a86c6181SAlex Tomas printk("\n"); 1961a86c6181SAlex Tomas #ifdef EXTENTS_STATS 1962a86c6181SAlex Tomas spin_lock_init(&EXT4_SB(sb)->s_ext_stats_lock); 1963a86c6181SAlex Tomas EXT4_SB(sb)->s_ext_min = 1 << 30; 1964a86c6181SAlex Tomas EXT4_SB(sb)->s_ext_max = 0; 1965a86c6181SAlex Tomas #endif 1966a86c6181SAlex Tomas } 1967a86c6181SAlex Tomas } 1968a86c6181SAlex Tomas 1969a86c6181SAlex Tomas /* 1970a86c6181SAlex Tomas * called at umount time 1971a86c6181SAlex Tomas */ 1972a86c6181SAlex Tomas void ext4_ext_release(struct super_block *sb) 1973a86c6181SAlex Tomas { 1974a86c6181SAlex Tomas if (!test_opt(sb, EXTENTS)) 1975a86c6181SAlex Tomas return; 1976a86c6181SAlex Tomas 1977a86c6181SAlex Tomas #ifdef EXTENTS_STATS 1978a86c6181SAlex Tomas if (EXT4_SB(sb)->s_ext_blocks && EXT4_SB(sb)->s_ext_extents) { 1979a86c6181SAlex Tomas struct ext4_sb_info *sbi = EXT4_SB(sb); 1980a86c6181SAlex Tomas printk(KERN_ERR "EXT4-fs: %lu blocks in %lu extents (%lu ave)\n", 1981a86c6181SAlex Tomas sbi->s_ext_blocks, sbi->s_ext_extents, 1982a86c6181SAlex Tomas sbi->s_ext_blocks / sbi->s_ext_extents); 1983a86c6181SAlex Tomas printk(KERN_ERR "EXT4-fs: extents: %lu min, %lu max, max depth %lu\n", 1984a86c6181SAlex Tomas sbi->s_ext_min, sbi->s_ext_max, sbi->s_depth_max); 1985a86c6181SAlex Tomas } 1986a86c6181SAlex Tomas #endif 1987a86c6181SAlex Tomas } 1988a86c6181SAlex Tomas 198956055d3aSAmit Arora /* 199056055d3aSAmit Arora * This function is called by ext4_ext_get_blocks() if someone tries to write 199156055d3aSAmit Arora * to an uninitialized extent. It may result in splitting the uninitialized 199256055d3aSAmit Arora * extent into multiple extents (upto three - one initialized and two 199356055d3aSAmit Arora * uninitialized). 199456055d3aSAmit Arora * There are three possibilities: 199556055d3aSAmit Arora * a> There is no split required: Entire extent should be initialized 199656055d3aSAmit Arora * b> Splits in two extents: Write is happening at either end of the extent 199756055d3aSAmit Arora * c> Splits in three extents: Somone is writing in middle of the extent 199856055d3aSAmit Arora */ 1999725d26d3SAneesh Kumar K.V static int ext4_ext_convert_to_initialized(handle_t *handle, 2000725d26d3SAneesh Kumar K.V struct inode *inode, 200156055d3aSAmit Arora struct ext4_ext_path *path, 2002725d26d3SAneesh Kumar K.V ext4_lblk_t iblock, 200356055d3aSAmit Arora unsigned long max_blocks) 200456055d3aSAmit Arora { 200556055d3aSAmit Arora struct ext4_extent *ex, newex; 200656055d3aSAmit Arora struct ext4_extent *ex1 = NULL; 200756055d3aSAmit Arora struct ext4_extent *ex2 = NULL; 200856055d3aSAmit Arora struct ext4_extent *ex3 = NULL; 200956055d3aSAmit Arora struct ext4_extent_header *eh; 2010725d26d3SAneesh Kumar K.V ext4_lblk_t ee_block; 2011725d26d3SAneesh Kumar K.V unsigned int allocated, ee_len, depth; 201256055d3aSAmit Arora ext4_fsblk_t newblock; 201356055d3aSAmit Arora int err = 0; 201456055d3aSAmit Arora int ret = 0; 201556055d3aSAmit Arora 201656055d3aSAmit Arora depth = ext_depth(inode); 201756055d3aSAmit Arora eh = path[depth].p_hdr; 201856055d3aSAmit Arora ex = path[depth].p_ext; 201956055d3aSAmit Arora ee_block = le32_to_cpu(ex->ee_block); 202056055d3aSAmit Arora ee_len = ext4_ext_get_actual_len(ex); 202156055d3aSAmit Arora allocated = ee_len - (iblock - ee_block); 202256055d3aSAmit Arora newblock = iblock - ee_block + ext_pblock(ex); 202356055d3aSAmit Arora ex2 = ex; 202456055d3aSAmit Arora 202556055d3aSAmit Arora /* ex1: ee_block to iblock - 1 : uninitialized */ 202656055d3aSAmit Arora if (iblock > ee_block) { 202756055d3aSAmit Arora ex1 = ex; 202856055d3aSAmit Arora ex1->ee_len = cpu_to_le16(iblock - ee_block); 202956055d3aSAmit Arora ext4_ext_mark_uninitialized(ex1); 203056055d3aSAmit Arora ex2 = &newex; 203156055d3aSAmit Arora } 203256055d3aSAmit Arora /* 203356055d3aSAmit Arora * for sanity, update the length of the ex2 extent before 203456055d3aSAmit Arora * we insert ex3, if ex1 is NULL. This is to avoid temporary 203556055d3aSAmit Arora * overlap of blocks. 203656055d3aSAmit Arora */ 203756055d3aSAmit Arora if (!ex1 && allocated > max_blocks) 203856055d3aSAmit Arora ex2->ee_len = cpu_to_le16(max_blocks); 203956055d3aSAmit Arora /* ex3: to ee_block + ee_len : uninitialised */ 204056055d3aSAmit Arora if (allocated > max_blocks) { 204156055d3aSAmit Arora unsigned int newdepth; 204256055d3aSAmit Arora ex3 = &newex; 204356055d3aSAmit Arora ex3->ee_block = cpu_to_le32(iblock + max_blocks); 204456055d3aSAmit Arora ext4_ext_store_pblock(ex3, newblock + max_blocks); 204556055d3aSAmit Arora ex3->ee_len = cpu_to_le16(allocated - max_blocks); 204656055d3aSAmit Arora ext4_ext_mark_uninitialized(ex3); 204756055d3aSAmit Arora err = ext4_ext_insert_extent(handle, inode, path, ex3); 204856055d3aSAmit Arora if (err) 204956055d3aSAmit Arora goto out; 205056055d3aSAmit Arora /* 205156055d3aSAmit Arora * The depth, and hence eh & ex might change 205256055d3aSAmit Arora * as part of the insert above. 205356055d3aSAmit Arora */ 205456055d3aSAmit Arora newdepth = ext_depth(inode); 205556055d3aSAmit Arora if (newdepth != depth) { 205656055d3aSAmit Arora depth = newdepth; 205756055d3aSAmit Arora path = ext4_ext_find_extent(inode, iblock, NULL); 205856055d3aSAmit Arora if (IS_ERR(path)) { 205956055d3aSAmit Arora err = PTR_ERR(path); 206056055d3aSAmit Arora path = NULL; 206156055d3aSAmit Arora goto out; 206256055d3aSAmit Arora } 206356055d3aSAmit Arora eh = path[depth].p_hdr; 206456055d3aSAmit Arora ex = path[depth].p_ext; 206556055d3aSAmit Arora if (ex2 != &newex) 206656055d3aSAmit Arora ex2 = ex; 206756055d3aSAmit Arora } 206856055d3aSAmit Arora allocated = max_blocks; 206956055d3aSAmit Arora } 207056055d3aSAmit Arora /* 207156055d3aSAmit Arora * If there was a change of depth as part of the 207256055d3aSAmit Arora * insertion of ex3 above, we need to update the length 207356055d3aSAmit Arora * of the ex1 extent again here 207456055d3aSAmit Arora */ 207556055d3aSAmit Arora if (ex1 && ex1 != ex) { 207656055d3aSAmit Arora ex1 = ex; 207756055d3aSAmit Arora ex1->ee_len = cpu_to_le16(iblock - ee_block); 207856055d3aSAmit Arora ext4_ext_mark_uninitialized(ex1); 207956055d3aSAmit Arora ex2 = &newex; 208056055d3aSAmit Arora } 208156055d3aSAmit Arora /* ex2: iblock to iblock + maxblocks-1 : initialised */ 208256055d3aSAmit Arora ex2->ee_block = cpu_to_le32(iblock); 208356055d3aSAmit Arora ext4_ext_store_pblock(ex2, newblock); 208456055d3aSAmit Arora ex2->ee_len = cpu_to_le16(allocated); 208556055d3aSAmit Arora if (ex2 != ex) 208656055d3aSAmit Arora goto insert; 208756055d3aSAmit Arora err = ext4_ext_get_access(handle, inode, path + depth); 208856055d3aSAmit Arora if (err) 208956055d3aSAmit Arora goto out; 209056055d3aSAmit Arora /* 209156055d3aSAmit Arora * New (initialized) extent starts from the first block 209256055d3aSAmit Arora * in the current extent. i.e., ex2 == ex 209356055d3aSAmit Arora * We have to see if it can be merged with the extent 209456055d3aSAmit Arora * on the left. 209556055d3aSAmit Arora */ 209656055d3aSAmit Arora if (ex2 > EXT_FIRST_EXTENT(eh)) { 209756055d3aSAmit Arora /* 209856055d3aSAmit Arora * To merge left, pass "ex2 - 1" to try_to_merge(), 209956055d3aSAmit Arora * since it merges towards right _only_. 210056055d3aSAmit Arora */ 210156055d3aSAmit Arora ret = ext4_ext_try_to_merge(inode, path, ex2 - 1); 210256055d3aSAmit Arora if (ret) { 210356055d3aSAmit Arora err = ext4_ext_correct_indexes(handle, inode, path); 210456055d3aSAmit Arora if (err) 210556055d3aSAmit Arora goto out; 210656055d3aSAmit Arora depth = ext_depth(inode); 210756055d3aSAmit Arora ex2--; 210856055d3aSAmit Arora } 210956055d3aSAmit Arora } 211056055d3aSAmit Arora /* 211156055d3aSAmit Arora * Try to Merge towards right. This might be required 211256055d3aSAmit Arora * only when the whole extent is being written to. 211356055d3aSAmit Arora * i.e. ex2 == ex and ex3 == NULL. 211456055d3aSAmit Arora */ 211556055d3aSAmit Arora if (!ex3) { 211656055d3aSAmit Arora ret = ext4_ext_try_to_merge(inode, path, ex2); 211756055d3aSAmit Arora if (ret) { 211856055d3aSAmit Arora err = ext4_ext_correct_indexes(handle, inode, path); 211956055d3aSAmit Arora if (err) 212056055d3aSAmit Arora goto out; 212156055d3aSAmit Arora } 212256055d3aSAmit Arora } 212356055d3aSAmit Arora /* Mark modified extent as dirty */ 212456055d3aSAmit Arora err = ext4_ext_dirty(handle, inode, path + depth); 212556055d3aSAmit Arora goto out; 212656055d3aSAmit Arora insert: 212756055d3aSAmit Arora err = ext4_ext_insert_extent(handle, inode, path, &newex); 212856055d3aSAmit Arora out: 212956055d3aSAmit Arora return err ? err : allocated; 213056055d3aSAmit Arora } 213156055d3aSAmit Arora 2132f65e6fbaSAlex Tomas int ext4_ext_get_blocks(handle_t *handle, struct inode *inode, 2133725d26d3SAneesh Kumar K.V ext4_lblk_t iblock, 2134a86c6181SAlex Tomas unsigned long max_blocks, struct buffer_head *bh_result, 2135a86c6181SAlex Tomas int create, int extend_disksize) 2136a86c6181SAlex Tomas { 2137a86c6181SAlex Tomas struct ext4_ext_path *path = NULL; 213856055d3aSAmit Arora struct ext4_extent_header *eh; 2139a86c6181SAlex Tomas struct ext4_extent newex, *ex; 2140f65e6fbaSAlex Tomas ext4_fsblk_t goal, newblock; 214156055d3aSAmit Arora int err = 0, depth, ret; 2142a86c6181SAlex Tomas unsigned long allocated = 0; 2143a86c6181SAlex Tomas 2144a86c6181SAlex Tomas __clear_bit(BH_New, &bh_result->b_state); 2145*bba90743SEric Sandeen ext_debug("blocks %u/%lu requested for inode %u\n", 2146*bba90743SEric Sandeen iblock, max_blocks, inode->i_ino); 2147a86c6181SAlex Tomas mutex_lock(&EXT4_I(inode)->truncate_mutex); 2148a86c6181SAlex Tomas 2149a86c6181SAlex Tomas /* check in cache */ 21507e028976SAvantika Mathur goal = ext4_ext_in_cache(inode, iblock, &newex); 21517e028976SAvantika Mathur if (goal) { 2152a86c6181SAlex Tomas if (goal == EXT4_EXT_CACHE_GAP) { 2153a86c6181SAlex Tomas if (!create) { 215456055d3aSAmit Arora /* 215556055d3aSAmit Arora * block isn't allocated yet and 215656055d3aSAmit Arora * user doesn't want to allocate it 215756055d3aSAmit Arora */ 2158a86c6181SAlex Tomas goto out2; 2159a86c6181SAlex Tomas } 2160a86c6181SAlex Tomas /* we should allocate requested block */ 2161a86c6181SAlex Tomas } else if (goal == EXT4_EXT_CACHE_EXTENT) { 2162a86c6181SAlex Tomas /* block is already allocated */ 2163a86c6181SAlex Tomas newblock = iblock 2164a86c6181SAlex Tomas - le32_to_cpu(newex.ee_block) 2165f65e6fbaSAlex Tomas + ext_pblock(&newex); 2166d0d856e8SRandy Dunlap /* number of remaining blocks in the extent */ 2167a86c6181SAlex Tomas allocated = le16_to_cpu(newex.ee_len) - 2168a86c6181SAlex Tomas (iblock - le32_to_cpu(newex.ee_block)); 2169a86c6181SAlex Tomas goto out; 2170a86c6181SAlex Tomas } else { 2171a86c6181SAlex Tomas BUG(); 2172a86c6181SAlex Tomas } 2173a86c6181SAlex Tomas } 2174a86c6181SAlex Tomas 2175a86c6181SAlex Tomas /* find extent for this block */ 2176a86c6181SAlex Tomas path = ext4_ext_find_extent(inode, iblock, NULL); 2177a86c6181SAlex Tomas if (IS_ERR(path)) { 2178a86c6181SAlex Tomas err = PTR_ERR(path); 2179a86c6181SAlex Tomas path = NULL; 2180a86c6181SAlex Tomas goto out2; 2181a86c6181SAlex Tomas } 2182a86c6181SAlex Tomas 2183a86c6181SAlex Tomas depth = ext_depth(inode); 2184a86c6181SAlex Tomas 2185a86c6181SAlex Tomas /* 2186d0d856e8SRandy Dunlap * consistent leaf must not be empty; 2187d0d856e8SRandy Dunlap * this situation is possible, though, _during_ tree modification; 2188a86c6181SAlex Tomas * this is why assert can't be put in ext4_ext_find_extent() 2189a86c6181SAlex Tomas */ 2190a86c6181SAlex Tomas BUG_ON(path[depth].p_ext == NULL && depth != 0); 219156055d3aSAmit Arora eh = path[depth].p_hdr; 2192a86c6181SAlex Tomas 21937e028976SAvantika Mathur ex = path[depth].p_ext; 21947e028976SAvantika Mathur if (ex) { 2195725d26d3SAneesh Kumar K.V ext4_lblk_t ee_block = le32_to_cpu(ex->ee_block); 2196f65e6fbaSAlex Tomas ext4_fsblk_t ee_start = ext_pblock(ex); 2197a2df2a63SAmit Arora unsigned short ee_len; 2198471d4011SSuparna Bhattacharya 2199471d4011SSuparna Bhattacharya /* 2200471d4011SSuparna Bhattacharya * Uninitialized extents are treated as holes, except that 220156055d3aSAmit Arora * we split out initialized portions during a write. 2202471d4011SSuparna Bhattacharya */ 2203a2df2a63SAmit Arora ee_len = ext4_ext_get_actual_len(ex); 2204d0d856e8SRandy Dunlap /* if found extent covers block, simply return it */ 2205a86c6181SAlex Tomas if (iblock >= ee_block && iblock < ee_block + ee_len) { 2206a86c6181SAlex Tomas newblock = iblock - ee_block + ee_start; 2207d0d856e8SRandy Dunlap /* number of remaining blocks in the extent */ 2208a86c6181SAlex Tomas allocated = ee_len - (iblock - ee_block); 2209*bba90743SEric Sandeen ext_debug("%u fit into %lu:%d -> %llu\n", iblock, 2210a86c6181SAlex Tomas ee_block, ee_len, newblock); 221156055d3aSAmit Arora 2212a2df2a63SAmit Arora /* Do not put uninitialized extent in the cache */ 221356055d3aSAmit Arora if (!ext4_ext_is_uninitialized(ex)) { 2214a2df2a63SAmit Arora ext4_ext_put_in_cache(inode, ee_block, 2215a2df2a63SAmit Arora ee_len, ee_start, 2216a2df2a63SAmit Arora EXT4_EXT_CACHE_EXTENT); 2217a86c6181SAlex Tomas goto out; 2218a86c6181SAlex Tomas } 221956055d3aSAmit Arora if (create == EXT4_CREATE_UNINITIALIZED_EXT) 222056055d3aSAmit Arora goto out; 222156055d3aSAmit Arora if (!create) 222256055d3aSAmit Arora goto out2; 222356055d3aSAmit Arora 222456055d3aSAmit Arora ret = ext4_ext_convert_to_initialized(handle, inode, 222556055d3aSAmit Arora path, iblock, 222656055d3aSAmit Arora max_blocks); 222756055d3aSAmit Arora if (ret <= 0) 222856055d3aSAmit Arora goto out2; 222956055d3aSAmit Arora else 223056055d3aSAmit Arora allocated = ret; 223156055d3aSAmit Arora goto outnew; 223256055d3aSAmit Arora } 2233a86c6181SAlex Tomas } 2234a86c6181SAlex Tomas 2235a86c6181SAlex Tomas /* 2236d0d856e8SRandy Dunlap * requested block isn't allocated yet; 2237a86c6181SAlex Tomas * we couldn't try to create block if create flag is zero 2238a86c6181SAlex Tomas */ 2239a86c6181SAlex Tomas if (!create) { 224056055d3aSAmit Arora /* 224156055d3aSAmit Arora * put just found gap into cache to speed up 224256055d3aSAmit Arora * subsequent requests 224356055d3aSAmit Arora */ 2244a86c6181SAlex Tomas ext4_ext_put_gap_in_cache(inode, path, iblock); 2245a86c6181SAlex Tomas goto out2; 2246a86c6181SAlex Tomas } 2247a86c6181SAlex Tomas /* 2248a86c6181SAlex Tomas * Okay, we need to do block allocation. Lazily initialize the block 2249d0d856e8SRandy Dunlap * allocation info here if necessary. 2250a86c6181SAlex Tomas */ 2251a86c6181SAlex Tomas if (S_ISREG(inode->i_mode) && (!EXT4_I(inode)->i_block_alloc_info)) 2252a86c6181SAlex Tomas ext4_init_block_alloc_info(inode); 2253a86c6181SAlex Tomas 2254a86c6181SAlex Tomas /* allocate new block */ 2255a86c6181SAlex Tomas goal = ext4_ext_find_goal(inode, path, iblock); 225625d14f98SAmit Arora 2257749269faSAmit Arora /* 2258749269faSAmit Arora * See if request is beyond maximum number of blocks we can have in 2259749269faSAmit Arora * a single extent. For an initialized extent this limit is 2260749269faSAmit Arora * EXT_INIT_MAX_LEN and for an uninitialized extent this limit is 2261749269faSAmit Arora * EXT_UNINIT_MAX_LEN. 2262749269faSAmit Arora */ 2263749269faSAmit Arora if (max_blocks > EXT_INIT_MAX_LEN && 2264749269faSAmit Arora create != EXT4_CREATE_UNINITIALIZED_EXT) 2265749269faSAmit Arora max_blocks = EXT_INIT_MAX_LEN; 2266749269faSAmit Arora else if (max_blocks > EXT_UNINIT_MAX_LEN && 2267749269faSAmit Arora create == EXT4_CREATE_UNINITIALIZED_EXT) 2268749269faSAmit Arora max_blocks = EXT_UNINIT_MAX_LEN; 2269749269faSAmit Arora 227025d14f98SAmit Arora /* Check if we can really insert (iblock)::(iblock+max_blocks) extent */ 227125d14f98SAmit Arora newex.ee_block = cpu_to_le32(iblock); 227225d14f98SAmit Arora newex.ee_len = cpu_to_le16(max_blocks); 227325d14f98SAmit Arora err = ext4_ext_check_overlap(inode, &newex, path); 227425d14f98SAmit Arora if (err) 227525d14f98SAmit Arora allocated = le16_to_cpu(newex.ee_len); 227625d14f98SAmit Arora else 2277a86c6181SAlex Tomas allocated = max_blocks; 2278a86c6181SAlex Tomas newblock = ext4_new_blocks(handle, inode, goal, &allocated, &err); 2279a86c6181SAlex Tomas if (!newblock) 2280a86c6181SAlex Tomas goto out2; 22812ae02107SMingming Cao ext_debug("allocate new block: goal %llu, found %llu/%lu\n", 2282a86c6181SAlex Tomas goal, newblock, allocated); 2283a86c6181SAlex Tomas 2284a86c6181SAlex Tomas /* try to insert new extent into found leaf and return */ 2285f65e6fbaSAlex Tomas ext4_ext_store_pblock(&newex, newblock); 2286a86c6181SAlex Tomas newex.ee_len = cpu_to_le16(allocated); 2287a2df2a63SAmit Arora if (create == EXT4_CREATE_UNINITIALIZED_EXT) /* Mark uninitialized */ 2288a2df2a63SAmit Arora ext4_ext_mark_uninitialized(&newex); 2289a86c6181SAlex Tomas err = ext4_ext_insert_extent(handle, inode, path, &newex); 2290315054f0SAlex Tomas if (err) { 2291315054f0SAlex Tomas /* free data blocks we just allocated */ 2292315054f0SAlex Tomas ext4_free_blocks(handle, inode, ext_pblock(&newex), 2293315054f0SAlex Tomas le16_to_cpu(newex.ee_len)); 2294a86c6181SAlex Tomas goto out2; 2295315054f0SAlex Tomas } 2296a86c6181SAlex Tomas 2297a86c6181SAlex Tomas if (extend_disksize && inode->i_size > EXT4_I(inode)->i_disksize) 2298a86c6181SAlex Tomas EXT4_I(inode)->i_disksize = inode->i_size; 2299a86c6181SAlex Tomas 2300a86c6181SAlex Tomas /* previous routine could use block we allocated */ 2301f65e6fbaSAlex Tomas newblock = ext_pblock(&newex); 230256055d3aSAmit Arora outnew: 2303a86c6181SAlex Tomas __set_bit(BH_New, &bh_result->b_state); 2304a86c6181SAlex Tomas 2305a2df2a63SAmit Arora /* Cache only when it is _not_ an uninitialized extent */ 2306a2df2a63SAmit Arora if (create != EXT4_CREATE_UNINITIALIZED_EXT) 2307a86c6181SAlex Tomas ext4_ext_put_in_cache(inode, iblock, allocated, newblock, 2308a86c6181SAlex Tomas EXT4_EXT_CACHE_EXTENT); 2309a86c6181SAlex Tomas out: 2310a86c6181SAlex Tomas if (allocated > max_blocks) 2311a86c6181SAlex Tomas allocated = max_blocks; 2312a86c6181SAlex Tomas ext4_ext_show_leaf(inode, path); 2313a86c6181SAlex Tomas __set_bit(BH_Mapped, &bh_result->b_state); 2314a86c6181SAlex Tomas bh_result->b_bdev = inode->i_sb->s_bdev; 2315a86c6181SAlex Tomas bh_result->b_blocknr = newblock; 2316a86c6181SAlex Tomas out2: 2317a86c6181SAlex Tomas if (path) { 2318a86c6181SAlex Tomas ext4_ext_drop_refs(path); 2319a86c6181SAlex Tomas kfree(path); 2320a86c6181SAlex Tomas } 2321a86c6181SAlex Tomas mutex_unlock(&EXT4_I(inode)->truncate_mutex); 2322a86c6181SAlex Tomas 2323a86c6181SAlex Tomas return err ? err : allocated; 2324a86c6181SAlex Tomas } 2325a86c6181SAlex Tomas 2326a86c6181SAlex Tomas void ext4_ext_truncate(struct inode * inode, struct page *page) 2327a86c6181SAlex Tomas { 2328a86c6181SAlex Tomas struct address_space *mapping = inode->i_mapping; 2329a86c6181SAlex Tomas struct super_block *sb = inode->i_sb; 2330725d26d3SAneesh Kumar K.V ext4_lblk_t last_block; 2331a86c6181SAlex Tomas handle_t *handle; 2332a86c6181SAlex Tomas int err = 0; 2333a86c6181SAlex Tomas 2334a86c6181SAlex Tomas /* 2335a86c6181SAlex Tomas * probably first extent we're gonna free will be last in block 2336a86c6181SAlex Tomas */ 2337a86c6181SAlex Tomas err = ext4_writepage_trans_blocks(inode) + 3; 2338a86c6181SAlex Tomas handle = ext4_journal_start(inode, err); 2339a86c6181SAlex Tomas if (IS_ERR(handle)) { 2340a86c6181SAlex Tomas if (page) { 2341a86c6181SAlex Tomas clear_highpage(page); 2342a86c6181SAlex Tomas flush_dcache_page(page); 2343a86c6181SAlex Tomas unlock_page(page); 2344a86c6181SAlex Tomas page_cache_release(page); 2345a86c6181SAlex Tomas } 2346a86c6181SAlex Tomas return; 2347a86c6181SAlex Tomas } 2348a86c6181SAlex Tomas 2349a86c6181SAlex Tomas if (page) 2350a86c6181SAlex Tomas ext4_block_truncate_page(handle, page, mapping, inode->i_size); 2351a86c6181SAlex Tomas 2352a86c6181SAlex Tomas mutex_lock(&EXT4_I(inode)->truncate_mutex); 2353a86c6181SAlex Tomas ext4_ext_invalidate_cache(inode); 2354a86c6181SAlex Tomas 2355a86c6181SAlex Tomas /* 2356d0d856e8SRandy Dunlap * TODO: optimization is possible here. 2357d0d856e8SRandy Dunlap * Probably we need not scan at all, 2358d0d856e8SRandy Dunlap * because page truncation is enough. 2359a86c6181SAlex Tomas */ 2360a86c6181SAlex Tomas if (ext4_orphan_add(handle, inode)) 2361a86c6181SAlex Tomas goto out_stop; 2362a86c6181SAlex Tomas 2363a86c6181SAlex Tomas /* we have to know where to truncate from in crash case */ 2364a86c6181SAlex Tomas EXT4_I(inode)->i_disksize = inode->i_size; 2365a86c6181SAlex Tomas ext4_mark_inode_dirty(handle, inode); 2366a86c6181SAlex Tomas 2367a86c6181SAlex Tomas last_block = (inode->i_size + sb->s_blocksize - 1) 2368a86c6181SAlex Tomas >> EXT4_BLOCK_SIZE_BITS(sb); 2369a86c6181SAlex Tomas err = ext4_ext_remove_space(inode, last_block); 2370a86c6181SAlex Tomas 2371a86c6181SAlex Tomas /* In a multi-transaction truncate, we only make the final 237256055d3aSAmit Arora * transaction synchronous. 237356055d3aSAmit Arora */ 2374a86c6181SAlex Tomas if (IS_SYNC(inode)) 2375a86c6181SAlex Tomas handle->h_sync = 1; 2376a86c6181SAlex Tomas 2377a86c6181SAlex Tomas out_stop: 2378a86c6181SAlex Tomas /* 2379d0d856e8SRandy Dunlap * If this was a simple ftruncate() and the file will remain alive, 2380a86c6181SAlex Tomas * then we need to clear up the orphan record which we created above. 2381a86c6181SAlex Tomas * However, if this was a real unlink then we were called by 2382a86c6181SAlex Tomas * ext4_delete_inode(), and we allow that function to clean up the 2383a86c6181SAlex Tomas * orphan info for us. 2384a86c6181SAlex Tomas */ 2385a86c6181SAlex Tomas if (inode->i_nlink) 2386a86c6181SAlex Tomas ext4_orphan_del(handle, inode); 2387a86c6181SAlex Tomas 2388a86c6181SAlex Tomas mutex_unlock(&EXT4_I(inode)->truncate_mutex); 2389a86c6181SAlex Tomas ext4_journal_stop(handle); 2390a86c6181SAlex Tomas } 2391a86c6181SAlex Tomas 2392a86c6181SAlex Tomas /* 2393d0d856e8SRandy Dunlap * ext4_ext_writepage_trans_blocks: 2394d0d856e8SRandy Dunlap * calculate max number of blocks we could modify 2395a86c6181SAlex Tomas * in order to allocate new block for an inode 2396a86c6181SAlex Tomas */ 2397a86c6181SAlex Tomas int ext4_ext_writepage_trans_blocks(struct inode *inode, int num) 2398a86c6181SAlex Tomas { 2399a86c6181SAlex Tomas int needed; 2400a86c6181SAlex Tomas 2401a86c6181SAlex Tomas needed = ext4_ext_calc_credits_for_insert(inode, NULL); 2402a86c6181SAlex Tomas 2403d0d856e8SRandy Dunlap /* caller wants to allocate num blocks, but note it includes sb */ 2404a86c6181SAlex Tomas needed = needed * num - (num - 1); 2405a86c6181SAlex Tomas 2406a86c6181SAlex Tomas #ifdef CONFIG_QUOTA 2407a86c6181SAlex Tomas needed += 2 * EXT4_QUOTA_TRANS_BLOCKS(inode->i_sb); 2408a86c6181SAlex Tomas #endif 2409a86c6181SAlex Tomas 2410a86c6181SAlex Tomas return needed; 2411a86c6181SAlex Tomas } 2412a2df2a63SAmit Arora 2413a2df2a63SAmit Arora /* 2414a2df2a63SAmit Arora * preallocate space for a file. This implements ext4's fallocate inode 2415a2df2a63SAmit Arora * operation, which gets called from sys_fallocate system call. 2416a2df2a63SAmit Arora * For block-mapped files, posix_fallocate should fall back to the method 2417a2df2a63SAmit Arora * of writing zeroes to the required new blocks (the same behavior which is 2418a2df2a63SAmit Arora * expected for file systems which do not support fallocate() system call). 2419a2df2a63SAmit Arora */ 2420a2df2a63SAmit Arora long ext4_fallocate(struct inode *inode, int mode, loff_t offset, loff_t len) 2421a2df2a63SAmit Arora { 2422a2df2a63SAmit Arora handle_t *handle; 2423725d26d3SAneesh Kumar K.V ext4_lblk_t block; 2424725d26d3SAneesh Kumar K.V unsigned long max_blocks; 2425a2df2a63SAmit Arora ext4_fsblk_t nblocks = 0; 2426a2df2a63SAmit Arora int ret = 0; 2427a2df2a63SAmit Arora int ret2 = 0; 2428a2df2a63SAmit Arora int retries = 0; 2429a2df2a63SAmit Arora struct buffer_head map_bh; 2430a2df2a63SAmit Arora unsigned int credits, blkbits = inode->i_blkbits; 2431a2df2a63SAmit Arora 2432a2df2a63SAmit Arora /* 2433a2df2a63SAmit Arora * currently supporting (pre)allocate mode for extent-based 2434a2df2a63SAmit Arora * files _only_ 2435a2df2a63SAmit Arora */ 2436a2df2a63SAmit Arora if (!(EXT4_I(inode)->i_flags & EXT4_EXTENTS_FL)) 2437a2df2a63SAmit Arora return -EOPNOTSUPP; 2438a2df2a63SAmit Arora 2439a2df2a63SAmit Arora /* preallocation to directories is currently not supported */ 2440a2df2a63SAmit Arora if (S_ISDIR(inode->i_mode)) 2441a2df2a63SAmit Arora return -ENODEV; 2442a2df2a63SAmit Arora 2443a2df2a63SAmit Arora block = offset >> blkbits; 2444a2df2a63SAmit Arora max_blocks = (EXT4_BLOCK_ALIGN(len + offset, blkbits) >> blkbits) 2445a2df2a63SAmit Arora - block; 2446a2df2a63SAmit Arora 2447a2df2a63SAmit Arora /* 2448a2df2a63SAmit Arora * credits to insert 1 extent into extent tree + buffers to be able to 2449a2df2a63SAmit Arora * modify 1 super block, 1 block bitmap and 1 group descriptor. 2450a2df2a63SAmit Arora */ 2451a2df2a63SAmit Arora credits = EXT4_DATA_TRANS_BLOCKS(inode->i_sb) + 3; 2452a2df2a63SAmit Arora retry: 2453a2df2a63SAmit Arora while (ret >= 0 && ret < max_blocks) { 2454a2df2a63SAmit Arora block = block + ret; 2455a2df2a63SAmit Arora max_blocks = max_blocks - ret; 2456a2df2a63SAmit Arora handle = ext4_journal_start(inode, credits); 2457a2df2a63SAmit Arora if (IS_ERR(handle)) { 2458a2df2a63SAmit Arora ret = PTR_ERR(handle); 2459a2df2a63SAmit Arora break; 2460a2df2a63SAmit Arora } 2461a2df2a63SAmit Arora 2462a2df2a63SAmit Arora ret = ext4_ext_get_blocks(handle, inode, block, 2463a2df2a63SAmit Arora max_blocks, &map_bh, 2464a2df2a63SAmit Arora EXT4_CREATE_UNINITIALIZED_EXT, 0); 2465a2df2a63SAmit Arora WARN_ON(!ret); 2466a2df2a63SAmit Arora if (!ret) { 2467a2df2a63SAmit Arora ext4_error(inode->i_sb, "ext4_fallocate", 2468a2df2a63SAmit Arora "ext4_ext_get_blocks returned 0! inode#%lu" 2469*bba90743SEric Sandeen ", block=%u, max_blocks=%lu", 2470*bba90743SEric Sandeen inode->i_ino, block, max_blocks); 2471a2df2a63SAmit Arora ret = -EIO; 2472a2df2a63SAmit Arora ext4_mark_inode_dirty(handle, inode); 2473a2df2a63SAmit Arora ret2 = ext4_journal_stop(handle); 2474a2df2a63SAmit Arora break; 2475a2df2a63SAmit Arora } 2476a2df2a63SAmit Arora if (ret > 0) { 2477a2df2a63SAmit Arora /* check wrap through sign-bit/zero here */ 2478a2df2a63SAmit Arora if ((block + ret) < 0 || (block + ret) < block) { 2479a2df2a63SAmit Arora ret = -EIO; 2480a2df2a63SAmit Arora ext4_mark_inode_dirty(handle, inode); 2481a2df2a63SAmit Arora ret2 = ext4_journal_stop(handle); 2482a2df2a63SAmit Arora break; 2483a2df2a63SAmit Arora } 2484a2df2a63SAmit Arora if (buffer_new(&map_bh) && ((block + ret) > 2485a2df2a63SAmit Arora (EXT4_BLOCK_ALIGN(i_size_read(inode), blkbits) 2486a2df2a63SAmit Arora >> blkbits))) 2487a2df2a63SAmit Arora nblocks = nblocks + ret; 2488a2df2a63SAmit Arora } 2489a2df2a63SAmit Arora 2490a2df2a63SAmit Arora /* Update ctime if new blocks get allocated */ 2491a2df2a63SAmit Arora if (nblocks) { 2492a2df2a63SAmit Arora struct timespec now; 2493a2df2a63SAmit Arora 2494a2df2a63SAmit Arora now = current_fs_time(inode->i_sb); 2495a2df2a63SAmit Arora if (!timespec_equal(&inode->i_ctime, &now)) 2496a2df2a63SAmit Arora inode->i_ctime = now; 2497a2df2a63SAmit Arora } 2498a2df2a63SAmit Arora 2499a2df2a63SAmit Arora ext4_mark_inode_dirty(handle, inode); 2500a2df2a63SAmit Arora ret2 = ext4_journal_stop(handle); 2501a2df2a63SAmit Arora if (ret2) 2502a2df2a63SAmit Arora break; 2503a2df2a63SAmit Arora } 2504a2df2a63SAmit Arora 2505a2df2a63SAmit Arora if (ret == -ENOSPC && ext4_should_retry_alloc(inode->i_sb, &retries)) 2506a2df2a63SAmit Arora goto retry; 2507a2df2a63SAmit Arora 2508a2df2a63SAmit Arora /* 2509a2df2a63SAmit Arora * Time to update the file size. 2510a2df2a63SAmit Arora * Update only when preallocation was requested beyond the file size. 2511a2df2a63SAmit Arora */ 2512a2df2a63SAmit Arora if (!(mode & FALLOC_FL_KEEP_SIZE) && 2513a2df2a63SAmit Arora (offset + len) > i_size_read(inode)) { 2514a2df2a63SAmit Arora if (ret > 0) { 2515a2df2a63SAmit Arora /* 2516a2df2a63SAmit Arora * if no error, we assume preallocation succeeded 2517a2df2a63SAmit Arora * completely 2518a2df2a63SAmit Arora */ 2519a2df2a63SAmit Arora mutex_lock(&inode->i_mutex); 2520a2df2a63SAmit Arora i_size_write(inode, offset + len); 2521a2df2a63SAmit Arora EXT4_I(inode)->i_disksize = i_size_read(inode); 2522a2df2a63SAmit Arora mutex_unlock(&inode->i_mutex); 2523a2df2a63SAmit Arora } else if (ret < 0 && nblocks) { 2524a2df2a63SAmit Arora /* Handle partial allocation scenario */ 2525a2df2a63SAmit Arora loff_t newsize; 2526a2df2a63SAmit Arora 2527a2df2a63SAmit Arora mutex_lock(&inode->i_mutex); 2528a2df2a63SAmit Arora newsize = (nblocks << blkbits) + i_size_read(inode); 2529a2df2a63SAmit Arora i_size_write(inode, EXT4_BLOCK_ALIGN(newsize, blkbits)); 2530a2df2a63SAmit Arora EXT4_I(inode)->i_disksize = i_size_read(inode); 2531a2df2a63SAmit Arora mutex_unlock(&inode->i_mutex); 2532a2df2a63SAmit Arora } 2533a2df2a63SAmit Arora } 2534a2df2a63SAmit Arora 2535a2df2a63SAmit Arora return ret > 0 ? ret2 : ret; 2536a2df2a63SAmit Arora } 2537