diff options
author | Hugh Dickins <hugh@veritas.com> | 2009-01-06 17:40:09 -0500 |
---|---|---|
committer | Linus Torvalds <torvalds@linux-foundation.org> | 2009-01-06 18:59:07 -0500 |
commit | 22b31eec63e5f2e219a3ee15f456897272bc73e8 (patch) | |
tree | 906e4975a0e2cdef15ef071b4890e3b28e36cf39 /mm/memory.c | |
parent | 3dc147414ccad81dc33edb80774b1fed12a38c08 (diff) |
badpage: vm_normal_page use print_bad_pte
print_bad_pte() is so far being called only when zap_pte_range() finds
negative page_mapcount, or there's a fault on a pte_file where it does not
belong. That's weak coverage when we suspect pagetable corruption.
Originally, it was called when vm_normal_page() found an invalid pfn: but
pfn_valid is expensive on some architectures and configurations, so 2.6.24
put that under CONFIG_DEBUG_VM (which doesn't help in the field), then
2.6.26 replaced it by a VM_BUG_ON (likewise).
Reinstate the print_bad_pte() in vm_normal_page(), but use a cheaper test
than pfn_valid(): memmap_init_zone() (used in bootup and hotplug) keep a
__read_mostly note of the highest_memmap_pfn, vm_normal_page() then check
pfn against that. We could call this pfn_plausible() or pfn_sane(), but I
doubt we'll need it elsewhere: of course it's not reliable, but gives much
stronger pagetable validation on many boxes.
Also use print_bad_pte() when the pte_special bit is found outside a
VM_PFNMAP or VM_MIXEDMAP area, instead of VM_BUG_ON.
Signed-off-by: Hugh Dickins <hugh@veritas.com>
Cc: Nick Piggin <nickpiggin@yahoo.com.au>
Cc: Christoph Lameter <cl@linux-foundation.org>
Cc: Mel Gorman <mel@csn.ul.ie>
Cc: Rik van Riel <riel@redhat.com>
Signed-off-by: Andrew Morton <akpm@linux-foundation.org>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>
Diffstat (limited to 'mm/memory.c')
-rw-r--r-- | mm/memory.c | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/mm/memory.c b/mm/memory.c index cda04b19f733..890095f5f36d 100644 --- a/mm/memory.c +++ b/mm/memory.c | |||
@@ -467,21 +467,18 @@ static inline int is_cow_mapping(unsigned int flags) | |||
467 | struct page *vm_normal_page(struct vm_area_struct *vma, unsigned long addr, | 467 | struct page *vm_normal_page(struct vm_area_struct *vma, unsigned long addr, |
468 | pte_t pte) | 468 | pte_t pte) |
469 | { | 469 | { |
470 | unsigned long pfn; | 470 | unsigned long pfn = pte_pfn(pte); |
471 | 471 | ||
472 | if (HAVE_PTE_SPECIAL) { | 472 | if (HAVE_PTE_SPECIAL) { |
473 | if (likely(!pte_special(pte))) { | 473 | if (likely(!pte_special(pte))) |
474 | VM_BUG_ON(!pfn_valid(pte_pfn(pte))); | 474 | goto check_pfn; |
475 | return pte_page(pte); | 475 | if (!(vma->vm_flags & (VM_PFNMAP | VM_MIXEDMAP))) |
476 | } | 476 | print_bad_pte(vma, addr, pte, NULL); |
477 | VM_BUG_ON(!(vma->vm_flags & (VM_PFNMAP | VM_MIXEDMAP))); | ||
478 | return NULL; | 477 | return NULL; |
479 | } | 478 | } |
480 | 479 | ||
481 | /* !HAVE_PTE_SPECIAL case follows: */ | 480 | /* !HAVE_PTE_SPECIAL case follows: */ |
482 | 481 | ||
483 | pfn = pte_pfn(pte); | ||
484 | |||
485 | if (unlikely(vma->vm_flags & (VM_PFNMAP|VM_MIXEDMAP))) { | 482 | if (unlikely(vma->vm_flags & (VM_PFNMAP|VM_MIXEDMAP))) { |
486 | if (vma->vm_flags & VM_MIXEDMAP) { | 483 | if (vma->vm_flags & VM_MIXEDMAP) { |
487 | if (!pfn_valid(pfn)) | 484 | if (!pfn_valid(pfn)) |
@@ -497,11 +494,14 @@ struct page *vm_normal_page(struct vm_area_struct *vma, unsigned long addr, | |||
497 | } | 494 | } |
498 | } | 495 | } |
499 | 496 | ||
500 | VM_BUG_ON(!pfn_valid(pfn)); | 497 | check_pfn: |
498 | if (unlikely(pfn > highest_memmap_pfn)) { | ||
499 | print_bad_pte(vma, addr, pte, NULL); | ||
500 | return NULL; | ||
501 | } | ||
501 | 502 | ||
502 | /* | 503 | /* |
503 | * NOTE! We still have PageReserved() pages in the page tables. | 504 | * NOTE! We still have PageReserved() pages in the page tables. |
504 | * | ||
505 | * eg. VDSO mappings can cause them to exist. | 505 | * eg. VDSO mappings can cause them to exist. |
506 | */ | 506 | */ |
507 | out: | 507 | out: |