On Tue 11-08-15 19:37:08, Dave Chinner wrote: > > > The patch below tries to recover some scalability for DAX by introducing > > > per-mapping range lock. > > > > So this grows noticeably (3 longs if I'm right) struct address_space and > > thus struct inode just for DAX. That looks like a waste but I don't see an > > easy solution. > > > > OTOH filesystems in normal mode might want to use the range lock as well to > > provide truncate / punch hole vs page fault exclusion (XFS already has a > > private rwsem for this and ext4 needs something as well) and at that point > > growing generic struct inode would be acceptable for me. > > It sounds to me like the way DAX has tried to solve this race is the > wrong direction. We really need to drive the truncate/page fault > serialisation higher up the stack towards the filesystem, not deeper > into the mm subsystem where locking is greatly limited. > > As Jan mentions, we already have this serialisation in XFS, and I > think it would be better first step to replicate that locking model > in each filesystem that is supports DAX. I think this is a better > direction because it moves towards solving a whole class of problems > fileystem face with page fault serialisation, not just for DAX. Well, but at least in XFS you take XFS_MMAPLOCK in shared mode for the fault / page_mkwrite callback so it doesn't provide the exclusion necessary for DAX which needs exclusive access to the page given range in the page cache. And replacing i_mmap_lock with fs-private mmap rwsem is a moot excercise (at least from DAX POV). So regardless whether the lock will be a fs-private one or in address_space, DAX needs something like the range lock Kirill suggested. Having the range lock in fs-private part of inode has the advantage that only filesystems supporting DAX / punch hole will pay the memory overhead. OTOH most major filesystems need it so the savings would be IMO noticeable only for tiny systems using special fs etc. So I'm undecided whether putting the lock in address_space and doing the locking in generic pagefault / truncate helpers is a better choice or not. Honza -- Jan Kara <jack@xxxxxxxx> SUSE Labs, CR -- 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
