diff options
author | Christoph Lameter <clameter@sgi.com> | 2006-06-23 05:03:35 -0400 |
---|---|---|
committer | Linus Torvalds <torvalds@g5.osdl.org> | 2006-06-23 10:42:50 -0400 |
commit | 0697212a411c1dae03c27845f2de2f3adb32c331 (patch) | |
tree | 4bedcdb27522f4a42c422e0a8af155501f43a69c /mm/swapfile.c | |
parent | 8351a6e4785218a2b03c142be92926baff95ba5c (diff) |
[PATCH] Swapless page migration: add R/W migration entries
Implement read/write migration ptes
We take the upper two swapfiles for the two types of migration ptes and define
a series of macros in swapops.h.
The VM is modified to handle the migration entries. migration entries can
only be encountered when the page they are pointing to is locked. This limits
the number of places one has to fix. We also check in copy_pte_range and in
mprotect_pte_range() for migration ptes.
We check for migration ptes in do_swap_cache and call a function that will
then wait on the page lock. This allows us to effectively stop all accesses
to apge.
Migration entries are created by try_to_unmap if called for migration and
removed by local functions in migrate.c
From: Hugh Dickins <hugh@veritas.com>
Several times while testing swapless page migration (I've no NUMA, just
hacking it up to migrate recklessly while running load), I've hit the
BUG_ON(!PageLocked(p)) in migration_entry_to_page.
This comes from an orphaned migration entry, unrelated to the current
correctly locked migration, but hit by remove_anon_migration_ptes as it
checks an address in each vma of the anon_vma list.
Such an orphan may be left behind if an earlier migration raced with fork:
copy_one_pte can duplicate a migration entry from parent to child, after
remove_anon_migration_ptes has checked the child vma, but before it has
removed it from the parent vma. (If the process were later to fault on this
orphaned entry, it would hit the same BUG from migration_entry_wait.)
This could be fixed by locking anon_vma in copy_one_pte, but we'd rather
not. There's no such problem with file pages, because vma_prio_tree_add
adds child vma after parent vma, and the page table locking at each end is
enough to serialize. Follow that example with anon_vma: add new vmas to the
tail instead of the head.
(There's no corresponding problem when inserting migration entries,
because a missed pte will leave the page count and mapcount high, which is
allowed for. And there's no corresponding problem when migrating via swap,
because a leftover swap entry will be correctly faulted. But the swapless
method has no refcounting of its entries.)
From: Ingo Molnar <mingo@elte.hu>
pte_unmap_unlock() takes the pte pointer as an argument.
From: Hugh Dickins <hugh@veritas.com>
Several times while testing swapless page migration, gcc has tried to exec
a pointer instead of a string: smells like COW mappings are not being
properly write-protected on fork.
The protection in copy_one_pte looks very convincing, until at last you
realize that the second arg to make_migration_entry is a boolean "write",
and SWP_MIGRATION_READ is 30.
Anyway, it's better done like in change_pte_range, using
is_write_migration_entry and make_migration_entry_read.
From: Hugh Dickins <hugh@veritas.com>
Remove unnecessary obfuscation from sys_swapon's range check on swap type,
which blew up causing memory corruption once swapless migration made
MAX_SWAPFILES no longer 2 ^ MAX_SWAPFILES_SHIFT.
Signed-off-by: Hugh Dickins <hugh@veritas.com>
Acked-by: Martin Schwidefsky <schwidefsky@de.ibm.com>
Signed-off-by: Hugh Dickins <hugh@veritas.com>
Signed-off-by: Christoph Lameter <clameter@engr.sgi.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
From: Hugh Dickins <hugh@veritas.com>
Signed-off-by: Andrew Morton <akpm@osdl.org>
Signed-off-by: Linus Torvalds <torvalds@osdl.org>
Diffstat (limited to 'mm/swapfile.c')
-rw-r--r-- | mm/swapfile.c | 20 |
1 files changed, 7 insertions, 13 deletions
diff --git a/mm/swapfile.c b/mm/swapfile.c index 47a6812f5f8c..e3b1362372c2 100644 --- a/mm/swapfile.c +++ b/mm/swapfile.c | |||
@@ -395,6 +395,9 @@ void free_swap_and_cache(swp_entry_t entry) | |||
395 | struct swap_info_struct * p; | 395 | struct swap_info_struct * p; |
396 | struct page *page = NULL; | 396 | struct page *page = NULL; |
397 | 397 | ||
398 | if (is_migration_entry(entry)) | ||
399 | return; | ||
400 | |||
398 | p = swap_info_get(entry); | 401 | p = swap_info_get(entry); |
399 | if (p) { | 402 | if (p) { |
400 | if (swap_entry_free(p, swp_offset(entry)) == 1) { | 403 | if (swap_entry_free(p, swp_offset(entry)) == 1) { |
@@ -1400,19 +1403,7 @@ asmlinkage long sys_swapon(const char __user * specialfile, int swap_flags) | |||
1400 | if (!(p->flags & SWP_USED)) | 1403 | if (!(p->flags & SWP_USED)) |
1401 | break; | 1404 | break; |
1402 | error = -EPERM; | 1405 | error = -EPERM; |
1403 | /* | 1406 | if (type >= MAX_SWAPFILES) { |
1404 | * Test if adding another swap device is possible. There are | ||
1405 | * two limiting factors: 1) the number of bits for the swap | ||
1406 | * type swp_entry_t definition and 2) the number of bits for | ||
1407 | * the swap type in the swap ptes as defined by the different | ||
1408 | * architectures. To honor both limitations a swap entry | ||
1409 | * with swap offset 0 and swap type ~0UL is created, encoded | ||
1410 | * to a swap pte, decoded to a swp_entry_t again and finally | ||
1411 | * the swap type part is extracted. This will mask all bits | ||
1412 | * from the initial ~0UL that can't be encoded in either the | ||
1413 | * swp_entry_t or the architecture definition of a swap pte. | ||
1414 | */ | ||
1415 | if (type > swp_type(pte_to_swp_entry(swp_entry_to_pte(swp_entry(~0UL,0))))) { | ||
1416 | spin_unlock(&swap_lock); | 1407 | spin_unlock(&swap_lock); |
1417 | goto out; | 1408 | goto out; |
1418 | } | 1409 | } |
@@ -1702,6 +1693,9 @@ int swap_duplicate(swp_entry_t entry) | |||
1702 | unsigned long offset, type; | 1693 | unsigned long offset, type; |
1703 | int result = 0; | 1694 | int result = 0; |
1704 | 1695 | ||
1696 | if (is_migration_entry(entry)) | ||
1697 | return 1; | ||
1698 | |||
1705 | type = swp_type(entry); | 1699 | type = swp_type(entry); |
1706 | if (type >= nr_swapfiles) | 1700 | if (type >= nr_swapfiles) |
1707 | goto bad_file; | 1701 | goto bad_file; |