truncate.c 15.8 KB
Newer Older
L
Linus Torvalds 已提交
1 2 3 4 5
/*
 * mm/truncate.c - code for taking down pages from address_spaces
 *
 * Copyright (C) 2002, Linus Torvalds
 *
6
 * 10Sep2002	Andrew Morton
L
Linus Torvalds 已提交
7 8 9 10
 *		Initial version.
 */

#include <linux/kernel.h>
A
Alexey Dobriyan 已提交
11
#include <linux/backing-dev.h>
L
Linus Torvalds 已提交
12
#include <linux/mm.h>
N
Nick Piggin 已提交
13
#include <linux/swap.h>
L
Linus Torvalds 已提交
14 15
#include <linux/module.h>
#include <linux/pagemap.h>
16
#include <linux/highmem.h>
L
Linus Torvalds 已提交
17
#include <linux/pagevec.h>
18
#include <linux/task_io_accounting_ops.h>
L
Linus Torvalds 已提交
19
#include <linux/buffer_head.h>	/* grr. try_to_release_page,
20
				   do_invalidatepage */
21
#include "internal.h"
L
Linus Torvalds 已提交
22 23


24
/**
25
 * do_invalidatepage - invalidate part or all of a page
26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41
 * @page: the page which is affected
 * @offset: the index of the truncation point
 *
 * do_invalidatepage() is called when all or part of the page has become
 * invalidated by a truncate operation.
 *
 * do_invalidatepage() does not have to release all buffers, but it must
 * ensure that no dirty buffer is left outside @offset and that no I/O
 * is underway against any of the blocks which are outside the truncation
 * point.  Because the caller is about to free (and possibly reuse) those
 * blocks on-disk.
 */
void do_invalidatepage(struct page *page, unsigned long offset)
{
	void (*invalidatepage)(struct page *, unsigned long);
	invalidatepage = page->mapping->a_ops->invalidatepage;
42
#ifdef CONFIG_BLOCK
43 44
	if (!invalidatepage)
		invalidatepage = block_invalidatepage;
45
#endif
46 47 48 49
	if (invalidatepage)
		(*invalidatepage)(page, offset);
}

L
Linus Torvalds 已提交
50 51
static inline void truncate_partial_page(struct page *page, unsigned partial)
{
52
	zero_user_segment(page, partial, PAGE_CACHE_SIZE);
53
	if (page_has_private(page))
L
Linus Torvalds 已提交
54 55 56
		do_invalidatepage(page, partial);
}

57 58 59 60 61 62 63 64 65 66 67 68 69 70
/*
 * This cancels just the dirty bit on the kernel page itself, it
 * does NOT actually remove dirty bits on any mmap's that may be
 * around. It also leaves the page tagged dirty, so any sync
 * activity will still find it on the dirty lists, and in particular,
 * clear_page_dirty_for_io() will still look at the dirty bits in
 * the VM.
 *
 * Doing this should *normally* only ever be done when a page
 * is truncated, and is not actually mapped anywhere at all. However,
 * fs/buffer.c does this when it notices that somebody has cleaned
 * out all the buffers on a page without actually doing it through
 * the VM. Can you say "ext3 is horribly ugly"? Tought you could.
 */
71 72
void cancel_dirty_page(struct page *page, unsigned int account_size)
{
73 74 75 76
	if (TestClearPageDirty(page)) {
		struct address_space *mapping = page->mapping;
		if (mapping && mapping_cap_account_dirty(mapping)) {
			dec_zone_page_state(page, NR_FILE_DIRTY);
77 78
			dec_bdi_stat(mapping->backing_dev_info,
					BDI_RECLAIMABLE);
79 80 81
			if (account_size)
				task_io_account_cancelled_write(account_size);
		}
82
	}
83
}
84
EXPORT_SYMBOL(cancel_dirty_page);
85

L
Linus Torvalds 已提交
86 87
/*
 * If truncate cannot remove the fs-private metadata from the page, the page
88
 * becomes orphaned.  It will be left on the LRU and may even be mapped into
89
 * user pagetables if we're racing with filemap_fault().
L
Linus Torvalds 已提交
90 91 92
 *
 * We need to bale out if page->mapping is no longer equal to the original
 * mapping.  This happens a) when the VM reclaimed the page while we waited on
93
 * its lock, b) when a concurrent invalidate_mapping_pages got there first and
L
Linus Torvalds 已提交
94 95
 * c) when tmpfs swizzles a page between a tmpfs inode and swapper_space.
 */
96
static int
L
Linus Torvalds 已提交
97 98 99
truncate_complete_page(struct address_space *mapping, struct page *page)
{
	if (page->mapping != mapping)
100
		return -EIO;
L
Linus Torvalds 已提交
101

102
	if (page_has_private(page))
L
Linus Torvalds 已提交
103 104
		do_invalidatepage(page, 0);

105 106
	cancel_dirty_page(page, PAGE_CACHE_SIZE);

107
	clear_page_mlock(page);
108
	remove_from_page_cache(page);
L
Linus Torvalds 已提交
109 110
	ClearPageMappedToDisk(page);
	page_cache_release(page);	/* pagecache ref */
111
	return 0;
L
Linus Torvalds 已提交
112 113 114
}

/*
115
 * This is for invalidate_mapping_pages().  That function can be called at
L
Linus Torvalds 已提交
116
 * any time, and is not supposed to throw away dirty pages.  But pages can
N
Nick Piggin 已提交
117 118
 * be marked dirty at any time too, so use remove_mapping which safely
 * discards clean, unused pages.
L
Linus Torvalds 已提交
119 120 121 122 123 124
 *
 * Returns non-zero if the page was successfully invalidated.
 */
static int
invalidate_complete_page(struct address_space *mapping, struct page *page)
{
N
Nick Piggin 已提交
125 126
	int ret;

L
Linus Torvalds 已提交
127 128 129
	if (page->mapping != mapping)
		return 0;

130
	if (page_has_private(page) && !try_to_release_page(page, 0))
L
Linus Torvalds 已提交
131 132
		return 0;

133
	clear_page_mlock(page);
N
Nick Piggin 已提交
134 135 136
	ret = remove_mapping(mapping, page);

	return ret;
L
Linus Torvalds 已提交
137 138
}

139 140 141 142 143 144 145 146 147 148
int truncate_inode_page(struct address_space *mapping, struct page *page)
{
	if (page_mapped(page)) {
		unmap_mapping_range(mapping,
				   (loff_t)page->index << PAGE_CACHE_SHIFT,
				   PAGE_CACHE_SIZE, 0);
	}
	return truncate_complete_page(mapping, page);
}

149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165
/*
 * Used to get rid of pages on hardware memory corruption.
 */
int generic_error_remove_page(struct address_space *mapping, struct page *page)
{
	if (!mapping)
		return -EINVAL;
	/*
	 * Only punch for normal data pages for now.
	 * Handling other types like directories would need more auditing.
	 */
	if (!S_ISREG(mapping->host->i_mode))
		return -EIO;
	return truncate_inode_page(mapping, page);
}
EXPORT_SYMBOL(generic_error_remove_page);

166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183
/*
 * Safely invalidate one page from its pagecache mapping.
 * It only drops clean, unused pages. The page must be locked.
 *
 * Returns 1 if the page is successfully invalidated, otherwise 0.
 */
int invalidate_inode_page(struct page *page)
{
	struct address_space *mapping = page_mapping(page);
	if (!mapping)
		return 0;
	if (PageDirty(page) || PageWriteback(page))
		return 0;
	if (page_mapped(page))
		return 0;
	return invalidate_complete_page(mapping, page);
}

L
Linus Torvalds 已提交
184
/**
185
 * truncate_inode_pages - truncate range of pages specified by start & end byte offsets
L
Linus Torvalds 已提交
186 187
 * @mapping: mapping to truncate
 * @lstart: offset from which to truncate
188
 * @lend: offset to which to truncate
L
Linus Torvalds 已提交
189
 *
190 191 192
 * Truncate the page cache, removing the pages that are between
 * specified offsets (and zeroing out partial page
 * (if lstart is not page aligned)).
L
Linus Torvalds 已提交
193 194 195 196 197 198 199 200 201 202 203 204 205 206
 *
 * Truncate takes two passes - the first pass is nonblocking.  It will not
 * block on page locks and it will not block on writeback.  The second pass
 * will wait.  This is to prevent as much IO as possible in the affected region.
 * The first pass will remove most pages, so the search cost of the second pass
 * is low.
 *
 * When looking at page->index outside the page lock we need to be careful to
 * copy it into a local to avoid races (it could change at any time).
 *
 * We pass down the cache-hot hint to the page freeing code.  Even if the
 * mapping is large, it is probably the case that the final pages are the most
 * recently touched, and freeing happens in ascending file offset order.
 */
207 208
void truncate_inode_pages_range(struct address_space *mapping,
				loff_t lstart, loff_t lend)
L
Linus Torvalds 已提交
209 210
{
	const pgoff_t start = (lstart + PAGE_CACHE_SIZE-1) >> PAGE_CACHE_SHIFT;
211
	pgoff_t end;
L
Linus Torvalds 已提交
212 213 214 215 216 217 218 219
	const unsigned partial = lstart & (PAGE_CACHE_SIZE - 1);
	struct pagevec pvec;
	pgoff_t next;
	int i;

	if (mapping->nrpages == 0)
		return;

220 221 222
	BUG_ON((lend & (PAGE_CACHE_SIZE - 1)) != (PAGE_CACHE_SIZE - 1));
	end = (lend >> PAGE_CACHE_SHIFT);

L
Linus Torvalds 已提交
223 224
	pagevec_init(&pvec, 0);
	next = start;
225 226
	while (next <= end &&
	       pagevec_lookup(&pvec, mapping, next, PAGEVEC_SIZE)) {
L
Linus Torvalds 已提交
227 228 229 230
		for (i = 0; i < pagevec_count(&pvec); i++) {
			struct page *page = pvec.pages[i];
			pgoff_t page_index = page->index;

231 232 233 234 235
			if (page_index > end) {
				next = page_index;
				break;
			}

L
Linus Torvalds 已提交
236 237 238
			if (page_index > next)
				next = page_index;
			next++;
N
Nick Piggin 已提交
239
			if (!trylock_page(page))
L
Linus Torvalds 已提交
240 241 242 243 244
				continue;
			if (PageWriteback(page)) {
				unlock_page(page);
				continue;
			}
245
			truncate_inode_page(mapping, page);
L
Linus Torvalds 已提交
246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270
			unlock_page(page);
		}
		pagevec_release(&pvec);
		cond_resched();
	}

	if (partial) {
		struct page *page = find_lock_page(mapping, start - 1);
		if (page) {
			wait_on_page_writeback(page);
			truncate_partial_page(page, partial);
			unlock_page(page);
			page_cache_release(page);
		}
	}

	next = start;
	for ( ; ; ) {
		cond_resched();
		if (!pagevec_lookup(&pvec, mapping, next, PAGEVEC_SIZE)) {
			if (next == start)
				break;
			next = start;
			continue;
		}
271 272 273 274
		if (pvec.pages[0]->index > end) {
			pagevec_release(&pvec);
			break;
		}
275
		mem_cgroup_uncharge_start();
L
Linus Torvalds 已提交
276 277 278
		for (i = 0; i < pagevec_count(&pvec); i++) {
			struct page *page = pvec.pages[i];

279 280
			if (page->index > end)
				break;
L
Linus Torvalds 已提交
281 282
			lock_page(page);
			wait_on_page_writeback(page);
283
			truncate_inode_page(mapping, page);
L
Linus Torvalds 已提交
284 285 286 287 288 289
			if (page->index > next)
				next = page->index;
			next++;
			unlock_page(page);
		}
		pagevec_release(&pvec);
290
		mem_cgroup_uncharge_end();
L
Linus Torvalds 已提交
291 292
	}
}
293
EXPORT_SYMBOL(truncate_inode_pages_range);
L
Linus Torvalds 已提交
294

295 296 297 298 299
/**
 * truncate_inode_pages - truncate *all* the pages from an offset
 * @mapping: mapping to truncate
 * @lstart: offset from which to truncate
 *
300
 * Called under (and serialised by) inode->i_mutex.
301 302 303 304 305
 */
void truncate_inode_pages(struct address_space *mapping, loff_t lstart)
{
	truncate_inode_pages_range(mapping, lstart, (loff_t)-1);
}
L
Linus Torvalds 已提交
306 307
EXPORT_SYMBOL(truncate_inode_pages);

308 309 310 311 312 313 314 315 316 317 318 319 320 321 322
/**
 * invalidate_mapping_pages - Invalidate all the unlocked pages of one inode
 * @mapping: the address_space which holds the pages to invalidate
 * @start: the offset 'from' which to invalidate
 * @end: the offset 'to' which to invalidate (inclusive)
 *
 * This function only removes the unlocked pages, if you want to
 * remove all the pages of one inode, you must call truncate_inode_pages.
 *
 * invalidate_mapping_pages() will not block on IO activity. It will not
 * invalidate pages which are dirty, locked, under writeback or mapped into
 * pagetables.
 */
unsigned long invalidate_mapping_pages(struct address_space *mapping,
				       pgoff_t start, pgoff_t end)
L
Linus Torvalds 已提交
323 324 325 326 327 328 329 330 331
{
	struct pagevec pvec;
	pgoff_t next = start;
	unsigned long ret = 0;
	int i;

	pagevec_init(&pvec, 0);
	while (next <= end &&
			pagevec_lookup(&pvec, mapping, next, PAGEVEC_SIZE)) {
332
		mem_cgroup_uncharge_start();
L
Linus Torvalds 已提交
333 334
		for (i = 0; i < pagevec_count(&pvec); i++) {
			struct page *page = pvec.pages[i];
335 336
			pgoff_t index;
			int lock_failed;
L
Linus Torvalds 已提交
337

N
Nick Piggin 已提交
338
			lock_failed = !trylock_page(page);
339 340 341 342 343 344 345 346 347 348

			/*
			 * We really shouldn't be looking at the ->index of an
			 * unlocked page.  But we're not allowed to lock these
			 * pages.  So we rely upon nobody altering the ->index
			 * of this (pinned-by-us) page.
			 */
			index = page->index;
			if (index > next)
				next = index;
L
Linus Torvalds 已提交
349
			next++;
350 351 352
			if (lock_failed)
				continue;

353 354
			ret += invalidate_inode_page(page);

L
Linus Torvalds 已提交
355 356 357 358 359
			unlock_page(page);
			if (next > end)
				break;
		}
		pagevec_release(&pvec);
360
		mem_cgroup_uncharge_end();
361
		cond_resched();
L
Linus Torvalds 已提交
362 363 364
	}
	return ret;
}
365
EXPORT_SYMBOL(invalidate_mapping_pages);
L
Linus Torvalds 已提交
366

367 368 369 370
/*
 * This is like invalidate_complete_page(), except it ignores the page's
 * refcount.  We do this because invalidate_inode_pages2() needs stronger
 * invalidation guarantees, and cannot afford to leave pages behind because
371 372
 * shrink_page_list() has a temp ref on them, or because they're transiently
 * sitting in the lru_cache_add() pagevecs.
373 374 375 376 377 378 379
 */
static int
invalidate_complete_page2(struct address_space *mapping, struct page *page)
{
	if (page->mapping != mapping)
		return 0;

380
	if (page_has_private(page) && !try_to_release_page(page, GFP_KERNEL))
381 382
		return 0;

N
Nick Piggin 已提交
383
	spin_lock_irq(&mapping->tree_lock);
384 385 386
	if (PageDirty(page))
		goto failed;

387
	clear_page_mlock(page);
388
	BUG_ON(page_has_private(page));
389
	__remove_from_page_cache(page);
N
Nick Piggin 已提交
390
	spin_unlock_irq(&mapping->tree_lock);
391
	mem_cgroup_uncharge_cache_page(page);
392 393 394
	page_cache_release(page);	/* pagecache ref */
	return 1;
failed:
N
Nick Piggin 已提交
395
	spin_unlock_irq(&mapping->tree_lock);
396 397 398
	return 0;
}

399 400 401 402 403 404 405 406 407
static int do_launder_page(struct address_space *mapping, struct page *page)
{
	if (!PageDirty(page))
		return 0;
	if (page->mapping != mapping || mapping->a_ops->launder_page == NULL)
		return 0;
	return mapping->a_ops->launder_page(page);
}

L
Linus Torvalds 已提交
408 409
/**
 * invalidate_inode_pages2_range - remove range of pages from an address_space
410
 * @mapping: the address_space
L
Linus Torvalds 已提交
411 412 413 414 415 416
 * @start: the page offset 'from' which to invalidate
 * @end: the page offset 'to' which to invalidate (inclusive)
 *
 * Any pages which are found to be mapped into pagetables are unmapped prior to
 * invalidation.
 *
417
 * Returns -EBUSY if any pages could not be invalidated.
L
Linus Torvalds 已提交
418 419 420 421 422 423 424 425
 */
int invalidate_inode_pages2_range(struct address_space *mapping,
				  pgoff_t start, pgoff_t end)
{
	struct pagevec pvec;
	pgoff_t next;
	int i;
	int ret = 0;
426
	int ret2 = 0;
L
Linus Torvalds 已提交
427 428 429 430 431
	int did_range_unmap = 0;
	int wrapped = 0;

	pagevec_init(&pvec, 0);
	next = start;
432
	while (next <= end && !wrapped &&
L
Linus Torvalds 已提交
433 434
		pagevec_lookup(&pvec, mapping, next,
			min(end - next, (pgoff_t)PAGEVEC_SIZE - 1) + 1)) {
435
		mem_cgroup_uncharge_start();
436
		for (i = 0; i < pagevec_count(&pvec); i++) {
L
Linus Torvalds 已提交
437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453
			struct page *page = pvec.pages[i];
			pgoff_t page_index;

			lock_page(page);
			if (page->mapping != mapping) {
				unlock_page(page);
				continue;
			}
			page_index = page->index;
			next = page_index + 1;
			if (next == 0)
				wrapped = 1;
			if (page_index > end) {
				unlock_page(page);
				break;
			}
			wait_on_page_writeback(page);
454
			if (page_mapped(page)) {
L
Linus Torvalds 已提交
455 456 457 458 459
				if (!did_range_unmap) {
					/*
					 * Zap the rest of the file in one hit.
					 */
					unmap_mapping_range(mapping,
460 461
					   (loff_t)page_index<<PAGE_CACHE_SHIFT,
					   (loff_t)(end - page_index + 1)
L
Linus Torvalds 已提交
462 463 464 465 466 467 468 469
							<< PAGE_CACHE_SHIFT,
					    0);
					did_range_unmap = 1;
				} else {
					/*
					 * Just zap this page
					 */
					unmap_mapping_range(mapping,
470
					  (loff_t)page_index<<PAGE_CACHE_SHIFT,
L
Linus Torvalds 已提交
471 472 473
					  PAGE_CACHE_SIZE, 0);
				}
			}
474
			BUG_ON(page_mapped(page));
475 476 477
			ret2 = do_launder_page(mapping, page);
			if (ret2 == 0) {
				if (!invalidate_complete_page2(mapping, page))
478
					ret2 = -EBUSY;
479 480 481
			}
			if (ret2 < 0)
				ret = ret2;
L
Linus Torvalds 已提交
482 483 484
			unlock_page(page);
		}
		pagevec_release(&pvec);
485
		mem_cgroup_uncharge_end();
L
Linus Torvalds 已提交
486 487 488 489 490 491 492 493
		cond_resched();
	}
	return ret;
}
EXPORT_SYMBOL_GPL(invalidate_inode_pages2_range);

/**
 * invalidate_inode_pages2 - remove all pages from an address_space
494
 * @mapping: the address_space
L
Linus Torvalds 已提交
495 496 497 498
 *
 * Any pages which are found to be mapped into pagetables are unmapped prior to
 * invalidation.
 *
499
 * Returns -EBUSY if any pages could not be invalidated.
L
Linus Torvalds 已提交
500 501 502 503 504 505
 */
int invalidate_inode_pages2(struct address_space *mapping)
{
	return invalidate_inode_pages2_range(mapping, 0, -1);
}
EXPORT_SYMBOL_GPL(invalidate_inode_pages2);
N
npiggin@suse.de 已提交
506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524

/**
 * truncate_pagecache - unmap and remove pagecache that has been truncated
 * @inode: inode
 * @old: old file offset
 * @new: new file offset
 *
 * inode's new i_size must already be written before truncate_pagecache
 * is called.
 *
 * This function should typically be called before the filesystem
 * releases resources associated with the freed range (eg. deallocates
 * blocks). This way, pagecache will always stay logically coherent
 * with on-disk format, and the filesystem would not have to deal with
 * situations such as writepage being called for a page that has already
 * had its underlying blocks deallocated.
 */
void truncate_pagecache(struct inode *inode, loff_t old, loff_t new)
{
525 526 527 528 529 530 531 532 533 534 535 536 537 538
	struct address_space *mapping = inode->i_mapping;

	/*
	 * unmap_mapping_range is called twice, first simply for
	 * efficiency so that truncate_inode_pages does fewer
	 * single-page unmaps.  However after this first call, and
	 * before truncate_inode_pages finishes, it is possible for
	 * private pages to be COWed, which remain after
	 * truncate_inode_pages finishes, hence the second
	 * unmap_mapping_range call must be made for correctness.
	 */
	unmap_mapping_range(mapping, new + PAGE_SIZE - 1, 0, 1);
	truncate_inode_pages(mapping, new);
	unmap_mapping_range(mapping, new + PAGE_SIZE - 1, 0, 1);
N
npiggin@suse.de 已提交
539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567
}
EXPORT_SYMBOL(truncate_pagecache);

/**
 * vmtruncate - unmap mappings "freed" by truncate() syscall
 * @inode: inode of the file used
 * @offset: file offset to start truncating
 *
 * NOTE! We have to be ready to update the memory sharing
 * between the file and the memory map for a potential last
 * incomplete page.  Ugly, but necessary.
 */
int vmtruncate(struct inode *inode, loff_t offset)
{
	loff_t oldsize;
	int error;

	error = inode_newsize_ok(inode, offset);
	if (error)
		return error;
	oldsize = inode->i_size;
	i_size_write(inode, offset);
	truncate_pagecache(inode, oldsize, offset);
	if (inode->i_op->truncate)
		inode->i_op->truncate(inode);

	return error;
}
EXPORT_SYMBOL(vmtruncate);