From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-ej1-f50.google.com (mail-ej1-f50.google.com [209.85.218.50]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id DF2CC1A8C0C; Wed, 31 Jul 2024 10:34:02 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.218.50 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1722422044; cv=none; b=JZ5ZFf8LhH5Uqexu3azHK/kwtG7BE6kXXw2NVyk72Q2fldVphRGNXetn4t2pX264BUvQMGhrwua7D6qYNIs8X8UQgDebDc/6TLkPAYt6I+w0euqsOWnGLahUdiKGXgUSg/NiAYJmIAczfSXRwLCkivBihCB6R9gY8Hz++4+QOXU= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1722422044; c=relaxed/simple; bh=PZzuAyXiUv8r4B/pgnrvblJtFU3x1w1b4ERBRW/6Ueo=; h=Date:From:To:Cc:Subject:Message-ID:References:MIME-Version: Content-Type:Content-Disposition:In-Reply-To; b=PwsufFvC/EAHU3m1uZMaD7jS1GNiuLRc7S8WNV3YtzeVvUYvRoo+XDz/+M/NXZ/0UHpcAPs9XPl0SHUjQE7jISVmCJCR/Iql7jpD3mNCB+Ic6UKZjSW2AxLTgexx1g61JhmKP6a0dgyIGA5LHUF508MPgqC6Qw7DzcCo8pF9sIU= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com; spf=pass smtp.mailfrom=gmail.com; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b=DlxfEDsb; arc=none smtp.client-ip=209.85.218.50 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=gmail.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=gmail.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="DlxfEDsb" Received: by mail-ej1-f50.google.com with SMTP id a640c23a62f3a-a7ad02501c3so699227266b.2; Wed, 31 Jul 2024 03:34:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1722422041; x=1723026841; darn=vger.kernel.org; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=oIFp8Khg+4GQ8fLs2YKk+HJiIw5dPfegAQ5FPEevMKg=; b=DlxfEDsbOwFI9TgKSlMLkaQ8k8VTLqzvgHDrqT1+KBI8plaXKLBaHmy2oKpQLFCPvy 83V978BZfrapR9I630W0tby9cEvX0GIxb3Pi6Z10QXnP2mzNegzl9e8cXwiEruAAXWlw HHafpFMTCyzMbflIPDy2FvE2x3Pg/C67supPo9Fvtg58BdkqtdDwAIz1t7euh8797koK BXDB2lhhqTvcbKEW5I8pyrJuP7NMA2i33TS6UmeyqjNiSveQ/qGit19kl2ckRkaRlfZC QwZYRK+knMt/l0KFWMj3utluam8FDR+6zmGzxYv4v/sfOyPu21y4v456VUX9DVTzfWJY r0xQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1722422041; x=1723026841; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=oIFp8Khg+4GQ8fLs2YKk+HJiIw5dPfegAQ5FPEevMKg=; b=PE8gsS29fcoX+6VbpXaJm8lNHfBSsyXGMLkLwghBj5TKdhfC+CBFwYUeJU7LeK4dMc 8XPdfeClfPWQVBvDjjSrQ65+4DukCO8YxjBu/CWaugSDrdWK9YVmhtuZR/rtbcHvhpru eLwp2k6S/oO3LOLksQ5wZ4yolx8JA2GMZisna/SRPNnxv9mtBo/LOLYWqhulLw8AZdt+ RCyNU5plDTxLlCrGS8yMgqWYwGANmOKaluMoIZ40YlWZ6ckxoWuAWOA8zQP4h2RjgyvW Ua74gpCpN2BIUQRgqPYzd8g7Nnqn6uJfk46zggTim8J/h2/MeIIlo1vg0TtMNFd39uYL V6eg== X-Forwarded-Encrypted: i=1; AJvYcCWWHa87aNB4obqOPMX9pWTAG69aHHIPatKt9z45D0EqqPLpHTPl/MySqSZtM1YWRuPFMu77mRMHNFAzmz2gsmJu6bYkpoEs+Kn5gNjlGIxf/r6Xn+hzea1baOs1Y4yeAi/3AWoOu+QadOoXHa/6SSEteTmYV/nC8UCKnjGBpZDMFAbxcrq6sRneaJe+9FF5fCLzoUVSmxGAvvGOa0DrACk= X-Gm-Message-State: AOJu0YxtGaYb/3I/78noPqiNByot98P2sv+BWSanyTTTNRTHNMNVJJE8 POIt38UJGQMoefLrm41I3wWUy8Fx12tHqSz2IQhjcEb45+CL8bWJ X-Google-Smtp-Source: AGHT+IEpqCSb1HZgZrXNMIPoeWCsJDQXhX0oT/7sHA7gK0E/DdB+OsIPbj442pW7/EMYL6tZ0sMreg== X-Received: by 2002:a17:906:c10f:b0:a72:aeff:dfed with SMTP id a640c23a62f3a-a7d400dd249mr1048974566b.53.1722422040620; Wed, 31 Jul 2024 03:34:00 -0700 (PDT) Received: from andrea ([151.76.3.213]) by smtp.gmail.com with ESMTPSA id a640c23a62f3a-a7acad9046fsm760828166b.147.2024.07.31.03.33.58 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 31 Jul 2024 03:33:59 -0700 (PDT) Date: Wed, 31 Jul 2024 12:33:54 +0200 From: Andrea Parri To: Andrew Jones Cc: Alexandre Ghiti , Jonathan Corbet , Paul Walmsley , Palmer Dabbelt , Albert Ou , Conor Dooley , Rob Herring , Krzysztof Kozlowski , Nathan Chancellor , Peter Zijlstra , Ingo Molnar , Will Deacon , Waiman Long , Boqun Feng , Arnd Bergmann , Leonardo Bras , Guo Ren , linux-doc@vger.kernel.org, devicetree@vger.kernel.org, linux-kernel@vger.kernel.org, linux-riscv@lists.infradead.org, linux-arch@vger.kernel.org, Andrea Parri Subject: Re: [PATCH v4 06/13] riscv: Improve zacas fully-ordered cmpxchg() Message-ID: References: <20240731072405.197046-1-alexghiti@rivosinc.com> <20240731072405.197046-7-alexghiti@rivosinc.com> <20240731-260cce60e1a6cd06670d1b24@orel> Precedence: bulk X-Mailing-List: linux-arch@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20240731-260cce60e1a6cd06670d1b24@orel> > > amocas.X.aqrl a5,a4,(s1) > > We won't get release semantics if the exchange fails. Does that matter? Conditional (atomic) RMW operations are unordered/relaxed on failure, so we should be okay here; cf. e.g. Documentation/atomic_t.txt. Andrea 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 Received: from bombadil.infradead.org (bombadil.infradead.org [198.137.202.133]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.lore.kernel.org (Postfix) with ESMTPS id 7D7FEC3DA64 for ; Wed, 31 Jul 2024 10:35:51 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lists.infradead.org; s=bombadil.20210309; h=Sender: Content-Transfer-Encoding:Content-Type:List-Subscribe:List-Help:List-Post: List-Archive:List-Unsubscribe:List-Id:In-Reply-To:MIME-Version:References: Message-ID:Subject:Cc:To:From:Date:Reply-To:Content-ID:Content-Description: Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: List-Owner; bh=LBUPt0g5DY0xNaaE5qsnTmIoF5lJjVDQ6l+ZL8JOU9Y=; b=eIlVMIJmwUZQrt WQblji9J/aF3WAjTcmJ4aqRvp6ME5iPKWx7dqLinN0/IgLUSOKoDgzLoh2dnbjIHKjP8zpFq43ZgH UOsDlhw6M2Uxr2+89sYyfgq4KuPAnnKSV5DPVGtsvyYqaa1SMGSJ++rPUYpS2FyxS37SObgFkEbVJ LX3l8qSGDwb+3nOualbX29pYn+RWSG0rhUGpc01gI4pNtn3wjy7W4VG4OGONemaDa4G0WEV0BFQVE 7yoJWDiXwnmdUO7mKHLwT+3OQt8fp8KV7Gm49kePZDXRL6aK3pk5Nd/HYA0hbPiD2IHtEQ0Aww3/U N5Z6hkYv+vlspIITOWlw==; Received: from localhost ([::1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.97.1 #2 (Red Hat Linux)) id 1sZ6gJ-00000000k5B-1b4U; Wed, 31 Jul 2024 10:35:43 +0000 Received: from mail-ed1-x52c.google.com ([2a00:1450:4864:20::52c]) by bombadil.infradead.org with esmtps (Exim 4.97.1 #2 (Red Hat Linux)) id 1sZ6eh-00000000jmN-3Mkr for linux-riscv@lists.infradead.org; Wed, 31 Jul 2024 10:35:41 +0000 Received: by mail-ed1-x52c.google.com with SMTP id 4fb4d7f45d1cf-5a2a90243c9so6755535a12.0 for ; Wed, 31 Jul 2024 03:34:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1722422041; x=1723026841; darn=lists.infradead.org; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:from:to:cc:subject:date:message-id:reply-to; bh=oIFp8Khg+4GQ8fLs2YKk+HJiIw5dPfegAQ5FPEevMKg=; b=VWMioLwjj6+M0qMQVDgY+VM8AAwwlWToAf0gHzzNRZ6ruaj06F/WAQkmX1VqNra0b+ ambaX28dQxlFW22FHV6IEn8Z15GY38xyBvCbSHQ5irDdkQPLQaFOg+Tuu5vU5BGGG53m GJSX96lP5zGMMLMGcso9hw9Q/i5GN3JFg37QC6Xfg+bCeoW6pF02kJ+OT9pUYpVMthJY Qe1ZzM8e1piXaUs/Ga+kWYGVO6tUUbRqR1M/xP3/ZFISFcOremkvtc3LEs+9RTip1Cqd hxwvgB1oerv3T7Cdv8u49I37YDI7XO+5B+IT35gk4oBTnZ+JrWKmAoCOMZbG9YXnuUeE xOsA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1722422041; x=1723026841; h=in-reply-to:content-disposition:mime-version:references:message-id :subject:cc:to:from:date:x-gm-message-state:from:to:cc:subject:date :message-id:reply-to; bh=oIFp8Khg+4GQ8fLs2YKk+HJiIw5dPfegAQ5FPEevMKg=; b=JIwRO0Y5kMLonCeaxihtbH4RrIFLbyC0bhkU69ovgwm7lyk6z+ytzzyqoTwe/CwpG3 92LRm0iavYXbHuu1aEYCa1tqBRsnaDRW17Ai2RDKcUI5CR6l6cxgGosV3FXkyl2zsrMU V3m/7wW0nkjEkSpVc61E3mNW8JqX+sAZWiqYOa4hQ796qO8V89bzot88VNfY0ey3dkf2 9DMrcc+51Mc4IS8TyANERX8Eb9QPoeUjpWifFkOQhVKTbSVX8pcev9wCHln3tz7gIq7M ewFFVjQIXEyPU5zq7cjv5ORbhaO2umGXQWnlTlTLGsO7XFgSPy525ApOoQmvVRhYQ8cG 3s9g== X-Forwarded-Encrypted: i=1; AJvYcCVbLZtFaTRzgA3Hxweei0h5kQ/vtOt96/YJ2dJu7y9kq1+eBUTtUYe6lbGhN5cvz7ntRooURRFuq5pcXta1BtL7CVHFJtySrvvpjgzVkrWi X-Gm-Message-State: AOJu0YymE+fLcRF9Rc459paCVAAHpeSb/1R3B5AzicnHS8jH3yPLS8ic G5CX/UHqpX6a/h80/YOR9r8ClnvtvNm6DrYtexJ4ovIVJmNWeH6L X-Google-Smtp-Source: AGHT+IEpqCSb1HZgZrXNMIPoeWCsJDQXhX0oT/7sHA7gK0E/DdB+OsIPbj442pW7/EMYL6tZ0sMreg== X-Received: by 2002:a17:906:c10f:b0:a72:aeff:dfed with SMTP id a640c23a62f3a-a7d400dd249mr1048974566b.53.1722422040620; Wed, 31 Jul 2024 03:34:00 -0700 (PDT) Received: from andrea ([151.76.3.213]) by smtp.gmail.com with ESMTPSA id a640c23a62f3a-a7acad9046fsm760828166b.147.2024.07.31.03.33.58 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 31 Jul 2024 03:33:59 -0700 (PDT) Date: Wed, 31 Jul 2024 12:33:54 +0200 From: Andrea Parri To: Andrew Jones Cc: Alexandre Ghiti , Jonathan Corbet , Paul Walmsley , Palmer Dabbelt , Albert Ou , Conor Dooley , Rob Herring , Krzysztof Kozlowski , Nathan Chancellor , Peter Zijlstra , Ingo Molnar , Will Deacon , Waiman Long , Boqun Feng , Arnd Bergmann , Leonardo Bras , Guo Ren , linux-doc@vger.kernel.org, devicetree@vger.kernel.org, linux-kernel@vger.kernel.org, linux-riscv@lists.infradead.org, linux-arch@vger.kernel.org, Andrea Parri Subject: Re: [PATCH v4 06/13] riscv: Improve zacas fully-ordered cmpxchg() Message-ID: References: <20240731072405.197046-1-alexghiti@rivosinc.com> <20240731072405.197046-7-alexghiti@rivosinc.com> <20240731-260cce60e1a6cd06670d1b24@orel> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: <20240731-260cce60e1a6cd06670d1b24@orel> X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20240731_033403_864596_3D23EF5F X-CRM114-Status: UNSURE ( 8.33 ) X-CRM114-Notice: Please train this message. X-BeenThere: linux-riscv@lists.infradead.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Sender: "linux-riscv" Errors-To: linux-riscv-bounces+linux-riscv=archiver.kernel.org@lists.infradead.org > > amocas.X.aqrl a5,a4,(s1) > > We won't get release semantics if the exchange fails. Does that matter? Conditional (atomic) RMW operations are unordered/relaxed on failure, so we should be okay here; cf. e.g. Documentation/atomic_t.txt. Andrea _______________________________________________ linux-riscv mailing list linux-riscv@lists.infradead.org http://lists.infradead.org/mailman/listinfo/linux-riscv