1ac27a0ecSDave Kleikamp /* 2617ba13bSMingming Cao * linux/fs/ext4/inode.c 3ac27a0ecSDave Kleikamp * 4ac27a0ecSDave Kleikamp * Copyright (C) 1992, 1993, 1994, 1995 5ac27a0ecSDave Kleikamp * Remy Card (card@masi.ibp.fr) 6ac27a0ecSDave Kleikamp * Laboratoire MASI - Institut Blaise Pascal 7ac27a0ecSDave Kleikamp * Universite Pierre et Marie Curie (Paris VI) 8ac27a0ecSDave Kleikamp * 9ac27a0ecSDave Kleikamp * from 10ac27a0ecSDave Kleikamp * 11ac27a0ecSDave Kleikamp * linux/fs/minix/inode.c 12ac27a0ecSDave Kleikamp * 13ac27a0ecSDave Kleikamp * Copyright (C) 1991, 1992 Linus Torvalds 14ac27a0ecSDave Kleikamp * 15ac27a0ecSDave Kleikamp * Goal-directed block allocation by Stephen Tweedie 16ac27a0ecSDave Kleikamp * (sct@redhat.com), 1993, 1998 17ac27a0ecSDave Kleikamp * Big-endian to little-endian byte-swapping/bitmaps by 18ac27a0ecSDave Kleikamp * David S. Miller (davem@caip.rutgers.edu), 1995 19ac27a0ecSDave Kleikamp * 64-bit file support on 64-bit platforms by Jakub Jelinek 20ac27a0ecSDave Kleikamp * (jj@sunsite.ms.mff.cuni.cz) 21ac27a0ecSDave Kleikamp * 22617ba13bSMingming Cao * Assorted race fixes, rewrite of ext4_get_block() by Al Viro, 2000 23ac27a0ecSDave Kleikamp */ 24ac27a0ecSDave Kleikamp 25ac27a0ecSDave Kleikamp #include <linux/module.h> 26ac27a0ecSDave Kleikamp #include <linux/fs.h> 27ac27a0ecSDave Kleikamp #include <linux/time.h> 28dab291afSMingming Cao #include <linux/ext4_jbd2.h> 29dab291afSMingming Cao #include <linux/jbd2.h> 30ac27a0ecSDave Kleikamp #include <linux/highuid.h> 31ac27a0ecSDave Kleikamp #include <linux/pagemap.h> 32ac27a0ecSDave Kleikamp #include <linux/quotaops.h> 33ac27a0ecSDave Kleikamp #include <linux/string.h> 34ac27a0ecSDave Kleikamp #include <linux/buffer_head.h> 35ac27a0ecSDave Kleikamp #include <linux/writeback.h> 36ac27a0ecSDave Kleikamp #include <linux/mpage.h> 37ac27a0ecSDave Kleikamp #include <linux/uio.h> 38ac27a0ecSDave Kleikamp #include <linux/bio.h> 39ac27a0ecSDave Kleikamp #include "xattr.h" 40ac27a0ecSDave Kleikamp #include "acl.h" 41ac27a0ecSDave Kleikamp 42ac27a0ecSDave Kleikamp /* 43ac27a0ecSDave Kleikamp * Test whether an inode is a fast symlink. 44ac27a0ecSDave Kleikamp */ 45617ba13bSMingming Cao static int ext4_inode_is_fast_symlink(struct inode *inode) 46ac27a0ecSDave Kleikamp { 47617ba13bSMingming Cao int ea_blocks = EXT4_I(inode)->i_file_acl ? 48ac27a0ecSDave Kleikamp (inode->i_sb->s_blocksize >> 9) : 0; 49ac27a0ecSDave Kleikamp 50ac27a0ecSDave Kleikamp return (S_ISLNK(inode->i_mode) && inode->i_blocks - ea_blocks == 0); 51ac27a0ecSDave Kleikamp } 52ac27a0ecSDave Kleikamp 53ac27a0ecSDave Kleikamp /* 54617ba13bSMingming Cao * The ext4 forget function must perform a revoke if we are freeing data 55ac27a0ecSDave Kleikamp * which has been journaled. Metadata (eg. indirect blocks) must be 56ac27a0ecSDave Kleikamp * revoked in all cases. 57ac27a0ecSDave Kleikamp * 58ac27a0ecSDave Kleikamp * "bh" may be NULL: a metadata block may have been freed from memory 59ac27a0ecSDave Kleikamp * but there may still be a record of it in the journal, and that record 60ac27a0ecSDave Kleikamp * still needs to be revoked. 61ac27a0ecSDave Kleikamp */ 62617ba13bSMingming Cao int ext4_forget(handle_t *handle, int is_metadata, struct inode *inode, 63617ba13bSMingming Cao struct buffer_head *bh, ext4_fsblk_t blocknr) 64ac27a0ecSDave Kleikamp { 65ac27a0ecSDave Kleikamp int err; 66ac27a0ecSDave Kleikamp 67ac27a0ecSDave Kleikamp might_sleep(); 68ac27a0ecSDave Kleikamp 69ac27a0ecSDave Kleikamp BUFFER_TRACE(bh, "enter"); 70ac27a0ecSDave Kleikamp 71ac27a0ecSDave Kleikamp jbd_debug(4, "forgetting bh %p: is_metadata = %d, mode %o, " 72ac27a0ecSDave Kleikamp "data mode %lx\n", 73ac27a0ecSDave Kleikamp bh, is_metadata, inode->i_mode, 74ac27a0ecSDave Kleikamp test_opt(inode->i_sb, DATA_FLAGS)); 75ac27a0ecSDave Kleikamp 76ac27a0ecSDave Kleikamp /* Never use the revoke function if we are doing full data 77ac27a0ecSDave Kleikamp * journaling: there is no need to, and a V1 superblock won't 78ac27a0ecSDave Kleikamp * support it. Otherwise, only skip the revoke on un-journaled 79ac27a0ecSDave Kleikamp * data blocks. */ 80ac27a0ecSDave Kleikamp 81617ba13bSMingming Cao if (test_opt(inode->i_sb, DATA_FLAGS) == EXT4_MOUNT_JOURNAL_DATA || 82617ba13bSMingming Cao (!is_metadata && !ext4_should_journal_data(inode))) { 83ac27a0ecSDave Kleikamp if (bh) { 84dab291afSMingming Cao BUFFER_TRACE(bh, "call jbd2_journal_forget"); 85617ba13bSMingming Cao return ext4_journal_forget(handle, bh); 86ac27a0ecSDave Kleikamp } 87ac27a0ecSDave Kleikamp return 0; 88ac27a0ecSDave Kleikamp } 89ac27a0ecSDave Kleikamp 90ac27a0ecSDave Kleikamp /* 91ac27a0ecSDave Kleikamp * data!=journal && (is_metadata || should_journal_data(inode)) 92ac27a0ecSDave Kleikamp */ 93617ba13bSMingming Cao BUFFER_TRACE(bh, "call ext4_journal_revoke"); 94617ba13bSMingming Cao err = ext4_journal_revoke(handle, blocknr, bh); 95ac27a0ecSDave Kleikamp if (err) 9646e665e9SHarvey Harrison ext4_abort(inode->i_sb, __func__, 97ac27a0ecSDave Kleikamp "error %d when attempting revoke", err); 98ac27a0ecSDave Kleikamp BUFFER_TRACE(bh, "exit"); 99ac27a0ecSDave Kleikamp return err; 100ac27a0ecSDave Kleikamp } 101ac27a0ecSDave Kleikamp 102ac27a0ecSDave Kleikamp /* 103ac27a0ecSDave Kleikamp * Work out how many blocks we need to proceed with the next chunk of a 104ac27a0ecSDave Kleikamp * truncate transaction. 105ac27a0ecSDave Kleikamp */ 106ac27a0ecSDave Kleikamp static unsigned long blocks_for_truncate(struct inode *inode) 107ac27a0ecSDave Kleikamp { 108725d26d3SAneesh Kumar K.V ext4_lblk_t needed; 109ac27a0ecSDave Kleikamp 110ac27a0ecSDave Kleikamp needed = inode->i_blocks >> (inode->i_sb->s_blocksize_bits - 9); 111ac27a0ecSDave Kleikamp 112ac27a0ecSDave Kleikamp /* Give ourselves just enough room to cope with inodes in which 113ac27a0ecSDave Kleikamp * i_blocks is corrupt: we've seen disk corruptions in the past 114ac27a0ecSDave Kleikamp * which resulted in random data in an inode which looked enough 115617ba13bSMingming Cao * like a regular file for ext4 to try to delete it. Things 116ac27a0ecSDave Kleikamp * will go a bit crazy if that happens, but at least we should 117ac27a0ecSDave Kleikamp * try not to panic the whole kernel. */ 118ac27a0ecSDave Kleikamp if (needed < 2) 119ac27a0ecSDave Kleikamp needed = 2; 120ac27a0ecSDave Kleikamp 121ac27a0ecSDave Kleikamp /* But we need to bound the transaction so we don't overflow the 122ac27a0ecSDave Kleikamp * journal. */ 123617ba13bSMingming Cao if (needed > EXT4_MAX_TRANS_DATA) 124617ba13bSMingming Cao needed = EXT4_MAX_TRANS_DATA; 125ac27a0ecSDave Kleikamp 126617ba13bSMingming Cao return EXT4_DATA_TRANS_BLOCKS(inode->i_sb) + needed; 127ac27a0ecSDave Kleikamp } 128ac27a0ecSDave Kleikamp 129ac27a0ecSDave Kleikamp /* 130ac27a0ecSDave Kleikamp * Truncate transactions can be complex and absolutely huge. So we need to 131ac27a0ecSDave Kleikamp * be able to restart the transaction at a conventient checkpoint to make 132ac27a0ecSDave Kleikamp * sure we don't overflow the journal. 133ac27a0ecSDave Kleikamp * 134ac27a0ecSDave Kleikamp * start_transaction gets us a new handle for a truncate transaction, 135ac27a0ecSDave Kleikamp * and extend_transaction tries to extend the existing one a bit. If 136ac27a0ecSDave Kleikamp * extend fails, we need to propagate the failure up and restart the 137ac27a0ecSDave Kleikamp * transaction in the top-level truncate loop. --sct 138ac27a0ecSDave Kleikamp */ 139ac27a0ecSDave Kleikamp static handle_t *start_transaction(struct inode *inode) 140ac27a0ecSDave Kleikamp { 141ac27a0ecSDave Kleikamp handle_t *result; 142ac27a0ecSDave Kleikamp 143617ba13bSMingming Cao result = ext4_journal_start(inode, blocks_for_truncate(inode)); 144ac27a0ecSDave Kleikamp if (!IS_ERR(result)) 145ac27a0ecSDave Kleikamp return result; 146ac27a0ecSDave Kleikamp 147617ba13bSMingming Cao ext4_std_error(inode->i_sb, PTR_ERR(result)); 148ac27a0ecSDave Kleikamp return result; 149ac27a0ecSDave Kleikamp } 150ac27a0ecSDave Kleikamp 151ac27a0ecSDave Kleikamp /* 152ac27a0ecSDave Kleikamp * Try to extend this transaction for the purposes of truncation. 153ac27a0ecSDave Kleikamp * 154ac27a0ecSDave Kleikamp * Returns 0 if we managed to create more room. If we can't create more 155ac27a0ecSDave Kleikamp * room, and the transaction must be restarted we return 1. 156ac27a0ecSDave Kleikamp */ 157ac27a0ecSDave Kleikamp static int try_to_extend_transaction(handle_t *handle, struct inode *inode) 158ac27a0ecSDave Kleikamp { 159617ba13bSMingming Cao if (handle->h_buffer_credits > EXT4_RESERVE_TRANS_BLOCKS) 160ac27a0ecSDave Kleikamp return 0; 161617ba13bSMingming Cao if (!ext4_journal_extend(handle, blocks_for_truncate(inode))) 162ac27a0ecSDave Kleikamp return 0; 163ac27a0ecSDave Kleikamp return 1; 164ac27a0ecSDave Kleikamp } 165ac27a0ecSDave Kleikamp 166ac27a0ecSDave Kleikamp /* 167ac27a0ecSDave Kleikamp * Restart the transaction associated with *handle. This does a commit, 168ac27a0ecSDave Kleikamp * so before we call here everything must be consistently dirtied against 169ac27a0ecSDave Kleikamp * this transaction. 170ac27a0ecSDave Kleikamp */ 171617ba13bSMingming Cao static int ext4_journal_test_restart(handle_t *handle, struct inode *inode) 172ac27a0ecSDave Kleikamp { 173ac27a0ecSDave Kleikamp jbd_debug(2, "restarting handle %p\n", handle); 174617ba13bSMingming Cao return ext4_journal_restart(handle, blocks_for_truncate(inode)); 175ac27a0ecSDave Kleikamp } 176ac27a0ecSDave Kleikamp 177ac27a0ecSDave Kleikamp /* 178ac27a0ecSDave Kleikamp * Called at the last iput() if i_nlink is zero. 179ac27a0ecSDave Kleikamp */ 180617ba13bSMingming Cao void ext4_delete_inode (struct inode * inode) 181ac27a0ecSDave Kleikamp { 182ac27a0ecSDave Kleikamp handle_t *handle; 183ac27a0ecSDave Kleikamp 184ac27a0ecSDave Kleikamp truncate_inode_pages(&inode->i_data, 0); 185ac27a0ecSDave Kleikamp 186ac27a0ecSDave Kleikamp if (is_bad_inode(inode)) 187ac27a0ecSDave Kleikamp goto no_delete; 188ac27a0ecSDave Kleikamp 189ac27a0ecSDave Kleikamp handle = start_transaction(inode); 190ac27a0ecSDave Kleikamp if (IS_ERR(handle)) { 191ac27a0ecSDave Kleikamp /* 192ac27a0ecSDave Kleikamp * If we're going to skip the normal cleanup, we still need to 193ac27a0ecSDave Kleikamp * make sure that the in-core orphan linked list is properly 194ac27a0ecSDave Kleikamp * cleaned up. 195ac27a0ecSDave Kleikamp */ 196617ba13bSMingming Cao ext4_orphan_del(NULL, inode); 197ac27a0ecSDave Kleikamp goto no_delete; 198ac27a0ecSDave Kleikamp } 199ac27a0ecSDave Kleikamp 200ac27a0ecSDave Kleikamp if (IS_SYNC(inode)) 201ac27a0ecSDave Kleikamp handle->h_sync = 1; 202ac27a0ecSDave Kleikamp inode->i_size = 0; 203ac27a0ecSDave Kleikamp if (inode->i_blocks) 204617ba13bSMingming Cao ext4_truncate(inode); 205ac27a0ecSDave Kleikamp /* 206617ba13bSMingming Cao * Kill off the orphan record which ext4_truncate created. 207ac27a0ecSDave Kleikamp * AKPM: I think this can be inside the above `if'. 208617ba13bSMingming Cao * Note that ext4_orphan_del() has to be able to cope with the 209ac27a0ecSDave Kleikamp * deletion of a non-existent orphan - this is because we don't 210617ba13bSMingming Cao * know if ext4_truncate() actually created an orphan record. 211ac27a0ecSDave Kleikamp * (Well, we could do this if we need to, but heck - it works) 212ac27a0ecSDave Kleikamp */ 213617ba13bSMingming Cao ext4_orphan_del(handle, inode); 214617ba13bSMingming Cao EXT4_I(inode)->i_dtime = get_seconds(); 215ac27a0ecSDave Kleikamp 216ac27a0ecSDave Kleikamp /* 217ac27a0ecSDave Kleikamp * One subtle ordering requirement: if anything has gone wrong 218ac27a0ecSDave Kleikamp * (transaction abort, IO errors, whatever), then we can still 219ac27a0ecSDave Kleikamp * do these next steps (the fs will already have been marked as 220ac27a0ecSDave Kleikamp * having errors), but we can't free the inode if the mark_dirty 221ac27a0ecSDave Kleikamp * fails. 222ac27a0ecSDave Kleikamp */ 223617ba13bSMingming Cao if (ext4_mark_inode_dirty(handle, inode)) 224ac27a0ecSDave Kleikamp /* If that failed, just do the required in-core inode clear. */ 225ac27a0ecSDave Kleikamp clear_inode(inode); 226ac27a0ecSDave Kleikamp else 227617ba13bSMingming Cao ext4_free_inode(handle, inode); 228617ba13bSMingming Cao ext4_journal_stop(handle); 229ac27a0ecSDave Kleikamp return; 230ac27a0ecSDave Kleikamp no_delete: 231ac27a0ecSDave Kleikamp clear_inode(inode); /* We must guarantee clearing of inode... */ 232ac27a0ecSDave Kleikamp } 233ac27a0ecSDave Kleikamp 234ac27a0ecSDave Kleikamp typedef struct { 235ac27a0ecSDave Kleikamp __le32 *p; 236ac27a0ecSDave Kleikamp __le32 key; 237ac27a0ecSDave Kleikamp struct buffer_head *bh; 238ac27a0ecSDave Kleikamp } Indirect; 239ac27a0ecSDave Kleikamp 240ac27a0ecSDave Kleikamp static inline void add_chain(Indirect *p, struct buffer_head *bh, __le32 *v) 241ac27a0ecSDave Kleikamp { 242ac27a0ecSDave Kleikamp p->key = *(p->p = v); 243ac27a0ecSDave Kleikamp p->bh = bh; 244ac27a0ecSDave Kleikamp } 245ac27a0ecSDave Kleikamp 246ac27a0ecSDave Kleikamp /** 247617ba13bSMingming Cao * ext4_block_to_path - parse the block number into array of offsets 248ac27a0ecSDave Kleikamp * @inode: inode in question (we are only interested in its superblock) 249ac27a0ecSDave Kleikamp * @i_block: block number to be parsed 250ac27a0ecSDave Kleikamp * @offsets: array to store the offsets in 251ac27a0ecSDave Kleikamp * @boundary: set this non-zero if the referred-to block is likely to be 252ac27a0ecSDave Kleikamp * followed (on disk) by an indirect block. 253ac27a0ecSDave Kleikamp * 254617ba13bSMingming Cao * To store the locations of file's data ext4 uses a data structure common 255ac27a0ecSDave Kleikamp * for UNIX filesystems - tree of pointers anchored in the inode, with 256ac27a0ecSDave Kleikamp * data blocks at leaves and indirect blocks in intermediate nodes. 257ac27a0ecSDave Kleikamp * This function translates the block number into path in that tree - 258ac27a0ecSDave Kleikamp * return value is the path length and @offsets[n] is the offset of 259ac27a0ecSDave Kleikamp * pointer to (n+1)th node in the nth one. If @block is out of range 260ac27a0ecSDave Kleikamp * (negative or too large) warning is printed and zero returned. 261ac27a0ecSDave Kleikamp * 262ac27a0ecSDave Kleikamp * Note: function doesn't find node addresses, so no IO is needed. All 263ac27a0ecSDave Kleikamp * we need to know is the capacity of indirect blocks (taken from the 264ac27a0ecSDave Kleikamp * inode->i_sb). 265ac27a0ecSDave Kleikamp */ 266ac27a0ecSDave Kleikamp 267ac27a0ecSDave Kleikamp /* 268ac27a0ecSDave Kleikamp * Portability note: the last comparison (check that we fit into triple 269ac27a0ecSDave Kleikamp * indirect block) is spelled differently, because otherwise on an 270ac27a0ecSDave Kleikamp * architecture with 32-bit longs and 8Kb pages we might get into trouble 271ac27a0ecSDave Kleikamp * if our filesystem had 8Kb blocks. We might use long long, but that would 272ac27a0ecSDave Kleikamp * kill us on x86. Oh, well, at least the sign propagation does not matter - 273ac27a0ecSDave Kleikamp * i_block would have to be negative in the very beginning, so we would not 274ac27a0ecSDave Kleikamp * get there at all. 275ac27a0ecSDave Kleikamp */ 276ac27a0ecSDave Kleikamp 277617ba13bSMingming Cao static int ext4_block_to_path(struct inode *inode, 278725d26d3SAneesh Kumar K.V ext4_lblk_t i_block, 279725d26d3SAneesh Kumar K.V ext4_lblk_t offsets[4], int *boundary) 280ac27a0ecSDave Kleikamp { 281617ba13bSMingming Cao int ptrs = EXT4_ADDR_PER_BLOCK(inode->i_sb); 282617ba13bSMingming Cao int ptrs_bits = EXT4_ADDR_PER_BLOCK_BITS(inode->i_sb); 283617ba13bSMingming Cao const long direct_blocks = EXT4_NDIR_BLOCKS, 284ac27a0ecSDave Kleikamp indirect_blocks = ptrs, 285ac27a0ecSDave Kleikamp double_blocks = (1 << (ptrs_bits * 2)); 286ac27a0ecSDave Kleikamp int n = 0; 287ac27a0ecSDave Kleikamp int final = 0; 288ac27a0ecSDave Kleikamp 289ac27a0ecSDave Kleikamp if (i_block < 0) { 290617ba13bSMingming Cao ext4_warning (inode->i_sb, "ext4_block_to_path", "block < 0"); 291ac27a0ecSDave Kleikamp } else if (i_block < direct_blocks) { 292ac27a0ecSDave Kleikamp offsets[n++] = i_block; 293ac27a0ecSDave Kleikamp final = direct_blocks; 294ac27a0ecSDave Kleikamp } else if ( (i_block -= direct_blocks) < indirect_blocks) { 295617ba13bSMingming Cao offsets[n++] = EXT4_IND_BLOCK; 296ac27a0ecSDave Kleikamp offsets[n++] = i_block; 297ac27a0ecSDave Kleikamp final = ptrs; 298ac27a0ecSDave Kleikamp } else if ((i_block -= indirect_blocks) < double_blocks) { 299617ba13bSMingming Cao offsets[n++] = EXT4_DIND_BLOCK; 300ac27a0ecSDave Kleikamp offsets[n++] = i_block >> ptrs_bits; 301ac27a0ecSDave Kleikamp offsets[n++] = i_block & (ptrs - 1); 302ac27a0ecSDave Kleikamp final = ptrs; 303ac27a0ecSDave Kleikamp } else if (((i_block -= double_blocks) >> (ptrs_bits * 2)) < ptrs) { 304617ba13bSMingming Cao offsets[n++] = EXT4_TIND_BLOCK; 305ac27a0ecSDave Kleikamp offsets[n++] = i_block >> (ptrs_bits * 2); 306ac27a0ecSDave Kleikamp offsets[n++] = (i_block >> ptrs_bits) & (ptrs - 1); 307ac27a0ecSDave Kleikamp offsets[n++] = i_block & (ptrs - 1); 308ac27a0ecSDave Kleikamp final = ptrs; 309ac27a0ecSDave Kleikamp } else { 310e2b46574SEric Sandeen ext4_warning(inode->i_sb, "ext4_block_to_path", 3110e855ac8SAneesh Kumar K.V "block %lu > max", 312e2b46574SEric Sandeen i_block + direct_blocks + 313e2b46574SEric Sandeen indirect_blocks + double_blocks); 314ac27a0ecSDave Kleikamp } 315ac27a0ecSDave Kleikamp if (boundary) 316ac27a0ecSDave Kleikamp *boundary = final - 1 - (i_block & (ptrs - 1)); 317ac27a0ecSDave Kleikamp return n; 318ac27a0ecSDave Kleikamp } 319ac27a0ecSDave Kleikamp 320ac27a0ecSDave Kleikamp /** 321617ba13bSMingming Cao * ext4_get_branch - read the chain of indirect blocks leading to data 322ac27a0ecSDave Kleikamp * @inode: inode in question 323ac27a0ecSDave Kleikamp * @depth: depth of the chain (1 - direct pointer, etc.) 324ac27a0ecSDave Kleikamp * @offsets: offsets of pointers in inode/indirect blocks 325ac27a0ecSDave Kleikamp * @chain: place to store the result 326ac27a0ecSDave Kleikamp * @err: here we store the error value 327ac27a0ecSDave Kleikamp * 328ac27a0ecSDave Kleikamp * Function fills the array of triples <key, p, bh> and returns %NULL 329ac27a0ecSDave Kleikamp * if everything went OK or the pointer to the last filled triple 330ac27a0ecSDave Kleikamp * (incomplete one) otherwise. Upon the return chain[i].key contains 331ac27a0ecSDave Kleikamp * the number of (i+1)-th block in the chain (as it is stored in memory, 332ac27a0ecSDave Kleikamp * i.e. little-endian 32-bit), chain[i].p contains the address of that 333ac27a0ecSDave Kleikamp * number (it points into struct inode for i==0 and into the bh->b_data 334ac27a0ecSDave Kleikamp * for i>0) and chain[i].bh points to the buffer_head of i-th indirect 335ac27a0ecSDave Kleikamp * block for i>0 and NULL for i==0. In other words, it holds the block 336ac27a0ecSDave Kleikamp * numbers of the chain, addresses they were taken from (and where we can 337ac27a0ecSDave Kleikamp * verify that chain did not change) and buffer_heads hosting these 338ac27a0ecSDave Kleikamp * numbers. 339ac27a0ecSDave Kleikamp * 340ac27a0ecSDave Kleikamp * Function stops when it stumbles upon zero pointer (absent block) 341ac27a0ecSDave Kleikamp * (pointer to last triple returned, *@err == 0) 342ac27a0ecSDave Kleikamp * or when it gets an IO error reading an indirect block 343ac27a0ecSDave Kleikamp * (ditto, *@err == -EIO) 344ac27a0ecSDave Kleikamp * or when it reads all @depth-1 indirect blocks successfully and finds 345ac27a0ecSDave Kleikamp * the whole chain, all way to the data (returns %NULL, *err == 0). 346c278bfecSAneesh Kumar K.V * 347c278bfecSAneesh Kumar K.V * Need to be called with 3480e855ac8SAneesh Kumar K.V * down_read(&EXT4_I(inode)->i_data_sem) 349ac27a0ecSDave Kleikamp */ 350725d26d3SAneesh Kumar K.V static Indirect *ext4_get_branch(struct inode *inode, int depth, 351725d26d3SAneesh Kumar K.V ext4_lblk_t *offsets, 352ac27a0ecSDave Kleikamp Indirect chain[4], int *err) 353ac27a0ecSDave Kleikamp { 354ac27a0ecSDave Kleikamp struct super_block *sb = inode->i_sb; 355ac27a0ecSDave Kleikamp Indirect *p = chain; 356ac27a0ecSDave Kleikamp struct buffer_head *bh; 357ac27a0ecSDave Kleikamp 358ac27a0ecSDave Kleikamp *err = 0; 359ac27a0ecSDave Kleikamp /* i_data is not going away, no lock needed */ 360617ba13bSMingming Cao add_chain (chain, NULL, EXT4_I(inode)->i_data + *offsets); 361ac27a0ecSDave Kleikamp if (!p->key) 362ac27a0ecSDave Kleikamp goto no_block; 363ac27a0ecSDave Kleikamp while (--depth) { 364ac27a0ecSDave Kleikamp bh = sb_bread(sb, le32_to_cpu(p->key)); 365ac27a0ecSDave Kleikamp if (!bh) 366ac27a0ecSDave Kleikamp goto failure; 367ac27a0ecSDave Kleikamp add_chain(++p, bh, (__le32*)bh->b_data + *++offsets); 368ac27a0ecSDave Kleikamp /* Reader: end */ 369ac27a0ecSDave Kleikamp if (!p->key) 370ac27a0ecSDave Kleikamp goto no_block; 371ac27a0ecSDave Kleikamp } 372ac27a0ecSDave Kleikamp return NULL; 373ac27a0ecSDave Kleikamp 374ac27a0ecSDave Kleikamp failure: 375ac27a0ecSDave Kleikamp *err = -EIO; 376ac27a0ecSDave Kleikamp no_block: 377ac27a0ecSDave Kleikamp return p; 378ac27a0ecSDave Kleikamp } 379ac27a0ecSDave Kleikamp 380ac27a0ecSDave Kleikamp /** 381617ba13bSMingming Cao * ext4_find_near - find a place for allocation with sufficient locality 382ac27a0ecSDave Kleikamp * @inode: owner 383ac27a0ecSDave Kleikamp * @ind: descriptor of indirect block. 384ac27a0ecSDave Kleikamp * 385*1cc8dcf5SBenoit Boissinot * This function returns the preferred place for block allocation. 386ac27a0ecSDave Kleikamp * It is used when heuristic for sequential allocation fails. 387ac27a0ecSDave Kleikamp * Rules are: 388ac27a0ecSDave Kleikamp * + if there is a block to the left of our position - allocate near it. 389ac27a0ecSDave Kleikamp * + if pointer will live in indirect block - allocate near that block. 390ac27a0ecSDave Kleikamp * + if pointer will live in inode - allocate in the same 391ac27a0ecSDave Kleikamp * cylinder group. 392ac27a0ecSDave Kleikamp * 393ac27a0ecSDave Kleikamp * In the latter case we colour the starting block by the callers PID to 394ac27a0ecSDave Kleikamp * prevent it from clashing with concurrent allocations for a different inode 395ac27a0ecSDave Kleikamp * in the same block group. The PID is used here so that functionally related 396ac27a0ecSDave Kleikamp * files will be close-by on-disk. 397ac27a0ecSDave Kleikamp * 398ac27a0ecSDave Kleikamp * Caller must make sure that @ind is valid and will stay that way. 399ac27a0ecSDave Kleikamp */ 400617ba13bSMingming Cao static ext4_fsblk_t ext4_find_near(struct inode *inode, Indirect *ind) 401ac27a0ecSDave Kleikamp { 402617ba13bSMingming Cao struct ext4_inode_info *ei = EXT4_I(inode); 403ac27a0ecSDave Kleikamp __le32 *start = ind->bh ? (__le32*) ind->bh->b_data : ei->i_data; 404ac27a0ecSDave Kleikamp __le32 *p; 405617ba13bSMingming Cao ext4_fsblk_t bg_start; 40674d3487fSValerie Clement ext4_fsblk_t last_block; 407617ba13bSMingming Cao ext4_grpblk_t colour; 408ac27a0ecSDave Kleikamp 409ac27a0ecSDave Kleikamp /* Try to find previous block */ 410ac27a0ecSDave Kleikamp for (p = ind->p - 1; p >= start; p--) { 411ac27a0ecSDave Kleikamp if (*p) 412ac27a0ecSDave Kleikamp return le32_to_cpu(*p); 413ac27a0ecSDave Kleikamp } 414ac27a0ecSDave Kleikamp 415ac27a0ecSDave Kleikamp /* No such thing, so let's try location of indirect block */ 416ac27a0ecSDave Kleikamp if (ind->bh) 417ac27a0ecSDave Kleikamp return ind->bh->b_blocknr; 418ac27a0ecSDave Kleikamp 419ac27a0ecSDave Kleikamp /* 420ac27a0ecSDave Kleikamp * It is going to be referred to from the inode itself? OK, just put it 421ac27a0ecSDave Kleikamp * into the same cylinder group then. 422ac27a0ecSDave Kleikamp */ 423617ba13bSMingming Cao bg_start = ext4_group_first_block_no(inode->i_sb, ei->i_block_group); 42474d3487fSValerie Clement last_block = ext4_blocks_count(EXT4_SB(inode->i_sb)->s_es) - 1; 42574d3487fSValerie Clement 42674d3487fSValerie Clement if (bg_start + EXT4_BLOCKS_PER_GROUP(inode->i_sb) <= last_block) 427ac27a0ecSDave Kleikamp colour = (current->pid % 16) * 428617ba13bSMingming Cao (EXT4_BLOCKS_PER_GROUP(inode->i_sb) / 16); 42974d3487fSValerie Clement else 43074d3487fSValerie Clement colour = (current->pid % 16) * ((last_block - bg_start) / 16); 431ac27a0ecSDave Kleikamp return bg_start + colour; 432ac27a0ecSDave Kleikamp } 433ac27a0ecSDave Kleikamp 434ac27a0ecSDave Kleikamp /** 435*1cc8dcf5SBenoit Boissinot * ext4_find_goal - find a preferred place for allocation. 436ac27a0ecSDave Kleikamp * @inode: owner 437ac27a0ecSDave Kleikamp * @block: block we want 438ac27a0ecSDave Kleikamp * @partial: pointer to the last triple within a chain 439ac27a0ecSDave Kleikamp * 440*1cc8dcf5SBenoit Boissinot * Normally this function find the preferred place for block allocation, 441fb01bfdaSAkinobu Mita * returns it. 442ac27a0ecSDave Kleikamp */ 443725d26d3SAneesh Kumar K.V static ext4_fsblk_t ext4_find_goal(struct inode *inode, ext4_lblk_t block, 444fb01bfdaSAkinobu Mita Indirect *partial) 445ac27a0ecSDave Kleikamp { 446617ba13bSMingming Cao struct ext4_block_alloc_info *block_i; 447ac27a0ecSDave Kleikamp 448617ba13bSMingming Cao block_i = EXT4_I(inode)->i_block_alloc_info; 449ac27a0ecSDave Kleikamp 450ac27a0ecSDave Kleikamp /* 451ac27a0ecSDave Kleikamp * try the heuristic for sequential allocation, 452ac27a0ecSDave Kleikamp * failing that at least try to get decent locality. 453ac27a0ecSDave Kleikamp */ 454ac27a0ecSDave Kleikamp if (block_i && (block == block_i->last_alloc_logical_block + 1) 455ac27a0ecSDave Kleikamp && (block_i->last_alloc_physical_block != 0)) { 456ac27a0ecSDave Kleikamp return block_i->last_alloc_physical_block + 1; 457ac27a0ecSDave Kleikamp } 458ac27a0ecSDave Kleikamp 459617ba13bSMingming Cao return ext4_find_near(inode, partial); 460ac27a0ecSDave Kleikamp } 461ac27a0ecSDave Kleikamp 462ac27a0ecSDave Kleikamp /** 463617ba13bSMingming Cao * ext4_blks_to_allocate: Look up the block map and count the number 464ac27a0ecSDave Kleikamp * of direct blocks need to be allocated for the given branch. 465ac27a0ecSDave Kleikamp * 466ac27a0ecSDave Kleikamp * @branch: chain of indirect blocks 467ac27a0ecSDave Kleikamp * @k: number of blocks need for indirect blocks 468ac27a0ecSDave Kleikamp * @blks: number of data blocks to be mapped. 469ac27a0ecSDave Kleikamp * @blocks_to_boundary: the offset in the indirect block 470ac27a0ecSDave Kleikamp * 471ac27a0ecSDave Kleikamp * return the total number of blocks to be allocate, including the 472ac27a0ecSDave Kleikamp * direct and indirect blocks. 473ac27a0ecSDave Kleikamp */ 474617ba13bSMingming Cao static int ext4_blks_to_allocate(Indirect *branch, int k, unsigned long blks, 475ac27a0ecSDave Kleikamp int blocks_to_boundary) 476ac27a0ecSDave Kleikamp { 477ac27a0ecSDave Kleikamp unsigned long count = 0; 478ac27a0ecSDave Kleikamp 479ac27a0ecSDave Kleikamp /* 480ac27a0ecSDave Kleikamp * Simple case, [t,d]Indirect block(s) has not allocated yet 481ac27a0ecSDave Kleikamp * then it's clear blocks on that path have not allocated 482ac27a0ecSDave Kleikamp */ 483ac27a0ecSDave Kleikamp if (k > 0) { 484ac27a0ecSDave Kleikamp /* right now we don't handle cross boundary allocation */ 485ac27a0ecSDave Kleikamp if (blks < blocks_to_boundary + 1) 486ac27a0ecSDave Kleikamp count += blks; 487ac27a0ecSDave Kleikamp else 488ac27a0ecSDave Kleikamp count += blocks_to_boundary + 1; 489ac27a0ecSDave Kleikamp return count; 490ac27a0ecSDave Kleikamp } 491ac27a0ecSDave Kleikamp 492ac27a0ecSDave Kleikamp count++; 493ac27a0ecSDave Kleikamp while (count < blks && count <= blocks_to_boundary && 494ac27a0ecSDave Kleikamp le32_to_cpu(*(branch[0].p + count)) == 0) { 495ac27a0ecSDave Kleikamp count++; 496ac27a0ecSDave Kleikamp } 497ac27a0ecSDave Kleikamp return count; 498ac27a0ecSDave Kleikamp } 499ac27a0ecSDave Kleikamp 500ac27a0ecSDave Kleikamp /** 501617ba13bSMingming Cao * ext4_alloc_blocks: multiple allocate blocks needed for a branch 502ac27a0ecSDave Kleikamp * @indirect_blks: the number of blocks need to allocate for indirect 503ac27a0ecSDave Kleikamp * blocks 504ac27a0ecSDave Kleikamp * 505ac27a0ecSDave Kleikamp * @new_blocks: on return it will store the new block numbers for 506ac27a0ecSDave Kleikamp * the indirect blocks(if needed) and the first direct block, 507ac27a0ecSDave Kleikamp * @blks: on return it will store the total number of allocated 508ac27a0ecSDave Kleikamp * direct blocks 509ac27a0ecSDave Kleikamp */ 510617ba13bSMingming Cao static int ext4_alloc_blocks(handle_t *handle, struct inode *inode, 511617ba13bSMingming Cao ext4_fsblk_t goal, int indirect_blks, int blks, 512617ba13bSMingming Cao ext4_fsblk_t new_blocks[4], int *err) 513ac27a0ecSDave Kleikamp { 514ac27a0ecSDave Kleikamp int target, i; 515ac27a0ecSDave Kleikamp unsigned long count = 0; 516ac27a0ecSDave Kleikamp int index = 0; 517617ba13bSMingming Cao ext4_fsblk_t current_block = 0; 518ac27a0ecSDave Kleikamp int ret = 0; 519ac27a0ecSDave Kleikamp 520ac27a0ecSDave Kleikamp /* 521ac27a0ecSDave Kleikamp * Here we try to allocate the requested multiple blocks at once, 522ac27a0ecSDave Kleikamp * on a best-effort basis. 523ac27a0ecSDave Kleikamp * To build a branch, we should allocate blocks for 524ac27a0ecSDave Kleikamp * the indirect blocks(if not allocated yet), and at least 525ac27a0ecSDave Kleikamp * the first direct block of this branch. That's the 526ac27a0ecSDave Kleikamp * minimum number of blocks need to allocate(required) 527ac27a0ecSDave Kleikamp */ 528ac27a0ecSDave Kleikamp target = blks + indirect_blks; 529ac27a0ecSDave Kleikamp 530ac27a0ecSDave Kleikamp while (1) { 531ac27a0ecSDave Kleikamp count = target; 532ac27a0ecSDave Kleikamp /* allocating blocks for indirect blocks and direct blocks */ 533617ba13bSMingming Cao current_block = ext4_new_blocks(handle,inode,goal,&count,err); 534ac27a0ecSDave Kleikamp if (*err) 535ac27a0ecSDave Kleikamp goto failed_out; 536ac27a0ecSDave Kleikamp 537ac27a0ecSDave Kleikamp target -= count; 538ac27a0ecSDave Kleikamp /* allocate blocks for indirect blocks */ 539ac27a0ecSDave Kleikamp while (index < indirect_blks && count) { 540ac27a0ecSDave Kleikamp new_blocks[index++] = current_block++; 541ac27a0ecSDave Kleikamp count--; 542ac27a0ecSDave Kleikamp } 543ac27a0ecSDave Kleikamp 544ac27a0ecSDave Kleikamp if (count > 0) 545ac27a0ecSDave Kleikamp break; 546ac27a0ecSDave Kleikamp } 547ac27a0ecSDave Kleikamp 548ac27a0ecSDave Kleikamp /* save the new block number for the first direct block */ 549ac27a0ecSDave Kleikamp new_blocks[index] = current_block; 550ac27a0ecSDave Kleikamp 551ac27a0ecSDave Kleikamp /* total number of blocks allocated for direct blocks */ 552ac27a0ecSDave Kleikamp ret = count; 553ac27a0ecSDave Kleikamp *err = 0; 554ac27a0ecSDave Kleikamp return ret; 555ac27a0ecSDave Kleikamp failed_out: 556ac27a0ecSDave Kleikamp for (i = 0; i <index; i++) 557c9de560dSAlex Tomas ext4_free_blocks(handle, inode, new_blocks[i], 1, 0); 558ac27a0ecSDave Kleikamp return ret; 559ac27a0ecSDave Kleikamp } 560ac27a0ecSDave Kleikamp 561ac27a0ecSDave Kleikamp /** 562617ba13bSMingming Cao * ext4_alloc_branch - allocate and set up a chain of blocks. 563ac27a0ecSDave Kleikamp * @inode: owner 564ac27a0ecSDave Kleikamp * @indirect_blks: number of allocated indirect blocks 565ac27a0ecSDave Kleikamp * @blks: number of allocated direct blocks 566ac27a0ecSDave Kleikamp * @offsets: offsets (in the blocks) to store the pointers to next. 567ac27a0ecSDave Kleikamp * @branch: place to store the chain in. 568ac27a0ecSDave Kleikamp * 569ac27a0ecSDave Kleikamp * This function allocates blocks, zeroes out all but the last one, 570ac27a0ecSDave Kleikamp * links them into chain and (if we are synchronous) writes them to disk. 571ac27a0ecSDave Kleikamp * In other words, it prepares a branch that can be spliced onto the 572ac27a0ecSDave Kleikamp * inode. It stores the information about that chain in the branch[], in 573617ba13bSMingming Cao * the same format as ext4_get_branch() would do. We are calling it after 574ac27a0ecSDave Kleikamp * we had read the existing part of chain and partial points to the last 575ac27a0ecSDave Kleikamp * triple of that (one with zero ->key). Upon the exit we have the same 576617ba13bSMingming Cao * picture as after the successful ext4_get_block(), except that in one 577ac27a0ecSDave Kleikamp * place chain is disconnected - *branch->p is still zero (we did not 578ac27a0ecSDave Kleikamp * set the last link), but branch->key contains the number that should 579ac27a0ecSDave Kleikamp * be placed into *branch->p to fill that gap. 580ac27a0ecSDave Kleikamp * 581ac27a0ecSDave Kleikamp * If allocation fails we free all blocks we've allocated (and forget 582ac27a0ecSDave Kleikamp * their buffer_heads) and return the error value the from failed 583617ba13bSMingming Cao * ext4_alloc_block() (normally -ENOSPC). Otherwise we set the chain 584ac27a0ecSDave Kleikamp * as described above and return 0. 585ac27a0ecSDave Kleikamp */ 586617ba13bSMingming Cao static int ext4_alloc_branch(handle_t *handle, struct inode *inode, 587617ba13bSMingming Cao int indirect_blks, int *blks, ext4_fsblk_t goal, 588725d26d3SAneesh Kumar K.V ext4_lblk_t *offsets, Indirect *branch) 589ac27a0ecSDave Kleikamp { 590ac27a0ecSDave Kleikamp int blocksize = inode->i_sb->s_blocksize; 591ac27a0ecSDave Kleikamp int i, n = 0; 592ac27a0ecSDave Kleikamp int err = 0; 593ac27a0ecSDave Kleikamp struct buffer_head *bh; 594ac27a0ecSDave Kleikamp int num; 595617ba13bSMingming Cao ext4_fsblk_t new_blocks[4]; 596617ba13bSMingming Cao ext4_fsblk_t current_block; 597ac27a0ecSDave Kleikamp 598617ba13bSMingming Cao num = ext4_alloc_blocks(handle, inode, goal, indirect_blks, 599ac27a0ecSDave Kleikamp *blks, new_blocks, &err); 600ac27a0ecSDave Kleikamp if (err) 601ac27a0ecSDave Kleikamp return err; 602ac27a0ecSDave Kleikamp 603ac27a0ecSDave Kleikamp branch[0].key = cpu_to_le32(new_blocks[0]); 604ac27a0ecSDave Kleikamp /* 605ac27a0ecSDave Kleikamp * metadata blocks and data blocks are allocated. 606ac27a0ecSDave Kleikamp */ 607ac27a0ecSDave Kleikamp for (n = 1; n <= indirect_blks; n++) { 608ac27a0ecSDave Kleikamp /* 609ac27a0ecSDave Kleikamp * Get buffer_head for parent block, zero it out 610ac27a0ecSDave Kleikamp * and set the pointer to new one, then send 611ac27a0ecSDave Kleikamp * parent to disk. 612ac27a0ecSDave Kleikamp */ 613ac27a0ecSDave Kleikamp bh = sb_getblk(inode->i_sb, new_blocks[n-1]); 614ac27a0ecSDave Kleikamp branch[n].bh = bh; 615ac27a0ecSDave Kleikamp lock_buffer(bh); 616ac27a0ecSDave Kleikamp BUFFER_TRACE(bh, "call get_create_access"); 617617ba13bSMingming Cao err = ext4_journal_get_create_access(handle, bh); 618ac27a0ecSDave Kleikamp if (err) { 619ac27a0ecSDave Kleikamp unlock_buffer(bh); 620ac27a0ecSDave Kleikamp brelse(bh); 621ac27a0ecSDave Kleikamp goto failed; 622ac27a0ecSDave Kleikamp } 623ac27a0ecSDave Kleikamp 624ac27a0ecSDave Kleikamp memset(bh->b_data, 0, blocksize); 625ac27a0ecSDave Kleikamp branch[n].p = (__le32 *) bh->b_data + offsets[n]; 626ac27a0ecSDave Kleikamp branch[n].key = cpu_to_le32(new_blocks[n]); 627ac27a0ecSDave Kleikamp *branch[n].p = branch[n].key; 628ac27a0ecSDave Kleikamp if ( n == indirect_blks) { 629ac27a0ecSDave Kleikamp current_block = new_blocks[n]; 630ac27a0ecSDave Kleikamp /* 631ac27a0ecSDave Kleikamp * End of chain, update the last new metablock of 632ac27a0ecSDave Kleikamp * the chain to point to the new allocated 633ac27a0ecSDave Kleikamp * data blocks numbers 634ac27a0ecSDave Kleikamp */ 635ac27a0ecSDave Kleikamp for (i=1; i < num; i++) 636ac27a0ecSDave Kleikamp *(branch[n].p + i) = cpu_to_le32(++current_block); 637ac27a0ecSDave Kleikamp } 638ac27a0ecSDave Kleikamp BUFFER_TRACE(bh, "marking uptodate"); 639ac27a0ecSDave Kleikamp set_buffer_uptodate(bh); 640ac27a0ecSDave Kleikamp unlock_buffer(bh); 641ac27a0ecSDave Kleikamp 642617ba13bSMingming Cao BUFFER_TRACE(bh, "call ext4_journal_dirty_metadata"); 643617ba13bSMingming Cao err = ext4_journal_dirty_metadata(handle, bh); 644ac27a0ecSDave Kleikamp if (err) 645ac27a0ecSDave Kleikamp goto failed; 646ac27a0ecSDave Kleikamp } 647ac27a0ecSDave Kleikamp *blks = num; 648ac27a0ecSDave Kleikamp return err; 649ac27a0ecSDave Kleikamp failed: 650ac27a0ecSDave Kleikamp /* Allocation failed, free what we already allocated */ 651ac27a0ecSDave Kleikamp for (i = 1; i <= n ; i++) { 652dab291afSMingming Cao BUFFER_TRACE(branch[i].bh, "call jbd2_journal_forget"); 653617ba13bSMingming Cao ext4_journal_forget(handle, branch[i].bh); 654ac27a0ecSDave Kleikamp } 655ac27a0ecSDave Kleikamp for (i = 0; i <indirect_blks; i++) 656c9de560dSAlex Tomas ext4_free_blocks(handle, inode, new_blocks[i], 1, 0); 657ac27a0ecSDave Kleikamp 658c9de560dSAlex Tomas ext4_free_blocks(handle, inode, new_blocks[i], num, 0); 659ac27a0ecSDave Kleikamp 660ac27a0ecSDave Kleikamp return err; 661ac27a0ecSDave Kleikamp } 662ac27a0ecSDave Kleikamp 663ac27a0ecSDave Kleikamp /** 664617ba13bSMingming Cao * ext4_splice_branch - splice the allocated branch onto inode. 665ac27a0ecSDave Kleikamp * @inode: owner 666ac27a0ecSDave Kleikamp * @block: (logical) number of block we are adding 667ac27a0ecSDave Kleikamp * @chain: chain of indirect blocks (with a missing link - see 668617ba13bSMingming Cao * ext4_alloc_branch) 669ac27a0ecSDave Kleikamp * @where: location of missing link 670ac27a0ecSDave Kleikamp * @num: number of indirect blocks we are adding 671ac27a0ecSDave Kleikamp * @blks: number of direct blocks we are adding 672ac27a0ecSDave Kleikamp * 673ac27a0ecSDave Kleikamp * This function fills the missing link and does all housekeeping needed in 674ac27a0ecSDave Kleikamp * inode (->i_blocks, etc.). In case of success we end up with the full 675ac27a0ecSDave Kleikamp * chain to new block and return 0. 676ac27a0ecSDave Kleikamp */ 677617ba13bSMingming Cao static int ext4_splice_branch(handle_t *handle, struct inode *inode, 678725d26d3SAneesh Kumar K.V ext4_lblk_t block, Indirect *where, int num, int blks) 679ac27a0ecSDave Kleikamp { 680ac27a0ecSDave Kleikamp int i; 681ac27a0ecSDave Kleikamp int err = 0; 682617ba13bSMingming Cao struct ext4_block_alloc_info *block_i; 683617ba13bSMingming Cao ext4_fsblk_t current_block; 684ac27a0ecSDave Kleikamp 685617ba13bSMingming Cao block_i = EXT4_I(inode)->i_block_alloc_info; 686ac27a0ecSDave Kleikamp /* 687ac27a0ecSDave Kleikamp * If we're splicing into a [td]indirect block (as opposed to the 688ac27a0ecSDave Kleikamp * inode) then we need to get write access to the [td]indirect block 689ac27a0ecSDave Kleikamp * before the splice. 690ac27a0ecSDave Kleikamp */ 691ac27a0ecSDave Kleikamp if (where->bh) { 692ac27a0ecSDave Kleikamp BUFFER_TRACE(where->bh, "get_write_access"); 693617ba13bSMingming Cao err = ext4_journal_get_write_access(handle, where->bh); 694ac27a0ecSDave Kleikamp if (err) 695ac27a0ecSDave Kleikamp goto err_out; 696ac27a0ecSDave Kleikamp } 697ac27a0ecSDave Kleikamp /* That's it */ 698ac27a0ecSDave Kleikamp 699ac27a0ecSDave Kleikamp *where->p = where->key; 700ac27a0ecSDave Kleikamp 701ac27a0ecSDave Kleikamp /* 702ac27a0ecSDave Kleikamp * Update the host buffer_head or inode to point to more just allocated 703ac27a0ecSDave Kleikamp * direct blocks blocks 704ac27a0ecSDave Kleikamp */ 705ac27a0ecSDave Kleikamp if (num == 0 && blks > 1) { 706ac27a0ecSDave Kleikamp current_block = le32_to_cpu(where->key) + 1; 707ac27a0ecSDave Kleikamp for (i = 1; i < blks; i++) 708ac27a0ecSDave Kleikamp *(where->p + i ) = cpu_to_le32(current_block++); 709ac27a0ecSDave Kleikamp } 710ac27a0ecSDave Kleikamp 711ac27a0ecSDave Kleikamp /* 712ac27a0ecSDave Kleikamp * update the most recently allocated logical & physical block 713ac27a0ecSDave Kleikamp * in i_block_alloc_info, to assist find the proper goal block for next 714ac27a0ecSDave Kleikamp * allocation 715ac27a0ecSDave Kleikamp */ 716ac27a0ecSDave Kleikamp if (block_i) { 717ac27a0ecSDave Kleikamp block_i->last_alloc_logical_block = block + blks - 1; 718ac27a0ecSDave Kleikamp block_i->last_alloc_physical_block = 719ac27a0ecSDave Kleikamp le32_to_cpu(where[num].key) + blks - 1; 720ac27a0ecSDave Kleikamp } 721ac27a0ecSDave Kleikamp 722ac27a0ecSDave Kleikamp /* We are done with atomic stuff, now do the rest of housekeeping */ 723ac27a0ecSDave Kleikamp 724ef7f3835SKalpak Shah inode->i_ctime = ext4_current_time(inode); 725617ba13bSMingming Cao ext4_mark_inode_dirty(handle, inode); 726ac27a0ecSDave Kleikamp 727ac27a0ecSDave Kleikamp /* had we spliced it onto indirect block? */ 728ac27a0ecSDave Kleikamp if (where->bh) { 729ac27a0ecSDave Kleikamp /* 730ac27a0ecSDave Kleikamp * If we spliced it onto an indirect block, we haven't 731ac27a0ecSDave Kleikamp * altered the inode. Note however that if it is being spliced 732ac27a0ecSDave Kleikamp * onto an indirect block at the very end of the file (the 733ac27a0ecSDave Kleikamp * file is growing) then we *will* alter the inode to reflect 734ac27a0ecSDave Kleikamp * the new i_size. But that is not done here - it is done in 735617ba13bSMingming Cao * generic_commit_write->__mark_inode_dirty->ext4_dirty_inode. 736ac27a0ecSDave Kleikamp */ 737ac27a0ecSDave Kleikamp jbd_debug(5, "splicing indirect only\n"); 738617ba13bSMingming Cao BUFFER_TRACE(where->bh, "call ext4_journal_dirty_metadata"); 739617ba13bSMingming Cao err = ext4_journal_dirty_metadata(handle, where->bh); 740ac27a0ecSDave Kleikamp if (err) 741ac27a0ecSDave Kleikamp goto err_out; 742ac27a0ecSDave Kleikamp } else { 743ac27a0ecSDave Kleikamp /* 744ac27a0ecSDave Kleikamp * OK, we spliced it into the inode itself on a direct block. 745ac27a0ecSDave Kleikamp * Inode was dirtied above. 746ac27a0ecSDave Kleikamp */ 747ac27a0ecSDave Kleikamp jbd_debug(5, "splicing direct\n"); 748ac27a0ecSDave Kleikamp } 749ac27a0ecSDave Kleikamp return err; 750ac27a0ecSDave Kleikamp 751ac27a0ecSDave Kleikamp err_out: 752ac27a0ecSDave Kleikamp for (i = 1; i <= num; i++) { 753dab291afSMingming Cao BUFFER_TRACE(where[i].bh, "call jbd2_journal_forget"); 754617ba13bSMingming Cao ext4_journal_forget(handle, where[i].bh); 755c9de560dSAlex Tomas ext4_free_blocks(handle, inode, 756c9de560dSAlex Tomas le32_to_cpu(where[i-1].key), 1, 0); 757ac27a0ecSDave Kleikamp } 758c9de560dSAlex Tomas ext4_free_blocks(handle, inode, le32_to_cpu(where[num].key), blks, 0); 759ac27a0ecSDave Kleikamp 760ac27a0ecSDave Kleikamp return err; 761ac27a0ecSDave Kleikamp } 762ac27a0ecSDave Kleikamp 763ac27a0ecSDave Kleikamp /* 764ac27a0ecSDave Kleikamp * Allocation strategy is simple: if we have to allocate something, we will 765ac27a0ecSDave Kleikamp * have to go the whole way to leaf. So let's do it before attaching anything 766ac27a0ecSDave Kleikamp * to tree, set linkage between the newborn blocks, write them if sync is 767ac27a0ecSDave Kleikamp * required, recheck the path, free and repeat if check fails, otherwise 768ac27a0ecSDave Kleikamp * set the last missing link (that will protect us from any truncate-generated 769ac27a0ecSDave Kleikamp * removals - all blocks on the path are immune now) and possibly force the 770ac27a0ecSDave Kleikamp * write on the parent block. 771ac27a0ecSDave Kleikamp * That has a nice additional property: no special recovery from the failed 772ac27a0ecSDave Kleikamp * allocations is needed - we simply release blocks and do not touch anything 773ac27a0ecSDave Kleikamp * reachable from inode. 774ac27a0ecSDave Kleikamp * 775ac27a0ecSDave Kleikamp * `handle' can be NULL if create == 0. 776ac27a0ecSDave Kleikamp * 777ac27a0ecSDave Kleikamp * return > 0, # of blocks mapped or allocated. 778ac27a0ecSDave Kleikamp * return = 0, if plain lookup failed. 779ac27a0ecSDave Kleikamp * return < 0, error case. 780c278bfecSAneesh Kumar K.V * 781c278bfecSAneesh Kumar K.V * 782c278bfecSAneesh Kumar K.V * Need to be called with 7830e855ac8SAneesh Kumar K.V * down_read(&EXT4_I(inode)->i_data_sem) if not allocating file system block 7840e855ac8SAneesh Kumar K.V * (ie, create is zero). Otherwise down_write(&EXT4_I(inode)->i_data_sem) 785ac27a0ecSDave Kleikamp */ 786617ba13bSMingming Cao int ext4_get_blocks_handle(handle_t *handle, struct inode *inode, 787725d26d3SAneesh Kumar K.V ext4_lblk_t iblock, unsigned long maxblocks, 788ac27a0ecSDave Kleikamp struct buffer_head *bh_result, 789ac27a0ecSDave Kleikamp int create, int extend_disksize) 790ac27a0ecSDave Kleikamp { 791ac27a0ecSDave Kleikamp int err = -EIO; 792725d26d3SAneesh Kumar K.V ext4_lblk_t offsets[4]; 793ac27a0ecSDave Kleikamp Indirect chain[4]; 794ac27a0ecSDave Kleikamp Indirect *partial; 795617ba13bSMingming Cao ext4_fsblk_t goal; 796ac27a0ecSDave Kleikamp int indirect_blks; 797ac27a0ecSDave Kleikamp int blocks_to_boundary = 0; 798ac27a0ecSDave Kleikamp int depth; 799617ba13bSMingming Cao struct ext4_inode_info *ei = EXT4_I(inode); 800ac27a0ecSDave Kleikamp int count = 0; 801617ba13bSMingming Cao ext4_fsblk_t first_block = 0; 802ac27a0ecSDave Kleikamp 803ac27a0ecSDave Kleikamp 804a86c6181SAlex Tomas J_ASSERT(!(EXT4_I(inode)->i_flags & EXT4_EXTENTS_FL)); 805ac27a0ecSDave Kleikamp J_ASSERT(handle != NULL || create == 0); 806725d26d3SAneesh Kumar K.V depth = ext4_block_to_path(inode, iblock, offsets, 807725d26d3SAneesh Kumar K.V &blocks_to_boundary); 808ac27a0ecSDave Kleikamp 809ac27a0ecSDave Kleikamp if (depth == 0) 810ac27a0ecSDave Kleikamp goto out; 811ac27a0ecSDave Kleikamp 812617ba13bSMingming Cao partial = ext4_get_branch(inode, depth, offsets, chain, &err); 813ac27a0ecSDave Kleikamp 814ac27a0ecSDave Kleikamp /* Simplest case - block found, no allocation needed */ 815ac27a0ecSDave Kleikamp if (!partial) { 816ac27a0ecSDave Kleikamp first_block = le32_to_cpu(chain[depth - 1].key); 817ac27a0ecSDave Kleikamp clear_buffer_new(bh_result); 818ac27a0ecSDave Kleikamp count++; 819ac27a0ecSDave Kleikamp /*map more blocks*/ 820ac27a0ecSDave Kleikamp while (count < maxblocks && count <= blocks_to_boundary) { 821617ba13bSMingming Cao ext4_fsblk_t blk; 822ac27a0ecSDave Kleikamp 823ac27a0ecSDave Kleikamp blk = le32_to_cpu(*(chain[depth-1].p + count)); 824ac27a0ecSDave Kleikamp 825ac27a0ecSDave Kleikamp if (blk == first_block + count) 826ac27a0ecSDave Kleikamp count++; 827ac27a0ecSDave Kleikamp else 828ac27a0ecSDave Kleikamp break; 829ac27a0ecSDave Kleikamp } 830ac27a0ecSDave Kleikamp goto got_it; 831ac27a0ecSDave Kleikamp } 832ac27a0ecSDave Kleikamp 833ac27a0ecSDave Kleikamp /* Next simple case - plain lookup or failed read of indirect block */ 834ac27a0ecSDave Kleikamp if (!create || err == -EIO) 835ac27a0ecSDave Kleikamp goto cleanup; 836ac27a0ecSDave Kleikamp 837ac27a0ecSDave Kleikamp /* 838ac27a0ecSDave Kleikamp * Okay, we need to do block allocation. Lazily initialize the block 839ac27a0ecSDave Kleikamp * allocation info here if necessary 840ac27a0ecSDave Kleikamp */ 841ac27a0ecSDave Kleikamp if (S_ISREG(inode->i_mode) && (!ei->i_block_alloc_info)) 842617ba13bSMingming Cao ext4_init_block_alloc_info(inode); 843ac27a0ecSDave Kleikamp 844fb01bfdaSAkinobu Mita goal = ext4_find_goal(inode, iblock, partial); 845ac27a0ecSDave Kleikamp 846ac27a0ecSDave Kleikamp /* the number of blocks need to allocate for [d,t]indirect blocks */ 847ac27a0ecSDave Kleikamp indirect_blks = (chain + depth) - partial - 1; 848ac27a0ecSDave Kleikamp 849ac27a0ecSDave Kleikamp /* 850ac27a0ecSDave Kleikamp * Next look up the indirect map to count the totoal number of 851ac27a0ecSDave Kleikamp * direct blocks to allocate for this branch. 852ac27a0ecSDave Kleikamp */ 853617ba13bSMingming Cao count = ext4_blks_to_allocate(partial, indirect_blks, 854ac27a0ecSDave Kleikamp maxblocks, blocks_to_boundary); 855ac27a0ecSDave Kleikamp /* 856617ba13bSMingming Cao * Block out ext4_truncate while we alter the tree 857ac27a0ecSDave Kleikamp */ 858617ba13bSMingming Cao err = ext4_alloc_branch(handle, inode, indirect_blks, &count, goal, 859ac27a0ecSDave Kleikamp offsets + (partial - chain), partial); 860ac27a0ecSDave Kleikamp 861ac27a0ecSDave Kleikamp /* 862617ba13bSMingming Cao * The ext4_splice_branch call will free and forget any buffers 863ac27a0ecSDave Kleikamp * on the new chain if there is a failure, but that risks using 864ac27a0ecSDave Kleikamp * up transaction credits, especially for bitmaps where the 865ac27a0ecSDave Kleikamp * credits cannot be returned. Can we handle this somehow? We 866ac27a0ecSDave Kleikamp * may need to return -EAGAIN upwards in the worst case. --sct 867ac27a0ecSDave Kleikamp */ 868ac27a0ecSDave Kleikamp if (!err) 869617ba13bSMingming Cao err = ext4_splice_branch(handle, inode, iblock, 870ac27a0ecSDave Kleikamp partial, indirect_blks, count); 871ac27a0ecSDave Kleikamp /* 8720e855ac8SAneesh Kumar K.V * i_disksize growing is protected by i_data_sem. Don't forget to 873ac27a0ecSDave Kleikamp * protect it if you're about to implement concurrent 874617ba13bSMingming Cao * ext4_get_block() -bzzz 875ac27a0ecSDave Kleikamp */ 876ac27a0ecSDave Kleikamp if (!err && extend_disksize && inode->i_size > ei->i_disksize) 877ac27a0ecSDave Kleikamp ei->i_disksize = inode->i_size; 878ac27a0ecSDave Kleikamp if (err) 879ac27a0ecSDave Kleikamp goto cleanup; 880ac27a0ecSDave Kleikamp 881ac27a0ecSDave Kleikamp set_buffer_new(bh_result); 882ac27a0ecSDave Kleikamp got_it: 883ac27a0ecSDave Kleikamp map_bh(bh_result, inode->i_sb, le32_to_cpu(chain[depth-1].key)); 884ac27a0ecSDave Kleikamp if (count > blocks_to_boundary) 885ac27a0ecSDave Kleikamp set_buffer_boundary(bh_result); 886ac27a0ecSDave Kleikamp err = count; 887ac27a0ecSDave Kleikamp /* Clean up and exit */ 888ac27a0ecSDave Kleikamp partial = chain + depth - 1; /* the whole chain */ 889ac27a0ecSDave Kleikamp cleanup: 890ac27a0ecSDave Kleikamp while (partial > chain) { 891ac27a0ecSDave Kleikamp BUFFER_TRACE(partial->bh, "call brelse"); 892ac27a0ecSDave Kleikamp brelse(partial->bh); 893ac27a0ecSDave Kleikamp partial--; 894ac27a0ecSDave Kleikamp } 895ac27a0ecSDave Kleikamp BUFFER_TRACE(bh_result, "returned"); 896ac27a0ecSDave Kleikamp out: 897ac27a0ecSDave Kleikamp return err; 898ac27a0ecSDave Kleikamp } 899ac27a0ecSDave Kleikamp 9007fb5409dSJan Kara /* Maximum number of blocks we map for direct IO at once. */ 9017fb5409dSJan Kara #define DIO_MAX_BLOCKS 4096 9027fb5409dSJan Kara /* 9037fb5409dSJan Kara * Number of credits we need for writing DIO_MAX_BLOCKS: 9047fb5409dSJan Kara * We need sb + group descriptor + bitmap + inode -> 4 9057fb5409dSJan Kara * For B blocks with A block pointers per block we need: 9067fb5409dSJan Kara * 1 (triple ind.) + (B/A/A + 2) (doubly ind.) + (B/A + 2) (indirect). 9077fb5409dSJan Kara * If we plug in 4096 for B and 256 for A (for 1KB block size), we get 25. 9087fb5409dSJan Kara */ 9097fb5409dSJan Kara #define DIO_CREDITS 25 910ac27a0ecSDave Kleikamp 911f5ab0d1fSMingming Cao 912f5ab0d1fSMingming Cao /* 913f5ab0d1fSMingming Cao * 914f5ab0d1fSMingming Cao * 915f5ab0d1fSMingming Cao * ext4_ext4 get_block() wrapper function 916f5ab0d1fSMingming Cao * It will do a look up first, and returns if the blocks already mapped. 917f5ab0d1fSMingming Cao * Otherwise it takes the write lock of the i_data_sem and allocate blocks 918f5ab0d1fSMingming Cao * and store the allocated blocks in the result buffer head and mark it 919f5ab0d1fSMingming Cao * mapped. 920f5ab0d1fSMingming Cao * 921f5ab0d1fSMingming Cao * If file type is extents based, it will call ext4_ext_get_blocks(), 922f5ab0d1fSMingming Cao * Otherwise, call with ext4_get_blocks_handle() to handle indirect mapping 923f5ab0d1fSMingming Cao * based files 924f5ab0d1fSMingming Cao * 925f5ab0d1fSMingming Cao * On success, it returns the number of blocks being mapped or allocate. 926f5ab0d1fSMingming Cao * if create==0 and the blocks are pre-allocated and uninitialized block, 927f5ab0d1fSMingming Cao * the result buffer head is unmapped. If the create ==1, it will make sure 928f5ab0d1fSMingming Cao * the buffer head is mapped. 929f5ab0d1fSMingming Cao * 930f5ab0d1fSMingming Cao * It returns 0 if plain look up failed (blocks have not been allocated), in 931f5ab0d1fSMingming Cao * that casem, buffer head is unmapped 932f5ab0d1fSMingming Cao * 933f5ab0d1fSMingming Cao * It returns the error in case of allocation failure. 934f5ab0d1fSMingming Cao */ 9350e855ac8SAneesh Kumar K.V int ext4_get_blocks_wrap(handle_t *handle, struct inode *inode, sector_t block, 9360e855ac8SAneesh Kumar K.V unsigned long max_blocks, struct buffer_head *bh, 9370e855ac8SAneesh Kumar K.V int create, int extend_disksize) 9380e855ac8SAneesh Kumar K.V { 9390e855ac8SAneesh Kumar K.V int retval; 940f5ab0d1fSMingming Cao 941f5ab0d1fSMingming Cao clear_buffer_mapped(bh); 942f5ab0d1fSMingming Cao 9434df3d265SAneesh Kumar K.V /* 9444df3d265SAneesh Kumar K.V * Try to see if we can get the block without requesting 9454df3d265SAneesh Kumar K.V * for new file system block. 9464df3d265SAneesh Kumar K.V */ 9470e855ac8SAneesh Kumar K.V down_read((&EXT4_I(inode)->i_data_sem)); 9484df3d265SAneesh Kumar K.V if (EXT4_I(inode)->i_flags & EXT4_EXTENTS_FL) { 9494df3d265SAneesh Kumar K.V retval = ext4_ext_get_blocks(handle, inode, block, max_blocks, 9504df3d265SAneesh Kumar K.V bh, 0, 0); 9514df3d265SAneesh Kumar K.V } else { 9524df3d265SAneesh Kumar K.V retval = ext4_get_blocks_handle(handle, 9534df3d265SAneesh Kumar K.V inode, block, max_blocks, bh, 0, 0); 9540e855ac8SAneesh Kumar K.V } 9554df3d265SAneesh Kumar K.V up_read((&EXT4_I(inode)->i_data_sem)); 956f5ab0d1fSMingming Cao 957f5ab0d1fSMingming Cao /* If it is only a block(s) look up */ 958f5ab0d1fSMingming Cao if (!create) 9594df3d265SAneesh Kumar K.V return retval; 9604df3d265SAneesh Kumar K.V 9614df3d265SAneesh Kumar K.V /* 962f5ab0d1fSMingming Cao * Returns if the blocks have already allocated 963f5ab0d1fSMingming Cao * 964f5ab0d1fSMingming Cao * Note that if blocks have been preallocated 965f5ab0d1fSMingming Cao * ext4_ext_get_block() returns th create = 0 966f5ab0d1fSMingming Cao * with buffer head unmapped. 967f5ab0d1fSMingming Cao */ 968f5ab0d1fSMingming Cao if (retval > 0 && buffer_mapped(bh)) 969f5ab0d1fSMingming Cao return retval; 970f5ab0d1fSMingming Cao 971f5ab0d1fSMingming Cao /* 972f5ab0d1fSMingming Cao * New blocks allocate and/or writing to uninitialized extent 973f5ab0d1fSMingming Cao * will possibly result in updating i_data, so we take 974f5ab0d1fSMingming Cao * the write lock of i_data_sem, and call get_blocks() 975f5ab0d1fSMingming Cao * with create == 1 flag. 9764df3d265SAneesh Kumar K.V */ 9774df3d265SAneesh Kumar K.V down_write((&EXT4_I(inode)->i_data_sem)); 9784df3d265SAneesh Kumar K.V /* 9794df3d265SAneesh Kumar K.V * We need to check for EXT4 here because migrate 9804df3d265SAneesh Kumar K.V * could have changed the inode type in between 9814df3d265SAneesh Kumar K.V */ 9820e855ac8SAneesh Kumar K.V if (EXT4_I(inode)->i_flags & EXT4_EXTENTS_FL) { 9830e855ac8SAneesh Kumar K.V retval = ext4_ext_get_blocks(handle, inode, block, max_blocks, 9840e855ac8SAneesh Kumar K.V bh, create, extend_disksize); 9850e855ac8SAneesh Kumar K.V } else { 9860e855ac8SAneesh Kumar K.V retval = ext4_get_blocks_handle(handle, inode, block, 9870e855ac8SAneesh Kumar K.V max_blocks, bh, create, extend_disksize); 988267e4db9SAneesh Kumar K.V 989267e4db9SAneesh Kumar K.V if (retval > 0 && buffer_new(bh)) { 990267e4db9SAneesh Kumar K.V /* 991267e4db9SAneesh Kumar K.V * We allocated new blocks which will result in 992267e4db9SAneesh Kumar K.V * i_data's format changing. Force the migrate 993267e4db9SAneesh Kumar K.V * to fail by clearing migrate flags 994267e4db9SAneesh Kumar K.V */ 995267e4db9SAneesh Kumar K.V EXT4_I(inode)->i_flags = EXT4_I(inode)->i_flags & 996267e4db9SAneesh Kumar K.V ~EXT4_EXT_MIGRATE; 997267e4db9SAneesh Kumar K.V } 9980e855ac8SAneesh Kumar K.V } 9990e855ac8SAneesh Kumar K.V up_write((&EXT4_I(inode)->i_data_sem)); 10000e855ac8SAneesh Kumar K.V return retval; 10010e855ac8SAneesh Kumar K.V } 10020e855ac8SAneesh Kumar K.V 1003617ba13bSMingming Cao static int ext4_get_block(struct inode *inode, sector_t iblock, 1004ac27a0ecSDave Kleikamp struct buffer_head *bh_result, int create) 1005ac27a0ecSDave Kleikamp { 10063e4fdaf8SDmitriy Monakhov handle_t *handle = ext4_journal_current_handle(); 10077fb5409dSJan Kara int ret = 0, started = 0; 1008ac27a0ecSDave Kleikamp unsigned max_blocks = bh_result->b_size >> inode->i_blkbits; 1009ac27a0ecSDave Kleikamp 10107fb5409dSJan Kara if (create && !handle) { 10117fb5409dSJan Kara /* Direct IO write... */ 10127fb5409dSJan Kara if (max_blocks > DIO_MAX_BLOCKS) 10137fb5409dSJan Kara max_blocks = DIO_MAX_BLOCKS; 10147fb5409dSJan Kara handle = ext4_journal_start(inode, DIO_CREDITS + 10157fb5409dSJan Kara 2 * EXT4_QUOTA_TRANS_BLOCKS(inode->i_sb)); 10167fb5409dSJan Kara if (IS_ERR(handle)) { 1017ac27a0ecSDave Kleikamp ret = PTR_ERR(handle); 10187fb5409dSJan Kara goto out; 10197fb5409dSJan Kara } 10207fb5409dSJan Kara started = 1; 1021ac27a0ecSDave Kleikamp } 1022ac27a0ecSDave Kleikamp 1023a86c6181SAlex Tomas ret = ext4_get_blocks_wrap(handle, inode, iblock, 1024ac27a0ecSDave Kleikamp max_blocks, bh_result, create, 0); 1025ac27a0ecSDave Kleikamp if (ret > 0) { 1026ac27a0ecSDave Kleikamp bh_result->b_size = (ret << inode->i_blkbits); 1027ac27a0ecSDave Kleikamp ret = 0; 1028ac27a0ecSDave Kleikamp } 10297fb5409dSJan Kara if (started) 10307fb5409dSJan Kara ext4_journal_stop(handle); 10317fb5409dSJan Kara out: 1032ac27a0ecSDave Kleikamp return ret; 1033ac27a0ecSDave Kleikamp } 1034ac27a0ecSDave Kleikamp 1035ac27a0ecSDave Kleikamp /* 1036ac27a0ecSDave Kleikamp * `handle' can be NULL if create is zero 1037ac27a0ecSDave Kleikamp */ 1038617ba13bSMingming Cao struct buffer_head *ext4_getblk(handle_t *handle, struct inode *inode, 1039725d26d3SAneesh Kumar K.V ext4_lblk_t block, int create, int *errp) 1040ac27a0ecSDave Kleikamp { 1041ac27a0ecSDave Kleikamp struct buffer_head dummy; 1042ac27a0ecSDave Kleikamp int fatal = 0, err; 1043ac27a0ecSDave Kleikamp 1044ac27a0ecSDave Kleikamp J_ASSERT(handle != NULL || create == 0); 1045ac27a0ecSDave Kleikamp 1046ac27a0ecSDave Kleikamp dummy.b_state = 0; 1047ac27a0ecSDave Kleikamp dummy.b_blocknr = -1000; 1048ac27a0ecSDave Kleikamp buffer_trace_init(&dummy.b_history); 1049a86c6181SAlex Tomas err = ext4_get_blocks_wrap(handle, inode, block, 1, 1050ac27a0ecSDave Kleikamp &dummy, create, 1); 1051ac27a0ecSDave Kleikamp /* 1052617ba13bSMingming Cao * ext4_get_blocks_handle() returns number of blocks 1053ac27a0ecSDave Kleikamp * mapped. 0 in case of a HOLE. 1054ac27a0ecSDave Kleikamp */ 1055ac27a0ecSDave Kleikamp if (err > 0) { 1056ac27a0ecSDave Kleikamp if (err > 1) 1057ac27a0ecSDave Kleikamp WARN_ON(1); 1058ac27a0ecSDave Kleikamp err = 0; 1059ac27a0ecSDave Kleikamp } 1060ac27a0ecSDave Kleikamp *errp = err; 1061ac27a0ecSDave Kleikamp if (!err && buffer_mapped(&dummy)) { 1062ac27a0ecSDave Kleikamp struct buffer_head *bh; 1063ac27a0ecSDave Kleikamp bh = sb_getblk(inode->i_sb, dummy.b_blocknr); 1064ac27a0ecSDave Kleikamp if (!bh) { 1065ac27a0ecSDave Kleikamp *errp = -EIO; 1066ac27a0ecSDave Kleikamp goto err; 1067ac27a0ecSDave Kleikamp } 1068ac27a0ecSDave Kleikamp if (buffer_new(&dummy)) { 1069ac27a0ecSDave Kleikamp J_ASSERT(create != 0); 1070ac39849dSAneesh Kumar K.V J_ASSERT(handle != NULL); 1071ac27a0ecSDave Kleikamp 1072ac27a0ecSDave Kleikamp /* 1073ac27a0ecSDave Kleikamp * Now that we do not always journal data, we should 1074ac27a0ecSDave Kleikamp * keep in mind whether this should always journal the 1075ac27a0ecSDave Kleikamp * new buffer as metadata. For now, regular file 1076617ba13bSMingming Cao * writes use ext4_get_block instead, so it's not a 1077ac27a0ecSDave Kleikamp * problem. 1078ac27a0ecSDave Kleikamp */ 1079ac27a0ecSDave Kleikamp lock_buffer(bh); 1080ac27a0ecSDave Kleikamp BUFFER_TRACE(bh, "call get_create_access"); 1081617ba13bSMingming Cao fatal = ext4_journal_get_create_access(handle, bh); 1082ac27a0ecSDave Kleikamp if (!fatal && !buffer_uptodate(bh)) { 1083ac27a0ecSDave Kleikamp memset(bh->b_data,0,inode->i_sb->s_blocksize); 1084ac27a0ecSDave Kleikamp set_buffer_uptodate(bh); 1085ac27a0ecSDave Kleikamp } 1086ac27a0ecSDave Kleikamp unlock_buffer(bh); 1087617ba13bSMingming Cao BUFFER_TRACE(bh, "call ext4_journal_dirty_metadata"); 1088617ba13bSMingming Cao err = ext4_journal_dirty_metadata(handle, bh); 1089ac27a0ecSDave Kleikamp if (!fatal) 1090ac27a0ecSDave Kleikamp fatal = err; 1091ac27a0ecSDave Kleikamp } else { 1092ac27a0ecSDave Kleikamp BUFFER_TRACE(bh, "not a new buffer"); 1093ac27a0ecSDave Kleikamp } 1094ac27a0ecSDave Kleikamp if (fatal) { 1095ac27a0ecSDave Kleikamp *errp = fatal; 1096ac27a0ecSDave Kleikamp brelse(bh); 1097ac27a0ecSDave Kleikamp bh = NULL; 1098ac27a0ecSDave Kleikamp } 1099ac27a0ecSDave Kleikamp return bh; 1100ac27a0ecSDave Kleikamp } 1101ac27a0ecSDave Kleikamp err: 1102ac27a0ecSDave Kleikamp return NULL; 1103ac27a0ecSDave Kleikamp } 1104ac27a0ecSDave Kleikamp 1105617ba13bSMingming Cao struct buffer_head *ext4_bread(handle_t *handle, struct inode *inode, 1106725d26d3SAneesh Kumar K.V ext4_lblk_t block, int create, int *err) 1107ac27a0ecSDave Kleikamp { 1108ac27a0ecSDave Kleikamp struct buffer_head * bh; 1109ac27a0ecSDave Kleikamp 1110617ba13bSMingming Cao bh = ext4_getblk(handle, inode, block, create, err); 1111ac27a0ecSDave Kleikamp if (!bh) 1112ac27a0ecSDave Kleikamp return bh; 1113ac27a0ecSDave Kleikamp if (buffer_uptodate(bh)) 1114ac27a0ecSDave Kleikamp return bh; 1115ac27a0ecSDave Kleikamp ll_rw_block(READ_META, 1, &bh); 1116ac27a0ecSDave Kleikamp wait_on_buffer(bh); 1117ac27a0ecSDave Kleikamp if (buffer_uptodate(bh)) 1118ac27a0ecSDave Kleikamp return bh; 1119ac27a0ecSDave Kleikamp put_bh(bh); 1120ac27a0ecSDave Kleikamp *err = -EIO; 1121ac27a0ecSDave Kleikamp return NULL; 1122ac27a0ecSDave Kleikamp } 1123ac27a0ecSDave Kleikamp 1124ac27a0ecSDave Kleikamp static int walk_page_buffers( handle_t *handle, 1125ac27a0ecSDave Kleikamp struct buffer_head *head, 1126ac27a0ecSDave Kleikamp unsigned from, 1127ac27a0ecSDave Kleikamp unsigned to, 1128ac27a0ecSDave Kleikamp int *partial, 1129ac27a0ecSDave Kleikamp int (*fn)( handle_t *handle, 1130ac27a0ecSDave Kleikamp struct buffer_head *bh)) 1131ac27a0ecSDave Kleikamp { 1132ac27a0ecSDave Kleikamp struct buffer_head *bh; 1133ac27a0ecSDave Kleikamp unsigned block_start, block_end; 1134ac27a0ecSDave Kleikamp unsigned blocksize = head->b_size; 1135ac27a0ecSDave Kleikamp int err, ret = 0; 1136ac27a0ecSDave Kleikamp struct buffer_head *next; 1137ac27a0ecSDave Kleikamp 1138ac27a0ecSDave Kleikamp for ( bh = head, block_start = 0; 1139ac27a0ecSDave Kleikamp ret == 0 && (bh != head || !block_start); 1140ac27a0ecSDave Kleikamp block_start = block_end, bh = next) 1141ac27a0ecSDave Kleikamp { 1142ac27a0ecSDave Kleikamp next = bh->b_this_page; 1143ac27a0ecSDave Kleikamp block_end = block_start + blocksize; 1144ac27a0ecSDave Kleikamp if (block_end <= from || block_start >= to) { 1145ac27a0ecSDave Kleikamp if (partial && !buffer_uptodate(bh)) 1146ac27a0ecSDave Kleikamp *partial = 1; 1147ac27a0ecSDave Kleikamp continue; 1148ac27a0ecSDave Kleikamp } 1149ac27a0ecSDave Kleikamp err = (*fn)(handle, bh); 1150ac27a0ecSDave Kleikamp if (!ret) 1151ac27a0ecSDave Kleikamp ret = err; 1152ac27a0ecSDave Kleikamp } 1153ac27a0ecSDave Kleikamp return ret; 1154ac27a0ecSDave Kleikamp } 1155ac27a0ecSDave Kleikamp 1156ac27a0ecSDave Kleikamp /* 1157ac27a0ecSDave Kleikamp * To preserve ordering, it is essential that the hole instantiation and 1158ac27a0ecSDave Kleikamp * the data write be encapsulated in a single transaction. We cannot 1159617ba13bSMingming Cao * close off a transaction and start a new one between the ext4_get_block() 1160dab291afSMingming Cao * and the commit_write(). So doing the jbd2_journal_start at the start of 1161ac27a0ecSDave Kleikamp * prepare_write() is the right place. 1162ac27a0ecSDave Kleikamp * 1163617ba13bSMingming Cao * Also, this function can nest inside ext4_writepage() -> 1164617ba13bSMingming Cao * block_write_full_page(). In that case, we *know* that ext4_writepage() 1165ac27a0ecSDave Kleikamp * has generated enough buffer credits to do the whole page. So we won't 1166ac27a0ecSDave Kleikamp * block on the journal in that case, which is good, because the caller may 1167ac27a0ecSDave Kleikamp * be PF_MEMALLOC. 1168ac27a0ecSDave Kleikamp * 1169617ba13bSMingming Cao * By accident, ext4 can be reentered when a transaction is open via 1170ac27a0ecSDave Kleikamp * quota file writes. If we were to commit the transaction while thus 1171ac27a0ecSDave Kleikamp * reentered, there can be a deadlock - we would be holding a quota 1172ac27a0ecSDave Kleikamp * lock, and the commit would never complete if another thread had a 1173ac27a0ecSDave Kleikamp * transaction open and was blocking on the quota lock - a ranking 1174ac27a0ecSDave Kleikamp * violation. 1175ac27a0ecSDave Kleikamp * 1176dab291afSMingming Cao * So what we do is to rely on the fact that jbd2_journal_stop/journal_start 1177ac27a0ecSDave Kleikamp * will _not_ run commit under these circumstances because handle->h_ref 1178ac27a0ecSDave Kleikamp * is elevated. We'll still have enough credits for the tiny quotafile 1179ac27a0ecSDave Kleikamp * write. 1180ac27a0ecSDave Kleikamp */ 1181ac27a0ecSDave Kleikamp static int do_journal_get_write_access(handle_t *handle, 1182ac27a0ecSDave Kleikamp struct buffer_head *bh) 1183ac27a0ecSDave Kleikamp { 1184ac27a0ecSDave Kleikamp if (!buffer_mapped(bh) || buffer_freed(bh)) 1185ac27a0ecSDave Kleikamp return 0; 1186617ba13bSMingming Cao return ext4_journal_get_write_access(handle, bh); 1187ac27a0ecSDave Kleikamp } 1188ac27a0ecSDave Kleikamp 1189bfc1af65SNick Piggin static int ext4_write_begin(struct file *file, struct address_space *mapping, 1190bfc1af65SNick Piggin loff_t pos, unsigned len, unsigned flags, 1191bfc1af65SNick Piggin struct page **pagep, void **fsdata) 1192ac27a0ecSDave Kleikamp { 1193bfc1af65SNick Piggin struct inode *inode = mapping->host; 11947479d2b9SAndrew Morton int ret, needed_blocks = ext4_writepage_trans_blocks(inode); 1195ac27a0ecSDave Kleikamp handle_t *handle; 1196ac27a0ecSDave Kleikamp int retries = 0; 1197bfc1af65SNick Piggin struct page *page; 1198bfc1af65SNick Piggin pgoff_t index; 1199bfc1af65SNick Piggin unsigned from, to; 1200bfc1af65SNick Piggin 1201bfc1af65SNick Piggin index = pos >> PAGE_CACHE_SHIFT; 1202bfc1af65SNick Piggin from = pos & (PAGE_CACHE_SIZE - 1); 1203bfc1af65SNick Piggin to = from + len; 1204ac27a0ecSDave Kleikamp 1205ac27a0ecSDave Kleikamp retry: 1206bfc1af65SNick Piggin page = __grab_cache_page(mapping, index); 1207bfc1af65SNick Piggin if (!page) 1208bfc1af65SNick Piggin return -ENOMEM; 1209bfc1af65SNick Piggin *pagep = page; 1210bfc1af65SNick Piggin 1211617ba13bSMingming Cao handle = ext4_journal_start(inode, needed_blocks); 12127479d2b9SAndrew Morton if (IS_ERR(handle)) { 1213bfc1af65SNick Piggin unlock_page(page); 1214bfc1af65SNick Piggin page_cache_release(page); 12157479d2b9SAndrew Morton ret = PTR_ERR(handle); 12167479d2b9SAndrew Morton goto out; 12177479d2b9SAndrew Morton } 1218ac27a0ecSDave Kleikamp 1219bfc1af65SNick Piggin ret = block_write_begin(file, mapping, pos, len, flags, pagep, fsdata, 1220bfc1af65SNick Piggin ext4_get_block); 1221bfc1af65SNick Piggin 1222bfc1af65SNick Piggin if (!ret && ext4_should_journal_data(inode)) { 1223ac27a0ecSDave Kleikamp ret = walk_page_buffers(handle, page_buffers(page), 1224ac27a0ecSDave Kleikamp from, to, NULL, do_journal_get_write_access); 1225b46be050SAndrey Savochkin } 1226bfc1af65SNick Piggin 1227bfc1af65SNick Piggin if (ret) { 12287479d2b9SAndrew Morton ext4_journal_stop(handle); 1229bfc1af65SNick Piggin unlock_page(page); 1230bfc1af65SNick Piggin page_cache_release(page); 1231bfc1af65SNick Piggin } 1232bfc1af65SNick Piggin 1233617ba13bSMingming Cao if (ret == -ENOSPC && ext4_should_retry_alloc(inode->i_sb, &retries)) 1234ac27a0ecSDave Kleikamp goto retry; 12357479d2b9SAndrew Morton out: 1236ac27a0ecSDave Kleikamp return ret; 1237ac27a0ecSDave Kleikamp } 1238ac27a0ecSDave Kleikamp 1239617ba13bSMingming Cao int ext4_journal_dirty_data(handle_t *handle, struct buffer_head *bh) 1240ac27a0ecSDave Kleikamp { 1241dab291afSMingming Cao int err = jbd2_journal_dirty_data(handle, bh); 1242ac27a0ecSDave Kleikamp if (err) 124346e665e9SHarvey Harrison ext4_journal_abort_handle(__func__, __func__, 1244ac27a0ecSDave Kleikamp bh, handle, err); 1245ac27a0ecSDave Kleikamp return err; 1246ac27a0ecSDave Kleikamp } 1247ac27a0ecSDave Kleikamp 1248bfc1af65SNick Piggin /* For write_end() in data=journal mode */ 1249bfc1af65SNick Piggin static int write_end_fn(handle_t *handle, struct buffer_head *bh) 1250ac27a0ecSDave Kleikamp { 1251ac27a0ecSDave Kleikamp if (!buffer_mapped(bh) || buffer_freed(bh)) 1252ac27a0ecSDave Kleikamp return 0; 1253ac27a0ecSDave Kleikamp set_buffer_uptodate(bh); 1254617ba13bSMingming Cao return ext4_journal_dirty_metadata(handle, bh); 1255ac27a0ecSDave Kleikamp } 1256ac27a0ecSDave Kleikamp 1257ac27a0ecSDave Kleikamp /* 1258bfc1af65SNick Piggin * Generic write_end handler for ordered and writeback ext4 journal modes. 1259bfc1af65SNick Piggin * We can't use generic_write_end, because that unlocks the page and we need to 1260bfc1af65SNick Piggin * unlock the page after ext4_journal_stop, but ext4_journal_stop must run 1261bfc1af65SNick Piggin * after block_write_end. 1262bfc1af65SNick Piggin */ 1263bfc1af65SNick Piggin static int ext4_generic_write_end(struct file *file, 1264bfc1af65SNick Piggin struct address_space *mapping, 1265bfc1af65SNick Piggin loff_t pos, unsigned len, unsigned copied, 1266bfc1af65SNick Piggin struct page *page, void *fsdata) 1267bfc1af65SNick Piggin { 1268bfc1af65SNick Piggin struct inode *inode = file->f_mapping->host; 1269bfc1af65SNick Piggin 1270bfc1af65SNick Piggin copied = block_write_end(file, mapping, pos, len, copied, page, fsdata); 1271bfc1af65SNick Piggin 1272bfc1af65SNick Piggin if (pos+copied > inode->i_size) { 1273bfc1af65SNick Piggin i_size_write(inode, pos+copied); 1274bfc1af65SNick Piggin mark_inode_dirty(inode); 1275bfc1af65SNick Piggin } 1276bfc1af65SNick Piggin 1277bfc1af65SNick Piggin return copied; 1278bfc1af65SNick Piggin } 1279bfc1af65SNick Piggin 1280bfc1af65SNick Piggin /* 1281ac27a0ecSDave Kleikamp * We need to pick up the new inode size which generic_commit_write gave us 1282ac27a0ecSDave Kleikamp * `file' can be NULL - eg, when called from page_symlink(). 1283ac27a0ecSDave Kleikamp * 1284617ba13bSMingming Cao * ext4 never places buffers on inode->i_mapping->private_list. metadata 1285ac27a0ecSDave Kleikamp * buffers are managed internally. 1286ac27a0ecSDave Kleikamp */ 1287bfc1af65SNick Piggin static int ext4_ordered_write_end(struct file *file, 1288bfc1af65SNick Piggin struct address_space *mapping, 1289bfc1af65SNick Piggin loff_t pos, unsigned len, unsigned copied, 1290bfc1af65SNick Piggin struct page *page, void *fsdata) 1291ac27a0ecSDave Kleikamp { 1292617ba13bSMingming Cao handle_t *handle = ext4_journal_current_handle(); 1293bfc1af65SNick Piggin struct inode *inode = file->f_mapping->host; 1294bfc1af65SNick Piggin unsigned from, to; 1295ac27a0ecSDave Kleikamp int ret = 0, ret2; 1296ac27a0ecSDave Kleikamp 1297bfc1af65SNick Piggin from = pos & (PAGE_CACHE_SIZE - 1); 1298bfc1af65SNick Piggin to = from + len; 1299bfc1af65SNick Piggin 1300ac27a0ecSDave Kleikamp ret = walk_page_buffers(handle, page_buffers(page), 1301617ba13bSMingming Cao from, to, NULL, ext4_journal_dirty_data); 1302ac27a0ecSDave Kleikamp 1303ac27a0ecSDave Kleikamp if (ret == 0) { 1304ac27a0ecSDave Kleikamp /* 1305bfc1af65SNick Piggin * generic_write_end() will run mark_inode_dirty() if i_size 1306ac27a0ecSDave Kleikamp * changes. So let's piggyback the i_disksize mark_inode_dirty 1307ac27a0ecSDave Kleikamp * into that. 1308ac27a0ecSDave Kleikamp */ 1309ac27a0ecSDave Kleikamp loff_t new_i_size; 1310ac27a0ecSDave Kleikamp 1311bfc1af65SNick Piggin new_i_size = pos + copied; 1312617ba13bSMingming Cao if (new_i_size > EXT4_I(inode)->i_disksize) 1313617ba13bSMingming Cao EXT4_I(inode)->i_disksize = new_i_size; 1314bfc1af65SNick Piggin copied = ext4_generic_write_end(file, mapping, pos, len, copied, 1315bfc1af65SNick Piggin page, fsdata); 1316bfc1af65SNick Piggin if (copied < 0) 1317bfc1af65SNick Piggin ret = copied; 1318ac27a0ecSDave Kleikamp } 1319617ba13bSMingming Cao ret2 = ext4_journal_stop(handle); 1320ac27a0ecSDave Kleikamp if (!ret) 1321ac27a0ecSDave Kleikamp ret = ret2; 1322bfc1af65SNick Piggin unlock_page(page); 1323bfc1af65SNick Piggin page_cache_release(page); 1324bfc1af65SNick Piggin 1325bfc1af65SNick Piggin return ret ? ret : copied; 1326ac27a0ecSDave Kleikamp } 1327ac27a0ecSDave Kleikamp 1328bfc1af65SNick Piggin static int ext4_writeback_write_end(struct file *file, 1329bfc1af65SNick Piggin struct address_space *mapping, 1330bfc1af65SNick Piggin loff_t pos, unsigned len, unsigned copied, 1331bfc1af65SNick Piggin struct page *page, void *fsdata) 1332ac27a0ecSDave Kleikamp { 1333617ba13bSMingming Cao handle_t *handle = ext4_journal_current_handle(); 1334bfc1af65SNick Piggin struct inode *inode = file->f_mapping->host; 1335ac27a0ecSDave Kleikamp int ret = 0, ret2; 1336ac27a0ecSDave Kleikamp loff_t new_i_size; 1337ac27a0ecSDave Kleikamp 1338bfc1af65SNick Piggin new_i_size = pos + copied; 1339617ba13bSMingming Cao if (new_i_size > EXT4_I(inode)->i_disksize) 1340617ba13bSMingming Cao EXT4_I(inode)->i_disksize = new_i_size; 1341ac27a0ecSDave Kleikamp 1342bfc1af65SNick Piggin copied = ext4_generic_write_end(file, mapping, pos, len, copied, 1343bfc1af65SNick Piggin page, fsdata); 1344bfc1af65SNick Piggin if (copied < 0) 1345bfc1af65SNick Piggin ret = copied; 1346ac27a0ecSDave Kleikamp 1347617ba13bSMingming Cao ret2 = ext4_journal_stop(handle); 1348ac27a0ecSDave Kleikamp if (!ret) 1349ac27a0ecSDave Kleikamp ret = ret2; 1350bfc1af65SNick Piggin unlock_page(page); 1351bfc1af65SNick Piggin page_cache_release(page); 1352bfc1af65SNick Piggin 1353bfc1af65SNick Piggin return ret ? ret : copied; 1354ac27a0ecSDave Kleikamp } 1355ac27a0ecSDave Kleikamp 1356bfc1af65SNick Piggin static int ext4_journalled_write_end(struct file *file, 1357bfc1af65SNick Piggin struct address_space *mapping, 1358bfc1af65SNick Piggin loff_t pos, unsigned len, unsigned copied, 1359bfc1af65SNick Piggin struct page *page, void *fsdata) 1360ac27a0ecSDave Kleikamp { 1361617ba13bSMingming Cao handle_t *handle = ext4_journal_current_handle(); 1362bfc1af65SNick Piggin struct inode *inode = mapping->host; 1363ac27a0ecSDave Kleikamp int ret = 0, ret2; 1364ac27a0ecSDave Kleikamp int partial = 0; 1365bfc1af65SNick Piggin unsigned from, to; 1366ac27a0ecSDave Kleikamp 1367bfc1af65SNick Piggin from = pos & (PAGE_CACHE_SIZE - 1); 1368bfc1af65SNick Piggin to = from + len; 1369bfc1af65SNick Piggin 1370bfc1af65SNick Piggin if (copied < len) { 1371bfc1af65SNick Piggin if (!PageUptodate(page)) 1372bfc1af65SNick Piggin copied = 0; 1373bfc1af65SNick Piggin page_zero_new_buffers(page, from+copied, to); 1374bfc1af65SNick Piggin } 1375ac27a0ecSDave Kleikamp 1376ac27a0ecSDave Kleikamp ret = walk_page_buffers(handle, page_buffers(page), from, 1377bfc1af65SNick Piggin to, &partial, write_end_fn); 1378ac27a0ecSDave Kleikamp if (!partial) 1379ac27a0ecSDave Kleikamp SetPageUptodate(page); 1380bfc1af65SNick Piggin if (pos+copied > inode->i_size) 1381bfc1af65SNick Piggin i_size_write(inode, pos+copied); 1382617ba13bSMingming Cao EXT4_I(inode)->i_state |= EXT4_STATE_JDATA; 1383617ba13bSMingming Cao if (inode->i_size > EXT4_I(inode)->i_disksize) { 1384617ba13bSMingming Cao EXT4_I(inode)->i_disksize = inode->i_size; 1385617ba13bSMingming Cao ret2 = ext4_mark_inode_dirty(handle, inode); 1386ac27a0ecSDave Kleikamp if (!ret) 1387ac27a0ecSDave Kleikamp ret = ret2; 1388ac27a0ecSDave Kleikamp } 1389bfc1af65SNick Piggin 1390617ba13bSMingming Cao ret2 = ext4_journal_stop(handle); 1391ac27a0ecSDave Kleikamp if (!ret) 1392ac27a0ecSDave Kleikamp ret = ret2; 1393bfc1af65SNick Piggin unlock_page(page); 1394bfc1af65SNick Piggin page_cache_release(page); 1395bfc1af65SNick Piggin 1396bfc1af65SNick Piggin return ret ? ret : copied; 1397ac27a0ecSDave Kleikamp } 1398ac27a0ecSDave Kleikamp 1399ac27a0ecSDave Kleikamp /* 1400ac27a0ecSDave Kleikamp * bmap() is special. It gets used by applications such as lilo and by 1401ac27a0ecSDave Kleikamp * the swapper to find the on-disk block of a specific piece of data. 1402ac27a0ecSDave Kleikamp * 1403ac27a0ecSDave Kleikamp * Naturally, this is dangerous if the block concerned is still in the 1404617ba13bSMingming Cao * journal. If somebody makes a swapfile on an ext4 data-journaling 1405ac27a0ecSDave Kleikamp * filesystem and enables swap, then they may get a nasty shock when the 1406ac27a0ecSDave Kleikamp * data getting swapped to that swapfile suddenly gets overwritten by 1407ac27a0ecSDave Kleikamp * the original zero's written out previously to the journal and 1408ac27a0ecSDave Kleikamp * awaiting writeback in the kernel's buffer cache. 1409ac27a0ecSDave Kleikamp * 1410ac27a0ecSDave Kleikamp * So, if we see any bmap calls here on a modified, data-journaled file, 1411ac27a0ecSDave Kleikamp * take extra steps to flush any blocks which might be in the cache. 1412ac27a0ecSDave Kleikamp */ 1413617ba13bSMingming Cao static sector_t ext4_bmap(struct address_space *mapping, sector_t block) 1414ac27a0ecSDave Kleikamp { 1415ac27a0ecSDave Kleikamp struct inode *inode = mapping->host; 1416ac27a0ecSDave Kleikamp journal_t *journal; 1417ac27a0ecSDave Kleikamp int err; 1418ac27a0ecSDave Kleikamp 1419617ba13bSMingming Cao if (EXT4_I(inode)->i_state & EXT4_STATE_JDATA) { 1420ac27a0ecSDave Kleikamp /* 1421ac27a0ecSDave Kleikamp * This is a REALLY heavyweight approach, but the use of 1422ac27a0ecSDave Kleikamp * bmap on dirty files is expected to be extremely rare: 1423ac27a0ecSDave Kleikamp * only if we run lilo or swapon on a freshly made file 1424ac27a0ecSDave Kleikamp * do we expect this to happen. 1425ac27a0ecSDave Kleikamp * 1426ac27a0ecSDave Kleikamp * (bmap requires CAP_SYS_RAWIO so this does not 1427ac27a0ecSDave Kleikamp * represent an unprivileged user DOS attack --- we'd be 1428ac27a0ecSDave Kleikamp * in trouble if mortal users could trigger this path at 1429ac27a0ecSDave Kleikamp * will.) 1430ac27a0ecSDave Kleikamp * 1431617ba13bSMingming Cao * NB. EXT4_STATE_JDATA is not set on files other than 1432ac27a0ecSDave Kleikamp * regular files. If somebody wants to bmap a directory 1433ac27a0ecSDave Kleikamp * or symlink and gets confused because the buffer 1434ac27a0ecSDave Kleikamp * hasn't yet been flushed to disk, they deserve 1435ac27a0ecSDave Kleikamp * everything they get. 1436ac27a0ecSDave Kleikamp */ 1437ac27a0ecSDave Kleikamp 1438617ba13bSMingming Cao EXT4_I(inode)->i_state &= ~EXT4_STATE_JDATA; 1439617ba13bSMingming Cao journal = EXT4_JOURNAL(inode); 1440dab291afSMingming Cao jbd2_journal_lock_updates(journal); 1441dab291afSMingming Cao err = jbd2_journal_flush(journal); 1442dab291afSMingming Cao jbd2_journal_unlock_updates(journal); 1443ac27a0ecSDave Kleikamp 1444ac27a0ecSDave Kleikamp if (err) 1445ac27a0ecSDave Kleikamp return 0; 1446ac27a0ecSDave Kleikamp } 1447ac27a0ecSDave Kleikamp 1448617ba13bSMingming Cao return generic_block_bmap(mapping,block,ext4_get_block); 1449ac27a0ecSDave Kleikamp } 1450ac27a0ecSDave Kleikamp 1451ac27a0ecSDave Kleikamp static int bget_one(handle_t *handle, struct buffer_head *bh) 1452ac27a0ecSDave Kleikamp { 1453ac27a0ecSDave Kleikamp get_bh(bh); 1454ac27a0ecSDave Kleikamp return 0; 1455ac27a0ecSDave Kleikamp } 1456ac27a0ecSDave Kleikamp 1457ac27a0ecSDave Kleikamp static int bput_one(handle_t *handle, struct buffer_head *bh) 1458ac27a0ecSDave Kleikamp { 1459ac27a0ecSDave Kleikamp put_bh(bh); 1460ac27a0ecSDave Kleikamp return 0; 1461ac27a0ecSDave Kleikamp } 1462ac27a0ecSDave Kleikamp 1463dab291afSMingming Cao static int jbd2_journal_dirty_data_fn(handle_t *handle, struct buffer_head *bh) 1464ac27a0ecSDave Kleikamp { 1465ac27a0ecSDave Kleikamp if (buffer_mapped(bh)) 1466617ba13bSMingming Cao return ext4_journal_dirty_data(handle, bh); 1467ac27a0ecSDave Kleikamp return 0; 1468ac27a0ecSDave Kleikamp } 1469ac27a0ecSDave Kleikamp 1470ac27a0ecSDave Kleikamp /* 1471ac27a0ecSDave Kleikamp * Note that we always start a transaction even if we're not journalling 1472ac27a0ecSDave Kleikamp * data. This is to preserve ordering: any hole instantiation within 1473617ba13bSMingming Cao * __block_write_full_page -> ext4_get_block() should be journalled 1474ac27a0ecSDave Kleikamp * along with the data so we don't crash and then get metadata which 1475ac27a0ecSDave Kleikamp * refers to old data. 1476ac27a0ecSDave Kleikamp * 1477ac27a0ecSDave Kleikamp * In all journalling modes block_write_full_page() will start the I/O. 1478ac27a0ecSDave Kleikamp * 1479ac27a0ecSDave Kleikamp * Problem: 1480ac27a0ecSDave Kleikamp * 1481617ba13bSMingming Cao * ext4_writepage() -> kmalloc() -> __alloc_pages() -> page_launder() -> 1482617ba13bSMingming Cao * ext4_writepage() 1483ac27a0ecSDave Kleikamp * 1484ac27a0ecSDave Kleikamp * Similar for: 1485ac27a0ecSDave Kleikamp * 1486617ba13bSMingming Cao * ext4_file_write() -> generic_file_write() -> __alloc_pages() -> ... 1487ac27a0ecSDave Kleikamp * 1488617ba13bSMingming Cao * Same applies to ext4_get_block(). We will deadlock on various things like 14890e855ac8SAneesh Kumar K.V * lock_journal and i_data_sem 1490ac27a0ecSDave Kleikamp * 1491ac27a0ecSDave Kleikamp * Setting PF_MEMALLOC here doesn't work - too many internal memory 1492ac27a0ecSDave Kleikamp * allocations fail. 1493ac27a0ecSDave Kleikamp * 1494ac27a0ecSDave Kleikamp * 16May01: If we're reentered then journal_current_handle() will be 1495ac27a0ecSDave Kleikamp * non-zero. We simply *return*. 1496ac27a0ecSDave Kleikamp * 1497ac27a0ecSDave Kleikamp * 1 July 2001: @@@ FIXME: 1498ac27a0ecSDave Kleikamp * In journalled data mode, a data buffer may be metadata against the 1499ac27a0ecSDave Kleikamp * current transaction. But the same file is part of a shared mapping 1500ac27a0ecSDave Kleikamp * and someone does a writepage() on it. 1501ac27a0ecSDave Kleikamp * 1502ac27a0ecSDave Kleikamp * We will move the buffer onto the async_data list, but *after* it has 1503ac27a0ecSDave Kleikamp * been dirtied. So there's a small window where we have dirty data on 1504ac27a0ecSDave Kleikamp * BJ_Metadata. 1505ac27a0ecSDave Kleikamp * 1506ac27a0ecSDave Kleikamp * Note that this only applies to the last partial page in the file. The 1507ac27a0ecSDave Kleikamp * bit which block_write_full_page() uses prepare/commit for. (That's 1508ac27a0ecSDave Kleikamp * broken code anyway: it's wrong for msync()). 1509ac27a0ecSDave Kleikamp * 1510ac27a0ecSDave Kleikamp * It's a rare case: affects the final partial page, for journalled data 1511ac27a0ecSDave Kleikamp * where the file is subject to bith write() and writepage() in the same 1512ac27a0ecSDave Kleikamp * transction. To fix it we'll need a custom block_write_full_page(). 1513ac27a0ecSDave Kleikamp * We'll probably need that anyway for journalling writepage() output. 1514ac27a0ecSDave Kleikamp * 1515ac27a0ecSDave Kleikamp * We don't honour synchronous mounts for writepage(). That would be 1516ac27a0ecSDave Kleikamp * disastrous. Any write() or metadata operation will sync the fs for 1517ac27a0ecSDave Kleikamp * us. 1518ac27a0ecSDave Kleikamp * 1519ac27a0ecSDave Kleikamp * AKPM2: if all the page's buffers are mapped to disk and !data=journal, 1520ac27a0ecSDave Kleikamp * we don't need to open a transaction here. 1521ac27a0ecSDave Kleikamp */ 1522617ba13bSMingming Cao static int ext4_ordered_writepage(struct page *page, 1523ac27a0ecSDave Kleikamp struct writeback_control *wbc) 1524ac27a0ecSDave Kleikamp { 1525ac27a0ecSDave Kleikamp struct inode *inode = page->mapping->host; 1526ac27a0ecSDave Kleikamp struct buffer_head *page_bufs; 1527ac27a0ecSDave Kleikamp handle_t *handle = NULL; 1528ac27a0ecSDave Kleikamp int ret = 0; 1529ac27a0ecSDave Kleikamp int err; 1530ac27a0ecSDave Kleikamp 1531ac27a0ecSDave Kleikamp J_ASSERT(PageLocked(page)); 1532ac27a0ecSDave Kleikamp 1533ac27a0ecSDave Kleikamp /* 1534ac27a0ecSDave Kleikamp * We give up here if we're reentered, because it might be for a 1535ac27a0ecSDave Kleikamp * different filesystem. 1536ac27a0ecSDave Kleikamp */ 1537617ba13bSMingming Cao if (ext4_journal_current_handle()) 1538ac27a0ecSDave Kleikamp goto out_fail; 1539ac27a0ecSDave Kleikamp 1540617ba13bSMingming Cao handle = ext4_journal_start(inode, ext4_writepage_trans_blocks(inode)); 1541ac27a0ecSDave Kleikamp 1542ac27a0ecSDave Kleikamp if (IS_ERR(handle)) { 1543ac27a0ecSDave Kleikamp ret = PTR_ERR(handle); 1544ac27a0ecSDave Kleikamp goto out_fail; 1545ac27a0ecSDave Kleikamp } 1546ac27a0ecSDave Kleikamp 1547ac27a0ecSDave Kleikamp if (!page_has_buffers(page)) { 1548ac27a0ecSDave Kleikamp create_empty_buffers(page, inode->i_sb->s_blocksize, 1549ac27a0ecSDave Kleikamp (1 << BH_Dirty)|(1 << BH_Uptodate)); 1550ac27a0ecSDave Kleikamp } 1551ac27a0ecSDave Kleikamp page_bufs = page_buffers(page); 1552ac27a0ecSDave Kleikamp walk_page_buffers(handle, page_bufs, 0, 1553ac27a0ecSDave Kleikamp PAGE_CACHE_SIZE, NULL, bget_one); 1554ac27a0ecSDave Kleikamp 1555617ba13bSMingming Cao ret = block_write_full_page(page, ext4_get_block, wbc); 1556ac27a0ecSDave Kleikamp 1557ac27a0ecSDave Kleikamp /* 1558ac27a0ecSDave Kleikamp * The page can become unlocked at any point now, and 1559ac27a0ecSDave Kleikamp * truncate can then come in and change things. So we 1560ac27a0ecSDave Kleikamp * can't touch *page from now on. But *page_bufs is 1561ac27a0ecSDave Kleikamp * safe due to elevated refcount. 1562ac27a0ecSDave Kleikamp */ 1563ac27a0ecSDave Kleikamp 1564ac27a0ecSDave Kleikamp /* 1565ac27a0ecSDave Kleikamp * And attach them to the current transaction. But only if 1566ac27a0ecSDave Kleikamp * block_write_full_page() succeeded. Otherwise they are unmapped, 1567ac27a0ecSDave Kleikamp * and generally junk. 1568ac27a0ecSDave Kleikamp */ 1569ac27a0ecSDave Kleikamp if (ret == 0) { 1570ac27a0ecSDave Kleikamp err = walk_page_buffers(handle, page_bufs, 0, PAGE_CACHE_SIZE, 1571dab291afSMingming Cao NULL, jbd2_journal_dirty_data_fn); 1572ac27a0ecSDave Kleikamp if (!ret) 1573ac27a0ecSDave Kleikamp ret = err; 1574ac27a0ecSDave Kleikamp } 1575ac27a0ecSDave Kleikamp walk_page_buffers(handle, page_bufs, 0, 1576ac27a0ecSDave Kleikamp PAGE_CACHE_SIZE, NULL, bput_one); 1577617ba13bSMingming Cao err = ext4_journal_stop(handle); 1578ac27a0ecSDave Kleikamp if (!ret) 1579ac27a0ecSDave Kleikamp ret = err; 1580ac27a0ecSDave Kleikamp return ret; 1581ac27a0ecSDave Kleikamp 1582ac27a0ecSDave Kleikamp out_fail: 1583ac27a0ecSDave Kleikamp redirty_page_for_writepage(wbc, page); 1584ac27a0ecSDave Kleikamp unlock_page(page); 1585ac27a0ecSDave Kleikamp return ret; 1586ac27a0ecSDave Kleikamp } 1587ac27a0ecSDave Kleikamp 1588617ba13bSMingming Cao static int ext4_writeback_writepage(struct page *page, 1589ac27a0ecSDave Kleikamp struct writeback_control *wbc) 1590ac27a0ecSDave Kleikamp { 1591ac27a0ecSDave Kleikamp struct inode *inode = page->mapping->host; 1592ac27a0ecSDave Kleikamp handle_t *handle = NULL; 1593ac27a0ecSDave Kleikamp int ret = 0; 1594ac27a0ecSDave Kleikamp int err; 1595ac27a0ecSDave Kleikamp 1596617ba13bSMingming Cao if (ext4_journal_current_handle()) 1597ac27a0ecSDave Kleikamp goto out_fail; 1598ac27a0ecSDave Kleikamp 1599617ba13bSMingming Cao handle = ext4_journal_start(inode, ext4_writepage_trans_blocks(inode)); 1600ac27a0ecSDave Kleikamp if (IS_ERR(handle)) { 1601ac27a0ecSDave Kleikamp ret = PTR_ERR(handle); 1602ac27a0ecSDave Kleikamp goto out_fail; 1603ac27a0ecSDave Kleikamp } 1604ac27a0ecSDave Kleikamp 1605617ba13bSMingming Cao if (test_opt(inode->i_sb, NOBH) && ext4_should_writeback_data(inode)) 1606617ba13bSMingming Cao ret = nobh_writepage(page, ext4_get_block, wbc); 1607ac27a0ecSDave Kleikamp else 1608617ba13bSMingming Cao ret = block_write_full_page(page, ext4_get_block, wbc); 1609ac27a0ecSDave Kleikamp 1610617ba13bSMingming Cao err = ext4_journal_stop(handle); 1611ac27a0ecSDave Kleikamp if (!ret) 1612ac27a0ecSDave Kleikamp ret = err; 1613ac27a0ecSDave Kleikamp return ret; 1614ac27a0ecSDave Kleikamp 1615ac27a0ecSDave Kleikamp out_fail: 1616ac27a0ecSDave Kleikamp redirty_page_for_writepage(wbc, page); 1617ac27a0ecSDave Kleikamp unlock_page(page); 1618ac27a0ecSDave Kleikamp return ret; 1619ac27a0ecSDave Kleikamp } 1620ac27a0ecSDave Kleikamp 1621617ba13bSMingming Cao static int ext4_journalled_writepage(struct page *page, 1622ac27a0ecSDave Kleikamp struct writeback_control *wbc) 1623ac27a0ecSDave Kleikamp { 1624ac27a0ecSDave Kleikamp struct inode *inode = page->mapping->host; 1625ac27a0ecSDave Kleikamp handle_t *handle = NULL; 1626ac27a0ecSDave Kleikamp int ret = 0; 1627ac27a0ecSDave Kleikamp int err; 1628ac27a0ecSDave Kleikamp 1629617ba13bSMingming Cao if (ext4_journal_current_handle()) 1630ac27a0ecSDave Kleikamp goto no_write; 1631ac27a0ecSDave Kleikamp 1632617ba13bSMingming Cao handle = ext4_journal_start(inode, ext4_writepage_trans_blocks(inode)); 1633ac27a0ecSDave Kleikamp if (IS_ERR(handle)) { 1634ac27a0ecSDave Kleikamp ret = PTR_ERR(handle); 1635ac27a0ecSDave Kleikamp goto no_write; 1636ac27a0ecSDave Kleikamp } 1637ac27a0ecSDave Kleikamp 1638ac27a0ecSDave Kleikamp if (!page_has_buffers(page) || PageChecked(page)) { 1639ac27a0ecSDave Kleikamp /* 1640ac27a0ecSDave Kleikamp * It's mmapped pagecache. Add buffers and journal it. There 1641ac27a0ecSDave Kleikamp * doesn't seem much point in redirtying the page here. 1642ac27a0ecSDave Kleikamp */ 1643ac27a0ecSDave Kleikamp ClearPageChecked(page); 1644ac27a0ecSDave Kleikamp ret = block_prepare_write(page, 0, PAGE_CACHE_SIZE, 1645617ba13bSMingming Cao ext4_get_block); 1646ac27a0ecSDave Kleikamp if (ret != 0) { 1647617ba13bSMingming Cao ext4_journal_stop(handle); 1648ac27a0ecSDave Kleikamp goto out_unlock; 1649ac27a0ecSDave Kleikamp } 1650ac27a0ecSDave Kleikamp ret = walk_page_buffers(handle, page_buffers(page), 0, 1651ac27a0ecSDave Kleikamp PAGE_CACHE_SIZE, NULL, do_journal_get_write_access); 1652ac27a0ecSDave Kleikamp 1653ac27a0ecSDave Kleikamp err = walk_page_buffers(handle, page_buffers(page), 0, 1654bfc1af65SNick Piggin PAGE_CACHE_SIZE, NULL, write_end_fn); 1655ac27a0ecSDave Kleikamp if (ret == 0) 1656ac27a0ecSDave Kleikamp ret = err; 1657617ba13bSMingming Cao EXT4_I(inode)->i_state |= EXT4_STATE_JDATA; 1658ac27a0ecSDave Kleikamp unlock_page(page); 1659ac27a0ecSDave Kleikamp } else { 1660ac27a0ecSDave Kleikamp /* 1661ac27a0ecSDave Kleikamp * It may be a page full of checkpoint-mode buffers. We don't 1662ac27a0ecSDave Kleikamp * really know unless we go poke around in the buffer_heads. 1663ac27a0ecSDave Kleikamp * But block_write_full_page will do the right thing. 1664ac27a0ecSDave Kleikamp */ 1665617ba13bSMingming Cao ret = block_write_full_page(page, ext4_get_block, wbc); 1666ac27a0ecSDave Kleikamp } 1667617ba13bSMingming Cao err = ext4_journal_stop(handle); 1668ac27a0ecSDave Kleikamp if (!ret) 1669ac27a0ecSDave Kleikamp ret = err; 1670ac27a0ecSDave Kleikamp out: 1671ac27a0ecSDave Kleikamp return ret; 1672ac27a0ecSDave Kleikamp 1673ac27a0ecSDave Kleikamp no_write: 1674ac27a0ecSDave Kleikamp redirty_page_for_writepage(wbc, page); 1675ac27a0ecSDave Kleikamp out_unlock: 1676ac27a0ecSDave Kleikamp unlock_page(page); 1677ac27a0ecSDave Kleikamp goto out; 1678ac27a0ecSDave Kleikamp } 1679ac27a0ecSDave Kleikamp 1680617ba13bSMingming Cao static int ext4_readpage(struct file *file, struct page *page) 1681ac27a0ecSDave Kleikamp { 1682617ba13bSMingming Cao return mpage_readpage(page, ext4_get_block); 1683ac27a0ecSDave Kleikamp } 1684ac27a0ecSDave Kleikamp 1685ac27a0ecSDave Kleikamp static int 1686617ba13bSMingming Cao ext4_readpages(struct file *file, struct address_space *mapping, 1687ac27a0ecSDave Kleikamp struct list_head *pages, unsigned nr_pages) 1688ac27a0ecSDave Kleikamp { 1689617ba13bSMingming Cao return mpage_readpages(mapping, pages, nr_pages, ext4_get_block); 1690ac27a0ecSDave Kleikamp } 1691ac27a0ecSDave Kleikamp 1692617ba13bSMingming Cao static void ext4_invalidatepage(struct page *page, unsigned long offset) 1693ac27a0ecSDave Kleikamp { 1694617ba13bSMingming Cao journal_t *journal = EXT4_JOURNAL(page->mapping->host); 1695ac27a0ecSDave Kleikamp 1696ac27a0ecSDave Kleikamp /* 1697ac27a0ecSDave Kleikamp * If it's a full truncate we just forget about the pending dirtying 1698ac27a0ecSDave Kleikamp */ 1699ac27a0ecSDave Kleikamp if (offset == 0) 1700ac27a0ecSDave Kleikamp ClearPageChecked(page); 1701ac27a0ecSDave Kleikamp 1702dab291afSMingming Cao jbd2_journal_invalidatepage(journal, page, offset); 1703ac27a0ecSDave Kleikamp } 1704ac27a0ecSDave Kleikamp 1705617ba13bSMingming Cao static int ext4_releasepage(struct page *page, gfp_t wait) 1706ac27a0ecSDave Kleikamp { 1707617ba13bSMingming Cao journal_t *journal = EXT4_JOURNAL(page->mapping->host); 1708ac27a0ecSDave Kleikamp 1709ac27a0ecSDave Kleikamp WARN_ON(PageChecked(page)); 1710ac27a0ecSDave Kleikamp if (!page_has_buffers(page)) 1711ac27a0ecSDave Kleikamp return 0; 1712dab291afSMingming Cao return jbd2_journal_try_to_free_buffers(journal, page, wait); 1713ac27a0ecSDave Kleikamp } 1714ac27a0ecSDave Kleikamp 1715ac27a0ecSDave Kleikamp /* 1716ac27a0ecSDave Kleikamp * If the O_DIRECT write will extend the file then add this inode to the 1717ac27a0ecSDave Kleikamp * orphan list. So recovery will truncate it back to the original size 1718ac27a0ecSDave Kleikamp * if the machine crashes during the write. 1719ac27a0ecSDave Kleikamp * 1720ac27a0ecSDave Kleikamp * If the O_DIRECT write is intantiating holes inside i_size and the machine 17217fb5409dSJan Kara * crashes then stale disk data _may_ be exposed inside the file. But current 17227fb5409dSJan Kara * VFS code falls back into buffered path in that case so we are safe. 1723ac27a0ecSDave Kleikamp */ 1724617ba13bSMingming Cao static ssize_t ext4_direct_IO(int rw, struct kiocb *iocb, 1725ac27a0ecSDave Kleikamp const struct iovec *iov, loff_t offset, 1726ac27a0ecSDave Kleikamp unsigned long nr_segs) 1727ac27a0ecSDave Kleikamp { 1728ac27a0ecSDave Kleikamp struct file *file = iocb->ki_filp; 1729ac27a0ecSDave Kleikamp struct inode *inode = file->f_mapping->host; 1730617ba13bSMingming Cao struct ext4_inode_info *ei = EXT4_I(inode); 17317fb5409dSJan Kara handle_t *handle; 1732ac27a0ecSDave Kleikamp ssize_t ret; 1733ac27a0ecSDave Kleikamp int orphan = 0; 1734ac27a0ecSDave Kleikamp size_t count = iov_length(iov, nr_segs); 1735ac27a0ecSDave Kleikamp 1736ac27a0ecSDave Kleikamp if (rw == WRITE) { 1737ac27a0ecSDave Kleikamp loff_t final_size = offset + count; 1738ac27a0ecSDave Kleikamp 17397fb5409dSJan Kara if (final_size > inode->i_size) { 17407fb5409dSJan Kara /* Credits for sb + inode write */ 17417fb5409dSJan Kara handle = ext4_journal_start(inode, 2); 1742ac27a0ecSDave Kleikamp if (IS_ERR(handle)) { 1743ac27a0ecSDave Kleikamp ret = PTR_ERR(handle); 1744ac27a0ecSDave Kleikamp goto out; 1745ac27a0ecSDave Kleikamp } 1746617ba13bSMingming Cao ret = ext4_orphan_add(handle, inode); 17477fb5409dSJan Kara if (ret) { 17487fb5409dSJan Kara ext4_journal_stop(handle); 17497fb5409dSJan Kara goto out; 17507fb5409dSJan Kara } 1751ac27a0ecSDave Kleikamp orphan = 1; 1752ac27a0ecSDave Kleikamp ei->i_disksize = inode->i_size; 17537fb5409dSJan Kara ext4_journal_stop(handle); 1754ac27a0ecSDave Kleikamp } 1755ac27a0ecSDave Kleikamp } 1756ac27a0ecSDave Kleikamp 1757ac27a0ecSDave Kleikamp ret = blockdev_direct_IO(rw, iocb, inode, inode->i_sb->s_bdev, iov, 1758ac27a0ecSDave Kleikamp offset, nr_segs, 1759617ba13bSMingming Cao ext4_get_block, NULL); 1760ac27a0ecSDave Kleikamp 17617fb5409dSJan Kara if (orphan) { 1762ac27a0ecSDave Kleikamp int err; 1763ac27a0ecSDave Kleikamp 17647fb5409dSJan Kara /* Credits for sb + inode write */ 17657fb5409dSJan Kara handle = ext4_journal_start(inode, 2); 17667fb5409dSJan Kara if (IS_ERR(handle)) { 17677fb5409dSJan Kara /* This is really bad luck. We've written the data 17687fb5409dSJan Kara * but cannot extend i_size. Bail out and pretend 17697fb5409dSJan Kara * the write failed... */ 17707fb5409dSJan Kara ret = PTR_ERR(handle); 17717fb5409dSJan Kara goto out; 17727fb5409dSJan Kara } 17737fb5409dSJan Kara if (inode->i_nlink) 1774617ba13bSMingming Cao ext4_orphan_del(handle, inode); 17757fb5409dSJan Kara if (ret > 0) { 1776ac27a0ecSDave Kleikamp loff_t end = offset + ret; 1777ac27a0ecSDave Kleikamp if (end > inode->i_size) { 1778ac27a0ecSDave Kleikamp ei->i_disksize = end; 1779ac27a0ecSDave Kleikamp i_size_write(inode, end); 1780ac27a0ecSDave Kleikamp /* 1781ac27a0ecSDave Kleikamp * We're going to return a positive `ret' 1782ac27a0ecSDave Kleikamp * here due to non-zero-length I/O, so there's 1783ac27a0ecSDave Kleikamp * no way of reporting error returns from 1784617ba13bSMingming Cao * ext4_mark_inode_dirty() to userspace. So 1785ac27a0ecSDave Kleikamp * ignore it. 1786ac27a0ecSDave Kleikamp */ 1787617ba13bSMingming Cao ext4_mark_inode_dirty(handle, inode); 1788ac27a0ecSDave Kleikamp } 1789ac27a0ecSDave Kleikamp } 1790617ba13bSMingming Cao err = ext4_journal_stop(handle); 1791ac27a0ecSDave Kleikamp if (ret == 0) 1792ac27a0ecSDave Kleikamp ret = err; 1793ac27a0ecSDave Kleikamp } 1794ac27a0ecSDave Kleikamp out: 1795ac27a0ecSDave Kleikamp return ret; 1796ac27a0ecSDave Kleikamp } 1797ac27a0ecSDave Kleikamp 1798ac27a0ecSDave Kleikamp /* 1799617ba13bSMingming Cao * Pages can be marked dirty completely asynchronously from ext4's journalling 1800ac27a0ecSDave Kleikamp * activity. By filemap_sync_pte(), try_to_unmap_one(), etc. We cannot do 1801ac27a0ecSDave Kleikamp * much here because ->set_page_dirty is called under VFS locks. The page is 1802ac27a0ecSDave Kleikamp * not necessarily locked. 1803ac27a0ecSDave Kleikamp * 1804ac27a0ecSDave Kleikamp * We cannot just dirty the page and leave attached buffers clean, because the 1805ac27a0ecSDave Kleikamp * buffers' dirty state is "definitive". We cannot just set the buffers dirty 1806ac27a0ecSDave Kleikamp * or jbddirty because all the journalling code will explode. 1807ac27a0ecSDave Kleikamp * 1808ac27a0ecSDave Kleikamp * So what we do is to mark the page "pending dirty" and next time writepage 1809ac27a0ecSDave Kleikamp * is called, propagate that into the buffers appropriately. 1810ac27a0ecSDave Kleikamp */ 1811617ba13bSMingming Cao static int ext4_journalled_set_page_dirty(struct page *page) 1812ac27a0ecSDave Kleikamp { 1813ac27a0ecSDave Kleikamp SetPageChecked(page); 1814ac27a0ecSDave Kleikamp return __set_page_dirty_nobuffers(page); 1815ac27a0ecSDave Kleikamp } 1816ac27a0ecSDave Kleikamp 1817617ba13bSMingming Cao static const struct address_space_operations ext4_ordered_aops = { 1818617ba13bSMingming Cao .readpage = ext4_readpage, 1819617ba13bSMingming Cao .readpages = ext4_readpages, 1820617ba13bSMingming Cao .writepage = ext4_ordered_writepage, 1821ac27a0ecSDave Kleikamp .sync_page = block_sync_page, 1822bfc1af65SNick Piggin .write_begin = ext4_write_begin, 1823bfc1af65SNick Piggin .write_end = ext4_ordered_write_end, 1824617ba13bSMingming Cao .bmap = ext4_bmap, 1825617ba13bSMingming Cao .invalidatepage = ext4_invalidatepage, 1826617ba13bSMingming Cao .releasepage = ext4_releasepage, 1827617ba13bSMingming Cao .direct_IO = ext4_direct_IO, 1828ac27a0ecSDave Kleikamp .migratepage = buffer_migrate_page, 1829ac27a0ecSDave Kleikamp }; 1830ac27a0ecSDave Kleikamp 1831617ba13bSMingming Cao static const struct address_space_operations ext4_writeback_aops = { 1832617ba13bSMingming Cao .readpage = ext4_readpage, 1833617ba13bSMingming Cao .readpages = ext4_readpages, 1834617ba13bSMingming Cao .writepage = ext4_writeback_writepage, 1835ac27a0ecSDave Kleikamp .sync_page = block_sync_page, 1836bfc1af65SNick Piggin .write_begin = ext4_write_begin, 1837bfc1af65SNick Piggin .write_end = ext4_writeback_write_end, 1838617ba13bSMingming Cao .bmap = ext4_bmap, 1839617ba13bSMingming Cao .invalidatepage = ext4_invalidatepage, 1840617ba13bSMingming Cao .releasepage = ext4_releasepage, 1841617ba13bSMingming Cao .direct_IO = ext4_direct_IO, 1842ac27a0ecSDave Kleikamp .migratepage = buffer_migrate_page, 1843ac27a0ecSDave Kleikamp }; 1844ac27a0ecSDave Kleikamp 1845617ba13bSMingming Cao static const struct address_space_operations ext4_journalled_aops = { 1846617ba13bSMingming Cao .readpage = ext4_readpage, 1847617ba13bSMingming Cao .readpages = ext4_readpages, 1848617ba13bSMingming Cao .writepage = ext4_journalled_writepage, 1849ac27a0ecSDave Kleikamp .sync_page = block_sync_page, 1850bfc1af65SNick Piggin .write_begin = ext4_write_begin, 1851bfc1af65SNick Piggin .write_end = ext4_journalled_write_end, 1852617ba13bSMingming Cao .set_page_dirty = ext4_journalled_set_page_dirty, 1853617ba13bSMingming Cao .bmap = ext4_bmap, 1854617ba13bSMingming Cao .invalidatepage = ext4_invalidatepage, 1855617ba13bSMingming Cao .releasepage = ext4_releasepage, 1856ac27a0ecSDave Kleikamp }; 1857ac27a0ecSDave Kleikamp 1858617ba13bSMingming Cao void ext4_set_aops(struct inode *inode) 1859ac27a0ecSDave Kleikamp { 1860617ba13bSMingming Cao if (ext4_should_order_data(inode)) 1861617ba13bSMingming Cao inode->i_mapping->a_ops = &ext4_ordered_aops; 1862617ba13bSMingming Cao else if (ext4_should_writeback_data(inode)) 1863617ba13bSMingming Cao inode->i_mapping->a_ops = &ext4_writeback_aops; 1864ac27a0ecSDave Kleikamp else 1865617ba13bSMingming Cao inode->i_mapping->a_ops = &ext4_journalled_aops; 1866ac27a0ecSDave Kleikamp } 1867ac27a0ecSDave Kleikamp 1868ac27a0ecSDave Kleikamp /* 1869617ba13bSMingming Cao * ext4_block_truncate_page() zeroes out a mapping from file offset `from' 1870ac27a0ecSDave Kleikamp * up to the end of the block which corresponds to `from'. 1871ac27a0ecSDave Kleikamp * This required during truncate. We need to physically zero the tail end 1872ac27a0ecSDave Kleikamp * of that block so it doesn't yield old data if the file is later grown. 1873ac27a0ecSDave Kleikamp */ 1874a86c6181SAlex Tomas int ext4_block_truncate_page(handle_t *handle, struct page *page, 1875ac27a0ecSDave Kleikamp struct address_space *mapping, loff_t from) 1876ac27a0ecSDave Kleikamp { 1877617ba13bSMingming Cao ext4_fsblk_t index = from >> PAGE_CACHE_SHIFT; 1878ac27a0ecSDave Kleikamp unsigned offset = from & (PAGE_CACHE_SIZE-1); 1879725d26d3SAneesh Kumar K.V unsigned blocksize, length, pos; 1880725d26d3SAneesh Kumar K.V ext4_lblk_t iblock; 1881ac27a0ecSDave Kleikamp struct inode *inode = mapping->host; 1882ac27a0ecSDave Kleikamp struct buffer_head *bh; 1883ac27a0ecSDave Kleikamp int err = 0; 1884ac27a0ecSDave Kleikamp 1885ac27a0ecSDave Kleikamp blocksize = inode->i_sb->s_blocksize; 1886ac27a0ecSDave Kleikamp length = blocksize - (offset & (blocksize - 1)); 1887ac27a0ecSDave Kleikamp iblock = index << (PAGE_CACHE_SHIFT - inode->i_sb->s_blocksize_bits); 1888ac27a0ecSDave Kleikamp 1889ac27a0ecSDave Kleikamp /* 1890ac27a0ecSDave Kleikamp * For "nobh" option, we can only work if we don't need to 1891ac27a0ecSDave Kleikamp * read-in the page - otherwise we create buffers to do the IO. 1892ac27a0ecSDave Kleikamp */ 1893ac27a0ecSDave Kleikamp if (!page_has_buffers(page) && test_opt(inode->i_sb, NOBH) && 1894617ba13bSMingming Cao ext4_should_writeback_data(inode) && PageUptodate(page)) { 1895eebd2aa3SChristoph Lameter zero_user(page, offset, length); 1896ac27a0ecSDave Kleikamp set_page_dirty(page); 1897ac27a0ecSDave Kleikamp goto unlock; 1898ac27a0ecSDave Kleikamp } 1899ac27a0ecSDave Kleikamp 1900ac27a0ecSDave Kleikamp if (!page_has_buffers(page)) 1901ac27a0ecSDave Kleikamp create_empty_buffers(page, blocksize, 0); 1902ac27a0ecSDave Kleikamp 1903ac27a0ecSDave Kleikamp /* Find the buffer that contains "offset" */ 1904ac27a0ecSDave Kleikamp bh = page_buffers(page); 1905ac27a0ecSDave Kleikamp pos = blocksize; 1906ac27a0ecSDave Kleikamp while (offset >= pos) { 1907ac27a0ecSDave Kleikamp bh = bh->b_this_page; 1908ac27a0ecSDave Kleikamp iblock++; 1909ac27a0ecSDave Kleikamp pos += blocksize; 1910ac27a0ecSDave Kleikamp } 1911ac27a0ecSDave Kleikamp 1912ac27a0ecSDave Kleikamp err = 0; 1913ac27a0ecSDave Kleikamp if (buffer_freed(bh)) { 1914ac27a0ecSDave Kleikamp BUFFER_TRACE(bh, "freed: skip"); 1915ac27a0ecSDave Kleikamp goto unlock; 1916ac27a0ecSDave Kleikamp } 1917ac27a0ecSDave Kleikamp 1918ac27a0ecSDave Kleikamp if (!buffer_mapped(bh)) { 1919ac27a0ecSDave Kleikamp BUFFER_TRACE(bh, "unmapped"); 1920617ba13bSMingming Cao ext4_get_block(inode, iblock, bh, 0); 1921ac27a0ecSDave Kleikamp /* unmapped? It's a hole - nothing to do */ 1922ac27a0ecSDave Kleikamp if (!buffer_mapped(bh)) { 1923ac27a0ecSDave Kleikamp BUFFER_TRACE(bh, "still unmapped"); 1924ac27a0ecSDave Kleikamp goto unlock; 1925ac27a0ecSDave Kleikamp } 1926ac27a0ecSDave Kleikamp } 1927ac27a0ecSDave Kleikamp 1928ac27a0ecSDave Kleikamp /* Ok, it's mapped. Make sure it's up-to-date */ 1929ac27a0ecSDave Kleikamp if (PageUptodate(page)) 1930ac27a0ecSDave Kleikamp set_buffer_uptodate(bh); 1931ac27a0ecSDave Kleikamp 1932ac27a0ecSDave Kleikamp if (!buffer_uptodate(bh)) { 1933ac27a0ecSDave Kleikamp err = -EIO; 1934ac27a0ecSDave Kleikamp ll_rw_block(READ, 1, &bh); 1935ac27a0ecSDave Kleikamp wait_on_buffer(bh); 1936ac27a0ecSDave Kleikamp /* Uhhuh. Read error. Complain and punt. */ 1937ac27a0ecSDave Kleikamp if (!buffer_uptodate(bh)) 1938ac27a0ecSDave Kleikamp goto unlock; 1939ac27a0ecSDave Kleikamp } 1940ac27a0ecSDave Kleikamp 1941617ba13bSMingming Cao if (ext4_should_journal_data(inode)) { 1942ac27a0ecSDave Kleikamp BUFFER_TRACE(bh, "get write access"); 1943617ba13bSMingming Cao err = ext4_journal_get_write_access(handle, bh); 1944ac27a0ecSDave Kleikamp if (err) 1945ac27a0ecSDave Kleikamp goto unlock; 1946ac27a0ecSDave Kleikamp } 1947ac27a0ecSDave Kleikamp 1948eebd2aa3SChristoph Lameter zero_user(page, offset, length); 1949ac27a0ecSDave Kleikamp 1950ac27a0ecSDave Kleikamp BUFFER_TRACE(bh, "zeroed end of block"); 1951ac27a0ecSDave Kleikamp 1952ac27a0ecSDave Kleikamp err = 0; 1953617ba13bSMingming Cao if (ext4_should_journal_data(inode)) { 1954617ba13bSMingming Cao err = ext4_journal_dirty_metadata(handle, bh); 1955ac27a0ecSDave Kleikamp } else { 1956617ba13bSMingming Cao if (ext4_should_order_data(inode)) 1957617ba13bSMingming Cao err = ext4_journal_dirty_data(handle, bh); 1958ac27a0ecSDave Kleikamp mark_buffer_dirty(bh); 1959ac27a0ecSDave Kleikamp } 1960ac27a0ecSDave Kleikamp 1961ac27a0ecSDave Kleikamp unlock: 1962ac27a0ecSDave Kleikamp unlock_page(page); 1963ac27a0ecSDave Kleikamp page_cache_release(page); 1964ac27a0ecSDave Kleikamp return err; 1965ac27a0ecSDave Kleikamp } 1966ac27a0ecSDave Kleikamp 1967ac27a0ecSDave Kleikamp /* 1968ac27a0ecSDave Kleikamp * Probably it should be a library function... search for first non-zero word 1969ac27a0ecSDave Kleikamp * or memcmp with zero_page, whatever is better for particular architecture. 1970ac27a0ecSDave Kleikamp * Linus? 1971ac27a0ecSDave Kleikamp */ 1972ac27a0ecSDave Kleikamp static inline int all_zeroes(__le32 *p, __le32 *q) 1973ac27a0ecSDave Kleikamp { 1974ac27a0ecSDave Kleikamp while (p < q) 1975ac27a0ecSDave Kleikamp if (*p++) 1976ac27a0ecSDave Kleikamp return 0; 1977ac27a0ecSDave Kleikamp return 1; 1978ac27a0ecSDave Kleikamp } 1979ac27a0ecSDave Kleikamp 1980ac27a0ecSDave Kleikamp /** 1981617ba13bSMingming Cao * ext4_find_shared - find the indirect blocks for partial truncation. 1982ac27a0ecSDave Kleikamp * @inode: inode in question 1983ac27a0ecSDave Kleikamp * @depth: depth of the affected branch 1984617ba13bSMingming Cao * @offsets: offsets of pointers in that branch (see ext4_block_to_path) 1985ac27a0ecSDave Kleikamp * @chain: place to store the pointers to partial indirect blocks 1986ac27a0ecSDave Kleikamp * @top: place to the (detached) top of branch 1987ac27a0ecSDave Kleikamp * 1988617ba13bSMingming Cao * This is a helper function used by ext4_truncate(). 1989ac27a0ecSDave Kleikamp * 1990ac27a0ecSDave Kleikamp * When we do truncate() we may have to clean the ends of several 1991ac27a0ecSDave Kleikamp * indirect blocks but leave the blocks themselves alive. Block is 1992ac27a0ecSDave Kleikamp * partially truncated if some data below the new i_size is refered 1993ac27a0ecSDave Kleikamp * from it (and it is on the path to the first completely truncated 1994ac27a0ecSDave Kleikamp * data block, indeed). We have to free the top of that path along 1995ac27a0ecSDave Kleikamp * with everything to the right of the path. Since no allocation 1996617ba13bSMingming Cao * past the truncation point is possible until ext4_truncate() 1997ac27a0ecSDave Kleikamp * finishes, we may safely do the latter, but top of branch may 1998ac27a0ecSDave Kleikamp * require special attention - pageout below the truncation point 1999ac27a0ecSDave Kleikamp * might try to populate it. 2000ac27a0ecSDave Kleikamp * 2001ac27a0ecSDave Kleikamp * We atomically detach the top of branch from the tree, store the 2002ac27a0ecSDave Kleikamp * block number of its root in *@top, pointers to buffer_heads of 2003ac27a0ecSDave Kleikamp * partially truncated blocks - in @chain[].bh and pointers to 2004ac27a0ecSDave Kleikamp * their last elements that should not be removed - in 2005ac27a0ecSDave Kleikamp * @chain[].p. Return value is the pointer to last filled element 2006ac27a0ecSDave Kleikamp * of @chain. 2007ac27a0ecSDave Kleikamp * 2008ac27a0ecSDave Kleikamp * The work left to caller to do the actual freeing of subtrees: 2009ac27a0ecSDave Kleikamp * a) free the subtree starting from *@top 2010ac27a0ecSDave Kleikamp * b) free the subtrees whose roots are stored in 2011ac27a0ecSDave Kleikamp * (@chain[i].p+1 .. end of @chain[i].bh->b_data) 2012ac27a0ecSDave Kleikamp * c) free the subtrees growing from the inode past the @chain[0]. 2013ac27a0ecSDave Kleikamp * (no partially truncated stuff there). */ 2014ac27a0ecSDave Kleikamp 2015617ba13bSMingming Cao static Indirect *ext4_find_shared(struct inode *inode, int depth, 2016725d26d3SAneesh Kumar K.V ext4_lblk_t offsets[4], Indirect chain[4], __le32 *top) 2017ac27a0ecSDave Kleikamp { 2018ac27a0ecSDave Kleikamp Indirect *partial, *p; 2019ac27a0ecSDave Kleikamp int k, err; 2020ac27a0ecSDave Kleikamp 2021ac27a0ecSDave Kleikamp *top = 0; 2022ac27a0ecSDave Kleikamp /* Make k index the deepest non-null offest + 1 */ 2023ac27a0ecSDave Kleikamp for (k = depth; k > 1 && !offsets[k-1]; k--) 2024ac27a0ecSDave Kleikamp ; 2025617ba13bSMingming Cao partial = ext4_get_branch(inode, k, offsets, chain, &err); 2026ac27a0ecSDave Kleikamp /* Writer: pointers */ 2027ac27a0ecSDave Kleikamp if (!partial) 2028ac27a0ecSDave Kleikamp partial = chain + k-1; 2029ac27a0ecSDave Kleikamp /* 2030ac27a0ecSDave Kleikamp * If the branch acquired continuation since we've looked at it - 2031ac27a0ecSDave Kleikamp * fine, it should all survive and (new) top doesn't belong to us. 2032ac27a0ecSDave Kleikamp */ 2033ac27a0ecSDave Kleikamp if (!partial->key && *partial->p) 2034ac27a0ecSDave Kleikamp /* Writer: end */ 2035ac27a0ecSDave Kleikamp goto no_top; 2036ac27a0ecSDave Kleikamp for (p=partial; p>chain && all_zeroes((__le32*)p->bh->b_data,p->p); p--) 2037ac27a0ecSDave Kleikamp ; 2038ac27a0ecSDave Kleikamp /* 2039ac27a0ecSDave Kleikamp * OK, we've found the last block that must survive. The rest of our 2040ac27a0ecSDave Kleikamp * branch should be detached before unlocking. However, if that rest 2041ac27a0ecSDave Kleikamp * of branch is all ours and does not grow immediately from the inode 2042ac27a0ecSDave Kleikamp * it's easier to cheat and just decrement partial->p. 2043ac27a0ecSDave Kleikamp */ 2044ac27a0ecSDave Kleikamp if (p == chain + k - 1 && p > chain) { 2045ac27a0ecSDave Kleikamp p->p--; 2046ac27a0ecSDave Kleikamp } else { 2047ac27a0ecSDave Kleikamp *top = *p->p; 2048617ba13bSMingming Cao /* Nope, don't do this in ext4. Must leave the tree intact */ 2049ac27a0ecSDave Kleikamp #if 0 2050ac27a0ecSDave Kleikamp *p->p = 0; 2051ac27a0ecSDave Kleikamp #endif 2052ac27a0ecSDave Kleikamp } 2053ac27a0ecSDave Kleikamp /* Writer: end */ 2054ac27a0ecSDave Kleikamp 2055ac27a0ecSDave Kleikamp while(partial > p) { 2056ac27a0ecSDave Kleikamp brelse(partial->bh); 2057ac27a0ecSDave Kleikamp partial--; 2058ac27a0ecSDave Kleikamp } 2059ac27a0ecSDave Kleikamp no_top: 2060ac27a0ecSDave Kleikamp return partial; 2061ac27a0ecSDave Kleikamp } 2062ac27a0ecSDave Kleikamp 2063ac27a0ecSDave Kleikamp /* 2064ac27a0ecSDave Kleikamp * Zero a number of block pointers in either an inode or an indirect block. 2065ac27a0ecSDave Kleikamp * If we restart the transaction we must again get write access to the 2066ac27a0ecSDave Kleikamp * indirect block for further modification. 2067ac27a0ecSDave Kleikamp * 2068ac27a0ecSDave Kleikamp * We release `count' blocks on disk, but (last - first) may be greater 2069ac27a0ecSDave Kleikamp * than `count' because there can be holes in there. 2070ac27a0ecSDave Kleikamp */ 2071617ba13bSMingming Cao static void ext4_clear_blocks(handle_t *handle, struct inode *inode, 2072617ba13bSMingming Cao struct buffer_head *bh, ext4_fsblk_t block_to_free, 2073ac27a0ecSDave Kleikamp unsigned long count, __le32 *first, __le32 *last) 2074ac27a0ecSDave Kleikamp { 2075ac27a0ecSDave Kleikamp __le32 *p; 2076ac27a0ecSDave Kleikamp if (try_to_extend_transaction(handle, inode)) { 2077ac27a0ecSDave Kleikamp if (bh) { 2078617ba13bSMingming Cao BUFFER_TRACE(bh, "call ext4_journal_dirty_metadata"); 2079617ba13bSMingming Cao ext4_journal_dirty_metadata(handle, bh); 2080ac27a0ecSDave Kleikamp } 2081617ba13bSMingming Cao ext4_mark_inode_dirty(handle, inode); 2082617ba13bSMingming Cao ext4_journal_test_restart(handle, inode); 2083ac27a0ecSDave Kleikamp if (bh) { 2084ac27a0ecSDave Kleikamp BUFFER_TRACE(bh, "retaking write access"); 2085617ba13bSMingming Cao ext4_journal_get_write_access(handle, bh); 2086ac27a0ecSDave Kleikamp } 2087ac27a0ecSDave Kleikamp } 2088ac27a0ecSDave Kleikamp 2089ac27a0ecSDave Kleikamp /* 2090ac27a0ecSDave Kleikamp * Any buffers which are on the journal will be in memory. We find 2091dab291afSMingming Cao * them on the hash table so jbd2_journal_revoke() will run jbd2_journal_forget() 2092ac27a0ecSDave Kleikamp * on them. We've already detached each block from the file, so 2093dab291afSMingming Cao * bforget() in jbd2_journal_forget() should be safe. 2094ac27a0ecSDave Kleikamp * 2095dab291afSMingming Cao * AKPM: turn on bforget in jbd2_journal_forget()!!! 2096ac27a0ecSDave Kleikamp */ 2097ac27a0ecSDave Kleikamp for (p = first; p < last; p++) { 2098ac27a0ecSDave Kleikamp u32 nr = le32_to_cpu(*p); 2099ac27a0ecSDave Kleikamp if (nr) { 21001d03ec98SAneesh Kumar K.V struct buffer_head *tbh; 2101ac27a0ecSDave Kleikamp 2102ac27a0ecSDave Kleikamp *p = 0; 21031d03ec98SAneesh Kumar K.V tbh = sb_find_get_block(inode->i_sb, nr); 21041d03ec98SAneesh Kumar K.V ext4_forget(handle, 0, inode, tbh, nr); 2105ac27a0ecSDave Kleikamp } 2106ac27a0ecSDave Kleikamp } 2107ac27a0ecSDave Kleikamp 2108c9de560dSAlex Tomas ext4_free_blocks(handle, inode, block_to_free, count, 0); 2109ac27a0ecSDave Kleikamp } 2110ac27a0ecSDave Kleikamp 2111ac27a0ecSDave Kleikamp /** 2112617ba13bSMingming Cao * ext4_free_data - free a list of data blocks 2113ac27a0ecSDave Kleikamp * @handle: handle for this transaction 2114ac27a0ecSDave Kleikamp * @inode: inode we are dealing with 2115ac27a0ecSDave Kleikamp * @this_bh: indirect buffer_head which contains *@first and *@last 2116ac27a0ecSDave Kleikamp * @first: array of block numbers 2117ac27a0ecSDave Kleikamp * @last: points immediately past the end of array 2118ac27a0ecSDave Kleikamp * 2119ac27a0ecSDave Kleikamp * We are freeing all blocks refered from that array (numbers are stored as 2120ac27a0ecSDave Kleikamp * little-endian 32-bit) and updating @inode->i_blocks appropriately. 2121ac27a0ecSDave Kleikamp * 2122ac27a0ecSDave Kleikamp * We accumulate contiguous runs of blocks to free. Conveniently, if these 2123ac27a0ecSDave Kleikamp * blocks are contiguous then releasing them at one time will only affect one 2124ac27a0ecSDave Kleikamp * or two bitmap blocks (+ group descriptor(s) and superblock) and we won't 2125ac27a0ecSDave Kleikamp * actually use a lot of journal space. 2126ac27a0ecSDave Kleikamp * 2127ac27a0ecSDave Kleikamp * @this_bh will be %NULL if @first and @last point into the inode's direct 2128ac27a0ecSDave Kleikamp * block pointers. 2129ac27a0ecSDave Kleikamp */ 2130617ba13bSMingming Cao static void ext4_free_data(handle_t *handle, struct inode *inode, 2131ac27a0ecSDave Kleikamp struct buffer_head *this_bh, 2132ac27a0ecSDave Kleikamp __le32 *first, __le32 *last) 2133ac27a0ecSDave Kleikamp { 2134617ba13bSMingming Cao ext4_fsblk_t block_to_free = 0; /* Starting block # of a run */ 2135ac27a0ecSDave Kleikamp unsigned long count = 0; /* Number of blocks in the run */ 2136ac27a0ecSDave Kleikamp __le32 *block_to_free_p = NULL; /* Pointer into inode/ind 2137ac27a0ecSDave Kleikamp corresponding to 2138ac27a0ecSDave Kleikamp block_to_free */ 2139617ba13bSMingming Cao ext4_fsblk_t nr; /* Current block # */ 2140ac27a0ecSDave Kleikamp __le32 *p; /* Pointer into inode/ind 2141ac27a0ecSDave Kleikamp for current block */ 2142ac27a0ecSDave Kleikamp int err; 2143ac27a0ecSDave Kleikamp 2144ac27a0ecSDave Kleikamp if (this_bh) { /* For indirect block */ 2145ac27a0ecSDave Kleikamp BUFFER_TRACE(this_bh, "get_write_access"); 2146617ba13bSMingming Cao err = ext4_journal_get_write_access(handle, this_bh); 2147ac27a0ecSDave Kleikamp /* Important: if we can't update the indirect pointers 2148ac27a0ecSDave Kleikamp * to the blocks, we can't free them. */ 2149ac27a0ecSDave Kleikamp if (err) 2150ac27a0ecSDave Kleikamp return; 2151ac27a0ecSDave Kleikamp } 2152ac27a0ecSDave Kleikamp 2153ac27a0ecSDave Kleikamp for (p = first; p < last; p++) { 2154ac27a0ecSDave Kleikamp nr = le32_to_cpu(*p); 2155ac27a0ecSDave Kleikamp if (nr) { 2156ac27a0ecSDave Kleikamp /* accumulate blocks to free if they're contiguous */ 2157ac27a0ecSDave Kleikamp if (count == 0) { 2158ac27a0ecSDave Kleikamp block_to_free = nr; 2159ac27a0ecSDave Kleikamp block_to_free_p = p; 2160ac27a0ecSDave Kleikamp count = 1; 2161ac27a0ecSDave Kleikamp } else if (nr == block_to_free + count) { 2162ac27a0ecSDave Kleikamp count++; 2163ac27a0ecSDave Kleikamp } else { 2164617ba13bSMingming Cao ext4_clear_blocks(handle, inode, this_bh, 2165ac27a0ecSDave Kleikamp block_to_free, 2166ac27a0ecSDave Kleikamp count, block_to_free_p, p); 2167ac27a0ecSDave Kleikamp block_to_free = nr; 2168ac27a0ecSDave Kleikamp block_to_free_p = p; 2169ac27a0ecSDave Kleikamp count = 1; 2170ac27a0ecSDave Kleikamp } 2171ac27a0ecSDave Kleikamp } 2172ac27a0ecSDave Kleikamp } 2173ac27a0ecSDave Kleikamp 2174ac27a0ecSDave Kleikamp if (count > 0) 2175617ba13bSMingming Cao ext4_clear_blocks(handle, inode, this_bh, block_to_free, 2176ac27a0ecSDave Kleikamp count, block_to_free_p, p); 2177ac27a0ecSDave Kleikamp 2178ac27a0ecSDave Kleikamp if (this_bh) { 2179617ba13bSMingming Cao BUFFER_TRACE(this_bh, "call ext4_journal_dirty_metadata"); 2180617ba13bSMingming Cao ext4_journal_dirty_metadata(handle, this_bh); 2181ac27a0ecSDave Kleikamp } 2182ac27a0ecSDave Kleikamp } 2183ac27a0ecSDave Kleikamp 2184ac27a0ecSDave Kleikamp /** 2185617ba13bSMingming Cao * ext4_free_branches - free an array of branches 2186ac27a0ecSDave Kleikamp * @handle: JBD handle for this transaction 2187ac27a0ecSDave Kleikamp * @inode: inode we are dealing with 2188ac27a0ecSDave Kleikamp * @parent_bh: the buffer_head which contains *@first and *@last 2189ac27a0ecSDave Kleikamp * @first: array of block numbers 2190ac27a0ecSDave Kleikamp * @last: pointer immediately past the end of array 2191ac27a0ecSDave Kleikamp * @depth: depth of the branches to free 2192ac27a0ecSDave Kleikamp * 2193ac27a0ecSDave Kleikamp * We are freeing all blocks refered from these branches (numbers are 2194ac27a0ecSDave Kleikamp * stored as little-endian 32-bit) and updating @inode->i_blocks 2195ac27a0ecSDave Kleikamp * appropriately. 2196ac27a0ecSDave Kleikamp */ 2197617ba13bSMingming Cao static void ext4_free_branches(handle_t *handle, struct inode *inode, 2198ac27a0ecSDave Kleikamp struct buffer_head *parent_bh, 2199ac27a0ecSDave Kleikamp __le32 *first, __le32 *last, int depth) 2200ac27a0ecSDave Kleikamp { 2201617ba13bSMingming Cao ext4_fsblk_t nr; 2202ac27a0ecSDave Kleikamp __le32 *p; 2203ac27a0ecSDave Kleikamp 2204ac27a0ecSDave Kleikamp if (is_handle_aborted(handle)) 2205ac27a0ecSDave Kleikamp return; 2206ac27a0ecSDave Kleikamp 2207ac27a0ecSDave Kleikamp if (depth--) { 2208ac27a0ecSDave Kleikamp struct buffer_head *bh; 2209617ba13bSMingming Cao int addr_per_block = EXT4_ADDR_PER_BLOCK(inode->i_sb); 2210ac27a0ecSDave Kleikamp p = last; 2211ac27a0ecSDave Kleikamp while (--p >= first) { 2212ac27a0ecSDave Kleikamp nr = le32_to_cpu(*p); 2213ac27a0ecSDave Kleikamp if (!nr) 2214ac27a0ecSDave Kleikamp continue; /* A hole */ 2215ac27a0ecSDave Kleikamp 2216ac27a0ecSDave Kleikamp /* Go read the buffer for the next level down */ 2217ac27a0ecSDave Kleikamp bh = sb_bread(inode->i_sb, nr); 2218ac27a0ecSDave Kleikamp 2219ac27a0ecSDave Kleikamp /* 2220ac27a0ecSDave Kleikamp * A read failure? Report error and clear slot 2221ac27a0ecSDave Kleikamp * (should be rare). 2222ac27a0ecSDave Kleikamp */ 2223ac27a0ecSDave Kleikamp if (!bh) { 2224617ba13bSMingming Cao ext4_error(inode->i_sb, "ext4_free_branches", 22252ae02107SMingming Cao "Read failure, inode=%lu, block=%llu", 2226ac27a0ecSDave Kleikamp inode->i_ino, nr); 2227ac27a0ecSDave Kleikamp continue; 2228ac27a0ecSDave Kleikamp } 2229ac27a0ecSDave Kleikamp 2230ac27a0ecSDave Kleikamp /* This zaps the entire block. Bottom up. */ 2231ac27a0ecSDave Kleikamp BUFFER_TRACE(bh, "free child branches"); 2232617ba13bSMingming Cao ext4_free_branches(handle, inode, bh, 2233ac27a0ecSDave Kleikamp (__le32*)bh->b_data, 2234ac27a0ecSDave Kleikamp (__le32*)bh->b_data + addr_per_block, 2235ac27a0ecSDave Kleikamp depth); 2236ac27a0ecSDave Kleikamp 2237ac27a0ecSDave Kleikamp /* 2238ac27a0ecSDave Kleikamp * We've probably journalled the indirect block several 2239ac27a0ecSDave Kleikamp * times during the truncate. But it's no longer 2240ac27a0ecSDave Kleikamp * needed and we now drop it from the transaction via 2241dab291afSMingming Cao * jbd2_journal_revoke(). 2242ac27a0ecSDave Kleikamp * 2243ac27a0ecSDave Kleikamp * That's easy if it's exclusively part of this 2244ac27a0ecSDave Kleikamp * transaction. But if it's part of the committing 2245dab291afSMingming Cao * transaction then jbd2_journal_forget() will simply 2246ac27a0ecSDave Kleikamp * brelse() it. That means that if the underlying 2247617ba13bSMingming Cao * block is reallocated in ext4_get_block(), 2248ac27a0ecSDave Kleikamp * unmap_underlying_metadata() will find this block 2249ac27a0ecSDave Kleikamp * and will try to get rid of it. damn, damn. 2250ac27a0ecSDave Kleikamp * 2251ac27a0ecSDave Kleikamp * If this block has already been committed to the 2252ac27a0ecSDave Kleikamp * journal, a revoke record will be written. And 2253ac27a0ecSDave Kleikamp * revoke records must be emitted *before* clearing 2254ac27a0ecSDave Kleikamp * this block's bit in the bitmaps. 2255ac27a0ecSDave Kleikamp */ 2256617ba13bSMingming Cao ext4_forget(handle, 1, inode, bh, bh->b_blocknr); 2257ac27a0ecSDave Kleikamp 2258ac27a0ecSDave Kleikamp /* 2259ac27a0ecSDave Kleikamp * Everything below this this pointer has been 2260ac27a0ecSDave Kleikamp * released. Now let this top-of-subtree go. 2261ac27a0ecSDave Kleikamp * 2262ac27a0ecSDave Kleikamp * We want the freeing of this indirect block to be 2263ac27a0ecSDave Kleikamp * atomic in the journal with the updating of the 2264ac27a0ecSDave Kleikamp * bitmap block which owns it. So make some room in 2265ac27a0ecSDave Kleikamp * the journal. 2266ac27a0ecSDave Kleikamp * 2267ac27a0ecSDave Kleikamp * We zero the parent pointer *after* freeing its 2268ac27a0ecSDave Kleikamp * pointee in the bitmaps, so if extend_transaction() 2269ac27a0ecSDave Kleikamp * for some reason fails to put the bitmap changes and 2270ac27a0ecSDave Kleikamp * the release into the same transaction, recovery 2271ac27a0ecSDave Kleikamp * will merely complain about releasing a free block, 2272ac27a0ecSDave Kleikamp * rather than leaking blocks. 2273ac27a0ecSDave Kleikamp */ 2274ac27a0ecSDave Kleikamp if (is_handle_aborted(handle)) 2275ac27a0ecSDave Kleikamp return; 2276ac27a0ecSDave Kleikamp if (try_to_extend_transaction(handle, inode)) { 2277617ba13bSMingming Cao ext4_mark_inode_dirty(handle, inode); 2278617ba13bSMingming Cao ext4_journal_test_restart(handle, inode); 2279ac27a0ecSDave Kleikamp } 2280ac27a0ecSDave Kleikamp 2281c9de560dSAlex Tomas ext4_free_blocks(handle, inode, nr, 1, 1); 2282ac27a0ecSDave Kleikamp 2283ac27a0ecSDave Kleikamp if (parent_bh) { 2284ac27a0ecSDave Kleikamp /* 2285ac27a0ecSDave Kleikamp * The block which we have just freed is 2286ac27a0ecSDave Kleikamp * pointed to by an indirect block: journal it 2287ac27a0ecSDave Kleikamp */ 2288ac27a0ecSDave Kleikamp BUFFER_TRACE(parent_bh, "get_write_access"); 2289617ba13bSMingming Cao if (!ext4_journal_get_write_access(handle, 2290ac27a0ecSDave Kleikamp parent_bh)){ 2291ac27a0ecSDave Kleikamp *p = 0; 2292ac27a0ecSDave Kleikamp BUFFER_TRACE(parent_bh, 2293617ba13bSMingming Cao "call ext4_journal_dirty_metadata"); 2294617ba13bSMingming Cao ext4_journal_dirty_metadata(handle, 2295ac27a0ecSDave Kleikamp parent_bh); 2296ac27a0ecSDave Kleikamp } 2297ac27a0ecSDave Kleikamp } 2298ac27a0ecSDave Kleikamp } 2299ac27a0ecSDave Kleikamp } else { 2300ac27a0ecSDave Kleikamp /* We have reached the bottom of the tree. */ 2301ac27a0ecSDave Kleikamp BUFFER_TRACE(parent_bh, "free data blocks"); 2302617ba13bSMingming Cao ext4_free_data(handle, inode, parent_bh, first, last); 2303ac27a0ecSDave Kleikamp } 2304ac27a0ecSDave Kleikamp } 2305ac27a0ecSDave Kleikamp 2306ac27a0ecSDave Kleikamp /* 2307617ba13bSMingming Cao * ext4_truncate() 2308ac27a0ecSDave Kleikamp * 2309617ba13bSMingming Cao * We block out ext4_get_block() block instantiations across the entire 2310617ba13bSMingming Cao * transaction, and VFS/VM ensures that ext4_truncate() cannot run 2311ac27a0ecSDave Kleikamp * simultaneously on behalf of the same inode. 2312ac27a0ecSDave Kleikamp * 2313ac27a0ecSDave Kleikamp * As we work through the truncate and commmit bits of it to the journal there 2314ac27a0ecSDave Kleikamp * is one core, guiding principle: the file's tree must always be consistent on 2315ac27a0ecSDave Kleikamp * disk. We must be able to restart the truncate after a crash. 2316ac27a0ecSDave Kleikamp * 2317ac27a0ecSDave Kleikamp * The file's tree may be transiently inconsistent in memory (although it 2318ac27a0ecSDave Kleikamp * probably isn't), but whenever we close off and commit a journal transaction, 2319ac27a0ecSDave Kleikamp * the contents of (the filesystem + the journal) must be consistent and 2320ac27a0ecSDave Kleikamp * restartable. It's pretty simple, really: bottom up, right to left (although 2321ac27a0ecSDave Kleikamp * left-to-right works OK too). 2322ac27a0ecSDave Kleikamp * 2323ac27a0ecSDave Kleikamp * Note that at recovery time, journal replay occurs *before* the restart of 2324ac27a0ecSDave Kleikamp * truncate against the orphan inode list. 2325ac27a0ecSDave Kleikamp * 2326ac27a0ecSDave Kleikamp * The committed inode has the new, desired i_size (which is the same as 2327617ba13bSMingming Cao * i_disksize in this case). After a crash, ext4_orphan_cleanup() will see 2328ac27a0ecSDave Kleikamp * that this inode's truncate did not complete and it will again call 2329617ba13bSMingming Cao * ext4_truncate() to have another go. So there will be instantiated blocks 2330617ba13bSMingming Cao * to the right of the truncation point in a crashed ext4 filesystem. But 2331ac27a0ecSDave Kleikamp * that's fine - as long as they are linked from the inode, the post-crash 2332617ba13bSMingming Cao * ext4_truncate() run will find them and release them. 2333ac27a0ecSDave Kleikamp */ 2334617ba13bSMingming Cao void ext4_truncate(struct inode *inode) 2335ac27a0ecSDave Kleikamp { 2336ac27a0ecSDave Kleikamp handle_t *handle; 2337617ba13bSMingming Cao struct ext4_inode_info *ei = EXT4_I(inode); 2338ac27a0ecSDave Kleikamp __le32 *i_data = ei->i_data; 2339617ba13bSMingming Cao int addr_per_block = EXT4_ADDR_PER_BLOCK(inode->i_sb); 2340ac27a0ecSDave Kleikamp struct address_space *mapping = inode->i_mapping; 2341725d26d3SAneesh Kumar K.V ext4_lblk_t offsets[4]; 2342ac27a0ecSDave Kleikamp Indirect chain[4]; 2343ac27a0ecSDave Kleikamp Indirect *partial; 2344ac27a0ecSDave Kleikamp __le32 nr = 0; 2345ac27a0ecSDave Kleikamp int n; 2346725d26d3SAneesh Kumar K.V ext4_lblk_t last_block; 2347ac27a0ecSDave Kleikamp unsigned blocksize = inode->i_sb->s_blocksize; 2348ac27a0ecSDave Kleikamp struct page *page; 2349ac27a0ecSDave Kleikamp 2350ac27a0ecSDave Kleikamp if (!(S_ISREG(inode->i_mode) || S_ISDIR(inode->i_mode) || 2351ac27a0ecSDave Kleikamp S_ISLNK(inode->i_mode))) 2352ac27a0ecSDave Kleikamp return; 2353617ba13bSMingming Cao if (ext4_inode_is_fast_symlink(inode)) 2354ac27a0ecSDave Kleikamp return; 2355ac27a0ecSDave Kleikamp if (IS_APPEND(inode) || IS_IMMUTABLE(inode)) 2356ac27a0ecSDave Kleikamp return; 2357ac27a0ecSDave Kleikamp 2358ac27a0ecSDave Kleikamp /* 2359ac27a0ecSDave Kleikamp * We have to lock the EOF page here, because lock_page() nests 2360dab291afSMingming Cao * outside jbd2_journal_start(). 2361ac27a0ecSDave Kleikamp */ 2362ac27a0ecSDave Kleikamp if ((inode->i_size & (blocksize - 1)) == 0) { 2363ac27a0ecSDave Kleikamp /* Block boundary? Nothing to do */ 2364ac27a0ecSDave Kleikamp page = NULL; 2365ac27a0ecSDave Kleikamp } else { 2366ac27a0ecSDave Kleikamp page = grab_cache_page(mapping, 2367ac27a0ecSDave Kleikamp inode->i_size >> PAGE_CACHE_SHIFT); 2368ac27a0ecSDave Kleikamp if (!page) 2369ac27a0ecSDave Kleikamp return; 2370ac27a0ecSDave Kleikamp } 2371ac27a0ecSDave Kleikamp 23721d03ec98SAneesh Kumar K.V if (EXT4_I(inode)->i_flags & EXT4_EXTENTS_FL) { 23731d03ec98SAneesh Kumar K.V ext4_ext_truncate(inode, page); 23741d03ec98SAneesh Kumar K.V return; 23751d03ec98SAneesh Kumar K.V } 2376a86c6181SAlex Tomas 2377ac27a0ecSDave Kleikamp handle = start_transaction(inode); 2378ac27a0ecSDave Kleikamp if (IS_ERR(handle)) { 2379ac27a0ecSDave Kleikamp if (page) { 2380ac27a0ecSDave Kleikamp clear_highpage(page); 2381ac27a0ecSDave Kleikamp flush_dcache_page(page); 2382ac27a0ecSDave Kleikamp unlock_page(page); 2383ac27a0ecSDave Kleikamp page_cache_release(page); 2384ac27a0ecSDave Kleikamp } 2385ac27a0ecSDave Kleikamp return; /* AKPM: return what? */ 2386ac27a0ecSDave Kleikamp } 2387ac27a0ecSDave Kleikamp 2388ac27a0ecSDave Kleikamp last_block = (inode->i_size + blocksize-1) 2389617ba13bSMingming Cao >> EXT4_BLOCK_SIZE_BITS(inode->i_sb); 2390ac27a0ecSDave Kleikamp 2391ac27a0ecSDave Kleikamp if (page) 2392617ba13bSMingming Cao ext4_block_truncate_page(handle, page, mapping, inode->i_size); 2393ac27a0ecSDave Kleikamp 2394617ba13bSMingming Cao n = ext4_block_to_path(inode, last_block, offsets, NULL); 2395ac27a0ecSDave Kleikamp if (n == 0) 2396ac27a0ecSDave Kleikamp goto out_stop; /* error */ 2397ac27a0ecSDave Kleikamp 2398ac27a0ecSDave Kleikamp /* 2399ac27a0ecSDave Kleikamp * OK. This truncate is going to happen. We add the inode to the 2400ac27a0ecSDave Kleikamp * orphan list, so that if this truncate spans multiple transactions, 2401ac27a0ecSDave Kleikamp * and we crash, we will resume the truncate when the filesystem 2402ac27a0ecSDave Kleikamp * recovers. It also marks the inode dirty, to catch the new size. 2403ac27a0ecSDave Kleikamp * 2404ac27a0ecSDave Kleikamp * Implication: the file must always be in a sane, consistent 2405ac27a0ecSDave Kleikamp * truncatable state while each transaction commits. 2406ac27a0ecSDave Kleikamp */ 2407617ba13bSMingming Cao if (ext4_orphan_add(handle, inode)) 2408ac27a0ecSDave Kleikamp goto out_stop; 2409ac27a0ecSDave Kleikamp 2410ac27a0ecSDave Kleikamp /* 2411ac27a0ecSDave Kleikamp * The orphan list entry will now protect us from any crash which 2412ac27a0ecSDave Kleikamp * occurs before the truncate completes, so it is now safe to propagate 2413ac27a0ecSDave Kleikamp * the new, shorter inode size (held for now in i_size) into the 2414ac27a0ecSDave Kleikamp * on-disk inode. We do this via i_disksize, which is the value which 2415617ba13bSMingming Cao * ext4 *really* writes onto the disk inode. 2416ac27a0ecSDave Kleikamp */ 2417ac27a0ecSDave Kleikamp ei->i_disksize = inode->i_size; 2418ac27a0ecSDave Kleikamp 2419ac27a0ecSDave Kleikamp /* 2420617ba13bSMingming Cao * From here we block out all ext4_get_block() callers who want to 2421ac27a0ecSDave Kleikamp * modify the block allocation tree. 2422ac27a0ecSDave Kleikamp */ 24230e855ac8SAneesh Kumar K.V down_write(&ei->i_data_sem); 2424ac27a0ecSDave Kleikamp 2425ac27a0ecSDave Kleikamp if (n == 1) { /* direct blocks */ 2426617ba13bSMingming Cao ext4_free_data(handle, inode, NULL, i_data+offsets[0], 2427617ba13bSMingming Cao i_data + EXT4_NDIR_BLOCKS); 2428ac27a0ecSDave Kleikamp goto do_indirects; 2429ac27a0ecSDave Kleikamp } 2430ac27a0ecSDave Kleikamp 2431617ba13bSMingming Cao partial = ext4_find_shared(inode, n, offsets, chain, &nr); 2432ac27a0ecSDave Kleikamp /* Kill the top of shared branch (not detached) */ 2433ac27a0ecSDave Kleikamp if (nr) { 2434ac27a0ecSDave Kleikamp if (partial == chain) { 2435ac27a0ecSDave Kleikamp /* Shared branch grows from the inode */ 2436617ba13bSMingming Cao ext4_free_branches(handle, inode, NULL, 2437ac27a0ecSDave Kleikamp &nr, &nr+1, (chain+n-1) - partial); 2438ac27a0ecSDave Kleikamp *partial->p = 0; 2439ac27a0ecSDave Kleikamp /* 2440ac27a0ecSDave Kleikamp * We mark the inode dirty prior to restart, 2441ac27a0ecSDave Kleikamp * and prior to stop. No need for it here. 2442ac27a0ecSDave Kleikamp */ 2443ac27a0ecSDave Kleikamp } else { 2444ac27a0ecSDave Kleikamp /* Shared branch grows from an indirect block */ 2445ac27a0ecSDave Kleikamp BUFFER_TRACE(partial->bh, "get_write_access"); 2446617ba13bSMingming Cao ext4_free_branches(handle, inode, partial->bh, 2447ac27a0ecSDave Kleikamp partial->p, 2448ac27a0ecSDave Kleikamp partial->p+1, (chain+n-1) - partial); 2449ac27a0ecSDave Kleikamp } 2450ac27a0ecSDave Kleikamp } 2451ac27a0ecSDave Kleikamp /* Clear the ends of indirect blocks on the shared branch */ 2452ac27a0ecSDave Kleikamp while (partial > chain) { 2453617ba13bSMingming Cao ext4_free_branches(handle, inode, partial->bh, partial->p + 1, 2454ac27a0ecSDave Kleikamp (__le32*)partial->bh->b_data+addr_per_block, 2455ac27a0ecSDave Kleikamp (chain+n-1) - partial); 2456ac27a0ecSDave Kleikamp BUFFER_TRACE(partial->bh, "call brelse"); 2457ac27a0ecSDave Kleikamp brelse (partial->bh); 2458ac27a0ecSDave Kleikamp partial--; 2459ac27a0ecSDave Kleikamp } 2460ac27a0ecSDave Kleikamp do_indirects: 2461ac27a0ecSDave Kleikamp /* Kill the remaining (whole) subtrees */ 2462ac27a0ecSDave Kleikamp switch (offsets[0]) { 2463ac27a0ecSDave Kleikamp default: 2464617ba13bSMingming Cao nr = i_data[EXT4_IND_BLOCK]; 2465ac27a0ecSDave Kleikamp if (nr) { 2466617ba13bSMingming Cao ext4_free_branches(handle, inode, NULL, &nr, &nr+1, 1); 2467617ba13bSMingming Cao i_data[EXT4_IND_BLOCK] = 0; 2468ac27a0ecSDave Kleikamp } 2469617ba13bSMingming Cao case EXT4_IND_BLOCK: 2470617ba13bSMingming Cao nr = i_data[EXT4_DIND_BLOCK]; 2471ac27a0ecSDave Kleikamp if (nr) { 2472617ba13bSMingming Cao ext4_free_branches(handle, inode, NULL, &nr, &nr+1, 2); 2473617ba13bSMingming Cao i_data[EXT4_DIND_BLOCK] = 0; 2474ac27a0ecSDave Kleikamp } 2475617ba13bSMingming Cao case EXT4_DIND_BLOCK: 2476617ba13bSMingming Cao nr = i_data[EXT4_TIND_BLOCK]; 2477ac27a0ecSDave Kleikamp if (nr) { 2478617ba13bSMingming Cao ext4_free_branches(handle, inode, NULL, &nr, &nr+1, 3); 2479617ba13bSMingming Cao i_data[EXT4_TIND_BLOCK] = 0; 2480ac27a0ecSDave Kleikamp } 2481617ba13bSMingming Cao case EXT4_TIND_BLOCK: 2482ac27a0ecSDave Kleikamp ; 2483ac27a0ecSDave Kleikamp } 2484ac27a0ecSDave Kleikamp 2485617ba13bSMingming Cao ext4_discard_reservation(inode); 2486ac27a0ecSDave Kleikamp 24870e855ac8SAneesh Kumar K.V up_write(&ei->i_data_sem); 2488ef7f3835SKalpak Shah inode->i_mtime = inode->i_ctime = ext4_current_time(inode); 2489617ba13bSMingming Cao ext4_mark_inode_dirty(handle, inode); 2490ac27a0ecSDave Kleikamp 2491ac27a0ecSDave Kleikamp /* 2492ac27a0ecSDave Kleikamp * In a multi-transaction truncate, we only make the final transaction 2493ac27a0ecSDave Kleikamp * synchronous 2494ac27a0ecSDave Kleikamp */ 2495ac27a0ecSDave Kleikamp if (IS_SYNC(inode)) 2496ac27a0ecSDave Kleikamp handle->h_sync = 1; 2497ac27a0ecSDave Kleikamp out_stop: 2498ac27a0ecSDave Kleikamp /* 2499ac27a0ecSDave Kleikamp * If this was a simple ftruncate(), and the file will remain alive 2500ac27a0ecSDave Kleikamp * then we need to clear up the orphan record which we created above. 2501ac27a0ecSDave Kleikamp * However, if this was a real unlink then we were called by 2502617ba13bSMingming Cao * ext4_delete_inode(), and we allow that function to clean up the 2503ac27a0ecSDave Kleikamp * orphan info for us. 2504ac27a0ecSDave Kleikamp */ 2505ac27a0ecSDave Kleikamp if (inode->i_nlink) 2506617ba13bSMingming Cao ext4_orphan_del(handle, inode); 2507ac27a0ecSDave Kleikamp 2508617ba13bSMingming Cao ext4_journal_stop(handle); 2509ac27a0ecSDave Kleikamp } 2510ac27a0ecSDave Kleikamp 2511617ba13bSMingming Cao static ext4_fsblk_t ext4_get_inode_block(struct super_block *sb, 2512617ba13bSMingming Cao unsigned long ino, struct ext4_iloc *iloc) 2513ac27a0ecSDave Kleikamp { 2514fd2d4291SAvantika Mathur ext4_group_t block_group; 2515ac27a0ecSDave Kleikamp unsigned long offset; 2516617ba13bSMingming Cao ext4_fsblk_t block; 2517617ba13bSMingming Cao struct ext4_group_desc *gdp; 2518ac27a0ecSDave Kleikamp 2519617ba13bSMingming Cao if (!ext4_valid_inum(sb, ino)) { 2520ac27a0ecSDave Kleikamp /* 2521ac27a0ecSDave Kleikamp * This error is already checked for in namei.c unless we are 2522ac27a0ecSDave Kleikamp * looking at an NFS filehandle, in which case no error 2523ac27a0ecSDave Kleikamp * report is needed 2524ac27a0ecSDave Kleikamp */ 2525ac27a0ecSDave Kleikamp return 0; 2526ac27a0ecSDave Kleikamp } 2527ac27a0ecSDave Kleikamp 2528617ba13bSMingming Cao block_group = (ino - 1) / EXT4_INODES_PER_GROUP(sb); 2529c0a4ef38SAkinobu Mita gdp = ext4_get_group_desc(sb, block_group, NULL); 2530c0a4ef38SAkinobu Mita if (!gdp) 2531ac27a0ecSDave Kleikamp return 0; 2532ac27a0ecSDave Kleikamp 2533ac27a0ecSDave Kleikamp /* 2534ac27a0ecSDave Kleikamp * Figure out the offset within the block group inode table 2535ac27a0ecSDave Kleikamp */ 2536617ba13bSMingming Cao offset = ((ino - 1) % EXT4_INODES_PER_GROUP(sb)) * 2537617ba13bSMingming Cao EXT4_INODE_SIZE(sb); 25388fadc143SAlexandre Ratchov block = ext4_inode_table(sb, gdp) + 25398fadc143SAlexandre Ratchov (offset >> EXT4_BLOCK_SIZE_BITS(sb)); 2540ac27a0ecSDave Kleikamp 2541ac27a0ecSDave Kleikamp iloc->block_group = block_group; 2542617ba13bSMingming Cao iloc->offset = offset & (EXT4_BLOCK_SIZE(sb) - 1); 2543ac27a0ecSDave Kleikamp return block; 2544ac27a0ecSDave Kleikamp } 2545ac27a0ecSDave Kleikamp 2546ac27a0ecSDave Kleikamp /* 2547617ba13bSMingming Cao * ext4_get_inode_loc returns with an extra refcount against the inode's 2548ac27a0ecSDave Kleikamp * underlying buffer_head on success. If 'in_mem' is true, we have all 2549ac27a0ecSDave Kleikamp * data in memory that is needed to recreate the on-disk version of this 2550ac27a0ecSDave Kleikamp * inode. 2551ac27a0ecSDave Kleikamp */ 2552617ba13bSMingming Cao static int __ext4_get_inode_loc(struct inode *inode, 2553617ba13bSMingming Cao struct ext4_iloc *iloc, int in_mem) 2554ac27a0ecSDave Kleikamp { 2555617ba13bSMingming Cao ext4_fsblk_t block; 2556ac27a0ecSDave Kleikamp struct buffer_head *bh; 2557ac27a0ecSDave Kleikamp 2558617ba13bSMingming Cao block = ext4_get_inode_block(inode->i_sb, inode->i_ino, iloc); 2559ac27a0ecSDave Kleikamp if (!block) 2560ac27a0ecSDave Kleikamp return -EIO; 2561ac27a0ecSDave Kleikamp 2562ac27a0ecSDave Kleikamp bh = sb_getblk(inode->i_sb, block); 2563ac27a0ecSDave Kleikamp if (!bh) { 2564617ba13bSMingming Cao ext4_error (inode->i_sb, "ext4_get_inode_loc", 2565ac27a0ecSDave Kleikamp "unable to read inode block - " 25662ae02107SMingming Cao "inode=%lu, block=%llu", 2567ac27a0ecSDave Kleikamp inode->i_ino, block); 2568ac27a0ecSDave Kleikamp return -EIO; 2569ac27a0ecSDave Kleikamp } 2570ac27a0ecSDave Kleikamp if (!buffer_uptodate(bh)) { 2571ac27a0ecSDave Kleikamp lock_buffer(bh); 2572ac27a0ecSDave Kleikamp if (buffer_uptodate(bh)) { 2573ac27a0ecSDave Kleikamp /* someone brought it uptodate while we waited */ 2574ac27a0ecSDave Kleikamp unlock_buffer(bh); 2575ac27a0ecSDave Kleikamp goto has_buffer; 2576ac27a0ecSDave Kleikamp } 2577ac27a0ecSDave Kleikamp 2578ac27a0ecSDave Kleikamp /* 2579ac27a0ecSDave Kleikamp * If we have all information of the inode in memory and this 2580ac27a0ecSDave Kleikamp * is the only valid inode in the block, we need not read the 2581ac27a0ecSDave Kleikamp * block. 2582ac27a0ecSDave Kleikamp */ 2583ac27a0ecSDave Kleikamp if (in_mem) { 2584ac27a0ecSDave Kleikamp struct buffer_head *bitmap_bh; 2585617ba13bSMingming Cao struct ext4_group_desc *desc; 2586ac27a0ecSDave Kleikamp int inodes_per_buffer; 2587ac27a0ecSDave Kleikamp int inode_offset, i; 2588fd2d4291SAvantika Mathur ext4_group_t block_group; 2589ac27a0ecSDave Kleikamp int start; 2590ac27a0ecSDave Kleikamp 2591ac27a0ecSDave Kleikamp block_group = (inode->i_ino - 1) / 2592617ba13bSMingming Cao EXT4_INODES_PER_GROUP(inode->i_sb); 2593ac27a0ecSDave Kleikamp inodes_per_buffer = bh->b_size / 2594617ba13bSMingming Cao EXT4_INODE_SIZE(inode->i_sb); 2595ac27a0ecSDave Kleikamp inode_offset = ((inode->i_ino - 1) % 2596617ba13bSMingming Cao EXT4_INODES_PER_GROUP(inode->i_sb)); 2597ac27a0ecSDave Kleikamp start = inode_offset & ~(inodes_per_buffer - 1); 2598ac27a0ecSDave Kleikamp 2599ac27a0ecSDave Kleikamp /* Is the inode bitmap in cache? */ 2600617ba13bSMingming Cao desc = ext4_get_group_desc(inode->i_sb, 2601ac27a0ecSDave Kleikamp block_group, NULL); 2602ac27a0ecSDave Kleikamp if (!desc) 2603ac27a0ecSDave Kleikamp goto make_io; 2604ac27a0ecSDave Kleikamp 2605ac27a0ecSDave Kleikamp bitmap_bh = sb_getblk(inode->i_sb, 26068fadc143SAlexandre Ratchov ext4_inode_bitmap(inode->i_sb, desc)); 2607ac27a0ecSDave Kleikamp if (!bitmap_bh) 2608ac27a0ecSDave Kleikamp goto make_io; 2609ac27a0ecSDave Kleikamp 2610ac27a0ecSDave Kleikamp /* 2611ac27a0ecSDave Kleikamp * If the inode bitmap isn't in cache then the 2612ac27a0ecSDave Kleikamp * optimisation may end up performing two reads instead 2613ac27a0ecSDave Kleikamp * of one, so skip it. 2614ac27a0ecSDave Kleikamp */ 2615ac27a0ecSDave Kleikamp if (!buffer_uptodate(bitmap_bh)) { 2616ac27a0ecSDave Kleikamp brelse(bitmap_bh); 2617ac27a0ecSDave Kleikamp goto make_io; 2618ac27a0ecSDave Kleikamp } 2619ac27a0ecSDave Kleikamp for (i = start; i < start + inodes_per_buffer; i++) { 2620ac27a0ecSDave Kleikamp if (i == inode_offset) 2621ac27a0ecSDave Kleikamp continue; 2622617ba13bSMingming Cao if (ext4_test_bit(i, bitmap_bh->b_data)) 2623ac27a0ecSDave Kleikamp break; 2624ac27a0ecSDave Kleikamp } 2625ac27a0ecSDave Kleikamp brelse(bitmap_bh); 2626ac27a0ecSDave Kleikamp if (i == start + inodes_per_buffer) { 2627ac27a0ecSDave Kleikamp /* all other inodes are free, so skip I/O */ 2628ac27a0ecSDave Kleikamp memset(bh->b_data, 0, bh->b_size); 2629ac27a0ecSDave Kleikamp set_buffer_uptodate(bh); 2630ac27a0ecSDave Kleikamp unlock_buffer(bh); 2631ac27a0ecSDave Kleikamp goto has_buffer; 2632ac27a0ecSDave Kleikamp } 2633ac27a0ecSDave Kleikamp } 2634ac27a0ecSDave Kleikamp 2635ac27a0ecSDave Kleikamp make_io: 2636ac27a0ecSDave Kleikamp /* 2637ac27a0ecSDave Kleikamp * There are other valid inodes in the buffer, this inode 2638ac27a0ecSDave Kleikamp * has in-inode xattrs, or we don't have this inode in memory. 2639ac27a0ecSDave Kleikamp * Read the block from disk. 2640ac27a0ecSDave Kleikamp */ 2641ac27a0ecSDave Kleikamp get_bh(bh); 2642ac27a0ecSDave Kleikamp bh->b_end_io = end_buffer_read_sync; 2643ac27a0ecSDave Kleikamp submit_bh(READ_META, bh); 2644ac27a0ecSDave Kleikamp wait_on_buffer(bh); 2645ac27a0ecSDave Kleikamp if (!buffer_uptodate(bh)) { 2646617ba13bSMingming Cao ext4_error(inode->i_sb, "ext4_get_inode_loc", 2647ac27a0ecSDave Kleikamp "unable to read inode block - " 26482ae02107SMingming Cao "inode=%lu, block=%llu", 2649ac27a0ecSDave Kleikamp inode->i_ino, block); 2650ac27a0ecSDave Kleikamp brelse(bh); 2651ac27a0ecSDave Kleikamp return -EIO; 2652ac27a0ecSDave Kleikamp } 2653ac27a0ecSDave Kleikamp } 2654ac27a0ecSDave Kleikamp has_buffer: 2655ac27a0ecSDave Kleikamp iloc->bh = bh; 2656ac27a0ecSDave Kleikamp return 0; 2657ac27a0ecSDave Kleikamp } 2658ac27a0ecSDave Kleikamp 2659617ba13bSMingming Cao int ext4_get_inode_loc(struct inode *inode, struct ext4_iloc *iloc) 2660ac27a0ecSDave Kleikamp { 2661ac27a0ecSDave Kleikamp /* We have all inode data except xattrs in memory here. */ 2662617ba13bSMingming Cao return __ext4_get_inode_loc(inode, iloc, 2663617ba13bSMingming Cao !(EXT4_I(inode)->i_state & EXT4_STATE_XATTR)); 2664ac27a0ecSDave Kleikamp } 2665ac27a0ecSDave Kleikamp 2666617ba13bSMingming Cao void ext4_set_inode_flags(struct inode *inode) 2667ac27a0ecSDave Kleikamp { 2668617ba13bSMingming Cao unsigned int flags = EXT4_I(inode)->i_flags; 2669ac27a0ecSDave Kleikamp 2670ac27a0ecSDave Kleikamp inode->i_flags &= ~(S_SYNC|S_APPEND|S_IMMUTABLE|S_NOATIME|S_DIRSYNC); 2671617ba13bSMingming Cao if (flags & EXT4_SYNC_FL) 2672ac27a0ecSDave Kleikamp inode->i_flags |= S_SYNC; 2673617ba13bSMingming Cao if (flags & EXT4_APPEND_FL) 2674ac27a0ecSDave Kleikamp inode->i_flags |= S_APPEND; 2675617ba13bSMingming Cao if (flags & EXT4_IMMUTABLE_FL) 2676ac27a0ecSDave Kleikamp inode->i_flags |= S_IMMUTABLE; 2677617ba13bSMingming Cao if (flags & EXT4_NOATIME_FL) 2678ac27a0ecSDave Kleikamp inode->i_flags |= S_NOATIME; 2679617ba13bSMingming Cao if (flags & EXT4_DIRSYNC_FL) 2680ac27a0ecSDave Kleikamp inode->i_flags |= S_DIRSYNC; 2681ac27a0ecSDave Kleikamp } 2682ac27a0ecSDave Kleikamp 2683ff9ddf7eSJan Kara /* Propagate flags from i_flags to EXT4_I(inode)->i_flags */ 2684ff9ddf7eSJan Kara void ext4_get_inode_flags(struct ext4_inode_info *ei) 2685ff9ddf7eSJan Kara { 2686ff9ddf7eSJan Kara unsigned int flags = ei->vfs_inode.i_flags; 2687ff9ddf7eSJan Kara 2688ff9ddf7eSJan Kara ei->i_flags &= ~(EXT4_SYNC_FL|EXT4_APPEND_FL| 2689ff9ddf7eSJan Kara EXT4_IMMUTABLE_FL|EXT4_NOATIME_FL|EXT4_DIRSYNC_FL); 2690ff9ddf7eSJan Kara if (flags & S_SYNC) 2691ff9ddf7eSJan Kara ei->i_flags |= EXT4_SYNC_FL; 2692ff9ddf7eSJan Kara if (flags & S_APPEND) 2693ff9ddf7eSJan Kara ei->i_flags |= EXT4_APPEND_FL; 2694ff9ddf7eSJan Kara if (flags & S_IMMUTABLE) 2695ff9ddf7eSJan Kara ei->i_flags |= EXT4_IMMUTABLE_FL; 2696ff9ddf7eSJan Kara if (flags & S_NOATIME) 2697ff9ddf7eSJan Kara ei->i_flags |= EXT4_NOATIME_FL; 2698ff9ddf7eSJan Kara if (flags & S_DIRSYNC) 2699ff9ddf7eSJan Kara ei->i_flags |= EXT4_DIRSYNC_FL; 2700ff9ddf7eSJan Kara } 27010fc1b451SAneesh Kumar K.V static blkcnt_t ext4_inode_blocks(struct ext4_inode *raw_inode, 27020fc1b451SAneesh Kumar K.V struct ext4_inode_info *ei) 27030fc1b451SAneesh Kumar K.V { 27040fc1b451SAneesh Kumar K.V blkcnt_t i_blocks ; 27058180a562SAneesh Kumar K.V struct inode *inode = &(ei->vfs_inode); 27068180a562SAneesh Kumar K.V struct super_block *sb = inode->i_sb; 27070fc1b451SAneesh Kumar K.V 27080fc1b451SAneesh Kumar K.V if (EXT4_HAS_RO_COMPAT_FEATURE(sb, 27090fc1b451SAneesh Kumar K.V EXT4_FEATURE_RO_COMPAT_HUGE_FILE)) { 27100fc1b451SAneesh Kumar K.V /* we are using combined 48 bit field */ 27110fc1b451SAneesh Kumar K.V i_blocks = ((u64)le16_to_cpu(raw_inode->i_blocks_high)) << 32 | 27120fc1b451SAneesh Kumar K.V le32_to_cpu(raw_inode->i_blocks_lo); 27138180a562SAneesh Kumar K.V if (ei->i_flags & EXT4_HUGE_FILE_FL) { 27148180a562SAneesh Kumar K.V /* i_blocks represent file system block size */ 27158180a562SAneesh Kumar K.V return i_blocks << (inode->i_blkbits - 9); 27168180a562SAneesh Kumar K.V } else { 27170fc1b451SAneesh Kumar K.V return i_blocks; 27188180a562SAneesh Kumar K.V } 27190fc1b451SAneesh Kumar K.V } else { 27200fc1b451SAneesh Kumar K.V return le32_to_cpu(raw_inode->i_blocks_lo); 27210fc1b451SAneesh Kumar K.V } 27220fc1b451SAneesh Kumar K.V } 2723ff9ddf7eSJan Kara 27241d1fe1eeSDavid Howells struct inode *ext4_iget(struct super_block *sb, unsigned long ino) 2725ac27a0ecSDave Kleikamp { 2726617ba13bSMingming Cao struct ext4_iloc iloc; 2727617ba13bSMingming Cao struct ext4_inode *raw_inode; 27281d1fe1eeSDavid Howells struct ext4_inode_info *ei; 2729ac27a0ecSDave Kleikamp struct buffer_head *bh; 27301d1fe1eeSDavid Howells struct inode *inode; 27311d1fe1eeSDavid Howells long ret; 2732ac27a0ecSDave Kleikamp int block; 2733ac27a0ecSDave Kleikamp 27341d1fe1eeSDavid Howells inode = iget_locked(sb, ino); 27351d1fe1eeSDavid Howells if (!inode) 27361d1fe1eeSDavid Howells return ERR_PTR(-ENOMEM); 27371d1fe1eeSDavid Howells if (!(inode->i_state & I_NEW)) 27381d1fe1eeSDavid Howells return inode; 27391d1fe1eeSDavid Howells 27401d1fe1eeSDavid Howells ei = EXT4_I(inode); 2741617ba13bSMingming Cao #ifdef CONFIG_EXT4DEV_FS_POSIX_ACL 2742617ba13bSMingming Cao ei->i_acl = EXT4_ACL_NOT_CACHED; 2743617ba13bSMingming Cao ei->i_default_acl = EXT4_ACL_NOT_CACHED; 2744ac27a0ecSDave Kleikamp #endif 2745ac27a0ecSDave Kleikamp ei->i_block_alloc_info = NULL; 2746ac27a0ecSDave Kleikamp 27471d1fe1eeSDavid Howells ret = __ext4_get_inode_loc(inode, &iloc, 0); 27481d1fe1eeSDavid Howells if (ret < 0) 2749ac27a0ecSDave Kleikamp goto bad_inode; 2750ac27a0ecSDave Kleikamp bh = iloc.bh; 2751617ba13bSMingming Cao raw_inode = ext4_raw_inode(&iloc); 2752ac27a0ecSDave Kleikamp inode->i_mode = le16_to_cpu(raw_inode->i_mode); 2753ac27a0ecSDave Kleikamp inode->i_uid = (uid_t)le16_to_cpu(raw_inode->i_uid_low); 2754ac27a0ecSDave Kleikamp inode->i_gid = (gid_t)le16_to_cpu(raw_inode->i_gid_low); 2755ac27a0ecSDave Kleikamp if(!(test_opt (inode->i_sb, NO_UID32))) { 2756ac27a0ecSDave Kleikamp inode->i_uid |= le16_to_cpu(raw_inode->i_uid_high) << 16; 2757ac27a0ecSDave Kleikamp inode->i_gid |= le16_to_cpu(raw_inode->i_gid_high) << 16; 2758ac27a0ecSDave Kleikamp } 2759ac27a0ecSDave Kleikamp inode->i_nlink = le16_to_cpu(raw_inode->i_links_count); 2760ac27a0ecSDave Kleikamp 2761ac27a0ecSDave Kleikamp ei->i_state = 0; 2762ac27a0ecSDave Kleikamp ei->i_dir_start_lookup = 0; 2763ac27a0ecSDave Kleikamp ei->i_dtime = le32_to_cpu(raw_inode->i_dtime); 2764ac27a0ecSDave Kleikamp /* We now have enough fields to check if the inode was active or not. 2765ac27a0ecSDave Kleikamp * This is needed because nfsd might try to access dead inodes 2766ac27a0ecSDave Kleikamp * the test is that same one that e2fsck uses 2767ac27a0ecSDave Kleikamp * NeilBrown 1999oct15 2768ac27a0ecSDave Kleikamp */ 2769ac27a0ecSDave Kleikamp if (inode->i_nlink == 0) { 2770ac27a0ecSDave Kleikamp if (inode->i_mode == 0 || 2771617ba13bSMingming Cao !(EXT4_SB(inode->i_sb)->s_mount_state & EXT4_ORPHAN_FS)) { 2772ac27a0ecSDave Kleikamp /* this inode is deleted */ 2773ac27a0ecSDave Kleikamp brelse (bh); 27741d1fe1eeSDavid Howells ret = -ESTALE; 2775ac27a0ecSDave Kleikamp goto bad_inode; 2776ac27a0ecSDave Kleikamp } 2777ac27a0ecSDave Kleikamp /* The only unlinked inodes we let through here have 2778ac27a0ecSDave Kleikamp * valid i_mode and are being read by the orphan 2779ac27a0ecSDave Kleikamp * recovery code: that's fine, we're about to complete 2780ac27a0ecSDave Kleikamp * the process of deleting those. */ 2781ac27a0ecSDave Kleikamp } 2782ac27a0ecSDave Kleikamp ei->i_flags = le32_to_cpu(raw_inode->i_flags); 27830fc1b451SAneesh Kumar K.V inode->i_blocks = ext4_inode_blocks(raw_inode, ei); 27847973c0c1SAneesh Kumar K.V ei->i_file_acl = le32_to_cpu(raw_inode->i_file_acl_lo); 27859b8f1f01SMingming Cao if (EXT4_SB(inode->i_sb)->s_es->s_creator_os != 2786a48380f7SAneesh Kumar K.V cpu_to_le32(EXT4_OS_HURD)) { 2787a1ddeb7eSBadari Pulavarty ei->i_file_acl |= 2788a1ddeb7eSBadari Pulavarty ((__u64)le16_to_cpu(raw_inode->i_file_acl_high)) << 32; 2789ac27a0ecSDave Kleikamp } 2790a48380f7SAneesh Kumar K.V inode->i_size = ext4_isize(raw_inode); 2791ac27a0ecSDave Kleikamp ei->i_disksize = inode->i_size; 2792ac27a0ecSDave Kleikamp inode->i_generation = le32_to_cpu(raw_inode->i_generation); 2793ac27a0ecSDave Kleikamp ei->i_block_group = iloc.block_group; 2794ac27a0ecSDave Kleikamp /* 2795ac27a0ecSDave Kleikamp * NOTE! The in-memory inode i_data array is in little-endian order 2796ac27a0ecSDave Kleikamp * even on big-endian machines: we do NOT byteswap the block numbers! 2797ac27a0ecSDave Kleikamp */ 2798617ba13bSMingming Cao for (block = 0; block < EXT4_N_BLOCKS; block++) 2799ac27a0ecSDave Kleikamp ei->i_data[block] = raw_inode->i_block[block]; 2800ac27a0ecSDave Kleikamp INIT_LIST_HEAD(&ei->i_orphan); 2801ac27a0ecSDave Kleikamp 28020040d987SEric Sandeen if (EXT4_INODE_SIZE(inode->i_sb) > EXT4_GOOD_OLD_INODE_SIZE) { 2803ac27a0ecSDave Kleikamp ei->i_extra_isize = le16_to_cpu(raw_inode->i_extra_isize); 2804617ba13bSMingming Cao if (EXT4_GOOD_OLD_INODE_SIZE + ei->i_extra_isize > 2805e5d2861fSKirill Korotaev EXT4_INODE_SIZE(inode->i_sb)) { 2806e5d2861fSKirill Korotaev brelse (bh); 28071d1fe1eeSDavid Howells ret = -EIO; 2808ac27a0ecSDave Kleikamp goto bad_inode; 2809e5d2861fSKirill Korotaev } 2810ac27a0ecSDave Kleikamp if (ei->i_extra_isize == 0) { 2811ac27a0ecSDave Kleikamp /* The extra space is currently unused. Use it. */ 2812617ba13bSMingming Cao ei->i_extra_isize = sizeof(struct ext4_inode) - 2813617ba13bSMingming Cao EXT4_GOOD_OLD_INODE_SIZE; 2814ac27a0ecSDave Kleikamp } else { 2815ac27a0ecSDave Kleikamp __le32 *magic = (void *)raw_inode + 2816617ba13bSMingming Cao EXT4_GOOD_OLD_INODE_SIZE + 2817ac27a0ecSDave Kleikamp ei->i_extra_isize; 2818617ba13bSMingming Cao if (*magic == cpu_to_le32(EXT4_XATTR_MAGIC)) 2819617ba13bSMingming Cao ei->i_state |= EXT4_STATE_XATTR; 2820ac27a0ecSDave Kleikamp } 2821ac27a0ecSDave Kleikamp } else 2822ac27a0ecSDave Kleikamp ei->i_extra_isize = 0; 2823ac27a0ecSDave Kleikamp 2824ef7f3835SKalpak Shah EXT4_INODE_GET_XTIME(i_ctime, inode, raw_inode); 2825ef7f3835SKalpak Shah EXT4_INODE_GET_XTIME(i_mtime, inode, raw_inode); 2826ef7f3835SKalpak Shah EXT4_INODE_GET_XTIME(i_atime, inode, raw_inode); 2827ef7f3835SKalpak Shah EXT4_EINODE_GET_XTIME(i_crtime, ei, raw_inode); 2828ef7f3835SKalpak Shah 282925ec56b5SJean Noel Cordenner inode->i_version = le32_to_cpu(raw_inode->i_disk_version); 283025ec56b5SJean Noel Cordenner if (EXT4_INODE_SIZE(inode->i_sb) > EXT4_GOOD_OLD_INODE_SIZE) { 283125ec56b5SJean Noel Cordenner if (EXT4_FITS_IN_INODE(raw_inode, ei, i_version_hi)) 283225ec56b5SJean Noel Cordenner inode->i_version |= 283325ec56b5SJean Noel Cordenner (__u64)(le32_to_cpu(raw_inode->i_version_hi)) << 32; 283425ec56b5SJean Noel Cordenner } 283525ec56b5SJean Noel Cordenner 2836ac27a0ecSDave Kleikamp if (S_ISREG(inode->i_mode)) { 2837617ba13bSMingming Cao inode->i_op = &ext4_file_inode_operations; 2838617ba13bSMingming Cao inode->i_fop = &ext4_file_operations; 2839617ba13bSMingming Cao ext4_set_aops(inode); 2840ac27a0ecSDave Kleikamp } else if (S_ISDIR(inode->i_mode)) { 2841617ba13bSMingming Cao inode->i_op = &ext4_dir_inode_operations; 2842617ba13bSMingming Cao inode->i_fop = &ext4_dir_operations; 2843ac27a0ecSDave Kleikamp } else if (S_ISLNK(inode->i_mode)) { 2844617ba13bSMingming Cao if (ext4_inode_is_fast_symlink(inode)) 2845617ba13bSMingming Cao inode->i_op = &ext4_fast_symlink_inode_operations; 2846ac27a0ecSDave Kleikamp else { 2847617ba13bSMingming Cao inode->i_op = &ext4_symlink_inode_operations; 2848617ba13bSMingming Cao ext4_set_aops(inode); 2849ac27a0ecSDave Kleikamp } 2850ac27a0ecSDave Kleikamp } else { 2851617ba13bSMingming Cao inode->i_op = &ext4_special_inode_operations; 2852ac27a0ecSDave Kleikamp if (raw_inode->i_block[0]) 2853ac27a0ecSDave Kleikamp init_special_inode(inode, inode->i_mode, 2854ac27a0ecSDave Kleikamp old_decode_dev(le32_to_cpu(raw_inode->i_block[0]))); 2855ac27a0ecSDave Kleikamp else 2856ac27a0ecSDave Kleikamp init_special_inode(inode, inode->i_mode, 2857ac27a0ecSDave Kleikamp new_decode_dev(le32_to_cpu(raw_inode->i_block[1]))); 2858ac27a0ecSDave Kleikamp } 2859ac27a0ecSDave Kleikamp brelse (iloc.bh); 2860617ba13bSMingming Cao ext4_set_inode_flags(inode); 28611d1fe1eeSDavid Howells unlock_new_inode(inode); 28621d1fe1eeSDavid Howells return inode; 2863ac27a0ecSDave Kleikamp 2864ac27a0ecSDave Kleikamp bad_inode: 28651d1fe1eeSDavid Howells iget_failed(inode); 28661d1fe1eeSDavid Howells return ERR_PTR(ret); 2867ac27a0ecSDave Kleikamp } 2868ac27a0ecSDave Kleikamp 28690fc1b451SAneesh Kumar K.V static int ext4_inode_blocks_set(handle_t *handle, 28700fc1b451SAneesh Kumar K.V struct ext4_inode *raw_inode, 28710fc1b451SAneesh Kumar K.V struct ext4_inode_info *ei) 28720fc1b451SAneesh Kumar K.V { 28730fc1b451SAneesh Kumar K.V struct inode *inode = &(ei->vfs_inode); 28740fc1b451SAneesh Kumar K.V u64 i_blocks = inode->i_blocks; 28750fc1b451SAneesh Kumar K.V struct super_block *sb = inode->i_sb; 28760fc1b451SAneesh Kumar K.V int err = 0; 28770fc1b451SAneesh Kumar K.V 28780fc1b451SAneesh Kumar K.V if (i_blocks <= ~0U) { 28790fc1b451SAneesh Kumar K.V /* 28800fc1b451SAneesh Kumar K.V * i_blocks can be represnted in a 32 bit variable 28810fc1b451SAneesh Kumar K.V * as multiple of 512 bytes 28820fc1b451SAneesh Kumar K.V */ 28838180a562SAneesh Kumar K.V raw_inode->i_blocks_lo = cpu_to_le32(i_blocks); 28840fc1b451SAneesh Kumar K.V raw_inode->i_blocks_high = 0; 28858180a562SAneesh Kumar K.V ei->i_flags &= ~EXT4_HUGE_FILE_FL; 28860fc1b451SAneesh Kumar K.V } else if (i_blocks <= 0xffffffffffffULL) { 28870fc1b451SAneesh Kumar K.V /* 28880fc1b451SAneesh Kumar K.V * i_blocks can be represented in a 48 bit variable 28890fc1b451SAneesh Kumar K.V * as multiple of 512 bytes 28900fc1b451SAneesh Kumar K.V */ 28910fc1b451SAneesh Kumar K.V err = ext4_update_rocompat_feature(handle, sb, 28920fc1b451SAneesh Kumar K.V EXT4_FEATURE_RO_COMPAT_HUGE_FILE); 28930fc1b451SAneesh Kumar K.V if (err) 28940fc1b451SAneesh Kumar K.V goto err_out; 28950fc1b451SAneesh Kumar K.V /* i_block is stored in the split 48 bit fields */ 28968180a562SAneesh Kumar K.V raw_inode->i_blocks_lo = cpu_to_le32(i_blocks); 28970fc1b451SAneesh Kumar K.V raw_inode->i_blocks_high = cpu_to_le16(i_blocks >> 32); 28988180a562SAneesh Kumar K.V ei->i_flags &= ~EXT4_HUGE_FILE_FL; 28990fc1b451SAneesh Kumar K.V } else { 29008180a562SAneesh Kumar K.V /* 29018180a562SAneesh Kumar K.V * i_blocks should be represented in a 48 bit variable 29028180a562SAneesh Kumar K.V * as multiple of file system block size 29038180a562SAneesh Kumar K.V */ 29048180a562SAneesh Kumar K.V err = ext4_update_rocompat_feature(handle, sb, 29058180a562SAneesh Kumar K.V EXT4_FEATURE_RO_COMPAT_HUGE_FILE); 29068180a562SAneesh Kumar K.V if (err) 29078180a562SAneesh Kumar K.V goto err_out; 29088180a562SAneesh Kumar K.V ei->i_flags |= EXT4_HUGE_FILE_FL; 29098180a562SAneesh Kumar K.V /* i_block is stored in file system block size */ 29108180a562SAneesh Kumar K.V i_blocks = i_blocks >> (inode->i_blkbits - 9); 29118180a562SAneesh Kumar K.V raw_inode->i_blocks_lo = cpu_to_le32(i_blocks); 29128180a562SAneesh Kumar K.V raw_inode->i_blocks_high = cpu_to_le16(i_blocks >> 32); 29130fc1b451SAneesh Kumar K.V } 29140fc1b451SAneesh Kumar K.V err_out: 29150fc1b451SAneesh Kumar K.V return err; 29160fc1b451SAneesh Kumar K.V } 29170fc1b451SAneesh Kumar K.V 2918ac27a0ecSDave Kleikamp /* 2919ac27a0ecSDave Kleikamp * Post the struct inode info into an on-disk inode location in the 2920ac27a0ecSDave Kleikamp * buffer-cache. This gobbles the caller's reference to the 2921ac27a0ecSDave Kleikamp * buffer_head in the inode location struct. 2922ac27a0ecSDave Kleikamp * 2923ac27a0ecSDave Kleikamp * The caller must have write access to iloc->bh. 2924ac27a0ecSDave Kleikamp */ 2925617ba13bSMingming Cao static int ext4_do_update_inode(handle_t *handle, 2926ac27a0ecSDave Kleikamp struct inode *inode, 2927617ba13bSMingming Cao struct ext4_iloc *iloc) 2928ac27a0ecSDave Kleikamp { 2929617ba13bSMingming Cao struct ext4_inode *raw_inode = ext4_raw_inode(iloc); 2930617ba13bSMingming Cao struct ext4_inode_info *ei = EXT4_I(inode); 2931ac27a0ecSDave Kleikamp struct buffer_head *bh = iloc->bh; 2932ac27a0ecSDave Kleikamp int err = 0, rc, block; 2933ac27a0ecSDave Kleikamp 2934ac27a0ecSDave Kleikamp /* For fields not not tracking in the in-memory inode, 2935ac27a0ecSDave Kleikamp * initialise them to zero for new inodes. */ 2936617ba13bSMingming Cao if (ei->i_state & EXT4_STATE_NEW) 2937617ba13bSMingming Cao memset(raw_inode, 0, EXT4_SB(inode->i_sb)->s_inode_size); 2938ac27a0ecSDave Kleikamp 2939ff9ddf7eSJan Kara ext4_get_inode_flags(ei); 2940ac27a0ecSDave Kleikamp raw_inode->i_mode = cpu_to_le16(inode->i_mode); 2941ac27a0ecSDave Kleikamp if(!(test_opt(inode->i_sb, NO_UID32))) { 2942ac27a0ecSDave Kleikamp raw_inode->i_uid_low = cpu_to_le16(low_16_bits(inode->i_uid)); 2943ac27a0ecSDave Kleikamp raw_inode->i_gid_low = cpu_to_le16(low_16_bits(inode->i_gid)); 2944ac27a0ecSDave Kleikamp /* 2945ac27a0ecSDave Kleikamp * Fix up interoperability with old kernels. Otherwise, old inodes get 2946ac27a0ecSDave Kleikamp * re-used with the upper 16 bits of the uid/gid intact 2947ac27a0ecSDave Kleikamp */ 2948ac27a0ecSDave Kleikamp if(!ei->i_dtime) { 2949ac27a0ecSDave Kleikamp raw_inode->i_uid_high = 2950ac27a0ecSDave Kleikamp cpu_to_le16(high_16_bits(inode->i_uid)); 2951ac27a0ecSDave Kleikamp raw_inode->i_gid_high = 2952ac27a0ecSDave Kleikamp cpu_to_le16(high_16_bits(inode->i_gid)); 2953ac27a0ecSDave Kleikamp } else { 2954ac27a0ecSDave Kleikamp raw_inode->i_uid_high = 0; 2955ac27a0ecSDave Kleikamp raw_inode->i_gid_high = 0; 2956ac27a0ecSDave Kleikamp } 2957ac27a0ecSDave Kleikamp } else { 2958ac27a0ecSDave Kleikamp raw_inode->i_uid_low = 2959ac27a0ecSDave Kleikamp cpu_to_le16(fs_high2lowuid(inode->i_uid)); 2960ac27a0ecSDave Kleikamp raw_inode->i_gid_low = 2961ac27a0ecSDave Kleikamp cpu_to_le16(fs_high2lowgid(inode->i_gid)); 2962ac27a0ecSDave Kleikamp raw_inode->i_uid_high = 0; 2963ac27a0ecSDave Kleikamp raw_inode->i_gid_high = 0; 2964ac27a0ecSDave Kleikamp } 2965ac27a0ecSDave Kleikamp raw_inode->i_links_count = cpu_to_le16(inode->i_nlink); 2966ef7f3835SKalpak Shah 2967ef7f3835SKalpak Shah EXT4_INODE_SET_XTIME(i_ctime, inode, raw_inode); 2968ef7f3835SKalpak Shah EXT4_INODE_SET_XTIME(i_mtime, inode, raw_inode); 2969ef7f3835SKalpak Shah EXT4_INODE_SET_XTIME(i_atime, inode, raw_inode); 2970ef7f3835SKalpak Shah EXT4_EINODE_SET_XTIME(i_crtime, ei, raw_inode); 2971ef7f3835SKalpak Shah 29720fc1b451SAneesh Kumar K.V if (ext4_inode_blocks_set(handle, raw_inode, ei)) 29730fc1b451SAneesh Kumar K.V goto out_brelse; 2974ac27a0ecSDave Kleikamp raw_inode->i_dtime = cpu_to_le32(ei->i_dtime); 2975267e4db9SAneesh Kumar K.V /* clear the migrate flag in the raw_inode */ 2976267e4db9SAneesh Kumar K.V raw_inode->i_flags = cpu_to_le32(ei->i_flags & ~EXT4_EXT_MIGRATE); 29779b8f1f01SMingming Cao if (EXT4_SB(inode->i_sb)->s_es->s_creator_os != 29789b8f1f01SMingming Cao cpu_to_le32(EXT4_OS_HURD)) 2979a1ddeb7eSBadari Pulavarty raw_inode->i_file_acl_high = 2980a1ddeb7eSBadari Pulavarty cpu_to_le16(ei->i_file_acl >> 32); 29817973c0c1SAneesh Kumar K.V raw_inode->i_file_acl_lo = cpu_to_le32(ei->i_file_acl); 2982a48380f7SAneesh Kumar K.V ext4_isize_set(raw_inode, ei->i_disksize); 2983ac27a0ecSDave Kleikamp if (ei->i_disksize > 0x7fffffffULL) { 2984ac27a0ecSDave Kleikamp struct super_block *sb = inode->i_sb; 2985617ba13bSMingming Cao if (!EXT4_HAS_RO_COMPAT_FEATURE(sb, 2986617ba13bSMingming Cao EXT4_FEATURE_RO_COMPAT_LARGE_FILE) || 2987617ba13bSMingming Cao EXT4_SB(sb)->s_es->s_rev_level == 2988617ba13bSMingming Cao cpu_to_le32(EXT4_GOOD_OLD_REV)) { 2989ac27a0ecSDave Kleikamp /* If this is the first large file 2990ac27a0ecSDave Kleikamp * created, add a flag to the superblock. 2991ac27a0ecSDave Kleikamp */ 2992617ba13bSMingming Cao err = ext4_journal_get_write_access(handle, 2993617ba13bSMingming Cao EXT4_SB(sb)->s_sbh); 2994ac27a0ecSDave Kleikamp if (err) 2995ac27a0ecSDave Kleikamp goto out_brelse; 2996617ba13bSMingming Cao ext4_update_dynamic_rev(sb); 2997617ba13bSMingming Cao EXT4_SET_RO_COMPAT_FEATURE(sb, 2998617ba13bSMingming Cao EXT4_FEATURE_RO_COMPAT_LARGE_FILE); 2999ac27a0ecSDave Kleikamp sb->s_dirt = 1; 3000ac27a0ecSDave Kleikamp handle->h_sync = 1; 3001617ba13bSMingming Cao err = ext4_journal_dirty_metadata(handle, 3002617ba13bSMingming Cao EXT4_SB(sb)->s_sbh); 3003ac27a0ecSDave Kleikamp } 3004ac27a0ecSDave Kleikamp } 3005ac27a0ecSDave Kleikamp raw_inode->i_generation = cpu_to_le32(inode->i_generation); 3006ac27a0ecSDave Kleikamp if (S_ISCHR(inode->i_mode) || S_ISBLK(inode->i_mode)) { 3007ac27a0ecSDave Kleikamp if (old_valid_dev(inode->i_rdev)) { 3008ac27a0ecSDave Kleikamp raw_inode->i_block[0] = 3009ac27a0ecSDave Kleikamp cpu_to_le32(old_encode_dev(inode->i_rdev)); 3010ac27a0ecSDave Kleikamp raw_inode->i_block[1] = 0; 3011ac27a0ecSDave Kleikamp } else { 3012ac27a0ecSDave Kleikamp raw_inode->i_block[0] = 0; 3013ac27a0ecSDave Kleikamp raw_inode->i_block[1] = 3014ac27a0ecSDave Kleikamp cpu_to_le32(new_encode_dev(inode->i_rdev)); 3015ac27a0ecSDave Kleikamp raw_inode->i_block[2] = 0; 3016ac27a0ecSDave Kleikamp } 3017617ba13bSMingming Cao } else for (block = 0; block < EXT4_N_BLOCKS; block++) 3018ac27a0ecSDave Kleikamp raw_inode->i_block[block] = ei->i_data[block]; 3019ac27a0ecSDave Kleikamp 302025ec56b5SJean Noel Cordenner raw_inode->i_disk_version = cpu_to_le32(inode->i_version); 302125ec56b5SJean Noel Cordenner if (ei->i_extra_isize) { 302225ec56b5SJean Noel Cordenner if (EXT4_FITS_IN_INODE(raw_inode, ei, i_version_hi)) 302325ec56b5SJean Noel Cordenner raw_inode->i_version_hi = 302425ec56b5SJean Noel Cordenner cpu_to_le32(inode->i_version >> 32); 3025ac27a0ecSDave Kleikamp raw_inode->i_extra_isize = cpu_to_le16(ei->i_extra_isize); 302625ec56b5SJean Noel Cordenner } 302725ec56b5SJean Noel Cordenner 3028ac27a0ecSDave Kleikamp 3029617ba13bSMingming Cao BUFFER_TRACE(bh, "call ext4_journal_dirty_metadata"); 3030617ba13bSMingming Cao rc = ext4_journal_dirty_metadata(handle, bh); 3031ac27a0ecSDave Kleikamp if (!err) 3032ac27a0ecSDave Kleikamp err = rc; 3033617ba13bSMingming Cao ei->i_state &= ~EXT4_STATE_NEW; 3034ac27a0ecSDave Kleikamp 3035ac27a0ecSDave Kleikamp out_brelse: 3036ac27a0ecSDave Kleikamp brelse (bh); 3037617ba13bSMingming Cao ext4_std_error(inode->i_sb, err); 3038ac27a0ecSDave Kleikamp return err; 3039ac27a0ecSDave Kleikamp } 3040ac27a0ecSDave Kleikamp 3041ac27a0ecSDave Kleikamp /* 3042617ba13bSMingming Cao * ext4_write_inode() 3043ac27a0ecSDave Kleikamp * 3044ac27a0ecSDave Kleikamp * We are called from a few places: 3045ac27a0ecSDave Kleikamp * 3046ac27a0ecSDave Kleikamp * - Within generic_file_write() for O_SYNC files. 3047ac27a0ecSDave Kleikamp * Here, there will be no transaction running. We wait for any running 3048ac27a0ecSDave Kleikamp * trasnaction to commit. 3049ac27a0ecSDave Kleikamp * 3050ac27a0ecSDave Kleikamp * - Within sys_sync(), kupdate and such. 3051ac27a0ecSDave Kleikamp * We wait on commit, if tol to. 3052ac27a0ecSDave Kleikamp * 3053ac27a0ecSDave Kleikamp * - Within prune_icache() (PF_MEMALLOC == true) 3054ac27a0ecSDave Kleikamp * Here we simply return. We can't afford to block kswapd on the 3055ac27a0ecSDave Kleikamp * journal commit. 3056ac27a0ecSDave Kleikamp * 3057ac27a0ecSDave Kleikamp * In all cases it is actually safe for us to return without doing anything, 3058ac27a0ecSDave Kleikamp * because the inode has been copied into a raw inode buffer in 3059617ba13bSMingming Cao * ext4_mark_inode_dirty(). This is a correctness thing for O_SYNC and for 3060ac27a0ecSDave Kleikamp * knfsd. 3061ac27a0ecSDave Kleikamp * 3062ac27a0ecSDave Kleikamp * Note that we are absolutely dependent upon all inode dirtiers doing the 3063ac27a0ecSDave Kleikamp * right thing: they *must* call mark_inode_dirty() after dirtying info in 3064ac27a0ecSDave Kleikamp * which we are interested. 3065ac27a0ecSDave Kleikamp * 3066ac27a0ecSDave Kleikamp * It would be a bug for them to not do this. The code: 3067ac27a0ecSDave Kleikamp * 3068ac27a0ecSDave Kleikamp * mark_inode_dirty(inode) 3069ac27a0ecSDave Kleikamp * stuff(); 3070ac27a0ecSDave Kleikamp * inode->i_size = expr; 3071ac27a0ecSDave Kleikamp * 3072ac27a0ecSDave Kleikamp * is in error because a kswapd-driven write_inode() could occur while 3073ac27a0ecSDave Kleikamp * `stuff()' is running, and the new i_size will be lost. Plus the inode 3074ac27a0ecSDave Kleikamp * will no longer be on the superblock's dirty inode list. 3075ac27a0ecSDave Kleikamp */ 3076617ba13bSMingming Cao int ext4_write_inode(struct inode *inode, int wait) 3077ac27a0ecSDave Kleikamp { 3078ac27a0ecSDave Kleikamp if (current->flags & PF_MEMALLOC) 3079ac27a0ecSDave Kleikamp return 0; 3080ac27a0ecSDave Kleikamp 3081617ba13bSMingming Cao if (ext4_journal_current_handle()) { 3082b38bd33aSMingming Cao jbd_debug(1, "called recursively, non-PF_MEMALLOC!\n"); 3083ac27a0ecSDave Kleikamp dump_stack(); 3084ac27a0ecSDave Kleikamp return -EIO; 3085ac27a0ecSDave Kleikamp } 3086ac27a0ecSDave Kleikamp 3087ac27a0ecSDave Kleikamp if (!wait) 3088ac27a0ecSDave Kleikamp return 0; 3089ac27a0ecSDave Kleikamp 3090617ba13bSMingming Cao return ext4_force_commit(inode->i_sb); 3091ac27a0ecSDave Kleikamp } 3092ac27a0ecSDave Kleikamp 3093ac27a0ecSDave Kleikamp /* 3094617ba13bSMingming Cao * ext4_setattr() 3095ac27a0ecSDave Kleikamp * 3096ac27a0ecSDave Kleikamp * Called from notify_change. 3097ac27a0ecSDave Kleikamp * 3098ac27a0ecSDave Kleikamp * We want to trap VFS attempts to truncate the file as soon as 3099ac27a0ecSDave Kleikamp * possible. In particular, we want to make sure that when the VFS 3100ac27a0ecSDave Kleikamp * shrinks i_size, we put the inode on the orphan list and modify 3101ac27a0ecSDave Kleikamp * i_disksize immediately, so that during the subsequent flushing of 3102ac27a0ecSDave Kleikamp * dirty pages and freeing of disk blocks, we can guarantee that any 3103ac27a0ecSDave Kleikamp * commit will leave the blocks being flushed in an unused state on 3104ac27a0ecSDave Kleikamp * disk. (On recovery, the inode will get truncated and the blocks will 3105ac27a0ecSDave Kleikamp * be freed, so we have a strong guarantee that no future commit will 3106ac27a0ecSDave Kleikamp * leave these blocks visible to the user.) 3107ac27a0ecSDave Kleikamp * 3108ac27a0ecSDave Kleikamp * Called with inode->sem down. 3109ac27a0ecSDave Kleikamp */ 3110617ba13bSMingming Cao int ext4_setattr(struct dentry *dentry, struct iattr *attr) 3111ac27a0ecSDave Kleikamp { 3112ac27a0ecSDave Kleikamp struct inode *inode = dentry->d_inode; 3113ac27a0ecSDave Kleikamp int error, rc = 0; 3114ac27a0ecSDave Kleikamp const unsigned int ia_valid = attr->ia_valid; 3115ac27a0ecSDave Kleikamp 3116ac27a0ecSDave Kleikamp error = inode_change_ok(inode, attr); 3117ac27a0ecSDave Kleikamp if (error) 3118ac27a0ecSDave Kleikamp return error; 3119ac27a0ecSDave Kleikamp 3120ac27a0ecSDave Kleikamp if ((ia_valid & ATTR_UID && attr->ia_uid != inode->i_uid) || 3121ac27a0ecSDave Kleikamp (ia_valid & ATTR_GID && attr->ia_gid != inode->i_gid)) { 3122ac27a0ecSDave Kleikamp handle_t *handle; 3123ac27a0ecSDave Kleikamp 3124ac27a0ecSDave Kleikamp /* (user+group)*(old+new) structure, inode write (sb, 3125ac27a0ecSDave Kleikamp * inode block, ? - but truncate inode update has it) */ 3126617ba13bSMingming Cao handle = ext4_journal_start(inode, 2*(EXT4_QUOTA_INIT_BLOCKS(inode->i_sb)+ 3127617ba13bSMingming Cao EXT4_QUOTA_DEL_BLOCKS(inode->i_sb))+3); 3128ac27a0ecSDave Kleikamp if (IS_ERR(handle)) { 3129ac27a0ecSDave Kleikamp error = PTR_ERR(handle); 3130ac27a0ecSDave Kleikamp goto err_out; 3131ac27a0ecSDave Kleikamp } 3132ac27a0ecSDave Kleikamp error = DQUOT_TRANSFER(inode, attr) ? -EDQUOT : 0; 3133ac27a0ecSDave Kleikamp if (error) { 3134617ba13bSMingming Cao ext4_journal_stop(handle); 3135ac27a0ecSDave Kleikamp return error; 3136ac27a0ecSDave Kleikamp } 3137ac27a0ecSDave Kleikamp /* Update corresponding info in inode so that everything is in 3138ac27a0ecSDave Kleikamp * one transaction */ 3139ac27a0ecSDave Kleikamp if (attr->ia_valid & ATTR_UID) 3140ac27a0ecSDave Kleikamp inode->i_uid = attr->ia_uid; 3141ac27a0ecSDave Kleikamp if (attr->ia_valid & ATTR_GID) 3142ac27a0ecSDave Kleikamp inode->i_gid = attr->ia_gid; 3143617ba13bSMingming Cao error = ext4_mark_inode_dirty(handle, inode); 3144617ba13bSMingming Cao ext4_journal_stop(handle); 3145ac27a0ecSDave Kleikamp } 3146ac27a0ecSDave Kleikamp 3147e2b46574SEric Sandeen if (attr->ia_valid & ATTR_SIZE) { 3148e2b46574SEric Sandeen if (!(EXT4_I(inode)->i_flags & EXT4_EXTENTS_FL)) { 3149e2b46574SEric Sandeen struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb); 3150e2b46574SEric Sandeen 3151e2b46574SEric Sandeen if (attr->ia_size > sbi->s_bitmap_maxbytes) { 3152e2b46574SEric Sandeen error = -EFBIG; 3153e2b46574SEric Sandeen goto err_out; 3154e2b46574SEric Sandeen } 3155e2b46574SEric Sandeen } 3156e2b46574SEric Sandeen } 3157e2b46574SEric Sandeen 3158ac27a0ecSDave Kleikamp if (S_ISREG(inode->i_mode) && 3159ac27a0ecSDave Kleikamp attr->ia_valid & ATTR_SIZE && attr->ia_size < inode->i_size) { 3160ac27a0ecSDave Kleikamp handle_t *handle; 3161ac27a0ecSDave Kleikamp 3162617ba13bSMingming Cao handle = ext4_journal_start(inode, 3); 3163ac27a0ecSDave Kleikamp if (IS_ERR(handle)) { 3164ac27a0ecSDave Kleikamp error = PTR_ERR(handle); 3165ac27a0ecSDave Kleikamp goto err_out; 3166ac27a0ecSDave Kleikamp } 3167ac27a0ecSDave Kleikamp 3168617ba13bSMingming Cao error = ext4_orphan_add(handle, inode); 3169617ba13bSMingming Cao EXT4_I(inode)->i_disksize = attr->ia_size; 3170617ba13bSMingming Cao rc = ext4_mark_inode_dirty(handle, inode); 3171ac27a0ecSDave Kleikamp if (!error) 3172ac27a0ecSDave Kleikamp error = rc; 3173617ba13bSMingming Cao ext4_journal_stop(handle); 3174ac27a0ecSDave Kleikamp } 3175ac27a0ecSDave Kleikamp 3176ac27a0ecSDave Kleikamp rc = inode_setattr(inode, attr); 3177ac27a0ecSDave Kleikamp 3178617ba13bSMingming Cao /* If inode_setattr's call to ext4_truncate failed to get a 3179ac27a0ecSDave Kleikamp * transaction handle at all, we need to clean up the in-core 3180ac27a0ecSDave Kleikamp * orphan list manually. */ 3181ac27a0ecSDave Kleikamp if (inode->i_nlink) 3182617ba13bSMingming Cao ext4_orphan_del(NULL, inode); 3183ac27a0ecSDave Kleikamp 3184ac27a0ecSDave Kleikamp if (!rc && (ia_valid & ATTR_MODE)) 3185617ba13bSMingming Cao rc = ext4_acl_chmod(inode); 3186ac27a0ecSDave Kleikamp 3187ac27a0ecSDave Kleikamp err_out: 3188617ba13bSMingming Cao ext4_std_error(inode->i_sb, error); 3189ac27a0ecSDave Kleikamp if (!error) 3190ac27a0ecSDave Kleikamp error = rc; 3191ac27a0ecSDave Kleikamp return error; 3192ac27a0ecSDave Kleikamp } 3193ac27a0ecSDave Kleikamp 3194ac27a0ecSDave Kleikamp 3195ac27a0ecSDave Kleikamp /* 3196ac27a0ecSDave Kleikamp * How many blocks doth make a writepage()? 3197ac27a0ecSDave Kleikamp * 3198ac27a0ecSDave Kleikamp * With N blocks per page, it may be: 3199ac27a0ecSDave Kleikamp * N data blocks 3200ac27a0ecSDave Kleikamp * 2 indirect block 3201ac27a0ecSDave Kleikamp * 2 dindirect 3202ac27a0ecSDave Kleikamp * 1 tindirect 3203ac27a0ecSDave Kleikamp * N+5 bitmap blocks (from the above) 3204ac27a0ecSDave Kleikamp * N+5 group descriptor summary blocks 3205ac27a0ecSDave Kleikamp * 1 inode block 3206ac27a0ecSDave Kleikamp * 1 superblock. 3207617ba13bSMingming Cao * 2 * EXT4_SINGLEDATA_TRANS_BLOCKS for the quote files 3208ac27a0ecSDave Kleikamp * 3209617ba13bSMingming Cao * 3 * (N + 5) + 2 + 2 * EXT4_SINGLEDATA_TRANS_BLOCKS 3210ac27a0ecSDave Kleikamp * 3211ac27a0ecSDave Kleikamp * With ordered or writeback data it's the same, less the N data blocks. 3212ac27a0ecSDave Kleikamp * 3213ac27a0ecSDave Kleikamp * If the inode's direct blocks can hold an integral number of pages then a 3214ac27a0ecSDave Kleikamp * page cannot straddle two indirect blocks, and we can only touch one indirect 3215ac27a0ecSDave Kleikamp * and dindirect block, and the "5" above becomes "3". 3216ac27a0ecSDave Kleikamp * 3217ac27a0ecSDave Kleikamp * This still overestimates under most circumstances. If we were to pass the 3218ac27a0ecSDave Kleikamp * start and end offsets in here as well we could do block_to_path() on each 3219ac27a0ecSDave Kleikamp * block and work out the exact number of indirects which are touched. Pah. 3220ac27a0ecSDave Kleikamp */ 3221ac27a0ecSDave Kleikamp 3222a86c6181SAlex Tomas int ext4_writepage_trans_blocks(struct inode *inode) 3223ac27a0ecSDave Kleikamp { 3224617ba13bSMingming Cao int bpp = ext4_journal_blocks_per_page(inode); 3225617ba13bSMingming Cao int indirects = (EXT4_NDIR_BLOCKS % bpp) ? 5 : 3; 3226ac27a0ecSDave Kleikamp int ret; 3227ac27a0ecSDave Kleikamp 3228a86c6181SAlex Tomas if (EXT4_I(inode)->i_flags & EXT4_EXTENTS_FL) 3229a86c6181SAlex Tomas return ext4_ext_writepage_trans_blocks(inode, bpp); 3230a86c6181SAlex Tomas 3231617ba13bSMingming Cao if (ext4_should_journal_data(inode)) 3232ac27a0ecSDave Kleikamp ret = 3 * (bpp + indirects) + 2; 3233ac27a0ecSDave Kleikamp else 3234ac27a0ecSDave Kleikamp ret = 2 * (bpp + indirects) + 2; 3235ac27a0ecSDave Kleikamp 3236ac27a0ecSDave Kleikamp #ifdef CONFIG_QUOTA 3237ac27a0ecSDave Kleikamp /* We know that structure was already allocated during DQUOT_INIT so 3238ac27a0ecSDave Kleikamp * we will be updating only the data blocks + inodes */ 3239617ba13bSMingming Cao ret += 2*EXT4_QUOTA_TRANS_BLOCKS(inode->i_sb); 3240ac27a0ecSDave Kleikamp #endif 3241ac27a0ecSDave Kleikamp 3242ac27a0ecSDave Kleikamp return ret; 3243ac27a0ecSDave Kleikamp } 3244ac27a0ecSDave Kleikamp 3245ac27a0ecSDave Kleikamp /* 3246617ba13bSMingming Cao * The caller must have previously called ext4_reserve_inode_write(). 3247ac27a0ecSDave Kleikamp * Give this, we know that the caller already has write access to iloc->bh. 3248ac27a0ecSDave Kleikamp */ 3249617ba13bSMingming Cao int ext4_mark_iloc_dirty(handle_t *handle, 3250617ba13bSMingming Cao struct inode *inode, struct ext4_iloc *iloc) 3251ac27a0ecSDave Kleikamp { 3252ac27a0ecSDave Kleikamp int err = 0; 3253ac27a0ecSDave Kleikamp 325425ec56b5SJean Noel Cordenner if (test_opt(inode->i_sb, I_VERSION)) 325525ec56b5SJean Noel Cordenner inode_inc_iversion(inode); 325625ec56b5SJean Noel Cordenner 3257ac27a0ecSDave Kleikamp /* the do_update_inode consumes one bh->b_count */ 3258ac27a0ecSDave Kleikamp get_bh(iloc->bh); 3259ac27a0ecSDave Kleikamp 3260dab291afSMingming Cao /* ext4_do_update_inode() does jbd2_journal_dirty_metadata */ 3261617ba13bSMingming Cao err = ext4_do_update_inode(handle, inode, iloc); 3262ac27a0ecSDave Kleikamp put_bh(iloc->bh); 3263ac27a0ecSDave Kleikamp return err; 3264ac27a0ecSDave Kleikamp } 3265ac27a0ecSDave Kleikamp 3266ac27a0ecSDave Kleikamp /* 3267ac27a0ecSDave Kleikamp * On success, We end up with an outstanding reference count against 3268ac27a0ecSDave Kleikamp * iloc->bh. This _must_ be cleaned up later. 3269ac27a0ecSDave Kleikamp */ 3270ac27a0ecSDave Kleikamp 3271ac27a0ecSDave Kleikamp int 3272617ba13bSMingming Cao ext4_reserve_inode_write(handle_t *handle, struct inode *inode, 3273617ba13bSMingming Cao struct ext4_iloc *iloc) 3274ac27a0ecSDave Kleikamp { 3275ac27a0ecSDave Kleikamp int err = 0; 3276ac27a0ecSDave Kleikamp if (handle) { 3277617ba13bSMingming Cao err = ext4_get_inode_loc(inode, iloc); 3278ac27a0ecSDave Kleikamp if (!err) { 3279ac27a0ecSDave Kleikamp BUFFER_TRACE(iloc->bh, "get_write_access"); 3280617ba13bSMingming Cao err = ext4_journal_get_write_access(handle, iloc->bh); 3281ac27a0ecSDave Kleikamp if (err) { 3282ac27a0ecSDave Kleikamp brelse(iloc->bh); 3283ac27a0ecSDave Kleikamp iloc->bh = NULL; 3284ac27a0ecSDave Kleikamp } 3285ac27a0ecSDave Kleikamp } 3286ac27a0ecSDave Kleikamp } 3287617ba13bSMingming Cao ext4_std_error(inode->i_sb, err); 3288ac27a0ecSDave Kleikamp return err; 3289ac27a0ecSDave Kleikamp } 3290ac27a0ecSDave Kleikamp 3291ac27a0ecSDave Kleikamp /* 32926dd4ee7cSKalpak Shah * Expand an inode by new_extra_isize bytes. 32936dd4ee7cSKalpak Shah * Returns 0 on success or negative error number on failure. 32946dd4ee7cSKalpak Shah */ 32951d03ec98SAneesh Kumar K.V static int ext4_expand_extra_isize(struct inode *inode, 32961d03ec98SAneesh Kumar K.V unsigned int new_extra_isize, 32971d03ec98SAneesh Kumar K.V struct ext4_iloc iloc, 32981d03ec98SAneesh Kumar K.V handle_t *handle) 32996dd4ee7cSKalpak Shah { 33006dd4ee7cSKalpak Shah struct ext4_inode *raw_inode; 33016dd4ee7cSKalpak Shah struct ext4_xattr_ibody_header *header; 33026dd4ee7cSKalpak Shah struct ext4_xattr_entry *entry; 33036dd4ee7cSKalpak Shah 33046dd4ee7cSKalpak Shah if (EXT4_I(inode)->i_extra_isize >= new_extra_isize) 33056dd4ee7cSKalpak Shah return 0; 33066dd4ee7cSKalpak Shah 33076dd4ee7cSKalpak Shah raw_inode = ext4_raw_inode(&iloc); 33086dd4ee7cSKalpak Shah 33096dd4ee7cSKalpak Shah header = IHDR(inode, raw_inode); 33106dd4ee7cSKalpak Shah entry = IFIRST(header); 33116dd4ee7cSKalpak Shah 33126dd4ee7cSKalpak Shah /* No extended attributes present */ 33136dd4ee7cSKalpak Shah if (!(EXT4_I(inode)->i_state & EXT4_STATE_XATTR) || 33146dd4ee7cSKalpak Shah header->h_magic != cpu_to_le32(EXT4_XATTR_MAGIC)) { 33156dd4ee7cSKalpak Shah memset((void *)raw_inode + EXT4_GOOD_OLD_INODE_SIZE, 0, 33166dd4ee7cSKalpak Shah new_extra_isize); 33176dd4ee7cSKalpak Shah EXT4_I(inode)->i_extra_isize = new_extra_isize; 33186dd4ee7cSKalpak Shah return 0; 33196dd4ee7cSKalpak Shah } 33206dd4ee7cSKalpak Shah 33216dd4ee7cSKalpak Shah /* try to expand with EAs present */ 33226dd4ee7cSKalpak Shah return ext4_expand_extra_isize_ea(inode, new_extra_isize, 33236dd4ee7cSKalpak Shah raw_inode, handle); 33246dd4ee7cSKalpak Shah } 33256dd4ee7cSKalpak Shah 33266dd4ee7cSKalpak Shah /* 3327ac27a0ecSDave Kleikamp * What we do here is to mark the in-core inode as clean with respect to inode 3328ac27a0ecSDave Kleikamp * dirtiness (it may still be data-dirty). 3329ac27a0ecSDave Kleikamp * This means that the in-core inode may be reaped by prune_icache 3330ac27a0ecSDave Kleikamp * without having to perform any I/O. This is a very good thing, 3331ac27a0ecSDave Kleikamp * because *any* task may call prune_icache - even ones which 3332ac27a0ecSDave Kleikamp * have a transaction open against a different journal. 3333ac27a0ecSDave Kleikamp * 3334ac27a0ecSDave Kleikamp * Is this cheating? Not really. Sure, we haven't written the 3335ac27a0ecSDave Kleikamp * inode out, but prune_icache isn't a user-visible syncing function. 3336ac27a0ecSDave Kleikamp * Whenever the user wants stuff synced (sys_sync, sys_msync, sys_fsync) 3337ac27a0ecSDave Kleikamp * we start and wait on commits. 3338ac27a0ecSDave Kleikamp * 3339ac27a0ecSDave Kleikamp * Is this efficient/effective? Well, we're being nice to the system 3340ac27a0ecSDave Kleikamp * by cleaning up our inodes proactively so they can be reaped 3341ac27a0ecSDave Kleikamp * without I/O. But we are potentially leaving up to five seconds' 3342ac27a0ecSDave Kleikamp * worth of inodes floating about which prune_icache wants us to 3343ac27a0ecSDave Kleikamp * write out. One way to fix that would be to get prune_icache() 3344ac27a0ecSDave Kleikamp * to do a write_super() to free up some memory. It has the desired 3345ac27a0ecSDave Kleikamp * effect. 3346ac27a0ecSDave Kleikamp */ 3347617ba13bSMingming Cao int ext4_mark_inode_dirty(handle_t *handle, struct inode *inode) 3348ac27a0ecSDave Kleikamp { 3349617ba13bSMingming Cao struct ext4_iloc iloc; 33506dd4ee7cSKalpak Shah struct ext4_sb_info *sbi = EXT4_SB(inode->i_sb); 33516dd4ee7cSKalpak Shah static unsigned int mnt_count; 33526dd4ee7cSKalpak Shah int err, ret; 3353ac27a0ecSDave Kleikamp 3354ac27a0ecSDave Kleikamp might_sleep(); 3355617ba13bSMingming Cao err = ext4_reserve_inode_write(handle, inode, &iloc); 33566dd4ee7cSKalpak Shah if (EXT4_I(inode)->i_extra_isize < sbi->s_want_extra_isize && 33576dd4ee7cSKalpak Shah !(EXT4_I(inode)->i_state & EXT4_STATE_NO_EXPAND)) { 33586dd4ee7cSKalpak Shah /* 33596dd4ee7cSKalpak Shah * We need extra buffer credits since we may write into EA block 33606dd4ee7cSKalpak Shah * with this same handle. If journal_extend fails, then it will 33616dd4ee7cSKalpak Shah * only result in a minor loss of functionality for that inode. 33626dd4ee7cSKalpak Shah * If this is felt to be critical, then e2fsck should be run to 33636dd4ee7cSKalpak Shah * force a large enough s_min_extra_isize. 33646dd4ee7cSKalpak Shah */ 33656dd4ee7cSKalpak Shah if ((jbd2_journal_extend(handle, 33666dd4ee7cSKalpak Shah EXT4_DATA_TRANS_BLOCKS(inode->i_sb))) == 0) { 33676dd4ee7cSKalpak Shah ret = ext4_expand_extra_isize(inode, 33686dd4ee7cSKalpak Shah sbi->s_want_extra_isize, 33696dd4ee7cSKalpak Shah iloc, handle); 33706dd4ee7cSKalpak Shah if (ret) { 33716dd4ee7cSKalpak Shah EXT4_I(inode)->i_state |= EXT4_STATE_NO_EXPAND; 3372c1bddad9SAneesh Kumar K.V if (mnt_count != 3373c1bddad9SAneesh Kumar K.V le16_to_cpu(sbi->s_es->s_mnt_count)) { 337446e665e9SHarvey Harrison ext4_warning(inode->i_sb, __func__, 33756dd4ee7cSKalpak Shah "Unable to expand inode %lu. Delete" 33766dd4ee7cSKalpak Shah " some EAs or run e2fsck.", 33776dd4ee7cSKalpak Shah inode->i_ino); 3378c1bddad9SAneesh Kumar K.V mnt_count = 3379c1bddad9SAneesh Kumar K.V le16_to_cpu(sbi->s_es->s_mnt_count); 33806dd4ee7cSKalpak Shah } 33816dd4ee7cSKalpak Shah } 33826dd4ee7cSKalpak Shah } 33836dd4ee7cSKalpak Shah } 3384ac27a0ecSDave Kleikamp if (!err) 3385617ba13bSMingming Cao err = ext4_mark_iloc_dirty(handle, inode, &iloc); 3386ac27a0ecSDave Kleikamp return err; 3387ac27a0ecSDave Kleikamp } 3388ac27a0ecSDave Kleikamp 3389ac27a0ecSDave Kleikamp /* 3390617ba13bSMingming Cao * ext4_dirty_inode() is called from __mark_inode_dirty() 3391ac27a0ecSDave Kleikamp * 3392ac27a0ecSDave Kleikamp * We're really interested in the case where a file is being extended. 3393ac27a0ecSDave Kleikamp * i_size has been changed by generic_commit_write() and we thus need 3394ac27a0ecSDave Kleikamp * to include the updated inode in the current transaction. 3395ac27a0ecSDave Kleikamp * 3396ac27a0ecSDave Kleikamp * Also, DQUOT_ALLOC_SPACE() will always dirty the inode when blocks 3397ac27a0ecSDave Kleikamp * are allocated to the file. 3398ac27a0ecSDave Kleikamp * 3399ac27a0ecSDave Kleikamp * If the inode is marked synchronous, we don't honour that here - doing 3400ac27a0ecSDave Kleikamp * so would cause a commit on atime updates, which we don't bother doing. 3401ac27a0ecSDave Kleikamp * We handle synchronous inodes at the highest possible level. 3402ac27a0ecSDave Kleikamp */ 3403617ba13bSMingming Cao void ext4_dirty_inode(struct inode *inode) 3404ac27a0ecSDave Kleikamp { 3405617ba13bSMingming Cao handle_t *current_handle = ext4_journal_current_handle(); 3406ac27a0ecSDave Kleikamp handle_t *handle; 3407ac27a0ecSDave Kleikamp 3408617ba13bSMingming Cao handle = ext4_journal_start(inode, 2); 3409ac27a0ecSDave Kleikamp if (IS_ERR(handle)) 3410ac27a0ecSDave Kleikamp goto out; 3411ac27a0ecSDave Kleikamp if (current_handle && 3412ac27a0ecSDave Kleikamp current_handle->h_transaction != handle->h_transaction) { 3413ac27a0ecSDave Kleikamp /* This task has a transaction open against a different fs */ 3414ac27a0ecSDave Kleikamp printk(KERN_EMERG "%s: transactions do not match!\n", 341546e665e9SHarvey Harrison __func__); 3416ac27a0ecSDave Kleikamp } else { 3417ac27a0ecSDave Kleikamp jbd_debug(5, "marking dirty. outer handle=%p\n", 3418ac27a0ecSDave Kleikamp current_handle); 3419617ba13bSMingming Cao ext4_mark_inode_dirty(handle, inode); 3420ac27a0ecSDave Kleikamp } 3421617ba13bSMingming Cao ext4_journal_stop(handle); 3422ac27a0ecSDave Kleikamp out: 3423ac27a0ecSDave Kleikamp return; 3424ac27a0ecSDave Kleikamp } 3425ac27a0ecSDave Kleikamp 3426ac27a0ecSDave Kleikamp #if 0 3427ac27a0ecSDave Kleikamp /* 3428ac27a0ecSDave Kleikamp * Bind an inode's backing buffer_head into this transaction, to prevent 3429ac27a0ecSDave Kleikamp * it from being flushed to disk early. Unlike 3430617ba13bSMingming Cao * ext4_reserve_inode_write, this leaves behind no bh reference and 3431ac27a0ecSDave Kleikamp * returns no iloc structure, so the caller needs to repeat the iloc 3432ac27a0ecSDave Kleikamp * lookup to mark the inode dirty later. 3433ac27a0ecSDave Kleikamp */ 3434617ba13bSMingming Cao static int ext4_pin_inode(handle_t *handle, struct inode *inode) 3435ac27a0ecSDave Kleikamp { 3436617ba13bSMingming Cao struct ext4_iloc iloc; 3437ac27a0ecSDave Kleikamp 3438ac27a0ecSDave Kleikamp int err = 0; 3439ac27a0ecSDave Kleikamp if (handle) { 3440617ba13bSMingming Cao err = ext4_get_inode_loc(inode, &iloc); 3441ac27a0ecSDave Kleikamp if (!err) { 3442ac27a0ecSDave Kleikamp BUFFER_TRACE(iloc.bh, "get_write_access"); 3443dab291afSMingming Cao err = jbd2_journal_get_write_access(handle, iloc.bh); 3444ac27a0ecSDave Kleikamp if (!err) 3445617ba13bSMingming Cao err = ext4_journal_dirty_metadata(handle, 3446ac27a0ecSDave Kleikamp iloc.bh); 3447ac27a0ecSDave Kleikamp brelse(iloc.bh); 3448ac27a0ecSDave Kleikamp } 3449ac27a0ecSDave Kleikamp } 3450617ba13bSMingming Cao ext4_std_error(inode->i_sb, err); 3451ac27a0ecSDave Kleikamp return err; 3452ac27a0ecSDave Kleikamp } 3453ac27a0ecSDave Kleikamp #endif 3454ac27a0ecSDave Kleikamp 3455617ba13bSMingming Cao int ext4_change_inode_journal_flag(struct inode *inode, int val) 3456ac27a0ecSDave Kleikamp { 3457ac27a0ecSDave Kleikamp journal_t *journal; 3458ac27a0ecSDave Kleikamp handle_t *handle; 3459ac27a0ecSDave Kleikamp int err; 3460ac27a0ecSDave Kleikamp 3461ac27a0ecSDave Kleikamp /* 3462ac27a0ecSDave Kleikamp * We have to be very careful here: changing a data block's 3463ac27a0ecSDave Kleikamp * journaling status dynamically is dangerous. If we write a 3464ac27a0ecSDave Kleikamp * data block to the journal, change the status and then delete 3465ac27a0ecSDave Kleikamp * that block, we risk forgetting to revoke the old log record 3466ac27a0ecSDave Kleikamp * from the journal and so a subsequent replay can corrupt data. 3467ac27a0ecSDave Kleikamp * So, first we make sure that the journal is empty and that 3468ac27a0ecSDave Kleikamp * nobody is changing anything. 3469ac27a0ecSDave Kleikamp */ 3470ac27a0ecSDave Kleikamp 3471617ba13bSMingming Cao journal = EXT4_JOURNAL(inode); 3472d699594dSDave Hansen if (is_journal_aborted(journal)) 3473ac27a0ecSDave Kleikamp return -EROFS; 3474ac27a0ecSDave Kleikamp 3475dab291afSMingming Cao jbd2_journal_lock_updates(journal); 3476dab291afSMingming Cao jbd2_journal_flush(journal); 3477ac27a0ecSDave Kleikamp 3478ac27a0ecSDave Kleikamp /* 3479ac27a0ecSDave Kleikamp * OK, there are no updates running now, and all cached data is 3480ac27a0ecSDave Kleikamp * synced to disk. We are now in a completely consistent state 3481ac27a0ecSDave Kleikamp * which doesn't have anything in the journal, and we know that 3482ac27a0ecSDave Kleikamp * no filesystem updates are running, so it is safe to modify 3483ac27a0ecSDave Kleikamp * the inode's in-core data-journaling state flag now. 3484ac27a0ecSDave Kleikamp */ 3485ac27a0ecSDave Kleikamp 3486ac27a0ecSDave Kleikamp if (val) 3487617ba13bSMingming Cao EXT4_I(inode)->i_flags |= EXT4_JOURNAL_DATA_FL; 3488ac27a0ecSDave Kleikamp else 3489617ba13bSMingming Cao EXT4_I(inode)->i_flags &= ~EXT4_JOURNAL_DATA_FL; 3490617ba13bSMingming Cao ext4_set_aops(inode); 3491ac27a0ecSDave Kleikamp 3492dab291afSMingming Cao jbd2_journal_unlock_updates(journal); 3493ac27a0ecSDave Kleikamp 3494ac27a0ecSDave Kleikamp /* Finally we can mark the inode as dirty. */ 3495ac27a0ecSDave Kleikamp 3496617ba13bSMingming Cao handle = ext4_journal_start(inode, 1); 3497ac27a0ecSDave Kleikamp if (IS_ERR(handle)) 3498ac27a0ecSDave Kleikamp return PTR_ERR(handle); 3499ac27a0ecSDave Kleikamp 3500617ba13bSMingming Cao err = ext4_mark_inode_dirty(handle, inode); 3501ac27a0ecSDave Kleikamp handle->h_sync = 1; 3502617ba13bSMingming Cao ext4_journal_stop(handle); 3503617ba13bSMingming Cao ext4_std_error(inode->i_sb, err); 3504ac27a0ecSDave Kleikamp 3505ac27a0ecSDave Kleikamp return err; 3506ac27a0ecSDave Kleikamp } 3507