On Tue, Feb 27, 2024 at 03:54:23PM +0000, Matthew Wilcox wrote: > On Tue, Feb 27, 2024 at 07:32:32AM -0800, Paul E. McKenney wrote: > > At a ridiculously high level, reclaim is looking for memory to free. > > Some read-only memory can often be dropped immediately on the grounds > > that its data can be read back in if needed. Other memory can only be > > dropped after being written out, which involves a delay. There are of > > course many other complications, but this will do for a start. > > Hi Paul, > > I appreciate the necessity of describing what's going on at a very high > level, but there's a wrinkle that I'm not sure you're aware of which > may substantially change your argument. > > For anonymous memory, we do indeed wait until reclaim to start writing it > to swap. That may or may not be the right approach given how anonymous > memory is used (and could be the topic of an interesting discussion > at LSFMM). > > For file-backed memory, we do not write back memory in reclaim. If it > has got to the point of calling ->writepage in vmscan, things have gone > horribly wrong to the point where calling ->writepage will make things > worse. This is why we're currently removing ->writepage from every > filesystem (only ->writepages will remain). Instead, the page cache > is written back much earlier, once we get to balance_dirty_pages(). > That lets us write pages in filesystem-friendly ways instead of in MM > LRU order. Thank you for the additional details. But please allow me to further summarize the point of my prior email that seems to be getting lost: 1. RCU already does significant work prodding grace periods. 2. There is no reasonable way to provide estimates of the memory sent to RCU via call_rcu(), and in many cases the bulk of the waiting memory will be call_rcu() memory. Therefore, if we cannot come up with a heuristic that does not need to know the bytes of memory waiting, we are stuck anyway. So perhaps the proper heuristic for RCU speeding things up is simply "Hey RCU, we are in reclaim!". Or do you have hard data showing that this is insufficient? Thanx, Paul
