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 B3F3EC54E58 for ; Sat, 23 Mar 2024 21:41:01 +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=1vlnPIJpKmLrj579HoIyB6u1iVsCrqhV0wNOmTKItzo=; b=G5txbai4UteHUJ EvG7KLhisrxjemtCznRabqF5uSC1g8WM4SIp8+3I4TiA1H/7YYl8L4NZFDL7Gf0/3ZuRaU3YiZLqk 6TrK0lhQn0mT//7fuIfDQDM/Q0Kpf0yJFoJ/lV548t/xO9oN5fh7jFWsZ3PCV7k7AeuXkZvB3t9cu 76YdR7RzOH1EiEin4JyUgGueCw39fhwkKHZfrPVouUmZ9XDxuecNp4fE31dsjRK+lmpSjdvHCxS3J aDxaM9jlEIgIhdbeX3+9fEPz6XWTg9DNBxerf5eHlN1lUGNpqMdHcFUqTL7zqlV4j/1iOwQmzOfip YdL3+s2VzFJDzKo8/1uQ==; Received: from localhost ([::1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.97.1 #2 (Red Hat Linux)) id 1ro96Y-0000000BEWB-0hMd; Sat, 23 Mar 2024 21:40:42 +0000 Received: from mail-qk1-x72a.google.com ([2607:f8b0:4864:20::72a]) by bombadil.infradead.org with esmtps (Exim 4.97.1 #2 (Red Hat Linux)) id 1ro96V-0000000BEVT-1lmA for linux-arm-kernel@lists.infradead.org; Sat, 23 Mar 2024 21:40:40 +0000 Received: by mail-qk1-x72a.google.com with SMTP id af79cd13be357-78a2290b48eso256104285a.3 for ; Sat, 23 Mar 2024 14:40:37 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1711230036; x=1711834836; 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=gOFRvpRAI+VWx5nUCuNi2VPShTLUPuTZZjdFa31yQSs=; b=CqoUOgbfT0GYC0pZFvM3SZNCVsbmHMZB2ZOka3BkUoopUqB03BBboPfl6lZ/HLnzb4 S2jAgpq9KUuzWP8yKqKc7O+tlIQEI+963rztKuLOMD1DLGNZeUmhffGTluSnjD6ZwEzU eLFHThia7FsaA4SY6MPxeFxDLT8/9JljI3U0AHm/n79otI0OwWmif6AWl8M0E+YIAgi8 NhKEABB0mW3lBbpwdmfGUedmOa6o0WghTRZJ+02VstsxTIu9dTgSBgl9yAxWyWV/3TPq rJADKwk5zOJuRLzXzB397nqfh1eHPksNVI6eDnte1MzYbJtqCttFFAQgXCU+M0JZg4XT mbIA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1711230036; x=1711834836; 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=gOFRvpRAI+VWx5nUCuNi2VPShTLUPuTZZjdFa31yQSs=; b=Cwwn+tULxYYNZkFMWK4uRfqSWSHN2FDvi0bSXVZA9b8dTnvEvXYg9kz5Mtdsi5tFpP XyKLvHulvX3QLX+URNW+g9MvqYn1ILxH7BscYqgcAkCDhrqYGzrilaNZjYxLS889z5K5 b4vyVLsF7TUI/55dGsZKZ0C9rdLRAzd1CRpa3Z23XKnB5b2IQS9HJI5F0tJoxjHZc3bj EmbhPPO6rP2iFMEc+fwsX8Y04UxbASRMzX5nvpsM4sekM0v4lnMQDHxma2Pm/rgG6+ER ybvCu0GVv+TvcZ/aK+ly7eUWProX44oz2NsulrG7veH1jhLUqSBUBcnpOVhS7jBWKtpk 7RNA== X-Forwarded-Encrypted: i=1; AJvYcCVdeTPb1DMCDltxY+MpgxOXN+85Bw6udQ2gsJqy21TP0n2SWTRzkCcpRQFSdMn8fa6UgdpJDieKEYDJM6SWHMXguTQbxxjWUaRB59CmwUiKp68qxDQ= X-Gm-Message-State: AOJu0Yx4cz5sPuZoE6mBJM4dIFHyg4X1AkGTRCSDgJ8ssQ1o6hgJRZeU Gi0WDgo+wygPkld2FSrpSlKeHCViy6I1hGNs2094kinmYV6r+G2V X-Google-Smtp-Source: AGHT+IGOLTqbKp1+ap2QBx/UabVyQfa+NSRyVtYLu6fT31jIeVrXitOYJm1ymdmJk8ukaXuOsxroBg== X-Received: by 2002:a05:6214:1308:b0:691:e21:736c with SMTP id pn8-20020a056214130800b006910e21736cmr3799275qvb.30.1711230035924; Sat, 23 Mar 2024 14:40:35 -0700 (PDT) Received: from smtpclient.apple (pool-162-84-172-44.nycmny.fios.verizon.net. [162.84.172.44]) by smtp.gmail.com with ESMTPSA id kc1-20020a056214410100b00695e602d356sm2450268qvb.46.2024.03.23.14.40.33 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Sat, 23 Mar 2024 14:40:35 -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: Sat, 23 Mar 2024 17:40:23 -0400 Cc: 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 , 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 Message-Id: References: <20240322233838.868874-1-boqun.feng@gmail.com> To: Linus Torvalds 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-20240323_144039_492671_157FAAA5 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 Cj4gT24gTWFyIDIyLCAyMDI0LCBhdCA4OjEy4oCvUE0sIExpbnVzIFRvcnZhbGRzIDx0b3J2YWxk c0BsaW51eC1mb3VuZGF0aW9uLm9yZz4gd3JvdGU6Cj4gCj4gQW5kIHdoZW4gdGhlIGNvbXBpbGVy IGl0c2VsZiBpcyBmdW5kYW1lbnRhbGx5IGJ1Z2d5LCB5b3UncmUga2luZCBvZgo+IHNjcmV3ZWQu IFdoZW4geW91IHJvbGwgeW91ciBvd24sIHlvdSBjYW4gd29yayBhcm91bmQgdGhlIGJ1Z3MgaW4K PiBjb21waWxlcnMuCgpUaGF0IG1heSBiZSB0cnVlLCBidXQgdGhlIExMVk0gaXNzdWUgeW91IGNp dGVkIGlzbuKAmXQgYSBnb29kIGV4YW1wbGUuICBJbiB0aGF0IGlzc3VlLCB0aGUgZnVuY3Rpb24g YmVpbmcgbWlzY29tcGlsZWQgZG9lc27igJl0IGFjdHVhbGx5IHVzZSBhbnkgYmFycmllcnMgb3Ig YXRvbWljcyBpdHNlbGY7IG9ubHkgdGhlIHNjYWZmb2xkaW5nIGFyb3VuZCBpdCBkb2VzLiAgVGhl IHNhbWUgaXNzdWUgd291bGQgaGFwcGVuIGV2ZW4gaWYgdGhlIHNjYWZmb2xkaW5nIHVzZWQgTEtN TSBhdG9taWNzLgoKRm9yIGFueW9uZSBjdXJpb3VzOiBUaGUgcHJvYmxlbWF0aWMgb3B0aW1pemF0 aW9uIGludm9sdmVzIGFuIGFsbG9jYXRpb24gKOKAmHDigJkpIHRoYXQgaXMgaW5pdGlhbGx5IHBy aXZhdGUgdG8gdGhlIGZ1bmN0aW9uLCBidXQgaXMgcmV0dXJuZWQgYXQgdGhlIGVuZCBvZiB0aGUg ZnVuY3Rpb24uICAgTExWTSBtb3ZlcyBhIG5vbi1hdG9taWMgc3RvcmUgdG8gdGhhdCBhbGxvY2F0 aW9uIGFjcm9zcyBhbiBleHRlcm5hbCBmdW5jdGlvbiBjYWxsICh0byDigJhmb2/igJkpLiAgVGhp cyByZW9yZGVyaW5nIHdvdWxkIGJlIGJsYXRhbnRseSBpbnZhbGlkIGlmIGFueSBvdGhlciBjb2Rl IGNvdWxkIG9ic2VydmUgdGhlIGNvbnRlbnRzIG9mIHRoZSBhbGxvY2F0aW9uLCBidXQgaXMgdmFs aWQgaWYgdGhlIGFsbG9jYXRpb24gaXMgcHJpdmF0ZSB0byB0aGUgZnVuY3Rpb24uICBMTFZNIGFz c3VtZXMgdGhlIGxhdHRlcjogYWZ0ZXIgYWxsLCB0aGUgcG9pbnRlciB0byBpdCBoYXNu4oCZdCBl c2NhcGVkLiAgWWV0LiAgRXhjZXB0IHRoYXQgaW4gYSB3ZWFrIG1lbW9yeSBtb2RlbCwgdGhlIGVz Y2FwZSBjYW4g4oCYdGltZSB0cmF2ZWzigJkuLi4KX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX18KbGludXgtYXJtLWtlcm5lbCBtYWlsaW5nIGxpc3QKbGludXgt YXJtLWtlcm5lbEBsaXN0cy5pbmZyYWRlYWQub3JnCmh0dHA6Ly9saXN0cy5pbmZyYWRlYWQub3Jn L21haWxtYW4vbGlzdGluZm8vbGludXgtYXJtLWtlcm5lbAo=