truncate.c 15.6 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;
		}
L
Linus Torvalds 已提交
275 276 277
		for (i = 0; i < pagevec_count(&pvec); i++) {
			struct page *page = pvec.pages[i];

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

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

306 307 308 309 310 311 312 313 314 315 316 317 318 319 320
/**
 * 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 已提交
321 322 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)) {
		for (i = 0; i < pagevec_count(&pvec); i++) {
			struct page *page = pvec.pages[i];
332 333
			pgoff_t index;
			int lock_failed;
L
Linus Torvalds 已提交
334

N
Nick Piggin 已提交
335
			lock_failed = !trylock_page(page);
336 337 338 339 340 341 342 343 344 345

			/*
			 * 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 已提交
346
			next++;
347 348 349
			if (lock_failed)
				continue;

350 351
			ret += invalidate_inode_page(page);

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

363 364 365 366
/*
 * 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
367 368
 * shrink_page_list() has a temp ref on them, or because they're transiently
 * sitting in the lru_cache_add() pagevecs.
369 370 371 372 373 374 375
 */
static int
invalidate_complete_page2(struct address_space *mapping, struct page *page)
{
	if (page->mapping != mapping)
		return 0;

376
	if (page_has_private(page) && !try_to_release_page(page, GFP_KERNEL))
377 378
		return 0;

N
Nick Piggin 已提交
379
	spin_lock_irq(&mapping->tree_lock);
380 381 382
	if (PageDirty(page))
		goto failed;

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

395 396 397 398 399 400 401 402 403
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 已提交
404 405
/**
 * invalidate_inode_pages2_range - remove range of pages from an address_space
406
 * @mapping: the address_space
L
Linus Torvalds 已提交
407 408 409 410 411 412
 * @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.
 *
413
 * Returns -EBUSY if any pages could not be invalidated.
L
Linus Torvalds 已提交
414 415 416 417 418 419 420 421
 */
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;
422
	int ret2 = 0;
L
Linus Torvalds 已提交
423 424 425 426 427
	int did_range_unmap = 0;
	int wrapped = 0;

	pagevec_init(&pvec, 0);
	next = start;
428
	while (next <= end && !wrapped &&
L
Linus Torvalds 已提交
429 430
		pagevec_lookup(&pvec, mapping, next,
			min(end - next, (pgoff_t)PAGEVEC_SIZE - 1) + 1)) {
431
		for (i = 0; i < pagevec_count(&pvec); i++) {
L
Linus Torvalds 已提交
432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448
			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);
449
			if (page_mapped(page)) {
L
Linus Torvalds 已提交
450 451 452 453 454
				if (!did_range_unmap) {
					/*
					 * Zap the rest of the file in one hit.
					 */
					unmap_mapping_range(mapping,
455 456
					   (loff_t)page_index<<PAGE_CACHE_SHIFT,
					   (loff_t)(end - page_index + 1)
L
Linus Torvalds 已提交
457 458 459 460 461 462 463 464
							<< PAGE_CACHE_SHIFT,
					    0);
					did_range_unmap = 1;
				} else {
					/*
					 * Just zap this page
					 */
					unmap_mapping_range(mapping,
465
					  (loff_t)page_index<<PAGE_CACHE_SHIFT,
L
Linus Torvalds 已提交
466 467 468
					  PAGE_CACHE_SIZE, 0);
				}
			}
469
			BUG_ON(page_mapped(page));
470 471 472
			ret2 = do_launder_page(mapping, page);
			if (ret2 == 0) {
				if (!invalidate_complete_page2(mapping, page))
473
					ret2 = -EBUSY;
474 475 476
			}
			if (ret2 < 0)
				ret = ret2;
L
Linus Torvalds 已提交
477 478 479 480 481 482 483 484 485 486 487
			unlock_page(page);
		}
		pagevec_release(&pvec);
		cond_resched();
	}
	return ret;
}
EXPORT_SYMBOL_GPL(invalidate_inode_pages2_range);

/**
 * invalidate_inode_pages2 - remove all pages from an address_space
488
 * @mapping: the address_space
L
Linus Torvalds 已提交
489 490 491 492
 *
 * Any pages which are found to be mapped into pagetables are unmapped prior to
 * invalidation.
 *
493
 * Returns -EBUSY if any pages could not be invalidated.
L
Linus Torvalds 已提交
494 495 496 497 498 499
 */
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 已提交
500 501 502 503 504 505 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

/**
 * 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);