On Fri, Aug 18, 2017 at 04:41:41PM +0800, Wei Wang wrote:
On 08/18/2017 10:13 AM, Michael S. Tsirkin wrote:While driver is free to maintain at most one buffer in flight
On Thu, Aug 17, 2017 at 11:26:56AM +0800, Wei Wang wrote:Please let me introduce the current design first:
Add a new vq to report hints of guest free pages to the host.Please add some text here explaining the report_free_page_signal
thing.
I also really think we need some kind of ID in the
buffer to do a handshake. whenever id changes you
add another outbuf.
1) device put the signal buf to the vq and notify the driver (we need
a buffer because currently the device can't notify when the vq is empty);
2) the driver starts the report of free page blocks via inbuf;
3) the driver adds an the signal buf via outbuf to tell the device all are
reported.
Could you please elaborate more on the usage of ID?
the design must work with pipelined requests as that
is important for performance.
So host might be able to request the reporting twice.
How does it know what is the report in response to?
If we put an id in request and in response, then that fixes it.
So there's a vq used for requesting free page reports.
driver does add_inbuf( &device->id).
Then when it starts reporting it does
add_outbuf(&device->id)
followed by pages.
Also if device->id changes it knows it should restart
reporting from beginning.
But why do you kick here on failure? I would understand it if youAnother error is -EIO, how about disabling the free page report feature?+retry:what if there's another error?
+ ret = virtqueue_add_outbuf(vq, &sg, 1, vb, GFP_KERNEL);
+ virtqueue_kick(vq);
+ if (unlikely(ret == -ENOSPC)) {
(I also saw it isn't handled in many other virtio devices e.g. virtio-net)
Just this:+ wait_event(vb->acked, virtqueue_get_buf(vq, &len));what is this trickery doing? needs more comments or
+ goto retry;
+ }
a simplification.
if the vq is full, blocking wait till an entry gets released, then retry.
This is the
final one, which puts the signal buf to the vq to signify the end of the
report and
the mm lock is not held here, so it is fine to block.
did not kick when adding pages, as it is I don't understand.
Also pls rewrite this with a for or while loop for clarity.