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.4 required=3.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,SPF_HELO_NONE, SPF_PASS,USER_AGENT_SANE_2 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 3DDDFC432C0 for ; Tue, 19 Nov 2019 19:27:39 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id 0DD6C2245F for ; Tue, 19 Nov 2019 19:27:39 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=lca.pw header.i=@lca.pw header.b="cOwJdQ3Q" Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1726836AbfKST1i (ORCPT ); Tue, 19 Nov 2019 14:27:38 -0500 Received: from mail-qt1-f196.google.com ([209.85.160.196]:37170 "EHLO mail-qt1-f196.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726722AbfKST1i (ORCPT ); Tue, 19 Nov 2019 14:27:38 -0500 Received: by mail-qt1-f196.google.com with SMTP id g50so25947193qtb.4 for ; Tue, 19 Nov 2019 11:27:38 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=lca.pw; s=google; h=message-id:subject:from:to:cc:date:in-reply-to:references :mime-version:content-transfer-encoding; bh=wWke+FPRS6Ykc0nO40qrsc1dQ72uzYDMM9s/rffQgXo=; b=cOwJdQ3QaoC1ghWuL5cDionr9lVRVE7w0E6xB29suEcWQZJDbarxSfoUMmuspYbOvs foTc3R4N1YA6vsxpIjJbpSttqpBQ3dDDQi4PwvY4v0Tei1oeHkTXBrFblLAZtKjFSVZT k6iJPky6g4ughqLuVvoeuzEMq/7B1gpdHqjeEKLzSldt+RKr3YKXU3JvPlzO5+msV6uZ 6v3vYAlWY89i/LBzOxKeer2saajdLI87BirnkGA6ad3ouHDNIw5STroNQNgNVW12VIMO YBsvns+jHm88LTfB94IIPjtkpMzbROhq16RxFtaOcBoM1QlTB/1om5GndImlFebJg1IB mGiA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:message-id:subject:from:to:cc:date:in-reply-to :references:mime-version:content-transfer-encoding; bh=wWke+FPRS6Ykc0nO40qrsc1dQ72uzYDMM9s/rffQgXo=; b=q589qinicaOL3l0qq23P6zQ2eActQ46TRFBuk3D7k6/jIVg4WvrJ+HNOCEAIXAuffC sKegAsh3w8QYInoG7CgK7BDBTb3V0XRzMfo+oJ7TOw1bziz93tk1l5LNJvoQT76d94gx kJw9dCiDgTr7MJXD/UUzWghudHwiwZvTKN4usUCh0GF2qLU66KMOvt02Dv0hG117etTZ cxA7ZnHBfRbJD/CFbmcnXdqmYjH64JXxTd5UAHm9ztwpFP/8Wi31jVuW8+YK4x5gboVn 9Yh4o1bsV2ZZuHdr6adV+/uK7wHdAg1f64SaC+kXeX9CHaFSDmFCyAf9YJ5E7HBDY0zM 5m3Q== X-Gm-Message-State: APjAAAV3IBZcS1zIeeye0czbuAEwvtqlYcthDjyMfZ4ThU3x+zqlcshu +xgdD4EQM9WNPUH4pPomwL1SNQ== X-Google-Smtp-Source: APXvYqwqqbIYdbA/gvquqIqz/2jzv9H8hpK3t4AE1C7xJadrM0qWrSPiW0jc/PVgaAG39wcWgRtWhw== X-Received: by 2002:ac8:244e:: with SMTP id d14mr35262717qtd.388.1574191657402; Tue, 19 Nov 2019 11:27:37 -0800 (PST) Received: from dhcp-41-57.bos.redhat.com (nat-pool-bos-t.redhat.com. [66.187.233.206]) by smtp.gmail.com with ESMTPSA id 134sm10319529qkn.24.2019.11.19.11.27.34 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 19 Nov 2019 11:27:36 -0800 (PST) Message-ID: <1574191653.9585.6.camel@lca.pw> Subject: Re: [PATCH v4 01/10] kcsan: Add Kernel Concurrency Sanitizer infrastructure From: Qian Cai To: Marco Elver Cc: akiyks@gmail.com, stern@rowland.harvard.edu, glider@google.com, parri.andrea@gmail.com, andreyknvl@google.com, luto@kernel.org, ard.biesheuvel@linaro.org, arnd@arndb.de, boqun.feng@gmail.com, bp@alien8.de, dja@axtens.net, dlustig@nvidia.com, dave.hansen@linux.intel.com, dhowells@redhat.com, dvyukov@google.com, hpa@zytor.com, mingo@redhat.com, j.alglave@ucl.ac.uk, joel@joelfernandes.org, corbet@lwn.net, jpoimboe@redhat.com, luc.maranget@inria.fr, mark.rutland@arm.com, npiggin@gmail.com, paulmck@kernel.org, peterz@infradead.org, tglx@linutronix.de, will@kernel.org, edumazet@google.com, kasan-dev@googlegroups.com, linux-arch@vger.kernel.org, linux-doc@vger.kernel.org, linux-efi@vger.kernel.org, linux-kbuild@vger.kernel.org, linux-kernel@vger.kernel.org, linux-mm@kvack.org, x86@kernel.org Date: Tue, 19 Nov 2019 14:27:33 -0500 In-Reply-To: <20191114180303.66955-2-elver@google.com> References: <20191114180303.66955-1-elver@google.com> <20191114180303.66955-2-elver@google.com> Content-Type: text/plain; charset="UTF-8" X-Mailer: Evolution 3.22.6 (3.22.6-10.el7) Mime-Version: 1.0 Content-Transfer-Encoding: 7bit Sender: linux-doc-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-doc@vger.kernel.org On Thu, 2019-11-14 at 19:02 +0100, 'Marco Elver' via kasan-dev wrote: > +menuconfig KCSAN > + bool "KCSAN: watchpoint-based dynamic data race detector" > + depends on HAVE_ARCH_KCSAN && !KASAN && STACKTRACE "!KASAN" makes me sorrow. What's problem of those two? > + default n > + help > + Kernel Concurrency Sanitizer is a dynamic data race detector, which > + uses a watchpoint-based sampling approach to detect races. See > + for more details. > +