public inbox for linux-kernel@vger.kernel.org
 help / color / mirror / Atom feed
* Re: [PATCH v2 2/3] rust: dma: convert the read/write macros to return Result
@ 2025-04-10 22:58 Benno Lossin
  2025-04-10 23:28 ` Danilo Krummrich
  0 siblings, 1 reply; 7+ messages in thread
From: Benno Lossin @ 2025-04-10 22:58 UTC (permalink / raw)
  To: Danilo Krummrich
  Cc: Abdiel Janulgue, a.hindborg, rust-for-linux, Miguel Ojeda,
	Alex Gaynor, Boqun Feng, Gary Guo, Björn Roy Baron,
	Alice Ryhl, Trevor Gross, Valentin Obst, open list,
	Christoph Hellwig, Marek Szyprowski, Robin Murphy, airlied,
	open list:DMA MAPPING HELPERS

On Thu Apr 10, 2025 at 5:34 PM CEST, Danilo Krummrich wrote:
> On Thu, Apr 10, 2025 at 03:11:01PM +0000, Benno Lossin wrote:
>> On Thu Apr 10, 2025 at 1:54 PM CEST, Danilo Krummrich wrote:
>> > On Thu, Apr 10, 2025 at 11:58:17AM +0300, Abdiel Janulgue wrote:
>> >> @@ -78,13 +74,14 @@ impl Drop for DmaSampleDriver {
>> >>      fn drop(&mut self) {
>> >>          dev_info!(self.pdev.as_ref(), "Unload DMA test driver.\n");
>> >>  
>> >> -        let _ = || -> Result {
>> >> -            for (i, value) in TEST_VALUES.into_iter().enumerate() {
>> >> -                assert_eq!(kernel::dma_read!(self.ca[i].h), value.0);
>> >> -                assert_eq!(kernel::dma_read!(self.ca[i].b), value.1);
>> >> -            }
>> >> -            Ok(())
>> >> -        }();
>> >> +        for (i, value) in TEST_VALUES.into_iter().enumerate() {
>> >> +            let val0 = kernel::dma_read!(self.ca[i].h);
>> >> +            let val1 = kernel::dma_read!(self.ca[i].b);
>> >> +            assert!(val0.is_ok());
>> >> +            assert!(val1.is_ok());
>> >> +            assert_eq!(val0.unwrap(), value.0);
>> >> +            assert_eq!(val1.unwrap(), value.1);
>> >
>> > Maybe use if-let to avoid the unwrap?
>> >
>> > 	if let Ok(val0) = val0 {
>> > 	   assert_eq!(val0, value.0);
>> > 	}
>> >
>> > I know it's a bit pointless, since we know it must be ok, but the educational
>> > message of the example should be to check and not to unwrap, so maybe that's
>> > better.
>> 
>> The if-let will silently ignore any errors, so I don't think that it's
>> fit for example code either.
>
> Yes, but we still have the assert!() before, so the full sequence would be:
>
> 	assert!(val0.is_ok());
>
> 	if let Ok(val0) = val0 {
> 	   assert_eq!(val0, value.0);
> 	}

Ah right, missed that.

> The intention would be to avoid patterns that shouldn't be used in "real" code;
> assert!() should be obvious not to use for real code.

Yeah, I'm not sure if this is that valuable. I think having "real code"
is better, but I don't have any idea what to do in this case.

Why does this sample do the validation in the `drop` method in the first
place? I guess the same code on the C side would do this in `remove` or
whatever the equivalent thing is there, but would there be the option to
report an error? Or is `remove` an infallible operation? In that case
`assert!` probably is still the best option.

---
Cheers,
Benno


^ permalink raw reply	[flat|nested] 7+ messages in thread
* [PATCH v2 0/3] Additional improvements for dma coherent allocator
@ 2025-04-10  8:58 Abdiel Janulgue
  2025-04-10  8:58 ` [PATCH v2 2/3] rust: dma: convert the read/write macros to return Result Abdiel Janulgue
  0 siblings, 1 reply; 7+ messages in thread
From: Abdiel Janulgue @ 2025-04-10  8:58 UTC (permalink / raw)
  To: a.hindborg, benno.lossin, rust-for-linux
  Cc: Miguel Ojeda, Alex Gaynor, Boqun Feng, Gary Guo,
	Björn Roy Baron, Alice Ryhl, Trevor Gross, Danilo Krummrich,
	Valentin Obst, open list, Christoph Hellwig, Marek Szyprowski,
	Robin Murphy, airlied, open list:DMA MAPPING HELPERS,
	Abdiel Janulgue

Changes since v1:
- Pull in reviewed-by tags and include links.
- Improve error handling in rust dma sample driver.
- Clarifications in documentation.
Link to v1: https://lore.kernel.org/all/20250326201230.3193329-1-abdiel.janulgue@gmail.com/

Abdiel Janulgue (3):
  rust: dma: clarify wording and consistency in `coherent` nomenclature
  rust: dma: convert the read/write macros to return Result
  rust: dma: add as_slice/write functions for CoherentAllocation

 rust/kernel/dma.rs       | 151 +++++++++++++++++++++++++++++++--------
 samples/rust/rust_dma.rs |  25 +++----
 2 files changed, 133 insertions(+), 43 deletions(-)


base-commit: 0af2f6be1b4281385b618cb86ad946eded089ac8
-- 
2.43.0


^ permalink raw reply	[flat|nested] 7+ messages in thread

end of thread, other threads:[~2025-04-10 23:28 UTC | newest]

Thread overview: 7+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2025-04-10 22:58 [PATCH v2 2/3] rust: dma: convert the read/write macros to return Result Benno Lossin
2025-04-10 23:28 ` Danilo Krummrich
  -- strict thread matches above, loose matches on Subject: below --
2025-04-10  8:58 [PATCH v2 0/3] Additional improvements for dma coherent allocator Abdiel Janulgue
2025-04-10  8:58 ` [PATCH v2 2/3] rust: dma: convert the read/write macros to return Result Abdiel Janulgue
2025-04-10 11:21   ` Danilo Krummrich
2025-04-10 11:54   ` Danilo Krummrich
2025-04-10 15:11     ` Benno Lossin
2025-04-10 15:34       ` Danilo Krummrich

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox