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.2 required=3.0 tests=HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS,URIBL_BLOCKED,USER_AGENT_SANE_1 autolearn=no 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 262D6C83006 for ; Wed, 29 Apr 2020 16:21:27 +0000 (UTC) Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by mail.kernel.org (Postfix) with ESMTP id DF2FF20787 for ; Wed, 29 Apr 2020 16:21:26 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org DF2FF20787 Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=suse.cz Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=owner-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix) id 8BBCD8E0005; Wed, 29 Apr 2020 12:21:26 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id 86B438E0001; Wed, 29 Apr 2020 12:21:26 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id 75A1B8E0005; Wed, 29 Apr 2020 12:21:26 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from forelay.hostedemail.com (smtprelay0091.hostedemail.com [216.40.44.91]) by kanga.kvack.org (Postfix) with ESMTP id 5ED378E0001 for ; Wed, 29 Apr 2020 12:21:26 -0400 (EDT) Received: from smtpin03.hostedemail.com (10.5.19.251.rfc1918.com [10.5.19.251]) by forelay04.hostedemail.com (Postfix) with ESMTP id 173F82C1E for ; Wed, 29 Apr 2020 16:21:26 +0000 (UTC) X-FDA: 76761407772.03.pie79_298deba5e4132 X-HE-Tag: pie79_298deba5e4132 X-Filterd-Recvd-Size: 5350 Received: from mx2.suse.de (mx2.suse.de [195.135.220.15]) by imf36.hostedemail.com (Postfix) with ESMTP for ; Wed, 29 Apr 2020 16:21:25 +0000 (UTC) X-Virus-Scanned: by amavisd-new at test-mx.suse.de Received: from relay2.suse.de (unknown [195.135.220.254]) by mx2.suse.de (Postfix) with ESMTP id 881EDAF77; Wed, 29 Apr 2020 16:21:22 +0000 (UTC) Received: by quack2.suse.cz (Postfix, from userid 1000) id D262D1E1298; Wed, 29 Apr 2020 18:21:20 +0200 (CEST) Date: Wed, 29 Apr 2020 18:21:20 +0200 From: Jan Kara To: Tejun Heo Cc: Jan Kara , Dave Chinner , Dan Schatzberg , Jens Axboe , Alexander Viro , Amir Goldstein , Li Zefan , Johannes Weiner , Michal Hocko , Vladimir Davydov , Andrew Morton , Hugh Dickins , Roman Gushchin , Shakeel Butt , Chris Down , Yang Shi , Ingo Molnar , "Peter Zijlstra (Intel)" , Mathieu Desnoyers , "Kirill A. Shutemov" , Andrea Arcangeli , Thomas Gleixner , "open list:BLOCK LAYER" , open list , "open list:FILESYSTEMS (VFS and infrastructure)" , "open list:CONTROL GROUP (CGROUP)" , "open list:CONTROL GROUP - MEMORY RESOURCE CONTROLLER (MEMCG)" Subject: Re: [PATCH v5 0/4] Charge loop device i/o to issuing cgroup Message-ID: <20200429162120.GB12716@quack2.suse.cz> References: <20200428161355.6377-1-schatzberg.dan@gmail.com> <20200428214653.GD2005@dread.disaster.area> <20200429102540.GA12716@quack2.suse.cz> <20200429142230.GE5462@mtj.thefacebook.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20200429142230.GE5462@mtj.thefacebook.com> User-Agent: Mutt/1.10.1 (2018-07-13) X-Bogosity: Ham, tests=bogofilter, spamicity=0.000000, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: On Wed 29-04-20 10:22:30, Tejun Heo wrote: > Hello, > > On Wed, Apr 29, 2020 at 12:25:40PM +0200, Jan Kara wrote: > > Yeah, I was thinking about the same when reading the patch series > > description. We already have some cgroup workarounds for btrfs kthreads if > > I remember correctly, we have cgroup handling for flush workers, now we are > > adding cgroup handling for loopback device workers, and soon I'd expect > > someone comes with a need for DM/MD worker processes and IMHO it's getting > > out of hands because the complexity spreads through the kernel with every > > subsystem comming with slightly different solution to the problem and also > > the number of kthreads gets multiplied by the number of cgroups. So I > > agree some generic solution how to approach IO throttling of kthreads / > > workers would be desirable. > > > > OTOH I don't have a great idea how the generic infrastructure should look > > like... > > I don't really see a way around that. The only generic solution would be > letting all IOs through as root and handle everything through backcharging, > which we already can do as backcharging is already in use to handle metadata > updates which can't be controlled directly. However, doing that for all IOs > would make the control quality a lot worse as all control would be based on > first incurring deficit and then try to punish the issuer after the fact. Yeah, it will be probably somewhat worse but OTOH given we'd track the IO balance per cgroup there will deficit only when a cgroup is starting so it could be bearable. I'm more concerned about issues like that for some IO controllers (e.g. for blk-iolatency or for the work preserving controllers), it is not obvious how to sensibly estimate some cost to charge to a cgroup since these controllers are more about giving priority to IO of some cgroup in presence of IO from another cgroup rather than some hard throughput limit or something like that. > The infrastructure work done to make IO control work for btrfs is generic > and the changes needed on btrfs side was pretty small. Most of the work was > identifying non-regular IO pathways (bouncing through different kthreads and > whatnot) and making sure they're annotating IO ownership and the needed > mechanism correctly. The biggest challenge probably is ensuring that the > filesystem doesn't add ordering dependency between separate data IOs, which > is a nice property to have with or without cgroup support. > > That leaves the nesting drivers, loop and md/dm. Given that they sit in the > middle of IO stack and proxy a lot of its roles, they'll have to be updated > to be transparent in terms of cgroup ownership if IO control is gonna work > through them. Maybe we can have a common infra shared between loop, dm and > md but they aren't many and may also be sufficiently different. idk Yeah, as I said, I don't really have a better alternative :-| Honza -- Jan Kara SUSE Labs, CR