From patchwork Mon Aug 14 08:46:20 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Benno Lossin X-Patchwork-Id: 13597 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a59:b824:0:b0:3f2:4152:657d with SMTP id z4csp2623178vqi; Mon, 14 Aug 2023 02:30:00 -0700 (PDT) X-Google-Smtp-Source: AGHT+IFabPVToD/JdYLUumBr3aVMWfiKLi2c9/Q+kJ7skZ3cXXNOsaVbhZ54oVbc0m86QDO9Sdtz X-Received: by 2002:a17:906:8a50:b0:99c:a2ca:4f54 with SMTP id gx16-20020a1709068a5000b0099ca2ca4f54mr7776048ejc.34.1692005400328; Mon, 14 Aug 2023 02:30:00 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1692005400; cv=none; d=google.com; s=arc-20160816; b=pGfY5kqeWB1POAKmwke1koL4aqN0OL8uGFc1XbNv6oUNks4bcrKOohHWbnhR6dHycK GWRBKMGi3MGlWf5gYJxv7317Tvni0oJczWZGbdYN3VAXrlv2rIY/N3+zLwB/pkF0ic5f UaywuTm7XHa4TxViRqgLVqF5jUVTH5R8HM3bUh49H3btW7xe2h/Vc7Vg++vImhK5+xnI bv0pdv11ivIdx1PJqk4zUdJMWlfXPugVhmXyxpJTQFoepy0QJgAZ1Hbnhdn01ZZNTWC2 cDmfBUjBQLqwRYrA83QjKiKS3ZxSVEcAJNcq6mNLqiMs6DX04/Njyakcq5Hpn+v4f6l1 gydQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:content-transfer-encoding:mime-version :feedback-id:message-id:subject:cc:from:to:dkim-signature:date; bh=NUvcaCDg0HGc9dhZ00uXG0esOB9jrNJkMRhz0/WtxiA=; fh=7GeocHchc1dhQshmcmeV63fFh89Ig2uhaENoJfyb2o4=; b=pFIiTvinjX+VtFHg71n9prMdkp4sqlN0iwuHMde5+ll1Wv4GEfL/kBaQHrUje2wOXQ Bu/9a1AmQl0JEx4Ip9xlC4On4sV2K3zIYyLQKaMssHzIGU7P+XWjBUCEPlAc+os+wrtc 79dCVfdA9kGE5DX3DnJsmrLcbEW/KT7Xlq6wOEY+vS/F0kBHhGjSaiK9jCaElscEkJI2 vMBTlja5p+wsqWE9FB8QiT0N1AKWpAUCeKHACKdeuCFVZDC3KBmp1XIETl0Q3/SARHdr WyQ4xN2GocxtRqsobB/MPJgIkhhJgVOoGjEhOK9NG0b4dq/L1EyHlM9yTnHK1ADBc/1+ f49A== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@proton.me header.s=protonmail header.b="k2qN/Jx4"; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=proton.me Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id f4-20020a170906824400b0099bcb54fae7si7164576ejx.512.2023.08.14.02.29.36; Mon, 14 Aug 2023 02:30:00 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20; Authentication-Results: mx.google.com; dkim=pass header.i=@proton.me header.s=protonmail header.b="k2qN/Jx4"; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org; dmarc=pass (p=QUARANTINE sp=QUARANTINE dis=NONE) header.from=proton.me Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S234591AbjHNIql (ORCPT + 99 others); Mon, 14 Aug 2023 04:46:41 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:33900 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S235014AbjHNIqc (ORCPT ); Mon, 14 Aug 2023 04:46:32 -0400 Received: from mail-40131.protonmail.ch (mail-40131.protonmail.ch [185.70.40.131]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 7EE2710B for ; Mon, 14 Aug 2023 01:46:27 -0700 (PDT) Date: Mon, 14 Aug 2023 08:46:20 +0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=proton.me; s=protonmail; t=1692002785; x=1692261985; bh=NUvcaCDg0HGc9dhZ00uXG0esOB9jrNJkMRhz0/WtxiA=; h=Date:To:From:Cc:Subject:Message-ID:Feedback-ID:From:To:Cc:Date: Subject:Reply-To:Feedback-ID:Message-ID:BIMI-Selector; b=k2qN/Jx4xLT8u3/WhAEHUGylS53aNDn/BAIJT49zave/Xo1ylAlaE5tBfBoNKLQl+ YH+buY4ZZlXuuDIhx0sALudnBY7gXbfUrmMY3lV2MHHgEe5VySOHUXxc43ypZ8xcmu ToyTu+U7yqADqq04WplwdcK4tOZgO0rWf8+9/PVT2bWYF61cDSvI9aWCQpYN8QZ6+q r+wO8ZEP/oSPJeCfDPBxhyFwGEOx3bAGXz0Jh4z+ZUv7v6U+8yEh89cogCqyiLJrnQ c5q1+/3377N+I8cOUG4PgUHnuapwHF7cb/+Tm7Wgkf0w7omIskyoRL88uEsVHT8uCa 0AnqL3+AlCRyg== To: Miguel Ojeda , Wedson Almeida Filho , Alex Gaynor From: Benno Lossin Cc: Boqun Feng , Gary Guo , =?utf-8?q?Bj=C3=B6rn_Roy_Baron?= , Benno Lossin , Alice Ryhl , Andreas Hindborg , rust-for-linux@vger.kernel.org, linux-kernel@vger.kernel.org, patches@lists.linux.dev Subject: [PATCH v4 00/13] Quality of life improvements for pin-init Message-ID: <20230814084602.25699-1-benno.lossin@proton.me> Feedback-ID: 71780778:user:proton MIME-Version: 1.0 X-Spam-Status: No, score=-2.1 required=5.0 tests=BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,RCVD_IN_DNSWL_BLOCKED, RCVD_IN_MSPIKE_H5,RCVD_IN_MSPIKE_WL,SPF_HELO_PASS,SPF_PASS autolearn=unavailable autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on lindbergh.monkeyblade.net Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org X-getmail-retrieved-from-mailbox: INBOX X-GMAIL-THRID: 1774196254853861597 X-GMAIL-MSGID: 1774196254853861597 This patch series adds several improvements to the pin-init api: - a derive macro for the `Zeroable` trait, - makes hygiene of fields in initializers behave like normal struct initializers would behave, - prevent stackoverflow without optimizations - add `..Zeroable::zeroed()` syntax to zero missing fields, - support arbitrary paths in initializer macros. It is based on the `rust-dev` branch. This is the fourth version of this patch series. - v3: https://lore.kernel.org/rust-for-linux/20230729090838.225225-1-benno.lossin@proton.me/ - v2: https://lore.kernel.org/rust-for-linux/20230719141918.543938-1-benno.lossin@proton.me/ - v1: https://lore.kernel.org/rust-for-linux/20230624092330.157338-1-benno.lossin@proton.me/ Changes not present on modified commits: v3 -> v4: No changes. v2 -> v3: - make `#[pin_data]` work better with `#[cfg]` attributes on fields. v1 -> v2: - implement `Zeroable` for `Opaque`, - remove blanket impl of `PinInit` for `Init` and make it a supertrait instead, - add `{pin_}chain` functions to execute code after initialization, - update the example macro expansion. Benno Lossin (13): rust: init: consolidate init macros rust: init: make `#[pin_data]` compatible with conditional compilation of fields rust: add derive macro for `Zeroable` rust: init: make guards in the init macros hygienic rust: init: wrap type checking struct initializers in a closure rust: init: make initializer values inaccessible after initializing rust: init: add `..Zeroable::zeroed()` syntax for zeroing all missing fields rust: init: Add functions to create array initializers rust: init: add support for arbitrary paths in init macros rust: init: implement `Zeroable` for `UnsafeCell` and `Opaque` rust: init: make `PinInit` a supertrait of `Init` rust: init: add `{pin_}chain` functions to `{Pin}Init` rust: init: update expanded macro explanation rust/kernel/init.rs | 646 ++++++++++++++------------------- rust/kernel/init/__internal.rs | 39 +- rust/kernel/init/macros.rs | 519 +++++++++++++++++++++++--- rust/kernel/prelude.rs | 2 +- rust/macros/lib.rs | 20 + rust/macros/quote.rs | 12 + rust/macros/zeroable.rs | 72 ++++ 7 files changed, 857 insertions(+), 453 deletions(-) create mode 100644 rust/macros/zeroable.rs base-commit: e73e793b32b7c440a53fd4da75a34c062841b66f