Received: by 2002:a05:6358:7058:b0:131:369:b2a3 with SMTP id 24csp2940578rwp; Fri, 14 Jul 2023 14:07:11 -0700 (PDT) X-Google-Smtp-Source: APBJJlEvTxoQuwtYCjka6BXJnaGk8qPgDVBK4dMrjN+LdBLiYuel/wZny2l55CB3PIm0Q2+fU3ya X-Received: by 2002:a17:902:eccd:b0:1ac:3605:97ec with SMTP id a13-20020a170902eccd00b001ac360597ecmr5145186plh.62.1689368831410; Fri, 14 Jul 2023 14:07:11 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1689368831; cv=none; d=google.com; s=arc-20160816; b=ZfXLhsn9eFYNZwT5JI/JivG6jNY5I60/3bYDJbMpfWrLppwW9QI4kfBhgFas6PCsrc 5Ihd3ovnc1RjBb9osvM7BeUNqpP5UPHpyKyAdjLw1ThQz93SerWVJRQMJoqU58cGO8r2 68BZ9uq+DeFUWr333glGNekVOU/xzDy5wuVs6pOlTE8v+MOV7OC1DrC1QBPQn6+hgiiO i/ZGlm1uVIChgi4kjaOhTuJXkaAP67MBXZOoEkwa1I4Jhiw7i8A2e3u56MGmglDwXf8j bCHuHuWvPWaxUT0l7wRaWGGZ+2g3ULwJ0OmuSlL3xNEVhK/3+vX3kjUCpxJkdNvpkMTM rJiA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:content-transfer-encoding:in-reply-to:from :references:cc:to:content-language:subject:user-agent:mime-version :date:message-id:dkim-signature; bh=6PYAqewVax5HL+fWUDbqh6UrtMzJWX9lEo4WEAOX/mI=; fh=6PU2yh8A95AplbMGONRlaLzsLQPqF4DMSxpFygOFhEE=; b=lLr/Pp8sBhmSSglTF2vcFiGVQ5dKKj9ifSCtYPSd4MBn5u75d6tMtzSaJrsaIU8TUP 3TfUQK7A+y57id5J28PXKvtsgv36ndQCVQCBtMd7vhj/WuMXhsB47hTyKlsYoV0RL6I5 pTSDaHtBsuQQ3Q5mNxyQezJ/WKv1PfwTeCXAz1PEX4X5tH6+bUC+Dd6LM4WybTxC43I+ WEe0lCW79Qtt31ENSNnvmXTOwJn/z/VdRmDFTUgZFhoGxw3J4Mcv5qqW8EfZbEZ/rm3u 8CnKS7cj8NVTUDZj2kYQJ+MBb5KxqNQbkTxvdc63djR/zRrb1E3LoU+J7Mb1Y0Jh27O1 Pwcg== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gmail.com header.s=20221208 header.b=D3xt2IHK; 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=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from out1.vger.email (out1.vger.email. [2620:137:e000::1:20]) by mx.google.com with ESMTP id kq5-20020a170903284500b001b8b0c1650esi7266507plb.63.2023.07.14.14.06.58; Fri, 14 Jul 2023 14:07:11 -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=@gmail.com header.s=20221208 header.b=D3xt2IHK; 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=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S236373AbjGNUiJ (ORCPT + 99 others); Fri, 14 Jul 2023 16:38:09 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:34458 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S236503AbjGNUiF (ORCPT ); Fri, 14 Jul 2023 16:38:05 -0400 Received: from mail-oi1-x22d.google.com (mail-oi1-x22d.google.com [IPv6:2607:f8b0:4864:20::22d]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id E747735B0; Fri, 14 Jul 2023 13:37:53 -0700 (PDT) Received: by mail-oi1-x22d.google.com with SMTP id 5614622812f47-3a36b309524so1948773b6e.3; Fri, 14 Jul 2023 13:37:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20221208; t=1689367073; x=1691959073; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :from:to:cc:subject:date:message-id:reply-to; bh=6PYAqewVax5HL+fWUDbqh6UrtMzJWX9lEo4WEAOX/mI=; b=D3xt2IHKlZYOWMGKxFcdpr3Ci7XvlhAh0yS7s9RFAhvwgK0Hf4F2xW4bMpvXHfwN+F AbHlA7upHcu6RM89upM0WgFJOcdD9T8tx0qkymY4pFpI+XbK5QZrVz9mYDrBpIpVRgwb 47pveQDNymhrkrQ28Hz4bV4pKivFcY3bixNSdRAI5rQhWyl1A6x03ZvBU1X9Z6nKqys+ hi7zK5cU+Wp3OM4BmDlyWQpcjwBNfN2U8nQKB0MBPyVvxtk8+5+bv0SUd0FJacsAb935 CokPEFGGA9F8QeZb2XUaV56LNzuBHnSESIcW3dgQwddxRqIejj5xF15MigNLY0qyI6Od tKuA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20221208; t=1689367073; x=1691959073; h=content-transfer-encoding:in-reply-to:from:references:cc:to :content-language:subject:user-agent:mime-version:date:message-id :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=6PYAqewVax5HL+fWUDbqh6UrtMzJWX9lEo4WEAOX/mI=; b=huyI1dK8le3KFSA43TDHWK4DpvhLpUp6t61OIbXW/5GdmlfC1JszkV46srH9UWlxSr L2+sJfyBK66IvjfEeFHcAH7iWXP2X3NlDNPQurruKbqW2GDEGROjo/1G8kE4zqVmuIUa Vus0FfzDEABWuXHpLd56s96/Vrx5mi9QUvBxM1mQZwTUS+joFLLP8Fuu4QsB7x5LP7ch Tx1N63805DjPtzjdxPGNIPBgrkoIpYGAu9XYrO6hRCRX8ElCVulFUD+874kmQXq7l9Sn rXFBMXAyVyYobEAv2UUYds8IG0c8uCOL2Rjy3eAy9Ch5FlbbyYAd1o/oROEu0UFSfiDc zDRg== X-Gm-Message-State: ABy/qLbOmzRuxeTyU1owhVgNp169rG7QZrEVqFkjatESeroq6qVt4Az3 l1ZaaAzrv5UG7gQpUZ0vOfE= X-Received: by 2002:a05:6808:13c9:b0:3a3:f67b:876f with SMTP id d9-20020a05680813c900b003a3f67b876fmr7967810oiw.46.1689367073159; Fri, 14 Jul 2023 13:37:53 -0700 (PDT) Received: from [192.168.54.90] (static.220.238.itcsa.net. [190.15.220.238]) by smtp.gmail.com with ESMTPSA id j5-20020a544805000000b0039ee1de4e6esm4255680oij.38.2023.07.14.13.37.47 (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Fri, 14 Jul 2023 13:37:52 -0700 (PDT) Message-ID: <75146bf9-7bd3-d638-5c6b-23c7327a6f49@gmail.com> Date: Fri, 14 Jul 2023 12:10:19 -0300 MIME-Version: 1.0 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.13.0 Subject: Re: [PATCH RFC 06/11] rust: sync: Replace static LockClassKey refs with a pointer wrapper Content-Language: en-US To: Asahi Lina , Miguel Ojeda , Alex Gaynor , Wedson Almeida Filho , Boqun Feng , Gary Guo , =?UTF-8?Q?Bj=c3=b6rn_Roy_Baron?= , Benno Lossin , Masahiro Yamada , Nathan Chancellor , Nick Desaulniers , Nicolas Schier , Tom Rix , Daniel Vetter Cc: Hector Martin , Sven Peter , Alyssa Rosenzweig , asahi@lists.linux.dev, rust-for-linux@vger.kernel.org, linux-kernel@vger.kernel.org, linux-kbuild@vger.kernel.org, llvm@lists.linux.dev References: <20230714-classless_lockdep-v1-0-229b9671ce31@asahilina.net> <20230714-classless_lockdep-v1-6-229b9671ce31@asahilina.net> From: Martin Rodriguez Reboredo In-Reply-To: <20230714-classless_lockdep-v1-6-229b9671ce31@asahilina.net> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Spam-Status: No, score=-0.6 required=5.0 tests=BAYES_00,DATE_IN_PAST_03_06, DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FROM, NICE_REPLY_A,RCVD_IN_DNSWL_BLOCKED,SPF_HELO_NONE,SPF_PASS, T_SCC_BODY_TEXT_LINE,URIBL_BLOCKED autolearn=no 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 On 7/14/23 06:13, Asahi Lina wrote: > We want to be able to handle dynamic lock class creation and using > pointers to things that aren't a real lock_class_key as lock classes. > Doing this by casting around Rust references is difficult without > accidentally invoking UB. > > Instead, switch LockClassKey to being a raw pointer wrapper around a > lock_class_key, which means there is no UB possible on the Rust side > just by creating and consuming these objects. The C code also should > never actually dereference lock classes, only use their address > (possibly with an offset). > > We still provide a dummy ZST version of this wrapper, to be used when > lockdep is disabled. > > Signed-off-by: Asahi Lina > --- > [...] > diff --git a/rust/kernel/sync/lockdep.rs b/rust/kernel/sync/lockdep.rs > index cb68b18dc0ad..d8328f4275fb 100644 > --- a/rust/kernel/sync/lockdep.rs > +++ b/rust/kernel/sync/lockdep.rs > @@ -9,19 +9,36 @@ > > /// Represents a lockdep class. It's a wrapper around C's `lock_class_key`. > #[repr(transparent)] > -pub struct LockClassKey(Opaque); > +pub struct StaticLockClassKey(Opaque); > > -impl LockClassKey { > +impl StaticLockClassKey { > /// Creates a new lock class key. > pub const fn new() -> Self { > Self(Opaque::uninit()) > } > > + /// Returns the lock class key reference for this static lock class. > + pub const fn key(&self) -> LockClassKey { > + LockClassKey(self.0.get()) `Opaque::get` is not a `const fn` so this will not compile. > + } > +} > + > +// SAFETY: `bindings::lock_class_key` just represents an opaque memory location, and is never > +// actually dereferenced. > +unsafe impl Sync for StaticLockClassKey {} > + > +/// A reference to a lock class key. This is a raw pointer to a lock_class_key, > +/// which is required to have a static lifetime. > +#[derive(Copy, Clone)] > +pub struct LockClassKey(*mut bindings::lock_class_key); > + > +impl LockClassKey { > pub(crate) fn as_ptr(&self) -> *mut bindings::lock_class_key { I think this can be made into a `const fn`. What do you all think? > - self.0.get() > + self.0 > } > } > > [...]