rust-for-linux.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
From: Andreas Hindborg <a.hindborg@kernel.org>
To: Alice Ryhl <aliceryhl@google.com>
Cc: "Boqun Feng" <boqun.feng@gmail.com>,
	"Miguel Ojeda" <ojeda@kernel.org>,
	"Alex Gaynor" <alex.gaynor@gmail.com>,
	"Gary Guo" <gary@garyguo.net>,
	"Björn Roy Baron" <bjorn3_gh@protonmail.com>,
	"Benno Lossin" <lossin@kernel.org>,
	"Trevor Gross" <tmgross@umich.edu>,
	"Danilo Krummrich" <dakr@kernel.org>,
	"Jens Axboe" <axboe@kernel.dk>,
	linux-block@vger.kernel.org, rust-for-linux@vger.kernel.org,
	linux-kernel@vger.kernel.org
Subject: Re: [PATCH v4 11/15] rnull: enable configuration via `configfs`
Date: Thu, 14 Aug 2025 09:40:13 +0200	[thread overview]
Message-ID: <87zfc2e4gy.fsf@t14s.mail-host-address-is-not-set> (raw)
In-Reply-To: <CAH5fLgi+R=ZW2bFnZP2=231vV6JAHTZJ0UBYkdojG=HjBYR3MA@mail.gmail.com>

"Alice Ryhl" <aliceryhl@google.com> writes:

> On Wed, Aug 13, 2025 at 7:36 PM Andreas Hindborg <a.hindborg@kernel.org> wrote:
>>
>> "Alice Ryhl" <aliceryhl@google.com> writes:
>>
>> > For your convenience, I already wrote a safe wrapper of kstrtobool for
>> > an out-of-tree driver. You're welcome to copy-paste this:
>> >
>> > fn kstrtobool(kstr: &CStr) -> Result<bool> {
>> >     let mut res = false;
>> >     to_result(unsafe {
>> > kernel::bindings::kstrtobool(kstr.as_char_ptr(), &mut res) })?;
>> >     Ok(res)
>> > }
>>
>> Thanks, I did one as well today, accepting `&str` instead. The examples
>> highlight why it is not great:
>
> Yeah, well, I think we should still use it for consistency.
>
>>   /// Convert common user inputs into boolean values using the kernel's `kstrtobool` function.
>>   ///
>>   /// This routine returns `Ok(bool)` if the first character is one of 'YyTt1NnFf0', or
>>   /// [oO][NnFf] for "on" and "off". Otherwise it will return `Err(EINVAL)`.
>>   ///
>>   /// # Examples
>>   ///
>>   /// ```
>>   /// # use kernel::str::kstrtobool;
>>   ///
>>   /// // Lowercase
>>   /// assert_eq!(kstrtobool("true"), Ok(true));
>>   /// assert_eq!(kstrtobool("tr"), Ok(true));
>>   /// assert_eq!(kstrtobool("t"), Ok(true));
>>   /// assert_eq!(kstrtobool("twrong"), Ok(true)); // <-- 🤷
>>   /// assert_eq!(kstrtobool("false"), Ok(false));
>>   /// assert_eq!(kstrtobool("f"), Ok(false));
>>   /// assert_eq!(kstrtobool("yes"), Ok(true));
>>   /// assert_eq!(kstrtobool("no"), Ok(false));
>>   /// assert_eq!(kstrtobool("on"), Ok(true));
>>   /// assert_eq!(kstrtobool("off"), Ok(false));
>>   ///
>>   /// // Camel case
>>   /// assert_eq!(kstrtobool("True"), Ok(true));
>>   /// assert_eq!(kstrtobool("False"), Ok(false));
>>   /// assert_eq!(kstrtobool("Yes"), Ok(true));
>>   /// assert_eq!(kstrtobool("No"), Ok(false));
>>   /// assert_eq!(kstrtobool("On"), Ok(true));
>>   /// assert_eq!(kstrtobool("Off"), Ok(false));
>>   ///
>>   /// // All caps
>>   /// assert_eq!(kstrtobool("TRUE"), Ok(true));
>>   /// assert_eq!(kstrtobool("FALSE"), Ok(false));
>>   /// assert_eq!(kstrtobool("YES"), Ok(true));
>>   /// assert_eq!(kstrtobool("NO"), Ok(false));
>>   /// assert_eq!(kstrtobool("ON"), Ok(true));
>>   /// assert_eq!(kstrtobool("OFF"), Ok(false));
>>   ///
>>   /// // Numeric
>>   /// assert_eq!(kstrtobool("1"), Ok(true));
>>   /// assert_eq!(kstrtobool("0"), Ok(false));
>>   ///
>>   /// // Invalid input
>>   /// assert_eq!(kstrtobool("invalid"), Err(EINVAL));
>>   /// assert_eq!(kstrtobool("2"), Err(EINVAL));
>>   /// ```
>>   pub fn kstrtobool(input: &str) -> Result<bool> {
>>       let mut result: bool = false;
>>       let c_str = CString::try_from_fmt(fmt!("{input}"))?;
>>
>>       // SAFETY: `c_str` points to a valid null-terminated C string, and `result` is a valid
>>       // pointer to a bool that we own.
>>       let ret = unsafe { bindings::kstrtobool(c_str.as_char_ptr(), &mut result as *mut bool) };
>>
>>       kernel::error::to_result(ret).map(|_| result)
>>   }
>>
>> Not sure if we should take `CStr` or `str`, what do you think?
>
> Using CStr makes sense, since it avoids having the caller perform a
> useless utf-8 check.

If we re-implement the entire function in rust, we can do the processing
on a `&str`. That way, we can skip the allocation to enforce null
termination. At least for this use case. I would rather do a utf8 check
than allocate and copy.


Best regards,
Andreas Hindborg




  reply	other threads:[~2025-08-14  7:40 UTC|newest]

Thread overview: 34+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2025-08-12  8:44 [PATCH v4 00/15] rnull: add configfs, remote completion to rnull Andreas Hindborg
2025-08-12  8:44 ` [PATCH v4 01/15] rust: str: normalize imports in `str.rs` Andreas Hindborg
2025-08-12  8:44 ` [PATCH v4 02/15] rust: str: allow `str::Formatter` to format into `&mut [u8]` Andreas Hindborg
2025-08-13  7:18   ` Alice Ryhl
2025-08-12  8:44 ` [PATCH v4 03/15] rust: str: expose `str::{Formatter, RawFormatter}` publicly Andreas Hindborg
2025-08-13  7:18   ` Alice Ryhl
2025-08-12  8:44 ` [PATCH v4 04/15] rust: str: introduce `NullTerminatedFormatter` Andreas Hindborg
2025-08-13  7:21   ` Alice Ryhl
2025-08-13 12:34     ` Andreas Hindborg
2025-08-12  8:44 ` [PATCH v4 05/15] rust: block: normalize imports for `gen_disk.rs` Andreas Hindborg
2025-08-12  8:44 ` [PATCH v4 06/15] rust: block: use `NullTerminatedFormatter` Andreas Hindborg
2025-08-13  7:22   ` Alice Ryhl
2025-08-12  8:44 ` [PATCH v4 07/15] rust: block: remove `RawWriter` Andreas Hindborg
2025-08-12  8:44 ` [PATCH v4 08/15] rust: block: remove trait bound from `mq::Request` definition Andreas Hindborg
2025-08-12  8:44 ` [PATCH v4 09/15] rust: block: add block related constants Andreas Hindborg
2025-08-13  7:22   ` Alice Ryhl
2025-08-12  8:44 ` [PATCH v4 10/15] rnull: move driver to separate directory Andreas Hindborg
2025-08-12  8:44 ` [PATCH v4 11/15] rnull: enable configuration via `configfs` Andreas Hindborg
2025-08-13  7:27   ` Alice Ryhl
2025-08-13 12:47     ` Andreas Hindborg
2025-08-13 13:54       ` Alice Ryhl
2025-08-13 17:36         ` Andreas Hindborg
2025-08-13 18:05           ` Alice Ryhl
2025-08-14  7:40             ` Andreas Hindborg [this message]
2025-08-14  8:58               ` Alice Ryhl
2025-08-12  8:44 ` [PATCH v4 12/15] rust: block: add `GenDisk` private data support Andreas Hindborg
2025-08-13  7:30   ` Alice Ryhl
2025-08-13 12:56     ` Andreas Hindborg
2025-08-13 13:50       ` Alice Ryhl
2025-08-12  8:44 ` [PATCH v4 13/15] rust: block: mq: fix spelling in a safety comment Andreas Hindborg
2025-08-12  8:44 ` [PATCH v4 14/15] rust: block: add remote completion to `Request` Andreas Hindborg
2025-08-12  8:44 ` [PATCH v4 15/15] rnull: add soft-irq completion support Andreas Hindborg
2025-08-13  7:32   ` Alice Ryhl
2025-08-14 18:28     ` Andreas Hindborg

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=87zfc2e4gy.fsf@t14s.mail-host-address-is-not-set \
    --to=a.hindborg@kernel.org \
    --cc=alex.gaynor@gmail.com \
    --cc=aliceryhl@google.com \
    --cc=axboe@kernel.dk \
    --cc=bjorn3_gh@protonmail.com \
    --cc=boqun.feng@gmail.com \
    --cc=dakr@kernel.org \
    --cc=gary@garyguo.net \
    --cc=linux-block@vger.kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=lossin@kernel.org \
    --cc=ojeda@kernel.org \
    --cc=rust-for-linux@vger.kernel.org \
    --cc=tmgross@umich.edu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).