From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail-wr1-f44.google.com (mail-wr1-f44.google.com [209.85.221.44]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 2D92E272E55 for ; Tue, 1 Jul 2025 11:27:30 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=209.85.221.44 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1751369252; cv=none; b=Ghk37zp8E8jWV1S2MgNtuAERZg4YKOixyHU+OtMuGWdDtnpqb7DNe54dgZNBF3MRoo0X1Y5RI0luq3iCsnpgMSg8BszK1K0OlczcesnR9ZKr3OkjyFj0oMkMsLH4udImgh9hAgGvn9jRLDTiOU7n/W2nlfOfVqy4Tm0LiJx+8r4= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1751369252; c=relaxed/simple; bh=wu+y9HC23Oq5erl9wHBy05FaR0sOsDonLjOD+CU56j8=; h=MIME-Version:References:In-Reply-To:From:Date:Message-ID:Subject: To:Cc:Content-Type; b=OD/0lHk9ux/GOwCmhcxxdRDqa7tE0d9nnY+Wt3peYIfd/tDAlgj12rQZvKN5ZGIBHTwf2gwI3YpVqlqW2kdUXvtAF47erGrCoLeQ/6Rm+Ok3vhCH6yA2DiIs7vggMmXgJz2VkFeRmogUCVcXH//Wx7CbE9bLAwgVglFJAOV0KAA= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=google.com; spf=pass smtp.mailfrom=google.com; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b=fKegY00l; arc=none smtp.client-ip=209.85.221.44 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=reject dis=none) header.from=google.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=google.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=google.com header.i=@google.com header.b="fKegY00l" Received: by mail-wr1-f44.google.com with SMTP id ffacd0b85a97d-3a525eee2e3so3506404f8f.2 for ; Tue, 01 Jul 2025 04:27:30 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=20230601; t=1751369249; x=1751974049; darn=vger.kernel.org; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:from:to:cc:subject:date :message-id:reply-to; bh=rFGdzEcgnBAN7UgiVSiQMptJ/+tcJNlwx5ELLDUDPxQ=; b=fKegY00l618cOuegPcw4TuXcjQ9ZFmkN7uXGsvKvVoxYx+/L2kLxp6a8QvNdsc1P1b 1D2yGdTt09nodsYWKz+sI6s7Auq+rBT1hpdXaxUIi00gjhSLTEYPCGEafyLkyByF7gH/ ToG2tMMTJYDeaedhdY7Ac7+Adz8p7nCziOQzqRxfZ2B/o+gJ3LG4Rjx6PbQCk/zfcFQe Ihc6ghgnyPS4u8ZZCrEFzuoKAdasfGGkfj9cDGCo3C6D2LLU/PWnwBT7cT1MEqFqvmUD /BCksHlfVJ4dSmE36hohQVtYEYdOE6swieQjHJ80M1ve/5tZ5urQVFDC/XfVFjti+Ru/ oAUw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1751369249; x=1751974049; h=content-transfer-encoding:cc:to:subject:message-id:date:from :in-reply-to:references:mime-version:x-gm-message-state:from:to:cc :subject:date:message-id:reply-to; bh=rFGdzEcgnBAN7UgiVSiQMptJ/+tcJNlwx5ELLDUDPxQ=; b=gX/PO8RWzw75aVBIWm0yHcgF/4xIxWx70bVHw7Wrb3uxa0H/J4EI5mj8cWs1Pcnoff oJvTA29sKZp2LMuHkSzjmg69Y53So6q58y+lZYb2ITQaxRM0PHgLThLS4QOOT0B5h2W+ 3RqEcEJMzCu/9asIAT6yS3xTsZrA78uIkqEK6VtiGGPFrqE167Hp1FJ+jotx6nCCS2lp rh93Pt48022qoSow4B501/u4NtlTG755BtshTKomQPUAH8CItWDR1gSmyDkLcaOGSBrW +KaJRad6XKwqWS0s43L9TWDM/TFmmiFLQ3Lbi13NC8FJF5g33qwLEYMfblIhGicQ0aMt gSlg== X-Forwarded-Encrypted: i=1; AJvYcCV2It0HxJEcnbS7KT00HRU5WQxDG5tyeCUqaeGT1go5i9HKjvY2s7Um2A/wJej67eYQlGYkPQmkvB2UOOw=@vger.kernel.org X-Gm-Message-State: AOJu0YwZkWPcvoWGYioF10n7GrzxDwfpcg0+0rGP6xmoWrcOWxVjWFKQ X465jcdIANTYAbs5ZZoa6zNkY3KF7Us1nkQolcqeIEUwXtd+Ziq9MH3QXGLCDM8R9I0CU/nA7rS mMQcSiTwia6HtRI6Q2Brvnilad7+WR/p8UKjY02dsPM1PEU+tZ2InVRis X-Gm-Gg: ASbGncs+nnP/RB/6WDXYBaoxztjJHG3I1R3wIvZHvJCrC4h7czRKFC8HKH8s8Wi5cRP dJ10TKX5xcUQH2Ezf1rM41flW6fLZ2sHOq56l2k+pn8JW6kugptSWXDAfcUka2oNEeHJGsvj5Pv 05TuAgkSdRQkM0dc9p8VsQdX3xkfCwvVPfb/S96Chc9NIP X-Google-Smtp-Source: AGHT+IGY9ENogPbhR++5el8tc93qpB0P4cd4ToGuQXmPQg+51bkpHu1khytiuDSIfh/j1REFHWqcZg8MkszIy6JF1co= X-Received: by 2002:a05:6000:2a88:b0:3a4:e5ea:1ac0 with SMTP id ffacd0b85a97d-3a8fdb2aec3mr13842998f8f.5.1751369249359; Tue, 01 Jul 2025 04:27:29 -0700 (PDT) Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 References: <20250626165927.66498-1-marcelomoreira1905@gmail.com> In-Reply-To: <20250626165927.66498-1-marcelomoreira1905@gmail.com> From: Alice Ryhl Date: Tue, 1 Jul 2025 13:27:17 +0200 X-Gm-Features: Ac12FXy9fSEb8YmCVSxOV6H3NmjeEov779-xfZBPocnuU9wnTBoDi6kNs7ISpKc Message-ID: Subject: Re: [PATCH v5 0/2] rust: revocable: documentation and refactorings To: Marcelo Moreira , Danilo Krummrich Cc: rust-for-linux@vger.kernel.org, linux-kernel@vger.kernel.org, lossin@kernel.org, ojeda@kernel.org, skhan@linuxfoundation.org, linux-kernel-mentees@lists.linuxfoundation.org, ~lkcamp/patches@lists.sr.ht Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable On Thu, Jun 26, 2025 at 6:59=E2=80=AFPM Marcelo Moreira wrote: > > This patch series brings documentation and refactorings to the `Revocable= ` type. > > Changes include: > - Clarifying the write invariant and updating associated safety comments = for `Revocable`. > - Splitting the internal `revoke_internal` function into two distinct, ex= plicit functions: `revoke()` (safe, synchronizing with RCU) and `revoke_nos= ync()` (unsafe, without RCU synchronization), now returning `bool` to indic= ate revocation status. > > Marcelo Moreira (2): > rust: revocable: Refactor revocation mechanism to remove generic > revoke_internal > rust: revocable: Clarify write invariant and update safety comments Danilo, did you have Revocable / Devres changes that conflict with this? Alice