On Sat, Jul 26, 2008 at 05:08:10AM +0200, Nick Piggin wrote: > Well I just was never completely satisfied with how that turned out. > There was an assertion that invalidate range begin/end were the right > way to go because performance would be too bad using the traditional > mmu gather / range flushing. Now that I actually had the GRU and KVM > code to look at, I must say I would be very surprised if performance > is too bad. Given that, I would have thought the logical way to go > would be to start with the "minimal" type of notifiers I proposed now, > and then get some numbers together to try to support the start/end > scheme. You know back in Feb I started with the minimal type of notifiers you're suggesting but it was turned down. The advantages of the current -mm approach are: 1) absolute minimal intrusion into the kernel common code, and absolute minimum number of branches added to the kernel fast paths. Kernel is faster than your "minimal" type of notifiers when they're disarmed. Nobody can care less about the performance of mmu notifiers infact, both will work fast enough, but I want the approach that bloats the main kernel less, and -mm reaches this objective fine. 2) No need to rewrite the tlb-gather logic, which in any case would not allow to schedule inside the mmu notifiers later if an user requiring scheduling ever showup (more flexible approach), and it would also need to become per-mm and not per-cpu. 3) Maximal reduction of IPI flood during vma teardown. You can't possibly hold off the CPU primary-mmu tlb miss handler, but we can hold off the secondary-mmu page-fautl/tlb-miss handler, and doing so we can run a single IPI for an unlimited amount of address space teardown. Disavantages: 1) mm_take_all_locks is required to register No other disavantage. There is no problem with holding off the secondary mmu page fault, a few threads may spin but signals are handled the whole time, the page fault doesn't loop it returns and it is being retried. So you can shoot yourself in the foot (with your own threads stepping on each other toes) and that's all, there's no risk of starvation or anything like that. > If there is some real performance numbers or something that I missed, > please let me know. Producing performance numbers for KVM isn't really possible, because either one will work fine, kvm never mangles the address space with the exception of madvise with ballooning which is going to perform well either way. invalidate_page is run most of the time in KVM runtime, never invalidate_range_start/end so there would be no difference. > I think for the core VM, minimal notifiers are basically trivial, and Your minimal notifiers are a whole lot more complex, as they require to rewrite the tlb-gather in all archs. Go ahead it won't be ready for 2.6.27 be sure... Furthermore despite rewriting tlb-gather they still have all the disavantages mentioned above. What is possible is to have a minimal notifier that adds a branch for every pte teardown, that's easy done that in Feb, that leaves the tlb-gather optimization for later, but I still think using tlb-gather when we can do better and we already do better is wrong. > Anyway, I just voice my opinion and let Andrew and Linus decide. To be > clear: I have not found any actual bugs in Andrea's -mm patchset, only > some dislikes of the approach. Yes, like I said I think this is a matter of taste of what you like of the tradeoff. There are disadvantages and advantages in both and if we wait forever to please everyone taste, it'll never go in. My feeling is that what is in -mm is better and it will stay for long, because it fully exploits the ability we have to hold off and reply the secondary mmu page fault (equivalent of the primary-mmu tlb miss) something we can't do with the primary mmu tlb miss and that forces us to implement something as complex (and IPI-flooding) as tlb-gather logic. And the result besides being theoretically faster in the fast path both when armed and disarmed, is also simpler than plugging mmu notifier invalidate_pages inside tlb-gather. So I think it's a better tradeoff. -- To unsubscribe from this list: send the line "unsubscribe linux-arch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html