On Tue, Aug 10, 2021 at 10:44:27PM +0100, David Howells wrote:
Matthew Wilcox (Oracle) [off-list ref] wrote:
quoted
* looking at the same page) and the evictable page will be stranded
* in an unevictable LRU.
Does that need converting to say 'folio'?
Changed the parapgraph (passed it through fmt too)
* if '#1' does not observe setting of PG_lru by '#0' and
* fails isolation, the explicit barrier will make sure that
* folio_evictable check will put the folio on the correct
* LRU. Without smp_mb(), folio_set_lru() can be reordered
* after folio_test_mlocked() check and can make '#1' fail the
* isolation of the folio whose mlocked bit is cleared (#0 is
* also looking at the same folio) and the evictable folio will
* be stranded on an unevictable LRU.
Other than that:
Reviewed-by: David Howells <dhowells@redhat.com>