On Mon, Nov 04, 2024 at 01:20:14PM -0800, Suren Baghdasaryan wrote: [snip] > Sounds good! I think it would be good to separate design decisions (mm > should be write-locked before any VMA can be write-locked, all > write-locked VMAs and automatically unlocked once mm is > write-unlocked, etc) vs implementation details (lock_vma_under_rcu(), > vma->vm_lock_seq, mm->mm_lock_seq, etc). Easily said than done :) Yeah, was saying the same to Jann - probably best to have an explicit separate section for implementation details with the rest providing readable + pertinent details for _users_ of these interfaces.