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.6 required=3.0 tests=DKIMWL_WL_HIGH,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS, 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 71FFBC433DF for ; Tue, 23 Jun 2020 16:31:38 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by mail.kernel.org (Postfix) with ESMTP id 496E820706 for ; Tue, 23 Jun 2020 16:31:38 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=default; t=1592929898; bh=vcacq7cFbvv6wHdh8Upee64wQQCfN+6AXHc7cwAxp2E=; h=Date:From:To:Cc:Subject:Reply-To:References:In-Reply-To:List-ID: From; b=hytb5tP85zTrh38RZTUWv+hr9jnB7KhumKP8MHuoLjP5AFqe5WKKJbyQFwuhDyj5Q XYbadUAhUA5qDx95ENNUeCm0dS6T0Jxb49JghhIt65aJUn6D/V2cyxkqkIn4WGUWwz mOU0NM/9Ly3vGXk7TOtAOfcqgfIbrUAr2bu+O1jI= Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1732940AbgFWQbg (ORCPT ); Tue, 23 Jun 2020 12:31:36 -0400 Received: from mail.kernel.org ([198.145.29.99]:44710 "EHLO mail.kernel.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1732324AbgFWQbg (ORCPT ); Tue, 23 Jun 2020 12:31:36 -0400 Received: from paulmck-ThinkPad-P72.home (50-39-105-78.bvtn.or.frontiernet.net [50.39.105.78]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPSA id 8DC77206D4; Tue, 23 Jun 2020 16:31:35 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=kernel.org; s=default; t=1592929895; bh=vcacq7cFbvv6wHdh8Upee64wQQCfN+6AXHc7cwAxp2E=; h=Date:From:To:Cc:Subject:Reply-To:References:In-Reply-To:From; b=Y0lWgEkHSh6P6km++4+1OiVquUbKfqtdjfyq4ke/4to5Eyt2SYYbrB+5fH5F41GBa saJaTKb1fU41wmOBo4xGU3PLeyZck75xD2VTZguXmXupTFBLVjB4XA/C6/GJ/+QQaf NZXN62PS6WNfIo8K/8vQDOZup6PN3S+o6ojdiEWg= Received: by paulmck-ThinkPad-P72.home (Postfix, from userid 1000) id 77DC83522657; Tue, 23 Jun 2020 09:31:35 -0700 (PDT) Date: Tue, 23 Jun 2020 09:31:35 -0700 From: "Paul E. McKenney" To: Marco Elver Cc: LKML , kasan-dev , kernel-team@fb.com, Ingo Molnar , Andrey Konovalov , Alexander Potapenko , Dmitry Vyukov , Qian Cai , Boqun Feng Subject: Re: [PATCH kcsan 0/10] KCSAN updates for v5.9 Message-ID: <20200623163135.GL9247@paulmck-ThinkPad-P72> Reply-To: paulmck@kernel.org References: <20200623004310.GA26995@paulmck-ThinkPad-P72> <20200623134309.GB9247@paulmck-ThinkPad-P72> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.9.4 (2018-02-28) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Tue, Jun 23, 2020 at 05:06:26PM +0200, Marco Elver wrote: > On Tue, 23 Jun 2020 at 15:43, Paul E. McKenney wrote: > > > > On Tue, Jun 23, 2020 at 08:31:15AM +0200, Marco Elver wrote: > > > On Tue, 23 Jun 2020 at 02:43, Paul E. McKenney wrote: > > > > > > > > Hello! > > > > > > > > This series provides KCSAN updates: > > > > > > > > 1. Annotate a data race in vm_area_dup(), courtesy of Qian Cai. > > > > > > > > 2. x86/mm/pat: Mark an intentional data race, courtesy of Qian Cai. > > > > > > > > 3. Add ASSERT_EXCLUSIVE_ACCESS() to __list_splice_init_rcu(). > > > > > > > > 4. Add test suite, courtesy of Marco Elver. > > > > > > > > 5. locking/osq_lock: Annotate a data race in osq_lock. > > > > > > > > 6. Prefer '__no_kcsan inline' in test, courtesy of Marco Elver. > > > > > > > > 7. Silence -Wmissing-prototypes warning with W=1, courtesy of Qian Cai. > > > > > > > > 8. Rename test.c to selftest.c, courtesy of Marco Elver. > > > > > > > > 9. Remove existing special atomic rules, courtesy of Marco Elver. > > > > > > > > 10. Add jiffies test to test suite, courtesy of Marco Elver. > > > > > > Do we want GCC support back for 5.9? > > > > > > https://lkml.kernel.org/r/20200618093118.247375-1-elver@google.com > > > > > > I was hoping it could go into 5.9, because it makes a big difference > > > in terms of usability as it provides more compiler choice. The only > > > significant change for GCC support is the addition of the checking of > > > (CC_IS_GCC && (....)). > > > > Very good, I will rebase the following into the KCSAN branch for v5.9: > > > > 3e490e3 kcsan: Re-add GCC as a supported compiler > > 03296de kcsan: Simplify compiler flags > > d831090 kcsan: Disable branch tracing in core runtime > > > > Please let me know if any other adjustments are needed. > > Looks good to me, thank you! And updated on the "dev" branch of -rcu. Thanx, Paul