inode.c
上传用户:jlfgdled
上传日期:2013-04-10
资源大小:33168k
文件大小:81k
源码类别:

Linux/Unix编程

开发平台:

Unix_Linux

  1. /*
  2.  *  linux/fs/ext3/inode.c
  3.  *
  4.  * Copyright (C) 1992, 1993, 1994, 1995
  5.  * Remy Card (card@masi.ibp.fr)
  6.  * Laboratoire MASI - Institut Blaise Pascal
  7.  * Universite Pierre et Marie Curie (Paris VI)
  8.  *
  9.  *  from
  10.  *
  11.  *  linux/fs/minix/inode.c
  12.  *
  13.  *  Copyright (C) 1991, 1992  Linus Torvalds
  14.  *
  15.  *  Goal-directed block allocation by Stephen Tweedie
  16.  *  (sct@redhat.com), 1993, 1998
  17.  *  Big-endian to little-endian byte-swapping/bitmaps by
  18.  *        David S. Miller (davem@caip.rutgers.edu), 1995
  19.  *  64-bit file support on 64-bit platforms by Jakub Jelinek
  20.  *  (jj@sunsite.ms.mff.cuni.cz)
  21.  *
  22.  *  Assorted race fixes, rewrite of ext3_get_block() by Al Viro, 2000
  23.  */
  24. #include <linux/fs.h>
  25. #include <linux/sched.h>
  26. #include <linux/ext3_jbd.h>
  27. #include <linux/jbd.h>
  28. #include <linux/locks.h>
  29. #include <linux/smp_lock.h>
  30. #include <linux/highuid.h>
  31. #include <linux/quotaops.h>
  32. #include <linux/module.h>
  33. /*
  34.  * SEARCH_FROM_ZERO forces each block allocation to search from the start
  35.  * of the filesystem.  This is to force rapid reallocation of recently-freed
  36.  * blocks.  The file fragmentation is horrendous.
  37.  */
  38. #undef SEARCH_FROM_ZERO
  39. /* The ext3 forget function must perform a revoke if we are freeing data
  40.  * which has been journaled.  Metadata (eg. indirect blocks) must be
  41.  * revoked in all cases. 
  42.  *
  43.  * "bh" may be NULL: a metadata block may have been freed from memory
  44.  * but there may still be a record of it in the journal, and that record
  45.  * still needs to be revoked.
  46.  */
  47. static int ext3_forget(handle_t *handle, int is_metadata,
  48.        struct inode *inode, struct buffer_head *bh,
  49.        int blocknr)
  50. {
  51. int err;
  52. BUFFER_TRACE(bh, "enter");
  53. jbd_debug(4, "forgetting bh %p: is_metadata = %d, mode %o, "
  54.   "data mode %lxn",
  55.   bh, is_metadata, inode->i_mode,
  56.   test_opt(inode->i_sb, DATA_FLAGS));
  57. /* Never use the revoke function if we are doing full data
  58.  * journaling: there is no need to, and a V1 superblock won't
  59.  * support it.  Otherwise, only skip the revoke on un-journaled
  60.  * data blocks. */
  61. if (test_opt(inode->i_sb, DATA_FLAGS) == EXT3_MOUNT_JOURNAL_DATA ||
  62.     (!is_metadata && !ext3_should_journal_data(inode))) {
  63. if (bh) {
  64. BUFFER_TRACE(bh, "call journal_forget");
  65. ext3_journal_forget(handle, bh);
  66. }
  67. return 0;
  68. }
  69. /*
  70.  * data!=journal && (is_metadata || should_journal_data(inode))
  71.  */
  72. BUFFER_TRACE(bh, "call ext3_journal_revoke");
  73. err = ext3_journal_revoke(handle, blocknr, bh);
  74. if (err)
  75. ext3_abort(inode->i_sb, __FUNCTION__,
  76.    "error %d when attempting revoke", err);
  77. BUFFER_TRACE(bh, "exit");
  78. return err;
  79. }
  80. /* 
  81.  * Truncate transactions can be complex and absolutely huge.  So we need to
  82.  * be able to restart the transaction at a conventient checkpoint to make
  83.  * sure we don't overflow the journal.
  84.  *
  85.  * start_transaction gets us a new handle for a truncate transaction,
  86.  * and extend_transaction tries to extend the existing one a bit.  If
  87.  * extend fails, we need to propagate the failure up and restart the
  88.  * transaction in the top-level truncate loop. --sct 
  89.  */
  90. static handle_t *start_transaction(struct inode *inode) 
  91. {
  92. long needed;
  93. handle_t *result;
  94. needed = inode->i_blocks;
  95. if (needed > EXT3_MAX_TRANS_DATA) 
  96. needed = EXT3_MAX_TRANS_DATA;
  97. result = ext3_journal_start(inode, EXT3_DATA_TRANS_BLOCKS + needed);
  98. if (!IS_ERR(result))
  99. return result;
  100. ext3_std_error(inode->i_sb, PTR_ERR(result));
  101. return result;
  102. }
  103. /*
  104.  * Try to extend this transaction for the purposes of truncation.
  105.  *
  106.  * Returns 0 if we managed to create more room.  If we can't create more
  107.  * room, and the transaction must be restarted we return 1.
  108.  */
  109. static int try_to_extend_transaction(handle_t *handle, struct inode *inode)
  110. {
  111. long needed;
  112. if (handle->h_buffer_credits > EXT3_RESERVE_TRANS_BLOCKS)
  113. return 0;
  114. needed = inode->i_blocks;
  115. if (needed > EXT3_MAX_TRANS_DATA) 
  116. needed = EXT3_MAX_TRANS_DATA;
  117. if (!ext3_journal_extend(handle, EXT3_RESERVE_TRANS_BLOCKS + needed))
  118. return 0;
  119. return 1;
  120. }
  121. /*
  122.  * Restart the transaction associated with *handle.  This does a commit,
  123.  * so before we call here everything must be consistently dirtied against
  124.  * this transaction.
  125.  */
  126. static int ext3_journal_test_restart(handle_t *handle, struct inode *inode)
  127. {
  128. long needed = inode->i_blocks;
  129. if (needed > EXT3_MAX_TRANS_DATA) 
  130. needed = EXT3_MAX_TRANS_DATA;
  131. jbd_debug(2, "restarting handle %pn", handle);
  132. return ext3_journal_restart(handle, EXT3_DATA_TRANS_BLOCKS + needed);
  133. }
  134. /*
  135.  * Called at each iput()
  136.  */
  137. void ext3_put_inode (struct inode * inode)
  138. {
  139. ext3_discard_prealloc (inode);
  140. }
  141. /*
  142.  * Called at the last iput() if i_nlink is zero.
  143.  */
  144. void ext3_delete_inode (struct inode * inode)
  145. {
  146. handle_t *handle;
  147. if (is_bad_inode(inode) ||
  148.     inode->i_ino == EXT3_ACL_IDX_INO ||
  149.     inode->i_ino == EXT3_ACL_DATA_INO)
  150. goto no_delete;
  151. lock_kernel();
  152. handle = start_transaction(inode);
  153. if (IS_ERR(handle)) {
  154. /* If we're going to skip the normal cleanup, we still
  155.  * need to make sure that the in-core orphan linked list
  156.  * is properly cleaned up. */
  157. ext3_orphan_del(NULL, inode);
  158. ext3_std_error(inode->i_sb, PTR_ERR(handle));
  159. unlock_kernel();
  160. goto no_delete;
  161. }
  162. if (IS_SYNC(inode))
  163. handle->h_sync = 1;
  164. inode->i_size = 0;
  165. if (inode->i_blocks)
  166. ext3_truncate(inode);
  167. /*
  168.  * Kill off the orphan record which ext3_truncate created.
  169.  * AKPM: I think this can be inside the above `if'.
  170.  * Note that ext3_orphan_del() has to be able to cope with the
  171.  * deletion of a non-existent orphan - this is because we don't
  172.  * know if ext3_truncate() actually created an orphan record.
  173.  * (Well, we could do this if we need to, but heck - it works)
  174.  */
  175. ext3_orphan_del(handle, inode);
  176. inode->u.ext3_i.i_dtime = CURRENT_TIME;
  177. /* 
  178.  * One subtle ordering requirement: if anything has gone wrong
  179.  * (transaction abort, IO errors, whatever), then we can still
  180.  * do these next steps (the fs will already have been marked as
  181.  * having errors), but we can't free the inode if the mark_dirty
  182.  * fails.  
  183.  */
  184. if (ext3_mark_inode_dirty(handle, inode))
  185. /* If that failed, just do the required in-core inode clear. */
  186. clear_inode(inode);
  187. else
  188. ext3_free_inode(handle, inode);
  189. ext3_journal_stop(handle, inode);
  190. unlock_kernel();
  191. return;
  192. no_delete:
  193. clear_inode(inode); /* We must guarantee clearing of inode... */
  194. }
  195. void ext3_discard_prealloc (struct inode * inode)
  196. {
  197. #ifdef EXT3_PREALLOCATE
  198. lock_kernel();
  199. /* Writer: ->i_prealloc* */
  200. if (inode->u.ext3_i.i_prealloc_count) {
  201. unsigned short total = inode->u.ext3_i.i_prealloc_count;
  202. unsigned long block = inode->u.ext3_i.i_prealloc_block;
  203. inode->u.ext3_i.i_prealloc_count = 0;
  204. inode->u.ext3_i.i_prealloc_block = 0;
  205. /* Writer: end */
  206. ext3_free_blocks (inode, block, total);
  207. }
  208. unlock_kernel();
  209. #endif
  210. }
  211. static int ext3_alloc_block (handle_t *handle,
  212. struct inode * inode, unsigned long goal, int *err)
  213. {
  214. #ifdef EXT3FS_DEBUG
  215. static unsigned long alloc_hits = 0, alloc_attempts = 0;
  216. #endif
  217. unsigned long result;
  218. #ifdef EXT3_PREALLOCATE
  219. /* Writer: ->i_prealloc* */
  220. if (inode->u.ext3_i.i_prealloc_count &&
  221.     (goal == inode->u.ext3_i.i_prealloc_block ||
  222.      goal + 1 == inode->u.ext3_i.i_prealloc_block))
  223. {
  224. result = inode->u.ext3_i.i_prealloc_block++;
  225. inode->u.ext3_i.i_prealloc_count--;
  226. /* Writer: end */
  227. ext3_debug ("preallocation hit (%lu/%lu).n",
  228.     ++alloc_hits, ++alloc_attempts);
  229. } else {
  230. ext3_discard_prealloc (inode);
  231. ext3_debug ("preallocation miss (%lu/%lu).n",
  232.     alloc_hits, ++alloc_attempts);
  233. if (S_ISREG(inode->i_mode))
  234. result = ext3_new_block (inode, goal, 
  235.  &inode->u.ext3_i.i_prealloc_count,
  236.  &inode->u.ext3_i.i_prealloc_block, err);
  237. else
  238. result = ext3_new_block (inode, goal, 0, 0, err);
  239. /*
  240.  * AKPM: this is somewhat sticky.  I'm not surprised it was
  241.  * disabled in 2.2's ext3.  Need to integrate b_committed_data
  242.  * guarding with preallocation, if indeed preallocation is
  243.  * effective.
  244.  */
  245. }
  246. #else
  247. result = ext3_new_block (handle, inode, goal, 0, 0, err);
  248. #endif
  249. return result;
  250. }
  251. typedef struct {
  252. u32 *p;
  253. u32 key;
  254. struct buffer_head *bh;
  255. } Indirect;
  256. static inline void add_chain(Indirect *p, struct buffer_head *bh, u32 *v)
  257. {
  258. p->key = *(p->p = v);
  259. p->bh = bh;
  260. }
  261. static inline int verify_chain(Indirect *from, Indirect *to)
  262. {
  263. while (from <= to && from->key == *from->p)
  264. from++;
  265. return (from > to);
  266. }
  267. /**
  268.  * ext3_block_to_path - parse the block number into array of offsets
  269.  * @inode: inode in question (we are only interested in its superblock)
  270.  * @i_block: block number to be parsed
  271.  * @offsets: array to store the offsets in
  272.  *
  273.  * To store the locations of file's data ext3 uses a data structure common
  274.  * for UNIX filesystems - tree of pointers anchored in the inode, with
  275.  * data blocks at leaves and indirect blocks in intermediate nodes.
  276.  * This function translates the block number into path in that tree -
  277.  * return value is the path length and @offsets[n] is the offset of
  278.  * pointer to (n+1)th node in the nth one. If @block is out of range
  279.  * (negative or too large) warning is printed and zero returned.
  280.  *
  281.  * Note: function doesn't find node addresses, so no IO is needed. All
  282.  * we need to know is the capacity of indirect blocks (taken from the
  283.  * inode->i_sb).
  284.  */
  285. /*
  286.  * Portability note: the last comparison (check that we fit into triple
  287.  * indirect block) is spelled differently, because otherwise on an
  288.  * architecture with 32-bit longs and 8Kb pages we might get into trouble
  289.  * if our filesystem had 8Kb blocks. We might use long long, but that would
  290.  * kill us on x86. Oh, well, at least the sign propagation does not matter -
  291.  * i_block would have to be negative in the very beginning, so we would not
  292.  * get there at all.
  293.  */
  294. static int ext3_block_to_path(struct inode *inode, long i_block, int offsets[4])
  295. {
  296. int ptrs = EXT3_ADDR_PER_BLOCK(inode->i_sb);
  297. int ptrs_bits = EXT3_ADDR_PER_BLOCK_BITS(inode->i_sb);
  298. const long direct_blocks = EXT3_NDIR_BLOCKS,
  299. indirect_blocks = ptrs,
  300. double_blocks = (1 << (ptrs_bits * 2));
  301. int n = 0;
  302. if (i_block < 0) {
  303. ext3_warning (inode->i_sb, "ext3_block_to_path", "block < 0");
  304. } else if (i_block < direct_blocks) {
  305. offsets[n++] = i_block;
  306. } else if ( (i_block -= direct_blocks) < indirect_blocks) {
  307. offsets[n++] = EXT3_IND_BLOCK;
  308. offsets[n++] = i_block;
  309. } else if ((i_block -= indirect_blocks) < double_blocks) {
  310. offsets[n++] = EXT3_DIND_BLOCK;
  311. offsets[n++] = i_block >> ptrs_bits;
  312. offsets[n++] = i_block & (ptrs - 1);
  313. } else if (((i_block -= double_blocks) >> (ptrs_bits * 2)) < ptrs) {
  314. offsets[n++] = EXT3_TIND_BLOCK;
  315. offsets[n++] = i_block >> (ptrs_bits * 2);
  316. offsets[n++] = (i_block >> ptrs_bits) & (ptrs - 1);
  317. offsets[n++] = i_block & (ptrs - 1);
  318. } else {
  319. ext3_warning (inode->i_sb, "ext3_block_to_path", "block > big");
  320. }
  321. return n;
  322. }
  323. /**
  324.  * ext3_get_branch - read the chain of indirect blocks leading to data
  325.  * @inode: inode in question
  326.  * @depth: depth of the chain (1 - direct pointer, etc.)
  327.  * @offsets: offsets of pointers in inode/indirect blocks
  328.  * @chain: place to store the result
  329.  * @err: here we store the error value
  330.  *
  331.  * Function fills the array of triples <key, p, bh> and returns %NULL
  332.  * if everything went OK or the pointer to the last filled triple
  333.  * (incomplete one) otherwise. Upon the return chain[i].key contains
  334.  * the number of (i+1)-th block in the chain (as it is stored in memory,
  335.  * i.e. little-endian 32-bit), chain[i].p contains the address of that
  336.  * number (it points into struct inode for i==0 and into the bh->b_data
  337.  * for i>0) and chain[i].bh points to the buffer_head of i-th indirect
  338.  * block for i>0 and NULL for i==0. In other words, it holds the block
  339.  * numbers of the chain, addresses they were taken from (and where we can
  340.  * verify that chain did not change) and buffer_heads hosting these
  341.  * numbers.
  342.  *
  343.  * Function stops when it stumbles upon zero pointer (absent block)
  344.  * (pointer to last triple returned, *@err == 0)
  345.  * or when it gets an IO error reading an indirect block
  346.  * (ditto, *@err == -EIO)
  347.  * or when it notices that chain had been changed while it was reading
  348.  * (ditto, *@err == -EAGAIN)
  349.  * or when it reads all @depth-1 indirect blocks successfully and finds
  350.  * the whole chain, all way to the data (returns %NULL, *err == 0).
  351.  */
  352. static Indirect *ext3_get_branch(struct inode *inode, int depth, int *offsets,
  353.  Indirect chain[4], int *err)
  354. {
  355. struct super_block *sb = inode->i_sb;
  356. Indirect *p = chain;
  357. struct buffer_head *bh;
  358. *err = 0;
  359. /* i_data is not going away, no lock needed */
  360. add_chain (chain, NULL, inode->u.ext3_i.i_data + *offsets);
  361. if (!p->key)
  362. goto no_block;
  363. while (--depth) {
  364. bh = sb_bread(sb, le32_to_cpu(p->key));
  365. if (!bh)
  366. goto failure;
  367. /* Reader: pointers */
  368. if (!verify_chain(chain, p))
  369. goto changed;
  370. add_chain(++p, bh, (u32*)bh->b_data + *++offsets);
  371. /* Reader: end */
  372. if (!p->key)
  373. goto no_block;
  374. }
  375. return NULL;
  376. changed:
  377. brelse(bh);
  378. *err = -EAGAIN;
  379. goto no_block;
  380. failure:
  381. *err = -EIO;
  382. no_block:
  383. return p;
  384. }
  385. /**
  386.  * ext3_find_near - find a place for allocation with sufficient locality
  387.  * @inode: owner
  388.  * @ind: descriptor of indirect block.
  389.  *
  390.  * This function returns the prefered place for block allocation.
  391.  * It is used when heuristic for sequential allocation fails.
  392.  * Rules are:
  393.  *   + if there is a block to the left of our position - allocate near it.
  394.  *   + if pointer will live in indirect block - allocate near that block.
  395.  *   + if pointer will live in inode - allocate in the same
  396.  *     cylinder group. 
  397.  * Caller must make sure that @ind is valid and will stay that way.
  398.  */
  399. static inline unsigned long ext3_find_near(struct inode *inode, Indirect *ind)
  400. {
  401. u32 *start = ind->bh ? (u32*) ind->bh->b_data : inode->u.ext3_i.i_data;
  402. u32 *p;
  403. /* Try to find previous block */
  404. for (p = ind->p - 1; p >= start; p--)
  405. if (*p)
  406. return le32_to_cpu(*p);
  407. /* No such thing, so let's try location of indirect block */
  408. if (ind->bh)
  409. return ind->bh->b_blocknr;
  410. /*
  411.  * It is going to be refered from inode itself? OK, just put it into
  412.  * the same cylinder group then.
  413.  */
  414. return (inode->u.ext3_i.i_block_group * 
  415. EXT3_BLOCKS_PER_GROUP(inode->i_sb)) +
  416.        le32_to_cpu(inode->i_sb->u.ext3_sb.s_es->s_first_data_block);
  417. }
  418. /**
  419.  * ext3_find_goal - find a prefered place for allocation.
  420.  * @inode: owner
  421.  * @block:  block we want
  422.  * @chain:  chain of indirect blocks
  423.  * @partial: pointer to the last triple within a chain
  424.  * @goal: place to store the result.
  425.  *
  426.  * Normally this function find the prefered place for block allocation,
  427.  * stores it in *@goal and returns zero. If the branch had been changed
  428.  * under us we return -EAGAIN.
  429.  */
  430. static int ext3_find_goal(struct inode *inode, long block, Indirect chain[4],
  431.   Indirect *partial, unsigned long *goal)
  432. {
  433. /* Writer: ->i_next_alloc* */
  434. if (block == inode->u.ext3_i.i_next_alloc_block + 1) {
  435. inode->u.ext3_i.i_next_alloc_block++;
  436. inode->u.ext3_i.i_next_alloc_goal++;
  437. }
  438. #ifdef SEARCH_FROM_ZERO
  439. inode->u.ext3_i.i_next_alloc_block = 0;
  440. inode->u.ext3_i.i_next_alloc_goal = 0;
  441. #endif
  442. /* Writer: end */
  443. /* Reader: pointers, ->i_next_alloc* */
  444. if (verify_chain(chain, partial)) {
  445. /*
  446.  * try the heuristic for sequential allocation,
  447.  * failing that at least try to get decent locality.
  448.  */
  449. if (block == inode->u.ext3_i.i_next_alloc_block)
  450. *goal = inode->u.ext3_i.i_next_alloc_goal;
  451. if (!*goal)
  452. *goal = ext3_find_near(inode, partial);
  453. #ifdef SEARCH_FROM_ZERO
  454. *goal = 0;
  455. #endif
  456. return 0;
  457. }
  458. /* Reader: end */
  459. return -EAGAIN;
  460. }
  461. /**
  462.  * ext3_alloc_branch - allocate and set up a chain of blocks.
  463.  * @inode: owner
  464.  * @num: depth of the chain (number of blocks to allocate)
  465.  * @offsets: offsets (in the blocks) to store the pointers to next.
  466.  * @branch: place to store the chain in.
  467.  *
  468.  * This function allocates @num blocks, zeroes out all but the last one,
  469.  * links them into chain and (if we are synchronous) writes them to disk.
  470.  * In other words, it prepares a branch that can be spliced onto the
  471.  * inode. It stores the information about that chain in the branch[], in
  472.  * the same format as ext3_get_branch() would do. We are calling it after
  473.  * we had read the existing part of chain and partial points to the last
  474.  * triple of that (one with zero ->key). Upon the exit we have the same
  475.  * picture as after the successful ext3_get_block(), excpet that in one
  476.  * place chain is disconnected - *branch->p is still zero (we did not
  477.  * set the last link), but branch->key contains the number that should
  478.  * be placed into *branch->p to fill that gap.
  479.  *
  480.  * If allocation fails we free all blocks we've allocated (and forget
  481.  * their buffer_heads) and return the error value the from failed
  482.  * ext3_alloc_block() (normally -ENOSPC). Otherwise we set the chain
  483.  * as described above and return 0.
  484.  */
  485. static int ext3_alloc_branch(handle_t *handle, struct inode *inode,
  486.      int num,
  487.      unsigned long goal,
  488.      int *offsets,
  489.      Indirect *branch)
  490. {
  491. int blocksize = inode->i_sb->s_blocksize;
  492. int n = 0, keys = 0;
  493. int err = 0;
  494. int i;
  495. int parent = ext3_alloc_block(handle, inode, goal, &err);
  496. branch[0].key = cpu_to_le32(parent);
  497. if (parent) {
  498. for (n = 1; n < num; n++) {
  499. struct buffer_head *bh;
  500. /* Allocate the next block */
  501. int nr = ext3_alloc_block(handle, inode, parent, &err);
  502. if (!nr)
  503. break;
  504. branch[n].key = cpu_to_le32(nr);
  505. keys = n+1;
  506. /*
  507.  * Get buffer_head for parent block, zero it out
  508.  * and set the pointer to new one, then send
  509.  * parent to disk.  
  510.  */
  511. bh = sb_getblk(inode->i_sb, parent);
  512. branch[n].bh = bh;
  513. lock_buffer(bh);
  514. BUFFER_TRACE(bh, "call get_create_access");
  515. err = ext3_journal_get_create_access(handle, bh);
  516. if (err) {
  517. unlock_buffer(bh);
  518. brelse(bh);
  519. break;
  520. }
  521. memset(bh->b_data, 0, blocksize);
  522. branch[n].p = (u32*) bh->b_data + offsets[n];
  523. *branch[n].p = branch[n].key;
  524. BUFFER_TRACE(bh, "marking uptodate");
  525. mark_buffer_uptodate(bh, 1);
  526. unlock_buffer(bh);
  527. BUFFER_TRACE(bh, "call ext3_journal_dirty_metadata");
  528. err = ext3_journal_dirty_metadata(handle, bh);
  529. if (err)
  530. break;
  531. parent = nr;
  532. }
  533. }
  534. if (n == num)
  535. return 0;
  536. /* Allocation failed, free what we already allocated */
  537. for (i = 1; i < keys; i++) {
  538. BUFFER_TRACE(branch[i].bh, "call journal_forget");
  539. ext3_journal_forget(handle, branch[i].bh);
  540. }
  541. for (i = 0; i < keys; i++)
  542. ext3_free_blocks(handle, inode, le32_to_cpu(branch[i].key), 1);
  543. return err;
  544. }
  545. /**
  546.  * ext3_splice_branch - splice the allocated branch onto inode.
  547.  * @inode: owner
  548.  * @block: (logical) number of block we are adding
  549.  * @chain: chain of indirect blocks (with a missing link - see
  550.  * ext3_alloc_branch)
  551.  * @where: location of missing link
  552.  * @num:   number of blocks we are adding
  553.  *
  554.  * This function verifies that chain (up to the missing link) had not
  555.  * changed, fills the missing link and does all housekeeping needed in
  556.  * inode (->i_blocks, etc.). In case of success we end up with the full
  557.  * chain to new block and return 0. Otherwise (== chain had been changed)
  558.  * we free the new blocks (forgetting their buffer_heads, indeed) and
  559.  * return -EAGAIN.
  560.  */
  561. static int ext3_splice_branch(handle_t *handle, struct inode *inode, long block,
  562.       Indirect chain[4], Indirect *where, int num)
  563. {
  564. int i;
  565. int err = 0;
  566. /*
  567.  * If we're splicing into a [td]indirect block (as opposed to the
  568.  * inode) then we need to get write access to the [td]indirect block
  569.  * before the splice.
  570.  */
  571. if (where->bh) {
  572. BUFFER_TRACE(where->bh, "get_write_access");
  573. err = ext3_journal_get_write_access(handle, where->bh);
  574. if (err)
  575. goto err_out;
  576. }
  577. /* Verify that place we are splicing to is still there and vacant */
  578. /* Writer: pointers, ->i_next_alloc* */
  579. if (!verify_chain(chain, where-1) || *where->p)
  580. /* Writer: end */
  581. goto changed;
  582. /* That's it */
  583. *where->p = where->key;
  584. inode->u.ext3_i.i_next_alloc_block = block;
  585. inode->u.ext3_i.i_next_alloc_goal = le32_to_cpu(where[num-1].key);
  586. #ifdef SEARCH_FROM_ZERO
  587. inode->u.ext3_i.i_next_alloc_block = 0;
  588. inode->u.ext3_i.i_next_alloc_goal = 0;
  589. #endif
  590. /* Writer: end */
  591. /* We are done with atomic stuff, now do the rest of housekeeping */
  592. inode->i_ctime = CURRENT_TIME;
  593. ext3_mark_inode_dirty(handle, inode);
  594. /* had we spliced it onto indirect block? */
  595. if (where->bh) {
  596. /*
  597.  * akpm: If we spliced it onto an indirect block, we haven't
  598.  * altered the inode.  Note however that if it is being spliced
  599.  * onto an indirect block at the very end of the file (the
  600.  * file is growing) then we *will* alter the inode to reflect
  601.  * the new i_size.  But that is not done here - it is done in
  602.  * generic_commit_write->__mark_inode_dirty->ext3_dirty_inode.
  603.  */
  604. jbd_debug(5, "splicing indirect onlyn");
  605. BUFFER_TRACE(where->bh, "call ext3_journal_dirty_metadata");
  606. err = ext3_journal_dirty_metadata(handle, where->bh);
  607. if (err) 
  608. goto err_out;
  609. } else {
  610. /*
  611.  * OK, we spliced it into the inode itself on a direct block.
  612.  * Inode was dirtied above.
  613.  */
  614. jbd_debug(5, "splicing directn");
  615. }
  616. return err;
  617. changed:
  618. /*
  619.  * AKPM: if where[i].bh isn't part of the current updating
  620.  * transaction then we explode nastily.  Test this code path.
  621.  */
  622. jbd_debug(1, "the chain changed: try againn");
  623. err = -EAGAIN;
  624. err_out:
  625. for (i = 1; i < num; i++) {
  626. BUFFER_TRACE(where[i].bh, "call journal_forget");
  627. ext3_journal_forget(handle, where[i].bh);
  628. }
  629. /* For the normal collision cleanup case, we free up the blocks.
  630.  * On genuine filesystem errors we don't even think about doing
  631.  * that. */
  632. if (err == -EAGAIN)
  633. for (i = 0; i < num; i++)
  634. ext3_free_blocks(handle, inode, 
  635.  le32_to_cpu(where[i].key), 1);
  636. return err;
  637. }
  638. /*
  639.  * Allocation strategy is simple: if we have to allocate something, we will
  640.  * have to go the whole way to leaf. So let's do it before attaching anything
  641.  * to tree, set linkage between the newborn blocks, write them if sync is
  642.  * required, recheck the path, free and repeat if check fails, otherwise
  643.  * set the last missing link (that will protect us from any truncate-generated
  644.  * removals - all blocks on the path are immune now) and possibly force the
  645.  * write on the parent block.
  646.  * That has a nice additional property: no special recovery from the failed
  647.  * allocations is needed - we simply release blocks and do not touch anything
  648.  * reachable from inode.
  649.  *
  650.  * akpm: `handle' can be NULL if create == 0.
  651.  *
  652.  * The BKL may not be held on entry here.  Be sure to take it early.
  653.  */
  654. static int ext3_get_block_handle(handle_t *handle, struct inode *inode, 
  655.  long iblock,
  656.  struct buffer_head *bh_result, int create)
  657. {
  658. int err = -EIO;
  659. int offsets[4];
  660. Indirect chain[4];
  661. Indirect *partial;
  662. unsigned long goal;
  663. int left;
  664. int depth = ext3_block_to_path(inode, iblock, offsets);
  665. loff_t new_size;
  666. J_ASSERT(handle != NULL || create == 0);
  667. if (depth == 0)
  668. goto out;
  669. lock_kernel();
  670. reread:
  671. partial = ext3_get_branch(inode, depth, offsets, chain, &err);
  672. /* Simplest case - block found, no allocation needed */
  673. if (!partial) {
  674. bh_result->b_state &= ~(1UL << BH_New);
  675. got_it:
  676. bh_result->b_dev = inode->i_dev;
  677. bh_result->b_blocknr = le32_to_cpu(chain[depth-1].key);
  678. bh_result->b_state |= (1UL << BH_Mapped);
  679. /* Clean up and exit */
  680. partial = chain+depth-1; /* the whole chain */
  681. goto cleanup;
  682. }
  683. /* Next simple case - plain lookup or failed read of indirect block */
  684. if (!create || err == -EIO) {
  685. cleanup:
  686. while (partial > chain) {
  687. BUFFER_TRACE(partial->bh, "call brelse");
  688. brelse(partial->bh);
  689. partial--;
  690. }
  691. BUFFER_TRACE(bh_result, "returned");
  692. unlock_kernel();
  693. out:
  694. return err;
  695. }
  696. /*
  697.  * Indirect block might be removed by truncate while we were
  698.  * reading it. Handling of that case (forget what we've got and
  699.  * reread) is taken out of the main path.
  700.  */
  701. if (err == -EAGAIN)
  702. goto changed;
  703. if (ext3_find_goal(inode, iblock, chain, partial, &goal) < 0)
  704. goto changed;
  705. left = (chain + depth) - partial;
  706. /*
  707.  * Block out ext3_truncate while we alter the tree
  708.  */
  709. down_read(&inode->u.ext3_i.truncate_sem);
  710. err = ext3_alloc_branch(handle, inode, left, goal,
  711. offsets+(partial-chain), partial);
  712. /* The ext3_splice_branch call will free and forget any buffers
  713.  * on the new chain if there is a failure, but that risks using
  714.  * up transaction credits, especially for bitmaps where the
  715.  * credits cannot be returned.  Can we handle this somehow?  We
  716.  * may need to return -EAGAIN upwards in the worst case.  --sct */
  717. if (!err)
  718. err = ext3_splice_branch(handle, inode, iblock, chain,
  719.  partial, left);
  720. up_read(&inode->u.ext3_i.truncate_sem);
  721. if (err == -EAGAIN)
  722. goto changed;
  723. if (err)
  724. goto cleanup;
  725. new_size = inode->i_size;
  726. /*
  727.  * This is not racy against ext3_truncate's modification of i_disksize
  728.  * because VM/VFS ensures that the file cannot be extended while
  729.  * truncate is in progress.  It is racy between multiple parallel
  730.  * instances of get_block, but we have the BKL.
  731.  */
  732. if (new_size > inode->u.ext3_i.i_disksize)
  733. inode->u.ext3_i.i_disksize = new_size;
  734. bh_result->b_state |= (1UL << BH_New);
  735. goto got_it;
  736. changed:
  737. while (partial > chain) {
  738. jbd_debug(1, "buffer chain changed, retryingn");
  739. BUFFER_TRACE(partial->bh, "brelsing");
  740. brelse(partial->bh);
  741. partial--;
  742. }
  743. goto reread;
  744. }
  745. /*
  746.  * The BKL is not held on entry here.
  747.  */
  748. static int ext3_get_block(struct inode *inode, long iblock,
  749. struct buffer_head *bh_result, int create)
  750. {
  751. handle_t *handle = 0;
  752. int ret;
  753. if (create) {
  754. handle = ext3_journal_current_handle();
  755. J_ASSERT(handle != 0);
  756. }
  757. ret = ext3_get_block_handle(handle, inode, iblock, bh_result, create);
  758. return ret;
  759. }
  760. /*
  761.  * `handle' can be NULL if create is zero
  762.  */
  763. struct buffer_head *ext3_getblk(handle_t *handle, struct inode * inode,
  764. long block, int create, int * errp)
  765. {
  766. struct buffer_head dummy;
  767. int fatal = 0, err;
  768. J_ASSERT(handle != NULL || create == 0);
  769. dummy.b_state = 0;
  770. dummy.b_blocknr = -1000;
  771. buffer_trace_init(&dummy.b_history);
  772. *errp = ext3_get_block_handle(handle, inode, block, &dummy, create);
  773. if (!*errp && buffer_mapped(&dummy)) {
  774. struct buffer_head *bh;
  775. bh = sb_getblk(inode->i_sb, dummy.b_blocknr);
  776. if (buffer_new(&dummy)) {
  777. J_ASSERT(create != 0);
  778. J_ASSERT(handle != 0);
  779. /* Now that we do not always journal data, we
  780.    should keep in mind whether this should
  781.    always journal the new buffer as metadata.
  782.    For now, regular file writes use
  783.    ext3_get_block instead, so it's not a
  784.    problem. */
  785. lock_kernel();
  786. lock_buffer(bh);
  787. BUFFER_TRACE(bh, "call get_create_access");
  788. fatal = ext3_journal_get_create_access(handle, bh);
  789. if (!fatal) {
  790. memset(bh->b_data, 0,
  791.        inode->i_sb->s_blocksize);
  792. mark_buffer_uptodate(bh, 1);
  793. }
  794. unlock_buffer(bh);
  795. BUFFER_TRACE(bh, "call ext3_journal_dirty_metadata");
  796. err = ext3_journal_dirty_metadata(handle, bh);
  797. if (!fatal) fatal = err;
  798. unlock_kernel();
  799. } else {
  800. BUFFER_TRACE(bh, "not a new buffer");
  801. }
  802. if (fatal) {
  803. *errp = fatal;
  804. brelse(bh);
  805. bh = NULL;
  806. }
  807. return bh;
  808. }
  809. return NULL;
  810. }
  811. struct buffer_head *ext3_bread(handle_t *handle, struct inode * inode,
  812.        int block, int create, int *err)
  813. {
  814. struct buffer_head * bh;
  815. int prev_blocks;
  816. prev_blocks = inode->i_blocks;
  817. bh = ext3_getblk (handle, inode, block, create, err);
  818. if (!bh)
  819. return bh;
  820. #ifdef EXT3_PREALLOCATE
  821. /*
  822.  * If the inode has grown, and this is a directory, then use a few
  823.  * more of the preallocated blocks to keep directory fragmentation
  824.  * down.  The preallocated blocks are guaranteed to be contiguous.
  825.  */
  826. if (create &&
  827.     S_ISDIR(inode->i_mode) &&
  828.     inode->i_blocks > prev_blocks &&
  829.     EXT3_HAS_COMPAT_FEATURE(inode->i_sb,
  830.     EXT3_FEATURE_COMPAT_DIR_PREALLOC)) {
  831. int i;
  832. struct buffer_head *tmp_bh;
  833. for (i = 1;
  834.      inode->u.ext3_i.i_prealloc_count &&
  835.      i < EXT3_SB(inode->i_sb)->s_es->s_prealloc_dir_blocks;
  836.      i++) {
  837. /*
  838.  * ext3_getblk will zero out the contents of the
  839.  * directory for us
  840.  */
  841. tmp_bh = ext3_getblk(handle, inode,
  842. block+i, create, err);
  843. if (!tmp_bh) {
  844. brelse (bh);
  845. return 0;
  846. }
  847. brelse (tmp_bh);
  848. }
  849. }
  850. #endif
  851. if (buffer_uptodate(bh))
  852. return bh;
  853. ll_rw_block (READ, 1, &bh);
  854. wait_on_buffer (bh);
  855. if (buffer_uptodate(bh))
  856. return bh;
  857. brelse (bh);
  858. *err = -EIO;
  859. return NULL;
  860. }
  861. static int walk_page_buffers( handle_t *handle,
  862. struct inode *inode,
  863. struct buffer_head *head,
  864. unsigned from,
  865. unsigned to,
  866. int *partial,
  867. int (*fn)( handle_t *handle,
  868. struct inode *inode,
  869. struct buffer_head *bh))
  870. {
  871. struct buffer_head *bh;
  872. unsigned block_start, block_end;
  873. unsigned blocksize = head->b_size;
  874. int err, ret = 0;
  875. for ( bh = head, block_start = 0;
  876. ret == 0 && (bh != head || !block_start);
  877.      block_start = block_end, bh = bh->b_this_page)
  878. {
  879. block_end = block_start + blocksize;
  880. if (block_end <= from || block_start >= to) {
  881. if (partial && !buffer_uptodate(bh))
  882. *partial = 1;
  883. continue;
  884. }
  885. err = (*fn)(handle, inode, bh);
  886. if (!ret)
  887. ret = err;
  888. }
  889. return ret;
  890. }
  891. /*
  892.  * To preserve ordering, it is essential that the hole instantiation and
  893.  * the data write be encapsulated in a single transaction.  We cannot
  894.  * close off a transaction and start a new one between the ext3_get_block()
  895.  * and the commit_write().  So doing the journal_start at the start of
  896.  * prepare_write() is the right place.
  897.  *
  898.  * Also, this function can nest inside ext3_writepage() ->
  899.  * block_write_full_page(). In that case, we *know* that ext3_writepage()
  900.  * has generated enough buffer credits to do the whole page.  So we won't
  901.  * block on the journal in that case, which is good, because the caller may
  902.  * be PF_MEMALLOC.
  903.  *
  904.  * By accident, ext3 can be reentered when a transaction is open via
  905.  * quota file writes.  If we were to commit the transaction while thus
  906.  * reentered, there can be a deadlock - we would be holding a quota
  907.  * lock, and the commit would never complete if another thread had a
  908.  * transaction open and was blocking on the quota lock - a ranking
  909.  * violation.
  910.  *
  911.  * So what we do is to rely on the fact that journal_stop/journal_start
  912.  * will _not_ run commit under these circumstances because handle->h_ref
  913.  * is elevated.  We'll still have enough credits for the tiny quotafile
  914.  * write.  
  915.  */
  916. static int do_journal_get_write_access(handle_t *handle, struct inode *inode,
  917.        struct buffer_head *bh)
  918. {
  919. return ext3_journal_get_write_access(handle, bh);
  920. }
  921. static int ext3_prepare_write(struct file *file, struct page *page,
  922.       unsigned from, unsigned to)
  923. {
  924. struct inode *inode = page->mapping->host;
  925. int ret, needed_blocks = ext3_writepage_trans_blocks(inode);
  926. handle_t *handle;
  927. lock_kernel();
  928. handle = ext3_journal_start(inode, needed_blocks);
  929. if (IS_ERR(handle)) {
  930. ret = PTR_ERR(handle);
  931. goto out;
  932. }
  933. unlock_kernel();
  934. ret = block_prepare_write(page, from, to, ext3_get_block);
  935. lock_kernel();
  936. if (ret != 0)
  937. goto prepare_write_failed;
  938. if (ext3_should_journal_data(inode)) {
  939. ret = walk_page_buffers(handle, inode, page->buffers,
  940. from, to, NULL, do_journal_get_write_access);
  941. if (ret) {
  942. /*
  943.  * We're going to fail this prepare_write(),
  944.  * so commit_write() will not be called.
  945.  * We need to undo block_prepare_write()'s kmap().
  946.  * AKPM: Do we need to clear PageUptodate?  I don't
  947.  * think so.
  948.  */
  949. kunmap(page);
  950. }
  951. }
  952. prepare_write_failed:
  953. if (ret)
  954. ext3_journal_stop(handle, inode);
  955. out:
  956. unlock_kernel();
  957. return ret;
  958. }
  959. static int journal_dirty_sync_data(handle_t *handle, struct inode *inode,
  960.    struct buffer_head *bh)
  961. {
  962. int ret = ext3_journal_dirty_data(handle, bh, 0);
  963. buffer_insert_inode_data_queue(bh, inode);
  964. return ret;
  965. }
  966. /*
  967.  * For ext3_writepage().  We also brelse() the buffer to account for
  968.  * the bget() which ext3_writepage() performs.
  969.  */
  970. static int journal_dirty_async_data(handle_t *handle, struct inode *inode, 
  971.     struct buffer_head *bh)
  972. {
  973. int ret = ext3_journal_dirty_data(handle, bh, 1);
  974. buffer_insert_inode_data_queue(bh, inode);
  975. __brelse(bh);
  976. return ret;
  977. }
  978. /* For commit_write() in data=journal mode */
  979. static int commit_write_fn(handle_t *handle, struct inode *inode, 
  980.    struct buffer_head *bh)
  981. {
  982. set_bit(BH_Uptodate, &bh->b_state);
  983. return ext3_journal_dirty_metadata(handle, bh);
  984. }
  985. /*
  986.  * We need to pick up the new inode size which generic_commit_write gave us
  987.  * `file' can be NULL - eg, when called from block_symlink().
  988.  *
  989.  * ext3 inode->i_dirty_buffers policy:  If we're journalling data we
  990.  * definitely don't want them to appear on the inode at all - instead
  991.  * we need to manage them at the JBD layer and we need to intercept
  992.  * the relevant sync operations and translate them into journal operations.
  993.  *
  994.  * If we're not journalling data then we can just leave the buffers
  995.  * on ->i_dirty_buffers.  If someone writes them out for us then thanks.
  996.  * Otherwise we'll do it in commit, if we're using ordered data.
  997.  */
  998. static int ext3_commit_write(struct file *file, struct page *page,
  999.      unsigned from, unsigned to)
  1000. {
  1001. handle_t *handle = ext3_journal_current_handle();
  1002. struct inode *inode = page->mapping->host;
  1003. int ret = 0, ret2;
  1004. lock_kernel();
  1005. if (ext3_should_journal_data(inode)) {
  1006. /*
  1007.  * Here we duplicate the generic_commit_write() functionality
  1008.  */
  1009. int partial = 0;
  1010. loff_t pos = ((loff_t)page->index << PAGE_CACHE_SHIFT) + to;
  1011. ret = walk_page_buffers(handle, inode, page->buffers,
  1012. from, to, &partial, commit_write_fn);
  1013. if (!partial)
  1014. SetPageUptodate(page);
  1015. kunmap(page);
  1016. if (pos > inode->i_size)
  1017. inode->i_size = pos;
  1018. EXT3_I(inode)->i_state |= EXT3_STATE_JDATA;
  1019. } else {
  1020. if (ext3_should_order_data(inode)) {
  1021. ret = walk_page_buffers(handle, inode, page->buffers,
  1022. from, to, NULL, journal_dirty_sync_data);
  1023. }
  1024. /* Be careful here if generic_commit_write becomes a
  1025.  * required invocation after block_prepare_write. */
  1026. if (ret == 0) {
  1027. ret = generic_commit_write(file, page, from, to);
  1028. } else {
  1029. /*
  1030.  * block_prepare_write() was called, but we're not
  1031.  * going to call generic_commit_write().  So we
  1032.  * need to perform generic_commit_write()'s kunmap
  1033.  * by hand.
  1034.  */
  1035. kunmap(page);
  1036. }
  1037. }
  1038. if (inode->i_size > inode->u.ext3_i.i_disksize) {
  1039. inode->u.ext3_i.i_disksize = inode->i_size;
  1040. ret2 = ext3_mark_inode_dirty(handle, inode);
  1041. if (!ret) 
  1042. ret = ret2;
  1043. }
  1044. ret2 = ext3_journal_stop(handle, inode);
  1045. unlock_kernel();
  1046. if (!ret)
  1047. ret = ret2;
  1048. return ret;
  1049. }
  1050. /* 
  1051.  * bmap() is special.  It gets used by applications such as lilo and by
  1052.  * the swapper to find the on-disk block of a specific piece of data.
  1053.  *
  1054.  * Naturally, this is dangerous if the block concerned is still in the
  1055.  * journal.  If somebody makes a swapfile on an ext3 data-journaling
  1056.  * filesystem and enables swap, then they may get a nasty shock when the
  1057.  * data getting swapped to that swapfile suddenly gets overwritten by
  1058.  * the original zero's written out previously to the journal and
  1059.  * awaiting writeback in the kernel's buffer cache. 
  1060.  *
  1061.  * So, if we see any bmap calls here on a modified, data-journaled file,
  1062.  * take extra steps to flush any blocks which might be in the cache. 
  1063.  */
  1064. static int ext3_bmap(struct address_space *mapping, long block)
  1065. {
  1066. struct inode *inode = mapping->host;
  1067. journal_t *journal;
  1068. int err;
  1069. if (EXT3_I(inode)->i_state & EXT3_STATE_JDATA) {
  1070. /* 
  1071.  * This is a REALLY heavyweight approach, but the use of
  1072.  * bmap on dirty files is expected to be extremely rare:
  1073.  * only if we run lilo or swapon on a freshly made file
  1074.  * do we expect this to happen. 
  1075.  *
  1076.  * (bmap requires CAP_SYS_RAWIO so this does not
  1077.  * represent an unprivileged user DOS attack --- we'd be
  1078.  * in trouble if mortal users could trigger this path at
  1079.  * will.) 
  1080.  *
  1081.  * NB. EXT3_STATE_JDATA is not set on files other than
  1082.  * regular files.  If somebody wants to bmap a directory
  1083.  * or symlink and gets confused because the buffer
  1084.  * hasn't yet been flushed to disk, they deserve
  1085.  * everything they get.
  1086.  */
  1087. EXT3_I(inode)->i_state &= ~EXT3_STATE_JDATA;
  1088. journal = EXT3_JOURNAL(inode);
  1089. journal_lock_updates(journal);
  1090. err = journal_flush(journal);
  1091. journal_unlock_updates(journal);
  1092. if (err)
  1093. return 0;
  1094. }
  1095. return generic_block_bmap(mapping,block,ext3_get_block);
  1096. }
  1097. static int bget_one(handle_t *handle, struct inode *inode, 
  1098.     struct buffer_head *bh)
  1099. {
  1100. atomic_inc(&bh->b_count);
  1101. return 0;
  1102. }
  1103. /*
  1104.  * Note that we always start a transaction even if we're not journalling
  1105.  * data.  This is to preserve ordering: any hole instantiation within
  1106.  * __block_write_full_page -> ext3_get_block() should be journalled
  1107.  * along with the data so we don't crash and then get metadata which
  1108.  * refers to old data.
  1109.  *
  1110.  * In all journalling modes block_write_full_page() will start the I/O.
  1111.  *
  1112.  * Problem:
  1113.  *
  1114.  * ext3_writepage() -> kmalloc() -> __alloc_pages() -> page_launder() ->
  1115.  * ext3_writepage()
  1116.  *
  1117.  * Similar for:
  1118.  *
  1119.  * ext3_file_write() -> generic_file_write() -> __alloc_pages() -> ...
  1120.  *
  1121.  * Same applies to ext3_get_block().  We will deadlock on various things like
  1122.  * lock_journal and i_truncate_sem.
  1123.  *
  1124.  * Setting PF_MEMALLOC here doesn't work - too many internal memory
  1125.  * allocations fail.
  1126.  *
  1127.  * 16May01: If we're reentered then journal_current_handle() will be
  1128.  *     non-zero. We simply *return*.
  1129.  *
  1130.  * 1 July 2001: @@@ FIXME:
  1131.  *   In journalled data mode, a data buffer may be metadata against the
  1132.  *   current transaction.  But the same file is part of a shared mapping
  1133.  *   and someone does a writepage() on it.
  1134.  *
  1135.  *   We will move the buffer onto the async_data list, but *after* it has
  1136.  *   been dirtied. So there's a small window where we have dirty data on
  1137.  *   BJ_Metadata.
  1138.  *
  1139.  *   Note that this only applies to the last partial page in the file.  The
  1140.  *   bit which block_write_full_page() uses prepare/commit for.  (That's
  1141.  *   broken code anyway: it's wrong for msync()).
  1142.  *
  1143.  *   It's a rare case: affects the final partial page, for journalled data
  1144.  *   where the file is subject to bith write() and writepage() in the same
  1145.  *   transction.  To fix it we'll need a custom block_write_full_page().
  1146.  *   We'll probably need that anyway for journalling writepage() output.
  1147.  *
  1148.  * We don't honour synchronous mounts for writepage().  That would be
  1149.  * disastrous.  Any write() or metadata operation will sync the fs for
  1150.  * us.
  1151.  */
  1152. static int ext3_writepage(struct page *page)
  1153. {
  1154. struct inode *inode = page->mapping->host;
  1155. struct buffer_head *page_buffers;
  1156. handle_t *handle = NULL;
  1157. int ret = 0, err;
  1158. int needed;
  1159. int order_data;
  1160. J_ASSERT(PageLocked(page));
  1161. /*
  1162.  * We give up here if we're reentered, because it might be
  1163.  * for a different filesystem.  One *could* look for a
  1164.  * nested transaction opportunity.
  1165.  */
  1166. lock_kernel();
  1167. if (ext3_journal_current_handle())
  1168. goto out_fail;
  1169. needed = ext3_writepage_trans_blocks(inode);
  1170. if (current->flags & PF_MEMALLOC)
  1171. handle = ext3_journal_try_start(inode, needed);
  1172. else
  1173. handle = ext3_journal_start(inode, needed);
  1174. if (IS_ERR(handle)) {
  1175. ret = PTR_ERR(handle);
  1176. goto out_fail;
  1177. }
  1178. order_data = ext3_should_order_data(inode) ||
  1179. ext3_should_journal_data(inode);
  1180. unlock_kernel();
  1181. page_buffers = NULL; /* Purely to prevent compiler warning */
  1182. /* bget() all the buffers */
  1183. if (order_data) {
  1184. if (!page->buffers)
  1185. create_empty_buffers(page,
  1186. inode->i_dev, inode->i_sb->s_blocksize);
  1187. page_buffers = page->buffers;
  1188. walk_page_buffers(handle, inode, page_buffers, 0,
  1189. PAGE_CACHE_SIZE, NULL, bget_one);
  1190. }
  1191. ret = block_write_full_page(page, ext3_get_block);
  1192. /*
  1193.  * The page can become unlocked at any point now, and
  1194.  * truncate can then come in and change things.  So we
  1195.  * can't touch *page from now on.  But *page_buffers is
  1196.  * safe due to elevated refcount.
  1197.  */
  1198. handle = ext3_journal_current_handle();
  1199. lock_kernel();
  1200. /* And attach them to the current transaction */
  1201. if (order_data) {
  1202. err = walk_page_buffers(handle, inode, page_buffers,
  1203. 0, PAGE_CACHE_SIZE, NULL, journal_dirty_async_data);
  1204. if (!ret)
  1205. ret = err;
  1206. }
  1207. err = ext3_journal_stop(handle, inode);
  1208. if (!ret)
  1209. ret = err;
  1210. unlock_kernel();
  1211. return ret;
  1212. out_fail:
  1213. unlock_kernel();
  1214. SetPageDirty(page);
  1215. UnlockPage(page);
  1216. return ret;
  1217. }
  1218. static int ext3_readpage(struct file *file, struct page *page)
  1219. {
  1220. return block_read_full_page(page,ext3_get_block);
  1221. }
  1222. static int ext3_flushpage(struct page *page, unsigned long offset)
  1223. {
  1224. journal_t *journal = EXT3_JOURNAL(page->mapping->host);
  1225. return journal_flushpage(journal, page, offset);
  1226. }
  1227. static int ext3_releasepage(struct page *page, int wait)
  1228. {
  1229. journal_t *journal = EXT3_JOURNAL(page->mapping->host);
  1230. return journal_try_to_free_buffers(journal, page, wait);
  1231. }
  1232. struct address_space_operations ext3_aops = {
  1233. readpage: ext3_readpage, /* BKL not held.  Don't need */
  1234. writepage: ext3_writepage, /* BKL not held.  We take it */
  1235. sync_page: block_sync_page,
  1236. prepare_write: ext3_prepare_write, /* BKL not held.  We take it */
  1237. commit_write: ext3_commit_write, /* BKL not held.  We take it */
  1238. bmap: ext3_bmap, /* BKL held */
  1239. flushpage: ext3_flushpage, /* BKL not held.  Don't need */
  1240. releasepage: ext3_releasepage, /* BKL not held.  Don't need */
  1241. };
  1242. /*
  1243.  * ext3_block_truncate_page() zeroes out a mapping from file offset `from'
  1244.  * up to the end of the block which corresponds to `from'.
  1245.  * This required during truncate. We need to physically zero the tail end
  1246.  * of that block so it doesn't yield old data if the file is later grown.
  1247.  */
  1248. static int ext3_block_truncate_page(handle_t *handle,
  1249. struct address_space *mapping, loff_t from)
  1250. {
  1251. unsigned long index = from >> PAGE_CACHE_SHIFT;
  1252. unsigned offset = from & (PAGE_CACHE_SIZE-1);
  1253. unsigned blocksize, iblock, length, pos;
  1254. struct inode *inode = mapping->host;
  1255. struct page *page;
  1256. struct buffer_head *bh;
  1257. int err;
  1258. blocksize = inode->i_sb->s_blocksize;
  1259. length = offset & (blocksize - 1);
  1260. /* Block boundary? Nothing to do */
  1261. if (!length)
  1262. return 0;
  1263. length = blocksize - length;
  1264. iblock = index << (PAGE_CACHE_SHIFT - inode->i_sb->s_blocksize_bits);
  1265. page = grab_cache_page(mapping, index);
  1266. err = -ENOMEM;
  1267. if (!page)
  1268. goto out;
  1269. if (!page->buffers)
  1270. create_empty_buffers(page, inode->i_dev, blocksize);
  1271. /* Find the buffer that contains "offset" */
  1272. bh = page->buffers;
  1273. pos = blocksize;
  1274. while (offset >= pos) {
  1275. bh = bh->b_this_page;
  1276. iblock++;
  1277. pos += blocksize;
  1278. }
  1279. err = 0;
  1280. if (!buffer_mapped(bh)) {
  1281. /* Hole? Nothing to do */
  1282. if (buffer_uptodate(bh))
  1283. goto unlock;
  1284. ext3_get_block(inode, iblock, bh, 0);
  1285. /* Still unmapped? Nothing to do */
  1286. if (!buffer_mapped(bh))
  1287. goto unlock;
  1288. }
  1289. /* Ok, it's mapped. Make sure it's up-to-date */
  1290. if (Page_Uptodate(page))
  1291. set_bit(BH_Uptodate, &bh->b_state);
  1292. if (!buffer_uptodate(bh)) {
  1293. err = -EIO;
  1294. ll_rw_block(READ, 1, &bh);
  1295. wait_on_buffer(bh);
  1296. /* Uhhuh. Read error. Complain and punt. */
  1297. if (!buffer_uptodate(bh))
  1298. goto unlock;
  1299. }
  1300. if (ext3_should_journal_data(inode)) {
  1301. BUFFER_TRACE(bh, "get write access");
  1302. err = ext3_journal_get_write_access(handle, bh);
  1303. if (err)
  1304. goto unlock;
  1305. }
  1306. memset(kmap(page) + offset, 0, length);
  1307. flush_dcache_page(page);
  1308. kunmap(page);
  1309. BUFFER_TRACE(bh, "zeroed end of block");
  1310. err = 0;
  1311. if (ext3_should_journal_data(inode)) {
  1312. err = ext3_journal_dirty_metadata(handle, bh);
  1313. } else {
  1314. if (ext3_should_order_data(inode))
  1315. err = ext3_journal_dirty_data(handle, bh, 0);
  1316. __mark_buffer_dirty(bh);
  1317. }
  1318. unlock:
  1319. UnlockPage(page);
  1320. page_cache_release(page);
  1321. out:
  1322. return err;
  1323. }
  1324. /*
  1325.  * Probably it should be a library function... search for first non-zero word
  1326.  * or memcmp with zero_page, whatever is better for particular architecture.
  1327.  * Linus?
  1328.  */
  1329. static inline int all_zeroes(u32 *p, u32 *q)
  1330. {
  1331. while (p < q)
  1332. if (*p++)
  1333. return 0;
  1334. return 1;
  1335. }
  1336. /**
  1337.  * ext3_find_shared - find the indirect blocks for partial truncation.
  1338.  * @inode:   inode in question
  1339.  * @depth:   depth of the affected branch
  1340.  * @offsets: offsets of pointers in that branch (see ext3_block_to_path)
  1341.  * @chain:   place to store the pointers to partial indirect blocks
  1342.  * @top:   place to the (detached) top of branch
  1343.  *
  1344.  * This is a helper function used by ext3_truncate().
  1345.  *
  1346.  * When we do truncate() we may have to clean the ends of several
  1347.  * indirect blocks but leave the blocks themselves alive. Block is
  1348.  * partially truncated if some data below the new i_size is refered
  1349.  * from it (and it is on the path to the first completely truncated
  1350.  * data block, indeed).  We have to free the top of that path along
  1351.  * with everything to the right of the path. Since no allocation
  1352.  * past the truncation point is possible until ext3_truncate()
  1353.  * finishes, we may safely do the latter, but top of branch may
  1354.  * require special attention - pageout below the truncation point
  1355.  * might try to populate it.
  1356.  *
  1357.  * We atomically detach the top of branch from the tree, store the
  1358.  * block number of its root in *@top, pointers to buffer_heads of
  1359.  * partially truncated blocks - in @chain[].bh and pointers to
  1360.  * their last elements that should not be removed - in
  1361.  * @chain[].p. Return value is the pointer to last filled element
  1362.  * of @chain.
  1363.  *
  1364.  * The work left to caller to do the actual freeing of subtrees:
  1365.  * a) free the subtree starting from *@top
  1366.  * b) free the subtrees whose roots are stored in
  1367.  * (@chain[i].p+1 .. end of @chain[i].bh->b_data)
  1368.  * c) free the subtrees growing from the inode past the @chain[0].
  1369.  * (no partially truncated stuff there).  */
  1370. static Indirect *ext3_find_shared(struct inode *inode,
  1371. int depth,
  1372. int offsets[4],
  1373. Indirect chain[4],
  1374. u32 *top)
  1375. {
  1376. Indirect *partial, *p;
  1377. int k, err;
  1378. *top = 0;
  1379. /* Make k index the deepest non-null offest + 1 */
  1380. for (k = depth; k > 1 && !offsets[k-1]; k--)
  1381. ;
  1382. partial = ext3_get_branch(inode, k, offsets, chain, &err);
  1383. /* Writer: pointers */
  1384. if (!partial)
  1385. partial = chain + k-1;
  1386. /*
  1387.  * If the branch acquired continuation since we've looked at it -
  1388.  * fine, it should all survive and (new) top doesn't belong to us.
  1389.  */
  1390. if (!partial->key && *partial->p)
  1391. /* Writer: end */
  1392. goto no_top;
  1393. for (p=partial; p>chain && all_zeroes((u32*)p->bh->b_data,p->p); p--)
  1394. ;
  1395. /*
  1396.  * OK, we've found the last block that must survive. The rest of our
  1397.  * branch should be detached before unlocking. However, if that rest
  1398.  * of branch is all ours and does not grow immediately from the inode
  1399.  * it's easier to cheat and just decrement partial->p.
  1400.  */
  1401. if (p == chain + k - 1 && p > chain) {
  1402. p->p--;
  1403. } else {
  1404. *top = *p->p;
  1405. /* Nope, don't do this in ext3.  Must leave the tree intact */
  1406. #if 0
  1407. *p->p = 0;
  1408. #endif
  1409. }
  1410. /* Writer: end */
  1411. while(partial > p)
  1412. {
  1413. brelse(partial->bh);
  1414. partial--;
  1415. }
  1416. no_top:
  1417. return partial;
  1418. }
  1419. /*
  1420.  * Zero a number of block pointers in either an inode or an indirect block.
  1421.  * If we restart the transaction we must again get write access to the
  1422.  * indirect block for further modification.
  1423.  *
  1424.  * We release `count' blocks on disk, but (last - first) may be greater
  1425.  * than `count' because there can be holes in there.
  1426.  */
  1427. static void
  1428. ext3_clear_blocks(handle_t *handle, struct inode *inode, struct buffer_head *bh,
  1429. unsigned long block_to_free, unsigned long count,
  1430. u32 *first, u32 *last)
  1431. {
  1432. u32 *p;
  1433. if (try_to_extend_transaction(handle, inode)) {
  1434. if (bh) {
  1435. BUFFER_TRACE(bh, "call ext3_journal_dirty_metadata");
  1436. ext3_journal_dirty_metadata(handle, bh);
  1437. }
  1438. ext3_mark_inode_dirty(handle, inode);
  1439. ext3_journal_test_restart(handle, inode);
  1440. if (bh) {
  1441. BUFFER_TRACE(bh, "retaking write access");
  1442. ext3_journal_get_write_access(handle, bh);
  1443. }
  1444. }
  1445. /*
  1446.  * Any buffers which are on the journal will be in memory. We find
  1447.  * them on the hash table so journal_revoke() will run journal_forget()
  1448.  * on them.  We've already detached each block from the file, so
  1449.  * bforget() in journal_forget() should be safe.
  1450.  *
  1451.  * AKPM: turn on bforget in journal_forget()!!!
  1452.  */
  1453. for (p = first; p < last; p++) {
  1454. u32 nr = le32_to_cpu(*p);
  1455. if (nr) {
  1456. struct buffer_head *bh;
  1457. *p = 0;
  1458. bh = sb_get_hash_table(inode->i_sb, nr);
  1459. ext3_forget(handle, 0, inode, bh, nr);
  1460. }
  1461. }
  1462. ext3_free_blocks(handle, inode, block_to_free, count);
  1463. }
  1464. /**
  1465.  * ext3_free_data - free a list of data blocks
  1466.  * @handle: handle for this transaction
  1467.  * @inode: inode we are dealing with
  1468.  * @this_bh: indirect buffer_head which contains *@first and *@last
  1469.  * @first: array of block numbers
  1470.  * @last: points immediately past the end of array
  1471.  *
  1472.  * We are freeing all blocks refered from that array (numbers are stored as
  1473.  * little-endian 32-bit) and updating @inode->i_blocks appropriately.
  1474.  *
  1475.  * We accumulate contiguous runs of blocks to free.  Conveniently, if these
  1476.  * blocks are contiguous then releasing them at one time will only affect one
  1477.  * or two bitmap blocks (+ group descriptor(s) and superblock) and we won't
  1478.  * actually use a lot of journal space.
  1479.  *
  1480.  * @this_bh will be %NULL if @first and @last point into the inode's direct
  1481.  * block pointers.
  1482.  */
  1483. static void ext3_free_data(handle_t *handle, struct inode *inode,
  1484.    struct buffer_head *this_bh, u32 *first, u32 *last)
  1485. {
  1486. unsigned long block_to_free = 0;    /* Starting block # of a run */
  1487. unsigned long count = 0;     /* Number of blocks in the run */ 
  1488. u32 *block_to_free_p = NULL;     /* Pointer into inode/ind
  1489.        corresponding to
  1490.        block_to_free */
  1491. unsigned long nr;     /* Current block # */
  1492. u32 *p;     /* Pointer into inode/ind
  1493.        for current block */
  1494. int err;
  1495. if (this_bh) { /* For indirect block */
  1496. BUFFER_TRACE(this_bh, "get_write_access");
  1497. err = ext3_journal_get_write_access(handle, this_bh);
  1498. /* Important: if we can't update the indirect pointers
  1499.  * to the blocks, we can't free them. */
  1500. if (err)
  1501. return;
  1502. }
  1503. for (p = first; p < last; p++) {
  1504. nr = le32_to_cpu(*p);
  1505. if (nr) {
  1506. /* accumulate blocks to free if they're contiguous */
  1507. if (count == 0) {
  1508. block_to_free = nr;
  1509. block_to_free_p = p;
  1510. count = 1;
  1511. } else if (nr == block_to_free + count) {
  1512. count++;
  1513. } else {
  1514. ext3_clear_blocks(handle, inode, this_bh, 
  1515.   block_to_free,
  1516.   count, block_to_free_p, p);
  1517. block_to_free = nr;
  1518. block_to_free_p = p;
  1519. count = 1;
  1520. }
  1521. }
  1522. }
  1523. if (count > 0)
  1524. ext3_clear_blocks(handle, inode, this_bh, block_to_free,
  1525.   count, block_to_free_p, p);
  1526. if (this_bh) {
  1527. BUFFER_TRACE(this_bh, "call ext3_journal_dirty_metadata");
  1528. ext3_journal_dirty_metadata(handle, this_bh);
  1529. }
  1530. }
  1531. /**
  1532.  * ext3_free_branches - free an array of branches
  1533.  * @handle: JBD handle for this transaction
  1534.  * @inode: inode we are dealing with
  1535.  * @parent_bh: the buffer_head which contains *@first and *@last
  1536.  * @first: array of block numbers
  1537.  * @last: pointer immediately past the end of array
  1538.  * @depth: depth of the branches to free
  1539.  *
  1540.  * We are freeing all blocks refered from these branches (numbers are
  1541.  * stored as little-endian 32-bit) and updating @inode->i_blocks
  1542.  * appropriately.
  1543.  */
  1544. static void ext3_free_branches(handle_t *handle, struct inode *inode,
  1545.        struct buffer_head *parent_bh,
  1546.        u32 *first, u32 *last, int depth)
  1547. {
  1548. unsigned long nr;
  1549. u32 *p;
  1550. if (is_handle_aborted(handle))
  1551. return;
  1552. if (depth--) {
  1553. struct buffer_head *bh;
  1554. int addr_per_block = EXT3_ADDR_PER_BLOCK(inode->i_sb);
  1555. p = last;
  1556. while (--p >= first) {
  1557. nr = le32_to_cpu(*p);
  1558. if (!nr)
  1559. continue; /* A hole */
  1560. /* Go read the buffer for the next level down */
  1561. bh = sb_bread(inode->i_sb, nr);
  1562. /*
  1563.  * A read failure? Report error and clear slot
  1564.  * (should be rare).
  1565.  */
  1566. if (!bh) {
  1567. ext3_error(inode->i_sb, "ext3_free_branches",
  1568.    "Read failure, inode=%ld, block=%ld",
  1569.    inode->i_ino, nr);
  1570. continue;
  1571. }
  1572. /* This zaps the entire block.  Bottom up. */
  1573. BUFFER_TRACE(bh, "free child branches");
  1574. ext3_free_branches(handle, inode, bh, (u32*)bh->b_data,
  1575.    (u32*)bh->b_data + addr_per_block,
  1576.    depth);
  1577. /*
  1578.  * We've probably journalled the indirect block several
  1579.  * times during the truncate.  But it's no longer
  1580.  * needed and we now drop it from the transaction via
  1581.  * journal_revoke().
  1582.  *
  1583.  * That's easy if it's exclusively part of this
  1584.  * transaction.  But if it's part of the committing
  1585.  * transaction then journal_forget() will simply
  1586.  * brelse() it.  That means that if the underlying
  1587.  * block is reallocated in ext3_get_block(),
  1588.  * unmap_underlying_metadata() will find this block
  1589.  * and will try to get rid of it.  damn, damn.
  1590.  *
  1591.  * If this block has already been committed to the
  1592.  * journal, a revoke record will be written.  And
  1593.  * revoke records must be emitted *before* clearing
  1594.  * this block's bit in the bitmaps.
  1595.  */
  1596. ext3_forget(handle, 1, inode, bh, bh->b_blocknr);
  1597. /*
  1598.  * Everything below this this pointer has been
  1599.  * released.  Now let this top-of-subtree go.
  1600.  *
  1601.  * We want the freeing of this indirect block to be
  1602.  * atomic in the journal with the updating of the
  1603.  * bitmap block which owns it.  So make some room in
  1604.  * the journal.
  1605.  *
  1606.  * We zero the parent pointer *after* freeing its
  1607.  * pointee in the bitmaps, so if extend_transaction()
  1608.  * for some reason fails to put the bitmap changes and
  1609.  * the release into the same transaction, recovery
  1610.  * will merely complain about releasing a free block,
  1611.  * rather than leaking blocks.
  1612.  */
  1613. if (is_handle_aborted(handle))
  1614. return;
  1615. if (try_to_extend_transaction(handle, inode)) {
  1616. ext3_mark_inode_dirty(handle, inode);
  1617. ext3_journal_test_restart(handle, inode);
  1618. }
  1619. ext3_free_blocks(handle, inode, nr, 1);
  1620. if (parent_bh) {
  1621. /*
  1622.  * The block which we have just freed is
  1623.  * pointed to by an indirect block: journal it
  1624.  */
  1625. BUFFER_TRACE(parent_bh, "get_write_access");
  1626. if (!ext3_journal_get_write_access(handle,
  1627.    parent_bh)){
  1628. *p = 0;
  1629. BUFFER_TRACE(parent_bh,
  1630. "call ext3_journal_dirty_metadata");
  1631. ext3_journal_dirty_metadata(handle, 
  1632.     parent_bh);
  1633. }
  1634. }
  1635. }
  1636. } else {
  1637. /* We have reached the bottom of the tree. */
  1638. BUFFER_TRACE(parent_bh, "free data blocks");
  1639. ext3_free_data(handle, inode, parent_bh, first, last);
  1640. }
  1641. }
  1642. /*
  1643.  * ext3_truncate()
  1644.  *
  1645.  * We block out ext3_get_block() block instantiations across the entire
  1646.  * transaction, and VFS/VM ensures that ext3_truncate() cannot run
  1647.  * simultaneously on behalf of the same inode.
  1648.  *
  1649.  * As we work through the truncate and commmit bits of it to the journal there
  1650.  * is one core, guiding principle: the file's tree must always be consistent on
  1651.  * disk.  We must be able to restart the truncate after a crash.
  1652.  *
  1653.  * The file's tree may be transiently inconsistent in memory (although it
  1654.  * probably isn't), but whenever we close off and commit a journal transaction,
  1655.  * the contents of (the filesystem + the journal) must be consistent and
  1656.  * restartable.  It's pretty simple, really: bottom up, right to left (although
  1657.  * left-to-right works OK too).
  1658.  *
  1659.  * Note that at recovery time, journal replay occurs *before* the restart of
  1660.  * truncate against the orphan inode list.
  1661.  *
  1662.  * The committed inode has the new, desired i_size (which is the same as
  1663.  * i_disksize in this case).  After a crash, ext3_orphan_cleanup() will see
  1664.  * that this inode's truncate did not complete and it will again call
  1665.  * ext3_truncate() to have another go.  So there will be instantiated blocks
  1666.  * to the right of the truncation point in a crashed ext3 filesystem.  But
  1667.  * that's fine - as long as they are linked from the inode, the post-crash
  1668.  * ext3_truncate() run will find them and release them.
  1669.  */
  1670. void ext3_truncate(struct inode * inode)
  1671. {
  1672. handle_t *handle;
  1673. u32 *i_data = inode->u.ext3_i.i_data;
  1674. int addr_per_block = EXT3_ADDR_PER_BLOCK(inode->i_sb);
  1675. int offsets[4];
  1676. Indirect chain[4];
  1677. Indirect *partial;
  1678. int nr = 0;
  1679. int n;
  1680. long last_block;
  1681. unsigned blocksize;
  1682. if (!(S_ISREG(inode->i_mode) || S_ISDIR(inode->i_mode) ||
  1683.     S_ISLNK(inode->i_mode)))
  1684. return;
  1685. if (IS_APPEND(inode) || IS_IMMUTABLE(inode))
  1686. return;
  1687. ext3_discard_prealloc(inode);
  1688. handle = start_transaction(inode);
  1689. if (IS_ERR(handle))
  1690. return; /* AKPM: return what? */
  1691. blocksize = inode->i_sb->s_blocksize;
  1692. last_block = (inode->i_size + blocksize-1)
  1693. >> EXT3_BLOCK_SIZE_BITS(inode->i_sb);
  1694. ext3_block_truncate_page(handle, inode->i_mapping, inode->i_size);
  1695. n = ext3_block_to_path(inode, last_block, offsets);
  1696. if (n == 0)
  1697. goto out_stop; /* error */
  1698. /*
  1699.  * OK.  This truncate is going to happen.  We add the inode to the
  1700.  * orphan list, so that if this truncate spans multiple transactions,
  1701.  * and we crash, we will resume the truncate when the filesystem
  1702.  * recovers.  It also marks the inode dirty, to catch the new size.
  1703.  *
  1704.  * Implication: the file must always be in a sane, consistent
  1705.  * truncatable state while each transaction commits.
  1706.  */
  1707. if (ext3_orphan_add(handle, inode))
  1708. goto out_stop;
  1709. /*
  1710.  * The orphan list entry will now protect us from any crash which
  1711.  * occurs before the truncate completes, so it is now safe to propagate
  1712.  * the new, shorter inode size (held for now in i_size) into the
  1713.  * on-disk inode. We do this via i_disksize, which is the value which
  1714.  * ext3 *really* writes onto the disk inode.
  1715.  */
  1716. inode->u.ext3_i.i_disksize = inode->i_size;
  1717. /*
  1718.  * From here we block out all ext3_get_block() callers who want to
  1719.  * modify the block allocation tree.
  1720.  */
  1721. down_write(&inode->u.ext3_i.truncate_sem);
  1722. if (n == 1) { /* direct blocks */
  1723. ext3_free_data(handle, inode, NULL, i_data+offsets[0],
  1724.        i_data + EXT3_NDIR_BLOCKS);
  1725. goto do_indirects;
  1726. }
  1727. partial = ext3_find_shared(inode, n, offsets, chain, &nr);
  1728. /* Kill the top of shared branch (not detached) */
  1729. if (nr) {
  1730. if (partial == chain) {
  1731. /* Shared branch grows from the inode */
  1732. ext3_free_branches(handle, inode, NULL,
  1733.    &nr, &nr+1, (chain+n-1) - partial);
  1734. *partial->p = 0;
  1735. /*
  1736.  * We mark the inode dirty prior to restart,
  1737.  * and prior to stop.  No need for it here.
  1738.  */
  1739. } else {
  1740. /* Shared branch grows from an indirect block */
  1741. BUFFER_TRACE(partial->bh, "get_write_access");
  1742. ext3_free_branches(handle, inode, partial->bh,
  1743. partial->p,
  1744. partial->p+1, (chain+n-1) - partial);
  1745. }
  1746. }
  1747. /* Clear the ends of indirect blocks on the shared branch */
  1748. while (partial > chain) {
  1749. ext3_free_branches(handle, inode, partial->bh, partial->p + 1,
  1750.    (u32*)partial->bh->b_data + addr_per_block,
  1751.    (chain+n-1) - partial);
  1752. BUFFER_TRACE(partial->bh, "call brelse");
  1753. brelse (partial->bh);
  1754. partial--;
  1755. }
  1756. do_indirects:
  1757. /* Kill the remaining (whole) subtrees */
  1758. switch (offsets[0]) {
  1759. default:
  1760. nr = i_data[EXT3_IND_BLOCK];
  1761. if (nr) {
  1762. ext3_free_branches(handle, inode, NULL,
  1763.    &nr, &nr+1, 1);
  1764. i_data[EXT3_IND_BLOCK] = 0;
  1765. }
  1766. case EXT3_IND_BLOCK:
  1767. nr = i_data[EXT3_DIND_BLOCK];
  1768. if (nr) {
  1769. ext3_free_branches(handle, inode, NULL,
  1770.    &nr, &nr+1, 2);
  1771. i_data[EXT3_DIND_BLOCK] = 0;
  1772. }
  1773. case EXT3_DIND_BLOCK:
  1774. nr = i_data[EXT3_TIND_BLOCK];
  1775. if (nr) {
  1776. ext3_free_branches(handle, inode, NULL,
  1777.    &nr, &nr+1, 3);
  1778. i_data[EXT3_TIND_BLOCK] = 0;
  1779. }
  1780. case EXT3_TIND_BLOCK:
  1781. ;
  1782. }
  1783. up_write(&inode->u.ext3_i.truncate_sem);
  1784. inode->i_mtime = inode->i_ctime = CURRENT_TIME;
  1785. ext3_mark_inode_dirty(handle, inode);
  1786. /* In a multi-transaction truncate, we only make the final
  1787.  * transaction synchronous */
  1788. if (IS_SYNC(inode))
  1789. handle->h_sync = 1;
  1790. out_stop:
  1791. /*
  1792.  * If this was a simple ftruncate(), and the file will remain alive
  1793.  * then we need to clear up the orphan record which we created above.
  1794.  * However, if this was a real unlink then we were called by
  1795.  * ext3_delete_inode(), and we allow that function to clean up the
  1796.  * orphan info for us.
  1797.  */
  1798. if (inode->i_nlink)
  1799. ext3_orphan_del(handle, inode);
  1800. ext3_journal_stop(handle, inode);
  1801. }
  1802. /* 
  1803.  * ext3_get_inode_loc returns with an extra refcount against the
  1804.  * inode's underlying buffer_head on success. 
  1805.  */
  1806. int ext3_get_inode_loc (struct inode *inode, struct ext3_iloc *iloc)
  1807. {
  1808. struct buffer_head *bh = 0;
  1809. unsigned long block;
  1810. unsigned long block_group;
  1811. unsigned long group_desc;
  1812. unsigned long desc;
  1813. unsigned long offset;
  1814. struct ext3_group_desc * gdp;
  1815. if ((inode->i_ino != EXT3_ROOT_INO &&
  1816. inode->i_ino != EXT3_ACL_IDX_INO &&
  1817. inode->i_ino != EXT3_ACL_DATA_INO &&
  1818. inode->i_ino != EXT3_JOURNAL_INO &&
  1819. inode->i_ino < EXT3_FIRST_INO(inode->i_sb)) ||
  1820. inode->i_ino > le32_to_cpu(
  1821. inode->i_sb->u.ext3_sb.s_es->s_inodes_count)) {
  1822. ext3_error (inode->i_sb, "ext3_get_inode_loc",
  1823.     "bad inode number: %lu", inode->i_ino);
  1824. goto bad_inode;
  1825. }
  1826. block_group = (inode->i_ino - 1) / EXT3_INODES_PER_GROUP(inode->i_sb);
  1827. if (block_group >= inode->i_sb->u.ext3_sb.s_groups_count) {
  1828. ext3_error (inode->i_sb, "ext3_get_inode_loc",
  1829.     "group >= groups count");
  1830. goto bad_inode;
  1831. }
  1832. group_desc = block_group >> EXT3_DESC_PER_BLOCK_BITS(inode->i_sb);
  1833. desc = block_group & (EXT3_DESC_PER_BLOCK(inode->i_sb) - 1);
  1834. bh = inode->i_sb->u.ext3_sb.s_group_desc[group_desc];
  1835. if (!bh) {
  1836. ext3_error (inode->i_sb, "ext3_get_inode_loc",
  1837.     "Descriptor not loaded");
  1838. goto bad_inode;
  1839. }
  1840. gdp = (struct ext3_group_desc *) bh->b_data;
  1841. /*
  1842.  * Figure out the offset within the block group inode table
  1843.  */
  1844. offset = ((inode->i_ino - 1) % EXT3_INODES_PER_GROUP(inode->i_sb)) *
  1845. EXT3_INODE_SIZE(inode->i_sb);
  1846. block = le32_to_cpu(gdp[desc].bg_inode_table) +
  1847. (offset >> EXT3_BLOCK_SIZE_BITS(inode->i_sb));
  1848. if (!(bh = sb_bread(inode->i_sb, block))) {
  1849. ext3_error (inode->i_sb, "ext3_get_inode_loc",
  1850.     "unable to read inode block - "
  1851.     "inode=%lu, block=%lu", inode->i_ino, block);
  1852. goto bad_inode;
  1853. }
  1854. offset &= (EXT3_BLOCK_SIZE(inode->i_sb) - 1);
  1855. iloc->bh = bh;
  1856. iloc->raw_inode = (struct ext3_inode *) (bh->b_data + offset);
  1857. iloc->block_group = block_group;
  1858. return 0;
  1859.  bad_inode:
  1860. return -EIO;
  1861. }
  1862. void ext3_read_inode(struct inode * inode)
  1863. {
  1864. struct ext3_iloc iloc;
  1865. struct ext3_inode *raw_inode;
  1866. struct buffer_head *bh;
  1867. int block;
  1868. if(ext3_get_inode_loc(inode, &iloc))
  1869. goto bad_inode;
  1870. bh = iloc.bh;
  1871. raw_inode = iloc.raw_inode;
  1872. init_rwsem(&inode->u.ext3_i.truncate_sem);
  1873. inode->i_mode = le16_to_cpu(raw_inode->i_mode);
  1874. inode->i_uid = (uid_t)le16_to_cpu(raw_inode->i_uid_low);
  1875. inode->i_gid = (gid_t)le16_to_cpu(raw_inode->i_gid_low);
  1876. if(!(test_opt (inode->i_sb, NO_UID32))) {
  1877. inode->i_uid |= le16_to_cpu(raw_inode->i_uid_high) << 16;
  1878. inode->i_gid |= le16_to_cpu(raw_inode->i_gid_high) << 16;
  1879. }
  1880. inode->i_nlink = le16_to_cpu(raw_inode->i_links_count);
  1881. inode->i_size = le32_to_cpu(raw_inode->i_size);
  1882. inode->i_atime = le32_to_cpu(raw_inode->i_atime);
  1883. inode->i_ctime = le32_to_cpu(raw_inode->i_ctime);
  1884. inode->i_mtime = le32_to_cpu(raw_inode->i_mtime);
  1885. inode->u.ext3_i.i_dtime = le32_to_cpu(raw_inode->i_dtime);
  1886. /* We now have enough fields to check if the inode was active or not.
  1887.  * This is needed because nfsd might try to access dead inodes
  1888.  * the test is that same one that e2fsck uses
  1889.  * NeilBrown 1999oct15
  1890.  */
  1891. if (inode->i_nlink == 0) {
  1892. if (inode->i_mode == 0 ||
  1893.     !(inode->i_sb->u.ext3_sb.s_mount_state & EXT3_ORPHAN_FS)) {
  1894. /* this inode is deleted */
  1895. brelse (bh);
  1896. goto bad_inode;
  1897. }
  1898. /* The only unlinked inodes we let through here have
  1899.  * valid i_mode and are being read by the orphan
  1900.  * recovery code: that's fine, we're about to complete
  1901.  * the process of deleting those. */
  1902. }
  1903. inode->i_blksize = PAGE_SIZE; /* This is the optimal IO size
  1904.  * (for stat), not the fs block
  1905.  * size */  
  1906. inode->i_blocks = le32_to_cpu(raw_inode->i_blocks);
  1907. inode->i_version = ++event;
  1908. inode->u.ext3_i.i_flags = le32_to_cpu(raw_inode->i_flags);
  1909. #ifdef EXT3_FRAGMENTS
  1910. inode->u.ext3_i.i_faddr = le32_to_cpu(raw_inode->i_faddr);
  1911. inode->u.ext3_i.i_frag_no = raw_inode->i_frag;
  1912. inode->u.ext3_i.i_frag_size = raw_inode->i_fsize;
  1913. #endif
  1914. inode->u.ext3_i.i_file_acl = le32_to_cpu(raw_inode->i_file_acl);
  1915. if (!S_ISREG(inode->i_mode)) {
  1916. inode->u.ext3_i.i_dir_acl = le32_to_cpu(raw_inode->i_dir_acl);
  1917. } else {
  1918. inode->i_size |=
  1919. ((__u64)le32_to_cpu(raw_inode->i_size_high)) << 32;
  1920. }
  1921. inode->u.ext3_i.i_disksize = inode->i_size;
  1922. inode->i_generation = le32_to_cpu(raw_inode->i_generation);
  1923. #ifdef EXT3_PREALLOCATE
  1924. inode->u.ext3_i.i_prealloc_count = 0;
  1925. #endif
  1926. inode->u.ext3_i.i_block_group = iloc.block_group;
  1927. /*
  1928.  * NOTE! The in-memory inode i_data array is in little-endian order
  1929.  * even on big-endian machines: we do NOT byteswap the block numbers!
  1930.  */
  1931. for (block = 0; block < EXT3_N_BLOCKS; block++)
  1932. inode->u.ext3_i.i_data[block] = iloc.raw_inode->i_block[block];
  1933. INIT_LIST_HEAD(&inode->u.ext3_i.i_orphan);
  1934. brelse (iloc.bh);
  1935. if (inode->i_ino == EXT3_ACL_IDX_INO ||
  1936.     inode->i_ino == EXT3_ACL_DATA_INO)
  1937. /* Nothing to do */ ;
  1938. else if (S_ISREG(inode->i_mode)) {
  1939. inode->i_op = &ext3_file_inode_operations;
  1940. inode->i_fop = &ext3_file_operations;
  1941. inode->i_mapping->a_ops = &ext3_aops;
  1942. } else if (S_ISDIR(inode->i_mode)) {
  1943. inode->i_op = &ext3_dir_inode_operations;
  1944. inode->i_fop = &ext3_dir_operations;
  1945. } else if (S_ISLNK(inode->i_mode)) {
  1946. if (!inode->i_blocks)
  1947. inode->i_op = &ext3_fast_symlink_inode_operations;
  1948. else {
  1949. inode->i_op = &page_symlink_inode_operations;
  1950. inode->i_mapping->a_ops = &ext3_aops;
  1951. }
  1952. } else 
  1953. init_special_inode(inode, inode->i_mode,
  1954.    le32_to_cpu(iloc.raw_inode->i_block[0]));
  1955. /* inode->i_attr_flags = 0; unused */
  1956. if (inode->u.ext3_i.i_flags & EXT3_SYNC_FL) {
  1957. /* inode->i_attr_flags |= ATTR_FLAG_SYNCRONOUS; unused */
  1958. inode->i_flags |= S_SYNC;
  1959. }
  1960. if (inode->u.ext3_i.i_flags & EXT3_APPEND_FL) {
  1961. /* inode->i_attr_flags |= ATTR_FLAG_APPEND; unused */
  1962. inode->i_flags |= S_APPEND;
  1963. }
  1964. if (inode->u.ext3_i.i_flags & EXT3_IMMUTABLE_FL) {
  1965. /* inode->i_attr_flags |= ATTR_FLAG_IMMUTABLE; unused */
  1966. inode->i_flags |= S_IMMUTABLE;
  1967. }
  1968. if (inode->u.ext3_i.i_flags & EXT3_NOATIME_FL) {
  1969. /* inode->i_attr_flags |= ATTR_FLAG_NOATIME; unused */
  1970. inode->i_flags |= S_NOATIME;
  1971. }
  1972. return;
  1973. bad_inode:
  1974. make_bad_inode(inode);
  1975. return;
  1976. }
  1977. /*
  1978.  * Post the struct inode info into an on-disk inode location in the
  1979.  * buffer-cache.  This gobbles the caller's reference to the
  1980.  * buffer_head in the inode location struct.  
  1981.  */
  1982. static int ext3_do_update_inode(handle_t *handle, 
  1983. struct inode *inode, 
  1984. struct ext3_iloc *iloc)
  1985. {
  1986. struct ext3_inode *raw_inode = iloc->raw_inode;
  1987. struct buffer_head *bh = iloc->bh;
  1988. int err = 0, rc, block;
  1989. if (handle) {
  1990. BUFFER_TRACE(bh, "get_write_access");
  1991. err = ext3_journal_get_write_access(handle, bh);
  1992. if (err)
  1993. goto out_brelse;
  1994. }
  1995. raw_inode->i_mode = cpu_to_le16(inode->i_mode);
  1996. if(!(test_opt(inode->i_sb, NO_UID32))) {
  1997. raw_inode->i_uid_low = cpu_to_le16(low_16_bits(inode->i_uid));
  1998. raw_inode->i_gid_low = cpu_to_le16(low_16_bits(inode->i_gid));
  1999. /*
  2000.  * Fix up interoperability with old kernels. Otherwise, old inodes get
  2001.  * re-used with the upper 16 bits of the uid/gid intact
  2002.  */
  2003. if(!inode->u.ext3_i.i_dtime) {
  2004. raw_inode->i_uid_high =
  2005. cpu_to_le16(high_16_bits(inode->i_uid));
  2006. raw_inode->i_gid_high =
  2007. cpu_to_le16(high_16_bits(inode->i_gid));
  2008. } else {
  2009. raw_inode->i_uid_high = 0;
  2010. raw_inode->i_gid_high = 0;
  2011. }
  2012. } else {
  2013. raw_inode->i_uid_low =
  2014. cpu_to_le16(fs_high2lowuid(inode->i_uid));
  2015. raw_inode->i_gid_low =
  2016. cpu_to_le16(fs_high2lowgid(inode->i_gid));
  2017. raw_inode->i_uid_high = 0;
  2018. raw_inode->i_gid_high = 0;
  2019. }
  2020. raw_inode->i_links_count = cpu_to_le16(inode->i_nlink);
  2021. raw_inode->i_size = cpu_to_le32(inode->u.ext3_i.i_disksize);
  2022. raw_inode->i_atime = cpu_to_le32(inode->i_atime);
  2023. raw_inode->i_ctime = cpu_to_le32(inode->i_ctime);
  2024. raw_inode->i_mtime = cpu_to_le32(inode->i_mtime);
  2025. raw_inode->i_blocks = cpu_to_le32(inode->i_blocks);
  2026. raw_inode->i_dtime = cpu_to_le32(inode->u.ext3_i.i_dtime);
  2027. raw_inode->i_flags = cpu_to_le32(inode->u.ext3_i.i_flags);
  2028. #ifdef EXT3_FRAGMENTS
  2029. raw_inode->i_faddr = cpu_to_le32(inode->u.ext3_i.i_faddr);
  2030. raw_inode->i_frag = inode->u.ext3_i.i_frag_no;
  2031. raw_inode->i_fsize = inode->u.ext3_i.i_frag_size;
  2032. #else
  2033. /* If we are not tracking these fields in the in-memory inode,
  2034.  * then preserve them on disk, but still initialise them to zero
  2035.  * for new inodes. */
  2036. if (EXT3_I(inode)->i_state & EXT3_STATE_NEW) {
  2037. raw_inode->i_faddr = 0;
  2038. raw_inode->i_frag = 0;
  2039. raw_inode->i_fsize = 0;
  2040. }
  2041. #endif
  2042. raw_inode->i_file_acl = cpu_to_le32(inode->u.ext3_i.i_file_acl);
  2043. if (!S_ISREG(inode->i_mode)) {
  2044. raw_inode->i_dir_acl = cpu_to_le32(inode->u.ext3_i.i_dir_acl);
  2045. } else {
  2046. raw_inode->i_size_high =
  2047. cpu_to_le32(inode->u.ext3_i.i_disksize >> 32);
  2048. if (inode->u.ext3_i.i_disksize > 0x7fffffffULL) {
  2049. struct super_block *sb = inode->i_sb;
  2050. if (!EXT3_HAS_RO_COMPAT_FEATURE(sb,
  2051. EXT3_FEATURE_RO_COMPAT_LARGE_FILE) ||
  2052.     EXT3_SB(sb)->s_es->s_rev_level ==
  2053. cpu_to_le32(EXT3_GOOD_OLD_REV)) {
  2054.        /* If this is the first large file
  2055. * created, add a flag to the superblock.
  2056. */
  2057. err = ext3_journal_get_write_access(handle,
  2058. sb->u.ext3_sb.s_sbh);
  2059. if (err)
  2060. goto out_brelse;
  2061. ext3_update_dynamic_rev(sb);
  2062. EXT3_SET_RO_COMPAT_FEATURE(sb,
  2063. EXT3_FEATURE_RO_COMPAT_LARGE_FILE);
  2064. sb->s_dirt = 1;
  2065. handle->h_sync = 1;
  2066. err = ext3_journal_dirty_metadata(handle,
  2067. sb->u.ext3_sb.s_sbh);
  2068. }
  2069. }
  2070. }
  2071. raw_inode->i_generation = le32_to_cpu(inode->i_generation);
  2072. if (S_ISCHR(inode->i_mode) || S_ISBLK(inode->i_mode))
  2073. raw_inode->i_block[0] =
  2074. cpu_to_le32(kdev_t_to_nr(inode->i_rdev));
  2075. else for (block = 0; block < EXT3_N_BLOCKS; block++)
  2076. raw_inode->i_block[block] = inode->u.ext3_i.i_data[block];
  2077. BUFFER_TRACE(bh, "call ext3_journal_dirty_metadata");
  2078. rc = ext3_journal_dirty_metadata(handle, bh);
  2079. if (!err)
  2080. err = rc;
  2081. EXT3_I(inode)->i_state &= ~EXT3_STATE_NEW;
  2082. out_brelse:
  2083. brelse (bh);
  2084. ext3_std_error(inode->i_sb, err);
  2085. return err;
  2086. }
  2087. /*
  2088.  * ext3_write_inode()
  2089.  *
  2090.  * We are called from a few places:
  2091.  *
  2092.  * - Within generic_file_write() for O_SYNC files.
  2093.  *   Here, there will be no transaction running. We wait for any running
  2094.  *   trasnaction to commit.
  2095.  *
  2096.  * - Within sys_sync(), kupdate and such.
  2097.  *   We wait on commit, if tol to.
  2098.  *
  2099.  * - Within prune_icache() (PF_MEMALLOC == true)
  2100.  *   Here we simply return.  We can't afford to block kswapd on the
  2101.  *   journal commit.
  2102.  *
  2103.  * In all cases it is actually safe for us to return without doing anything,
  2104.  * because the inode has been copied into a raw inode buffer in
  2105.  * ext3_mark_inode_dirty().  This is a correctness thing for O_SYNC and for
  2106.  * knfsd.
  2107.  *
  2108.  * Note that we are absolutely dependent upon all inode dirtiers doing the
  2109.  * right thing: they *must* call mark_inode_dirty() after dirtying info in
  2110.  * which we are interested.
  2111.  *
  2112.  * It would be a bug for them to not do this.  The code:
  2113.  *
  2114.  * mark_inode_dirty(inode)
  2115.  * stuff();
  2116.  * inode->i_size = expr;
  2117.  *
  2118.  * is in error because a kswapd-driven write_inode() could occur while
  2119.  * `stuff()' is running, and the new i_size will be lost.  Plus the inode
  2120.  * will no longer be on the superblock's dirty inode list.
  2121.  */
  2122. void ext3_write_inode(struct inode *inode, int wait)
  2123. {
  2124. if (current->flags & PF_MEMALLOC)
  2125. return;
  2126. if (ext3_journal_current_handle()) {
  2127. jbd_debug(0, "called recursively, non-PF_MEMALLOC!n");
  2128. return;
  2129. }
  2130. if (!wait)
  2131. return;
  2132. ext3_force_commit(inode->i_sb);
  2133. }
  2134. /*
  2135.  * ext3_setattr()
  2136.  *
  2137.  * Called from notify_change.
  2138.  *
  2139.  * We want to trap VFS attempts to truncate the file as soon as
  2140.  * possible.  In particular, we want to make sure that when the VFS
  2141.  * shrinks i_size, we put the inode on the orphan list and modify
  2142.  * i_disksize immediately, so that during the subsequent flushing of
  2143.  * dirty pages and freeing of disk blocks, we can guarantee that any
  2144.  * commit will leave the blocks being flushed in an unused state on
  2145.  * disk.  (On recovery, the inode will get truncated and the blocks will
  2146.  * be freed, so we have a strong guarantee that no future commit will
  2147.  * leave these blocks visible to the user.)  
  2148.  *
  2149.  * This is only needed for regular files.  rmdir() has its own path, and
  2150.  * we can never truncate a direcory except on final unlink (at which
  2151.  * point i_nlink is zero so recovery is easy.)
  2152.  *
  2153.  * Called with the BKL.  
  2154.  */
  2155. int ext3_setattr(struct dentry *dentry, struct iattr *attr)
  2156. {
  2157. struct inode *inode = dentry->d_inode;
  2158. int error, rc = 0;
  2159. const unsigned int ia_valid = attr->ia_valid;
  2160. error = inode_change_ok(inode, attr);
  2161. if (error)
  2162. return error;
  2163. if ((ia_valid & ATTR_UID && attr->ia_uid != inode->i_uid) ||
  2164. (ia_valid & ATTR_GID && attr->ia_gid != inode->i_gid)) {
  2165. error = DQUOT_TRANSFER(inode, attr) ? -EDQUOT : 0;
  2166. if (error)
  2167. return error;
  2168. }
  2169. if (attr->ia_valid & ATTR_SIZE && attr->ia_size < inode->i_size) {
  2170. handle_t *handle;
  2171. handle = ext3_journal_start(inode, 3);
  2172. if (IS_ERR(handle)) {
  2173. error = PTR_ERR(handle);
  2174. goto err_out;
  2175. }
  2176. error = ext3_orphan_add(handle, inode);
  2177. inode->u.ext3_i.i_disksize = attr->ia_size;
  2178. rc = ext3_mark_inode_dirty(handle, inode);
  2179. if (!error)
  2180. error = rc;
  2181. ext3_journal_stop(handle, inode);
  2182. }
  2183. rc = inode_setattr(inode, attr);
  2184. /* If inode_setattr's call to ext3_truncate failed to get a
  2185.  * transaction handle at all, we need to clean up the in-core
  2186.  * orphan list manually. */
  2187. if (inode->i_nlink)
  2188. ext3_orphan_del(NULL, inode);
  2189. err_out:
  2190. ext3_std_error(inode->i_sb, error);
  2191. if (!error)
  2192. error = rc;
  2193. return error;
  2194. }
  2195. /*
  2196.  * akpm: how many blocks doth make a writepage()?
  2197.  *
  2198.  * With N blocks per page, it may be:
  2199.  * N data blocks
  2200.  * 2 indirect block
  2201.  * 2 dindirect
  2202.  * 1 tindirect
  2203.  * N+5 bitmap blocks (from the above)
  2204.  * N+5 group descriptor summary blocks
  2205.  * 1 inode block
  2206.  * 1 superblock.
  2207.  * 2 * EXT3_SINGLEDATA_TRANS_BLOCKS for the quote files
  2208.  *
  2209.  * 3 * (N + 5) + 2 + 2 * EXT3_SINGLEDATA_TRANS_BLOCKS
  2210.  *
  2211.  * With ordered or writeback data it's the same, less the N data blocks.
  2212.  *
  2213.  * If the inode's direct blocks can hold an integral number of pages then a
  2214.  * page cannot straddle two indirect blocks, and we can only touch one indirect
  2215.  * and dindirect block, and the "5" above becomes "3".
  2216.  *
  2217.  * This still overestimates under most circumstances.  If we were to pass the
  2218.  * start and end offsets in here as well we could do block_to_path() on each
  2219.  * block and work out the exact number of indirects which are touched.  Pah.
  2220.  */
  2221. int ext3_writepage_trans_blocks(struct inode *inode)
  2222. {
  2223. int bpp = ext3_journal_blocks_per_page(inode);
  2224. int indirects = (EXT3_NDIR_BLOCKS % bpp) ? 5 : 3;
  2225. int ret;
  2226. if (ext3_should_journal_data(inode))
  2227. ret = 3 * (bpp + indirects) + 2;
  2228. else
  2229. ret = 2 * (bpp + indirects) + 2;
  2230. #ifdef CONFIG_QUOTA
  2231. ret += 2 * EXT3_SINGLEDATA_TRANS_BLOCKS;
  2232. #endif
  2233. return ret;
  2234. }
  2235. int
  2236. ext3_mark_iloc_dirty(handle_t *handle, 
  2237.      struct inode *inode,
  2238.      struct ext3_iloc *iloc)
  2239. {
  2240. int err = 0;
  2241. if (handle) {
  2242. /* the do_update_inode consumes one bh->b_count */
  2243. atomic_inc(&iloc->bh->b_count);
  2244. err = ext3_do_update_inode(handle, inode, iloc);
  2245. /* ext3_do_update_inode() does journal_dirty_metadata */
  2246. brelse(iloc->bh);
  2247. } else {
  2248. printk(KERN_EMERG "%s: called with no handle!n", __FUNCTION__);
  2249. }
  2250. return err;
  2251. }
  2252. /* 
  2253.  * On success, We end up with an outstanding reference count against
  2254.  * iloc->bh.  This _must_ be cleaned up later. 
  2255.  */
  2256. int
  2257. ext3_reserve_inode_write(handle_t *handle, struct inode *inode, 
  2258.  struct ext3_iloc *iloc)
  2259. {
  2260. int err = 0;
  2261. if (handle) {
  2262. err = ext3_get_inode_loc(inode, iloc);
  2263. if (!err) {
  2264. BUFFER_TRACE(iloc->bh, "get_write_access");
  2265. err = ext3_journal_get_write_access(handle, iloc->bh);
  2266. if (err) {
  2267. brelse(iloc->bh);
  2268. iloc->bh = NULL;
  2269. }
  2270. }
  2271. }
  2272. ext3_std_error(inode->i_sb, err);
  2273. return err;
  2274. }
  2275. /*
  2276.  * akpm: What we do here is to mark the in-core inode as clean
  2277.  * with respect to inode dirtiness (it may still be data-dirty).
  2278.  * This means that the in-core inode may be reaped by prune_icache
  2279.  * without having to perform any I/O.  This is a very good thing,
  2280.  * because *any* task may call prune_icache - even ones which
  2281.  * have a transaction open against a different journal.
  2282.  *
  2283.  * Is this cheating?  Not really.  Sure, we haven't written the
  2284.  * inode out, but prune_icache isn't a user-visible syncing function.
  2285.  * Whenever the user wants stuff synced (sys_sync, sys_msync, sys_fsync)
  2286.  * we start and wait on commits.
  2287.  *
  2288.  * Is this efficient/effective?  Well, we're being nice to the system
  2289.  * by cleaning up our inodes proactively so they can be reaped
  2290.  * without I/O.  But we are potentially leaving up to five seconds'
  2291.  * worth of inodes floating about which prune_icache wants us to
  2292.  * write out.  One way to fix that would be to get prune_icache()
  2293.  * to do a write_super() to free up some memory.  It has the desired
  2294.  * effect.
  2295.  */
  2296. int ext3_mark_inode_dirty(handle_t *handle, struct inode *inode)
  2297. {
  2298. struct ext3_iloc iloc;
  2299. int err;
  2300. err = ext3_reserve_inode_write(handle, inode, &iloc);
  2301. if (!err)
  2302. err = ext3_mark_iloc_dirty(handle, inode, &iloc);
  2303. return err;
  2304. }
  2305. /*
  2306.  * akpm: ext3_dirty_inode() is called from __mark_inode_dirty()
  2307.  *
  2308.  * We're really interested in the case where a file is being extended.
  2309.  * i_size has been changed by generic_commit_write() and we thus need
  2310.  * to include the updated inode in the current transaction.
  2311.  *
  2312.  * Also, DQUOT_ALLOC_SPACE() will always dirty the inode when blocks
  2313.  * are allocated to the file.
  2314.  *
  2315.  * If the inode is marked synchronous, we don't honour that here - doing
  2316.  * so would cause a commit on atime updates, which we don't bother doing.
  2317.  * We handle synchronous inodes at the highest possible level.
  2318.  */
  2319. void ext3_dirty_inode(struct inode *inode)
  2320. {
  2321. handle_t *current_handle = ext3_journal_current_handle();
  2322. handle_t *handle;
  2323. lock_kernel();
  2324. handle = ext3_journal_start(inode, 1);
  2325. if (IS_ERR(handle))
  2326. goto out;
  2327. if (current_handle &&
  2328. current_handle->h_transaction != handle->h_transaction) {
  2329. /* This task has a transaction open against a different fs */
  2330. printk(KERN_EMERG "%s: transactions do not match!n",
  2331. __FUNCTION__);
  2332. } else {
  2333. jbd_debug(5, "marking dirty.  outer handle=%pn",
  2334. current_handle);
  2335. ext3_mark_inode_dirty(handle, inode);
  2336. }
  2337. ext3_journal_stop(handle, inode);
  2338. out:
  2339. unlock_kernel();
  2340. }
  2341. #ifdef AKPM
  2342. /* 
  2343.  * Bind an inode's backing buffer_head into this transaction, to prevent
  2344.  * it from being flushed to disk early.  Unlike
  2345.  * ext3_reserve_inode_write, this leaves behind no bh reference and
  2346.  * returns no iloc structure, so the caller needs to repeat the iloc
  2347.  * lookup to mark the inode dirty later.
  2348.  */
  2349. static inline int
  2350. ext3_pin_inode(handle_t *handle, struct inode *inode)
  2351. {
  2352. struct ext3_iloc iloc;
  2353. int err = 0;
  2354. if (handle) {
  2355. err = ext3_get_inode_loc(inode, &iloc);
  2356. if (!err) {
  2357. BUFFER_TRACE(iloc.bh, "get_write_access");
  2358. err = journal_get_write_access(handle, iloc.bh);
  2359. if (!err)
  2360. err = ext3_journal_dirty_metadata(handle, 
  2361.   iloc.bh);
  2362. brelse(iloc.bh);
  2363. }
  2364. }
  2365. ext3_std_error(inode->i_sb, err);
  2366. return err;
  2367. }
  2368. #endif
  2369. int ext3_change_inode_journal_flag(struct inode *inode, int val)
  2370. {
  2371. journal_t *journal;
  2372. handle_t *handle;
  2373. int err;
  2374. /*
  2375.  * We have to be very careful here: changing a data block's
  2376.  * journaling status dynamically is dangerous.  If we write a
  2377.  * data block to the journal, change the status and then delete
  2378.  * that block, we risk forgetting to revoke the old log record
  2379.  * from the journal and so a subsequent replay can corrupt data.
  2380.  * So, first we make sure that the journal is empty and that
  2381.  * nobody is changing anything.
  2382.  */
  2383. journal = EXT3_JOURNAL(inode);
  2384. if (is_journal_aborted(journal) || IS_RDONLY(inode))
  2385. return -EROFS;
  2386. journal_lock_updates(journal);
  2387. journal_flush(journal);
  2388. /*
  2389.  * OK, there are no updates running now, and all cached data is
  2390.  * synced to disk.  We are now in a completely consistent state
  2391.  * which doesn't have anything in the journal, and we know that
  2392.  * no filesystem updates are running, so it is safe to modify
  2393.  * the inode's in-core data-journaling state flag now.
  2394.  */
  2395. if (val)
  2396. inode->u.ext3_i.i_flags |= EXT3_JOURNAL_DATA_FL;
  2397. else
  2398. inode->u.ext3_i.i_flags &= ~EXT3_JOURNAL_DATA_FL;
  2399. journal_unlock_updates(journal);
  2400. /* Finally we can mark the inode as dirty. */
  2401. handle = ext3_journal_start(inode, 1);
  2402. if (IS_ERR(handle))
  2403. return PTR_ERR(handle);
  2404. err = ext3_mark_inode_dirty(handle, inode);
  2405. handle->h_sync = 1;
  2406. ext3_journal_stop(handle, inode);
  2407. ext3_std_error(inode->i_sb, err);
  2408. return err;
  2409. }
  2410. /*
  2411.  * ext3_aops_journal_start().
  2412.  *
  2413.  * <This function died, but the comment lives on>
  2414.  *
  2415.  * We need to take the inode semaphore *outside* the
  2416.  * journal_start/journal_stop.  Otherwise, a different task could do a
  2417.  * wait_for_commit() while holding ->i_sem, which deadlocks.  The rule
  2418.  * is: transaction open/closes are considered to be a locking operation
  2419.  * and they nest *inside* ->i_sem.
  2420.  * ----------------------------------------------------------------------------
  2421.  * Possible problem:
  2422.  * ext3_file_write()
  2423.  * -> generic_file_write()
  2424.  *    -> __alloc_pages()
  2425.  *       -> page_launder()
  2426.  *  -> ext3_writepage()
  2427.  *
  2428.  * And the writepage can be on a different fs while we have a
  2429.  * transaction open against this one!  Bad.
  2430.  *
  2431.  * I tried making the task PF_MEMALLOC here, but that simply results in
  2432.  * 0-order allocation failures passed back to generic_file_write().
  2433.  * Instead, we rely on the reentrancy protection in ext3_writepage().
  2434.  * ----------------------------------------------------------------------------
  2435.  * When we do the journal_start() here we don't really need to reserve
  2436.  * any blocks - we won't need any until we hit ext3_prepare_write(),
  2437.  * which does all the needed journal extending.  However!  There is a
  2438.  * problem with quotas:
  2439.  *
  2440.  * Thread 1:
  2441.  * sys_sync
  2442.  * ->sync_dquots
  2443.  *   ->commit_dquot
  2444.  *     ->lock_dquot
  2445.  *     ->write_dquot
  2446.  *       ->ext3_file_write
  2447.  *         ->journal_start
  2448.  *         ->ext3_prepare_write
  2449.  *           ->journal_extend
  2450.  *           ->journal_start
  2451.  * Thread 2:
  2452.  * ext3_create (for example)
  2453.  * ->ext3_new_inode
  2454.  *   ->dquot_initialize
  2455.  *     ->lock_dquot
  2456.  *
  2457.  * Deadlock.  Thread 1's journal_start blocks because thread 2 has a
  2458.  * transaction open.  Thread 2's transaction will never close because
  2459.  * thread 2 is stuck waiting for the dquot lock.
  2460.  *
  2461.  * So.  We must ensure that thread 1 *never* needs to extend the journal
  2462.  * for quota writes.  We do that by reserving enough journal blocks
  2463.  * here, in ext3_aops_journal_start() to ensure that the forthcoming "see if we
  2464.  * need to extend" test in ext3_prepare_write() succeeds.  
  2465.  */