Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.37 as permitted sender) client-ip=23.128.96.37;
Date:   Mon, 30 Oct 2023 16:36:35 +0000
To:     Alice Ryhl <aliceryhl@google.com>
From:   Benno Lossin <benno.lossin@proton.me>
Cc:     boqun.feng@gmail.com, a.hindborg@samsung.com, akiyks@gmail.com,
        alex.gaynor@gmail.com, bjorn3_gh@protonmail.com,
        brauner@kernel.org, david@fromorbit.com, dhowells@redhat.com,
        dlustig@nvidia.com, elver@google.com, gary@garyguo.net,
        gregkh@linuxfoundation.org, j.alglave@ucl.ac.uk,
        joel@joelfernandes.org, kent.overstreet@gmail.com,
        linux-arch@vger.kernel.org, linux-fsdevel@vger.kernel.org,
        linux-kernel@vger.kernel.org, llvm@lists.linux.dev,
        luc.maranget@inria.fr, nathan@kernel.org, ndesaulniers@google.com,
        npiggin@gmail.com, ojeda@kernel.org, parri.andrea@gmail.com,
        paulmck@kernel.org, peterz@infradead.org,
        rust-for-linux@vger.kernel.org, stern@rowland.harvard.edu,
        trix@redhat.com, viro@zeniv.linux.org.uk, wedsonaf@gmail.com,
        will@kernel.org, willy@infradead.org
Subject: Re: [RFC] rust: types: Add read_once and write_once
Message-ID: <Yx813Gi8SUJm_qipa7I_y1k7MYo3Sn8Hoyn_x4rSOcngjqEvS-os6Sbjkoavf0nUIymeYKrzdyLZdEd2aPKnXdDJ46cdPXyAyl33tAN_UYo=@proton.me>
In-Reply-To: <20231030135849.1587717-1-aliceryhl@google.com>
References: <ZTmelWlSncdtExXp@boqun-archlinux> <20231030135849.1587717-1-aliceryhl@google.com>
Feedback-ID: 71780778:user:proton
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Precedence: bulk

On 30.10.23 14:58, Alice Ryhl wrote:
> Boqun Feng <boqun.feng@gmail.com> writes:
>>> On Wed, Oct 25, 2023 at 09:51:28PM +0000, Benno Lossin wrote:
>>>> diff --git a/rust/kernel/types.rs b/rust/kernel/types.rs
>>>> index d849e1979ac7..b0872f751f97 100644
>>>> --- a/rust/kernel/types.rs
>>>> +++ b/rust/kernel/types.rs
>>>
>>> I don't think this should go into `types.rs`. But I do not have a good
>>> name for the new module.
>>
>> kernel::sync?
>=20
> I think `kernel::sync` is a reasonable choice, but here's another
> possibility: Put them in the `bindings` crate.
>=20
> Why? Well, they are a utility that intends to replicate the C
> `READ_ONCE` and `WRITE_ONCE` macros. All of our other methods that do
> the same thing for C functions are functions in the bindings crate.

I think we should keep things separate, that way `bindings` can be fully
automatically generated. Stuff in the bindings crate is just an interface
to the C world. Functions are not implemented there, but rather linked to.

> Similarly, if we ever decide to reimplement a C function in Rust for
> performance/inlining reasons, then I also think that it is reasonable to
> put that Rust-reimplementation in the bindings crate. This approach also
> makes it easy to transparently handle cases where we only reimplement a
> function in Rust under some configurations.

Is it really going to make things easier? We would have to make bindgen
conditionally not create bindings for an item, so I think it would be
easier to just always have the bindings function and handle the
conditional reimplementation fully in the Rust code.

Having extra code in the bindings crate will also make it more difficult
to ensure that only abstractions use the bindings (we already have some
exceptions, but why make it worse?).

--=20
Cheers,
Benno