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 0C186C47DD9 for ; Wed, 27 Mar 2024 16:16:47 +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=VwoKc0VhRDveUOimzCyM6iuFKFCyLe7Sua3tPxYNtCw=; b=xX/AvveloeztQn hdzkjGspmOfTQEPwFwOOWvEC5dY+yDTt+fnhazNc+2J8FKV7/xpaRNdp5tujm36WHrxgBvoqacQgY bFQxJjRgdOZg/jBedo+Nn5k4E6V72+t+f5tWDGJx0AVNKOkNjVgckULPH4OxCBjaBec8iPJzHaQnS KHZ2FzfIXpmSz0vVOvomX13iF/G/J+sJA+2taN+/B80p9s+fMgZ1XGVE20ZOV6vgP7AWSoB8/ZQAZ jshvixdtO1B3fu7Qqczgs3DvpeiDbyS6Mo33T9uPGtxKqJlIwYU3XndA5tKpkO7nud59HMcsJkx6r Lj9IKWk7Aii2KvOCp9JQ==; Received: from localhost ([::1] helo=bombadil.infradead.org) by bombadil.infradead.org with esmtp (Exim 4.97.1 #2 (Red Hat Linux)) id 1rpVx3-0000000A2RL-0Ld1; Wed, 27 Mar 2024 16:16:33 +0000 Received: from mail-pj1-x102f.google.com ([2607:f8b0:4864:20::102f]) by bombadil.infradead.org with esmtps (Exim 4.97.1 #2 (Red Hat Linux)) id 1rpVwx-0000000A2Os-45M1 for linux-arm-kernel@lists.infradead.org; Wed, 27 Mar 2024 16:16:30 +0000 Received: by mail-pj1-x102f.google.com with SMTP id 98e67ed59e1d1-29b7164eef6so23485a91.2 for ; Wed, 27 Mar 2024 09:16:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20230601; t=1711556186; x=1712160986; 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=OSCcPL9ReYBC3ieN7sRSJkCjHUDGGaoDNVjenjFddiw=; b=b71WIQS2atx32Y0HQ6THnkWWP2UuJ9hbAiees81CzR3yqeoe1kLFeTczFyT4Anm7bN VEIDsR60vtVcNMk/zQiRfQcuDjp1Ec9OkA8INZ2FW3zLhagqFnoxYGXEoHb9XEFSgZ12 Hwv8dD98Vq8YH8bc55EJyN7ue3GQc+UX1AqxM3MGH6c5lmiHRr2g8A+0x2Yn2whyHuSa p84rDONelW8wGsKHu193teR/fHTNmXoHGplsvH5FnckFXMnV/dWHrukPx0KB+MrpaPA8 j6vliPNuT7iJaviH5JMvVCGSSGgWfWaDrOE0sWi8XSXyPgGBzbN44DmpldwLNDKN7E/E RzdQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1711556186; x=1712160986; 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=OSCcPL9ReYBC3ieN7sRSJkCjHUDGGaoDNVjenjFddiw=; b=Dz+546oDiF9SO1wq7yG7hOFV/vqhJ/PL4ec60RAnCXcEE4YL14hZD+TPbO70f+Q0/v bEqR5lxSbXKytmU696U9e32SmkbT2Wix8ATcLOXUL8DbQc6PeXhZPaW/CJ3bHGIuw0Hm dT7KfH7JPhkqHKkLE+go7PmkTop0Z3PpMkeSSuwthaAhYb+ADrS/B9UlbvuHSmsVPK7r d6IMdLom4ldXeDmsSll8ESFZL5iTeCdu14QKmFZ0AAqvrfyx+kiNwWvuQc7aYU75iFqo Z4TU+sQPYVJRcFVj6tRwtiqth9UnCDo9mA1IyRy5iEjqahRBCWF8cEAHolTwpSr3e7VK OGRg== X-Forwarded-Encrypted: i=1; AJvYcCV4/x/2vNXegtNtux+dKJLD6vv3ik/YwAIQEvz0Vs28huVhn/DBwTQ25KeraA6qP1yDuveQ+IL7LBJ0pjdbbxRVJEBEUcU32B8evNluT/56I7midmM= X-Gm-Message-State: AOJu0YxT7W1+bEv/wfYKN8KxyMCPxdkmDf42ttdSYWr4XmUNO2EGlI3M lEXAbbaZNzrefMqZ4x9/ThfSuK6IiTSC9yxvBZc0jyq1fB9q/koE X-Google-Smtp-Source: AGHT+IFb5IqfgxBvySBVcYNKgghJ48Dnwn4nEVJk9rDb4Sdzmwo0ZtCk8BBaNaurYYvMG+RdbrIyPw== X-Received: by 2002:a17:90b:4a44:b0:29c:7845:cba with SMTP id lb4-20020a17090b4a4400b0029c78450cbamr100758pjb.36.1711556186202; Wed, 27 Mar 2024 09:16:26 -0700 (PDT) Received: from smtpclient.apple ([2601:647:4d7e:dba0:5840:a196:2bf3:3600]) by smtp.gmail.com with ESMTPSA id sl13-20020a17090b2e0d00b0029951d04dc4sm1903536pjb.54.2024.03.27.09.16.21 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128); Wed, 27 Mar 2024 09:16:25 -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 09:16:09 -0700 Cc: "Dr. David Alan Gilbert" , Kent Overstreet , Philipp Stanner , 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 , 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: <160DB953-1588-418E-A490-381009CD8DE0@gmail.com> 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-20240327_091628_189038_9D725FC0 X-CRM114-Status: GOOD ( 19.90 ) 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 T24gTWFyIDI1LCAyMDI0LCBhdCA4OjQ54oCvUE0sIExpbnVzIFRvcnZhbGRzIDx0b3J2YWxkc0Bs aW51eC1mb3VuZGF0aW9uLm9yZz4gd3JvdGU6Cgo+IEJ1dCB5b3Ugc2hvdWxkIF9zdGFydF8gdGhl IGRlc2lnbiBvZiB5b3VyIGxhbmd1YWdlIG1lbW9yeSBtb2RlbCBhcm91bmQKPiB0aGUgdW5zYWZl ICJyYXcgYXRvbWljIGFjY2VzcyBvcGVyYXRpb25zIiBtb2RlbC4KPiAKPiBUaGVuIHlvdSBjYW4g dXNlIHRob3NlIHN0cmljdGx5IG1vcmUgcG93ZXJmdWwgb3BlcmF0aW9ucywgYW5kIHlvdQo+IGNy ZWF0ZSBhbiBvYmplY3QgbW9kZWwgKmFyb3VuZCogaXQuCgpUbyBzb21lIGV4dGVudCBSdXN0IGRv ZXMgdGhpcyBhbHJlYWR5LCB1bmxpa2UgQysrLgoKQysrIGFsbG93cyBhdG9taWNzIHRvIGJlIGlt cGxlbWVudGVkIHVzaW5nIGxvY2tzLiAgUGFydGx5IGZvciB0aGlzIHJlYXNvbiwKYHN0ZDo6YXRv bWljPFQ+YCBpcyBkb2N1bWVudGVkIGFzIG5vdCBuZWNlc3NhcmlseSBoYXZpbmcgdGhlIHNhbWUK cmVwcmVzZW50YXRpb24gYXMgYFRgIFsxXS4gIEMrKyBhbHNvIGhhcyBzdHJpY3QgYWxpYXNpbmcs IHNvIGV2ZW4gaWYgdGhvc2UgdHlwZXMKZG8gaGF2ZSB0aGUgc2FtZSByZXByZXNlbnRhdGlvbiwg eW91IHN0aWxsIGNhbid0IGNhc3QgYFQgKmAgdG8KYHN0ZDo6YXRvbWljPFQ+ICpgLgoKQnV0IFJ1 c3QgYXRvbWljcyBhcmUgbG93ZXItbGV2ZWwuICBGaXJzdCwgdGhleSBhcmUgZ3VhcmFudGVlZCBs b2NrLWZyZWUgWzJdLgpTZWNvbmQsIHRoZXkgYXJlIGRvY3VtZW50ZWQgYXMgaGF2aW5nICJ0aGUg c2FtZSBpbi1tZW1vcnkgcmVwcmVzZW50YXRpb24gYXMgdGhlCnVuZGVybHlpbmciIHR5cGUgWzNd LiAgKFRoZXkgYWxzbyB1c3VhbGx5IGhhdmUgdGhlIHNhbWUgYWxpZ25tZW50LCBleGNlcHQgb24K eDg2IHdoZXJlIHU2NCBpcyBvbmx5IDQtYnl0ZSBhbGlnbmVkIGJ1dCBBdG9taWNVNjQgb2YgY291 cnNlIG5lZWRzIHRvIGJlIDgtYnl0ZQphbGlnbmVkLikgIE1lYW53aGlsZSwgUnVzdCBpbnRlbnRp b25hbGx5IGxhY2tzIHN0cmljdCBhbGlhc2luZy4KCkNvbWJpbmVkLCB0aGlzIG1lYW5zIGl0J3Mg cGVyZmVjdGx5IGxlZ2FsIGluIFJ1c3QgdG8gY2FzdCBlLmcuIGAmbXV0IHUzMmAgdG8KYCZBdG9t aWNVMzJgIGFuZCBwZXJmb3JtIGF0b21pYyBhY2Nlc3NlcyBvbiBpdC4gIE9yIHRoZSBzYW1lIHdp dGggdTY0L0F0b21pY1U2NAppZiB5b3Uga25vdyB0aGUgcG9pbnRlciBpcyB2YWxpZGx5IGFsaWdu ZWQuICBUaGlzIGlzIGJ5IGRlc2lnbjsgdGhlIEF0b21pYwp0eXBlcycgbWV0aG9kcyBhcmUgY29u c2lkZXJlZCB0aGUgb2ZmaWNpYWwgd2F5IHRvIHBlcmZvcm0gYXRvbWljIG9wZXJhdGlvbnMgb24K YXJiaXRyYXJ5IG1lbW9yeSwgbWFraW5nIGl0IHVubmVjZXNzYXJ5IHRvIGFsc28gc3RhYmlsaXpl ICdsb3dlci1sZXZlbCcKaW50cmluc2ljcy4KClRoYXQgc2FpZCwgdGhlcmUgKmFyZSogY3VycmVu dGx5IHNvbWUgaG9sZXMgaW4gUnVzdCdzIGF0b21pY3MgbW9kZWwsIGJhc2VkIG9uCnRoZSBmYWN0 IHRoYXQgaXQncyBtb3N0bHkgaW5oZXJpdGVkIGZyb20gQysrLiAgRnJvbSB0aGUgZG9jdW1lbnRh dGlvbjoKCj4gU2luY2UgQysrIGRvZXMgbm90IHN1cHBvcnQgbWl4aW5nIGF0b21pYyBhbmQgbm9u LWF0b21pYyBhY2Nlc3Nlcywgb3IKPiBub24tc3luY2hyb25pemVkIGRpZmZlcmVudC1zaXplZCBh Y2Nlc3NlcyB0byB0aGUgc2FtZSBkYXRhLCBSdXN0IGRvZXMgbm90Cj4gc3VwcG9ydCB0aG9zZSBv cGVyYXRpb25zIGVpdGhlci4gTm90ZSB0aGF0IGJvdGggb2YgdGhvc2UgcmVzdHJpY3Rpb25zIG9u bHkKPiBhcHBseSBpZiB0aGUgYWNjZXNzZXMgYXJlIG5vbi1zeW5jaHJvbml6ZWQuCmh0dHBzOi8v ZG9jLnJ1c3QtbGFuZy5vcmcvc3RkL3N5bmMvYXRvbWljL2luZGV4Lmh0bWwKClRoZXJlIGFyZSBz b21lIG9wZW4gaXNzdWVzIGFyb3VuZCB0aGlzOgoKLSAiSG93IGNhbiB3ZSBhbGxvdyByZWFkLXJl YWQgcmFjZXMgYmV0d2VlbiBhdG9taWMgYW5kIG5vbi1hdG9taWMgYWNjZXNzZXM/IgogIGh0dHBz Oi8vZ2l0aHViLmNvbS9ydXN0LWxhbmcvdW5zYWZlLWNvZGUtZ3VpZGVsaW5lcy9pc3N1ZXMvNDgz CgogID4gWy4uXSBJIGRvIHRoaW5rIHdlIHNob3VsZCBhbGxvdyBzdWNoIGNvZGUuIEhvd2V2ZXIs IHRoZW4gd2UgaGF2ZSB0byBjaGFuZ2UKICA+IHRoZSB3YXkgd2UgZG9jdW1lbnQgb3VyIGF0b21p Y3MgWy4uXQoKLSAiV2hhdCBhYm91dDogbWl4ZWQtc2l6ZSBhdG9taWMgYWNjZXNzZXMiCiAgaHR0 cHM6Ly9naXRodWIuY29tL3J1c3QtbGFuZy91bnNhZmUtY29kZS1ndWlkZWxpbmVzL2lzc3Vlcy8z NDUiCgogID4gQXBwYXJlbnRseSB0aGUgeDg2IG1hbnVhbCBzYXlzIHlvdSAic2hvdWxkIiBub3Qg ZG8gdGhpcyBbLi5dIEl0IGlzIHVuY2xlYXIKICA+IHdoYXQgInNob3VsZCIgbWVhbnMgKG9yIHdo YXQgYW55dGhpbmcgZWxzZSBoZXJlIHJlYWxseSBtZWFucywgb3BlcmF0aW9uYWxseQogID4gc3Bl YWtpbmcuLi4pCgpbMV0gaHR0cHM6Ly9lZWwuaXMvYysrZHJhZnQvYXRvbWljcyN0eXBlcy5nZW5l cmljLmdlbmVyYWwtMwpbMl0gaHR0cHM6Ly9kb2MucnVzdC1sYW5nLm9yZy9zdGQvc3luYy9hdG9t aWMvaW5kZXguaHRtbCNwb3J0YWJpbGl0eQpbM10gaHR0cHM6Ly9kb2MucnVzdC1sYW5nLm9yZy9u aWdodGx5L3N0ZC9zeW5jL2F0b21pYy9zdHJ1Y3QuQXRvbWljVTY0Lmh0bWwKCgpfX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpsaW51eC1hcm0ta2VybmVsIG1h aWxpbmcgbGlzdApsaW51eC1hcm0ta2VybmVsQGxpc3RzLmluZnJhZGVhZC5vcmcKaHR0cDovL2xp c3RzLmluZnJhZGVhZC5vcmcvbWFpbG1hbi9saXN0aW5mby9saW51eC1hcm0ta2VybmVsCg==