Re: [PATCH 2/4] mm: Send a single IPI to TLB flush multiple pages when unmapping

Dave Hansen
2015-04-15T21:32:53Z

On 04/15/2015 02:28 PM, Mel Gorman wrote:
> This is what I'm expecting i.e. clean->dirty transition is write-through
> to the PTE which is now unmapped and it traps. I'm assuming there is an
> architectural guarantee that it happens but could not find an explicit
> statement in the docs. I'm hoping Dave or Andi can check with the relevant
> people on my behalf.

The docs do look a bit ambiguous to me. I'm working on getting some
clarified language in there.