xref: /linux/mm/truncate.c (revision cd656375f94632d7b5af57bf67b7b5c0270c591c)
11da177e4SLinus Torvalds /*
21da177e4SLinus Torvalds  * mm/truncate.c - code for taking down pages from address_spaces
31da177e4SLinus Torvalds  *
41da177e4SLinus Torvalds  * Copyright (C) 2002, Linus Torvalds
51da177e4SLinus Torvalds  *
6e1f8e874SFrancois Cami  * 10Sep2002	Andrew Morton
71da177e4SLinus Torvalds  *		Initial version.
81da177e4SLinus Torvalds  */
91da177e4SLinus Torvalds 
101da177e4SLinus Torvalds #include <linux/kernel.h>
114af3c9ccSAlexey Dobriyan #include <linux/backing-dev.h>
12f9fe48beSRoss Zwisler #include <linux/dax.h>
135a0e3ad6STejun Heo #include <linux/gfp.h>
141da177e4SLinus Torvalds #include <linux/mm.h>
150fd0e6b0SNick Piggin #include <linux/swap.h>
16b95f1b31SPaul Gortmaker #include <linux/export.h>
171da177e4SLinus Torvalds #include <linux/pagemap.h>
1801f2705dSNate Diller #include <linux/highmem.h>
191da177e4SLinus Torvalds #include <linux/pagevec.h>
20e08748ceSAndrew Morton #include <linux/task_io_accounting_ops.h>
211da177e4SLinus Torvalds #include <linux/buffer_head.h>	/* grr. try_to_release_page,
22aaa4059bSJan Kara 				   do_invalidatepage */
233a4f8a0bSHugh Dickins #include <linux/shmem_fs.h>
24c515e1fdSDan Magenheimer #include <linux/cleancache.h>
2590a80202SJan Kara #include <linux/rmap.h>
26ba470de4SRik van Riel #include "internal.h"
271da177e4SLinus Torvalds 
28c6dcf52cSJan Kara static void clear_shadow_entry(struct address_space *mapping, pgoff_t index,
29c6dcf52cSJan Kara 			       void *entry)
300cd6144aSJohannes Weiner {
31449dd698SJohannes Weiner 	struct radix_tree_node *node;
32449dd698SJohannes Weiner 	void **slot;
33449dd698SJohannes Weiner 
34ac401cc7SJan Kara 	spin_lock_irq(&mapping->tree_lock);
350cd6144aSJohannes Weiner 	/*
360cd6144aSJohannes Weiner 	 * Regular page slots are stabilized by the page lock even
370cd6144aSJohannes Weiner 	 * without the tree itself locked.  These unlocked entries
380cd6144aSJohannes Weiner 	 * need verification under the tree lock.
390cd6144aSJohannes Weiner 	 */
4014b46879SJohannes Weiner 	if (!__radix_tree_lookup(&mapping->page_tree, index, &node, &slot))
41449dd698SJohannes Weiner 		goto unlock;
42449dd698SJohannes Weiner 	if (*slot != entry)
43449dd698SJohannes Weiner 		goto unlock;
4414b46879SJohannes Weiner 	__radix_tree_replace(&mapping->page_tree, node, slot, NULL,
4514b46879SJohannes Weiner 			     workingset_update_node, mapping);
46f9fe48beSRoss Zwisler 	mapping->nrexceptional--;
47449dd698SJohannes Weiner unlock:
480cd6144aSJohannes Weiner 	spin_unlock_irq(&mapping->tree_lock);
490cd6144aSJohannes Weiner }
501da177e4SLinus Torvalds 
51c6dcf52cSJan Kara /*
52c6dcf52cSJan Kara  * Unconditionally remove exceptional entry. Usually called from truncate path.
53c6dcf52cSJan Kara  */
54c6dcf52cSJan Kara static void truncate_exceptional_entry(struct address_space *mapping,
55c6dcf52cSJan Kara 				       pgoff_t index, void *entry)
56c6dcf52cSJan Kara {
57c6dcf52cSJan Kara 	/* Handled by shmem itself */
58c6dcf52cSJan Kara 	if (shmem_mapping(mapping))
59c6dcf52cSJan Kara 		return;
60c6dcf52cSJan Kara 
61c6dcf52cSJan Kara 	if (dax_mapping(mapping)) {
62c6dcf52cSJan Kara 		dax_delete_mapping_entry(mapping, index);
63c6dcf52cSJan Kara 		return;
64c6dcf52cSJan Kara 	}
65c6dcf52cSJan Kara 	clear_shadow_entry(mapping, index, entry);
66c6dcf52cSJan Kara }
67c6dcf52cSJan Kara 
68c6dcf52cSJan Kara /*
69c6dcf52cSJan Kara  * Invalidate exceptional entry if easily possible. This handles exceptional
704636e70bSRoss Zwisler  * entries for invalidate_inode_pages().
71c6dcf52cSJan Kara  */
72c6dcf52cSJan Kara static int invalidate_exceptional_entry(struct address_space *mapping,
73c6dcf52cSJan Kara 					pgoff_t index, void *entry)
74c6dcf52cSJan Kara {
754636e70bSRoss Zwisler 	/* Handled by shmem itself, or for DAX we do nothing. */
764636e70bSRoss Zwisler 	if (shmem_mapping(mapping) || dax_mapping(mapping))
77c6dcf52cSJan Kara 		return 1;
78c6dcf52cSJan Kara 	clear_shadow_entry(mapping, index, entry);
79c6dcf52cSJan Kara 	return 1;
80c6dcf52cSJan Kara }
81c6dcf52cSJan Kara 
82c6dcf52cSJan Kara /*
83c6dcf52cSJan Kara  * Invalidate exceptional entry if clean. This handles exceptional entries for
84c6dcf52cSJan Kara  * invalidate_inode_pages2() so for DAX it evicts only clean entries.
85c6dcf52cSJan Kara  */
86c6dcf52cSJan Kara static int invalidate_exceptional_entry2(struct address_space *mapping,
87c6dcf52cSJan Kara 					 pgoff_t index, void *entry)
88c6dcf52cSJan Kara {
89c6dcf52cSJan Kara 	/* Handled by shmem itself */
90c6dcf52cSJan Kara 	if (shmem_mapping(mapping))
91c6dcf52cSJan Kara 		return 1;
92c6dcf52cSJan Kara 	if (dax_mapping(mapping))
93c6dcf52cSJan Kara 		return dax_invalidate_mapping_entry_sync(mapping, index);
94c6dcf52cSJan Kara 	clear_shadow_entry(mapping, index, entry);
95c6dcf52cSJan Kara 	return 1;
96c6dcf52cSJan Kara }
97c6dcf52cSJan Kara 
98cf9a2ae8SDavid Howells /**
9928bc44d7SFengguang Wu  * do_invalidatepage - invalidate part or all of a page
100cf9a2ae8SDavid Howells  * @page: the page which is affected
101d47992f8SLukas Czerner  * @offset: start of the range to invalidate
102d47992f8SLukas Czerner  * @length: length of the range to invalidate
103cf9a2ae8SDavid Howells  *
104cf9a2ae8SDavid Howells  * do_invalidatepage() is called when all or part of the page has become
105cf9a2ae8SDavid Howells  * invalidated by a truncate operation.
106cf9a2ae8SDavid Howells  *
107cf9a2ae8SDavid Howells  * do_invalidatepage() does not have to release all buffers, but it must
108cf9a2ae8SDavid Howells  * ensure that no dirty buffer is left outside @offset and that no I/O
109cf9a2ae8SDavid Howells  * is underway against any of the blocks which are outside the truncation
110cf9a2ae8SDavid Howells  * point.  Because the caller is about to free (and possibly reuse) those
111cf9a2ae8SDavid Howells  * blocks on-disk.
112cf9a2ae8SDavid Howells  */
113d47992f8SLukas Czerner void do_invalidatepage(struct page *page, unsigned int offset,
114d47992f8SLukas Czerner 		       unsigned int length)
115cf9a2ae8SDavid Howells {
116d47992f8SLukas Czerner 	void (*invalidatepage)(struct page *, unsigned int, unsigned int);
117d47992f8SLukas Czerner 
118cf9a2ae8SDavid Howells 	invalidatepage = page->mapping->a_ops->invalidatepage;
1199361401eSDavid Howells #ifdef CONFIG_BLOCK
120cf9a2ae8SDavid Howells 	if (!invalidatepage)
121cf9a2ae8SDavid Howells 		invalidatepage = block_invalidatepage;
1229361401eSDavid Howells #endif
123cf9a2ae8SDavid Howells 	if (invalidatepage)
124d47992f8SLukas Czerner 		(*invalidatepage)(page, offset, length);
125cf9a2ae8SDavid Howells }
126cf9a2ae8SDavid Howells 
127ecdfc978SLinus Torvalds /*
1281da177e4SLinus Torvalds  * If truncate cannot remove the fs-private metadata from the page, the page
12962e1c553SShaohua Li  * becomes orphaned.  It will be left on the LRU and may even be mapped into
13054cb8821SNick Piggin  * user pagetables if we're racing with filemap_fault().
1311da177e4SLinus Torvalds  *
1321da177e4SLinus Torvalds  * We need to bale out if page->mapping is no longer equal to the original
1331da177e4SLinus Torvalds  * mapping.  This happens a) when the VM reclaimed the page while we waited on
134fc0ecff6SAndrew Morton  * its lock, b) when a concurrent invalidate_mapping_pages got there first and
1351da177e4SLinus Torvalds  * c) when tmpfs swizzles a page between a tmpfs inode and swapper_space.
1361da177e4SLinus Torvalds  */
137750b4987SNick Piggin static int
1381da177e4SLinus Torvalds truncate_complete_page(struct address_space *mapping, struct page *page)
1391da177e4SLinus Torvalds {
1401da177e4SLinus Torvalds 	if (page->mapping != mapping)
141750b4987SNick Piggin 		return -EIO;
1421da177e4SLinus Torvalds 
143266cf658SDavid Howells 	if (page_has_private(page))
14409cbfeafSKirill A. Shutemov 		do_invalidatepage(page, 0, PAGE_SIZE);
1451da177e4SLinus Torvalds 
146b9ea2515SKonstantin Khlebnikov 	/*
147b9ea2515SKonstantin Khlebnikov 	 * Some filesystems seem to re-dirty the page even after
148b9ea2515SKonstantin Khlebnikov 	 * the VM has canceled the dirty bit (eg ext3 journaling).
149b9ea2515SKonstantin Khlebnikov 	 * Hence dirty accounting check is placed after invalidation.
150b9ea2515SKonstantin Khlebnikov 	 */
15111f81becSTejun Heo 	cancel_dirty_page(page);
1521da177e4SLinus Torvalds 	ClearPageMappedToDisk(page);
1535adc7b51SMinchan Kim 	delete_from_page_cache(page);
154750b4987SNick Piggin 	return 0;
1551da177e4SLinus Torvalds }
1561da177e4SLinus Torvalds 
1571da177e4SLinus Torvalds /*
158fc0ecff6SAndrew Morton  * This is for invalidate_mapping_pages().  That function can be called at
1591da177e4SLinus Torvalds  * any time, and is not supposed to throw away dirty pages.  But pages can
1600fd0e6b0SNick Piggin  * be marked dirty at any time too, so use remove_mapping which safely
1610fd0e6b0SNick Piggin  * discards clean, unused pages.
1621da177e4SLinus Torvalds  *
1631da177e4SLinus Torvalds  * Returns non-zero if the page was successfully invalidated.
1641da177e4SLinus Torvalds  */
1651da177e4SLinus Torvalds static int
1661da177e4SLinus Torvalds invalidate_complete_page(struct address_space *mapping, struct page *page)
1671da177e4SLinus Torvalds {
1680fd0e6b0SNick Piggin 	int ret;
1690fd0e6b0SNick Piggin 
1701da177e4SLinus Torvalds 	if (page->mapping != mapping)
1711da177e4SLinus Torvalds 		return 0;
1721da177e4SLinus Torvalds 
173266cf658SDavid Howells 	if (page_has_private(page) && !try_to_release_page(page, 0))
1741da177e4SLinus Torvalds 		return 0;
1751da177e4SLinus Torvalds 
1760fd0e6b0SNick Piggin 	ret = remove_mapping(mapping, page);
1770fd0e6b0SNick Piggin 
1780fd0e6b0SNick Piggin 	return ret;
1791da177e4SLinus Torvalds }
1801da177e4SLinus Torvalds 
181750b4987SNick Piggin int truncate_inode_page(struct address_space *mapping, struct page *page)
182750b4987SNick Piggin {
183fc127da0SKirill A. Shutemov 	loff_t holelen;
184fc127da0SKirill A. Shutemov 	VM_BUG_ON_PAGE(PageTail(page), page);
185fc127da0SKirill A. Shutemov 
186fc127da0SKirill A. Shutemov 	holelen = PageTransHuge(page) ? HPAGE_PMD_SIZE : PAGE_SIZE;
187750b4987SNick Piggin 	if (page_mapped(page)) {
188750b4987SNick Piggin 		unmap_mapping_range(mapping,
18909cbfeafSKirill A. Shutemov 				   (loff_t)page->index << PAGE_SHIFT,
190fc127da0SKirill A. Shutemov 				   holelen, 0);
191750b4987SNick Piggin 	}
192750b4987SNick Piggin 	return truncate_complete_page(mapping, page);
193750b4987SNick Piggin }
194750b4987SNick Piggin 
19583f78668SWu Fengguang /*
19625718736SAndi Kleen  * Used to get rid of pages on hardware memory corruption.
19725718736SAndi Kleen  */
19825718736SAndi Kleen int generic_error_remove_page(struct address_space *mapping, struct page *page)
19925718736SAndi Kleen {
20025718736SAndi Kleen 	if (!mapping)
20125718736SAndi Kleen 		return -EINVAL;
20225718736SAndi Kleen 	/*
20325718736SAndi Kleen 	 * Only punch for normal data pages for now.
20425718736SAndi Kleen 	 * Handling other types like directories would need more auditing.
20525718736SAndi Kleen 	 */
20625718736SAndi Kleen 	if (!S_ISREG(mapping->host->i_mode))
20725718736SAndi Kleen 		return -EIO;
20825718736SAndi Kleen 	return truncate_inode_page(mapping, page);
20925718736SAndi Kleen }
21025718736SAndi Kleen EXPORT_SYMBOL(generic_error_remove_page);
21125718736SAndi Kleen 
21225718736SAndi Kleen /*
21383f78668SWu Fengguang  * Safely invalidate one page from its pagecache mapping.
21483f78668SWu Fengguang  * It only drops clean, unused pages. The page must be locked.
21583f78668SWu Fengguang  *
21683f78668SWu Fengguang  * Returns 1 if the page is successfully invalidated, otherwise 0.
21783f78668SWu Fengguang  */
21883f78668SWu Fengguang int invalidate_inode_page(struct page *page)
21983f78668SWu Fengguang {
22083f78668SWu Fengguang 	struct address_space *mapping = page_mapping(page);
22183f78668SWu Fengguang 	if (!mapping)
22283f78668SWu Fengguang 		return 0;
22383f78668SWu Fengguang 	if (PageDirty(page) || PageWriteback(page))
22483f78668SWu Fengguang 		return 0;
22583f78668SWu Fengguang 	if (page_mapped(page))
22683f78668SWu Fengguang 		return 0;
22783f78668SWu Fengguang 	return invalidate_complete_page(mapping, page);
22883f78668SWu Fengguang }
22983f78668SWu Fengguang 
2301da177e4SLinus Torvalds /**
23173c1e204SLiu Bo  * truncate_inode_pages_range - truncate range of pages specified by start & end byte offsets
2321da177e4SLinus Torvalds  * @mapping: mapping to truncate
2331da177e4SLinus Torvalds  * @lstart: offset from which to truncate
2345a720394SLukas Czerner  * @lend: offset to which to truncate (inclusive)
2351da177e4SLinus Torvalds  *
236d7339071SHans Reiser  * Truncate the page cache, removing the pages that are between
2375a720394SLukas Czerner  * specified offsets (and zeroing out partial pages
2385a720394SLukas Czerner  * if lstart or lend + 1 is not page aligned).
2391da177e4SLinus Torvalds  *
2401da177e4SLinus Torvalds  * Truncate takes two passes - the first pass is nonblocking.  It will not
2411da177e4SLinus Torvalds  * block on page locks and it will not block on writeback.  The second pass
2421da177e4SLinus Torvalds  * will wait.  This is to prevent as much IO as possible in the affected region.
2431da177e4SLinus Torvalds  * The first pass will remove most pages, so the search cost of the second pass
2441da177e4SLinus Torvalds  * is low.
2451da177e4SLinus Torvalds  *
2461da177e4SLinus Torvalds  * We pass down the cache-hot hint to the page freeing code.  Even if the
2471da177e4SLinus Torvalds  * mapping is large, it is probably the case that the final pages are the most
2481da177e4SLinus Torvalds  * recently touched, and freeing happens in ascending file offset order.
2495a720394SLukas Czerner  *
2505a720394SLukas Czerner  * Note that since ->invalidatepage() accepts range to invalidate
2515a720394SLukas Czerner  * truncate_inode_pages_range is able to handle cases where lend + 1 is not
2525a720394SLukas Czerner  * page aligned properly.
2531da177e4SLinus Torvalds  */
254d7339071SHans Reiser void truncate_inode_pages_range(struct address_space *mapping,
255d7339071SHans Reiser 				loff_t lstart, loff_t lend)
2561da177e4SLinus Torvalds {
2575a720394SLukas Czerner 	pgoff_t		start;		/* inclusive */
2585a720394SLukas Czerner 	pgoff_t		end;		/* exclusive */
2595a720394SLukas Czerner 	unsigned int	partial_start;	/* inclusive */
2605a720394SLukas Czerner 	unsigned int	partial_end;	/* exclusive */
2611da177e4SLinus Torvalds 	struct pagevec	pvec;
2620cd6144aSJohannes Weiner 	pgoff_t		indices[PAGEVEC_SIZE];
263b85e0effSHugh Dickins 	pgoff_t		index;
2641da177e4SLinus Torvalds 	int		i;
2651da177e4SLinus Torvalds 
266f9fe48beSRoss Zwisler 	if (mapping->nrpages == 0 && mapping->nrexceptional == 0)
26734ccb69eSAndrey Ryabinin 		goto out;
2681da177e4SLinus Torvalds 
2695a720394SLukas Czerner 	/* Offsets within partial pages */
27009cbfeafSKirill A. Shutemov 	partial_start = lstart & (PAGE_SIZE - 1);
27109cbfeafSKirill A. Shutemov 	partial_end = (lend + 1) & (PAGE_SIZE - 1);
2725a720394SLukas Czerner 
2735a720394SLukas Czerner 	/*
2745a720394SLukas Czerner 	 * 'start' and 'end' always covers the range of pages to be fully
2755a720394SLukas Czerner 	 * truncated. Partial pages are covered with 'partial_start' at the
2765a720394SLukas Czerner 	 * start of the range and 'partial_end' at the end of the range.
2775a720394SLukas Czerner 	 * Note that 'end' is exclusive while 'lend' is inclusive.
2785a720394SLukas Czerner 	 */
27909cbfeafSKirill A. Shutemov 	start = (lstart + PAGE_SIZE - 1) >> PAGE_SHIFT;
2805a720394SLukas Czerner 	if (lend == -1)
2815a720394SLukas Czerner 		/*
2825a720394SLukas Czerner 		 * lend == -1 indicates end-of-file so we have to set 'end'
2835a720394SLukas Czerner 		 * to the highest possible pgoff_t and since the type is
2845a720394SLukas Czerner 		 * unsigned we're using -1.
2855a720394SLukas Czerner 		 */
2865a720394SLukas Czerner 		end = -1;
2875a720394SLukas Czerner 	else
28809cbfeafSKirill A. Shutemov 		end = (lend + 1) >> PAGE_SHIFT;
289d7339071SHans Reiser 
2901da177e4SLinus Torvalds 	pagevec_init(&pvec, 0);
291b85e0effSHugh Dickins 	index = start;
2920cd6144aSJohannes Weiner 	while (index < end && pagevec_lookup_entries(&pvec, mapping, index,
2930cd6144aSJohannes Weiner 			min(end - index, (pgoff_t)PAGEVEC_SIZE),
2940cd6144aSJohannes Weiner 			indices)) {
2951da177e4SLinus Torvalds 		for (i = 0; i < pagevec_count(&pvec); i++) {
2961da177e4SLinus Torvalds 			struct page *page = pvec.pages[i];
2971da177e4SLinus Torvalds 
298b85e0effSHugh Dickins 			/* We rely upon deletion not changing page->index */
2990cd6144aSJohannes Weiner 			index = indices[i];
3005a720394SLukas Czerner 			if (index >= end)
301d7339071SHans Reiser 				break;
302d7339071SHans Reiser 
3030cd6144aSJohannes Weiner 			if (radix_tree_exceptional_entry(page)) {
304c6dcf52cSJan Kara 				truncate_exceptional_entry(mapping, index,
305c6dcf52cSJan Kara 							   page);
3060cd6144aSJohannes Weiner 				continue;
3070cd6144aSJohannes Weiner 			}
3080cd6144aSJohannes Weiner 
309529ae9aaSNick Piggin 			if (!trylock_page(page))
3101da177e4SLinus Torvalds 				continue;
3115cbc198aSKirill A. Shutemov 			WARN_ON(page_to_index(page) != index);
3121da177e4SLinus Torvalds 			if (PageWriteback(page)) {
3131da177e4SLinus Torvalds 				unlock_page(page);
3141da177e4SLinus Torvalds 				continue;
3151da177e4SLinus Torvalds 			}
316750b4987SNick Piggin 			truncate_inode_page(mapping, page);
3171da177e4SLinus Torvalds 			unlock_page(page);
3181da177e4SLinus Torvalds 		}
3190cd6144aSJohannes Weiner 		pagevec_remove_exceptionals(&pvec);
3201da177e4SLinus Torvalds 		pagevec_release(&pvec);
3211da177e4SLinus Torvalds 		cond_resched();
322b85e0effSHugh Dickins 		index++;
3231da177e4SLinus Torvalds 	}
3241da177e4SLinus Torvalds 
3255a720394SLukas Czerner 	if (partial_start) {
3261da177e4SLinus Torvalds 		struct page *page = find_lock_page(mapping, start - 1);
3271da177e4SLinus Torvalds 		if (page) {
32809cbfeafSKirill A. Shutemov 			unsigned int top = PAGE_SIZE;
3295a720394SLukas Czerner 			if (start > end) {
3305a720394SLukas Czerner 				/* Truncation within a single page */
3315a720394SLukas Czerner 				top = partial_end;
3325a720394SLukas Czerner 				partial_end = 0;
3335a720394SLukas Czerner 			}
3341da177e4SLinus Torvalds 			wait_on_page_writeback(page);
3355a720394SLukas Czerner 			zero_user_segment(page, partial_start, top);
3365a720394SLukas Czerner 			cleancache_invalidate_page(mapping, page);
3375a720394SLukas Czerner 			if (page_has_private(page))
3385a720394SLukas Czerner 				do_invalidatepage(page, partial_start,
3395a720394SLukas Czerner 						  top - partial_start);
3401da177e4SLinus Torvalds 			unlock_page(page);
34109cbfeafSKirill A. Shutemov 			put_page(page);
3421da177e4SLinus Torvalds 		}
3431da177e4SLinus Torvalds 	}
3445a720394SLukas Czerner 	if (partial_end) {
3455a720394SLukas Czerner 		struct page *page = find_lock_page(mapping, end);
3465a720394SLukas Czerner 		if (page) {
3475a720394SLukas Czerner 			wait_on_page_writeback(page);
3485a720394SLukas Czerner 			zero_user_segment(page, 0, partial_end);
3495a720394SLukas Czerner 			cleancache_invalidate_page(mapping, page);
3505a720394SLukas Czerner 			if (page_has_private(page))
3515a720394SLukas Czerner 				do_invalidatepage(page, 0,
3525a720394SLukas Czerner 						  partial_end);
3535a720394SLukas Czerner 			unlock_page(page);
35409cbfeafSKirill A. Shutemov 			put_page(page);
3555a720394SLukas Czerner 		}
3565a720394SLukas Czerner 	}
3575a720394SLukas Czerner 	/*
3585a720394SLukas Czerner 	 * If the truncation happened within a single page no pages
3595a720394SLukas Czerner 	 * will be released, just zeroed, so we can bail out now.
3605a720394SLukas Czerner 	 */
3615a720394SLukas Czerner 	if (start >= end)
36234ccb69eSAndrey Ryabinin 		goto out;
3631da177e4SLinus Torvalds 
364b85e0effSHugh Dickins 	index = start;
3651da177e4SLinus Torvalds 	for ( ; ; ) {
3661da177e4SLinus Torvalds 		cond_resched();
3670cd6144aSJohannes Weiner 		if (!pagevec_lookup_entries(&pvec, mapping, index,
368792ceaefSHugh Dickins 			min(end - index, (pgoff_t)PAGEVEC_SIZE), indices)) {
369792ceaefSHugh Dickins 			/* If all gone from start onwards, we're done */
370b85e0effSHugh Dickins 			if (index == start)
3711da177e4SLinus Torvalds 				break;
372792ceaefSHugh Dickins 			/* Otherwise restart to make sure all gone */
373b85e0effSHugh Dickins 			index = start;
3741da177e4SLinus Torvalds 			continue;
3751da177e4SLinus Torvalds 		}
3760cd6144aSJohannes Weiner 		if (index == start && indices[0] >= end) {
377792ceaefSHugh Dickins 			/* All gone out of hole to be punched, we're done */
3780cd6144aSJohannes Weiner 			pagevec_remove_exceptionals(&pvec);
379d7339071SHans Reiser 			pagevec_release(&pvec);
380d7339071SHans Reiser 			break;
381d7339071SHans Reiser 		}
3821da177e4SLinus Torvalds 		for (i = 0; i < pagevec_count(&pvec); i++) {
3831da177e4SLinus Torvalds 			struct page *page = pvec.pages[i];
3841da177e4SLinus Torvalds 
385b85e0effSHugh Dickins 			/* We rely upon deletion not changing page->index */
3860cd6144aSJohannes Weiner 			index = indices[i];
387792ceaefSHugh Dickins 			if (index >= end) {
388792ceaefSHugh Dickins 				/* Restart punch to make sure all gone */
389792ceaefSHugh Dickins 				index = start - 1;
390d7339071SHans Reiser 				break;
391792ceaefSHugh Dickins 			}
392b85e0effSHugh Dickins 
3930cd6144aSJohannes Weiner 			if (radix_tree_exceptional_entry(page)) {
394c6dcf52cSJan Kara 				truncate_exceptional_entry(mapping, index,
395c6dcf52cSJan Kara 							   page);
3960cd6144aSJohannes Weiner 				continue;
3970cd6144aSJohannes Weiner 			}
3980cd6144aSJohannes Weiner 
3991da177e4SLinus Torvalds 			lock_page(page);
4005cbc198aSKirill A. Shutemov 			WARN_ON(page_to_index(page) != index);
4011da177e4SLinus Torvalds 			wait_on_page_writeback(page);
402750b4987SNick Piggin 			truncate_inode_page(mapping, page);
4031da177e4SLinus Torvalds 			unlock_page(page);
4041da177e4SLinus Torvalds 		}
4050cd6144aSJohannes Weiner 		pagevec_remove_exceptionals(&pvec);
4061da177e4SLinus Torvalds 		pagevec_release(&pvec);
407b85e0effSHugh Dickins 		index++;
4081da177e4SLinus Torvalds 	}
40934ccb69eSAndrey Ryabinin 
41034ccb69eSAndrey Ryabinin out:
4113167760fSDan Magenheimer 	cleancache_invalidate_inode(mapping);
4121da177e4SLinus Torvalds }
413d7339071SHans Reiser EXPORT_SYMBOL(truncate_inode_pages_range);
4141da177e4SLinus Torvalds 
415d7339071SHans Reiser /**
416d7339071SHans Reiser  * truncate_inode_pages - truncate *all* the pages from an offset
417d7339071SHans Reiser  * @mapping: mapping to truncate
418d7339071SHans Reiser  * @lstart: offset from which to truncate
419d7339071SHans Reiser  *
4201b1dcc1bSJes Sorensen  * Called under (and serialised by) inode->i_mutex.
42108142579SJan Kara  *
42208142579SJan Kara  * Note: When this function returns, there can be a page in the process of
42308142579SJan Kara  * deletion (inside __delete_from_page_cache()) in the specified range.  Thus
42408142579SJan Kara  * mapping->nrpages can be non-zero when this function returns even after
42508142579SJan Kara  * truncation of the whole mapping.
426d7339071SHans Reiser  */
427d7339071SHans Reiser void truncate_inode_pages(struct address_space *mapping, loff_t lstart)
428d7339071SHans Reiser {
429d7339071SHans Reiser 	truncate_inode_pages_range(mapping, lstart, (loff_t)-1);
430d7339071SHans Reiser }
4311da177e4SLinus Torvalds EXPORT_SYMBOL(truncate_inode_pages);
4321da177e4SLinus Torvalds 
43328697355SMike Waychison /**
43491b0abe3SJohannes Weiner  * truncate_inode_pages_final - truncate *all* pages before inode dies
43591b0abe3SJohannes Weiner  * @mapping: mapping to truncate
43691b0abe3SJohannes Weiner  *
43791b0abe3SJohannes Weiner  * Called under (and serialized by) inode->i_mutex.
43891b0abe3SJohannes Weiner  *
43991b0abe3SJohannes Weiner  * Filesystems have to use this in the .evict_inode path to inform the
44091b0abe3SJohannes Weiner  * VM that this is the final truncate and the inode is going away.
44191b0abe3SJohannes Weiner  */
44291b0abe3SJohannes Weiner void truncate_inode_pages_final(struct address_space *mapping)
44391b0abe3SJohannes Weiner {
444f9fe48beSRoss Zwisler 	unsigned long nrexceptional;
44591b0abe3SJohannes Weiner 	unsigned long nrpages;
44691b0abe3SJohannes Weiner 
44791b0abe3SJohannes Weiner 	/*
44891b0abe3SJohannes Weiner 	 * Page reclaim can not participate in regular inode lifetime
44991b0abe3SJohannes Weiner 	 * management (can't call iput()) and thus can race with the
45091b0abe3SJohannes Weiner 	 * inode teardown.  Tell it when the address space is exiting,
45191b0abe3SJohannes Weiner 	 * so that it does not install eviction information after the
45291b0abe3SJohannes Weiner 	 * final truncate has begun.
45391b0abe3SJohannes Weiner 	 */
45491b0abe3SJohannes Weiner 	mapping_set_exiting(mapping);
45591b0abe3SJohannes Weiner 
45691b0abe3SJohannes Weiner 	/*
45791b0abe3SJohannes Weiner 	 * When reclaim installs eviction entries, it increases
458f9fe48beSRoss Zwisler 	 * nrexceptional first, then decreases nrpages.  Make sure we see
45991b0abe3SJohannes Weiner 	 * this in the right order or we might miss an entry.
46091b0abe3SJohannes Weiner 	 */
46191b0abe3SJohannes Weiner 	nrpages = mapping->nrpages;
46291b0abe3SJohannes Weiner 	smp_rmb();
463f9fe48beSRoss Zwisler 	nrexceptional = mapping->nrexceptional;
46491b0abe3SJohannes Weiner 
465f9fe48beSRoss Zwisler 	if (nrpages || nrexceptional) {
46691b0abe3SJohannes Weiner 		/*
46791b0abe3SJohannes Weiner 		 * As truncation uses a lockless tree lookup, cycle
46891b0abe3SJohannes Weiner 		 * the tree lock to make sure any ongoing tree
46991b0abe3SJohannes Weiner 		 * modification that does not see AS_EXITING is
47091b0abe3SJohannes Weiner 		 * completed before starting the final truncate.
47191b0abe3SJohannes Weiner 		 */
47291b0abe3SJohannes Weiner 		spin_lock_irq(&mapping->tree_lock);
47391b0abe3SJohannes Weiner 		spin_unlock_irq(&mapping->tree_lock);
47491b0abe3SJohannes Weiner 
47591b0abe3SJohannes Weiner 		truncate_inode_pages(mapping, 0);
47691b0abe3SJohannes Weiner 	}
47791b0abe3SJohannes Weiner }
47891b0abe3SJohannes Weiner EXPORT_SYMBOL(truncate_inode_pages_final);
47991b0abe3SJohannes Weiner 
48091b0abe3SJohannes Weiner /**
48128697355SMike Waychison  * invalidate_mapping_pages - Invalidate all the unlocked pages of one inode
48228697355SMike Waychison  * @mapping: the address_space which holds the pages to invalidate
48328697355SMike Waychison  * @start: the offset 'from' which to invalidate
48428697355SMike Waychison  * @end: the offset 'to' which to invalidate (inclusive)
48528697355SMike Waychison  *
48628697355SMike Waychison  * This function only removes the unlocked pages, if you want to
48728697355SMike Waychison  * remove all the pages of one inode, you must call truncate_inode_pages.
48828697355SMike Waychison  *
48928697355SMike Waychison  * invalidate_mapping_pages() will not block on IO activity. It will not
49028697355SMike Waychison  * invalidate pages which are dirty, locked, under writeback or mapped into
49128697355SMike Waychison  * pagetables.
49228697355SMike Waychison  */
49328697355SMike Waychison unsigned long invalidate_mapping_pages(struct address_space *mapping,
49428697355SMike Waychison 		pgoff_t start, pgoff_t end)
4951da177e4SLinus Torvalds {
4960cd6144aSJohannes Weiner 	pgoff_t indices[PAGEVEC_SIZE];
4971da177e4SLinus Torvalds 	struct pagevec pvec;
498b85e0effSHugh Dickins 	pgoff_t index = start;
49931560180SMinchan Kim 	unsigned long ret;
50031560180SMinchan Kim 	unsigned long count = 0;
5011da177e4SLinus Torvalds 	int i;
5021da177e4SLinus Torvalds 
5031da177e4SLinus Torvalds 	pagevec_init(&pvec, 0);
5040cd6144aSJohannes Weiner 	while (index <= end && pagevec_lookup_entries(&pvec, mapping, index,
5050cd6144aSJohannes Weiner 			min(end - index, (pgoff_t)PAGEVEC_SIZE - 1) + 1,
5060cd6144aSJohannes Weiner 			indices)) {
5071da177e4SLinus Torvalds 		for (i = 0; i < pagevec_count(&pvec); i++) {
5081da177e4SLinus Torvalds 			struct page *page = pvec.pages[i];
5091da177e4SLinus Torvalds 
510b85e0effSHugh Dickins 			/* We rely upon deletion not changing page->index */
5110cd6144aSJohannes Weiner 			index = indices[i];
512b85e0effSHugh Dickins 			if (index > end)
513b85e0effSHugh Dickins 				break;
514e0f23603SNeilBrown 
5150cd6144aSJohannes Weiner 			if (radix_tree_exceptional_entry(page)) {
516c6dcf52cSJan Kara 				invalidate_exceptional_entry(mapping, index,
517c6dcf52cSJan Kara 							     page);
5180cd6144aSJohannes Weiner 				continue;
5190cd6144aSJohannes Weiner 			}
5200cd6144aSJohannes Weiner 
521b85e0effSHugh Dickins 			if (!trylock_page(page))
522b85e0effSHugh Dickins 				continue;
523fc127da0SKirill A. Shutemov 
5245cbc198aSKirill A. Shutemov 			WARN_ON(page_to_index(page) != index);
525fc127da0SKirill A. Shutemov 
526fc127da0SKirill A. Shutemov 			/* Middle of THP: skip */
527fc127da0SKirill A. Shutemov 			if (PageTransTail(page)) {
528fc127da0SKirill A. Shutemov 				unlock_page(page);
529fc127da0SKirill A. Shutemov 				continue;
530fc127da0SKirill A. Shutemov 			} else if (PageTransHuge(page)) {
531fc127da0SKirill A. Shutemov 				index += HPAGE_PMD_NR - 1;
532fc127da0SKirill A. Shutemov 				i += HPAGE_PMD_NR - 1;
533fc127da0SKirill A. Shutemov 				/* 'end' is in the middle of THP */
534fc127da0SKirill A. Shutemov 				if (index ==  round_down(end, HPAGE_PMD_NR))
535fc127da0SKirill A. Shutemov 					continue;
536fc127da0SKirill A. Shutemov 			}
537fc127da0SKirill A. Shutemov 
53831560180SMinchan Kim 			ret = invalidate_inode_page(page);
5391da177e4SLinus Torvalds 			unlock_page(page);
54031560180SMinchan Kim 			/*
54131560180SMinchan Kim 			 * Invalidation is a hint that the page is no longer
54231560180SMinchan Kim 			 * of interest and try to speed up its reclaim.
54331560180SMinchan Kim 			 */
54431560180SMinchan Kim 			if (!ret)
545cc5993bdSMinchan Kim 				deactivate_file_page(page);
54631560180SMinchan Kim 			count += ret;
5471da177e4SLinus Torvalds 		}
5480cd6144aSJohannes Weiner 		pagevec_remove_exceptionals(&pvec);
5491da177e4SLinus Torvalds 		pagevec_release(&pvec);
550fc9a07e7SAndrew Morton 		cond_resched();
551b85e0effSHugh Dickins 		index++;
5521da177e4SLinus Torvalds 	}
55331560180SMinchan Kim 	return count;
5541da177e4SLinus Torvalds }
55554bc4855SAnton Altaparmakov EXPORT_SYMBOL(invalidate_mapping_pages);
5561da177e4SLinus Torvalds 
557bd4c8ce4SAndrew Morton /*
558bd4c8ce4SAndrew Morton  * This is like invalidate_complete_page(), except it ignores the page's
559bd4c8ce4SAndrew Morton  * refcount.  We do this because invalidate_inode_pages2() needs stronger
560bd4c8ce4SAndrew Morton  * invalidation guarantees, and cannot afford to leave pages behind because
5612706a1b8SAnderson Briglia  * shrink_page_list() has a temp ref on them, or because they're transiently
5622706a1b8SAnderson Briglia  * sitting in the lru_cache_add() pagevecs.
563bd4c8ce4SAndrew Morton  */
564bd4c8ce4SAndrew Morton static int
565bd4c8ce4SAndrew Morton invalidate_complete_page2(struct address_space *mapping, struct page *page)
566bd4c8ce4SAndrew Morton {
567c4843a75SGreg Thelen 	unsigned long flags;
568c4843a75SGreg Thelen 
569bd4c8ce4SAndrew Morton 	if (page->mapping != mapping)
570bd4c8ce4SAndrew Morton 		return 0;
571bd4c8ce4SAndrew Morton 
572266cf658SDavid Howells 	if (page_has_private(page) && !try_to_release_page(page, GFP_KERNEL))
573bd4c8ce4SAndrew Morton 		return 0;
574bd4c8ce4SAndrew Morton 
575c4843a75SGreg Thelen 	spin_lock_irqsave(&mapping->tree_lock, flags);
576bd4c8ce4SAndrew Morton 	if (PageDirty(page))
577bd4c8ce4SAndrew Morton 		goto failed;
578bd4c8ce4SAndrew Morton 
579266cf658SDavid Howells 	BUG_ON(page_has_private(page));
58062cccb8cSJohannes Weiner 	__delete_from_page_cache(page, NULL);
581c4843a75SGreg Thelen 	spin_unlock_irqrestore(&mapping->tree_lock, flags);
5826072d13cSLinus Torvalds 
5836072d13cSLinus Torvalds 	if (mapping->a_ops->freepage)
5846072d13cSLinus Torvalds 		mapping->a_ops->freepage(page);
5856072d13cSLinus Torvalds 
58609cbfeafSKirill A. Shutemov 	put_page(page);	/* pagecache ref */
587bd4c8ce4SAndrew Morton 	return 1;
588bd4c8ce4SAndrew Morton failed:
589c4843a75SGreg Thelen 	spin_unlock_irqrestore(&mapping->tree_lock, flags);
590bd4c8ce4SAndrew Morton 	return 0;
591bd4c8ce4SAndrew Morton }
592bd4c8ce4SAndrew Morton 
593e3db7691STrond Myklebust static int do_launder_page(struct address_space *mapping, struct page *page)
594e3db7691STrond Myklebust {
595e3db7691STrond Myklebust 	if (!PageDirty(page))
596e3db7691STrond Myklebust 		return 0;
597e3db7691STrond Myklebust 	if (page->mapping != mapping || mapping->a_ops->launder_page == NULL)
598e3db7691STrond Myklebust 		return 0;
599e3db7691STrond Myklebust 	return mapping->a_ops->launder_page(page);
600e3db7691STrond Myklebust }
601e3db7691STrond Myklebust 
6021da177e4SLinus Torvalds /**
6031da177e4SLinus Torvalds  * invalidate_inode_pages2_range - remove range of pages from an address_space
60467be2dd1SMartin Waitz  * @mapping: the address_space
6051da177e4SLinus Torvalds  * @start: the page offset 'from' which to invalidate
6061da177e4SLinus Torvalds  * @end: the page offset 'to' which to invalidate (inclusive)
6071da177e4SLinus Torvalds  *
6081da177e4SLinus Torvalds  * Any pages which are found to be mapped into pagetables are unmapped prior to
6091da177e4SLinus Torvalds  * invalidation.
6101da177e4SLinus Torvalds  *
6116ccfa806SHisashi Hifumi  * Returns -EBUSY if any pages could not be invalidated.
6121da177e4SLinus Torvalds  */
6131da177e4SLinus Torvalds int invalidate_inode_pages2_range(struct address_space *mapping,
6141da177e4SLinus Torvalds 				  pgoff_t start, pgoff_t end)
6151da177e4SLinus Torvalds {
6160cd6144aSJohannes Weiner 	pgoff_t indices[PAGEVEC_SIZE];
6171da177e4SLinus Torvalds 	struct pagevec pvec;
618b85e0effSHugh Dickins 	pgoff_t index;
6191da177e4SLinus Torvalds 	int i;
6201da177e4SLinus Torvalds 	int ret = 0;
6210dd1334fSHisashi Hifumi 	int ret2 = 0;
6221da177e4SLinus Torvalds 	int did_range_unmap = 0;
6231da177e4SLinus Torvalds 
62432691f0fSAndrey Ryabinin 	if (mapping->nrpages == 0 && mapping->nrexceptional == 0)
62534ccb69eSAndrey Ryabinin 		goto out;
62632691f0fSAndrey Ryabinin 
6271da177e4SLinus Torvalds 	pagevec_init(&pvec, 0);
628b85e0effSHugh Dickins 	index = start;
6290cd6144aSJohannes Weiner 	while (index <= end && pagevec_lookup_entries(&pvec, mapping, index,
6300cd6144aSJohannes Weiner 			min(end - index, (pgoff_t)PAGEVEC_SIZE - 1) + 1,
6310cd6144aSJohannes Weiner 			indices)) {
6327b965e08STrond Myklebust 		for (i = 0; i < pagevec_count(&pvec); i++) {
6331da177e4SLinus Torvalds 			struct page *page = pvec.pages[i];
634b85e0effSHugh Dickins 
635b85e0effSHugh Dickins 			/* We rely upon deletion not changing page->index */
6360cd6144aSJohannes Weiner 			index = indices[i];
637b85e0effSHugh Dickins 			if (index > end)
638b85e0effSHugh Dickins 				break;
6391da177e4SLinus Torvalds 
6400cd6144aSJohannes Weiner 			if (radix_tree_exceptional_entry(page)) {
641c6dcf52cSJan Kara 				if (!invalidate_exceptional_entry2(mapping,
642c6dcf52cSJan Kara 								   index, page))
643c6dcf52cSJan Kara 					ret = -EBUSY;
6440cd6144aSJohannes Weiner 				continue;
6450cd6144aSJohannes Weiner 			}
6460cd6144aSJohannes Weiner 
6471da177e4SLinus Torvalds 			lock_page(page);
6485cbc198aSKirill A. Shutemov 			WARN_ON(page_to_index(page) != index);
6491da177e4SLinus Torvalds 			if (page->mapping != mapping) {
6501da177e4SLinus Torvalds 				unlock_page(page);
6511da177e4SLinus Torvalds 				continue;
6521da177e4SLinus Torvalds 			}
6531da177e4SLinus Torvalds 			wait_on_page_writeback(page);
654d00806b1SNick Piggin 			if (page_mapped(page)) {
6551da177e4SLinus Torvalds 				if (!did_range_unmap) {
6561da177e4SLinus Torvalds 					/*
6571da177e4SLinus Torvalds 					 * Zap the rest of the file in one hit.
6581da177e4SLinus Torvalds 					 */
6591da177e4SLinus Torvalds 					unmap_mapping_range(mapping,
66009cbfeafSKirill A. Shutemov 					   (loff_t)index << PAGE_SHIFT,
661b85e0effSHugh Dickins 					   (loff_t)(1 + end - index)
66209cbfeafSKirill A. Shutemov 							 << PAGE_SHIFT,
6631da177e4SLinus Torvalds 							 0);
6641da177e4SLinus Torvalds 					did_range_unmap = 1;
6651da177e4SLinus Torvalds 				} else {
6661da177e4SLinus Torvalds 					/*
6671da177e4SLinus Torvalds 					 * Just zap this page
6681da177e4SLinus Torvalds 					 */
6691da177e4SLinus Torvalds 					unmap_mapping_range(mapping,
67009cbfeafSKirill A. Shutemov 					   (loff_t)index << PAGE_SHIFT,
67109cbfeafSKirill A. Shutemov 					   PAGE_SIZE, 0);
6721da177e4SLinus Torvalds 				}
6731da177e4SLinus Torvalds 			}
674d00806b1SNick Piggin 			BUG_ON(page_mapped(page));
6750dd1334fSHisashi Hifumi 			ret2 = do_launder_page(mapping, page);
6760dd1334fSHisashi Hifumi 			if (ret2 == 0) {
6770dd1334fSHisashi Hifumi 				if (!invalidate_complete_page2(mapping, page))
6786ccfa806SHisashi Hifumi 					ret2 = -EBUSY;
6790dd1334fSHisashi Hifumi 			}
6800dd1334fSHisashi Hifumi 			if (ret2 < 0)
6810dd1334fSHisashi Hifumi 				ret = ret2;
6821da177e4SLinus Torvalds 			unlock_page(page);
6831da177e4SLinus Torvalds 		}
6840cd6144aSJohannes Weiner 		pagevec_remove_exceptionals(&pvec);
6851da177e4SLinus Torvalds 		pagevec_release(&pvec);
6861da177e4SLinus Torvalds 		cond_resched();
687b85e0effSHugh Dickins 		index++;
6881da177e4SLinus Torvalds 	}
689*cd656375SJan Kara 	/*
690*cd656375SJan Kara 	 * For DAX we invalidate page tables after invalidating radix tree.  We
691*cd656375SJan Kara 	 * could invalidate page tables while invalidating each entry however
692*cd656375SJan Kara 	 * that would be expensive. And doing range unmapping before doesn't
693*cd656375SJan Kara 	 * work as we have no cheap way to find whether radix tree entry didn't
694*cd656375SJan Kara 	 * get remapped later.
695*cd656375SJan Kara 	 */
696*cd656375SJan Kara 	if (dax_mapping(mapping)) {
697*cd656375SJan Kara 		unmap_mapping_range(mapping, (loff_t)start << PAGE_SHIFT,
698*cd656375SJan Kara 				    (loff_t)(end - start + 1) << PAGE_SHIFT, 0);
699*cd656375SJan Kara 	}
70034ccb69eSAndrey Ryabinin out:
7013167760fSDan Magenheimer 	cleancache_invalidate_inode(mapping);
7021da177e4SLinus Torvalds 	return ret;
7031da177e4SLinus Torvalds }
7041da177e4SLinus Torvalds EXPORT_SYMBOL_GPL(invalidate_inode_pages2_range);
7051da177e4SLinus Torvalds 
7061da177e4SLinus Torvalds /**
7071da177e4SLinus Torvalds  * invalidate_inode_pages2 - remove all pages from an address_space
70867be2dd1SMartin Waitz  * @mapping: the address_space
7091da177e4SLinus Torvalds  *
7101da177e4SLinus Torvalds  * Any pages which are found to be mapped into pagetables are unmapped prior to
7111da177e4SLinus Torvalds  * invalidation.
7121da177e4SLinus Torvalds  *
713e9de25ddSPeng Tao  * Returns -EBUSY if any pages could not be invalidated.
7141da177e4SLinus Torvalds  */
7151da177e4SLinus Torvalds int invalidate_inode_pages2(struct address_space *mapping)
7161da177e4SLinus Torvalds {
7171da177e4SLinus Torvalds 	return invalidate_inode_pages2_range(mapping, 0, -1);
7181da177e4SLinus Torvalds }
7191da177e4SLinus Torvalds EXPORT_SYMBOL_GPL(invalidate_inode_pages2);
72025d9e2d1Snpiggin@suse.de 
72125d9e2d1Snpiggin@suse.de /**
72225d9e2d1Snpiggin@suse.de  * truncate_pagecache - unmap and remove pagecache that has been truncated
72325d9e2d1Snpiggin@suse.de  * @inode: inode
7248a549beaSHugh Dickins  * @newsize: new file size
72525d9e2d1Snpiggin@suse.de  *
72625d9e2d1Snpiggin@suse.de  * inode's new i_size must already be written before truncate_pagecache
72725d9e2d1Snpiggin@suse.de  * is called.
72825d9e2d1Snpiggin@suse.de  *
72925d9e2d1Snpiggin@suse.de  * This function should typically be called before the filesystem
73025d9e2d1Snpiggin@suse.de  * releases resources associated with the freed range (eg. deallocates
73125d9e2d1Snpiggin@suse.de  * blocks). This way, pagecache will always stay logically coherent
73225d9e2d1Snpiggin@suse.de  * with on-disk format, and the filesystem would not have to deal with
73325d9e2d1Snpiggin@suse.de  * situations such as writepage being called for a page that has already
73425d9e2d1Snpiggin@suse.de  * had its underlying blocks deallocated.
73525d9e2d1Snpiggin@suse.de  */
7367caef267SKirill A. Shutemov void truncate_pagecache(struct inode *inode, loff_t newsize)
73725d9e2d1Snpiggin@suse.de {
73825d9e2d1Snpiggin@suse.de 	struct address_space *mapping = inode->i_mapping;
7398a549beaSHugh Dickins 	loff_t holebegin = round_up(newsize, PAGE_SIZE);
74025d9e2d1Snpiggin@suse.de 
74125d9e2d1Snpiggin@suse.de 	/*
74225d9e2d1Snpiggin@suse.de 	 * unmap_mapping_range is called twice, first simply for
74325d9e2d1Snpiggin@suse.de 	 * efficiency so that truncate_inode_pages does fewer
74425d9e2d1Snpiggin@suse.de 	 * single-page unmaps.  However after this first call, and
74525d9e2d1Snpiggin@suse.de 	 * before truncate_inode_pages finishes, it is possible for
74625d9e2d1Snpiggin@suse.de 	 * private pages to be COWed, which remain after
74725d9e2d1Snpiggin@suse.de 	 * truncate_inode_pages finishes, hence the second
74825d9e2d1Snpiggin@suse.de 	 * unmap_mapping_range call must be made for correctness.
74925d9e2d1Snpiggin@suse.de 	 */
7508a549beaSHugh Dickins 	unmap_mapping_range(mapping, holebegin, 0, 1);
7518a549beaSHugh Dickins 	truncate_inode_pages(mapping, newsize);
7528a549beaSHugh Dickins 	unmap_mapping_range(mapping, holebegin, 0, 1);
75325d9e2d1Snpiggin@suse.de }
75425d9e2d1Snpiggin@suse.de EXPORT_SYMBOL(truncate_pagecache);
75525d9e2d1Snpiggin@suse.de 
75625d9e2d1Snpiggin@suse.de /**
7572c27c65eSChristoph Hellwig  * truncate_setsize - update inode and pagecache for a new file size
7582c27c65eSChristoph Hellwig  * @inode: inode
7592c27c65eSChristoph Hellwig  * @newsize: new file size
7602c27c65eSChristoph Hellwig  *
761382e27daSJan Kara  * truncate_setsize updates i_size and performs pagecache truncation (if
762382e27daSJan Kara  * necessary) to @newsize. It will be typically be called from the filesystem's
763382e27daSJan Kara  * setattr function when ATTR_SIZE is passed in.
7642c27c65eSChristoph Hellwig  *
76577783d06SJan Kara  * Must be called with a lock serializing truncates and writes (generally
76677783d06SJan Kara  * i_mutex but e.g. xfs uses a different lock) and before all filesystem
76777783d06SJan Kara  * specific block truncation has been performed.
7682c27c65eSChristoph Hellwig  */
7692c27c65eSChristoph Hellwig void truncate_setsize(struct inode *inode, loff_t newsize)
7702c27c65eSChristoph Hellwig {
77190a80202SJan Kara 	loff_t oldsize = inode->i_size;
77290a80202SJan Kara 
7732c27c65eSChristoph Hellwig 	i_size_write(inode, newsize);
77490a80202SJan Kara 	if (newsize > oldsize)
77590a80202SJan Kara 		pagecache_isize_extended(inode, oldsize, newsize);
7767caef267SKirill A. Shutemov 	truncate_pagecache(inode, newsize);
7772c27c65eSChristoph Hellwig }
7782c27c65eSChristoph Hellwig EXPORT_SYMBOL(truncate_setsize);
7792c27c65eSChristoph Hellwig 
7802c27c65eSChristoph Hellwig /**
78190a80202SJan Kara  * pagecache_isize_extended - update pagecache after extension of i_size
78290a80202SJan Kara  * @inode:	inode for which i_size was extended
78390a80202SJan Kara  * @from:	original inode size
78490a80202SJan Kara  * @to:		new inode size
78590a80202SJan Kara  *
78690a80202SJan Kara  * Handle extension of inode size either caused by extending truncate or by
78790a80202SJan Kara  * write starting after current i_size. We mark the page straddling current
78890a80202SJan Kara  * i_size RO so that page_mkwrite() is called on the nearest write access to
78990a80202SJan Kara  * the page.  This way filesystem can be sure that page_mkwrite() is called on
79090a80202SJan Kara  * the page before user writes to the page via mmap after the i_size has been
79190a80202SJan Kara  * changed.
79290a80202SJan Kara  *
79390a80202SJan Kara  * The function must be called after i_size is updated so that page fault
79490a80202SJan Kara  * coming after we unlock the page will already see the new i_size.
79590a80202SJan Kara  * The function must be called while we still hold i_mutex - this not only
79690a80202SJan Kara  * makes sure i_size is stable but also that userspace cannot observe new
79790a80202SJan Kara  * i_size value before we are prepared to store mmap writes at new inode size.
79890a80202SJan Kara  */
79990a80202SJan Kara void pagecache_isize_extended(struct inode *inode, loff_t from, loff_t to)
80090a80202SJan Kara {
80193407472SFabian Frederick 	int bsize = i_blocksize(inode);
80290a80202SJan Kara 	loff_t rounded_from;
80390a80202SJan Kara 	struct page *page;
80490a80202SJan Kara 	pgoff_t index;
80590a80202SJan Kara 
80690a80202SJan Kara 	WARN_ON(to > inode->i_size);
80790a80202SJan Kara 
80809cbfeafSKirill A. Shutemov 	if (from >= to || bsize == PAGE_SIZE)
80990a80202SJan Kara 		return;
81090a80202SJan Kara 	/* Page straddling @from will not have any hole block created? */
81190a80202SJan Kara 	rounded_from = round_up(from, bsize);
81209cbfeafSKirill A. Shutemov 	if (to <= rounded_from || !(rounded_from & (PAGE_SIZE - 1)))
81390a80202SJan Kara 		return;
81490a80202SJan Kara 
81509cbfeafSKirill A. Shutemov 	index = from >> PAGE_SHIFT;
81690a80202SJan Kara 	page = find_lock_page(inode->i_mapping, index);
81790a80202SJan Kara 	/* Page not cached? Nothing to do */
81890a80202SJan Kara 	if (!page)
81990a80202SJan Kara 		return;
82090a80202SJan Kara 	/*
82190a80202SJan Kara 	 * See clear_page_dirty_for_io() for details why set_page_dirty()
82290a80202SJan Kara 	 * is needed.
82390a80202SJan Kara 	 */
82490a80202SJan Kara 	if (page_mkclean(page))
82590a80202SJan Kara 		set_page_dirty(page);
82690a80202SJan Kara 	unlock_page(page);
82709cbfeafSKirill A. Shutemov 	put_page(page);
82890a80202SJan Kara }
82990a80202SJan Kara EXPORT_SYMBOL(pagecache_isize_extended);
83090a80202SJan Kara 
83190a80202SJan Kara /**
832623e3db9SHugh Dickins  * truncate_pagecache_range - unmap and remove pagecache that is hole-punched
833623e3db9SHugh Dickins  * @inode: inode
834623e3db9SHugh Dickins  * @lstart: offset of beginning of hole
835623e3db9SHugh Dickins  * @lend: offset of last byte of hole
836623e3db9SHugh Dickins  *
837623e3db9SHugh Dickins  * This function should typically be called before the filesystem
838623e3db9SHugh Dickins  * releases resources associated with the freed range (eg. deallocates
839623e3db9SHugh Dickins  * blocks). This way, pagecache will always stay logically coherent
840623e3db9SHugh Dickins  * with on-disk format, and the filesystem would not have to deal with
841623e3db9SHugh Dickins  * situations such as writepage being called for a page that has already
842623e3db9SHugh Dickins  * had its underlying blocks deallocated.
843623e3db9SHugh Dickins  */
844623e3db9SHugh Dickins void truncate_pagecache_range(struct inode *inode, loff_t lstart, loff_t lend)
845623e3db9SHugh Dickins {
846623e3db9SHugh Dickins 	struct address_space *mapping = inode->i_mapping;
847623e3db9SHugh Dickins 	loff_t unmap_start = round_up(lstart, PAGE_SIZE);
848623e3db9SHugh Dickins 	loff_t unmap_end = round_down(1 + lend, PAGE_SIZE) - 1;
849623e3db9SHugh Dickins 	/*
850623e3db9SHugh Dickins 	 * This rounding is currently just for example: unmap_mapping_range
851623e3db9SHugh Dickins 	 * expands its hole outwards, whereas we want it to contract the hole
852623e3db9SHugh Dickins 	 * inwards.  However, existing callers of truncate_pagecache_range are
8535a720394SLukas Czerner 	 * doing their own page rounding first.  Note that unmap_mapping_range
8545a720394SLukas Czerner 	 * allows holelen 0 for all, and we allow lend -1 for end of file.
855623e3db9SHugh Dickins 	 */
856623e3db9SHugh Dickins 
857623e3db9SHugh Dickins 	/*
858623e3db9SHugh Dickins 	 * Unlike in truncate_pagecache, unmap_mapping_range is called only
859623e3db9SHugh Dickins 	 * once (before truncating pagecache), and without "even_cows" flag:
860623e3db9SHugh Dickins 	 * hole-punching should not remove private COWed pages from the hole.
861623e3db9SHugh Dickins 	 */
862623e3db9SHugh Dickins 	if ((u64)unmap_end > (u64)unmap_start)
863623e3db9SHugh Dickins 		unmap_mapping_range(mapping, unmap_start,
864623e3db9SHugh Dickins 				    1 + unmap_end - unmap_start, 0);
865623e3db9SHugh Dickins 	truncate_inode_pages_range(mapping, lstart, lend);
866623e3db9SHugh Dickins }
867623e3db9SHugh Dickins EXPORT_SYMBOL(truncate_pagecache_range);
868