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 8829BC6FD1F for ; Sun, 24 Mar 2024 17:37:43 +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=JIXZR+IyRmeNIFLyiI+ElC/A5SCf145f+C8s1Ktb/GI=; b=JbHzc2gyi2aeRt G1ltSsTRa8HkOMgL/Lvts20vcDWY651B4BdSxmgpyXQw9QqZy3wHAzb9oRSmv0RFIgnIGTQwLD/NW Wa1nOg1iw6gda2zMjoXNAOI1EIWiEhTi/ewtgMDK4lyYT9Ky4fmgbkld1PL/akKbrvAHfQ/7Z630J IDqQf/3yHs+sBPXCCVRbwtiD/L4EX06QZ3lY9kI8JfkRtYujZGRLSgBb05hMcmfY/eCvSxGUTvYPj r04kYTNWNd+qoXOXRj5tlASJa3aIjf7MiDt+XklLmxz/QSC93BtUDMSK/apjzSiG10cdQjuV+VhL+ 8JR6dePI6wDi8w8kEJ/A==; Received: from localhost ([::1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.97.1 #2 (Red Hat Linux)) id 1roRmf-0000000D6kr-1WIM; Sun, 24 Mar 2024 17:37:25 +0000 Received: from mail-qk1-x72d.google.com ([2607:f8b0:4864:20::72d]) by bombadil.infradead.org with esmtps (Exim 4.97.1 #2 (Red Hat Linux)) id 1roRmb-0000000D6jR-2hJR for linux-arm-kernel@lists.infradead.org; Sun, 24 Mar 2024 17:37:23 +0000 Received: by mail-qk1-x72d.google.com with SMTP id af79cd13be357-781753f52afso239907385a.2 for ; Sun, 24 Mar 2024 10:37:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1711301837; x=1711906637; 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=7A5SUwxxd4XjDHjkrEb2n2ZXL0/7LMjpgw75QRXKPIo=; b=Pa/QT032OP2dcbHZCUWnMqNVcOmyzOH65h3NF7DRKRMz/tawU5+J1uX5nTwj6JMbub YprmMovEEcEjGw27oADTvZPe5Svh54BhWYtozjRTpw/cMvd5OAMD3ksbDYGejddIR60T EOXG5D5TpCCyEvAJuw7wbu6p0PVej5L82M6NDrbw8EdxuAW+5m8G6WJLtJNxVpWFM3Fy k61oz2tkarteRQfkUxzRhaj/OgsIZVwffkCEPQhlXneRKczfhz4PDl3hQYaa9CyI4c8T GF6Ew0xjKYfIMujPdPPy+M1th/d3uhnlnF1H5kjQvc8kES6Z3phmH8l3zll50EvGgd5r S8XQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1711301837; x=1711906637; 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=7A5SUwxxd4XjDHjkrEb2n2ZXL0/7LMjpgw75QRXKPIo=; b=XCSQpRqCtlxuAaqRAYNeN7mfh0xg2rDkkQXAz6i+OhkBu6EQaYMaIAHn3kfsVkVqFt pC+EaI7rEtxP5vScIGDcNZDQw6ebOyDyk4nXI7RIBAL34cKXUjBofHOaJf4n4/U7e1Mf D3qBNdAvU4RbwamwXUynvy4MOkjOyDPX4pAkydJlBqW5+iFxwe9cd9yHQdHctDSXwLrq yC2IQx+5RluXtQTP7yJKKgFPP+vVnIAFEgb9Wc8k9yIj365e0RAV2NHsEzNU2wS9+WS2 uMAESvcWhU/RlI+F6HvWNO0QZrOkPXmxtFdNGspSZCqXfPnJVIEJlP364LXnRpNFgwIs 4bhg== X-Forwarded-Encrypted: i=1; AJvYcCWmUXxcCVgFa/tSgMo8sK/F/fsspiHFT8RgTLFB9oB9MhV6zAI0ZxHJpMa782tQFNUxOhNkxVMA86lvI6u21scWyFSdmtA2paQa2HSnbC1HPakrrxw= X-Gm-Message-State: AOJu0YwEgFhwHj/YUmrjp7wF2+lrg3MpwcMd23VsRoBhxW0uE+MTyQJm zx3G5lLAiDX24BZcYIlNWcGFpZvxaxO31vp7t/4omARQFyiLQrZi X-Google-Smtp-Source: AGHT+IFjpSfbEmAjCyadZ4oh3c1hlZvr8OuU2bvWGAJwDmJef8K4HA0yJIlXQ6FGAqvDYB9qnUMuMw== X-Received: by 2002:a05:620a:5d8a:b0:78a:1e39:2674 with SMTP id xx10-20020a05620a5d8a00b0078a1e392674mr5391270qkn.39.1711301837071; Sun, 24 Mar 2024 10:37:17 -0700 (PDT) Received: from smtpclient.apple ([63.115.34.165]) by smtp.gmail.com with ESMTPSA id vq12-20020a05620a558c00b00789ea123bd5sm1491096qkn.59.2024.03.24.10.37.14 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sun, 24 Mar 2024 10:37:16 -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: <174272a1-e21f-4d85-94ab-f0457bd1c93b@rowland.harvard.edu> Date: Sun, 24 Mar 2024 13:37:03 -0400 Cc: Linus Torvalds , Kent Overstreet , Boqun Feng , 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 , 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: <3088DF9A-6507-423B-8F0A-100B78DE1A26@gmail.com> References: <20240322233838.868874-1-boqun.feng@gmail.com> <174272a1-e21f-4d85-94ab-f0457bd1c93b@rowland.harvard.edu> To: Alan Stern 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-20240324_103722_070409_AA9FC11B X-CRM114-Status: GOOD ( 12.68 ) 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+IE9uIE1hciAyNCwgMjAyNCwgYXQgMTE6MjLigK9BTSwgQWxhbiBTdGVybiA8c3Rlcm5Acm93 bGFuZC5oYXJ2YXJkLmVkdT4gd3JvdGU6Cj4gCj4gSSBkb24ndCBrbm93IGlmIHRoaXMgaXMgd2hh dCB5b3UgbWVhbnQgYnkgImluIGEgd2VhayBtZW1vcnkgbW9kZWwsIHRoZSAKPiBlc2NhcGUgY2Fu IOKAmHRpbWUgdHJhdmVsJyIuICBSZWdhcmRsZXNzLCBpdCBzZWVtcyB2ZXJ5IGNsZWFyIHRoYXQg YW55IAo+IGNvbXBpbGVyIHdoaWNoIHN3YXBzIEwxIGFuZCBMMiBpbiBmKCkgaGFzIGEgZ2VudWlu ZSBidWcuCgpZZXMsIHRoYXTigJlzIHdoYXQgSSBtZWFudC4gIENsYW5nIHRoaW5rcyBpdOKAmXMg dmFsaWQgdG8gc3dhcCBMMSBhbmQgTDIuICBUaG91Z2gsIGZvciBpdCB0byBhY3R1YWxseSBoYXBw ZW4sIHRoZXkgd291bGQgaGF2ZSB0byBiZSBpbiBhIGxvb3AsIHNpbmNlIHRoZSBwcm9ibGVtYXRp YyBvcHRpbWl6YXRpb24gaXMg4oCcbG9vcC1pbnZhcmlhbnQgY29kZSBtb3Rpb24iLiAgSGVyZeKA mXMgYSBtb2RpZmllZCB2ZXJzaW9uIG9mIHlvdXIgZigpIHRoYXQgc2hvd3MgdGhlIG9wdGltaXph dGlvbiBpbiBhY3Rpb246CgpodHRwczovL2dvZGJvbHQub3JnL3ovYmRhVGpqdk1zCgpBbnl3YXks IG15IHBvaW50IGlzIGp1c3QgdGhhdCB1c2luZyBMS01NIGRvZXNu4oCZdCBzYXZlIHlvdSBmcm9t IHRoZSBidWcuCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f CmxpbnV4LWFybS1rZXJuZWwgbWFpbGluZyBsaXN0CmxpbnV4LWFybS1rZXJuZWxAbGlzdHMuaW5m cmFkZWFkLm9yZwpodHRwOi8vbGlzdHMuaW5mcmFkZWFkLm9yZy9tYWlsbWFuL2xpc3RpbmZvL2xp bnV4LWFybS1rZXJuZWwK