From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from vps0.lunn.ch (vps0.lunn.ch [156.67.10.101]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 978411E874; Sat, 23 Mar 2024 14:29:17 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=156.67.10.101 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1711204159; cv=none; b=T9vNIXE6gfeC2EyASw4DRvZqWG7gFBz/85wTE6St+I1d2kVNWknu0mVIplJbhGVf8i4pq8lfixtiLfGBAP7ZPrNWHj+NshLzOSbPPgp0g7EVtULQIw/2WAKS0mSF3JEb1ksOuFS8GNtJu3OeK042TFPI0FkvX+uhbma4SpjCQgw= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1711204159; c=relaxed/simple; bh=Vf3Ki5KFOy2siYPIWyuhLbB33Rou/nggnoSNXYb7wfo=; h=Date:From:To:Cc:Subject:Message-ID:References:MIME-Version: Content-Type:Content-Disposition:In-Reply-To; b=fTh3TpwjscDwfeazJjw9wJscIqOyIJ0OoMWxofItyPsoMWEAt46EYbMVnKqJLSMYjdfGDT9RFM8jSaeE7Mnh87tlOYhOQFCKUKUnlEkL62rBQh3Rzv9wHH21WCqi1vicR2pR/pKMpHUIaKioCf24zFPPeDhbl5p4ATe133Il7Qs= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=lunn.ch; spf=pass smtp.mailfrom=lunn.ch; dkim=pass (1024-bit key) header.d=lunn.ch header.i=@lunn.ch header.b=Mf0hVmSG; arc=none smtp.client-ip=156.67.10.101 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=lunn.ch Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=lunn.ch Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=lunn.ch header.i=@lunn.ch header.b="Mf0hVmSG" DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=lunn.ch; s=20171124; h=In-Reply-To:Content-Disposition:Content-Type:MIME-Version: References:Message-ID:Subject:Cc:To:From:Date:From:Sender:Reply-To:Subject: Date:Message-ID:To:Cc:MIME-Version:Content-Type:Content-Transfer-Encoding: Content-ID:Content-Description:Content-Disposition:In-Reply-To:References; bh=AoM3HmZClaxJG38nOrWcWbbaYD2IIxDQSWEp7f2xF/k=; b=Mf0hVmSGUlab2PeVIHjmmBTP54 QyP8Ui8GAM0irtmWbY7ZRxRd9lQ56jlc5JpiNFBCL3HgVVM9KN2K+tvYwCi5Lo9Hnf0vSHY1jhhAH pu3hVFw4jTw/rRL/ffl3S41yMM9d29QN419beU/A17jI8gWsJHXWn6N0d//0eUqriJyM=; Received: from andrew by vps0.lunn.ch with local (Exim 4.94.2) (envelope-from ) id 1ro2Mx-00B3Qr-LR; Sat, 23 Mar 2024 15:29:11 +0100 Date: Sat, 23 Mar 2024 15:29:11 +0100 From: Andrew Lunn To: Boqun Feng Cc: Kent Overstreet , rust-for-linux@vger.kernel.org, linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org, llvm@lists.linux.dev, Miguel Ojeda , Alex Gaynor , Wedson Almeida Filho , Gary Guo , =?iso-8859-1?Q?Bj=F6rn?= Roy Baron , Benno Lossin , Andreas Hindborg , Alice Ryhl , Alan Stern , Andrea Parri , Will Deacon , Peter Zijlstra , Nicholas Piggin , David Howells , Jade Alglave , Luc Maranget , "Paul E. McKenney" , Akira Yokosawa , Daniel Lustig , Joel Fernandes , Nathan Chancellor , Nick Desaulniers , kent.overstreet@gmail.com, Greg Kroah-Hartman , elver@google.com, Mark Rutland , Thomas Gleixner , Ingo Molnar , Borislav Petkov , Dave Hansen , x86@kernel.org, "H. Peter Anvin" , Catalin Marinas , torvalds@linux-foundation.org, linux-arm-kernel@lists.infradead.org, linux-fsdevel@vger.kernel.org Subject: Re: [WIP 0/3] Memory model and atomic API in Rust Message-ID: <03f629b6-1e4e-4689-9b69-db0b75577822@lunn.ch> References: <20240322233838.868874-1-boqun.feng@gmail.com> Precedence: bulk X-Mailing-List: rust-for-linux@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: > There are also issues like where one Rust thread does a store(.., > RELEASE), and a C thread does a rcu_deference(), in practice, it > probably works but no one works out (and no one would work out) a model > to describe such an interaction. Isn't that what Paul E. McKenney litmus tests are all about? tools/memory-model/litmus-test Andrew