linux-kernel - Re: [PATCH 1/4] mm/rmap: per anon

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <20131101100707.GB30123@yliu-dev.sh.intel.com>
Date:	Fri, 1 Nov 2013 18:07:07 +0800
From:	Yuanhan Liu <yuanhan.liu@...ux.intel.com>
To:	Michel Lespinasse <walken@...gle.com>
Cc:	Peter Zijlstra <peterz@...radead.org>,
	linux-kernel@...r.kernel.org, Ingo Molnar <mingo@...nel.org>,
	Linus Torvalds <torvalds@...ux-foundation.org>,
	Andrew Morton <akpm@...ux-foundation.org>,
	Rik van Riel <riel@...hat.com>,
	Yuanhan Liu <yuanhan.liu@...ux.intel.com>
Subject: Re: [PATCH 1/4] mm/rmap: per anon_vma lock

On Fri, Nov 01, 2013 at 02:22:25AM -0700, Michel Lespinasse wrote:
> On Fri, Nov 1, 2013 at 1:43 AM, Peter Zijlstra <peterz@...radead.org> wrote:
> > AFAICT this isn't correct at all. We used to protect the vma interval
> > tree with the root lock, now we don't. All we've got left is the
> > mmap_sem, but anon_vma chains can cross address-spaces and thus we're up
> > some creek without no paddle.
> 
> Yes, that was my first thought as well (though I wanted to double
> check at first).
> 
> I also want to point out that lately we've seen several changes sent
> out that relax locking with no accompanying explanation of why the
> relaxed locking would be safe. Please don't do that - having a lot of
> performance data is worthless if you can't explain why the new locking
> is safe.

Agreed.

> And I'm not asking to prove a negative ('lack of any possible
> races') there, but at least in this case one could dig out why the
> root anon vma locking was introduced and if they think that this
> reason doesn't apply anymore, explain why...

It was introduced by commit 2b575eb6(And, BTW, I'm sorry that this commit log
about bb4aa39676f is wrong)

   commit 2b575eb64f7a9c701fb4bfdb12388ac547f6c2b6
   Author: Peter Zijlstra <a.p.zijlstra@...llo.nl>
   Date:   Tue May 24 17:12:11 2011 -0700
   
       mm: convert anon_vma->lock to a mutex
   
       Straightforward conversion of anon_vma->lock to a mutex.
   
       Signed-off-by: Peter Zijlstra <a.p.zijlstra@...llo.nl>
       Acked-by: Hugh Dickins <hughd@...gle.com>
       Reviewed-by: KOSAKI Motohiro <kosaki.motohiro@...fujitsu.com>
       Cc: Benjamin Herrenschmidt <benh@...nel.crashing.org>
       Cc: David Miller <davem@...emloft.net>
       Cc: Martin Schwidefsky <schwidefsky@...ibm.com>
       Cc: Russell King <rmk@....linux.org.uk>
       Cc: Paul Mundt <lethal@...ux-sh.org>
       Cc: Jeff Dike <jdike@...toit.com>
       Cc: Richard Weinberger <richard@....at>
       Cc: Tony Luck <tony.luck@...el.com>
       Cc: KAMEZAWA Hiroyuki <kamezawa.hiroyu@...fujitsu.com>
       Cc: Mel Gorman <mel@....ul.ie>
       Cc: Nick Piggin <npiggin@...nel.dk>
       Cc: Namhyung Kim <namhyung@...il.com>
       Signed-off-by: Andrew Morton <akpm@...ux-foundation.org>
       Signed-off-by: Linus Torvalds <torvalds@...ux-foundation.org>


As you can see, Peter didn't tell why before. Honestly speaking, that
was my originaly concern as well. I tried to find some possible races;
I guess I may miss something.

Thanks.

	--yliu
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/