On 17/05/2018 19:19, Matthew Wilcox wrote: > 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 Thanks Matthew, I'll do that. > >>> + 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. >
