From: Alice Ryhl <aliceryhl@google.com>
To: boqun.feng@gmail.com
Cc: a.hindborg@samsung.com, alex.gaynor@gmail.com,
aliceryhl@google.com, benno.lossin@proton.me,
bjorn3_gh@protonmail.com, gary@garyguo.net,
linux-kernel@vger.kernel.org, longman@redhat.com,
mingo@redhat.com, ojeda@kernel.org, peterz@infradead.org,
rust-for-linux@vger.kernel.org, tglx@linutronix.de,
tiagolam@gmail.com, wedsonaf@gmail.com, will@kernel.org,
yakoyoku@gmail.com
Subject: Re: [PATCH v3 3/4] rust: sync: add `CondVar::wait_timeout`
Date: Fri, 5 Jan 2024 10:30:11 +0000 [thread overview]
Message-ID: <20240105103011.1241629-1-aliceryhl@google.com> (raw)
In-Reply-To: <ZZcuwkBsvSs6bzXF@boqun-archlinux>
Boqun Feng <boqun.feng@gmail.com> writes:
> On Thu, Jan 04, 2024 at 02:02:43PM +0000, Alice Ryhl wrote:
>> Sleep on a condition variable with a timeout.
>>
>> This is used by Rust Binder for process freezing. There, we want to
>> sleep until the freeze operation completes, but we want to be able to
>> abort the process freezing if it doesn't complete within some timeout.
>>
>> Reviewed-by: Martin Rodriguez Reboredo <yakoyoku@gmail.com>
>> Reviewed-by: Tiago Lam <tiagolam@gmail.com>
>> Signed-off-by: Alice Ryhl <aliceryhl@google.com>
>
> Reviewed-by: Boqun Feng <boqun.feng@gmail.com>
>
> That said, I want to hear from Thomas on the usage of jiffies, see
> below:
>
>> - fn wait_internal<T: ?Sized, B: Backend>(&self, wait_state: u32, guard: &mut Guard<'_, T, B>) {
>> + fn wait_internal<T: ?Sized, B: Backend>(
>> + &self,
>> + wait_state: u32,
>> + guard: &mut Guard<'_, T, B>,
>> + timeout_in_jiffies: c_long,
>
> This is an internal function, and it makes sense we use the same type
> for durations as the C function we rely on.
>
>> + /// Releases the lock and waits for a notification in interruptible mode.
>> + ///
>> + /// Atomically releases the given lock (whose ownership is proven by the guard) and puts the
>> + /// thread to sleep. It wakes up when notified by [`CondVar::notify_one`] or
>> + /// [`CondVar::notify_all`], or when a timeout occurs, or when the thread receives a signal.
>> + #[must_use = "wait_interruptible_timeout returns if a signal is pending, so the caller must check the return value"]
>> + pub fn wait_interruptible_timeout<T: ?Sized, B: Backend>(
>> + &self,
>> + guard: &mut Guard<'_, T, B>,
>> + jiffies: Jiffies,
>
> This is a public interface, so it may make sense use a HZ-independent
> type for durations, e.g. core::time::Duration:
>
> https://doc.rust-lang.org/core/time/struct.Duration.html
>
> but we don't have enough users to see whether there would be a need for
> HZ-dependent durations, so I think it's fine that we stick with a simple
> solution in Alice's patchset to get the ball rolling, we can always
> remove a public interface with HZ-dependent durations whenever we want.
>
> Thoughts?
I tried to justify why I did not do that in the commit message for patch
2. Let me include it here:
Note that we need to convert to jiffies in Binder. It is not enough to
introduce a variant of `CondVar::wait_timeout` that takes the timeout in
msecs because we need to be able to restart the sleep with the remaining
sleep duration if it is interrupted, and if the API takes msecs rather
than jiffies, then that would require a conversion roundtrip jiffies->
msecs->jiffies that is best avoided.
Alice
next prev parent reply other threads:[~2024-01-05 10:30 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-01-04 14:02 [PATCH v3 0/4] Additional CondVar methods needed by Rust Binder Alice Ryhl
2024-01-04 14:02 ` [PATCH v3 1/4] rust: sync: add `CondVar::notify_sync` Alice Ryhl
2024-01-04 18:56 ` Boqun Feng
2024-01-04 14:02 ` [PATCH v3 2/4] rust: time: add msecs to jiffies conversion Alice Ryhl
2024-01-04 14:02 ` [PATCH v3 3/4] rust: sync: add `CondVar::wait_timeout` Alice Ryhl
2024-01-04 22:18 ` Boqun Feng
2024-01-05 10:30 ` Alice Ryhl [this message]
2024-01-04 22:44 ` Boqun Feng
2024-01-04 14:02 ` [PATCH v3 4/4] rust: sync: update integer types in CondVar Alice Ryhl
2024-01-04 14:19 ` Martin Rodriguez Reboredo
2024-01-04 22:47 ` Boqun Feng
2024-01-05 9:44 ` Alice Ryhl
2024-01-04 14:17 ` [PATCH v3 0/4] Additional CondVar methods needed by Rust Binder Alice Ryhl
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=20240105103011.1241629-1-aliceryhl@google.com \
--to=aliceryhl@google.com \
--cc=a.hindborg@samsung.com \
--cc=alex.gaynor@gmail.com \
--cc=benno.lossin@proton.me \
--cc=bjorn3_gh@protonmail.com \
--cc=boqun.feng@gmail.com \
--cc=gary@garyguo.net \
--cc=linux-kernel@vger.kernel.org \
--cc=longman@redhat.com \
--cc=mingo@redhat.com \
--cc=ojeda@kernel.org \
--cc=peterz@infradead.org \
--cc=rust-for-linux@vger.kernel.org \
--cc=tglx@linutronix.de \
--cc=tiagolam@gmail.com \
--cc=wedsonaf@gmail.com \
--cc=will@kernel.org \
--cc=yakoyoku@gmail.com \
/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