* Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx> wrote: > On Sat, Dec 1, 2012 at 1:49 AM, Ingo Molnar <mingo@xxxxxxxxxx> wrote: > > > > I *think* you are right that for this type of migration that > > we are using here we indeed don't need to take an exclusive > > vma lock - in fact I think we don't need to take it at all: > > I'm pretty sure we do need at least a read-side reference. Ok. > Even if no other MM can contain that particular pte, the vma > lock protects the chain that is created by fork and exit and > vma splitting etc. > > So it's enough that another thread does a fork() at the same > time. Or a partial unmap of the vma (that splits it in two), > for the rmap chain to be modified. > > Besides, there's absolutely nothing that protects that vma to > be part of the same vma chain in entirely unrelated processes. > The vma chain can get quite long over multiple forks (it's > even a performance problem under some extreme loads). > > And we do walk the rmap chain - so we need the lock. > > But we walk it read-only afaik, which is why I think the > semaphore could be an rwsem. > > Now, there *are* likely cases where we could avoid anon_vma > locking entirely, but they are very specialized. They'd be > along the lines of > > - we hold the page table lock > - we see that vma->anon_vma == vma->anon_vma->root > - we see that vma->anon_vma->refcount == 1 > > or similar, because then we can guarantee that the anon-vma > chain has a length of one without even locking, and holding > the page table lock means that any concurrent fork or > mmap/munmap from another thread will block on this particular > pte. Hm. These conditions may be true for some pretty common cases, but it's difficult to discover that information from the migration code due to the way we discover all anon vmas and walk the anon vma list: we first lock the anon vma then do we get to iterate over the individual vmas and do the pte changes. So it's the wrong way around. I think your rwsem suggestion is a lot more generic and more robust as well. > So I suspect that in the above kind of special case (which > might be a somewhat common case for normal page faults, for > example) we could make a "we have exclusive pte access to this > page" argument. But quite frankly, I completely made the above > rules up in my head, they may be bogus too. > > For the general migration case, it's definitely not possible > to just drop the anon_vma lock. Ok, I see - I'll redo this part then and try out how an rwsem fares. I suspect it would give a small speedup to a fair number of workloads, so it's worthwile to spend some time on it. Thanks for the suggestions! Ingo -- To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to majordomo@xxxxxxxxx. For more info on Linux MM, see: http://www.linux-mm.org/ . Don't email: <a href=mailto:"dont@xxxxxxxxx";> email@xxxxxxxxx </a>