From: "Benno Lossin" <lossin@kernel.org>
To: "Onur Özkan" <work@onurozkan.dev>
Cc: <linux-kernel@vger.kernel.org>, <rust-for-linux@vger.kernel.org>,
<ojeda@kernel.org>, <alex.gaynor@gmail.com>,
<boqun.feng@gmail.com>, <gary@garyguo.net>,
<a.hindborg@kernel.org>, <aliceryhl@google.com>,
<tmgross@umich.edu>, <dakr@kernel.org>, <peterz@infradead.org>,
<mingo@redhat.com>, <will@kernel.org>, <longman@redhat.com>,
<felipe_life@live.com>, <daniel@sedlak.dev>,
<bjorn3_gh@protonmail.com>, "Lyude" <thatslyude@gmail.com>
Subject: Re: [PATCH v5 0/3] rust: add `ww_mutex` support
Date: Wed, 30 Jul 2025 12:55:18 +0200 [thread overview]
Message-ID: <DBPC27REX4N1.3JA4SSHDYXAHJ@kernel.org> (raw)
In-Reply-To: <20250730132457.20a13d71@nimda.home>
On Wed Jul 30, 2025 at 12:24 PM CEST, Onur Özkan wrote:
> On Tue, 29 Jul 2025 19:15:12 +0200
> "Benno Lossin" <lossin@kernel.org> wrote:
>
>> > - The second note is about how EDEADLK is handled. On the C side, it
>> > looks like some code paths may not release all the previously locked
>> > mutexes or have a special/custom logic when locking returns EDEADLK
>> > (see [3]). So, handling EDEADLK automatically (pointed
>> > in [1]) can be quite useful for most cases, but that could also be a
>> > limitation in certain scenarios.
>> >
>> > I was thinking we could provide an alternative version of each
>> > `lock*` function that accepts a closure which is called on the
>> > EDEADLK error. This way, we can support both auto-release locks and
>> > custom logic for handling EDEADLK scenarios.
>> >
>> > Something like this (just a dummy code for demonstration):
>> >
>> > ctx.lock_and_handle_edeadlk(|active_locks| {
>> > // user-defined handling here
>> > });
>>
>> But this function wouldn't be locking any additional locks, right?
>>
>> I think the closure makes sense to give as a way to allow custom code.
>> But we definitely should try to get the common use-cases closure-free
>> (except of course they run completely custom code to their specific
>> use-case).
>>
>> We can also try to invent a custom return type that is used instead of
>> `Result`. So for example:
>>
>> let a: WwMutex<'_, A>;
>> let b: WwMutex<'_, B>;
>> let ctx: WwAcquireCtx<'_>;
>>
>> ctx.enter() // EnteredContext<'_, ()>
>> .lock(a) // LockAttempt<'_, A, ()>
>> .or_err(a)? // EnteredContext<'_, (A,)>
>> .lock(b) // LockAttempt<'_, B, (A,)>
>> .or_lock_slow(a, b) // Result<EnteredContext<'_, (A, B,)>>
>> ?.finish() // (WwMutexGuard<'_, A>, WwMutexGuard<'_,
>> B>)
>>
>> But no idea if this is actually useful...
>
> That wouldn't work if the user wants to lock `a` and `b` in separate
> calls, right? If user wants to lock `a` right away and lock `b` later
> under certain conditions (still in the same context as `a`), then to
> automatically release `a`, we have to keep the locked mutexes in some
> dynamic list inside `EnteredContext` so we can access all the locked
> mutexes when we want to unlock them on EDEADLK.
Not sure I understand, you can write:
let a: WwMutex<'_, A>;
let b: WwMutex<'_, B>;
let ctx: WwAcquireCtx<'_>;
let lock_ctx = ctx.enter()
.lock(a)
.or_err(a)?;
if !cond() {
return ...;
}
lock_ctx.lock(b)
.or_lock_slow(a, b)?
.finish()
>> What I think would be a good way forward would be to convert some
>> existing C uses of `WwMutex` to the intended Rust API and see how it
>> looks. Best to cover several different kinds of uses.
>
> Good idea. I will try find sometime to do that during next week.
Thanks!
---
Cheers,
Benno
next prev parent reply other threads:[~2025-07-30 10:55 UTC|newest]
Thread overview: 53+ messages / expand[flat|nested] mbox.gz Atom feed top
2025-06-21 18:44 [PATCH v5 0/3] rust: add `ww_mutex` support Onur Özkan
2025-06-21 18:44 ` [PATCH v5 1/3] rust: add C wrappers for `ww_mutex` inline functions Onur Özkan
2025-06-21 18:44 ` [PATCH v5 2/3] implement ww_mutex abstraction for the Rust tree Onur Özkan
2025-06-22 9:18 ` Benno Lossin
2025-06-23 13:04 ` Boqun Feng
2025-06-23 13:44 ` Benno Lossin
2025-06-23 14:47 ` Boqun Feng
2025-06-23 15:14 ` Benno Lossin
2025-06-23 17:11 ` Boqun Feng
2025-06-23 23:22 ` Benno Lossin
2025-06-24 5:34 ` Onur
2025-06-24 8:20 ` Benno Lossin
2025-06-24 12:31 ` Onur
2025-06-24 12:48 ` Benno Lossin
2025-07-07 13:39 ` Onur
2025-07-07 15:31 ` Benno Lossin
2025-07-07 18:06 ` Onur
2025-07-07 19:48 ` Benno Lossin
2025-07-08 14:21 ` Onur
2025-08-01 21:22 ` Daniel Almeida
2025-08-02 10:42 ` Benno Lossin
2025-08-02 13:41 ` Miguel Ojeda
2025-08-02 14:15 ` Daniel Almeida
2025-08-02 20:58 ` Benno Lossin
2025-08-05 15:18 ` Daniel Almeida
2025-08-05 9:08 ` Onur Özkan
2025-08-05 12:41 ` Daniel Almeida
2025-08-05 13:50 ` Onur Özkan
2025-06-23 11:51 ` Alice Ryhl
2025-06-23 13:26 ` Boqun Feng
2025-06-23 18:17 ` Onur
2025-06-23 21:54 ` Boqun Feng
2025-06-21 18:44 ` [PATCH v5 3/3] add KUnit coverage on Rust `ww_mutex` implementation Onur Özkan
2025-06-22 9:16 ` [PATCH v5 0/3] rust: add `ww_mutex` support Benno Lossin
2025-07-24 13:53 ` Onur Özkan
2025-07-29 17:15 ` Benno Lossin
2025-07-30 10:24 ` Onur Özkan
2025-07-30 10:55 ` Benno Lossin [this message]
2025-08-05 16:22 ` Lyude Paul
2025-08-05 17:56 ` Daniel Almeida
2025-08-06 5:57 ` Onur Özkan
2025-08-06 17:37 ` Lyude Paul
2025-08-06 19:30 ` Benno Lossin
2025-08-14 11:13 ` Onur Özkan
2025-08-14 12:38 ` Daniel Almeida
2025-08-14 15:56 ` Onur
2025-08-14 18:22 ` Daniel Almeida
2025-08-18 12:56 ` Onur Özkan
2025-09-01 10:05 ` Onur Özkan
2025-09-01 12:28 ` Daniel Almeida
2025-09-02 16:53 ` Onur
2025-09-03 6:24 ` Onur
2025-09-03 13:04 ` Daniel Almeida
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=DBPC27REX4N1.3JA4SSHDYXAHJ@kernel.org \
--to=lossin@kernel.org \
--cc=a.hindborg@kernel.org \
--cc=alex.gaynor@gmail.com \
--cc=aliceryhl@google.com \
--cc=bjorn3_gh@protonmail.com \
--cc=boqun.feng@gmail.com \
--cc=dakr@kernel.org \
--cc=daniel@sedlak.dev \
--cc=felipe_life@live.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=thatslyude@gmail.com \
--cc=tmgross@umich.edu \
--cc=will@kernel.org \
--cc=work@onurozkan.dev \
/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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.