On Tue, Mar 16, 2010 at 07:20:32AM +0100, Ingo Molnar wrote: > > * Nick Piggin <npiggin@xxxxxxx> wrote: > > > Page lock has very complex dependencies, so it would be really nice to add > > lockdep support for it. > > Just wondering - has your patch shown any suspect areas of code already, in > the testing you did? Not yet. Although I only did basic stress testing with tmpfs and ext3 so far. It would get even further useful for fs developers combined with annotating more bit locks like buffer lock. BTW. I tried adding a might_fault() under page lock to see the infamous old page_lock -> mmap_sem deadlock, but it didn't warn. Explicitly doing a down_write/up_write of mmap_sem did warn. But it took a while to build the required chains, so I may have just been unlucky. > Maybe it should be test-driven for a while, in a non-append-only tree such as > -mm, to see whether it's finding real bugs. I think it should be very useful for filesystem developers. It doesn't seem too intrusive (and I will make it less so, by not open-coding the mutex_release/mutex_acquire pairs when changing page mapping). Filesystems and mm/vfs/fs lock interactions may be the most complex in the kernel... If you are worried about struct page bloat, it's already getting bloated by ptl spinlock in there. But it could always be configurable. No it isn't ready for -mm yet, let alone an append-only tree, I just wanted to get opinions from mm and fs (and lockdep) people. Thanks, Nick -- To unsubscribe from this list: send the line "unsubscribe linux-fsdevel" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
