Thread (42 messages) 42 messages, 7 authors, 2023-10-17

Re: [PATCH net-next v4 1/4] rust: core abstractions for network PHY drivers

From: Benno Lossin <hidden>
Date: 2023-10-17 14:32:25
Also in: rust-for-linux

On 17.10.23 16:21, Greg KH wrote:
On Tue, Oct 17, 2023 at 02:04:33PM +0000, Benno Lossin wrote:
quoted
On 17.10.23 14:38, Andrew Lunn wrote:
quoted
quoted
quoted
Because set_speed() updates the member in phy_device and read()
updates the object that phy_device points to?
`set_speed` is entirely implemented on the Rust side and is not protected
by a lock.
With the current driver, all entry points into the driver are called
from the phylib core, and the core guarantees that the lock is
taken. So it should not matter if its entirely implemented in the Rust
side, somewhere up the call stack, the lock was taken.
Sure that might be the case, I am trying to guard against this future
problem:

      fn soft_reset(driver: &mut Driver) -> Result {
          let driver = driver
          thread::scope(|s| {
              let thread_a = s.spawn(|| {
                  for _ in 0..100_000_000 {
                      driver.set_speed(10);
                  }
              });
              let thread_b = s.spawn(|| {
                  for _ in 0..100_000_000 {
                      driver.set_speed(10);
                  }
              });
              thread_a.join();
              thread_b.join();
          });
          Ok(())
      }

This code spawns two new threads both of which can call `set_speed`,
since it takes `&self`. But this leads to a data race, since those
accesses are not serialized. I know that this is a very contrived
example, but you never when this will become reality, so we should
do the right thing now and just use `&mut self`, since that is exactly
what it is for.
Kernel code is written for the use cases today, don't worry about
tomorrow, you can fix the issue tomorrow if you change something that
requires it.
The kind of coding style that (mis)-uses interior mutability is not
something that we can change over night. We should do it properly to
begin with.
And what "race" are you getting here?  You don't have threads in the
kernel :)
I chose threads, since I am a lot more familiar with that, but the
kernel also has workqueues which execute stuff concurrently (if I
remember correctly). We also have patches for bindings for the workqueue
so they are not that far away.
Also, if two things are setting the speed, wonderful, you get some sort
of value eventually, you have much bigger problems in your code as you
shouldn't have been doing that in the first place.
This is not allowed in Rust, it is UB and will lead to bad things.
quoted
Not that we do not even have a way to create threads on the Rust side
at the moment.
Which is a good thing :)
quoted
But we should already be thinking about any possible code pattern.
Again, no, deal with what we have today, kernel code is NOT
future-proof, that's not how we write this stuff.
While I made my argument for future proofing, I think that we
should just be using the standard Rust stuff where it applies.

When you want to modify something, use `&mut T`, if not then use
`&T`. Only deviate from this if you have a good argument.

-- 
Cheers,
Benno
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help