1f5166768STheodore Ts'o // SPDX-License-Identifier: LGPL-2.1 2748de673SAkira Fujita /* 3748de673SAkira Fujita * Copyright (c) 2008,2009 NEC Software Tohoku, Ltd. 4748de673SAkira Fujita * Written by Takashi Sato <t-sato@yk.jp.nec.com> 5748de673SAkira Fujita * Akira Fujita <a-fujita@rs.jp.nec.com> 6748de673SAkira Fujita */ 7748de673SAkira Fujita 8748de673SAkira Fujita #include <linux/fs.h> 9748de673SAkira Fujita #include <linux/quotaops.h> 105a0e3ad6STejun Heo #include <linux/slab.h> 118f50c8b7SMatthew Wilcox (Oracle) #include <linux/sched/mm.h> 12748de673SAkira Fujita #include "ext4_jbd2.h" 13748de673SAkira Fujita #include "ext4.h" 144a092d73STheodore Ts'o #include "ext4_extents.h" 15748de673SAkira Fujita 16e8505970SAkira Fujita /** 17c60990b3STheodore Ts'o * get_ext_path() - Find an extent path for designated logical block number. 18c60990b3STheodore Ts'o * @inode: inode to be searched 19e8505970SAkira Fujita * @lblock: logical block number to find an extent path 20c60990b3STheodore Ts'o * @ppath: pointer to an extent path pointer (for output) 21e8505970SAkira Fujita * 22ed8a1a76STheodore Ts'o * ext4_find_extent wrapper. Return 0 on success, or a negative error value 23e8505970SAkira Fujita * on failure. 24e8505970SAkira Fujita */ 25e8505970SAkira Fujita static inline int 26e8505970SAkira Fujita get_ext_path(struct inode *inode, ext4_lblk_t lblock, 273bdf14b4STheodore Ts'o struct ext4_ext_path **ppath) 28e8505970SAkira Fujita { 290e401101SDmitry Monakhov struct ext4_ext_path *path; 30e8505970SAkira Fujita 31ed8a1a76STheodore Ts'o path = ext4_find_extent(inode, lblock, ppath, EXT4_EX_NOCACHE); 320e401101SDmitry Monakhov if (IS_ERR(path)) 333bdf14b4STheodore Ts'o return PTR_ERR(path); 343bdf14b4STheodore Ts'o if (path[ext_depth(inode)].p_ext == NULL) { 353bdf14b4STheodore Ts'o ext4_ext_drop_refs(path); 363bdf14b4STheodore Ts'o kfree(path); 373bdf14b4STheodore Ts'o *ppath = NULL; 383bdf14b4STheodore Ts'o return -ENODATA; 393bdf14b4STheodore Ts'o } 403bdf14b4STheodore Ts'o *ppath = path; 413bdf14b4STheodore Ts'o return 0; 42e8505970SAkira Fujita } 43748de673SAkira Fujita 44748de673SAkira Fujita /** 45c60990b3STheodore Ts'o * ext4_double_down_write_data_sem() - write lock two inodes's i_data_sem 46c60990b3STheodore Ts'o * @first: inode to be locked 47c60990b3STheodore Ts'o * @second: inode to be locked 48748de673SAkira Fujita * 4903bd8b9bSDmitry Monakhov * Acquire write lock of i_data_sem of the two inodes 50748de673SAkira Fujita */ 51393d1d1dSDr. Tilmann Bubeck void 52393d1d1dSDr. Tilmann Bubeck ext4_double_down_write_data_sem(struct inode *first, struct inode *second) 53748de673SAkira Fujita { 5403bd8b9bSDmitry Monakhov if (first < second) { 55748de673SAkira Fujita down_write(&EXT4_I(first)->i_data_sem); 56daf647d2STheodore Ts'o down_write_nested(&EXT4_I(second)->i_data_sem, I_DATA_SEM_OTHER); 5703bd8b9bSDmitry Monakhov } else { 5803bd8b9bSDmitry Monakhov down_write(&EXT4_I(second)->i_data_sem); 59daf647d2STheodore Ts'o down_write_nested(&EXT4_I(first)->i_data_sem, I_DATA_SEM_OTHER); 6003bd8b9bSDmitry Monakhov 6103bd8b9bSDmitry Monakhov } 62748de673SAkira Fujita } 63748de673SAkira Fujita 64748de673SAkira Fujita /** 65393d1d1dSDr. Tilmann Bubeck * ext4_double_up_write_data_sem - Release two inodes' write lock of i_data_sem 66748de673SAkira Fujita * 67748de673SAkira Fujita * @orig_inode: original inode structure to be released its lock first 68748de673SAkira Fujita * @donor_inode: donor inode structure to be released its lock second 69fc04cb49SAkira Fujita * Release write lock of i_data_sem of two inodes (orig and donor). 70748de673SAkira Fujita */ 71393d1d1dSDr. Tilmann Bubeck void 72393d1d1dSDr. Tilmann Bubeck ext4_double_up_write_data_sem(struct inode *orig_inode, 73393d1d1dSDr. Tilmann Bubeck struct inode *donor_inode) 74748de673SAkira Fujita { 75748de673SAkira Fujita up_write(&EXT4_I(orig_inode)->i_data_sem); 76748de673SAkira Fujita up_write(&EXT4_I(donor_inode)->i_data_sem); 77748de673SAkira Fujita } 78748de673SAkira Fujita 79748de673SAkira Fujita /** 808c854473SDmitry Monakhov * mext_check_coverage - Check that all extents in range has the same type 818c854473SDmitry Monakhov * 828c854473SDmitry Monakhov * @inode: inode in question 838c854473SDmitry Monakhov * @from: block offset of inode 848c854473SDmitry Monakhov * @count: block count to be checked 85556615dcSLukas Czerner * @unwritten: extents expected to be unwritten 868c854473SDmitry Monakhov * @err: pointer to save error value 878c854473SDmitry Monakhov * 888c854473SDmitry Monakhov * Return 1 if all extents in range has expected type, and zero otherwise. 898c854473SDmitry Monakhov */ 908c854473SDmitry Monakhov static int 918c854473SDmitry Monakhov mext_check_coverage(struct inode *inode, ext4_lblk_t from, ext4_lblk_t count, 92556615dcSLukas Czerner int unwritten, int *err) 938c854473SDmitry Monakhov { 948c854473SDmitry Monakhov struct ext4_ext_path *path = NULL; 958c854473SDmitry Monakhov struct ext4_extent *ext; 960e401101SDmitry Monakhov int ret = 0; 978c854473SDmitry Monakhov ext4_lblk_t last = from + count; 988c854473SDmitry Monakhov while (from < last) { 998c854473SDmitry Monakhov *err = get_ext_path(inode, from, &path); 1008c854473SDmitry Monakhov if (*err) 1010e401101SDmitry Monakhov goto out; 1028c854473SDmitry Monakhov ext = path[ext_depth(inode)].p_ext; 103556615dcSLukas Czerner if (unwritten != ext4_ext_is_unwritten(ext)) 1040e401101SDmitry Monakhov goto out; 1058c854473SDmitry Monakhov from += ext4_ext_get_actual_len(ext); 1068c854473SDmitry Monakhov ext4_ext_drop_refs(path); 1078c854473SDmitry Monakhov } 1080e401101SDmitry Monakhov ret = 1; 1090e401101SDmitry Monakhov out: 1100e401101SDmitry Monakhov ext4_ext_drop_refs(path); 1110e401101SDmitry Monakhov kfree(path); 1120e401101SDmitry Monakhov return ret; 1138c854473SDmitry Monakhov } 1148c854473SDmitry Monakhov 1158c854473SDmitry Monakhov /** 116bb557488SDmitry Monakhov * mext_page_double_lock - Grab and lock pages on both @inode1 and @inode2 117bb557488SDmitry Monakhov * 118bb557488SDmitry Monakhov * @inode1: the inode structure 119bb557488SDmitry Monakhov * @inode2: the inode structure 12065dd8327SXiaoguang Wang * @index1: page index 12165dd8327SXiaoguang Wang * @index2: page index 122bb557488SDmitry Monakhov * @page: result page vector 123bb557488SDmitry Monakhov * 124bb557488SDmitry Monakhov * Grab two locked pages for inode's by inode order 125bb557488SDmitry Monakhov */ 126bb557488SDmitry Monakhov static int 127bb557488SDmitry Monakhov mext_page_double_lock(struct inode *inode1, struct inode *inode2, 128fcf6b1b7SDmitry Monakhov pgoff_t index1, pgoff_t index2, struct page *page[2]) 129bb557488SDmitry Monakhov { 130bb557488SDmitry Monakhov struct address_space *mapping[2]; 1318f50c8b7SMatthew Wilcox (Oracle) unsigned int flags; 132bb557488SDmitry Monakhov 133bb557488SDmitry Monakhov BUG_ON(!inode1 || !inode2); 134bb557488SDmitry Monakhov if (inode1 < inode2) { 135bb557488SDmitry Monakhov mapping[0] = inode1->i_mapping; 136bb557488SDmitry Monakhov mapping[1] = inode2->i_mapping; 137bb557488SDmitry Monakhov } else { 13862bbdd99SGustavo A. R. Silva swap(index1, index2); 139bb557488SDmitry Monakhov mapping[0] = inode2->i_mapping; 140bb557488SDmitry Monakhov mapping[1] = inode1->i_mapping; 141bb557488SDmitry Monakhov } 142bb557488SDmitry Monakhov 1438f50c8b7SMatthew Wilcox (Oracle) flags = memalloc_nofs_save(); 144b7446e7cSMatthew Wilcox (Oracle) page[0] = grab_cache_page_write_begin(mapping[0], index1); 1458f50c8b7SMatthew Wilcox (Oracle) if (!page[0]) { 1468f50c8b7SMatthew Wilcox (Oracle) memalloc_nofs_restore(flags); 147bb557488SDmitry Monakhov return -ENOMEM; 1488f50c8b7SMatthew Wilcox (Oracle) } 149bb557488SDmitry Monakhov 150b7446e7cSMatthew Wilcox (Oracle) page[1] = grab_cache_page_write_begin(mapping[1], index2); 1518f50c8b7SMatthew Wilcox (Oracle) memalloc_nofs_restore(flags); 152bb557488SDmitry Monakhov if (!page[1]) { 153bb557488SDmitry Monakhov unlock_page(page[0]); 15409cbfeafSKirill A. Shutemov put_page(page[0]); 155bb557488SDmitry Monakhov return -ENOMEM; 156bb557488SDmitry Monakhov } 1577e8b12c6SDmitry Monakhov /* 1587e8b12c6SDmitry Monakhov * grab_cache_page_write_begin() may not wait on page's writeback if 1597e8b12c6SDmitry Monakhov * BDI not demand that. But it is reasonable to be very conservative 1607e8b12c6SDmitry Monakhov * here and explicitly wait on page's writeback 1617e8b12c6SDmitry Monakhov */ 1627e8b12c6SDmitry Monakhov wait_on_page_writeback(page[0]); 1637e8b12c6SDmitry Monakhov wait_on_page_writeback(page[1]); 164bf865467SFabian Frederick if (inode1 > inode2) 165bf865467SFabian Frederick swap(page[0], page[1]); 166bf865467SFabian Frederick 167bb557488SDmitry Monakhov return 0; 168bb557488SDmitry Monakhov } 169bb557488SDmitry Monakhov 170bb557488SDmitry Monakhov /* Force page buffers uptodate w/o dropping page's lock */ 171bb557488SDmitry Monakhov static int 172bb557488SDmitry Monakhov mext_page_mkuptodate(struct page *page, unsigned from, unsigned to) 173bb557488SDmitry Monakhov { 174bb557488SDmitry Monakhov struct inode *inode = page->mapping->host; 175bb557488SDmitry Monakhov sector_t block; 176bb557488SDmitry Monakhov struct buffer_head *bh, *head, *arr[MAX_BUF_PER_PAGE]; 177bb557488SDmitry Monakhov unsigned int blocksize, block_start, block_end; 178bb557488SDmitry Monakhov int i, err, nr = 0, partial = 0; 179bb557488SDmitry Monakhov BUG_ON(!PageLocked(page)); 180bb557488SDmitry Monakhov BUG_ON(PageWriteback(page)); 181bb557488SDmitry Monakhov 182bb557488SDmitry Monakhov if (PageUptodate(page)) 183bb557488SDmitry Monakhov return 0; 184bb557488SDmitry Monakhov 18593407472SFabian Frederick blocksize = i_blocksize(inode); 186bb557488SDmitry Monakhov if (!page_has_buffers(page)) 187bb557488SDmitry Monakhov create_empty_buffers(page, blocksize, 0); 188bb557488SDmitry Monakhov 189bb557488SDmitry Monakhov head = page_buffers(page); 19009cbfeafSKirill A. Shutemov block = (sector_t)page->index << (PAGE_SHIFT - inode->i_blkbits); 191bb557488SDmitry Monakhov for (bh = head, block_start = 0; bh != head || !block_start; 192bb557488SDmitry Monakhov block++, block_start = block_end, bh = bh->b_this_page) { 193bb557488SDmitry Monakhov block_end = block_start + blocksize; 194bb557488SDmitry Monakhov if (block_end <= from || block_start >= to) { 195bb557488SDmitry Monakhov if (!buffer_uptodate(bh)) 196bb557488SDmitry Monakhov partial = 1; 197bb557488SDmitry Monakhov continue; 198bb557488SDmitry Monakhov } 199bb557488SDmitry Monakhov if (buffer_uptodate(bh)) 200bb557488SDmitry Monakhov continue; 201bb557488SDmitry Monakhov if (!buffer_mapped(bh)) { 202bb557488SDmitry Monakhov err = ext4_get_block(inode, block, bh, 0); 203bb557488SDmitry Monakhov if (err) { 204bb557488SDmitry Monakhov SetPageError(page); 205bb557488SDmitry Monakhov return err; 206bb557488SDmitry Monakhov } 207bb557488SDmitry Monakhov if (!buffer_mapped(bh)) { 208bb557488SDmitry Monakhov zero_user(page, block_start, blocksize); 209bb557488SDmitry Monakhov set_buffer_uptodate(bh); 210bb557488SDmitry Monakhov continue; 211bb557488SDmitry Monakhov } 212bb557488SDmitry Monakhov } 213bb557488SDmitry Monakhov BUG_ON(nr >= MAX_BUF_PER_PAGE); 214bb557488SDmitry Monakhov arr[nr++] = bh; 215bb557488SDmitry Monakhov } 216bb557488SDmitry Monakhov /* No io required */ 217bb557488SDmitry Monakhov if (!nr) 218bb557488SDmitry Monakhov goto out; 219bb557488SDmitry Monakhov 220bb557488SDmitry Monakhov for (i = 0; i < nr; i++) { 221bb557488SDmitry Monakhov bh = arr[i]; 222bb557488SDmitry Monakhov if (!bh_uptodate_or_lock(bh)) { 2232d069c08Szhangyi (F) err = ext4_read_bh(bh, 0, NULL); 224bb557488SDmitry Monakhov if (err) 225bb557488SDmitry Monakhov return err; 226bb557488SDmitry Monakhov } 227bb557488SDmitry Monakhov } 228bb557488SDmitry Monakhov out: 229bb557488SDmitry Monakhov if (!partial) 230bb557488SDmitry Monakhov SetPageUptodate(page); 231bb557488SDmitry Monakhov return 0; 232bb557488SDmitry Monakhov } 233bb557488SDmitry Monakhov 234bb557488SDmitry Monakhov /** 235748de673SAkira Fujita * move_extent_per_page - Move extent data per page 236748de673SAkira Fujita * 237748de673SAkira Fujita * @o_filp: file structure of original file 238748de673SAkira Fujita * @donor_inode: donor inode 239748de673SAkira Fujita * @orig_page_offset: page index on original file 24065dd8327SXiaoguang Wang * @donor_page_offset: page index on donor file 241748de673SAkira Fujita * @data_offset_in_page: block index where data swapping starts 242748de673SAkira Fujita * @block_len_in_page: the number of blocks to be swapped 243556615dcSLukas Czerner * @unwritten: orig extent is unwritten or not 244f868a48dSAkira Fujita * @err: pointer to save return value 245748de673SAkira Fujita * 246748de673SAkira Fujita * Save the data in original inode blocks and replace original inode extents 24765dd8327SXiaoguang Wang * with donor inode extents by calling ext4_swap_extents(). 248f868a48dSAkira Fujita * Finally, write out the saved data in new original inode blocks. Return 249f868a48dSAkira Fujita * replaced block count. 250748de673SAkira Fujita */ 251748de673SAkira Fujita static int 25244fc48f7SAkira Fujita move_extent_per_page(struct file *o_filp, struct inode *donor_inode, 253fcf6b1b7SDmitry Monakhov pgoff_t orig_page_offset, pgoff_t donor_page_offset, 254fcf6b1b7SDmitry Monakhov int data_offset_in_page, 255556615dcSLukas Czerner int block_len_in_page, int unwritten, int *err) 256748de673SAkira Fujita { 257496ad9aaSAl Viro struct inode *orig_inode = file_inode(o_filp); 258bb557488SDmitry Monakhov struct page *pagep[2] = {NULL, NULL}; 259748de673SAkira Fujita handle_t *handle; 260fcf6b1b7SDmitry Monakhov ext4_lblk_t orig_blk_offset, donor_blk_offset; 261748de673SAkira Fujita unsigned long blocksize = orig_inode->i_sb->s_blocksize; 262f868a48dSAkira Fujita unsigned int tmp_data_size, data_size, replaced_size; 263bcff2488SEryu Guan int i, err2, jblocks, retries = 0; 264f868a48dSAkira Fujita int replaced_count = 0; 265bb557488SDmitry Monakhov int from = data_offset_in_page << orig_inode->i_blkbits; 26609cbfeafSKirill A. Shutemov int blocks_per_page = PAGE_SIZE >> orig_inode->i_blkbits; 26788c6b61fSDmitry Monakhov struct super_block *sb = orig_inode->i_sb; 268bcff2488SEryu Guan struct buffer_head *bh = NULL; 269748de673SAkira Fujita 270748de673SAkira Fujita /* 271748de673SAkira Fujita * It needs twice the amount of ordinary journal buffers because 272748de673SAkira Fujita * inode and donor_inode may change each different metadata blocks. 273748de673SAkira Fujita */ 274bb557488SDmitry Monakhov again: 275bb557488SDmitry Monakhov *err = 0; 276748de673SAkira Fujita jblocks = ext4_writepage_trans_blocks(orig_inode) * 2; 2779924a92aSTheodore Ts'o handle = ext4_journal_start(orig_inode, EXT4_HT_MOVE_EXTENTS, jblocks); 278748de673SAkira Fujita if (IS_ERR(handle)) { 279f868a48dSAkira Fujita *err = PTR_ERR(handle); 280f868a48dSAkira Fujita return 0; 281748de673SAkira Fujita } 282748de673SAkira Fujita 283748de673SAkira Fujita orig_blk_offset = orig_page_offset * blocks_per_page + 284748de673SAkira Fujita data_offset_in_page; 285748de673SAkira Fujita 286fcf6b1b7SDmitry Monakhov donor_blk_offset = donor_page_offset * blocks_per_page + 287fcf6b1b7SDmitry Monakhov data_offset_in_page; 288fcf6b1b7SDmitry Monakhov 289f868a48dSAkira Fujita /* Calculate data_size */ 290748de673SAkira Fujita if ((orig_blk_offset + block_len_in_page - 1) == 291748de673SAkira Fujita ((orig_inode->i_size - 1) >> orig_inode->i_blkbits)) { 292748de673SAkira Fujita /* Replace the last block */ 293f868a48dSAkira Fujita tmp_data_size = orig_inode->i_size & (blocksize - 1); 294748de673SAkira Fujita /* 295f868a48dSAkira Fujita * If data_size equal zero, it shows data_size is multiples of 296748de673SAkira Fujita * blocksize. So we set appropriate value. 297748de673SAkira Fujita */ 298f868a48dSAkira Fujita if (tmp_data_size == 0) 299f868a48dSAkira Fujita tmp_data_size = blocksize; 300748de673SAkira Fujita 301f868a48dSAkira Fujita data_size = tmp_data_size + 302748de673SAkira Fujita ((block_len_in_page - 1) << orig_inode->i_blkbits); 303f868a48dSAkira Fujita } else 304f868a48dSAkira Fujita data_size = block_len_in_page << orig_inode->i_blkbits; 305748de673SAkira Fujita 306f868a48dSAkira Fujita replaced_size = data_size; 307f868a48dSAkira Fujita 308bb557488SDmitry Monakhov *err = mext_page_double_lock(orig_inode, donor_inode, orig_page_offset, 309fcf6b1b7SDmitry Monakhov donor_page_offset, pagep); 310f868a48dSAkira Fujita if (unlikely(*err < 0)) 311bb557488SDmitry Monakhov goto stop_journal; 3128c854473SDmitry Monakhov /* 313556615dcSLukas Czerner * If orig extent was unwritten it can become initialized 3148c854473SDmitry Monakhov * at any time after i_data_sem was dropped, in order to 3158c854473SDmitry Monakhov * serialize with delalloc we have recheck extent while we 3168c854473SDmitry Monakhov * hold page's lock, if it is still the case data copy is not 3178c854473SDmitry Monakhov * necessary, just swap data blocks between orig and donor. 3188c854473SDmitry Monakhov */ 319556615dcSLukas Czerner if (unwritten) { 320393d1d1dSDr. Tilmann Bubeck ext4_double_down_write_data_sem(orig_inode, donor_inode); 3218c854473SDmitry Monakhov /* If any of extents in range became initialized we have to 3228c854473SDmitry Monakhov * fallback to data copying */ 323556615dcSLukas Czerner unwritten = mext_check_coverage(orig_inode, orig_blk_offset, 3248c854473SDmitry Monakhov block_len_in_page, 1, err); 3258c854473SDmitry Monakhov if (*err) 3268c854473SDmitry Monakhov goto drop_data_sem; 327748de673SAkira Fujita 328fcf6b1b7SDmitry Monakhov unwritten &= mext_check_coverage(donor_inode, donor_blk_offset, 3298c854473SDmitry Monakhov block_len_in_page, 1, err); 3308c854473SDmitry Monakhov if (*err) 3318c854473SDmitry Monakhov goto drop_data_sem; 3328c854473SDmitry Monakhov 333556615dcSLukas Czerner if (!unwritten) { 334393d1d1dSDr. Tilmann Bubeck ext4_double_up_write_data_sem(orig_inode, donor_inode); 3358c854473SDmitry Monakhov goto data_copy; 3368c854473SDmitry Monakhov } 3378c854473SDmitry Monakhov if ((page_has_private(pagep[0]) && 3388c854473SDmitry Monakhov !try_to_release_page(pagep[0], 0)) || 3398c854473SDmitry Monakhov (page_has_private(pagep[1]) && 3408c854473SDmitry Monakhov !try_to_release_page(pagep[1], 0))) { 3418c854473SDmitry Monakhov *err = -EBUSY; 3428c854473SDmitry Monakhov goto drop_data_sem; 3438c854473SDmitry Monakhov } 344fcf6b1b7SDmitry Monakhov replaced_count = ext4_swap_extents(handle, orig_inode, 3458c854473SDmitry Monakhov donor_inode, orig_blk_offset, 346fcf6b1b7SDmitry Monakhov donor_blk_offset, 347fcf6b1b7SDmitry Monakhov block_len_in_page, 1, err); 3488c854473SDmitry Monakhov drop_data_sem: 349393d1d1dSDr. Tilmann Bubeck ext4_double_up_write_data_sem(orig_inode, donor_inode); 3508c854473SDmitry Monakhov goto unlock_pages; 3518c854473SDmitry Monakhov } 3528c854473SDmitry Monakhov data_copy: 353bb557488SDmitry Monakhov *err = mext_page_mkuptodate(pagep[0], from, from + replaced_size); 354bb557488SDmitry Monakhov if (*err) 355bb557488SDmitry Monakhov goto unlock_pages; 356bb557488SDmitry Monakhov 357bb557488SDmitry Monakhov /* At this point all buffers in range are uptodate, old mapping layout 358bb557488SDmitry Monakhov * is no longer required, try to drop it now. */ 359bb557488SDmitry Monakhov if ((page_has_private(pagep[0]) && !try_to_release_page(pagep[0], 0)) || 360bb557488SDmitry Monakhov (page_has_private(pagep[1]) && !try_to_release_page(pagep[1], 0))) { 361bb557488SDmitry Monakhov *err = -EBUSY; 362bb557488SDmitry Monakhov goto unlock_pages; 363748de673SAkira Fujita } 3646e263146SDmitry Monakhov ext4_double_down_write_data_sem(orig_inode, donor_inode); 365fcf6b1b7SDmitry Monakhov replaced_count = ext4_swap_extents(handle, orig_inode, donor_inode, 366fcf6b1b7SDmitry Monakhov orig_blk_offset, donor_blk_offset, 367fcf6b1b7SDmitry Monakhov block_len_in_page, 1, err); 3686e263146SDmitry Monakhov ext4_double_up_write_data_sem(orig_inode, donor_inode); 369bb557488SDmitry Monakhov if (*err) { 370f868a48dSAkira Fujita if (replaced_count) { 371f868a48dSAkira Fujita block_len_in_page = replaced_count; 372f868a48dSAkira Fujita replaced_size = 373f868a48dSAkira Fujita block_len_in_page << orig_inode->i_blkbits; 374ac48b0a1SAkira Fujita } else 375bb557488SDmitry Monakhov goto unlock_pages; 376f868a48dSAkira Fujita } 377bb557488SDmitry Monakhov /* Perform all necessary steps similar write_begin()/write_end() 378bb557488SDmitry Monakhov * but keeping in mind that i_size will not change */ 379bcff2488SEryu Guan if (!page_has_buffers(pagep[0])) 380bcff2488SEryu Guan create_empty_buffers(pagep[0], 1 << orig_inode->i_blkbits, 0); 381bcff2488SEryu Guan bh = page_buffers(pagep[0]); 382bcff2488SEryu Guan for (i = 0; i < data_offset_in_page; i++) 383bcff2488SEryu Guan bh = bh->b_this_page; 384bcff2488SEryu Guan for (i = 0; i < block_len_in_page; i++) { 385bcff2488SEryu Guan *err = ext4_get_block(orig_inode, orig_blk_offset + i, bh, 0); 386bcff2488SEryu Guan if (*err < 0) 387bcff2488SEryu Guan break; 3886ffe77baSEryu Guan bh = bh->b_this_page; 389bcff2488SEryu Guan } 390bb557488SDmitry Monakhov if (!*err) 391bb557488SDmitry Monakhov *err = block_commit_write(pagep[0], from, from + replaced_size); 392fc04cb49SAkira Fujita 393bb557488SDmitry Monakhov if (unlikely(*err < 0)) 394bb557488SDmitry Monakhov goto repair_branches; 395748de673SAkira Fujita 396bb557488SDmitry Monakhov /* Even in case of data=writeback it is reasonable to pin 397bb557488SDmitry Monakhov * inode to transaction, to prevent unexpected data loss */ 39873131fbbSRoss Zwisler *err = ext4_jbd2_inode_add_write(handle, orig_inode, 39973131fbbSRoss Zwisler (loff_t)orig_page_offset << PAGE_SHIFT, replaced_size); 400748de673SAkira Fujita 401bb557488SDmitry Monakhov unlock_pages: 402bb557488SDmitry Monakhov unlock_page(pagep[0]); 40309cbfeafSKirill A. Shutemov put_page(pagep[0]); 404bb557488SDmitry Monakhov unlock_page(pagep[1]); 40509cbfeafSKirill A. Shutemov put_page(pagep[1]); 406bb557488SDmitry Monakhov stop_journal: 40791cc219aSPeng Tao ext4_journal_stop(handle); 40888c6b61fSDmitry Monakhov if (*err == -ENOSPC && 40988c6b61fSDmitry Monakhov ext4_should_retry_alloc(sb, &retries)) 41088c6b61fSDmitry Monakhov goto again; 411bb557488SDmitry Monakhov /* Buffer was busy because probably is pinned to journal transaction, 412bb557488SDmitry Monakhov * force transaction commit may help to free it. */ 41388c6b61fSDmitry Monakhov if (*err == -EBUSY && retries++ < 4 && EXT4_SB(sb)->s_journal && 41488c6b61fSDmitry Monakhov jbd2_journal_force_commit_nested(EXT4_SB(sb)->s_journal)) 415bb557488SDmitry Monakhov goto again; 416f868a48dSAkira Fujita return replaced_count; 417bb557488SDmitry Monakhov 418bb557488SDmitry Monakhov repair_branches: 419bb557488SDmitry Monakhov /* 420bb557488SDmitry Monakhov * This should never ever happen! 421bb557488SDmitry Monakhov * Extents are swapped already, but we are not able to copy data. 422bb557488SDmitry Monakhov * Try to swap extents to it's original places 423bb557488SDmitry Monakhov */ 424393d1d1dSDr. Tilmann Bubeck ext4_double_down_write_data_sem(orig_inode, donor_inode); 425fcf6b1b7SDmitry Monakhov replaced_count = ext4_swap_extents(handle, donor_inode, orig_inode, 426fcf6b1b7SDmitry Monakhov orig_blk_offset, donor_blk_offset, 427fcf6b1b7SDmitry Monakhov block_len_in_page, 0, &err2); 428393d1d1dSDr. Tilmann Bubeck ext4_double_up_write_data_sem(orig_inode, donor_inode); 429bb557488SDmitry Monakhov if (replaced_count != block_len_in_page) { 43054d3adbcSTheodore Ts'o ext4_error_inode_block(orig_inode, (sector_t)(orig_blk_offset), 43154d3adbcSTheodore Ts'o EIO, "Unable to copy data block," 432bb557488SDmitry Monakhov " data will be lost."); 433bb557488SDmitry Monakhov *err = -EIO; 434bb557488SDmitry Monakhov } 435bb557488SDmitry Monakhov replaced_count = 0; 436bb557488SDmitry Monakhov goto unlock_pages; 437748de673SAkira Fujita } 438748de673SAkira Fujita 439748de673SAkira Fujita /** 440c437b273SAkira Fujita * mext_check_arguments - Check whether move extent can be done 441748de673SAkira Fujita * 442748de673SAkira Fujita * @orig_inode: original inode 443748de673SAkira Fujita * @donor_inode: donor inode 444748de673SAkira Fujita * @orig_start: logical start offset in block for orig 445748de673SAkira Fujita * @donor_start: logical start offset in block for donor 446748de673SAkira Fujita * @len: the number of blocks to be moved 447748de673SAkira Fujita * 448748de673SAkira Fujita * Check the arguments of ext4_move_extents() whether the files can be 449748de673SAkira Fujita * exchanged with each other. 450748de673SAkira Fujita * Return 0 on success, or a negative error value on failure. 451748de673SAkira Fujita */ 452748de673SAkira Fujita static int 453748de673SAkira Fujita mext_check_arguments(struct inode *orig_inode, 454748de673SAkira Fujita struct inode *donor_inode, __u64 orig_start, 455446aaa6eSKazuya Mio __u64 donor_start, __u64 *len) 456748de673SAkira Fujita { 457fcf6b1b7SDmitry Monakhov __u64 orig_eof, donor_eof; 45870d5d3dcSAkira Fujita unsigned int blkbits = orig_inode->i_blkbits; 45970d5d3dcSAkira Fujita unsigned int blocksize = 1 << blkbits; 46070d5d3dcSAkira Fujita 461fcf6b1b7SDmitry Monakhov orig_eof = (i_size_read(orig_inode) + blocksize - 1) >> blkbits; 462fcf6b1b7SDmitry Monakhov donor_eof = (i_size_read(donor_inode) + blocksize - 1) >> blkbits; 463fcf6b1b7SDmitry Monakhov 464fcf6b1b7SDmitry Monakhov 4654a58579bSAkira Fujita if (donor_inode->i_mode & (S_ISUID|S_ISGID)) { 4664a58579bSAkira Fujita ext4_debug("ext4 move extent: suid or sgid is set" 4674a58579bSAkira Fujita " to donor file [ino:orig %lu, donor %lu]\n", 4684a58579bSAkira Fujita orig_inode->i_ino, donor_inode->i_ino); 4694a58579bSAkira Fujita return -EINVAL; 4704a58579bSAkira Fujita } 4714a58579bSAkira Fujita 4721f5a81e4STheodore Ts'o if (IS_IMMUTABLE(donor_inode) || IS_APPEND(donor_inode)) 4731f5a81e4STheodore Ts'o return -EPERM; 4741f5a81e4STheodore Ts'o 475748de673SAkira Fujita /* Ext4 move extent does not support swapfile */ 476748de673SAkira Fujita if (IS_SWAPFILE(orig_inode) || IS_SWAPFILE(donor_inode)) { 477748de673SAkira Fujita ext4_debug("ext4 move extent: The argument files should " 478748de673SAkira Fujita "not be swapfile [ino:orig %lu, donor %lu]\n", 479748de673SAkira Fujita orig_inode->i_ino, donor_inode->i_ino); 480fcf6b1b7SDmitry Monakhov return -EBUSY; 481748de673SAkira Fujita } 482748de673SAkira Fujita 48302749a4cSTahsin Erdogan if (ext4_is_quota_file(orig_inode) && ext4_is_quota_file(donor_inode)) { 484daf647d2STheodore Ts'o ext4_debug("ext4 move extent: The argument files should " 485daf647d2STheodore Ts'o "not be quota files [ino:orig %lu, donor %lu]\n", 486daf647d2STheodore Ts'o orig_inode->i_ino, donor_inode->i_ino); 487daf647d2STheodore Ts'o return -EBUSY; 488daf647d2STheodore Ts'o } 489daf647d2STheodore Ts'o 490748de673SAkira Fujita /* Ext4 move extent supports only extent based file */ 49112e9b892SDmitry Monakhov if (!(ext4_test_inode_flag(orig_inode, EXT4_INODE_EXTENTS))) { 492748de673SAkira Fujita ext4_debug("ext4 move extent: orig file is not extents " 493748de673SAkira Fujita "based file [ino:orig %lu]\n", orig_inode->i_ino); 494748de673SAkira Fujita return -EOPNOTSUPP; 49512e9b892SDmitry Monakhov } else if (!(ext4_test_inode_flag(donor_inode, EXT4_INODE_EXTENTS))) { 496748de673SAkira Fujita ext4_debug("ext4 move extent: donor file is not extents " 497748de673SAkira Fujita "based file [ino:donor %lu]\n", donor_inode->i_ino); 498748de673SAkira Fujita return -EOPNOTSUPP; 499748de673SAkira Fujita } 500748de673SAkira Fujita 501748de673SAkira Fujita if ((!orig_inode->i_size) || (!donor_inode->i_size)) { 502748de673SAkira Fujita ext4_debug("ext4 move extent: File size is 0 byte\n"); 503748de673SAkira Fujita return -EINVAL; 504748de673SAkira Fujita } 505748de673SAkira Fujita 506748de673SAkira Fujita /* Start offset should be same */ 507fcf6b1b7SDmitry Monakhov if ((orig_start & ~(PAGE_MASK >> orig_inode->i_blkbits)) != 508fcf6b1b7SDmitry Monakhov (donor_start & ~(PAGE_MASK >> orig_inode->i_blkbits))) { 509748de673SAkira Fujita ext4_debug("ext4 move extent: orig and donor's start " 510d67d64f4STheodore Ts'o "offsets are not aligned [ino:orig %lu, donor %lu]\n", 511748de673SAkira Fujita orig_inode->i_ino, donor_inode->i_ino); 512748de673SAkira Fujita return -EINVAL; 513748de673SAkira Fujita } 514748de673SAkira Fujita 515f17722f9SLukas Czerner if ((orig_start >= EXT_MAX_BLOCKS) || 516fcf6b1b7SDmitry Monakhov (donor_start >= EXT_MAX_BLOCKS) || 517f17722f9SLukas Czerner (*len > EXT_MAX_BLOCKS) || 518fcf6b1b7SDmitry Monakhov (donor_start + *len >= EXT_MAX_BLOCKS) || 519f17722f9SLukas Czerner (orig_start + *len >= EXT_MAX_BLOCKS)) { 5200a80e986SEric Sandeen ext4_debug("ext4 move extent: Can't handle over [%u] blocks " 521f17722f9SLukas Czerner "[ino:orig %lu, donor %lu]\n", EXT_MAX_BLOCKS, 522748de673SAkira Fujita orig_inode->i_ino, donor_inode->i_ino); 523748de673SAkira Fujita return -EINVAL; 524748de673SAkira Fujita } 525f18b2b83STheodore Ts'o if (orig_eof <= orig_start) 526f18b2b83STheodore Ts'o *len = 0; 527f18b2b83STheodore Ts'o else if (orig_eof < orig_start + *len - 1) 528fcf6b1b7SDmitry Monakhov *len = orig_eof - orig_start; 529f18b2b83STheodore Ts'o if (donor_eof <= donor_start) 530f18b2b83STheodore Ts'o *len = 0; 531f18b2b83STheodore Ts'o else if (donor_eof < donor_start + *len - 1) 532fcf6b1b7SDmitry Monakhov *len = donor_eof - donor_start; 533748de673SAkira Fujita if (!*len) { 53492c28159SAkira Fujita ext4_debug("ext4 move extent: len should not be 0 " 535748de673SAkira Fujita "[ino:orig %lu, donor %lu]\n", orig_inode->i_ino, 536748de673SAkira Fujita donor_inode->i_ino); 537748de673SAkira Fujita return -EINVAL; 538748de673SAkira Fujita } 539748de673SAkira Fujita 540748de673SAkira Fujita return 0; 541748de673SAkira Fujita } 542748de673SAkira Fujita 543748de673SAkira Fujita /** 544748de673SAkira Fujita * ext4_move_extents - Exchange the specified range of a file 545748de673SAkira Fujita * 546748de673SAkira Fujita * @o_filp: file structure of the original file 547748de673SAkira Fujita * @d_filp: file structure of the donor file 54865dd8327SXiaoguang Wang * @orig_blk: start offset in block for orig 54965dd8327SXiaoguang Wang * @donor_blk: start offset in block for donor 550748de673SAkira Fujita * @len: the number of blocks to be moved 551748de673SAkira Fujita * @moved_len: moved block length 552748de673SAkira Fujita * 553748de673SAkira Fujita * This function returns 0 and moved block length is set in moved_len 554748de673SAkira Fujita * if succeed, otherwise returns error value. 555748de673SAkira Fujita * 556748de673SAkira Fujita */ 557748de673SAkira Fujita int 558fcf6b1b7SDmitry Monakhov ext4_move_extents(struct file *o_filp, struct file *d_filp, __u64 orig_blk, 559fcf6b1b7SDmitry Monakhov __u64 donor_blk, __u64 len, __u64 *moved_len) 560748de673SAkira Fujita { 561496ad9aaSAl Viro struct inode *orig_inode = file_inode(o_filp); 562496ad9aaSAl Viro struct inode *donor_inode = file_inode(d_filp); 563fcf6b1b7SDmitry Monakhov struct ext4_ext_path *path = NULL; 56409cbfeafSKirill A. Shutemov int blocks_per_page = PAGE_SIZE >> orig_inode->i_blkbits; 565fcf6b1b7SDmitry Monakhov ext4_lblk_t o_end, o_start = orig_blk; 566fcf6b1b7SDmitry Monakhov ext4_lblk_t d_start = donor_blk; 567fcf6b1b7SDmitry Monakhov int ret; 568748de673SAkira Fujita 56903bd8b9bSDmitry Monakhov if (orig_inode->i_sb != donor_inode->i_sb) { 57003bd8b9bSDmitry Monakhov ext4_debug("ext4 move extent: The argument files " 57103bd8b9bSDmitry Monakhov "should be in same FS [ino:orig %lu, donor %lu]\n", 57203bd8b9bSDmitry Monakhov orig_inode->i_ino, donor_inode->i_ino); 57303bd8b9bSDmitry Monakhov return -EINVAL; 57403bd8b9bSDmitry Monakhov } 57503bd8b9bSDmitry Monakhov 57603bd8b9bSDmitry Monakhov /* orig and donor should be different inodes */ 57703bd8b9bSDmitry Monakhov if (orig_inode == donor_inode) { 578f3ce8064STheodore Ts'o ext4_debug("ext4 move extent: The argument files should not " 57903bd8b9bSDmitry Monakhov "be same inode [ino:orig %lu, donor %lu]\n", 580f3ce8064STheodore Ts'o orig_inode->i_ino, donor_inode->i_ino); 581f3ce8064STheodore Ts'o return -EINVAL; 582f3ce8064STheodore Ts'o } 583f3ce8064STheodore Ts'o 5847247c0caSAkira Fujita /* Regular file check */ 5857247c0caSAkira Fujita if (!S_ISREG(orig_inode->i_mode) || !S_ISREG(donor_inode->i_mode)) { 5867247c0caSAkira Fujita ext4_debug("ext4 move extent: The argument files should be " 5877247c0caSAkira Fujita "regular file [ino:orig %lu, donor %lu]\n", 5887247c0caSAkira Fujita orig_inode->i_ino, donor_inode->i_ino); 5897247c0caSAkira Fujita return -EINVAL; 5907247c0caSAkira Fujita } 59104e22412SEric Whitney 59204e22412SEric Whitney /* TODO: it's not obvious how to swap blocks for inodes with full 59304e22412SEric Whitney journaling enabled */ 594f066055aSDmitry Monakhov if (ext4_should_journal_data(orig_inode) || 595f066055aSDmitry Monakhov ext4_should_journal_data(donor_inode)) { 59604e22412SEric Whitney ext4_msg(orig_inode->i_sb, KERN_ERR, 59704e22412SEric Whitney "Online defrag not supported with data journaling"); 59804e22412SEric Whitney return -EOPNOTSUPP; 599f066055aSDmitry Monakhov } 60004e22412SEric Whitney 601592ddec7SChandan Rajendra if (IS_ENCRYPTED(orig_inode) || IS_ENCRYPTED(donor_inode)) { 60214fbd4aaSEric Whitney ext4_msg(orig_inode->i_sb, KERN_ERR, 60314fbd4aaSEric Whitney "Online defrag not supported for encrypted files"); 60414fbd4aaSEric Whitney return -EOPNOTSUPP; 60514fbd4aaSEric Whitney } 60614fbd4aaSEric Whitney 607fc04cb49SAkira Fujita /* Protect orig and donor inodes against a truncate */ 608375e289eSJ. Bruce Fields lock_two_nondirectories(orig_inode, donor_inode); 609748de673SAkira Fujita 61017335dccSDmitry Monakhov /* Wait for all existing dio workers */ 61117335dccSDmitry Monakhov inode_dio_wait(orig_inode); 61217335dccSDmitry Monakhov inode_dio_wait(donor_inode); 61317335dccSDmitry Monakhov 614fc04cb49SAkira Fujita /* Protect extent tree against block allocations via delalloc */ 615393d1d1dSDr. Tilmann Bubeck ext4_double_down_write_data_sem(orig_inode, donor_inode); 616748de673SAkira Fujita /* Check the filesystem environment whether move_extent can be done */ 617fcf6b1b7SDmitry Monakhov ret = mext_check_arguments(orig_inode, donor_inode, orig_blk, 618fcf6b1b7SDmitry Monakhov donor_blk, &len); 61903bd8b9bSDmitry Monakhov if (ret) 620347fa6f1SAkira Fujita goto out; 621fcf6b1b7SDmitry Monakhov o_end = o_start + len; 622748de673SAkira Fujita 623fcf6b1b7SDmitry Monakhov while (o_start < o_end) { 624fcf6b1b7SDmitry Monakhov struct ext4_extent *ex; 625fcf6b1b7SDmitry Monakhov ext4_lblk_t cur_blk, next_blk; 626fcf6b1b7SDmitry Monakhov pgoff_t orig_page_index, donor_page_index; 627fcf6b1b7SDmitry Monakhov int offset_in_page; 628fcf6b1b7SDmitry Monakhov int unwritten, cur_len; 629748de673SAkira Fujita 630fcf6b1b7SDmitry Monakhov ret = get_ext_path(orig_inode, o_start, &path); 63103bd8b9bSDmitry Monakhov if (ret) 632347fa6f1SAkira Fujita goto out; 633fcf6b1b7SDmitry Monakhov ex = path[path->p_depth].p_ext; 634fcf6b1b7SDmitry Monakhov next_blk = ext4_ext_next_allocated_block(path); 635fcf6b1b7SDmitry Monakhov cur_blk = le32_to_cpu(ex->ee_block); 636fcf6b1b7SDmitry Monakhov cur_len = ext4_ext_get_actual_len(ex); 637fcf6b1b7SDmitry Monakhov /* Check hole before the start pos */ 638fcf6b1b7SDmitry Monakhov if (cur_blk + cur_len - 1 < o_start) { 639fcf6b1b7SDmitry Monakhov if (next_blk == EXT_MAX_BLOCKS) { 640fcf6b1b7SDmitry Monakhov ret = -ENODATA; 641748de673SAkira Fujita goto out; 642748de673SAkira Fujita } 643fcf6b1b7SDmitry Monakhov d_start += next_blk - o_start; 644fcf6b1b7SDmitry Monakhov o_start = next_blk; 6453bdf14b4STheodore Ts'o continue; 646fcf6b1b7SDmitry Monakhov /* Check hole after the start pos */ 647fcf6b1b7SDmitry Monakhov } else if (cur_blk > o_start) { 648fcf6b1b7SDmitry Monakhov /* Skip hole */ 649fcf6b1b7SDmitry Monakhov d_start += cur_blk - o_start; 650fcf6b1b7SDmitry Monakhov o_start = cur_blk; 651fcf6b1b7SDmitry Monakhov /* Extent inside requested range ?*/ 652fcf6b1b7SDmitry Monakhov if (cur_blk >= o_end) 653748de673SAkira Fujita goto out; 654fcf6b1b7SDmitry Monakhov } else { /* in_range(o_start, o_blk, o_len) */ 655fcf6b1b7SDmitry Monakhov cur_len += cur_blk - o_start; 656748de673SAkira Fujita } 657fcf6b1b7SDmitry Monakhov unwritten = ext4_ext_is_unwritten(ex); 658fcf6b1b7SDmitry Monakhov if (o_end - o_start < cur_len) 659fcf6b1b7SDmitry Monakhov cur_len = o_end - o_start; 660748de673SAkira Fujita 66109cbfeafSKirill A. Shutemov orig_page_index = o_start >> (PAGE_SHIFT - 662fcf6b1b7SDmitry Monakhov orig_inode->i_blkbits); 66309cbfeafSKirill A. Shutemov donor_page_index = d_start >> (PAGE_SHIFT - 664fcf6b1b7SDmitry Monakhov donor_inode->i_blkbits); 665fcf6b1b7SDmitry Monakhov offset_in_page = o_start % blocks_per_page; 666fcf6b1b7SDmitry Monakhov if (cur_len > blocks_per_page- offset_in_page) 667fcf6b1b7SDmitry Monakhov cur_len = blocks_per_page - offset_in_page; 668fc04cb49SAkira Fujita /* 669fc04cb49SAkira Fujita * Up semaphore to avoid following problems: 670fc04cb49SAkira Fujita * a. transaction deadlock among ext4_journal_start, 671fc04cb49SAkira Fujita * ->write_begin via pagefault, and jbd2_journal_commit 672*fe5ddf6bSMatthew Wilcox (Oracle) * b. racing with ->read_folio, ->write_begin, and 673*fe5ddf6bSMatthew Wilcox (Oracle) * ext4_get_block in move_extent_per_page 674fc04cb49SAkira Fujita */ 675393d1d1dSDr. Tilmann Bubeck ext4_double_up_write_data_sem(orig_inode, donor_inode); 676748de673SAkira Fujita /* Swap original branches with new branches */ 677fcf6b1b7SDmitry Monakhov move_extent_per_page(o_filp, donor_inode, 678fcf6b1b7SDmitry Monakhov orig_page_index, donor_page_index, 679fcf6b1b7SDmitry Monakhov offset_in_page, cur_len, 680556615dcSLukas Czerner unwritten, &ret); 681393d1d1dSDr. Tilmann Bubeck ext4_double_down_write_data_sem(orig_inode, donor_inode); 68203bd8b9bSDmitry Monakhov if (ret < 0) 683fc04cb49SAkira Fujita break; 684fcf6b1b7SDmitry Monakhov o_start += cur_len; 685fcf6b1b7SDmitry Monakhov d_start += cur_len; 686748de673SAkira Fujita } 687fcf6b1b7SDmitry Monakhov *moved_len = o_start - orig_blk; 688fcf6b1b7SDmitry Monakhov if (*moved_len > len) 689fcf6b1b7SDmitry Monakhov *moved_len = len; 690fcf6b1b7SDmitry Monakhov 691748de673SAkira Fujita out: 69294d7c16cSAkira Fujita if (*moved_len) { 69327bc446eSbrookxu ext4_discard_preallocations(orig_inode, 0); 69427bc446eSbrookxu ext4_discard_preallocations(donor_inode, 0); 69594d7c16cSAkira Fujita } 69694d7c16cSAkira Fujita 697fcf6b1b7SDmitry Monakhov ext4_ext_drop_refs(path); 698fcf6b1b7SDmitry Monakhov kfree(path); 699393d1d1dSDr. Tilmann Bubeck ext4_double_up_write_data_sem(orig_inode, donor_inode); 700375e289eSJ. Bruce Fields unlock_two_nondirectories(orig_inode, donor_inode); 701748de673SAkira Fujita 70203bd8b9bSDmitry Monakhov return ret; 703748de673SAkira Fujita } 704