Received: by 2002:a05:7412:31a9:b0:e2:908c:2ebd with SMTP id et41csp2655006rdb; Tue, 12 Sep 2023 08:18:01 -0700 (PDT) X-Google-Smtp-Source: AGHT+IENet2AC5HSmFpovKXgJPMIigDSR8lSw5wX9l8e5kg6J99PfmoBbTWqIs1QuOtnjhGalWq2 X-Received: by 2002:a17:90a:b388:b0:270:1406:fcf with SMTP id e8-20020a17090ab38800b0027014060fcfmr9691775pjr.45.1694531879345; Tue, 12 Sep 2023 08:17:59 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1694531879; cv=none; d=google.com; s=arc-20160816; b=JuNVDjYAwPa8I2tds1wI+Vdt+np6mk4LGqBoKd+7Z0JZ2C6+o3Waai1JHsk1QhaM8j hY785GmNVr8/zcgPSwdAQp4pxFbDUoi0rMrZwq7r8W84R+NO2Jtb3LUm9fDtFTIT2MAf Pzs0UwGwws5440edU20zwxdpREAglVkBxiGWQCoQpn0teELZ2ZF3L8JWi2QYPa46YDY8 6R87c7Sx9SW70tekf4PAHjWFBBWGjIzd9UpGbe1CIFIbbal0iRADAgerJXsySvgzCc55 ICGqFdtug4cVvobURckJYMy+uHklkYvqPj9t0zgV75NHc3GY4CMnM8D3u6hwIcmyleor 8wiQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:in-reply-to:content-transfer-encoding :content-disposition:mime-version:references:reply-to:message-id :subject:to:from:date:dkim-signature; bh=5Tnl93kcfTEVkAS8OfkpjTPIlW0WODtVVUj0/x/juxU=; fh=TXEMGMZaG4BkF6X8bqKbmAR2fWgrb7goo8j2SB11zns=; b=O/MXt3gorrnArktRcx/FlyV8405iCodBxDTtTdrgwud8hjRx6f8Z78sfYzze36dNFH WfZxRaJzAF339p6yMGrfQa/dnQ2aAZ/4fu8//ZYCnpvDbDvmfkcg3DHFPbAorkMAK9gy GKQJpG/yo+Qb0a/zt8xTrml/DMYMOU92OxQtSPxHgwc6I3R+8t/Z3hKeJdf/LCRtRof7 ReBRJoFxaSpPwe+h8rZveeF8G2RJmbx/CGfIrALiV/LPz3GBCrysBcgdZB/sicDcQbUY iwrwTG5QPcKXP65GG7uceZnnVBi5nIMgEwE46cF7UPsM6GFNXGpIsotBHSv5qKamsCof y8bw== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=uiiCqgia; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:8 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Return-Path: Received: from fry.vger.email (fry.vger.email. [2620:137:e000::3:8]) by mx.google.com with ESMTPS id kk18-20020a17090b4a1200b00262ecc1963fsi10467595pjb.33.2023.09.12.08.17.58 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Tue, 12 Sep 2023 08:17:59 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:8 as permitted sender) client-ip=2620:137:e000::3:8; Authentication-Results: mx.google.com; dkim=pass header.i=@kernel.org header.s=k20201202 header.b=uiiCqgia; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::3:8 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=kernel.org Received: from out1.vger.email (depot.vger.email [IPv6:2620:137:e000::3:0]) by fry.vger.email (Postfix) with ESMTP id A1930822793B; Tue, 12 Sep 2023 08:08:53 -0700 (PDT) X-Virus-Status: Clean X-Virus-Scanned: clamav-milter 0.103.10 at fry.vger.email Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S236200AbjILPIw (ORCPT + 99 others); Tue, 12 Sep 2023 11:08:52 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:36226 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S235693AbjILPIv (ORCPT ); Tue, 12 Sep 2023 11:08:51 -0400 Received: from smtp.kernel.org (relay.kernel.org [52.25.139.140]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id A7D8812E; Tue, 12 Sep 2023 08:08:47 -0700 (PDT) Received: by smtp.kernel.org (Postfix) with ESMTPSA id 4C46FC433C8; Tue, 12 Sep 2023 15:08:47 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=k20201202; t=1694531327; bh=ttGqNqh/CcJuT6zhypB31E6IVRw+wtsmrxhplKH1EHE=; h=Date:From:To:Subject:Reply-To:References:In-Reply-To:From; b=uiiCqgiaLmGZ6XpACnUUjlYtn7yli0V+PweJVP7T7TxytAMqqFxtlgnpWmKWl9m56 3s1EU3ceuqkfLfwkdGD5Ex+cSYU6ZFXVWE8mYtzbmvc024+SpPz7evkdVOw5iGokcK ve4ku3DAbL7vd16/2LyaC6Ah7w6/0YAwdlOVM/8IijefwLHZWxLY0g47OOmjI8mHya jrUvh5ZZm2jogBP/76gbTSDb92cAzKCDfO0u4gJ9XJGJisOcunrRrPkvD/gYpgoUAS 0bhR6okR0DOzxc/aooshob7bL3stI9cSPlvMglS/cgo87rkmcc57sYJAkzAtLVN8sQ chJmyGNm82fQw== Received: by paulmck-ThinkPad-P17-Gen-1.home (Postfix, from userid 1000) id D5226CE07C7; Tue, 12 Sep 2023 08:08:46 -0700 (PDT) Date: Tue, 12 Sep 2023 08:08:46 -0700 From: "Paul E. McKenney" To: "Liam R. Howlett" , Geert Uytterhoeven , Andrew Morton , maple-tree@lists.infradead.org, linux-mm@kvack.org, linux-kernel@vger.kernel.org, stable@vger.kernel.org, linux-renesas-soc@vger.kernel.org, Shanker Donthineni Subject: Re: [PATCH v2 1/2] maple_tree: Disable mas_wr_append() when other readers are possible Message-ID: <3f2e6497-ac8d-4da0-b677-c8a3975b6189@paulmck-laptop> Reply-To: paulmck@kernel.org References: <20230906172954.oq4vogeuco25zam7@revolver> <495849d6-1dc6-4f38-bce7-23c50df3a99f@paulmck-laptop> <20230911235452.xhtnt7ply7ayr53x@revolver> <33150b55-970c-4607-9015-af0e50e4112d@paulmck-laptop> <62936d98-6353-486e-8535-86c9f90bc7f4@paulmck-laptop> <20230912135617.dnhyk4h5c555l2yg@revolver> <20230912142930.xdautl7cabb67nap@revolver> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20230912142930.xdautl7cabb67nap@revolver> Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.6.4 (fry.vger.email [0.0.0.0]); Tue, 12 Sep 2023 08:08:53 -0700 (PDT) X-Spam-Status: No, score=-1.2 required=5.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,MAILING_LIST_MULTI, SPF_HELO_NONE,SPF_PASS autolearn=unavailable autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on fry.vger.email On Tue, Sep 12, 2023 at 10:29:30AM -0400, Liam R. Howlett wrote: > * Liam R. Howlett [230912 09:56]: > > * Paul E. McKenney [230912 06:00]: > > > On Tue, Sep 12, 2023 at 10:34:44AM +0200, Geert Uytterhoeven wrote: > > > > Hi Paul, > > > > > > > > On Tue, Sep 12, 2023 at 10:30 AM Paul E. McKenney wrote: > > > > > On Tue, Sep 12, 2023 at 10:23:37AM +0200, Geert Uytterhoeven wrote: > > > > > > On Tue, Sep 12, 2023 at 10:14 AM Paul E. McKenney wrote: > > > > > > > On Mon, Sep 11, 2023 at 07:54:52PM -0400, Liam R. Howlett wrote: > > > > > > > > * Paul E. McKenney [230906 14:03]: > > > > > > > > > On Wed, Sep 06, 2023 at 01:29:54PM -0400, Liam R. Howlett wrote: > > > > > > > > > > * Paul E. McKenney [230906 13:24]: > > > > > > > > > > > On Wed, Sep 06, 2023 at 11:23:25AM -0400, Liam R. Howlett wrote: > > > > > > > > > > > > (Adding Paul & Shanker to Cc list.. please see below for why) > > > > > > > > > > > > > > > > > > > > > > > > Apologies on the late response, I was away and have been struggling to > > > > > > > > > > > > get a working PPC32 test environment. > > > > > > > > > > > > > > > > > > > > > > > > * Geert Uytterhoeven [230829 12:42]: > > > > > > > > > > > > > Hi Liam, > > > > > > > > > > > > > > > > > > > > > > > > > > On Fri, 18 Aug 2023, Liam R. Howlett wrote: > > > > > > > > > > > > > > The current implementation of append may cause duplicate data and/or > > > > > > > > > > > > > > incorrect ranges to be returned to a reader during an update. Although > > > > > > > > > > > > > > this has not been reported or seen, disable the append write operation > > > > > > > > > > > > > > while the tree is in rcu mode out of an abundance of caution. > > > > > > > > > > > > > > > > > > > > > > > > ... > > > > > > > > > > > > > > > > > > > > > > > > > > > > > > ... > > > > > > > > > > > > > > > > > > > > > RCU-related configs: > > > > > > > > > > > > > > > > > > > > > > > > > > $ grep RCU .config > > > > > > > > > > > > > # RCU Subsystem > > > > > > > > > > > > > CONFIG_TINY_RCU=y > > > > > > > > > > > > > > I must have been asleep last time I looked at this. I was looking at > > > > > > > Tree RCU. Please accept my apologies for my lapse. :-/ > > > > > > > > > > > > > > However, Tiny RCU's call_rcu() also avoids enabling IRQs, so I would > > > > > > > have said the same thing, albeit after looking at a lot less RCU code. > > > > > > > > > > > > > > TL;DR: > > > > > > > > > > > > > > 1. Try making the __setup_irq() function's call to mutex_lock() > > > > > > > instead be as follows: > > > > > > > > > > > > > > if (!mutex_trylock(&desc->request_mutex)) > > > > > > > mutex_lock(&desc->request_mutex); > > > > > > > > > > > > > > This might fail if __setup_irq() has other dependencies on a > > > > > > > fully operational scheduler. > > This changes where the interrupts become enabled, but doesn't stop it > from happening. It still throws a WARN after init_IRQ(). I suspect it > is not the way to proceed as there are probably many places that will > need to be changed in both common and arch specific code. As soon as > TIF_NEED_RESCHED is set, then all the checks will need to be altered. Thank you for trying it! > I think we either need to set the boot thread to !idle, avoid call_rcu() > to set TIF_NEED_RESCHED (how was this working before? Do we need rcu > for the IRQs?), or alter the boot order (note this is NOT arch or > platform code here). > > I don't like any of these. I'd like another option, please? My favorite is to move the interrupt enabling later, but Michael Ellerman would know better than would I about the feasibility of this. Thanx, Paul > > > > > > > > > > > > > > 2. Move that ppc32 call to __setup_irq() much later, most definitely > > > > > > > after interrupts have been enabled and the scheduler is fully > > > > > > > operational. Invoking mutex_lock() before that time is not a > > > > > > > good idea. ;-) > > > > > > > > > > > > There is no call to __setup_irq() from arch/powerpc/? > > > > > > > > > > Glad it is not just me, given that I didn't see a direct call, either. So > > > > > later in this email, I asked Liam to put a WARN_ON_ONCE(irqs_disabled()) > > > > > just before that mutex_lock() in __setup_irq(). > > Oh, and also: > arch/powerpc/platforms/powermac/setup.c: .init_IRQ = pmac_pic_init, > > > > > I had already found that this is the mutex lock that is enabling them. > > I surrounded the mutex lock to ensure it was not enabled before, but was > > after. Here is the findings: > > > > kernel/irq/manage.c:1587 __setup_irq: > > [ 0.000000] [c0e65ec0] [c00e9b00] __setup_irq+0x6c4/0x840 (unreliable) > > [ 0.000000] [c0e65ef0] [c00e9d74] request_threaded_irq+0xf8/0x1f4 > > [ 0.000000] [c0e65f20] [c0c27168] pmac_pic_init+0x204/0x5f8 > > [ 0.000000] [c0e65f80] [c0c1f544] init_IRQ+0xac/0x12c > > [ 0.000000] [c0e65fa0] [c0c1cad0] start_kernel+0x544/0x6d4 > > > > Note your line number will be slightly different due to my debug. This > > is the WARN _after_ the mutex lock. > > > > > > > > > > > > Either way, invoking mutex_lock() early in boot before interrupts have > > > > > been enabled is a bad idea. ;-) > > > > > > > > I'll add that WARN_ON_ONCE() too, and will report back later today... > > > > > > Thank you, looking forward to hearing the outcome! > > > > > > > > > Note that there are (possibly different) issues seen on ppc32 and on arm32 > > > > > > (Renesas RZ/A in particular, but not on other Renesas ARM systems). > > > > > > > > > > > > I saw an issue on arm32 with cfeb6ae8bcb96ccf, but not with cfeb6ae8bcb96ccf^. > > > > > > Other people saw an issue on ppc32 with both cfeb6ae8bcb96ccf and > > > > > > cfeb6ae8bcb96ccf^. > > > > > > > > > > I look forward to hearing what is the issue in both cases. > > > > > > > > For RZ/A, my problem report is > > > > https://lore.kernel.org/all/3f86d58e-7f36-c6b4-c43a-2a7bcffd3bd@linux-m68k.org/ > > > > > > Thank you, Geert! > > > > > > Huh. Is that patch you reverted causing Maple Tree or related code > > > to attempt to acquire mutexes in early boot before interrupts have > > > been enabled? > > > > > > If that added WARN_ON_ONCE() doesn't trigger early, another approach > > > would be to put it at the beginning of mutex_lock(). Or for that matter > > > at the beginning of might_sleep(). > > > > Yeah, I put many WARN() calls through the code as well as tracking down > > where TIF_NEED_RESCHED was set; the tiny.c call_rcu(). > > > > > > So my findings summarized: > > > > 1. My change to the maple tree makes call_rcu() more likely on early boot. > > 2. The initial thread setup is always set to idle state > > 3. call_rcu() tiny sets TIF_NEED_RESCHED since is_idle_task(current) > > 4. init_IRQ() takes a mutex lock which will enable the interrupts since > > TIF_NEED_RESCHED is set. > > > > I don't know which of these things is "wrong". > > > > I also looked into the mtmsr register but decided to consult you lot > > about my findings in hopes that someone with more knowledge of the > > platform or early boot would alleviate the pain so that I could context > > switch or sleep :) I mean, an mtmsr bug seems like a leap even for the > > issues I create.. > > > > Regards, > > Liam > > > > > > -- > > maple-tree mailing list > > maple-tree@lists.infradead.org > > https://lists.infradead.org/mailman/listinfo/maple-tree