All of lore.kernel.org
 help / color / mirror / Atom feed
From: Johannes Weiner <hannes@cmpxchg.org>
To: Al Viro <viro@ZenIV.linux.org.uk>
Cc: Andy Lutomirski <luto@amacapital.net>,
	linux-mm@kvack.org, linux-kernel@vger.kernel.org,
	Andrew Morton <akpm@linux-foundation.org>,
	Ingo Molnar <mingo@kernel.org>,
	Michel Lespinasse <walken@google.com>,
	Hugh Dickins <hughd@google.com>, J??rn Engel <joern@logfs.org>
Subject: Re: [PATCH] mm: Downgrade mmap_sem before locking or populating on mmap
Date: Sun, 16 Dec 2012 13:49:33 -0500	[thread overview]
Message-ID: <20121216184933.GA912@cmpxchg.org> (raw)
In-Reply-To: <20121216170403.GC4939@ZenIV.linux.org.uk>

On Sun, Dec 16, 2012 at 05:04:03PM +0000, Al Viro wrote:
> BTW, the __get_user_pages()/find_extend_vma()/mlock_vma_pages_range() pile is
> really asking for trouble; sure, the recursion there is limited, but it
> deserves a comment.

Agreed, how about this?

---
From: Johannes Weiner <hannes@cmpxchg.org>
Subject: [patch] mm: mlock: document scary-looking stack expansion mlock
 chain

The fact that mlock calls get_user_pages, and get_user_pages might
call mlock when expanding a stack looks like a potential recursion.

However, mlock makes sure the requested range is already contained
within a vma, so no stack expansion will actually happen from mlock.

Should this ever change: the stack expansion mlocks only the newly
expanded range and so will not result in recursive expansion.

Reported-by: Al Viro <viro@ZenIV.linux.org.uk>
Signed-off-by: Johannes Weiner <hannes@cmpxchg.org>
---
 mm/mlock.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/mm/mlock.c b/mm/mlock.c
index f0b9ce5..17cf905 100644
--- a/mm/mlock.c
+++ b/mm/mlock.c
@@ -186,6 +186,10 @@ static long __mlock_vma_pages_range(struct vm_area_struct *vma,
 	if (vma->vm_flags & (VM_READ | VM_WRITE | VM_EXEC))
 		gup_flags |= FOLL_FORCE;
 
+	/*
+	 * We made sure addr is within a VMA, so the following will
+	 * not result in a stack expansion that recurses back here.
+	 */
 	return __get_user_pages(current, mm, addr, nr_pages, gup_flags,
 				NULL, NULL, nonblocking);
 }
-- 
1.7.11.7

--
To unsubscribe, send a message with 'unsubscribe linux-mm' in
the body to majordomo@kvack.org.  For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"dont@kvack.org"> email@kvack.org </a>

WARNING: multiple messages have this Message-ID (diff)
From: Johannes Weiner <hannes@cmpxchg.org>
To: Al Viro <viro@ZenIV.linux.org.uk>
Cc: Andy Lutomirski <luto@amacapital.net>,
	linux-mm@kvack.org, linux-kernel@vger.kernel.org,
	Andrew Morton <akpm@linux-foundation.org>,
	Ingo Molnar <mingo@kernel.org>,
	Michel Lespinasse <walken@google.com>,
	Hugh Dickins <hughd@google.com>, J??rn Engel <joern@logfs.org>
Subject: Re: [PATCH] mm: Downgrade mmap_sem before locking or populating on mmap
Date: Sun, 16 Dec 2012 13:49:33 -0500	[thread overview]
Message-ID: <20121216184933.GA912@cmpxchg.org> (raw)
In-Reply-To: <20121216170403.GC4939@ZenIV.linux.org.uk>

On Sun, Dec 16, 2012 at 05:04:03PM +0000, Al Viro wrote:
> BTW, the __get_user_pages()/find_extend_vma()/mlock_vma_pages_range() pile is
> really asking for trouble; sure, the recursion there is limited, but it
> deserves a comment.

Agreed, how about this?

---
From: Johannes Weiner <hannes@cmpxchg.org>
Subject: [patch] mm: mlock: document scary-looking stack expansion mlock
 chain

The fact that mlock calls get_user_pages, and get_user_pages might
call mlock when expanding a stack looks like a potential recursion.

However, mlock makes sure the requested range is already contained
within a vma, so no stack expansion will actually happen from mlock.

Should this ever change: the stack expansion mlocks only the newly
expanded range and so will not result in recursive expansion.

Reported-by: Al Viro <viro@ZenIV.linux.org.uk>
Signed-off-by: Johannes Weiner <hannes@cmpxchg.org>
---
 mm/mlock.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/mm/mlock.c b/mm/mlock.c
index f0b9ce5..17cf905 100644
--- a/mm/mlock.c
+++ b/mm/mlock.c
@@ -186,6 +186,10 @@ static long __mlock_vma_pages_range(struct vm_area_struct *vma,
 	if (vma->vm_flags & (VM_READ | VM_WRITE | VM_EXEC))
 		gup_flags |= FOLL_FORCE;
 
+	/*
+	 * We made sure addr is within a VMA, so the following will
+	 * not result in a stack expansion that recurses back here.
+	 */
 	return __get_user_pages(current, mm, addr, nr_pages, gup_flags,
 				NULL, NULL, nonblocking);
 }
-- 
1.7.11.7


  parent reply	other threads:[~2012-12-16 18:49 UTC|newest]

Thread overview: 44+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-12-14  5:49 [PATCH] mm: Downgrade mmap_sem before locking or populating on mmap Andy Lutomirski
2012-12-14  5:49 ` Andy Lutomirski
2012-12-14  7:27 ` Al Viro
2012-12-14  7:27   ` Al Viro
2012-12-14 11:14   ` Andy Lutomirski
2012-12-14 11:14     ` Andy Lutomirski
2012-12-14 14:49     ` Al Viro
2012-12-14 14:49       ` Al Viro
2012-12-14 16:12       ` Andy Lutomirski
2012-12-14 16:12         ` Andy Lutomirski
2012-12-16  8:41         ` Ingo Molnar
2012-12-16  8:41           ` Ingo Molnar
2012-12-16 17:04         ` Al Viro
2012-12-16 17:04           ` Al Viro
2012-12-16 17:48           ` Al Viro
2012-12-16 17:48             ` Al Viro
2012-12-16 18:49           ` Johannes Weiner [this message]
2012-12-16 18:49             ` Johannes Weiner
2012-12-16 19:53           ` Al Viro
2012-12-16 19:53             ` Al Viro
2012-12-16 20:16           ` Al Viro
2012-12-16 20:16             ` Al Viro
2012-12-15  2:17 ` [PATCH v2] " Andy Lutomirski
2012-12-15  2:17   ` Andy Lutomirski
2012-12-16  9:00   ` Ingo Molnar
2012-12-16  9:00     ` Ingo Molnar
2012-12-16 17:52     ` Andy Lutomirski
2012-12-16 17:52       ` Andy Lutomirski
2012-12-17  9:52       ` Ingo Molnar
2012-12-17  9:52         ` Ingo Molnar
2012-12-18  0:54         ` [PATCH v3] " Andy Lutomirski
2012-12-18  0:54           ` Andy Lutomirski
2012-12-20  2:22           ` Simon Jeons
2012-12-20  2:22             ` Simon Jeons
2012-12-16 12:39   ` [PATCH v2] " Michel Lespinasse
2012-12-16 12:39     ` Michel Lespinasse
2012-12-16 18:05     ` Andy Lutomirski
2012-12-16 18:05       ` Andy Lutomirski
2012-12-17  3:29       ` Michel Lespinasse
2012-12-17  3:29         ` Michel Lespinasse
2012-12-17 22:01         ` Andy Lutomirski
2012-12-17 22:01           ` Andy Lutomirski
2012-12-16 19:58   ` Linus Torvalds
2012-12-16 19:58     ` Linus Torvalds

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20121216184933.GA912@cmpxchg.org \
    --to=hannes@cmpxchg.org \
    --cc=akpm@linux-foundation.org \
    --cc=hughd@google.com \
    --cc=joern@logfs.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=linux-mm@kvack.org \
    --cc=luto@amacapital.net \
    --cc=mingo@kernel.org \
    --cc=viro@ZenIV.linux.org.uk \
    --cc=walken@google.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.