Received: by 2002:a25:1506:0:0:0:0:0 with SMTP id 6csp6650766ybv; Wed, 12 Feb 2020 16:50:27 -0800 (PST) X-Google-Smtp-Source: APXvYqwyAkvhNEEvYSTqBBF+tq7npiwZHxzNjOniO0K3VszBfgKMPJLbS6US6OOIiD+2YklZilp7 X-Received: by 2002:aca:2b0a:: with SMTP id i10mr1251018oik.137.1581555027073; Wed, 12 Feb 2020 16:50:27 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1581555027; cv=none; d=google.com; s=arc-20160816; b=JiMF7/ws72EQogHVmEAJscys/gP8eKutWDDefMQOhbGDzV6MsVCiDlJBL/Ry6pY9l6 NzlUISYKuaAVeJKX26Tn2/xh8k+uQ6zTcw3De1PhHakkXuUqNJP3Zhmlm7QAfodCSWbw 7KWPDnQTgTkUhnHo9mXq0g0TQ4AUUz9aGbznn/MUOAnv9qNeBJUQcdkRpb1xNkb9sqbv wHl2gimwCvOAVr2XyMqNaFEOSJMIOaWiLcwH0tQYzvEsscXKzryjhtLeu6GSkalwy8w9 qadDOxLKdfhMd7njWAiJYwvO3cqKcpLje1Chjhq44bcGlREulcBTYWbmA8mUSsThQvm7 5O9A== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:to:references:message-id :content-transfer-encoding:cc:date:in-reply-to:from:subject :mime-version:dkim-signature; bh=179Yt5PBUg2b6L8viYwRFsPlTIoidUR/f0EhWo/bqrQ=; b=mUwWdMgGZA7HX0NxF1eh/AYU5oWcme1cyOY0SQgjw+TGYbiTxDYPk5p4urHXYw7cWj VAojvA5DtdF3Ztoe6HxWjT7EhTLcUJF40A9O4rurQH5Bit/RgodZ5r+e+ytd7aHC2Ezi lIFd6aV3Pmz8tSIagCSJWhRoM/80qylUjbQv6BKZrlexqjWskFtEYNTMnwggFnDNntz1 uHHN49VeZ0l+zwlYX8FP3QNvyiQV2e8Xuk0aYjT50NStoyMb/qm7o2to9ao+JHHy3zFr tqkmlPtkpNRsHP4P07K9/ZmN7RuaEiYpMLt83ILM5Px57o9gh3atVWcF25734Sg7ii+s h9NA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@lca.pw header.s=google header.b=aSjmmByi; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [209.132.180.67]) by mx.google.com with ESMTP id v200si359850oia.67.2020.02.12.16.50.15; Wed, 12 Feb 2020 16:50:27 -0800 (PST) Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67; Authentication-Results: mx.google.com; dkim=pass header.i=@lca.pw header.s=google header.b=aSjmmByi; spf=pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1729437AbgBMAsS (ORCPT + 99 others); Wed, 12 Feb 2020 19:48:18 -0500 Received: from mail-qk1-f196.google.com ([209.85.222.196]:40448 "EHLO mail-qk1-f196.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1729429AbgBMAsS (ORCPT ); Wed, 12 Feb 2020 19:48:18 -0500 Received: by mail-qk1-f196.google.com with SMTP id b7so4064908qkl.7 for ; Wed, 12 Feb 2020 16:48:17 -0800 (PST) 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=179Yt5PBUg2b6L8viYwRFsPlTIoidUR/f0EhWo/bqrQ=; b=aSjmmByiXUpWFynH1CKOAB5S58PeRgELd/7h0zyhU5tXXXr+K6/NhngkvT6XOw9hj4 CmWurt+Jale4K7dB238hZ8meqeEQxgivd4X/gap6SOh8cBUJZvXxpHxejNzWeseESkFO HdXszEgneWAm6jdXf2w5FS65rEaSOgfCiCAqaerXux70hbQYoyxgbS9aXc9j9tNBO3po 19dQvym2kLkqC5InJUrCUv2D7qFXOzreokSyxPcN/hRqVh8G2GhNzU63EgjMEXIU2Pjw FGZq22YUAlCXse5vBiSXvSK90ywzeyZN4wdcHrffB5S4bnPwgYOKd3fiCvsRCWGvoLUC KsEg== 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=179Yt5PBUg2b6L8viYwRFsPlTIoidUR/f0EhWo/bqrQ=; b=N0HrBVN2+3XsxaLjkvqEBUJCJTIc8neVm1z5uQaCS1oZMFOK23kaZ+5gkNfhGE9ei9 WZYPGEv5ZYce4EOE0JBcl22dA0rX+f7ZbDVrjBjZ/hZkrB2+NwqfNXWeSIu5qxNkIgYF k/q9OPd8jbTbo20f4bs9sapeTqbvVLGGAFqs5htbzxPQxgVxiAxm6U2J5WUKWzcE01nj plsIMNySY/eeVO2NZMm3ClCrRTxDNcREt3lqpIuLJNy43ZhlEUO6NroWoCb1Fp+2KwMd emVyouRZyWOFJKiZyKEwgYesfXVmbk2ZlfzFFCNW7TPHPa3Qd6DRtWwr4Cc3wvJgmE2N KF0w== X-Gm-Message-State: APjAAAUbV5/aHYZFJBOxDdRZ8QLx7fJoAiPqQ9XngxS20hHAgRiaE51p +lHMOwiin6pTygbYqLUfRv4fyw== X-Received: by 2002:ae9:c318:: with SMTP id n24mr13889195qkg.38.1581554897259; Wed, 12 Feb 2020 16:48:17 -0800 (PST) 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 13sm356902qke.85.2020.02.12.16.48.16 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 12 Feb 2020 16:48:16 -0800 (PST) Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 13.0 \(3608.60.0.2.5\)) Subject: Re: [PATCH v2 5/5] kcsan: Introduce ASSERT_EXCLUSIVE_BITS(var, mask) From: Qian Cai In-Reply-To: <20200212214029.GS2935@paulmck-ThinkPad-P72> Date: Wed, 12 Feb 2020 19:48:15 -0500 Cc: Marco Elver , John Hubbard , Andrey Konovalov , Alexander Potapenko , Dmitry Vyukov , kasan-dev , LKML , Andrew Morton , David Hildenbrand , Jan Kara Content-Transfer-Encoding: quoted-printable Message-Id: <79934F2A-E151-480F-B1B1-1C713F932CEC@lca.pw> References: <20200212214029.GS2935@paulmck-ThinkPad-P72> To: "Paul E. McKenney" X-Mailer: Apple Mail (2.3608.60.0.2.5) Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org > On Feb 12, 2020, at 4:40 PM, Paul E. McKenney = wrote: >=20 > On Wed, Feb 12, 2020 at 07:30:16AM -0500, Qian Cai wrote: >>=20 >>=20 >>> On Feb 12, 2020, at 5:57 AM, Marco Elver wrote: >>>=20 >>> KCSAN is currently in -rcu (kcsan branch has the latest version), >>> -tip, and -next. >>=20 >> It would like be nice to at least have this patchset can be applied = against the linux-next, so I can try it a spin. >>=20 >> Maybe a better question to Paul if he could push all the latest kcsan = code base to linux-next soon since we are now past the merging window. I = also noticed some data races in rcu but only found out some of them had = already been fixed in rcu tree but not in linux-next. >=20 > I have pushed all that I have queued other than the last set of five, > which I will do tomorrow (Prague time) if testing goes well. >=20 > Could you please check the -rcu "dev" branch to see if I am missing = any > of the KCSAN patches? Nope. It looks good to me.=