Hi, On 10/9/19 7:17 PM, Linus Torvalds wrote: > On Wed, Oct 9, 2019 at 10:03 AM Thomas Hellström (VMware) > <thomas...@shipmail.org> wrote: >> Nope, it handles the hugepages by ignoring them, since they should be >> read-only, but if pmd_entry() was called with something else than a >> hugepage, then it requests the fallback, but never a split. > But PAGE_WALK_FALLBACK _is_ a split. > > Oh, except you did this > > - split_huge_pmd(walk->vma, pmd, addr); > + if (!ops->pmd_entry) > + split_huge_pmd(walk->vma, pmd, addr); > > > so it avoids the split. > > No, that's unacceptable. And makes no sense anyway. If it doesn't > split the pmd, then it shouldn't walk the pte's - because they don't > exist. And if it's not a hugepmd, then the split is a no-op, so the > test makes no sense. > > I hadn't noticed that part of the patch. That simply can't be right. I > don't think you've tested this, because you never actually have > hugepages, do you? > > You didn't notice or realize that split_huge_pmd() just does that > > if (is_swap_pmd(*____pmd) || pmd_trans_huge(*____pmd) \ > || pmd_devmap(*____pmd)) \ > > thing and doesn't do anythign at all if it's not huge. > > So no. That code makes no sense at all, and I didn't realize how > senseless it was, becasue I stupidly missed that "make the split > conditional" - which is insane and wrong - and I thought that you > wanted PAGE_WALK_FALLBACK to split a pmd and fall back to per-pte > entries, which is what the name implies. > > But that's not what you wanted at all. > > Just get rid of PAGE_WALK_FALLBACK entirely then, and make the rule be > that a zero return value just means "split and do ptes". Which is what > you want (see above why "split" simply is wrong, and isn't an issue > for you anyway. > > That won't change any existing cases, since even if they do have a > zero return value, they don't have a pte_entry() callback, so they > won't do that "split and do ptes" anyway. > > Linus > Hmm, so we have the following cases we need to handle when returning from the pmd_entry() handler.
1) Huge pmd was handled - Returns 0 and continues. 2) A pmd is otherwise unstable, typically someone just zapped a huge pmd. Returns PAGE_WALK_FALLBACK, gets caught in the pmd_trans_unstable() test and retries. 3) A pte directory - Returns PAGE_WALK_FALLBACK, falls through, avoids the split and continues to the next level. Yeah that split avoidance test is indeed made unnecessary by the preceding pmd_trans_unstable() test. - split_huge_pmd(walk->vma, pmd, addr); + if (!ops->pmd_entry) + split_huge_pmd(walk->vma, pmd, addr); But as the commit message says, PAGE_WALK_FALLBACK is necessary to have a virtual address range being handled once and only once. Therefore we must distinguish between 1) and 2) since 2) must be retried until it's handled correctly. So we need the PAGE_WALK_FALLBACK. And if we instead were to combine 1) and 3) in a single return value and use, for example PAGE_WALK_RETRY for 2) the following could happen. a) we handle the huge pmd and return 0 from pte_entry(). b) another process splits it. c) we fall through to the pte level and handle the same address range again... So to summarize, yes the test in the code you cite is unnecessary. But if we want to guarantee a virtual address range being handled once and only once we need the PAGE_WALK_FALLBACK, (perhaps renamed). If not, we can do without it similar to your original patch. Thanks, /Thomas
