Received: by 2002:a05:7412:e794:b0:fa:551:50a7 with SMTP id o20csp1277578rdd; Wed, 10 Jan 2024 14:34:53 -0800 (PST) X-Google-Smtp-Source: AGHT+IHJii2GkcOJbAzCCSwXHMbdRYCcFpsVyMgy02SiG3otlbbxbLS/8FAvMUn8ReNria4NLnIH X-Received: by 2002:a05:620a:2488:b0:781:107e:318b with SMTP id i8-20020a05620a248800b00781107e318bmr375517qkn.127.1704926093310; Wed, 10 Jan 2024 14:34:53 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1704926093; cv=none; d=google.com; s=arc-20160816; b=UCp4vEdogCy9jJnyf2s+ThjQ6v7Hx9rX5fpJTiaJzzKOjOTS+4CIMO+n9AvR6Nn9q/ 2uRGJe6xM3t7PJfohG6Bafx0kLcQKso1LOP1rUovvB3F5Rll8Ubw6V4haFlDAXwGcecE J8mYMyb/KYY7h4r+mxeq5D65lvsfWb0MMk78dOvCHBvxUTCVoF7H5F7y1MQo7OMpY+ri OUKwZ/6rYv93jksH1x0Yeu40HOEA3p0+LSNWPw//UZuGjx8q8XroAT7SWeEGc0ejVnV1 Nur8mszXIe0TXJLZT9c+D+Wr2VerbYZ1ttNUEgSAe4gAPz560Nr5cJFNyelTz/MCbRtJ zSLQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=in-reply-to:content-disposition:mime-version:list-unsubscribe :list-subscribe:list-id:precedence:references:message-id:subject:cc :to:from:date:dkim-signature; bh=amcLJqpm9QgZcs/rA3fHaBICgItRkDbfb+YSi8eii8Y=; fh=DO4dZOGY+pulCt8t3waqgqqLgkVqrPTtIDY9JEoCygE=; b=BjZ+4tDBSrdidkko8s0w03vt7gnIschwwS/0pLmrCFUeml4hisMJcS0FCtxA1BxNfM vRc0G8T/AAPqTm8rthzhfk8/nwA7l1ckcN1NJKL989NXJPPZHiZhoZJKz0sdWhDasQSJ FztSAYyuT75Inq7E5awoHpyAg4Jn2kjITYrGzh+P74miBRvOFLa4Wrgqxal+GsrkVQ0t nEuJFfg2CrEGQ4rfdJ4L2FNZsrkjuxmuhGKp8/Yfk4fOAXxXAK986+TZm/7aKcn+WJWW KTFqHeJSivxHpnWdjK9EUN8vu3yf/BIe5588BtnyFUfzDXFc5lJcbMhrTFDfULcHkJ6C NbSg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=di8EUN5x; spf=pass (google.com: domain of linux-kernel+bounces-22854-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45d1:ec00::1 as permitted sender) smtp.mailfrom="linux-kernel+bounces-22854-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from ny.mirrors.kernel.org (ny.mirrors.kernel.org. [2604:1380:45d1:ec00::1]) by mx.google.com with ESMTPS id c2-20020ae9e202000000b0078328a8b165si4707731qkc.442.2024.01.10.14.34.53 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 10 Jan 2024 14:34:53 -0800 (PST) Received-SPF: pass (google.com: domain of linux-kernel+bounces-22854-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45d1:ec00::1 as permitted sender) client-ip=2604:1380:45d1:ec00::1; Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com header.s=20230601 header.b=di8EUN5x; spf=pass (google.com: domain of linux-kernel+bounces-22854-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45d1:ec00::1 as permitted sender) smtp.mailfrom="linux-kernel+bounces-22854-linux.lists.archive=gmail.com@vger.kernel.org"; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: from smtp.subspace.kernel.org (wormhole.subspace.kernel.org [52.25.139.140]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ny.mirrors.kernel.org (Postfix) with ESMTPS id 0D8A01C225E6 for ; Wed, 10 Jan 2024 22:34:53 +0000 (UTC) Received: from localhost.localdomain (localhost.localdomain [127.0.0.1]) by smtp.subspace.kernel.org (Postfix) with ESMTP id 7B2334EB41; Wed, 10 Jan 2024 22:34:41 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="di8EUN5x" Received: from mail-ed1-f41.google.com (mail-ed1-f41.google.com [209.85.208.41]) (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 2E5CC3FB3D; Wed, 10 Jan 2024 22:34:38 +0000 (UTC) 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 Received: by mail-ed1-f41.google.com with SMTP id 4fb4d7f45d1cf-5582796b85bso1904842a12.2; Wed, 10 Jan 2024 14:34:38 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1704926077; x=1705530877; 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=amcLJqpm9QgZcs/rA3fHaBICgItRkDbfb+YSi8eii8Y=; b=di8EUN5xGpXQM9TeXLhjsRKaXAVeJLwTsyIiIviHtWX+FUU1R3Q8gtm9qf9oNAenZa Bz05gXi48AxC1WhDufga9gxuL2SVBonnd9EWc6Q1/JUfdaZgt81tlsAoX5McEWVTLjK7 5V8cwgnkVYcmBwgiwZgZUU8zhyHvw+VLpS3l8/NqMuVpBC8/DWTAgS79ffn3TgIGmx0x gWWK8+eS1HcpLPn4B0jH0dcpG9NisylDvB91MgWiX0RD99Nua6vB2yv94MLcO2va80Uu cUX4Tld393REhHgLsKhwHWmsbM3G5FS8q2vwmSlZQtZR6DiJ+T63KXLHXU9soeT9VSYA zbHQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1704926077; x=1705530877; 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=amcLJqpm9QgZcs/rA3fHaBICgItRkDbfb+YSi8eii8Y=; b=YHCEJCYD8kdBO+oryh8eVTetdXimh5WivRx4VrPW4WzG787k4YpOqDebR7HGJdLR29 WClWIIAiaYRpXYnFQ5o9yXtRA8RT+qsSAInwaeysyZ1H9tVRSaXkYe/bU0WKz7oyXhU2 eg2sLMaFAPmNjVsBwfbZS1eYLWbsUXlSnB1AKzQ9PYsOyeRWZTL0DoH240O4fZEO6vJV GE5alOt0d9OP9F9wrohxcDD607p/FAfADz/XSTqQT41DLScr07TjNF5HiNdAzXdpscKx tcy8qeu7EXI+1zK6vILIvgnTxEPU4XO36wluKfGeBwa1lox/NAIeQqVxptPwOnvmLP5J lchw== X-Gm-Message-State: AOJu0YxVGqr7mboj+nLFg8nwXA8niUbAm2Izufjr799fiOPG+zVoPfte p/ujIr1IbaSknboAcyZ1DhP7mwTRLaYAmQ== X-Received: by 2002:a17:906:1e:b0:a25:1acc:ff45 with SMTP id 30-20020a170906001e00b00a251accff45mr115159eja.143.1704926077219; Wed, 10 Jan 2024 14:34:37 -0800 (PST) Received: from andrea ([31.189.29.12]) by smtp.gmail.com with ESMTPSA id kt10-20020a170906aaca00b00a27a6d59045sm2493815ejb.217.2024.01.10.14.34.35 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 10 Jan 2024 14:34:36 -0800 (PST) Date: Wed, 10 Jan 2024 23:34:32 +0100 From: Andrea Parri To: Stefan O'Rear Cc: paul.walmsley@sifive.com, Palmer Dabbelt , Albert Ou , mathieu.desnoyers@efficios.com, paulmck@kernel.org, Jonathan Corbet , mmaas@google.com, Hans Boehm , striker@us.ibm.com, charlie@rivosinc.com, rehn@rivosinc.com, linux-riscv@lists.infradead.org, linux-doc@vger.kernel.org, linux-kernel@vger.kernel.org Subject: Re: [PATCH v3 4/4] membarrier: riscv: Provide core serializing command Message-ID: References: <20240110145533.60234-1-parri.andrea@gmail.com> <20240110145533.60234-5-parri.andrea@gmail.com> Precedence: bulk X-Mailing-List: linux-kernel@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: Hi Stefan, > "core serialization" is a meaningless sequence of words for RISC-V users, The expression is inherited from MEMBARRIER(2). Quoting from the RFC discussion (cf. [3] in the cover letter), "RISC-V does not have "core serializing instructions", meaning that there is no occurence of such a term in the RISC-V ISA. The discussion and git history about the SYNC_CORE command suggested the implementation below: a FENCE.I instruction [...]" > The feature seems useful, but it should document what it does using > terminology actually used in the RISC-V specifications. In _current RISC-V parlance, it's pretty clear: we are doing FENCE.I. As Palmer and others mentioned in the RFC, there're proposals for ISA extensions aiming to "replace" FENCE.I, but those are still WIP. (*) Andrea (*) https://github.com/riscv/riscv-j-extension