Re: [RFC PATCH 04/11] rust: block: introduce `kernel::block::bio` module

From: Andreas Hindborg
Date: Wed Feb 28 2024 - 09:47:12 EST



Hi Benno,

"Andreas Hindborg (Samsung)" <nmi@xxxxxxxxxxxx> writes:

<cut>

>>> +);
>>> +
>>> +impl<'a> Bio<'a> {
>>> + /// Returns an iterator over segments in this `Bio`. Does not consider
>>> + /// segments of other bios in this bio chain.
>>> + #[inline(always)]
>>
>> Why are these `inline(always)`? The compiler should inline them
>> automatically?
>
> No, the compiler would not inline into modules without them. I'll check
> again if that is still the case.

I just tested this again. If I remove the attribute, the compiler will
inline some of the functions but not others. I guess it depends on the
inlining heuristics of rustc. The majority of the attributes I have put
is not necessary, since the compiler will inline by default. But for
instance `<BioIterator as Iterator>::next` is not inlined by default and
it really should be inlined.

Since most of the attributes do not change compiler default behavior, I
would rather tag all functions that I want inlined than have to
disassemble build outputs to check which functions actually need the
attribute. With this approach, we are not affected by changes to
compiler heuristics either.

What do you think?

Best regards,
Andreas