On Thu, May 17, 2018 at 09:36:00AM -0700, Randy Dunlap wrote:
> > + If the speculative page fault fails because of a concurrency is
>
> because a concurrency is
While one can use concurrency as a noun, it sounds archaic to me. I'd
rather:
If the speculative page fault fails because a concurrent modification
is detected or because underlying PMD or PTE tables are not yet
> > + detected or because underlying PMD or PTE tables are not yet
> > + allocating, it is failing its processing and a classic page fault
>
> allocated, the speculative page fault fails and a classic page fault
>
> > + is then tried.
