On Mon 02-03-15 11:39:13, Theodore Ts'o wrote: > On Mon, Mar 02, 2015 at 04:18:32PM +0100, Michal Hocko wrote: > > The idea is sound. But I am pretty sure we will find many corner > > cases. E.g. what if the mere reservation attempt causes the system > > to go OOM and trigger the OOM killer? > > Doctor, doctor, it hurts when I do that.... > > So don't trigger the OOM killer. We can let the caller decide whether > the reservation request should block or return ENOMEM, but the whole > point of the reservation request idea is that this happens *before* > we've taken any mutexes, so blocking won't prevent forward progress. Maybe I wasn't clear. I wasn't concerned about the context which is doing to reservation. I was more concerned about all the other allocation requests which might fail now (becasuse they do not have access to the reserves). So you think that we should simply disable OOM killer while there is any reservation active? Wouldn't that be even more fragile when something goes terribly wrong? > The file system could send down a different flag if we are doing > writebacks for page cleaning purposes, in which case the reservation > request would be a "just a heads up, we *will* be needing this much > memory, but this is not something where we can block or return ENOMEM, > so please give us the highest priority for using the free reserves". Sure that thing is clear. > > I think the idea is good! It will just be quite tricky to get there > > without causing more problems than those being solved. The biggest > > question mark so far seems to be the reservation size estimation. If > > it is hard for any caller to know the size beforehand (which would > > be really close to the actually used size) then the whole complexity > > in the code sounds like an overkill and asking administrator to tune > > min_free_kbytes seems a better fit (we would still have to teach the > > allocator to access reserves when really necessary) because the system > > would behave more predictably (although some memory would be wasted). > > If we do need to teach the allocator to access reserves when really > necessary, don't we have that already via GFP_NOIO/GFP_NOFS and > GFP_NOFAIL? GFP_NOFAIL doesn't sound like the best fit. Not all NOFAIL callers need to access reserves - e.g. if they are not blocking anybody from making progress. > If the goal is do something more fine-grained, > unfortunately at least for the short-term we'll need to preserve the > existing behaviour and issue warnings until the file system starts > adding GFP_NOFAIL to those memory allocations where previously, > GFP_NOFS was effectively guaranteeing that failures would almostt > never happen. GFP_NOFS not failing is even worse than GFP_KERNEL not failing. Because the first one has only very limited ways to perform a reclaim. It basically relies on somebody else to make a progress and that is definitely a bad model. > I know at least one place discovered with recent change (and revert) > where I'll be fixing ext4, but I suspect it won't be the only one, > especially in the block device drivers. > > - Ted -- Michal Hocko SUSE Labs -- To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to majordomo@xxxxxxxxx. For more info on Linux MM, see: http://www.linux-mm.org/ . Don't email: <a href=mailto:"dont@xxxxxxxxx";> email@xxxxxxxxx </a>