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 EDD9AC67861 for ; Fri, 5 Apr 2024 17:14:18 +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=PxAJvu0C5983UgK50qncBVMnkwoQLze1KDp92JizSY8=; b=oSEsUbXxlkzEVw bdrbqpWwu828f8LfiFdFj9umHW/mkGYEZkbjquMJG4SSOa1m9Pk5Vti8YSH3e3RM+1zSikHB1jGVh Mt+hba+HVLy1u67X8/x62g3b276n0Ehyf4lsP+TfAOwetMObvbWaTfnU6+3+KosyszQeV3AHk68fR DkbbgXzwlTo+ajb6X7RlzkRD7qXYEJ4b8MGirAH1feh2FmmfizjSFpRdd+e0x/zyXhu+yd3udVN6K 3JbVvFM5vd/xqla/DEwOSd/0swLzJMk+2FBsHZD66+dmJztlkex9pJGL75nDS+W/VyuSuNRPWwXrU sqKWeEOIj1jUi/En4kUw==; Received: from localhost ([::1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.97.1 #2 (Red Hat Linux)) id 1rsn8d-00000008BWI-1NCw; Fri, 05 Apr 2024 17:14:03 +0000 Received: from us-smtp-delivery-124.mimecast.com ([170.10.129.124]) by bombadil.infradead.org with esmtps (Exim 4.97.1 #2 (Red Hat Linux)) id 1rsn8Z-00000008BUw-1H5x for linux-arm-kernel@lists.infradead.org; Fri, 05 Apr 2024 17:14:01 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1712337238; 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=lPpM0wT4yWeklYwKPrb4XynteXC/5k41kP/uRm4NnA0=; b=fC2Qd2HQJ+8Lqc4PNaH+7HPjUigXQfTVsWrn4Wsud+ptkwFtAfiUy0INZ0Tu8ASLYYHRsC IKwCW/4+bDTAC2aqCfR0xMGby3QKNQqLwCNrYcUFlKg+dmRrUlYJG2/CvYs+7pUSlR8UUY 6e1d08a4HdVoEXMu+riOzj68y9Xtxis= Received: from mail-lj1-f197.google.com (mail-lj1-f197.google.com [209.85.208.197]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-319-AXEb-yPoOiyuCSnfkL1kaQ-1; Fri, 05 Apr 2024 13:13:57 -0400 X-MC-Unique: AXEb-yPoOiyuCSnfkL1kaQ-1 Received: by mail-lj1-f197.google.com with SMTP id 38308e7fff4ca-2d871ee2f2cso560821fa.0 for ; Fri, 05 Apr 2024 10:13:49 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1712337228; x=1712942028; 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=lPpM0wT4yWeklYwKPrb4XynteXC/5k41kP/uRm4NnA0=; b=tL91vtPmu9tYOsSBlfxY8/7iXjYWDtZUYqGx78VTqSWPWeschTr8nEFdIyIup9U5SJ a7/qkDYVGA28JcPDsBNL7vLgTrBsrtJKw6qY6FdIhteXdA+YUECVUdyhR8s6gypN46GV rOHJjDZeU0iLcobiOx+WEUGPYjngdopOcXP/dIBBtmZHhVTW5FkvKkmWPh3Dxjt+6yxR 3F6K7Dyu1yRAkCZv4PEoHBQEJ3cA79GtcmDOdlY1WRtUQs2TUwzkPhChkvpIzYNKQZew +htB9bJ+MxqoIRPfU22DNVz9prnk6K97yBiF9ocey4bIBLyTEktLVR9dnplpgi2lyNMP RcZA== X-Forwarded-Encrypted: i=1; AJvYcCUqO6LmiQEaotn8xoiJxrmMAPTcO8Kt1/PKsj39NAUo6tmi8RxZvzq/SNPohnQjpkfR3a+W/59QN5UOxp9VshvgWuOga3P/l8vvwF7XyaSLB5sLuEk= X-Gm-Message-State: AOJu0YyOA5dqpCeFZuPP3rCFIGtEfxFbj6bxWW8WKoDDYr/8Aog00csw i6Den5OPVaa5xYQ4lOHcZ4ZuVi1OxdrKia5eqx0mabhRC2g0DXJQ3qkTvMICFgYDWqhe+aVLs+R uxyuUacZ6w3/lP6RE+6HuxGCIFG3KqnEYYlZjIhPOnSh9cNlW7zg8eWHDdBhagq5tf2elxwcx X-Received: by 2002:a2e:8095:0:b0:2d6:c59e:37bd with SMTP id i21-20020a2e8095000000b002d6c59e37bdmr1535953ljg.3.1712337228329; Fri, 05 Apr 2024 10:13:48 -0700 (PDT) X-Google-Smtp-Source: AGHT+IE7mr/0zQsW+7ufXN8Cy1V8GjLrwfuTgftu9UYTsupPGSbHO+hK+Reby8puICIcwXAsNILmAA== X-Received: by 2002:a2e:8095:0:b0:2d6:c59e:37bd with SMTP id i21-20020a2e8095000000b002d6c59e37bdmr1535935ljg.3.1712337227885; Fri, 05 Apr 2024 10:13:47 -0700 (PDT) Received: from pstanner-thinkpadt14sgen1.remote.csb ([2001:9e8:32e2:c00:227b:d2ff:fe26:2a7a]) by smtp.gmail.com with ESMTPSA id d2-20020adffd82000000b00343e085fb89sm2317448wrr.2.2024.04.05.10.13.46 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Fri, 05 Apr 2024 10:13:47 -0700 (PDT) Message-ID: <2aaca204c110d33025c3b4fd7e6f67b78d72ab59.camel@redhat.com> Subject: Re: [WIP 0/3] Memory model and atomic API in Rust From: Philipp Stanner To: Linus Torvalds , Kent Overstreet Cc: comex , "Dr. David Alan Gilbert" , 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 , =?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 , 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 Date: Fri, 05 Apr 2024 19:13:45 +0200 In-Reply-To: References: <160DB953-1588-418E-A490-381009CD8DE0@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-20240405_101359_670791_E5F25F91 X-CRM114-Status: GOOD ( 24.95 ) 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 T24gV2VkLCAyMDI0LTAzLTI3IGF0IDEyOjA3IC0wNzAwLCBMaW51cyBUb3J2YWxkcyB3cm90ZToK PiBPbiBXZWQsIDI3IE1hciAyMDI0IGF0IDExOjUxLCBLZW50IE92ZXJzdHJlZXQKPiA8a2VudC5v dmVyc3RyZWV0QGxpbnV4LmRldj4gd3JvdGU6Cj4gPiAKPiA+IE9uIFdlZCwgTWFyIDI3LCAyMDI0 IGF0IDA5OjE2OjA5QU0gLTA3MDAsIGNvbWV4IHdyb3RlOgo+ID4gPiBNZWFud2hpbGUsIFJ1c3Qg aW50ZW50aW9uYWxseSBsYWNrcyBzdHJpY3QgYWxpYXNpbmcuCj4gPiAKPiA+IEkgd2Fzbid0IGF3 YXJlIG9mIHRoaXMuIEdpdmVuIHRoYXQgdW5yZXN0cmljdGVkIHBvaW50ZXJzIGFyZSBhIHJlYWwK PiA+IGltcGVkaW1lbnQgdG8gY29tcGlsZXIgb3B0aW1pemF0aW9uLCBJIHRob3VnaHQgdGhhdCB3 aXRoIFJ1c3Qgd2UKPiA+IHdlcmUKPiA+IGZpbmFsbHkgc3RhcnRpbmcgdG8gbmFpbCBkb3duIGEg Y29uY3JldGUgZW5vdWdoIG1lbW9yeSBtb2RlbCB0bwo+ID4gdGFja2xlCj4gPiB0aGlzIHNhZmVs eS4gQnV0IEkgZ3Vlc3Mgbm90Pwo+IAo+IFN0cmljdCBhbGlhc2luZyBpcyBhICpob3JyaWJsZSog bWlzdGFrZS4KPiAKPiBJdCdzIG5vdCBldmVuICpyZW1vdGVseSogInRhY2tsZSB0aGlzIHNhZmVs eSIuIEl0J3MgdGhlIGV4YWN0Cj4gb3Bwb3NpdGUuIEl0J3MgY29tcGxldGVseSBicm9rZW4uCj4g Cj4gQW55Ym9keSB3aG8gdGhpbmtzIHN0cmljdCBhbGlhc2luZyBpcyBhIGdvb2QgaWRlYSBlaXRo ZXIKPiAKPiDCoChhKSBkb2Vzbid0IHVuZGVyc3RhbmQgd2hhdCBpdCBtZWFucwo+IAo+IMKgKGIp IGhhcyBiZWVuIGJyYWlud2FzaGVkIGJ5IGluY29tcGV0ZW50IGNvbXBpbGVyIHBlb3BsZS4KPiAK PiBpdCdzIGEgaG9ycmVuZG91cyBjcm9jayB0aGF0IHdhcyBpbnRyb2R1Y2VkIGJ5IHBlb3BsZSB3 aG8gdGhvdWdodCBpdAo+IHdhcyB0b28gY29tcGxpY2F0ZWQgdG8gd3JpdGUgb3V0ICJyZXN0cmlj dCIga2V5d29yZHMsIGFuZCB0aGF0Cj4gdGhvdWdodAo+IHRoYXQgImxldCdzIGJyZWFrIG9sZCB3 b3JraW5nIHByb2dyYW1zIGFuZCBtYWtlIGl0IGhhcmRlciB0byB3cml0ZQo+IG5ldwo+IHByb2dy YW1zIiB3YXMgYSBnb29kIGlkZWEuCj4gCj4gTm9ib2R5IHNob3VsZCBldmVyIGRvIGl0LiBUaGUg ZmFjdCB0aGF0IFJ1c3QgZG9lc24ndCBkbyB0aGUgQyBzdHJpY3QKPiBhbGlhc2luZyBpcyBhIGdv b2QgdGhpbmcuIFJlYWxseS4KCkJ0dywgZm9yIHRoZSBpbnRlcmVzdGVkLCB0aGF0J3MgYSBuaWNl IGFydGljbGUgb24gc3RyaWN0IGFsaWFzaW5nOgpodHRwczovL2Jsb2cucmVnZWhyLm9yZy9hcmNo aXZlcy8xMzA3CgpEZW5uaXMgUml0Y2hpZSwgdGhlIE1hbiBIaW1zZWxmLCBiYWNrIGluIHRoZSAx OTgwcyBwdXNoZWQgYmFjayBxdWl0ZQpzdHJvbmdseSBvbiAoZGlmZmVyZW50PykgYWxpYXNpbmcg ZXhwZXJpbWVudHM6Cmh0dHBzOi8vd3d3LnlvZGFpa2VuLmNvbS8yMDIxLzAzLzE5L2Rlbm5pcy1y aXRjaGllLW9uLWFsaWFzLWFuYWx5c2lzLWluLXRoZS1jLXByb2dyYW1taW5nLWxhbmd1YWdlLTE5 ODgvCgoKTm8gaWRlYSB3aHkgdGhleSBjYW4ndCBqdXN0IGxlYXZlIEMgYWxvbmUuLi4gSXQncyBu b3Qgd2l0aG91dCByZWFzb24KdGhhdCBuZXcgbGFuZ3VhZ2VzIGxpa2UgWmlnIGFuZCBIYXJlIHdh bnQgdG8gZnJlZXplIHRoZSBsYW5ndWFnZQooc3RhbmRhcmQpIG9uY2UgdGhleSBhcmUgcmVsZWFz ZWQuCgpQLgoKPiAKPiBJIHN1c3BlY3QgeW91IGhhdmUgYmVlbiBmb29sZWQgYnkgdGhlIG5hbWUu IEJlY2F1c2UgInN0cmljdCBhbGlhc2luZyIKPiBzb3VuZHMgbGlrZSBhIGdvb2QgdGhpbmcuIEl0 IHNvdW5kcyBsaWtlICJJIGtub3cgdGhlc2Ugc3RyaWN0bHkgY2FuJ3QKPiBhbGlhcyIuIEJ1dCBk ZXNwaXRlIHRoYXQgbmFtZSwgaXQncyB0aGUgY29tcGxldGUgb3Bwb3NpdGUgb2YgdGhhdCwKPiBh bmQKPiBtZWFucyAiSSB3aWxsIGlnbm9yZSBhY3R1YWwgcmVhbCBhbGlhc2luZyBldmVuIGlmIGl0 IGV4aXN0cywgYmVjYXVzZQo+IEkKPiB3aWxsIG1ha2UgYWxpYXNpbmcgZGVjaXNpb25zIG9uIGVu dGlyZWx5IG1hZGUtdXAgZ3JvdW5kcyIuCj4gCj4gSnVzdCBzYXkgbm8gdG8gc3RyaWN0IGFsaWFz aW5nLiBUaGFua2Z1bGx5LCB0aGVyZSdzIGFuIGFjdHVhbAo+IGNvbXBpbGVyCj4gZmxhZyBmb3Ig dGhhdDogLWZuby1zdHJpY3QtYWxpYXNpbmcuIEl0IHNob3VsZCBhYnNvbHV0ZWx5IGhhdmUgYmVl bgo+IHRoZSBkZWZhdWx0Lgo+IAo+IMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIExp bnVzCj4gCgoKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18K bGludXgtYXJtLWtlcm5lbCBtYWlsaW5nIGxpc3QKbGludXgtYXJtLWtlcm5lbEBsaXN0cy5pbmZy YWRlYWQub3JnCmh0dHA6Ly9saXN0cy5pbmZyYWRlYWQub3JnL21haWxtYW4vbGlzdGluZm8vbGlu dXgtYXJtLWtlcm5lbAo=