[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-Id: <20190102201341.28bf9378@oc2783563651>
Date: Wed, 2 Jan 2019 20:13:41 +0100
From: Halil Pasic <pasic@...ux.ibm.com>
To: Cornelia Huck <cohuck@...hat.com>
Cc: "Wang, Wei W" <wei.w.wang@...el.com>,
Christian Borntraeger <borntraeger@...ibm.com>,
"virtio-dev@...ts.oasis-open.org" <virtio-dev@...ts.oasis-open.org>,
"linux-kernel@...r.kernel.org" <linux-kernel@...r.kernel.org>,
"virtualization@...ts.linux-foundation.org"
<virtualization@...ts.linux-foundation.org>,
"kvm@...r.kernel.org" <kvm@...r.kernel.org>,
"mst@...hat.com" <mst@...hat.com>,
"pbonzini@...hat.com" <pbonzini@...hat.com>,
"dgilbert@...hat.com" <dgilbert@...hat.com>
Subject: Re: [virtio-dev] RE: [PATCH v1 0/2] Virtio: fix some vq allocation
issues
On Wed, 2 Jan 2019 19:02:33 +0100
Cornelia Huck <cohuck@...hat.com> wrote:
> On Wed, 2 Jan 2019 16:59:19 +0100
> Halil Pasic <pasic@...ux.ibm.com> wrote:
>
> > On Wed, 2 Jan 2019 14:23:38 +0100
> > Cornelia Huck <cohuck@...hat.com> wrote:
> >
> > > On Wed, 2 Jan 2019 10:53:14 +0100
> > > Cornelia Huck <cohuck@...hat.com> wrote:
> > >
> > > > On Tue, 1 Jan 2019 00:40:19 +0100
> > > > Halil Pasic <pasic@...ux.ibm.com> wrote:
>
> > > > > AFAICT tweaking the balloon code may be simpler than tweaking the
> > > > > virtio-ccw (transport code). ccw_io_helper() relies on getting
> > > > > an interrupt when the issued IO is done. If virtio-ccw is buggy, it
> > > > > needs to be fixed, but I'm not sure it is.
> > > >
> > > > I would not call virtio-ccw buggy, but it has some constraints that
> > > > virtio-pci apparently doesn't have (and which did not show up so far;
> > > > e.g. virtio-blk schedules a work item on config change, so there's no
> > > > deadlock there.)
> > > >
> > > > One way to get out of that constraint (don't interact with the config
> > > > space directly in the config changed handler) would be to schedule a
> > > > work item in virtio-ccw that calls virtio_config_changed() for the
> > > > device. My understanding is that delaying the notification to a work
> > > > queue would be fine.
> > >
> > > Unfortunately, calling virtio_config_changed() from a work item is not
> > > enough: That function takes the config_lock, and the virtio-ccw code to
> > > get the config both needs to allocate some memory and call schedule :/
> > >
> > > The best option really seems to be
> > > - have virtio-balloon move the handling of the config change onto a
> > > workqueue or something like that, and
> > > - document that you cannot read/write the virtio config space from an
> > > atomic context
> > >
> > > Unless someone has a better idea?
> > >
> >
> > I wonder, would making config_lock a mutex suffice?
>
> Unless I'm mistaken, you can't take a mutex in an interrupt path.
>
I was too focused on virtio-ccw. We have the workqueue now, so it would
not be a problem for us, but for the other transports. Grrr
Powered by blists - more mailing lists