* 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
[parent not found: <1578415992-24054-9-git-send-email-krzk@kernel.org>]
* 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 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: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: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 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
* 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: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: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
[parent not found: <1578415992-24054-3-git-send-email-krzk@kernel.org>]
* 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 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
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).