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 525 526 527 528 529 530 531 532 533 534 535 536 537 538 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 568 569

/**
 * 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)
{
	if (new < old) {
		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);
	}
}
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);