Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Feat/nrf52xxx/spi/improve #4699

Draft
wants to merge 5 commits into
base: dev
Choose a base branch
from

Conversation

milkpirate
Copy link

@milkpirate milkpirate commented Jan 14, 2025

As requested per #4660 (review)

What I did

SPI

  • Create SPIMode type
  • Make SPI implement io.Reader, io.Writer
  • Update formatting to align with other switch-cases
  • Update SPI documentation reference

conf &^= (nrf.SPIM_CONFIG_CPOL_ActiveHigh << nrf.SPIM_CONFIG_CPOL_Pos)
conf &^= (nrf.SPIM_CONFIG_CPHA_Leading << nrf.SPIM_CONFIG_CPHA_Pos)
}
conf = config.Mode.ApplyTo(conf)
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't feel this is necessary?
SPIMode type 👍
ApplyTo() method 👎

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I like it because:

  • It says what it does. It applies the mode to the config
  • It make the switch case testable
  • It hides the implementation details which are not necessary at this level of logic
  • Though they are still inspect-able if one is really interested

I would like to keep it in if you have not striking counter arguments. I can also make it private if you dont like it being public.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This change is a machine level exported API change, which is not in itself a bad change but it must be discussed beforehand. A lot of things must be checked before making such a change.

It hides the implementation details which are not necessary at this level of logic

Configure takes a SPIConfig and configures hardware. There is no intermediate step to abstract. There is no shared logic here between other MCUs. "Not necessary" are too strong words. Maybe one could argue that modularizing functions within Configure allows sharing logic between other higher level functions; but that is not the case here. The only argument I see for this change is that Configure is too long of a function to comfortably read- and even in that case I'd argue: on what basis? There seems to be ~6 actions performed within Configure which add to the cognitive load- and your change does not actually reduce the amount of actions performed, it just shortens the code, which might make it easier to read but does not reduce the intrinsic amount of congitive load of the Configure method.

I'd strongly err on the side of avoiding changes that make code less localized without reducing cognitive load.

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Test ability is no argument for you, ok. Will inline.

// set frequency
var freq uint32
switch {
case config.Frequency == 0: // default MCU SPI speed
freq = nrf.SPIM_FREQUENCY_FREQUENCY_M4
Copy link
Contributor

@ysoldak ysoldak Jan 17, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't see this as improvement :( Previous code looks cleaner to me: separates concerns of a) ensuring default value and b) handling frequency.

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Found the separate if-statement superfluous, since we already have a flow control on the frequency.

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

can you two @ysoldak, @b0ch3nski agree on that?

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I find switch statements much easier to read but I think it's just a matter of personal preference. Nevertheless, we already have a switch here and that lonely if statement looks like it has rejoined it's people 😃

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I find switch statements much easier to read but I think it's just a matter of personal preference. Nevertheless, we already have a switch here and that lonely if statement looks like it has rejoined it's people 😃

Yes, felt the same to me.

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Regarding switch, I must confess, I was struggling to understand what's going on at first.
I was expecting every 'case' to produce a unique value (number of unique values = number of cases in switch).
I would propose merge two cases, but then case condition becomes long and look ugly.

So I still prefer deal with default value first, then handle the value, regardless default it is or not.
It may look nice/smart to have only one switch without an extra "if" before it, because we can, but I'd say readability suffers, at least in my case.

Copy link
Contributor

@soypat soypat left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

machine package breaking changes must be discussed beforehand. And some nits

conf &^= (nrf.SPIM_CONFIG_CPOL_ActiveHigh << nrf.SPIM_CONFIG_CPOL_Pos)
conf &^= (nrf.SPIM_CONFIG_CPHA_Leading << nrf.SPIM_CONFIG_CPHA_Pos)
}
conf = config.Mode.ApplyTo(conf)
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This change is a machine level exported API change, which is not in itself a bad change but it must be discussed beforehand. A lot of things must be checked before making such a change.

It hides the implementation details which are not necessary at this level of logic

Configure takes a SPIConfig and configures hardware. There is no intermediate step to abstract. There is no shared logic here between other MCUs. "Not necessary" are too strong words. Maybe one could argue that modularizing functions within Configure allows sharing logic between other higher level functions; but that is not the case here. The only argument I see for this change is that Configure is too long of a function to comfortably read- and even in that case I'd argue: on what basis? There seems to be ~6 actions performed within Configure which add to the cognitive load- and your change does not actually reduce the amount of actions performed, it just shortens the code, which might make it easier to read but does not reduce the intrinsic amount of congitive load of the Configure method.

I'd strongly err on the side of avoiding changes that make code less localized without reducing cognitive load.

Comment on lines +341 to +350
// Read implements [io.Reader]. And reads as many bytes as the given buffer is long
func (spi *SPI) Read(r []byte) (int, error) {
return len(r), spi.Tx(nil, r)
}

// Write implements [io.Writer]. And writes as long as there are bytes in w.
func (spi *SPI) Write(w []byte) (int, error) {
return len(w), spi.Tx(w, nil)
}

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Read and Write are not part of the SPI interface. It is easy enough to implement an abstraction if needed that works for all SPI hardwares of all MCUs

func writeSPI(w []byte, spi interface {Tx(w,r []byte) error}) (int,error) {
    return len(w), spi.Tx(w,nil)
}

Copy link
Author

@milkpirate milkpirate Jan 18, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yeah, lets do it! Actually I was surprised that SPI is not supplying it, since it would have seemed the more natural way to interface with SPI than the current one. Can you point me to the relevant file/code section?

SPI2 = SPI{Bus: nrf.SPIM2}
)

type SPIMode uint8
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is a breaking change. It must be discussed in an issue beforehand.

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ok, will remove it from the config struct definition, so one can pass to the config but the type is not required.

// Configure is intended to setup the SPI interface.
func (spi SPI) Configure(config SPIConfig) error {
// Configure is intended to set up the SPI interface.
func (spi *SPI) Configure(config SPIConfig) error {
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The pointer receiver is not a change I'm against, in fact I think it may make sense to change it. I'd be curious as to why you are changing it :)

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

  • Well the SPI interfaces are created as singletons, so why should we copy it on its receivers.
  • One would usually expect to configure the very instance where Configure is attached to and not a copy (that gets thrown away. Technically we configure the hardware not the instance but still it feels odd and as I said counter intuitive.

Signed-off-by: Paul Schroeder <[email protected]>
@milkpirate milkpirate force-pushed the feat/nrf52xxx/spi/improve branch from 65e67b9 to 6163664 Compare January 18, 2025 16:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants