]> git.karo-electronics.de Git - karo-tx-linux.git/commit
ext4: implement error handling of ext4_mb_new_preallocation()
authorAlexey Khoroshilov <khoroshilov@ispras.ru>
Mon, 17 Jun 2013 13:15:34 +0000 (09:15 -0400)
committerTheodore Ts'o <tytso@mit.edu>
Mon, 17 Jun 2013 13:15:34 +0000 (09:15 -0400)
commit07c264117bbbb4e70b268f942b48576db6488642
treedd80fd50c55653780ee1240be9f5e71b9130c987
parentfe141a4dc2bfb26352cb92c09cc94c7201dec05c
ext4: implement error handling of ext4_mb_new_preallocation()

If memory allocation in ext4_mb_new_group_pa() is failed,
it returns error code, ext4_mb_new_preallocation() propages it,
but ext4_mb_new_blocks() ignores it.

An observed result was:

- allocation fail means ext4_mb_new_group_pa() does not update
  ext4_allocation_context;

- ext4_mb_new_blocks() sets ext4_allocation_request->len (ar->len =
  ac->ac_b_ex.fe_len;) to number of blocks preallocated (512) instead
  of number of blocks requested (1);

- that activates update cycle in ext4_splice_branch():
    for (i = 1; i < blks; i++) <-- blks is 512 instead of 1 here
      *(where->p + i) = cpu_to_le32(current_block++);

- it iterates 511 times and corrupts a chunk of memory including inode
  structure;

- page fault happens at EXT4_SB(inode->i_sb) in ext4_mark_inode_dirty();

- system hangs with 'scheduling while atomic' BUG.

The patch implements a check for ext4_mb_new_preallocation() error
code and handles its failure as if ext4_mb_regular_allocator() fails.

Found by Linux File System Verification project (linuxtesting.org).

[ Patch restructed by tytso to make the flow of control easier to follow. ]

Signed-off-by: Alexey Khoroshilov <khoroshilov@ispras.ru>
Signed-off-by: "Theodore Ts'o" <tytso@mit.edu>
fs/ext4/mballoc.c