aboutsummaryrefslogtreecommitdiffstats
path: root/mm
diff options
context:
space:
mode:
authorRik van Riel <riel@redhat.com>2013-12-18 20:08:44 -0500
committerGreg Kroah-Hartman <gregkh@linuxfoundation.org>2014-01-09 15:24:23 -0500
commitd303cf4624824971d94b4e2c7c95df052d14aa81 (patch)
tree710211f3a52e8b0ac893dba86bbbb2afcb3df3c9 /mm
parent57f74b6ecebf59991677dd2da0f0433e8be6c945 (diff)
mm: fix TLB flush race between migration, and change_protection_range
commit 20841405940e7be0617612d521e206e4b6b325db upstream. There are a few subtle races, between change_protection_range (used by mprotect and change_prot_numa) on one side, and NUMA page migration and compaction on the other side. The basic race is that there is a time window between when the PTE gets made non-present (PROT_NONE or NUMA), and the TLB is flushed. During that time, a CPU may continue writing to the page. This is fine most of the time, however compaction or the NUMA migration code may come in, and migrate the page away. When that happens, the CPU may continue writing, through the cached translation, to what is no longer the current memory location of the process. This only affects x86, which has a somewhat optimistic pte_accessible. All other architectures appear to be safe, and will either always flush, or flush whenever there is a valid mapping, even with no permissions (SPARC). The basic race looks like this: CPU A CPU B CPU C load TLB entry make entry PTE/PMD_NUMA fault on entry read/write old page start migrating page change PTE/PMD to new page read/write old page [*] flush TLB reload TLB from new entry read/write new page lose data [*] the old page may belong to a new user at this point! The obvious fix is to flush remote TLB entries, by making sure that pte_accessible aware of the fact that PROT_NONE and PROT_NUMA memory may still be accessible if there is a TLB flush pending for the mm. This should fix both NUMA migration and compaction. [mgorman@suse.de: fix build] Signed-off-by: Rik van Riel <riel@redhat.com> Signed-off-by: Mel Gorman <mgorman@suse.de> Cc: Alex Thorlton <athorlton@sgi.com> Signed-off-by: Andrew Morton <akpm@linux-foundation.org> Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org> Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
Diffstat (limited to 'mm')
-rw-r--r--mm/huge_memory.c7
-rw-r--r--mm/mprotect.c2
-rw-r--r--mm/pgtable-generic.c5
3 files changed, 12 insertions, 2 deletions
diff --git a/mm/huge_memory.c b/mm/huge_memory.c
index b2e803e14ea9..6bd22902d289 100644
--- a/mm/huge_memory.c
+++ b/mm/huge_memory.c
@@ -1352,6 +1352,13 @@ int do_huge_pmd_numa_page(struct mm_struct *mm, struct vm_area_struct *vma,
1352 } 1352 }
1353 1353
1354 /* 1354 /*
1355 * The page_table_lock above provides a memory barrier
1356 * with change_protection_range.
1357 */
1358 if (mm_tlb_flush_pending(mm))
1359 flush_tlb_range(vma, haddr, haddr + HPAGE_PMD_SIZE);
1360
1361 /*
1355 * Migrate the THP to the requested node, returns with page unlocked 1362 * Migrate the THP to the requested node, returns with page unlocked
1356 * and pmd_numa cleared. 1363 * and pmd_numa cleared.
1357 */ 1364 */
diff --git a/mm/mprotect.c b/mm/mprotect.c
index d4d5399c7aba..e9f65aaa3182 100644
--- a/mm/mprotect.c
+++ b/mm/mprotect.c
@@ -206,6 +206,7 @@ static unsigned long change_protection_range(struct vm_area_struct *vma,
206 BUG_ON(addr >= end); 206 BUG_ON(addr >= end);
207 pgd = pgd_offset(mm, addr); 207 pgd = pgd_offset(mm, addr);
208 flush_cache_range(vma, addr, end); 208 flush_cache_range(vma, addr, end);
209 set_tlb_flush_pending(mm);
209 do { 210 do {
210 next = pgd_addr_end(addr, end); 211 next = pgd_addr_end(addr, end);
211 if (pgd_none_or_clear_bad(pgd)) 212 if (pgd_none_or_clear_bad(pgd))
@@ -217,6 +218,7 @@ static unsigned long change_protection_range(struct vm_area_struct *vma,
217 /* Only flush the TLB if we actually modified any entries: */ 218 /* Only flush the TLB if we actually modified any entries: */
218 if (pages) 219 if (pages)
219 flush_tlb_range(vma, start, end); 220 flush_tlb_range(vma, start, end);
221 clear_tlb_flush_pending(mm);
220 222
221 return pages; 223 return pages;
222} 224}
diff --git a/mm/pgtable-generic.c b/mm/pgtable-generic.c
index eb900bbaa713..4b62a16fc3c1 100644
--- a/mm/pgtable-generic.c
+++ b/mm/pgtable-generic.c
@@ -86,9 +86,10 @@ int pmdp_clear_flush_young(struct vm_area_struct *vma,
86pte_t ptep_clear_flush(struct vm_area_struct *vma, unsigned long address, 86pte_t ptep_clear_flush(struct vm_area_struct *vma, unsigned long address,
87 pte_t *ptep) 87 pte_t *ptep)
88{ 88{
89 struct mm_struct *mm = (vma)->vm_mm;
89 pte_t pte; 90 pte_t pte;
90 pte = ptep_get_and_clear((vma)->vm_mm, address, ptep); 91 pte = ptep_get_and_clear(mm, address, ptep);
91 if (pte_accessible(pte)) 92 if (pte_accessible(mm, pte))
92 flush_tlb_page(vma, address); 93 flush_tlb_page(vma, address);
93 return pte; 94 return pte;
94} 95}