Re: [PATCH v2] xen/arm: implement GICD_I[S/C]ACTIVER reads

[Marc Zyngier <maz@xxxxxxxxxx>]

George,

On 2020-04-03 11:43, George Dunlap wrote:
> > On Apr 3, 2020, at 9:47 AM, Marc Zyngier <maz@xxxxxxxxxx> wrote:
> >
> > On 2020-04-02 19:52, Julien Grall wrote:
> > > (+Marc)
> > Thanks for looping me in. Definitely an interesting read, but also a 
> > very
> > puzzling one.
> [snip]
>
> > No. Low latency is a very desirable thing, but it doesn't matter at 
> > all when
> > you don't even have functional correctness. To use my favourite car 
> > analogy,
> > having a bigger engine doesn't help when you're about to hit the wall 
> > and
> > have no breaks... You just hit the wall faster.
> [snip]
>
> > s/imprecise/massively incorrect/
> [snip]
>
> > There is just no way I'll ever accept a change to the GIC interrupt 
> > state
> > machine for Linux. Feel free to try and convince other OS maintainers.
> [snip]
>
> > If I was someone developing a product using Xen/ARM, I'd be very 
> > worried
> > about what you have written above. Because it really reads "we don't 
> > care
> > about reliability as long as we can show amazing numbers". I really 
> > hope
> > it isn't what you mean.
> What's puzzling to me, is that what everyone else in this thread is
> that what Stefano is trying to do is to get Xen to be have like KVM.
Sorry, I don't get what you mean here. KVM at least aims to be 
architecturally
compliant. Is it perfect? Most probably not, as we fix it all the time.

Dealing with the active registers is hard. But as far as I can see,
we do get them right. Do we sacrifice latency over correctness? Yes.

And if you have spotted a problem in the way we handle those, pray tell.

> Are they wrong?  If so, we can just do whatever Linux does.  If not,
> then you need to first turn all your imprecations about correctness,
> smashing into walls, concern for the sanity of maintainers and so on
> towards your own code first.
I'm really sorry, but you see to have the wrong end of the stick here.
I'm not trying to compare Xen to KVM at all. I'm concerned about only
implementing only a small part of the architecture, ignoring the rest,
and letting guests crash, which is what was suggested here.

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