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 5B317C54E64 for ; Mon, 25 Mar 2024 13:57:23 +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:MIME-Version:References:In-Reply-To: Date:Cc:To:From:Subject:Message-ID:Reply-To:Content-ID:Content-Description: Resent-Date:Resent-From:Resent-Sender:Resent-To:Resent-Cc:Resent-Message-ID: List-Owner; bh=VnTZq3n0+4uOav20jeWowLYTZyvo27pb8UfnIE9uR3c=; b=hRf9Gi3YuhENwP m6Bo7Yd6/T5s/W3Q+vOiIMwtvxNS6zNo/rlQMzzFl923Fd2wktEaf7ibz/dzYbcO0T7JwzjxJ1Hvt FRM4O0PGJd8or/ikKGPgiT30DemdFUIbmRgwvXEGfycIzPayJvxRahimt9xWWlFa4Y5la7WhcSfUd stueVoqgEyvEMNJXUfqEWrnQ0ssva7ynEmD2HhpkjuUkpP13Q1/FSmuBsMi0V9EXWFeBdJVqRJ/R3 uWBlT6AbS50s8eAtHSn5aO7cd/6SahKSq8B4uBAoYNVue/O8Bczoy/D9XGm+iSb2/+mOHVLTOphjY JGwdGYQc25QKvnRkylHw==; Received: from localhost ([::1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.97.1 #2 (Red Hat Linux)) id 1rokp5-000000005pr-0ByW; Mon, 25 Mar 2024 13:57:11 +0000 Received: from us-smtp-delivery-124.mimecast.com ([170.10.133.124]) by bombadil.infradead.org with esmtps (Exim 4.97.1 #2 (Red Hat Linux)) id 1rokp0-000000005mD-42kd for linux-arm-kernel@lists.infradead.org; Mon, 25 Mar 2024 13:57:09 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1711375024; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=Su0oRSDMDN6WKCvVoRZlpj1EX7RmBmcvnQ0SRJYHWr0=; b=YTC8vqQCaNQSIfmGxmaRo+XhG8hbqvkA1bRpoON52j6bDZd5yhMfuVs4MNxtDN3TBcNf1n NQeNkeDCI0L75PsZ8upu+Yo6AKT7hF3Wokh8e0+uZ36fDGEM84bQJkoySzWEw5BPLnO4N2 JACjb1RDN+B0qI34sVFz1XXM5UIi26Q= Received: from mail-lj1-f199.google.com (mail-lj1-f199.google.com [209.85.208.199]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-370-Nwbn0LPtO-2f_e5wBRTduw-1; Mon, 25 Mar 2024 09:57:03 -0400 X-MC-Unique: Nwbn0LPtO-2f_e5wBRTduw-1 Received: by mail-lj1-f199.google.com with SMTP id 38308e7fff4ca-2d6c5548f93so5086041fa.0 for ; Mon, 25 Mar 2024 06:57:02 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1711375021; x=1711979821; h=mime-version:user-agent:content-transfer-encoding:references :in-reply-to:date:cc:to:from:subject:message-id:x-gm-message-state :from:to:cc:subject:date:message-id:reply-to; bh=Su0oRSDMDN6WKCvVoRZlpj1EX7RmBmcvnQ0SRJYHWr0=; b=ibBqHzYnB0dz/wOXHixgzbG6TAoXGiv5FZtAWcjvcrEfK27JlTdlxOicdxbnGEA+Zg rzvdIkkdUpAluRti5Ug02Kr+2RzqzYGJ6iQjGb8RYlTK7WKWgXGZEC2oFAWj45Xo5HXu AiikFub7406Smc9X8tvgL5wyOhwpt5V/T8P485o28723c+bXXeKl5NEe+QXyzVn5jWgg EfLonQDUXO3/RM+yKj7fAVn3uAcLszmm9gAiL77KhRCJ1PeJMMr/NtkNKmzMU51HOz9N 87S8Pmr9AosRKLLDRAOQfh+y39tKUeDQyLjS8LuElnX0Yb5mUr5LNPJmxUATj/TO3Mju XawQ== X-Forwarded-Encrypted: i=1; AJvYcCVCRUuC2cO/h01+eJMmCOMPIqe69lQHm7jmtXAvm4TYb5yL/aYH1C9NjHRZxz6hciogdm5bmVy4d5VddXc7nkcHpeulh74zqnKZGljchmAx3zIMFZQ= X-Gm-Message-State: AOJu0YySZ6ZGZkViKK56545tf2u6S99SxdEyKSKMBA/XtfWOvkWekuBc 5K38kr1TmpHD1KNouibW6raBWB3Mp097Lta1WnKNVkj5Ie2awb0RNWYfAEwCWfCxAzRGjHZrGGr Y72jiyQbkNV5ztKztVMB6q3he/B4bVnkl19SWgkAK5g1fHbm+GKC4al6ZKMVTM5iUrFE+sF2PYE fRQsWW X-Received: by 2002:a2e:88d0:0:b0:2d4:78b4:e568 with SMTP id a16-20020a2e88d0000000b002d478b4e568mr4342011ljk.1.1711375021350; Mon, 25 Mar 2024 06:57:01 -0700 (PDT) X-Google-Smtp-Source: AGHT+IEsEsxChr4oIHfPIiuFPvTM+72aemZNo0G3gI+fLGhTYtrb+QS9VpjMdi/YbUXjC7EP1XZSIg== X-Received: by 2002:a2e:88d0:0:b0:2d4:78b4:e568 with SMTP id a16-20020a2e88d0000000b002d478b4e568mr4341961ljk.1.1711375020848; Mon, 25 Mar 2024 06:57:00 -0700 (PDT) Received: from pstanner-thinkpadt14sgen1.remote.csb (nat-pool-muc-t.redhat.com. [149.14.88.26]) by smtp.gmail.com with ESMTPSA id n3-20020a05600c4f8300b00414887d9329sm4600055wmq.46.2024.03.25.06.56.59 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Mon, 25 Mar 2024 06:57:00 -0700 (PDT) Message-ID: Subject: Re: [WIP 0/3] Memory model and atomic API in Rust From: Philipp Stanner To: Linus Torvalds , Kent Overstreet Cc: Boqun Feng , 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 , linux-arm-kernel@lists.infradead.org, linux-fsdevel@vger.kernel.org Date: Mon, 25 Mar 2024 14:56:58 +0100 In-Reply-To: References: <20240322233838.868874-1-boqun.feng@gmail.com> User-Agent: Evolution 3.48.4 (3.48.4-1.fc38) MIME-Version: 1.0 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com X-CRM114-Version: 20100106-BlameMichelson ( TRE 0.8.0 (BSD) ) MR-646709E3 X-CRM114-CacheID: sfid-20240325_065707_574182_2D0D7376 X-CRM114-Status: GOOD ( 26.72 ) 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 T24gRnJpLCAyMDI0LTAzLTIyIGF0IDE3OjM2IC0wNzAwLCBMaW51cyBUb3J2YWxkcyB3cm90ZToK PiBPbiBGcmksIDIyIE1hciAyMDI0IGF0IDE3OjIxLCBLZW50IE92ZXJzdHJlZXQKPiA8a2VudC5v dmVyc3RyZWV0QGxpbnV4LmRldj4gd3JvdGU6Cj4gPiAKPiA+IEJlc2lkZXMgdGhhdCB0aGVyZSdz IGNyb3NzIGFyY2ggc3VwcG9ydCB0byB0aGluayBhYm91dCAtIGl0J3MgaGFyZAo+ID4gdG8KPiA+ IGltYWdpbmUgdXMgZXZlciBkaXRjaGluZyBvdXIgb3duIGF0b21pY3MuCj4gCj4gPiBbLi4uIFNO SVAgLi4uXQo+ID4gCj4gPiBJIHdhcyB0aGlua2luZyBhYm91dCBzb21ldGhpbmcgbW9yZSBpbmNy ZW1lbnRhbCAtIGp1c3QgYW4gb3B0aW9uYWwKPiA+IG1vZGUKPiA+IHdoZXJlIG91ciBhdG9taWNz IHdlcmUgQyBhdG9taWNzIHVuZGVybmVhdGguIEl0J2QgcHJvYmFibHkgZ2l2ZSB0aGUKPiA+IGNv bXBpbGVyIHBlb3BsZSBhIG11Y2ggbW9yZSBlZmZlY3RpdmUgd2F5IHRvIHRlc3QgdGhlaXIgc3R1 ZmYgdGhhbgo+ID4gYW55dGhpbmcgdGhleSBoYXZlIG5vdy4KPiAKPiBJIHN1c3BlY3QgaXQgbWln aHQgYmUgcGFpbmZ1bCwgYW5kIHNvbWUgY29tcGlsZXIgcGVvcGxlIHdvdWxkIHRocm93Cj4gdGhl aXIgaGFuZHMgdXAgaW4gaG9ycm9yLCBiZWNhdXNlIHRoZSBDKysgYXRvbWljcyBtb2RlbCBpcyBi YXNlZAo+IGZhaXJseSBzb2xpZGx5IG9uIGF0b21pYyB0eXBlcywgYW5kIHRoZSBrZXJuZWwgbWVt b3J5IG1vZGVsIGlzIG11Y2gKPiBtb3JlIGZsdWlkLgo+IAo+IEJvcXVuIGFscmVhZHkgbWVudGlv bmVkIHRoZSAibWl4aW5nIGFjY2VzcyBzaXplcyIsIHdoaWNoIGlzIGFjdHVhbGx5Cj4gcXVpdGUg ZnVuZGFtZW50YWwgaW4gdGhlIGtlcm5lbCwgd2hlcmUgd2UgcGxheSBsb3RzIG9mIGdhbWVzIHdp dGgKPiB0aGF0Cj4gKHR5cGljYWxseSBhcm91bmQgbG9ja2luZywgd2hlcmUgeW91IGZpbmQgcGF0 dGVybnMgbGluZSB1bmxvY2sKPiB3cml0aW5nCj4gYSB6ZXJvIHRvIGEgc2luZ2xlIGJ5dGUsIGV2 ZW4gdGhvdWdoIHRoZSB3aG9sZSBsb2NrIGRhdGEgc3RydWN0dXJlIGlzCj4gYSB3b3JkKS4gQW5k IHNvbWV0aW1lcyB0aGUgYWNjZXNzIHNpemUgZ2FtZXMgYXJlIHZlcnkgZXhwbGljaXQgKGVnCj4g bGliL2xvY2tyZWYuYykuCj4gCj4gQnV0IGl0IGFjdHVhbGx5IGdvZXMgZGVlcGVyIHRoYW4gdGhh dC4gV2hpbGUgd2UgZG8gaGF2ZSAiYXRvbWljX3QiCj4gZXRjCj4gZm9yIGFyaXRobWV0aWMgYXRv bWljcywgYW5kIHRoYXQgcHJvYmFibHkgd291bGQgbWFwIGZhaXJseSB3ZWxsIHRvCj4gQysrCj4g YXRvbWljcywgaW4gb3RoZXIgY2FzZXMgd2Ugc2ltcGx5IGJhc2Ugb3VyIGF0b21pY3Mgbm90IG9u IF90eXBlc18sCj4gYnV0Cj4gb24gY29kZS4KPiAKPiBJT1csIHdlIGRvIHRoaW5ncyBsaWtlICJj bXB4Y2hnKCkiLCBhbmQgdGhlIHRhcmdldCBvZiB0aGF0IGF0b21pYwo+IGFjY2VzcyBpcyBqdXN0 IGEgcmVndWxhciBkYXRhIHN0cnVjdHVyZSBmaWVsZC4KPiAKPiBJdCdzIGtpbmQgb2YgbGlrZSBv dXIgInZvbGF0aWxlIiB1c2FnZS4gSWYgeW91IHJlYWQgdGhlIEMgKGFuZCBDKyspCj4gc3RhbmRh cmRzLCB5b3UnbGwgZmluZCB0aGF0IHlvdSBzaG91bGQgdXNlICJ2b2xhdGlsZSIgb24gZGF0YSB0 eXBlcy4KPiBUaGF0J3MgYWxtb3N0ICpuZXZlciogd2hhdCB0aGUga2VybmVsIGRvZXMuIFRoZSBr ZXJuZWwgdXNlcwo+ICJ2b2xhdGlsZSIKPiBpbiBfY29kZV8gKGllIFJFQURfT05DRSgpIGV0Yyks IGFuZCB1c2VzIGl0IGJ5IGNhc3RpbmcgZXRjLgo+IAo+IENvbXBpbGVyIHBlb3BsZSBkb24ndCB0 ZW5kIHRvIHJlYWxseSBsaWtlIHRob3NlIGtpbmRzIG9mIHRoaW5ncy4KCkp1c3QgZm9yIG15IHVu ZGVyc3RhbmRpbmc6IFdoeSBkb24ndCB0aGV5IGxpa2UgaXQ/CgpJIGd1ZXNzIHNpbmNlIGNvbXBp bGVyIHBlb3BsZSBoYXZlIHRvIHN1cHBvcnQgdm9sYXRpbGUgcG9pbnRlcnMKYW55d2F5cywgdGVt cG9yYXJpbHkgY2FzdGluZyBzb21ldGhpbmcgdG8gc3VjaCBhIHZvbGF0aWxlIHBvaW50ZXIKc2hv dWxkbid0IGJlIGEgcHJvYmxlbSBlaXRoZXIg4oCTIHNvIHRoZXkgZG9uJ3QgZGlzbGlrZSBpdCBi ZWNhdXNlIGl0J3MKbW9yZSBkaWZmaWN1bHQgdG8gaW1wbGVtZW50LCBidXQgYmVjYXVzZSBpdCdz IG1vcmUgZGlmZmljdWx0IHRvIHZlcmlmeQpmb3IgY29ycmVjdG5lc3M/CgoKUC4KCj4gCj4gwqDC oMKgwqDCoMKgwqDCoMKgwqDCoCBMaW51cwo+IAoKCl9fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fCmxpbnV4LWFybS1rZXJuZWwgbWFpbGluZyBsaXN0CmxpbnV4 LWFybS1rZXJuZWxAbGlzdHMuaW5mcmFkZWFkLm9yZwpodHRwOi8vbGlzdHMuaW5mcmFkZWFkLm9y Zy9tYWlsbWFuL2xpc3RpbmZvL2xpbnV4LWFybS1rZXJuZWwK