On Fri, Nov 17, 2023 at 11:13:43AM +0100, Peter Zijlstra wrote: > On Fri, Nov 17, 2023 at 10:07:45AM +0000, Mel Gorman wrote: > > > This leads into a generic problem with large anything with NUMA > > balancing -- false sharing. As it stands, THP can be false shared by > > threads if thread-local data is split within a THP range. In this case, > > the ideal would be the THP is migrated to the hottest node but such > > support doesn't exist. The same applies for folios. If not handled > > properly, a large folio of any type can ping-pong between nodes so just > > migrating because we can is not necessarily a good idea. The patch > > should cover a realistic case why this matters, why splitting the folio > > is not better and supporting data. > > Would it make sense to have THP merging conditional on all (most?) pages > having the same node? Potentially yes, maybe with something similar to max_ptes_none, but it has corner cases of it's own. THP can be allocated up-front so we don't get the per-base-page hints unless the page is first split. I experimented with this once upon a time but cost post-splitting was not offset by the smarter NUMA placement. While we could always allocate small pages and promote later (originally known as the promotion threshold), that was known to have significant penalties of it's own so we still eagerly allocate THP. Part of that is that KVM was the main load to benefit from THP and always preferred eager promotion. Even if we always started with base pages, sparse addressing within the THP range may mean the threshold for collapsing can never be reached. Both THP and folios have the same false sharing problem but at least we knew about the false sharing problem for THP and NUMA balancing. It was found initially that THP false sharing is mostly an edge-case issue mitigated by the fact that large anonymous buffers tended to be either 2M aligned or only affected the boundaries. Later glibc and ABI changes made it even more likely that private buffers were THP-aligned. The same is not true of folios and it is a new problem so I'm uncomfortable with a patch that essentially says "migrate folios because it's possible" without considering any of the corner cases or measuring them. -- Mel Gorman SUSE Labs
