aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorVlastimil Babka <vbabka@suse.cz>2014-04-07 18:37:50 -0400
committerGreg Kroah-Hartman <gregkh@linuxfoundation.org>2014-05-06 10:55:32 -0400
commit77552735ba84a410447af7e3375625eb4cfd577b (patch)
treeef1f322a5c92f758c02c4427ac5b0faf8549fb71
parent9e9c7bb4839e7de12a08d6e6145e73dad351c1ba (diff)
mm: try_to_unmap_cluster() should lock_page() before mlocking
commit 57e68e9cd65b4b8eb4045a1e0d0746458502554c upstream. A BUG_ON(!PageLocked) was triggered in mlock_vma_page() by Sasha Levin fuzzing with trinity. The call site try_to_unmap_cluster() does not lock the pages other than its check_page parameter (which is already locked). The BUG_ON in mlock_vma_page() is not documented and its purpose is somewhat unclear, but apparently it serializes against page migration, which could otherwise fail to transfer the PG_mlocked flag. This would not be fatal, as the page would be eventually encountered again, but NR_MLOCK accounting would become distorted nevertheless. This patch adds a comment to the BUG_ON in mlock_vma_page() and munlock_vma_page() to that effect. The call site try_to_unmap_cluster() is fixed so that for page != check_page, trylock_page() is attempted (to avoid possible deadlocks as we already have check_page locked) and mlock_vma_page() is performed only upon success. If the page lock cannot be obtained, the page is left without PG_mlocked, which is again not a problem in the whole unevictable memory design. Signed-off-by: Vlastimil Babka <vbabka@suse.cz> Signed-off-by: Bob Liu <bob.liu@oracle.com> Reported-by: Sasha Levin <sasha.levin@oracle.com> Cc: Wanpeng Li <liwanp@linux.vnet.ibm.com> Cc: Michel Lespinasse <walken@google.com> Cc: KOSAKI Motohiro <kosaki.motohiro@jp.fujitsu.com> Acked-by: Rik van Riel <riel@redhat.com> Cc: David Rientjes <rientjes@google.com> Cc: Mel Gorman <mgorman@suse.de> Cc: Hugh Dickins <hughd@google.com> Cc: Joonsoo Kim <iamjoonsoo.kim@lge.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>
-rw-r--r--mm/mlock.c2
-rw-r--r--mm/rmap.c14
2 files changed, 14 insertions, 2 deletions
diff --git a/mm/mlock.c b/mm/mlock.c
index 79b7cf7d1bca..713e462c0776 100644
--- a/mm/mlock.c
+++ b/mm/mlock.c
@@ -76,6 +76,7 @@ void clear_page_mlock(struct page *page)
76 */ 76 */
77void mlock_vma_page(struct page *page) 77void mlock_vma_page(struct page *page)
78{ 78{
79 /* Serialize with page migration */
79 BUG_ON(!PageLocked(page)); 80 BUG_ON(!PageLocked(page));
80 81
81 if (!TestSetPageMlocked(page)) { 82 if (!TestSetPageMlocked(page)) {
@@ -106,6 +107,7 @@ unsigned int munlock_vma_page(struct page *page)
106{ 107{
107 unsigned int page_mask = 0; 108 unsigned int page_mask = 0;
108 109
110 /* For try_to_munlock() and to serialize with page migration */
109 BUG_ON(!PageLocked(page)); 111 BUG_ON(!PageLocked(page));
110 112
111 if (TestClearPageMlocked(page)) { 113 if (TestClearPageMlocked(page)) {
diff --git a/mm/rmap.c b/mm/rmap.c
index 3f6077461aea..fbf0040a7342 100644
--- a/mm/rmap.c
+++ b/mm/rmap.c
@@ -1390,9 +1390,19 @@ static int try_to_unmap_cluster(unsigned long cursor, unsigned int *mapcount,
1390 BUG_ON(!page || PageAnon(page)); 1390 BUG_ON(!page || PageAnon(page));
1391 1391
1392 if (locked_vma) { 1392 if (locked_vma) {
1393 mlock_vma_page(page); /* no-op if already mlocked */ 1393 if (page == check_page) {
1394 if (page == check_page) 1394 /* we know we have check_page locked */
1395 mlock_vma_page(page);
1395 ret = SWAP_MLOCK; 1396 ret = SWAP_MLOCK;
1397 } else if (trylock_page(page)) {
1398 /*
1399 * If we can lock the page, perform mlock.
1400 * Otherwise leave the page alone, it will be
1401 * eventually encountered again later.
1402 */
1403 mlock_vma_page(page);
1404 unlock_page(page);
1405 }
1396 continue; /* don't unmap */ 1406 continue; /* don't unmap */
1397 } 1407 }
1398 1408