From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-2.7 required=3.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,MAILING_LIST_MULTI,SPF_PASS,USER_AGENT_MUTT autolearn=ham autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 0BB3CC43387 for ; Mon, 17 Dec 2018 14:10:50 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id D08522145D for ; Mon, 17 Dec 2018 14:10:49 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=default; t=1545055849; bh=77+tzFWG1iU+L9mdAw4cjp4qZ+79opegclEDKLPOOvk=; h=Date:From:To:Cc:Subject:References:In-Reply-To:List-ID:From; b=IImVjdjJg/gi7qn5DqMIg8dsYOQfrlr1rZCwAOJH4DtA2YOSdQ1OrjqQ+wIyPJwq4 rBD4EjJmfLa3Ncu4DjFKT37NFx0QqOBp2xDH1r2ov8T8bg503+emy2AOEfhLlxOkmQ 6iz7E9w3dk5kr4RbTzxNgsI6cLmpddMIBOAkTzCg= Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1733206AbeLQOKs (ORCPT ); Mon, 17 Dec 2018 09:10:48 -0500 Received: from mx2.suse.de ([195.135.220.15]:48654 "EHLO mx1.suse.de" rhost-flags-OK-OK-OK-FAIL) by vger.kernel.org with ESMTP id S1727193AbeLQOKs (ORCPT ); Mon, 17 Dec 2018 09:10:48 -0500 X-Virus-Scanned: by amavisd-new at test-mx.suse.de Received: from relay2.suse.de (unknown [195.135.220.254]) by mx1.suse.de (Postfix) with ESMTP id B7912AD72; Mon, 17 Dec 2018 14:10:45 +0000 (UTC) Date: Mon, 17 Dec 2018 15:10:44 +0100 From: Michal Hocko To: Matthew Wilcox Cc: Tetsuo Handa , Hou Tao , phillip@squashfs.org.uk, linux-fsdevel@vger.kernel.org, linux-kernel@vger.kernel.org, linux-mm@kvack.org Subject: Re: [PATCH] squashfs: enable __GFP_FS in ->readpage to prevent hang in mem alloc Message-ID: <20181217141044.GP30879@dhcp22.suse.cz> References: <20181204020840.49576-1-houtao1@huawei.com> <20181215143824.GJ10600@bombadil.infradead.org> <69457a5a-79c9-4950-37ae-eff7fa4f949a@huawei.com> <20181217035157.GK10600@bombadil.infradead.org> <20181217093337.GC30879@dhcp22.suse.cz> <00ff5d2d-a50f-4730-db8a-cea3d7a3eef7@I-love.SAKURA.ne.jp> <20181217122546.GL10600@bombadil.infradead.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20181217122546.GL10600@bombadil.infradead.org> User-Agent: Mutt/1.10.1 (2018-07-13) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon 17-12-18 04:25:46, Matthew Wilcox wrote: > On Mon, Dec 17, 2018 at 07:51:27PM +0900, Tetsuo Handa wrote: > > On 2018/12/17 18:33, Michal Hocko wrote: > > > On Sun 16-12-18 19:51:57, Matthew Wilcox wrote: > > > [...] > > >> Ah, yes, that makes perfect sense. Thank you for the explanation. > > >> > > >> I wonder if the correct fix, however, is not to move the check for > > >> GFP_NOFS in out_of_memory() down to below the check whether to kill > > >> the current task. That would solve your problem, and I don't _think_ > > >> it would cause any new ones. Michal, you touched this code last, what > > >> do you think? > > > > > > What do you mean exactly? Whether we kill a current task or something > > > else doesn't change much on the fact that NOFS is a reclaim restricted > > > context and we might kill too early. If the fs can do GFP_FS then it is > > > obviously a better thing to do because FS metadata can be reclaimed as > > > well and therefore there is potentially less memory pressure on > > > application data. > > > > > > > I interpreted "to move the check for GFP_NOFS in out_of_memory() down to > > below the check whether to kill the current task" as > > Too far; I meant one line earlier, before we try to select a different > process. We could still panic the system on pre-mature OOM. So it doesn't really seem good. > > @@ -1104,6 +1095,19 @@ bool out_of_memory(struct oom_control *oc) > > } > > > > select_bad_process(oc); > > + > > + /* > > + * The OOM killer does not compensate for IO-less reclaim. > > + * pagefault_out_of_memory lost its gfp context so we have to > > + * make sure exclude 0 mask - all other users should have at least > > + * ___GFP_DIRECT_RECLAIM to get here. > > + */ > > + if ((oc->gfp_mask && !(oc->gfp_mask & __GFP_FS)) && oc->chosen && > > + oc->chosen != (void *)-1UL && oc->chosen != current) { > > + put_task_struct(oc->chosen); > > + return true; > > + } > > + > > /* Found nothing?!?! */ > > if (!oc->chosen) { > > dump_header(oc, NULL); > > > > which is prefixed by "the correct fix is not". > > > > Behaving like sysctl_oom_kill_allocating_task == 1 if __GFP_FS is not used > > will not be the correct fix. But ... > > > > Hou Tao wrote: > > > There is no need to disable __GFP_FS in ->readpage: > > > * It's a read-only fs, so there will be no dirty/writeback page and > > > there will be no deadlock against the caller's locked page > > > > is read-only filesystem sufficient for safe to use __GFP_FS? > > > > Isn't "whether it is safe to use __GFP_FS" depends on "whether fs locks > > are held or not" rather than "whether fs has dirty/writeback page or not" ? > > It's worth noticing that squashfs _is_ in fact holding a page locked in > squashfs_copy_cache() when it calls grab_cache_page_nowait(). I'm not > sure if this will lead to trouble or not because I'm insufficiently > familiar with the reclaim path. Hmm, this is more interesting then. If there is any memcg accounted allocation down that path _and_ the squashfs writeout can lock more pages and mark them writeback before they are really sent to the storage then we have a problem. See [1] [1] http://lkml.kernel.org/r/20181213092221.27270-1-mhocko@kernel.org -- Michal Hocko SUSE Labs