Received: by 2002:a05:6a10:a0d1:0:0:0:0 with SMTP id j17csp329603pxa; Fri, 14 Aug 2020 05:40:02 -0700 (PDT) X-Google-Smtp-Source: ABdhPJzEGK9LBz2DpuAd59gUUw64RcgzrYntrxN0s1wJ6SpzDyeYCmeQxoDfTqnMj0mYvzVAXsiF X-Received: by 2002:a50:d9c6:: with SMTP id x6mr2110512edj.56.1597408801999; Fri, 14 Aug 2020 05:40:01 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1597408801; cv=none; d=google.com; s=arc-20160816; b=GUyZCF+vNWV+QJwdCBYMkIoLccX+/80tLtINIiJP3kV8uYwS3gvsTqQ6xrwyb74Aq/ MLvagL4+q/8gWZTeAy8v9ibcKF2SkZjfpRMEjhQzgPkMl/2nEpEDo0sfshbu23bnb3Cx aKaWdTjzOjrmjca9EBX7G3zy08Qp+9ndd5WOtUtS/ngQ/nqSSsyW0MxbfEgh517Gx1QI tBCc6enbtl5Wav+9xHMYwJVS5Ou9FAb99CJrf4VPu0LQTdrr6HmjKCR4GWF1Dq09s2j9 UV384h0FRgp6Ulavzc5brfdI3KeHZS9mWGMCg/uw/GjGOOjsnHojMtnT+MYUHLMa1yDZ yBww== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:dkim-signature; bh=JH6kRqU1JrNcyy+wqdaUc+Qi4AywqVy9VYsywI2jKC4=; b=MGkpUcgfKFlnUCsp6otllmwKXMLKwaquQVdycpDQSp7fs0ZKOnvhe4jsVB9FhFw+tw OrMkyDnEepbL3ef4T1pQ2xG2D2CF34kfUpbxXpKxv0ptCYjeO/KP5DJIbytnL14JxnUo M5mLPaqBzlagPX0ybbkdctvsfj0dPlh01/wOWXyDjuHWGaSQowRdHQzh21Etik7q1d31 PkjO/yfI0KiMBGmk4rrpri963bZWJdcxSLR/6ULYwyS0Nwq0UpzOAhVSPd5A8r/LDksD 0hmPy1LMraPiIZ4Wmd9cIWh+vVeZgrInT6/3Fspw5H5GCDrRSB4QA08FwtLyVI4WFJts 9NUg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@google.com header.s=20161025 header.b=Hu6Nw7Hu; 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; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id b6si5755074ejb.68.2020.08.14.05.39.36; Fri, 14 Aug 2020 05:40:01 -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=pass header.i=@google.com header.s=20161025 header.b=Hu6Nw7Hu; 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; dmarc=pass (p=REJECT sp=REJECT dis=NONE) header.from=google.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1726656AbgHNL7V (ORCPT + 99 others); Fri, 14 Aug 2020 07:59:21 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:42752 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726185AbgHNL7U (ORCPT ); Fri, 14 Aug 2020 07:59:20 -0400 Received: from mail-ot1-x342.google.com (mail-ot1-x342.google.com [IPv6:2607:f8b0:4864:20::342]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 7AA4DC061385 for ; Fri, 14 Aug 2020 04:59:20 -0700 (PDT) Received: by mail-ot1-x342.google.com with SMTP id v6so7308219ota.13 for ; Fri, 14 Aug 2020 04:59:20 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=JH6kRqU1JrNcyy+wqdaUc+Qi4AywqVy9VYsywI2jKC4=; b=Hu6Nw7Hu8gfRjU0uxCY5ypd0wl/SaFstId/H02InWTfOh1qjNcvA7OEJQlw3IhBFYB ZbDdyVhOAJfmgJPLz3PmRAehofZkwiWforKlGlPfVZQIxs3eCEuX4V2gDHWHM3H641P9 5/95uaTUUeEsQV99+U2SeqIJMG+fs5/ppn/EFQP55KtLY079BqtlK164t0WVWA5OqFb5 1lDfFXlAbAxHW6RF3Iwt9D61belaN+pbNqJ2YQHi6R4ezzBMyWU1/2akcilZkTOMaK+x 9NcEVvBOT/kpSK5KK9wGBG+pRvyZhrhPX+tolqxoNe1i5ESpRXzLfnkuMa1GsLGkrNPc yiWw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=JH6kRqU1JrNcyy+wqdaUc+Qi4AywqVy9VYsywI2jKC4=; b=E832+lCTVYW6EF1fyG1sJxS+cr1PD1kIfRLRP0Uv1eGlJfi+OVUEkny9NJTtitgkAp LBegcIXu2qrznzdOS9hsxGjR9elzQZOc9GE+r0EtGlGu0kQSGRl2hBdMUhUAsPTCxHXn wEOmbZ3ObdfmU18YdkqnBmaVkqATvLw6415FU0Xi+uFComNy/0C7Cu316e5rFlQEN3mO vPKAotJHlR0TN2Ko+tJWXkbRqSDFf61kxcltsaDb8t06y0xs7zU+GflxFsaY4LoeZbje k94i9u8k1cubZVSPlDWNOeogQK/B/IDRDxIMLAHNQsUGMI8M7w6drKsiMrXL/u6lfw/U jm8A== X-Gm-Message-State: AOAM532ZslIQvakmi9e4+wQjbfa3WohoOFpiuy98fHIehAU8GJb5COa1 oN/XxG+55ynLsuO88S/hNSE023s/bHckRppBzm5vKA== X-Received: by 2002:a05:6830:1612:: with SMTP id g18mr1480092otr.251.1597406359387; Fri, 14 Aug 2020 04:59:19 -0700 (PDT) MIME-Version: 1.0 References: <20200721103016.3287832-1-elver@google.com> <20200721103016.3287832-9-elver@google.com> <20200721141859.GC10769@hirez.programming.kicks-ass.net> <20200814112826.GB68877@C02TD0UTHF1T.local> <20200814113149.GC68877@C02TD0UTHF1T.local> In-Reply-To: <20200814113149.GC68877@C02TD0UTHF1T.local> From: Marco Elver Date: Fri, 14 Aug 2020 13:59:08 +0200 Message-ID: Subject: Re: [PATCH 8/8] locking/atomics: Use read-write instrumentation for atomic RMWs To: Mark Rutland Cc: Peter Zijlstra , "Paul E. McKenney" , Will Deacon , Arnd Bergmann , Dmitry Vyukov , Alexander Potapenko , kasan-dev , LKML , linux-arch Content-Type: text/plain; charset="UTF-8" Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Fri, 14 Aug 2020 at 13:31, Mark Rutland wrote: > On Fri, Aug 14, 2020 at 12:28:26PM +0100, Mark Rutland wrote: > > Hi, > > > > Sorry to come to this rather late -- this comment equally applies to v2 > > so I'm replying here to have context. > > ... and now I see that was already applied, so please ignore this! Thank you for the comment anyway. If this is something urgent, we could send a separate patch to change. My argument in favour of keeping it as-is was that the alternative would throw away the "type" and we no longer recognize a difference between arguments (in fairness, currently not important though). If, say, we get an RMW that has a constant argument though, the current version would do the "right thing" as far as I can tell. Maybe I'm overly conservative here, but it saves us worrying about some future use-case breaking this more than before. Thanks, -- Marco