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 9CA7FC47DD9 for ; Wed, 27 Mar 2024 21:56:46 +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=Y5R6kmn8bDE+EvLsuFBncDs9+VEyrgTPnQ3IoJbQ6Zs=; b=e++9nmqi2VCRqK dMpML372muXD15XcbLrFvns3PYerdTW64/Wye6Gd1p3mp4T+4Kl5Y8dr5A4g64yaCUpQE4if2btn0 tkFFSwo8b1ygjM6CSm7Y6UTlID3pfDdLx0f4loWFScdZXjEwlPw1CgZAuL5hWXmCrQz5DKwlkincp WdcZMcWRVSQ2vmAA2EzN+4bnUwydsV4NFhjlrLXOyu6hsDay6Ce2+grSeHzW3uusrAhuPDiJXRWq5 iWgl89GdCg1HqveVYoY2eVgDzJA6TyfuepIAJFC4kCpA1ZGCiybgZUqysI44U5tmzzLhsfy1k1oZu v1TMrpagsde5BIPYVG+A==; Received: from localhost ([::1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.97.1 #2 (Red Hat Linux)) id 1rpbG6-0000000BJbf-1pJK; Wed, 27 Mar 2024 21:56:34 +0000 Received: from mail-pf1-x42c.google.com ([2607:f8b0:4864:20::42c]) by bombadil.infradead.org with esmtps (Exim 4.97.1 #2 (Red Hat Linux)) id 1rpbG3-0000000BJaY-1xF5 for linux-arm-kernel@lists.infradead.org; Wed, 27 Mar 2024 21:56:32 +0000 Received: by mail-pf1-x42c.google.com with SMTP id d2e1a72fcca58-6e46dcd8feaso236243b3a.2 for ; Wed, 27 Mar 2024 14:56:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1711576590; x=1712181390; 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=9nK7oGytjkYckNrpr1HYOqjdMAjgZf6eYRbl5oXGuqE=; b=B35VdZpNx3UeX4nvqjjTE3BE/rx3tSBUkN+ksxCTr3nwPIV3vbWTAPhIMX/S7VvGmr LsWCznPxlkLs2qyTjSZpcmnQeme7rxz8279eCQA308Wa4VaO9ALvehVtoKn0+UATb3Qv 3MWbMGUZ1J/VkTyA/evrj4qRV2776/k0WajRCpJN1C01y3HVbpzZTScgYnZJEc5Fo0Ps RB6hfDoiZMgw1PKI17Ml650jUltDhlMq4OvUPpt4UTrkv2s0E9bemBxAFrlsYyXdrepT 2qF/y2VIS6TmZbhfmeMqomMMU4IAEmQFeZKgcJDJ59Vdj46/1UfZkEW/o3VzF5FjaAv3 5WWw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1711576590; x=1712181390; 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=9nK7oGytjkYckNrpr1HYOqjdMAjgZf6eYRbl5oXGuqE=; b=XMq8we3N+uAl5pCAZXg0KsXAQbO5wVOPLQ6Zsv3B/MfxquTcBuJYiMwd7CFpLxKuH5 eIHuVgLLG142UYdfPxcI/JMO2YcCiGXmVxJlA+NiEJ2QHZYVTp/ygcxN5zBxHjQ7OOC8 1ICA0+2ZrT2yLaBonBdSVDpqesbb0o9oGxt38vb+U5K19BaXb3UeKcGElgFKIOZ5QlaR jcOkG9NzbeVyu5oUF2MUBlCItp1W5+BCucb82T+gPmtb+lTbIVCcZnVDKW1vIMAk/Qge hccuYpCM8j52ODKXPw+IU7VmShlt4tpVsC+UBl3XqutLNw5uX1xYtv6AlbmjFU9v17Z4 VCOA== X-Forwarded-Encrypted: i=1; AJvYcCX8iKJAVnafosBsZc92jT9WWfiPw2OzU4PJ21kf+ilBqpGGRPlJ2msjOPmBroBX0ILMrAIN8S/RS8aLjxwgiMvyYlNOcQOYVfB/m1/X7sIafTEAeOc= X-Gm-Message-State: AOJu0Yz1va8tJbpvh3TSXMivPauWsymfAuk79+9kRVWmrcGJUr2CSAih 5/lwJzjeaXdKQT06flFG/qYrqUxUnuiROKO3e6VkflD5Ifljf1PS X-Google-Smtp-Source: AGHT+IGdMR9pJlgf4CvRTiRkOkrpDFtL+V/Uc4Lolo4AeOU6/H/PL2BKoUiaYbvFxC9xrMHCeaCtlQ== X-Received: by 2002:a05:6a00:18a9:b0:6ea:ad01:3550 with SMTP id x41-20020a056a0018a900b006eaad013550mr1304630pfh.18.1711576589327; Wed, 27 Mar 2024 14:56:29 -0700 (PDT) Received: from smtpclient.apple ([2601:647:4d7e:dba0:5840:a196:2bf3:3600]) by smtp.gmail.com with ESMTPSA id bm20-20020a056a00321400b006e740d23674sm21510pfb.140.2024.03.27.14.56.25 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 27 Mar 2024 14:56:28 -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: Date: Wed, 27 Mar 2024 14:56:13 -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: <5246D3E2-E503-40BA-9A72-1876BCF1186B@gmail.com> References: <160DB953-1588-418E-A490-381009CD8DE0@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_145631_535145_B381F0FD X-CRM114-Status: GOOD ( 15.76 ) 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+IE9uIE1hciAyNywgMjAyNCwgYXQgMjoyMeKAr1BNLCBCb3F1biBGZW5nIDxib3F1bi5mZW5n QGdtYWlsLmNvbT4gd3JvdGU6Cj4gCj4gSSBkb24ndCBrbm93IHdoZXRoZXIgSSdtIDEwMCUgY29y cmVjdCBvbiB0aGlzLCBidXQgUnVzdCBoYXMgcmVmZXJlbmNlcywKPiBzbyB0aGluZ3MgbGlrZSAi eW91IGhhdmUgYSB1bmlxdWUgcmVmZXJlbmNlIHRvIGEgcGFydCBvZiBtZW1vcnksIG5vIG9uZQo+ IHdvdWxkIHRvdWNoIGl0IGluIHRoZSBtZWFud2hpbGUiIGFyZSByZXByZXNlbnRlZCBieSBgJm11 dGAsIHRvIGdldCBhCj4gYCZtdXRgIGZyb20gYSByYXcgcG9pbnRlciwgeW91IG5lZWQgdW5zYWZl LCB3aGVyZSBwcm9ncmFtbWVycyBjYW4KPiBwcm92aWRlIHRoZSByZWFzb25pbmcgb2YgdGhlIHNh ZmV0eSBvZiB0aGUgYWNjZXNzZXMuIE1vcmUgbGlrZSAicG9pbnRlcnMKPiBjYW4gYWxpYXMgYW55 b25lIGJ1dCByZWZlcmVuY2VzIGNhbm5vdCIgdG8gbWUuCgpSaWdodC4gIFdoZW4gSSBzYWlkIOKA nHN0cmljdCBhbGlhc2luZ+KAnSBJIG1lYW50IHR5cGUtYmFzZWQgYWxpYXNpbmcgcnVsZXMsIHdo aWNoIGlzIHdoYXQgR0NDIGNhbGxzIOKAnHN0cmljdCBhbGlhc2luZyIuICBCdXQgUnVzdCBkb2Vz IGhhdmUgc3RyaWN0ZXIgYWxpYXNpbmcgcnVsZXMgdGhhbiBDIGluIGEgZGlmZmVyZW50IHdheS4g IEJvdGggbXV0YWJsZSBhbmQgaW1tdXRhYmxlIHJlZmVyZW5jZXMgYXJlIGFubm90YXRlZCB3aXRo IExMVk0gYG5vYWxpYXNgIGJ5IGRlZmF1bHQsIGVxdWl2YWxlbnQgdG8gQyBgcmVzdHJpY3RgLiBG b3IgbXV0YWJsZSByZWZlcmVuY2VzIGl04oCZcyBqdXN0aWZpZWQgYmVjYXVzZSB0aG9zZSByZWZl cmVuY2VzIHNob3VsZCBiZSB1bmlxdWUuICBGb3IgaW1tdXRhYmxlIHJlZmVyZW5jZXMgaXQncyBq dXN0aWZpZWQgYmVjYXVzZSB0aGUgbWVtb3J5IGJlaGluZCB0aGUgcmVmZXJlbmNlIHNob3VsZG7i gJl0IGJlIG11dGF0ZWQgYXQgYWxsLiAgKFRoZXJl4oCZcyBhbiBleGNlcHRpb24gZm9yIHR5cGVz IHdpdGgg4oCYaW50ZXJpb3IgbXV0YWJpbGl0eeKAmSwgd2hlcmUg4oCYaW1tdXRhYmxlJyByZWZl cmVuY2VzIGFjdHVhbGx5IGNhbiBiZSB1c2VkIGZvciBtdXRhdGlvbi4pCgpUaGUgaG9wZSBoYXMg YWx3YXlzIGJlZW4gdGhhdCB0aGlzIGdpdmVzIFJ1c3QgYmV0dGVyIG92ZXJhbGwgb3B0aW1pemFi aWxpdHkgdGhhbiBDIG9yIEMrKyBhbmQgbWFrZXMgdXAgZm9yIHRoZSBsb3NzZXMgZnJvbSB0aGUg bGFjayBvZiB0eXBlLWJhc2VkIGFsaWFzaW5nIHJ1bGVzLiAgSWYgdGhlcmXigJlzIGFueSBlbXBp cmljYWwgZGF0YSB0byBqdXN0aWZ5IG9yIHJlZnV0ZSB0aGlzLCBJ4oCZbSBub3QgYXdhcmUgb2Yg aXQuICBCdXQgdGhhdOKAmXMgdGhlIGhvcGUsIGFuZCBieSB0aGlzIHBvaW50IFJ1c3QgaXMgY29t bWl0dGVkIHRvIHRoZSBhcHByb2FjaC4KCihXaHkgb25seSBmdW5jdGlvbiBwYXJhbWV0ZXJzPyAg TWFpbmx5IGJlY2F1c2Ugb2YgbGltaXRhdGlvbnMgb2Ygd2hhdCBMTFZNIElSIGNhbiBleHByZXNz LiAgRnJvbSB0aGUgcGVyc3BlY3RpdmUgb2YgdGhlIHdvcmstaW4tcHJvZ3Jlc3MgUnVzdCBtZW1v cnkgbW9kZWwgc3BlYywgZnVuY3Rpb24gcGFyYW1ldGVycyBhcmUgc3BlY2lhbCBpbiAqc29tZSog d2F5cywgYnV0IG1hbnkgb2YgdGhlIG9wdGltaXphdGlvbnMgY291bGQgYXBwbHkgdG8gYWxsIHVz ZXMgb2YgcmVmZXJlbmNlcy4gIFRoYXQncyBqdXN0IG5vdCBjdXJyZW50bHkgaW1wbGVtZW50ZWQu KQoKCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpsaW51 eC1hcm0ta2VybmVsIG1haWxpbmcgbGlzdApsaW51eC1hcm0ta2VybmVsQGxpc3RzLmluZnJhZGVh ZC5vcmcKaHR0cDovL2xpc3RzLmluZnJhZGVhZC5vcmcvbWFpbG1hbi9saXN0aW5mby9saW51eC1h cm0ta2VybmVsCg==