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 4D59CC47DD9 for ; Wed, 27 Mar 2024 22:03:15 +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:To:References:Message-Id:Cc:Date: In-Reply-To:From:Subject:Mime-Version:Reply-To:Content-ID:Content-Description :Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: List-Owner; bh=GseOuo75ZVygAZyWzE0OvHIxPqqe6w8XQ1/2GOiY1Y8=; b=391s3/7nvWdw+O g8oEj0Gpkil3X+1QpL1ROhm3/so5oiPYf7Mix8PA57fSOcx2VDz6Z257B4WL0NFhX3gLVVbjDvKY4 dCMSq2wIah5eiOBICywLm+xcoeMmM2oWvJFNE485mxD2Mxr49CL7LRtXt1V/qSMVHVPbPHt7X+2G6 neFGizr7nyp6pDuOWmCDNidAL14t2Rceykac6wtTOdjBiUBMJMV8tfHQ1AB1ecG/WfxL0Hpau9ZsF vEvdYFnmqYET7Eqec4uRvG3r9/wsAZWc6vhINCcMIDPRedObWjsY77ZD3xrP/rSa1S6AigGHMmkmG LOvoALktTfC1unm7YO3Q==; Received: from localhost ([::1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.97.1 #2 (Red Hat Linux)) id 1rpbMK-0000000BKqH-38nL; Wed, 27 Mar 2024 22:03:01 +0000 Received: from mail-pl1-x62f.google.com ([2607:f8b0:4864:20::62f]) by bombadil.infradead.org with esmtps (Exim 4.97.1 #2 (Red Hat Linux)) id 1rpbMH-0000000BKp4-42WL for linux-arm-kernel@lists.infradead.org; Wed, 27 Mar 2024 22:02:59 +0000 Received: by mail-pl1-x62f.google.com with SMTP id d9443c01a7336-1e00d1e13a2so2766955ad.0 for ; Wed, 27 Mar 2024 15:02:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1711576976; x=1712181776; darn=lists.infradead.org; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=XxkaKw+rfpAE85eGdYCUsNCxHsvss1V9iaOZ0vj/Dtk=; b=HKZUnj+N+JKxlY9UWRYx7zfeWoEP/tPbtNJvquLn/hp3PNK6mYrJbMGwcidz0HIm5p ntbqukRCejR3yDN9zKMSB1ReFmDCitmZWYSXByJZeL5EUDOBc/uieDEyetBd3Puwc0Ly lfgfqj2Kap2zzR6w5RlBOlkiQKFgbRFa50RnTp6FA4EsgaY47cDlhAYhZ95OFXrXkkag QJjYNf+KIbKvtTe0S1RkqRjDr6Py5kuF8cky6U2y6JegDiSMX4Aa/IOM4NLjL7yKPh62 jCpdtOGdpAkeL+qvM5t9Lzke4G0y3IJzNNgWBTCWsgK6+0j5tBmeWIts9h0+A5ML9IX0 TcTg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1711576976; x=1712181776; h=to:references:message-id:content-transfer-encoding:cc:date :in-reply-to:from:subject:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=XxkaKw+rfpAE85eGdYCUsNCxHsvss1V9iaOZ0vj/Dtk=; b=pClsvaGV7whprxbwNmz2saDwBQKwv1GtN0yvWNFUugqa7JVAOyd9TnnXjEwooU1ZAR /ldUaLWGZh7Y0zHXtptXelhSGU6U16+fReMjRK1xEZvtAKsad+ZOfR5NHoERd91mjQj1 NPSuBBLSe7InTdTAnn0N+oPVENhIJRzba9pexlnafjCk19z3V2WRmwAMpgOuj1S4Eqnx 7vvpRjdHhaQU9AerbdqHDJzoCS5r7O8Yq5w0yCtNFw2JXOSw9WQiIFKEMFOnUMYp+mhG dJOnZOTVF/S4nP0RhtFRLIhcg+HkxqU+bb43r5BG7ubt65kFrYVtXL6LLrtxrE4L3QgE OCLA== X-Forwarded-Encrypted: i=1; AJvYcCXi0v6deyInbQFVGk9Gl/EvRZw9f6sZ43ujgulzbv7EC+qIUqDXpVsRF82/jYPJ8nQbmte1lfoig1hX6rSAMN1YF/P9+f2VzjmFn8GRVOglJVlmncA= X-Gm-Message-State: AOJu0YwX19C1ibiL46YHH56kwEOVTCatZVbDnc54zgN4Berl3H4cBLpG pSV3UNCG1KBQjNnxMnGlggx/F3TxhwY7hV4SZjay8E+brS9Krq5Q X-Google-Smtp-Source: AGHT+IFaDb6HlSC3POSY7TW5AUU1z57wmA9MdM0r0RpaOuimMWYaaCvmMKDgxeih3R65FO4kDbGvfA== X-Received: by 2002:a17:902:dad1:b0:1e1:1791:3681 with SMTP id q17-20020a170902dad100b001e117913681mr1131591plx.61.1711576976035; Wed, 27 Mar 2024 15:02:56 -0700 (PDT) Received: from smtpclient.apple ([2601:647:4d7e:dba0:5840:a196:2bf3:3600]) by smtp.gmail.com with ESMTPSA id n18-20020a170903111200b001db5fc51d71sm9469plh.160.2024.03.27.15.02.51 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 27 Mar 2024 15:02:55 -0700 (PDT) Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3774.500.171.1.1\)) Subject: Re: [WIP 0/3] Memory model and atomic API in Rust From: comex In-Reply-To: <5246D3E2-E503-40BA-9A72-1876BCF1186B@gmail.com> Date: Wed, 27 Mar 2024 15:02:41 -0700 Cc: Kent Overstreet , Linus Torvalds , "Dr. David Alan Gilbert" , Philipp Stanner , rust-for-linux , linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org, llvm@lists.linux.dev, Miguel Ojeda , Alex Gaynor , Wedson Almeida Filho , Gary Guo , =?utf-8?Q?Bj=C3=B6rn_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 , Marco Elver , Mark Rutland , Thomas Gleixner , Ingo Molnar , Borislav Petkov , Dave Hansen , x86@kernel.org, "H. Peter Anvin" , Catalin Marinas , linux-arm-kernel@lists.infradead.org, linux-fsdevel@vger.kernel.org Message-Id: <041BE680-1715-4C9A-BBEE-7547108F04BD@gmail.com> References: <160DB953-1588-418E-A490-381009CD8DE0@gmail.com> <5246D3E2-E503-40BA-9A72-1876BCF1186B@gmail.com> To: Boqun Feng X-Mailer: Apple Mail (2.3774.500.171.1.1) X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20240327_150258_048743_5409FDC4 X-CRM114-Status: GOOD ( 15.37 ) X-BeenThere: linux-arm-kernel@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="utf-8" Content-Transfer-Encoding: base64 Sender: "linux-arm-kernel" Errors-To: linux-arm-kernel-bounces+linux-arm-kernel=archiver.kernel.org@lists.infradead.org Cgo+IE9uIE1hciAyNywgMjAyNCwgYXQgMjo1NuKAr1BNLCBjb21leCA8Y29tZXhrQGdtYWlsLmNv bT4gd3JvdGU6Cj4gCj4gUmlnaHQuICBXaGVuIEkgc2FpZCDigJxzdHJpY3QgYWxpYXNpbmfigJ0g SSBtZWFudCB0eXBlLWJhc2VkIGFsaWFzaW5nIHJ1bGVzLCB3aGljaCBpcyB3aGF0IEdDQyBjYWxs cyDigJxzdHJpY3QgYWxpYXNpbmciLiAgQnV0IFJ1c3QgZG9lcyBoYXZlIHN0cmljdGVyIGFsaWFz aW5nIHJ1bGVzIHRoYW4gQyBpbiBhIGRpZmZlcmVudCB3YXkuICBCb3RoIG11dGFibGUgYW5kIGlt bXV0YWJsZSByZWZlcmVuY2VzIGFyZSBhbm5vdGF0ZWQgd2l0aCBMTFZNIGBub2FsaWFzYCBieSBk ZWZhdWx0LCBlcXVpdmFsZW50IHRvIEMgYHJlc3RyaWN0YC4KCuKApm9vcHMsIHRoaXMgc2hvdWxk IHNheSDigJxyZWZlcmVuY2UtdHlwZWQgZnVuY3Rpb24gcGFyYW1ldGVyc+KAnS4KCj4gT24gTWFy IDI3LCAyMDI0LCBhdCAyOjQ54oCvUE0sIEtlbnQgT3ZlcnN0cmVldCA8a2VudC5vdmVyc3RyZWV0 QGxpbnV4LmRldj4gd3JvdGU6Cj4gCj4gVGhhdCdzIG5vdCByZWFsbHkgYSB3b3JrYWJsZSBydWxl IGJlY2F1c2UgaW4gcHJhY3RpY2UgZXZlcnkgZGF0YQo+IHN0cnVjdHVyZSBoYXMgdW5zYWZlIFJ1 c3QgdW5kZXJuZWF0aC4gU3RyaWN0IGFsaWFzaW5nIHdvdWxkIG1lYW4gdGhhdAo+IHVuc2FmZSBS dXN0IHZlcnkgbXVjaCBoYXMgdG8gZm9sbG93IHRoZSBhbGlhc2luZyBydWxlcyB0b28uCgoKVGhl cmUgaGF2ZSBpbmRlZWQgYmVlbiBhIGxvdCBvZiBpc3N1ZXMgd2hlcmUgc29tZSBpbm5vY2VudC1z ZWVtaW5nIHBpZWNlIG9mIHVuc2FmZSBSdXN0IHR1cm5zIG91dCB0byB2aW9sYXRlIHRoZSByZWZl cmVuY2UgYWxpYXNpbmcgcnVsZXMuICBNaXJpIGhlbHBzIChpdOKAmXMgYSB0b29sIHRoYXQgY2Fu IGRldGVjdCB2aW9sYXRpb25zIGF0IHJ1bnRpbWUpLCBhbmQgdGhlcmUgaGF2ZSBiZWVuIGF0dGVt cHRzIHRvIGxvb3NlbiB0aGUgcnVsZXMgd2hlcmUgcG9zc2libGUuICBCdXQgaXQgaXMgZGVmaW5p dGVseSBhIGNhc2Ugd2hlcmUgUnVzdOKAmXMgVUIgcnVsZXMgYXJlIG1vcmUgc3VidGxlIHRoYW4g b25lIHdvdWxkIGxpa2UuICBBdCBsZWFzdCBpdCBvbmx5IGFwcGxpZXMgdG8gdW5zYWZlIGNvZGUu Cl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCmxpbnV4LWFy bS1rZXJuZWwgbWFpbGluZyBsaXN0CmxpbnV4LWFybS1rZXJuZWxAbGlzdHMuaW5mcmFkZWFkLm9y ZwpodHRwOi8vbGlzdHMuaW5mcmFkZWFkLm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xpbnV4LWFybS1r ZXJuZWwK