Re: [PATCH] irq/gic-its: gicv4: set VPENDING table as inner-shareable

[Marc Zyngier]

On 2019-12-02 11:07, Guoheyi wrote:
> å 2019/12/2 2:04, Marc Zyngier åé:
> > On Sat, 30 Nov 2019 15:38:49 +0800
> > Heyi Guo <guoheyi@xxxxxxxxxx> wrote:
> >
> > > There is no special reason to set virtual LPI pending table as
> > > non-shareable. If we choose to hard code the shareability without
> > > probing, inner-shareable will be a better choice, for all the other
> > > ITS/GICR tables prefer to be inner-shareable.
> > One of the issues is that we have strictly no idea what the caches 
> > are
> > Inner Shareable with (I've been asking for such clarification for 
> > years
> > without getting anywhere). You can have as many disconnected inner
> > shareable domains as you want!
>
> Hisilicon HIP07 and HIP08 are compliant with ARM SBSA and have only
> one inner shareable domain in the whole system.

I'm glad these systems are well designed, but that's not what SBSA 
mandates.

All it requires is that the all PEs are part of the same IS domain, and
that PCIe is part of the same IS domain as the PEs. Nothing more, and
certainly nothing about the GIC. Or anything else.

> What will happen if a system has multiple inner shareable domains?
> Will Linux still work on such system? Can we declare that Linux only
> supports one single inner shareable domain?

Linux works just fine as long as all the PEs are in the same IS domain.
There is no architectural requirement for anything else to be in that
domain.

> > I suspect that in the grand scheme of things, the redistributors
> > ought to be in the same inner shareable domain, and that with a bit 
> > of
> > luck, the CPUs are there as well. Still, that's a massive guess.
> >
> > > What's more, on Hisilicon hip08 it will trigger some kind of bus
> > > warning when mixing use of different shareabilities.
> > Do you have more information about what the bus is complaining 
> > about?
> > Is that because the CPUs have these pages mapped as inner shareable?
>
> Actually HIP08 L3 Cache will complain on any non-shareable cache
> entry, for the data coherence cannot be guarenteed for such
> configuration. This also implies VPENDING table will be allocated and
> snooped in L3 cache.

It really looks odd that L3 would even contain non-shareable entries.

Anyway, I don't think that's a biggy. Given that GICv4 is almost
exclusively implemented on these two SoCs (unless someone revives
QC system), I think we can take this change after some testing.

Thanks,

        M.
--
Jazz is not dead. It just smells funny...