Received: by 2002:a25:e74b:0:0:0:0:0 with SMTP id e72csp1998453ybh; Fri, 24 Jul 2020 01:40:17 -0700 (PDT) X-Google-Smtp-Source: ABdhPJyqiyov8B0/CiWZjHC7OKBGAk9flB6R7HVK88MJexwr+JqGDDqtxsnJDjLd28xlcixjpiem X-Received: by 2002:a17:906:4685:: with SMTP id a5mr8174936ejr.46.1595580017733; Fri, 24 Jul 2020 01:40:17 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1595580017; cv=none; d=google.com; s=arc-20160816; b=y/ONP2hjKYOuYz74OX11/5sIdPIbx+2KA4DesUDET/FBwQycDP/WUK3bpkogv9fBbJ zGh6cfDATLNiBKPcKF44hpZZQNRc3/409/tGx9VO7xLzBqw48zef5AvYC10aiVhJV8un +WXR0poyRo//Q8gsJdv6Fs5xLrmkCIJYOVzhjMqHY4/ff+nf1Yd3BNzp/xRji4OAjqWg 2gN7e47EOygHq/GFtksF70nKXnE3bbhSw/ixVpxd8/TvU/P4kh+0JnfRMdAqJRprnPmR vnPUMaUHUGB36eZh0gWlsbXzuOpyTNodNjzO20P8BYR6A0YcP79vn6P2n48pBhsCUGNN vNwQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:in-reply-to:content-disposition :mime-version:references:message-id:subject:cc:to:from:date :dkim-signature; bh=kXKoci4B8YFJHJ87vnIjv2pljX59x+0imMdXpdyFpys=; b=dYXCVgIt44DyDav2CMQgvWwWdJVSMF7AGLpoETlwF5N43rPaFsO2DLfz1YMDXdjYGz DNHQ7FTaYwgtczv3fhSVvqy+vLGzNcdPV7DBJQFq8JOVMft1vZD/WbL1gVuvVtpf3+O/ kG4NgMMnW3wwVEsttxUpiJgMoBSt9eESbdQ1jh/53xbFsxtEaxXIr65Up5NkM1h+bVcw LghxnI0t3jPi+Y/V2aj24TV0kMg8Mllsjlf8z5j07PYUaaOqtq45uIJiFDQZdEDAfcjS ocz6mVZdKyanEIjQyBYC6iVM0Drpw61ZtPsKeB5T9QbV+zc3gRzurdchwrWoFsdAxS9C x0qg== ARC-Authentication-Results: i=1; mx.google.com; dkim=fail header.i=@infradead.org header.s=merlin.20170209 header.b=NOYfAHJA; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id l7si115456edn.510.2020.07.24.01.39.55; Fri, 24 Jul 2020 01:40:17 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=fail header.i=@infradead.org header.s=merlin.20170209 header.b=NOYfAHJA; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1726994AbgGXIjd (ORCPT + 99 others); Fri, 24 Jul 2020 04:39:33 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:48822 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726591AbgGXIjd (ORCPT ); Fri, 24 Jul 2020 04:39:33 -0400 Received: from merlin.infradead.org (merlin.infradead.org [IPv6:2001:8b0:10b:1231::1]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 02E54C0619D3; Fri, 24 Jul 2020 01:39:33 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=infradead.org; s=merlin.20170209; h=In-Reply-To:Content-Type:MIME-Version: References:Message-ID:Subject:Cc:To:From:Date:Sender:Reply-To: Content-Transfer-Encoding:Content-ID:Content-Description; bh=kXKoci4B8YFJHJ87vnIjv2pljX59x+0imMdXpdyFpys=; b=NOYfAHJA8hb2Qu9M1EZf7yK6p7 oAGUnuV0K8ZPNz8luha/UDR+MErxMNAsWl7tyldtKpLUEwE4KadkV1OvV8ilFUkYfZv7TJDdWESXn Bv0lYR1TyldeSGNn6nqqTTdrfXbGEHkz16ZQotN57YyMlCtyfCYs8H/QUAYA7Ijl5XI/GdPPWRpDS ZxBMqC+t8TFI9+IbyUCahfq8OvwYopWJdFXLG3R/cAhza18nt8WFjZxkyj1Zv9/ixuRtO3dE5CuIq b6t8COU0aCgQqeI4ABEpLc2zmYb+zVUdj63R2WJ0o57i6FXxl1AVlF9Kq01eWxBV9EDuYkpKZErXZ jVD9r4Gg==; Received: from j217100.upc-j.chello.nl ([24.132.217.100] helo=noisy.programming.kicks-ass.net) by merlin.infradead.org with esmtpsa (Exim 4.92.3 #3 (Red Hat Linux)) id 1jytEi-0000RG-O8; Fri, 24 Jul 2020 08:39:25 +0000 Received: from hirez.programming.kicks-ass.net (hirez.programming.kicks-ass.net [192.168.1.225]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by noisy.programming.kicks-ass.net (Postfix) with ESMTPS id 8C4C430768E; Fri, 24 Jul 2020 10:39:20 +0200 (CEST) Received: by hirez.programming.kicks-ass.net (Postfix, from userid 1000) id 5B86925942EE1; Fri, 24 Jul 2020 10:39:20 +0200 (CEST) Date: Fri, 24 Jul 2020 10:39:20 +0200 From: Peter Zijlstra To: Marco Elver Cc: paulmck@kernel.org, will@kernel.org, arnd@arndb.de, mark.rutland@arm.com, dvyukov@google.com, glider@google.com, kasan-dev@googlegroups.com, linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org Subject: Re: [PATCH v2 0/8] kcsan: Compound read-write instrumentation Message-ID: <20200724083920.GV10769@hirez.programming.kicks-ass.net> References: <20200724070008.1389205-1-elver@google.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20200724070008.1389205-1-elver@google.com> Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Fri, Jul 24, 2020 at 09:00:00AM +0200, Marco Elver wrote: > Marco Elver (8): > kcsan: Support compounded read-write instrumentation > objtool, kcsan: Add __tsan_read_write to uaccess whitelist > kcsan: Skew delay to be longer for certain access types > kcsan: Add missing CONFIG_KCSAN_IGNORE_ATOMICS checks > kcsan: Test support for compound instrumentation > instrumented.h: Introduce read-write instrumentation hooks > asm-generic/bitops: Use instrument_read_write() where appropriate > locking/atomics: Use read-write instrumentation for atomic RMWs Looks good to me, Acked-by: Peter Zijlstra (Intel)