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=-0.8 required=3.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,SPF_HELO_NONE, SPF_PASS,URIBL_BLOCKED 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 E38F1C433E0 for ; Thu, 14 May 2020 13:39:53 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by mail.kernel.org (Postfix) with ESMTP id B8FB820727 for ; Thu, 14 May 2020 13:39:53 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=lca.pw header.i=@lca.pw header.b="gORtbmNV" Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727834AbgENNjs (ORCPT ); Thu, 14 May 2020 09:39:48 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:55826 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-FAIL-OK-FAIL) by vger.kernel.org with ESMTP id S1727802AbgENNjr (ORCPT ); Thu, 14 May 2020 09:39:47 -0400 Received: from mail-qt1-x844.google.com (mail-qt1-x844.google.com [IPv6:2607:f8b0:4864:20::844]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 58102C061A0E for ; Thu, 14 May 2020 06:39:47 -0700 (PDT) Received: by mail-qt1-x844.google.com with SMTP id i68so2828325qtb.5 for ; Thu, 14 May 2020 06:39:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lca.pw; s=google; h=mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=PtDz09LOkzjvvCoePxmt7faUO189OcHyAGB4NVnPo5w=; b=gORtbmNVZ0Y3FHE3lSOmGqP8TsAqKnlxgjygjNH7i2lySpuRefvl1jHY9s4YyfWrxC RC0G+/jSxogr6BYMwylaHcIVQ9jy5LwaIyrJdjVKuBAeqkUbFz+3jsRgPZDzDIyEEPs6 cwmXNypii2MfKzOiHOz+kNLlojd2Br3HySJpion7+mGsxcpHEd/Yk0UXksIwr0W2FjfA zuvSxT+a6xvbOXFmIzqiGaFhpSKu1+dOsEvjcO8lQCSQkgiVzYd2TyBVmATC1wICbOEI g1MVR9XXV+A3j9EXu75u01JDvL75HnhZOLn+HtdnD0dL45zBwNHxfsP665gGuSUsPRQr FMfQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=PtDz09LOkzjvvCoePxmt7faUO189OcHyAGB4NVnPo5w=; b=TlTlFRUh0Ja8O34+l/GrbxdtCjF/wYquOd2MT9txy13S8JGalnapa6XKHGdCr2lf0j oksEwNC0Inb22JDgQrFVvofvWr+0h/AioGmH3pcMSbnnojRPnq7ImhSM92SzuG38MS3f 3BhShQzadp38D0tVAb75xMC3Xh0V3th6358hrGk4/HELfR676PNrGItsUri4QYVJXInr 5OdYKkMjoEC4qNX7lJsXwZFGV/s1AeqTSHePEigMSq6O8YM2OEhAIBc3Jshobc7yIeSZ 7Gol6B/Jvl9xbOpcyA9pQxGNZq+PTivTsXOiOZovhXZrmYU5BmgeSMUWn381xclPHAmT dh3w== X-Gm-Message-State: AOAM533YFHCo3qE4Lq0ZPnz34BdFvpKJFo6QNYX6c7d73c5j5K6/RMWm J3b0airuju0vvWGQ0Arj76aMDg== X-Google-Smtp-Source: ABdhPJx7yVlRhp+tedZEgwXP0IGx4ag09z1dk2lWXiNjPqX+eufFanUNRCkK22YEmEyXevqtpSezwQ== X-Received: by 2002:aed:308e:: with SMTP id 14mr4532096qtf.146.1589463586413; Thu, 14 May 2020 06:39:46 -0700 (PDT) Received: from [192.168.1.153] (pool-71-184-117-43.bstnma.fios.verizon.net. [71.184.117.43]) by smtp.gmail.com with ESMTPSA id i5sm2497041qtp.66.2020.05.14.06.39.45 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Thu, 14 May 2020 06:39:45 -0700 (PDT) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 13.4 \(3608.80.23.2.2\)) Subject: Re: Default enable RCU list lockdep debugging with PROVE_RCU From: Qian Cai In-Reply-To: <20200514133328.GG2869@paulmck-ThinkPad-P72> Date: Thu, 14 May 2020 09:39:45 -0400 Cc: Stephen Rothwell , Linux Next Mailing List , Linux Kernel Mailing List , Madhuparna Bhowmik , Amol Grover , Dmitry Vyukov Content-Transfer-Encoding: quoted-printable Message-Id: References: <20200514222535.259cb69e@canb.auug.org.au> <20200514133328.GG2869@paulmck-ThinkPad-P72> To: "Paul E. McKenney" X-Mailer: Apple Mail (2.3608.80.23.2.2) Sender: linux-next-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-next@vger.kernel.org > On May 14, 2020, at 9:33 AM, Paul E. McKenney = wrote: >=20 > On Thu, May 14, 2020 at 08:31:13AM -0400, Qian Cai wrote: >>=20 >>=20 >>> On May 14, 2020, at 8:25 AM, Stephen Rothwell = wrote: >>>=20 >>> Hi Paul, >>>=20 >>> This patch in the rcu tree >>>=20 >>> d13fee049fa8 ("Default enable RCU list lockdep debugging with = PROVE_RCU") >>>=20 >>> is causing whack-a-mole in the syzbot testing of linux-next. = Because >>> they always do a debug build of linux-next, no testing is getting = done. :-( >>>=20 >>> Can we find another way to find all the bugs that are being = discovered >>> (very slowly)? >>=20 >> Alternatively, could syzbot to use PROVE_RCU=3Dn temporarily because = it can=E2=80=99t keep up with it? I personally found PROVE_RCU_LIST=3Dy = is still useful for my linux-next testing, and don=E2=80=99t want to = lose that coverage overnight. >=20 > The problem is that PROVE_RCU is exactly PROVE_LOCKING, and asking = people > to test without PROVE_LOCKING is a no-go in my opinion. But of course > on the other hand if there is no testing of RCU list lockdep = debugging, > those issues will never be found, let alone fixed. >=20 > One approach would be to do as Stephen asks (either remove = d13fee049fa8 > or pull it out of -next) and have testers force-enable the RCU list > lockdep debugging. >=20 > Would that work for you? Yes, if there is a way to enable PROVE_RCU_LIST=3Dy manually, that is = fine. I think we would want to make it easier to enable it. Currently, = it is buried into RCU_EXPERT?=