On Wed, Oct 25, 2017 at 09:15:22AM +0200, Michal Hocko wrote: > On Tue 24-10-17 23:51:30, Greg Thelen wrote: > > Michal Hocko <mhocko@xxxxxxxxxx> wrote: > [...] > > > I am definitely not pushing that thing right now. It is good to discuss > > > it, though. The more kernel allocations we will track the more careful we > > > will have to be. So maybe we will have to reconsider the current > > > approach. I am not sure we need it _right now_ but I feel we will > > > eventually have to reconsider it. > > > > The kernel already attempts to charge radix_tree_nodes. If they fail > > then we fallback to unaccounted memory. > > I am not sure which code path you have in mind. All I can see is that we > drop __GFP_ACCOUNT when preloading radix tree nodes. Anyway... > > > So the memcg limit already > > isn't an air tight constraint. I fully agree with this. Socket buffers overcharge too. There are plenty of memory allocations that aren't even tracked. The point is, it's a hard limit in the sense that breaching it will trigger the OOM killer. It's not a hard limit in the sense that the kernel will deadlock to avoid crossing it. > ... we shouldn't make it more loose though. Then we can end this discussion right now. I pointed out right from the start that the only way to replace -ENOMEM with OOM killing in the syscall is to force charges. If we don't, we either deadlock or still return -ENOMEM occasionally. Nobody has refuted that this is the case. > > The current thread can loop in syscall exit until > > usage is reconciled (either via reclaim or kill). This seems consistent > > with pagefault oom handling and compatible with overcommit use case. > > But we do not really want to make the syscall exit path any more complex > or more expensive than it is. The point is that we shouldn't be afraid > about triggering the oom killer from the charge patch because we do have > async OOM killer. This is very same with the standard allocator path. So > why should be memcg any different? I have nothing against triggering the OOM killer from the allocation path. I am dead-set against making the -ENOMEM return from syscalls rare and unpredictable. They're a challenge as it is. The only sane options are to stick with the status quo, or make sure the task never returns before the allocation succeeds. Making things in this path more speculative is a downgrade, not an improvement.
