On Mon, Nov 17, 2014 at 11:20:48AM +0100, Cornelia Huck wrote:
> On Mon, 17 Nov 2014 12:11:39 +0200
> "Michael S. Tsirkin" <m...@redhat.com> wrote:
> 
> > On Mon, Nov 17, 2014 at 10:44:30AM +0100, Cornelia Huck wrote:
> > > On Mon, 17 Nov 2014 11:37:01 +0200
> > > "Michael S. Tsirkin" <m...@redhat.com> wrote:
> > > 
> > > > On Mon, Nov 17, 2014 at 05:17:17PM +0800, Jason Wang wrote:
> > > > > Buggy host may advertised buggy host features (a usual case is that 
> > > > > host
> > > > > advertise a feature whose dependencies were missed). In this case, 
> > > > > driver
> > > > > should detect and disable the buggy features by itself.
> > > > > 
> > > > > This patch introduces driver specific sanitize_features() method 
> > > > > which is
> > > > > called just before features finalizing to detect and disable buggy 
> > > > > features
> > > > > advertised by host.
> > > > > 
> > > > > Virtio-net will be the first user.
> > > > > 
> > > > > Cc: Rusty Russell <ru...@rustcorp.com.au>
> > > > > Cc: Michael S. Tsirkin <m...@redhat.com>
> > > > > Cc: Cornelia Huck <cornelia.h...@de.ibm.com>
> > > > > Cc: Wanlong Gao <gaowanl...@cn.fujitsu.com>
> > > > > Signed-off-by: Jason Wang <jasow...@redhat.com>
> > > > 
> > > > Hmm this conflicts with virtio 1.0 work: we drop
> > > > features as bitmap there.
> > > 
> > > But that's an implementation detail, no? We'll still need a way for the
> > > driver to sanitize features, and I think this interface works just fine.
> > 
> > Now that you mention it, I don't think we do.
> > 
> > The spec is quite explicit that devices must not expose invalid
> > combinations of features.
> 
> Unfortunately, this does not ensure that there won't be buggy
> hypervisors out there, just as there's buggy hardware floating around.
> 
> > 
> > Admittedly, BUG_ON isn't very friendly to hypervisors.
> > 
> > But e.g. failing probe seems better than trying to work around
> > hypervisor bugs - otherwise we'll be stuck maintaining compatibility
> > with hypervisors forever.
> 
> Good point. Failing probe is still much better than hitting BUG_ONs.
> 
> We'll still need a driver callback, though, that can return an error on
> bogus feature bit combinations.

Why bother?  Just check features at start of probe, and return an error.

-- 
MST
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majord...@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/

Reply via email to