linux-alpha.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
* Re: [RFT 03/13] sh: Constify ioreadX() iomem argument (as in generic implementation)
       [not found] ` <1578415992-24054-6-git-send-email-krzk@kernel.org>
@ 2020-01-07 17:08   ` Arnd Bergmann
  0 siblings, 0 replies; 15+ messages in thread
From: Arnd Bergmann @ 2020-01-07 17:08 UTC (permalink / raw)
  To: Krzysztof Kozlowski
  Cc: Rich Felker, Jiri Slaby, Michael S. Tsirkin, David Airlie,
	Jason Wang, dri-devel, virtualization, James E.J. Bottomley,
	Networking, Paul Mackerras, linux-arch, Dave Jiang,
	Yoshinori Sato, Michael Ellerman, Helge Deller, Linux-sh list,
	Alexey Brodkin, Geert Uytterhoeven, Ben Skeggs, ML nouveau,
	Dave Airlie, Matt Turner, SYNOPSYS 

On Tue, Jan 7, 2020 at 5:54 PM Krzysztof Kozlowski <krzk@kernel.org> wrote:
>
> The ioreadX() helpers have inconsistent interface.  On some architectures
> void *__iomem address argument is a pointer to const, on some not.
>
> Implementations of ioreadX() do not modify the memory under the address
> so they can be converted to a "const" version for const-safety and
> consistency among architectures.
>
> Signed-off-by: Krzysztof Kozlowski <krzk@kernel.org>

The patch looks good, but I think this has to be done together with the powerpc
version and the header that declares the function, for bisectibility.

       Arnd

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

* Re: [RFT 06/13] arc: Constify ioreadX() iomem argument (as in generic implementation)
       [not found] ` <1578415992-24054-9-git-send-email-krzk@kernel.org>
@ 2020-01-07 17:10   ` Arnd Bergmann
  0 siblings, 0 replies; 15+ messages in thread
From: Arnd Bergmann @ 2020-01-07 17:10 UTC (permalink / raw)
  To: Krzysztof Kozlowski
  Cc: Rich Felker, Jiri Slaby, Michael S. Tsirkin, David Airlie,
	Jason Wang, dri-devel, virtualization, James E.J. Bottomley,
	Networking, Paul Mackerras, linux-arch, Dave Jiang,
	Yoshinori Sato, Michael Ellerman, Helge Deller, Linux-sh list,
	Alexey Brodkin, Geert Uytterhoeven, Ben Skeggs, ML nouveau,
	Dave Airlie, Matt Turner, SYNOPSYS 

On Tue, Jan 7, 2020 at 5:54 PM Krzysztof Kozlowski <krzk@kernel.org> wrote:
>
> The ioreadX() helpers have inconsistent interface.  On some architectures
> void *__iomem address argument is a pointer to const, on some not.
>
> Implementations of ioreadX() do not modify the memory under the
> address so they can be converted to a "const" version for const-safety
> and consistency among architectures.
>
> Signed-off-by: Krzysztof Kozlowski <krzk@kernel.org>

The patch looks correct, but I would not bother here, as it has no
effect on the compiler or its output.

      Arnd

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

* Re: [RFT 00/13] iomap: Constify ioreadX() iomem argument
       [not found] <1578415992-24054-1-git-send-email-krzk@kernel.org>
       [not found] ` <1578415992-24054-6-git-send-email-krzk@kernel.org>
       [not found] ` <1578415992-24054-9-git-send-email-krzk@kernel.org>
@ 2020-01-08  8:07 ` Geert Uytterhoeven
  2020-01-08  8:12   ` Geert Uytterhoeven
  2020-01-08  8:15   ` Krzysztof Kozlowski
       [not found] ` <1578415992-24054-3-git-send-email-krzk@kernel.org>
  3 siblings, 2 replies; 15+ messages in thread
From: Geert Uytterhoeven @ 2020-01-08  8:07 UTC (permalink / raw)
  To: Krzysztof Kozlowski
  Cc: Rich Felker, Jiri Slaby, Michael S. Tsirkin, David Airlie,
	Benjamin Herrenschmidt, Jason Wang, DRI Development,
	virtualization, James E.J. Bottomley, netdev, Paul Mackerras,
	Linux-Arch, Dave Jiang, Yoshinori Sato, Michael Ellerman,
	Helge Deller, Linux-sh list, Alexey Brodkin, Ben Skeggs, nouveau,
	Dave Airlie, Matt Turner, arcml

Hi Krzysztof,

On Tue, Jan 7, 2020 at 5:53 PM Krzysztof Kozlowski <krzk@kernel.org> wrote:
> The ioread8/16/32() and others have inconsistent interface among the
> architectures: some taking address as const, some not.
>
> It seems there is nothing really stopping all of them to take
> pointer to const.

Shouldn't all of them take const volatile __iomem pointers?
It seems the "volatile" is missing from all but the implementations in
include/asm-generic/io.h.

> Patchset was really tested on all affected architectures.
> Build testing is in progress - I hope auto-builders will point any issues.
>
>
> Todo
> ====
> Convert also string versions (ioread16_rep() etc) if this aproach looks OK.
>
>
> Merging
> =======
> The first 5 patches - iomap, alpha, sh, parisc and powerpc - should probably go
> via one tree, or even squashed into one.

Yes, they should be squashed, cfr. Arnd's comment.
I also wouldn't bother doing the updates in patches 6-10.

The rest looks good to me.
Thanks a lot!

Gr{oetje,eeting}s,

                        Geert

-- 
Geert Uytterhoeven -- There's lots of Linux beyond ia32 -- geert@linux-m68k.org

In personal conversations with technical people, I call myself a hacker. But
when I'm talking to journalists I just say "programmer" or something like that.
                                -- Linus Torvalds

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

* Re: [RFT 02/13] alpha: Constify ioreadX() iomem argument (as in generic implementation)
       [not found] ` <1578415992-24054-3-git-send-email-krzk@kernel.org>
@ 2020-01-08  8:10   ` Geert Uytterhoeven
  2020-01-08  9:07     ` Krzysztof Kozlowski
  0 siblings, 1 reply; 15+ messages in thread
From: Geert Uytterhoeven @ 2020-01-08  8:10 UTC (permalink / raw)
  To: Krzysztof Kozlowski
  Cc: Rich Felker, Jiri Slaby, Michael S. Tsirkin, David Airlie,
	Benjamin Herrenschmidt, Jason Wang, DRI Development,
	virtualization, James E.J. Bottomley, netdev, Paul Mackerras,
	Linux-Arch, Dave Jiang, Yoshinori Sato, Michael Ellerman,
	Helge Deller, Linux-sh list, Alexey Brodkin, Ben Skeggs, nouveau,
	Dave Airlie, Matt Turner, arcml

Hi Krzysztof,

On Tue, Jan 7, 2020 at 5:53 PM Krzysztof Kozlowski <krzk@kernel.org> wrote:
> The ioreadX() helpers have inconsistent interface.  On some architectures
> void *__iomem address argument is a pointer to const, on some not.
>
> Implementations of ioreadX() do not modify the memory under the address
> so they can be converted to a "const" version for const-safety and
> consistency among architectures.
>
> Signed-off-by: Krzysztof Kozlowski <krzk@kernel.org>

> --- a/arch/alpha/include/asm/io.h
> +++ b/arch/alpha/include/asm/io.h
> @@ -151,9 +151,9 @@ static inline void generic_##NAME(TYPE b, QUAL void __iomem *addr)  \
>         alpha_mv.mv_##NAME(b, addr);                                    \
>  }
>
> -REMAP1(unsigned int, ioread8, /**/)
> -REMAP1(unsigned int, ioread16, /**/)
> -REMAP1(unsigned int, ioread32, /**/)
> +REMAP1(unsigned int, ioread8, const)
> +REMAP1(unsigned int, ioread16, const)
> +REMAP1(unsigned int, ioread32, const)

If these would become "const volatile", there would no longer be a need
for the last parameter of the REMAP1() macro.

>  REMAP1(u8, readb, const volatile)
>  REMAP1(u16, readw, const volatile)
>  REMAP1(u32, readl, const volatile)

Same for REMAP2() macro below, for iowrite*().

Gr{oetje,eeting}s,

                        Geert

-- 
Geert Uytterhoeven -- There's lots of Linux beyond ia32 -- geert@linux-m68k.org

In personal conversations with technical people, I call myself a hacker. But
when I'm talking to journalists I just say "programmer" or something like that.
                                -- Linus Torvalds

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

* Re: [RFT 00/13] iomap: Constify ioreadX() iomem argument
  2020-01-08  8:07 ` [RFT 00/13] iomap: Constify ioreadX() iomem argument Geert Uytterhoeven
@ 2020-01-08  8:12   ` Geert Uytterhoeven
  2020-01-08  8:18     ` Krzysztof Kozlowski
  2020-01-08  8:15   ` Krzysztof Kozlowski
  1 sibling, 1 reply; 15+ messages in thread
From: Geert Uytterhoeven @ 2020-01-08  8:12 UTC (permalink / raw)
  To: Krzysztof Kozlowski
  Cc: Rich Felker, Jiri Slaby, Michael S. Tsirkin, David Airlie,
	Jason Wang, DRI Development, virtualization, James E.J. Bottomley,
	netdev, Paul Mackerras, Linux-Arch, Dave Jiang, Yoshinori Sato,
	Michael Ellerman, Helge Deller, Linux-sh list, Alexey Brodkin,
	Ben Skeggs, nouveau, Dave Airlie, Matt Turner, arcml,
	Nick Kossifidis

Hi Krzysztof,

On Wed, Jan 8, 2020 at 9:07 AM Geert Uytterhoeven <geert@linux-m68k.org> wrote:
> On Tue, Jan 7, 2020 at 5:53 PM Krzysztof Kozlowski <krzk@kernel.org> wrote:
> > The ioread8/16/32() and others have inconsistent interface among the
> > architectures: some taking address as const, some not.
> >
> > It seems there is nothing really stopping all of them to take
> > pointer to const.
>
> Shouldn't all of them take const volatile __iomem pointers?
> It seems the "volatile" is missing from all but the implementations in
> include/asm-generic/io.h.

As my "volatile" comment applies to iowrite*(), too, probably that should be
done in a separate patch.

Hence with patches 1-5 squashed, and for patches 11-13:
Reviewed-by: Geert Uytterhoeven <geert+renesas@glider.be>

Gr{oetje,eeting}s,

                        Geert

-- 
Geert Uytterhoeven -- There's lots of Linux beyond ia32 -- geert@linux-m68k.org

In personal conversations with technical people, I call myself a hacker. But
when I'm talking to journalists I just say "programmer" or something like that.
                                -- Linus Torvalds

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

* Re: [RFT 00/13] iomap: Constify ioreadX() iomem argument
  2020-01-08  8:07 ` [RFT 00/13] iomap: Constify ioreadX() iomem argument Geert Uytterhoeven
  2020-01-08  8:12   ` Geert Uytterhoeven
@ 2020-01-08  8:15   ` Krzysztof Kozlowski
  1 sibling, 0 replies; 15+ messages in thread
From: Krzysztof Kozlowski @ 2020-01-08  8:15 UTC (permalink / raw)
  To: Geert Uytterhoeven
  Cc: Rich Felker, Jiri Slaby, Michael S. Tsirkin, David Airlie,
	Benjamin Herrenschmidt, Jason Wang, DRI Development,
	virtualization, James E.J. Bottomley, netdev, Paul Mackerras,
	Linux-Arch, Dave Jiang, Yoshinori Sato, Michael Ellerman,
	Helge Deller, Linux-sh list, Alexey Brodkin, Ben Skeggs, nouveau,
	Dave Airlie, Matt Turner, arcml

On Wed, 8 Jan 2020 at 09:08, Geert Uytterhoeven <geert@linux-m68k.org> wrote:
>
> Hi Krzysztof,
>
> On Tue, Jan 7, 2020 at 5:53 PM Krzysztof Kozlowski <krzk@kernel.org> wrote:
> > The ioread8/16/32() and others have inconsistent interface among the
> > architectures: some taking address as const, some not.
> >
> > It seems there is nothing really stopping all of them to take
> > pointer to const.
>
> Shouldn't all of them take const volatile __iomem pointers?
> It seems the "volatile" is missing from all but the implementations in
> include/asm-generic/io.h.

It's kind of separate issue although I could squash it to limit
redundant changes.

> > Patchset was really tested on all affected architectures.

I just spot an error in my first message. I wanted to say:
"Patchset was NOT really tested on all affected architectures."

Obviously.


> > Build testing is in progress - I hope auto-builders will point any issues.
> >
> >
> > Todo
> > ====
> > Convert also string versions (ioread16_rep() etc) if this aproach looks OK.
> >
> >
> > Merging
> > =======
> > The first 5 patches - iomap, alpha, sh, parisc and powerpc - should probably go
> > via one tree, or even squashed into one.
>
> Yes, they should be squashed, cfr. Arnd's comment.
> I also wouldn't bother doing the updates in patches 6-10.

Indeed, thanks for comments.

Best regards,
Krzysztof

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

* Re: [RFT 00/13] iomap: Constify ioreadX() iomem argument
  2020-01-08  8:12   ` Geert Uytterhoeven
@ 2020-01-08  8:18     ` Krzysztof Kozlowski
  2020-01-08  8:35       ` Christophe Leroy
  0 siblings, 1 reply; 15+ messages in thread
From: Krzysztof Kozlowski @ 2020-01-08  8:18 UTC (permalink / raw)
  To: Geert Uytterhoeven
  Cc: Rich Felker, Jiri Slaby, Michael S. Tsirkin, David Airlie,
	Jason Wang, DRI Development, virtualization, James E.J. Bottomley,
	netdev, Paul Mackerras, Linux-Arch, Dave Jiang, Yoshinori Sato,
	Michael Ellerman, Helge Deller, Linux-sh list, Alexey Brodkin,
	Ben Skeggs, nouveau, Dave Airlie, Matt Turner, arcml,
	Nick Kossifidis

On Wed, 8 Jan 2020 at 09:13, Geert Uytterhoeven <geert@linux-m68k.org> wrote:
>
> Hi Krzysztof,
>
> On Wed, Jan 8, 2020 at 9:07 AM Geert Uytterhoeven <geert@linux-m68k.org> wrote:
> > On Tue, Jan 7, 2020 at 5:53 PM Krzysztof Kozlowski <krzk@kernel.org> wrote:
> > > The ioread8/16/32() and others have inconsistent interface among the
> > > architectures: some taking address as const, some not.
> > >
> > > It seems there is nothing really stopping all of them to take
> > > pointer to const.
> >
> > Shouldn't all of them take const volatile __iomem pointers?
> > It seems the "volatile" is missing from all but the implementations in
> > include/asm-generic/io.h.
>
> As my "volatile" comment applies to iowrite*(), too, probably that should be
> done in a separate patch.
>
> Hence with patches 1-5 squashed, and for patches 11-13:
> Reviewed-by: Geert Uytterhoeven <geert+renesas@glider.be>

I'll add to this one also changes to ioreadX_rep() and add another
patch for volatile for reads and writes. I guess your review will be
appreciated once more because of ioreadX_rep()

Thanks,
Krzysztof

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

* Re: [RFT 00/13] iomap: Constify ioreadX() iomem argument
  2020-01-08  8:18     ` Krzysztof Kozlowski
@ 2020-01-08  8:35       ` Christophe Leroy
  2020-01-08  8:43         ` Geert Uytterhoeven
  2020-01-08  8:44         ` Arnd Bergmann
  0 siblings, 2 replies; 15+ messages in thread
From: Christophe Leroy @ 2020-01-08  8:35 UTC (permalink / raw)
  To: Krzysztof Kozlowski, Geert Uytterhoeven
  Cc: Rich Felker, Jiri Slaby, Michael S. Tsirkin, David Airlie,
	nouveau, Jason Wang, DRI Development, virtualization,
	James E.J. Bottomley, Paul Mackerras, Linux-Arch, Dave Jiang,
	Yoshinori Sato, Helge Deller, Linux-sh list, Alexey Brodkin,
	Ben Skeggs, Dave Airlie, Matt Turner, arcml, Nick Kossifidis,
	Allen Hubbe, Arnd Bergmann, Jon



Le 08/01/2020 à 09:18, Krzysztof Kozlowski a écrit :
> On Wed, 8 Jan 2020 at 09:13, Geert Uytterhoeven <geert@linux-m68k.org> wrote:
>>
>> Hi Krzysztof,
>>
>> On Wed, Jan 8, 2020 at 9:07 AM Geert Uytterhoeven <geert@linux-m68k.org> wrote:
>>> On Tue, Jan 7, 2020 at 5:53 PM Krzysztof Kozlowski <krzk@kernel.org> wrote:
>>>> The ioread8/16/32() and others have inconsistent interface among the
>>>> architectures: some taking address as const, some not.
>>>>
>>>> It seems there is nothing really stopping all of them to take
>>>> pointer to const.
>>>
>>> Shouldn't all of them take const volatile __iomem pointers?
>>> It seems the "volatile" is missing from all but the implementations in
>>> include/asm-generic/io.h.
>>
>> As my "volatile" comment applies to iowrite*(), too, probably that should be
>> done in a separate patch.
>>
>> Hence with patches 1-5 squashed, and for patches 11-13:
>> Reviewed-by: Geert Uytterhoeven <geert+renesas@glider.be>
> 
> I'll add to this one also changes to ioreadX_rep() and add another
> patch for volatile for reads and writes. I guess your review will be
> appreciated once more because of ioreadX_rep()
> 

volatile should really only be used where deemed necessary:

https://www.kernel.org/doc/html/latest/process/volatile-considered-harmful.html

It is said: " ...  accessor functions might use volatile on 
architectures where direct I/O memory access does work. Essentially, 
each accessor call becomes a little critical section on its own and 
ensures that the access happens as expected by the programmer."

Christophe

_______________________________________________
linux-snps-arc mailing list
linux-snps-arc@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-snps-arc

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

* Re: [RFT 00/13] iomap: Constify ioreadX() iomem argument
  2020-01-08  8:35       ` Christophe Leroy
@ 2020-01-08  8:43         ` Geert Uytterhoeven
  2020-01-08  8:48           ` Christophe Leroy
  2020-01-08  8:44         ` Arnd Bergmann
  1 sibling, 1 reply; 15+ messages in thread
From: Geert Uytterhoeven @ 2020-01-08  8:43 UTC (permalink / raw)
  To: Christophe Leroy
  Cc: Krzysztof Kozlowski, Rich Felker, Jiri Slaby, Michael S. Tsirkin,
	David Airlie, Jason Wang, DRI Development, virtualization,
	James E.J. Bottomley, netdev, Paul Mackerras, Linux-Arch,
	Dave Jiang, Yoshinori Sato, Helge Deller, Linux-sh list,
	Alexey Brodkin, Ben Skeggs, nouveau, Dave Airlie <airlie>

Hi Christophe,

On Wed, Jan 8, 2020 at 9:35 AM Christophe Leroy <christophe.leroy@c-s.fr> wrote:
> Le 08/01/2020 à 09:18, Krzysztof Kozlowski a écrit :
> > On Wed, 8 Jan 2020 at 09:13, Geert Uytterhoeven <geert@linux-m68k.org> wrote:
> >> On Wed, Jan 8, 2020 at 9:07 AM Geert Uytterhoeven <geert@linux-m68k.org> wrote:
> >>> On Tue, Jan 7, 2020 at 5:53 PM Krzysztof Kozlowski <krzk@kernel.org> wrote:
> >>>> The ioread8/16/32() and others have inconsistent interface among the
> >>>> architectures: some taking address as const, some not.
> >>>>
> >>>> It seems there is nothing really stopping all of them to take
> >>>> pointer to const.
> >>>
> >>> Shouldn't all of them take const volatile __iomem pointers?
> >>> It seems the "volatile" is missing from all but the implementations in
> >>> include/asm-generic/io.h.
> >>
> >> As my "volatile" comment applies to iowrite*(), too, probably that should be
> >> done in a separate patch.
> >>
> >> Hence with patches 1-5 squashed, and for patches 11-13:
> >> Reviewed-by: Geert Uytterhoeven <geert+renesas@glider.be>
> >
> > I'll add to this one also changes to ioreadX_rep() and add another
> > patch for volatile for reads and writes. I guess your review will be
> > appreciated once more because of ioreadX_rep()
>
> volatile should really only be used where deemed necessary:
>
> https://www.kernel.org/doc/html/latest/process/volatile-considered-harmful.html
>
> It is said: " ...  accessor functions might use volatile on
> architectures where direct I/O memory access does work. Essentially,
> each accessor call becomes a little critical section on its own and
> ensures that the access happens as expected by the programmer."

That is exactly the use case here: all above are accessor functions.

Why would ioreadX() not need volatile, while readY() does?

Gr{oetje,eeting}s,

                        Geert

-- 
Geert Uytterhoeven -- There's lots of Linux beyond ia32 -- geert@linux-m68k.org

In personal conversations with technical people, I call myself a hacker. But
when I'm talking to journalists I just say "programmer" or something like that.
                                -- Linus Torvalds

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

* Re: [RFT 00/13] iomap: Constify ioreadX() iomem argument
  2020-01-08  8:35       ` Christophe Leroy
  2020-01-08  8:43         ` Geert Uytterhoeven
@ 2020-01-08  8:44         ` Arnd Bergmann
  2020-01-08  9:15           ` Krzysztof Kozlowski
  1 sibling, 1 reply; 15+ messages in thread
From: Arnd Bergmann @ 2020-01-08  8:44 UTC (permalink / raw)
  To: Christophe Leroy
  Cc: Rich Felker, Jiri Slaby, Michael S. Tsirkin, David Airlie,
	ML nouveau, Jason Wang, DRI Development, virtualization,
	James E.J. Bottomley, Paul Mackerras, Linux-Arch, Dave Jiang,
	Yoshinori Sato, Helge Deller, Linux-sh list, Alexey Brodkin,
	Krzysztof Kozlowski, Geert Uytterhoeven, Ben Skeggs, Dave Airlie,
	Matt Turner, arcml, Nick

On Wed, Jan 8, 2020 at 9:36 AM Christophe Leroy <christophe.leroy@c-s.fr> wrote:
> Le 08/01/2020 à 09:18, Krzysztof Kozlowski a écrit :
> > On Wed, 8 Jan 2020 at 09:13, Geert Uytterhoeven <geert@linux-m68k.org> wrote:
> > I'll add to this one also changes to ioreadX_rep() and add another
> > patch for volatile for reads and writes. I guess your review will be
> > appreciated once more because of ioreadX_rep()
> >
>
> volatile should really only be used where deemed necessary:
>
> https://www.kernel.org/doc/html/latest/process/volatile-considered-harmful.html
>
> It is said: " ...  accessor functions might use volatile on
> architectures where direct I/O memory access does work. Essentially,
> each accessor call becomes a little critical section on its own and
> ensures that the access happens as expected by the programmer."

The I/O accessors are one of the few places in which 'volatile' generally
makes sense, at least for the implementations that do a plain pointer
dereference (probably none of the ones in question here).

In case of readl/writel, this is what we do in asm-generic:

static inline u32 __raw_readl(const volatile void __iomem *addr)
{
        return *(const volatile u32 __force *)addr;
}

The __force-cast that removes the __iomem here also means that
the 'volatile' keyword could be dropped from the argument list,
as it has no real effect any more, but then there are a few drivers
that mark their iomem pointers as either 'volatile void __iomem*' or
(worse) 'volatile void *', so we keep it in the argument list to not
add warnings for those drivers.

It may be time to change these drivers to not use volatile for __iomem
pointers, but that seems out of scope for what Krzysztof is trying
to do. Ideally we would be consistent here though, either using volatile
all the time or never.

        Arnd
_______________________________________________
dri-devel mailing list
dri-devel@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/dri-devel

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

* Re: [RFT 00/13] iomap: Constify ioreadX() iomem argument
  2020-01-08  8:43         ` Geert Uytterhoeven
@ 2020-01-08  8:48           ` Christophe Leroy
  2020-01-08 17:39             ` David Laight
  0 siblings, 1 reply; 15+ messages in thread
From: Christophe Leroy @ 2020-01-08  8:48 UTC (permalink / raw)
  To: Geert Uytterhoeven
  Cc: Krzysztof Kozlowski, Rich Felker, Jiri Slaby, Michael S. Tsirkin,
	David Airlie, Jason Wang, DRI Development, virtualization,
	James E.J. Bottomley, netdev, Paul Mackerras, Linux-Arch,
	Dave Jiang, Yoshinori Sato, Helge Deller, Linux-sh list,
	Alexey Brodkin, Ben Skeggs, nouveau, Dave Airlie <airlie>

Hi Geert,

Le 08/01/2020 à 09:43, Geert Uytterhoeven a écrit :
> Hi Christophe,
> 
> On Wed, Jan 8, 2020 at 9:35 AM Christophe Leroy <christophe.leroy@c-s.fr> wrote:
>> Le 08/01/2020 à 09:18, Krzysztof Kozlowski a écrit :
>>> On Wed, 8 Jan 2020 at 09:13, Geert Uytterhoeven <geert@linux-m68k.org> wrote:
>>>> On Wed, Jan 8, 2020 at 9:07 AM Geert Uytterhoeven <geert@linux-m68k.org> wrote:
>>>>> On Tue, Jan 7, 2020 at 5:53 PM Krzysztof Kozlowski <krzk@kernel.org> wrote:
>>>>>> The ioread8/16/32() and others have inconsistent interface among the
>>>>>> architectures: some taking address as const, some not.
>>>>>>
>>>>>> It seems there is nothing really stopping all of them to take
>>>>>> pointer to const.
>>>>>
>>>>> Shouldn't all of them take const volatile __iomem pointers?
>>>>> It seems the "volatile" is missing from all but the implementations in
>>>>> include/asm-generic/io.h.
>>>>
>>>> As my "volatile" comment applies to iowrite*(), too, probably that should be
>>>> done in a separate patch.
>>>>
>>>> Hence with patches 1-5 squashed, and for patches 11-13:
>>>> Reviewed-by: Geert Uytterhoeven <geert+renesas@glider.be>
>>>
>>> I'll add to this one also changes to ioreadX_rep() and add another
>>> patch for volatile for reads and writes. I guess your review will be
>>> appreciated once more because of ioreadX_rep()
>>
>> volatile should really only be used where deemed necessary:
>>
>> https://www.kernel.org/doc/html/latest/process/volatile-considered-harmful.html
>>
>> It is said: " ...  accessor functions might use volatile on
>> architectures where direct I/O memory access does work. Essentially,
>> each accessor call becomes a little critical section on its own and
>> ensures that the access happens as expected by the programmer."
> 
> That is exactly the use case here: all above are accessor functions.
> 
> Why would ioreadX() not need volatile, while readY() does?
> 

My point was: it might be necessary for some arches and not for others.

And as pointed by Arnd, the volatile is really only necessary for the 
dereference itself, should the arch use dereferencing.

So I guess the best would be to go in the other direction: remove 
volatile keyword wherever possible instead of adding it where it is not 
needed.

Christophe

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

* Re: [RFT 02/13] alpha: Constify ioreadX() iomem argument (as in generic implementation)
  2020-01-08  8:10   ` [RFT 02/13] alpha: Constify ioreadX() iomem argument (as in generic implementation) Geert Uytterhoeven
@ 2020-01-08  9:07     ` Krzysztof Kozlowski
  0 siblings, 0 replies; 15+ messages in thread
From: Krzysztof Kozlowski @ 2020-01-08  9:07 UTC (permalink / raw)
  To: Geert Uytterhoeven
  Cc: Rich Felker, Jiri Slaby, Michael S. Tsirkin, David Airlie,
	Benjamin Herrenschmidt, Jason Wang, DRI Development,
	virtualization, James E.J. Bottomley, netdev, Paul Mackerras,
	Linux-Arch, Dave Jiang, Yoshinori Sato, Michael Ellerman,
	Helge Deller, Linux-sh list, Alexey Brodkin, Ben Skeggs, nouveau,
	Dave Airlie, Matt Turner, arcml

On Wed, Jan 08, 2020 at 09:10:06AM +0100, Geert Uytterhoeven wrote:
> Hi Krzysztof,
> 
> On Tue, Jan 7, 2020 at 5:53 PM Krzysztof Kozlowski <krzk@kernel.org> wrote:
> > The ioreadX() helpers have inconsistent interface.  On some architectures
> > void *__iomem address argument is a pointer to const, on some not.
> >
> > Implementations of ioreadX() do not modify the memory under the address
> > so they can be converted to a "const" version for const-safety and
> > consistency among architectures.
> >
> > Signed-off-by: Krzysztof Kozlowski <krzk@kernel.org>
> 
> > --- a/arch/alpha/include/asm/io.h
> > +++ b/arch/alpha/include/asm/io.h
> > @@ -151,9 +151,9 @@ static inline void generic_##NAME(TYPE b, QUAL void __iomem *addr)  \
> >         alpha_mv.mv_##NAME(b, addr);                                    \
> >  }
> >
> > -REMAP1(unsigned int, ioread8, /**/)
> > -REMAP1(unsigned int, ioread16, /**/)
> > -REMAP1(unsigned int, ioread32, /**/)
> > +REMAP1(unsigned int, ioread8, const)
> > +REMAP1(unsigned int, ioread16, const)
> > +REMAP1(unsigned int, ioread32, const)
> 
> If these would become "const volatile", there would no longer be a need
> for the last parameter of the REMAP1() macro.
> 
> >  REMAP1(u8, readb, const volatile)
> >  REMAP1(u16, readw, const volatile)
> >  REMAP1(u32, readl, const volatile)
> 
> Same for REMAP2() macro below, for iowrite*().

Good point, thanks!

Best regards,
Krzysztof

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

* Re: [RFT 00/13] iomap: Constify ioreadX() iomem argument
  2020-01-08  8:44         ` Arnd Bergmann
@ 2020-01-08  9:15           ` Krzysztof Kozlowski
  2020-01-08 11:55             ` Arnd Bergmann
  0 siblings, 1 reply; 15+ messages in thread
From: Krzysztof Kozlowski @ 2020-01-08  9:15 UTC (permalink / raw)
  To: Arnd Bergmann
  Cc: Rich Felker, Jiri Slaby, Michael S. Tsirkin, David Airlie,
	ML nouveau, DRI Development, virtualization, James E.J. Bottomley,
	Paul Mackerras, Linux-Arch, Dave Jiang, Yoshinori Sato,
	Helge Deller, Linux-sh list, Alexey Brodkin, Geert Uytterhoeven,
	Ben Skeggs, Dave Airlie, Matt Turner, arcml, Nick Kossifidis,
	Allen Hubbe, Jon Mason <jdma>

On Wed, Jan 08, 2020 at 09:44:36AM +0100, Arnd Bergmann wrote:
> On Wed, Jan 8, 2020 at 9:36 AM Christophe Leroy <christophe.leroy@c-s.fr> wrote:
> > Le 08/01/2020 à 09:18, Krzysztof Kozlowski a écrit :
> > > On Wed, 8 Jan 2020 at 09:13, Geert Uytterhoeven <geert@linux-m68k.org> wrote:
> > > I'll add to this one also changes to ioreadX_rep() and add another
> > > patch for volatile for reads and writes. I guess your review will be
> > > appreciated once more because of ioreadX_rep()
> > >
> >
> > volatile should really only be used where deemed necessary:
> >
> > https://www.kernel.org/doc/html/latest/process/volatile-considered-harmful.html
> >
> > It is said: " ...  accessor functions might use volatile on
> > architectures where direct I/O memory access does work. Essentially,
> > each accessor call becomes a little critical section on its own and
> > ensures that the access happens as expected by the programmer."
> 
> The I/O accessors are one of the few places in which 'volatile' generally
> makes sense, at least for the implementations that do a plain pointer
> dereference (probably none of the ones in question here).
> 
> In case of readl/writel, this is what we do in asm-generic:
> 
> static inline u32 __raw_readl(const volatile void __iomem *addr)
> {
>         return *(const volatile u32 __force *)addr;
> }

SuperH is another example:
1. ioread8_rep(void __iomem *addr, void *dst, unsigned long count)
   calls mmio_insb()

2. static inline void mmio_insb(void __iomem *addr, u8 *dst, int count)
   calls __raw_readb()

3. #define __raw_readb(a)          (__chk_io_ptr(a), *(volatile u8  __force *)(a))

Even if interface was not marked as volatile, in fact its implementation
was casting to volatile.

> The __force-cast that removes the __iomem here also means that
> the 'volatile' keyword could be dropped from the argument list,
> as it has no real effect any more, but then there are a few drivers
> that mark their iomem pointers as either 'volatile void __iomem*' or
> (worse) 'volatile void *', so we keep it in the argument list to not
> add warnings for those drivers.
> 
> It may be time to change these drivers to not use volatile for __iomem
> pointers, but that seems out of scope for what Krzysztof is trying
> to do. Ideally we would be consistent here though, either using volatile
> all the time or never.

Indeed. I guess there are no objections around const so let me send v2
for const only.

Best regards,
Krzysztof

_______________________________________________
Virtualization mailing list
Virtualization@lists.linux-foundation.org
https://lists.linuxfoundation.org/mailman/listinfo/virtualization

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

* Re: [RFT 00/13] iomap: Constify ioreadX() iomem argument
  2020-01-08  9:15           ` Krzysztof Kozlowski
@ 2020-01-08 11:55             ` Arnd Bergmann
  0 siblings, 0 replies; 15+ messages in thread
From: Arnd Bergmann @ 2020-01-08 11:55 UTC (permalink / raw)
  To: Krzysztof Kozlowski
  Cc: Rich Felker, Jiri Slaby, Michael S. Tsirkin, David Airlie,
	ML nouveau, Jason Wang, DRI Development, virtualization,
	James E.J. Bottomley, Paul Mackerras, Linux-Arch, Dave Jiang,
	Yoshinori Sato, Helge Deller, Linux-sh list, Alexey Brodkin,
	Geert Uytterhoeven, Ben Skeggs, Dave Airlie, Matt Turner, arcml,
	Nick Kossifidis, Allen Hubbe <al>

On Wed, Jan 8, 2020 at 10:15 AM Krzysztof Kozlowski <krzk@kernel.org> wrote:

> > The __force-cast that removes the __iomem here also means that
> > the 'volatile' keyword could be dropped from the argument list,
> > as it has no real effect any more, but then there are a few drivers
> > that mark their iomem pointers as either 'volatile void __iomem*' or
> > (worse) 'volatile void *', so we keep it in the argument list to not
> > add warnings for those drivers.
> >
> > It may be time to change these drivers to not use volatile for __iomem
> > pointers, but that seems out of scope for what Krzysztof is trying
> > to do. Ideally we would be consistent here though, either using volatile
> > all the time or never.
>
> Indeed. I guess there are no objections around const so let me send v2
> for const only.

Ok, sounds good. Maybe mention in the changelog then that the
'volatile' in the interface is intentionally left out, and that only users
of readl/writel still have it to deal with existing drivers.

    Arnd

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

* RE: [RFT 00/13] iomap: Constify ioreadX() iomem argument
  2020-01-08  8:48           ` Christophe Leroy
@ 2020-01-08 17:39             ` David Laight
  0 siblings, 0 replies; 15+ messages in thread
From: David Laight @ 2020-01-08 17:39 UTC (permalink / raw)
  To: 'Christophe Leroy', Geert Uytterhoeven
  Cc: Rich Felker, Jiri Slaby, Michael S. Tsirkin, David Airlie,
	nouveau@lists.freedesktop.org, DRI Development,
	virtualization@lists.linux-foundation.org, James E.J. Bottomley,
	Paul Mackerras, Linux-Arch, Dave Jiang, Yoshinori Sato,
	Helge Deller, Linux-sh list, Alexey Brodkin, Krzysztof Kozlowski,
	Ben Skeggs, Dave Airlie, Matt Turner, arcml,
	Nick Kossifidis <mickflem>

From: Christophe Leroy
> Sent: 08 January 2020 08:49
...
> And as pointed by Arnd, the volatile is really only necessary for the
> dereference itself, should the arch use dereferencing.

I've had trouble with some versions of gcc and reading of 'volatile unsigned char *'.
It tended to follow the memory read with an extra mask with 0xff.
(I suspect that internally the value landed into a temporary 'int' variable.)

I got better code using memory barriers.
So putting an asm barrier for the exact location of the memory read
either side of the read should have the desired effect without adding
extra instructions.
(You might think 'volatile' would mean that - but it doesn't.)

	David

-
Registered Address Lakeside, Bramley Road, Mount Farm, Milton Keynes, MK1 1PT, UK
Registration No: 1397386 (Wales)

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

end of thread, other threads:[~2020-01-08 17:39 UTC | newest]

Thread overview: 15+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
     [not found] <1578415992-24054-1-git-send-email-krzk@kernel.org>
     [not found] ` <1578415992-24054-6-git-send-email-krzk@kernel.org>
2020-01-07 17:08   ` [RFT 03/13] sh: Constify ioreadX() iomem argument (as in generic implementation) Arnd Bergmann
     [not found] ` <1578415992-24054-9-git-send-email-krzk@kernel.org>
2020-01-07 17:10   ` [RFT 06/13] arc: " Arnd Bergmann
2020-01-08  8:07 ` [RFT 00/13] iomap: Constify ioreadX() iomem argument Geert Uytterhoeven
2020-01-08  8:12   ` Geert Uytterhoeven
2020-01-08  8:18     ` Krzysztof Kozlowski
2020-01-08  8:35       ` Christophe Leroy
2020-01-08  8:43         ` Geert Uytterhoeven
2020-01-08  8:48           ` Christophe Leroy
2020-01-08 17:39             ` David Laight
2020-01-08  8:44         ` Arnd Bergmann
2020-01-08  9:15           ` Krzysztof Kozlowski
2020-01-08 11:55             ` Arnd Bergmann
2020-01-08  8:15   ` Krzysztof Kozlowski
     [not found] ` <1578415992-24054-3-git-send-email-krzk@kernel.org>
2020-01-08  8:10   ` [RFT 02/13] alpha: Constify ioreadX() iomem argument (as in generic implementation) Geert Uytterhoeven
2020-01-08  9:07     ` Krzysztof Kozlowski

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).