From mboxrd@z Thu Jan 1 00:00:00 1970 From: Rusty Russell Subject: Re: [PATCH 1/6] virtio_host: host-side implementation of virtio rings. Date: Tue, 22 Jan 2013 17:27:10 +1030 Message-ID: <877gn5hfi1.fsf@rustcorp.com.au> References: <1358418584-26345-1-git-send-email-rusty@rustcorp.com.au> <20130117112314.GA15504@redhat.com> <877gn7w9fc.fsf@rustcorp.com.au> <87r4levjmk.fsf@rustcorp.com.au> <20130121122431.GB3969@redhat.com> <87k3r6uotw.fsf@rustcorp.com.au> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Return-path: In-Reply-To: <87k3r6uotw.fsf@rustcorp.com.au> List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: virtualization-bounces@lists.linux-foundation.org Errors-To: virtualization-bounces@lists.linux-foundation.org To: "Michael S. Tsirkin" Cc: virtualization@lists.linux-foundation.org List-Id: virtualization@lists.linuxfoundation.org Rusty Russell writes: > "Michael S. Tsirkin" writes: >> On Mon, Jan 21, 2013 at 10:22:03PM +1030, Rusty Russell wrote: >>> Rusty Russell writes: >>> > "Michael S. Tsirkin" writes: >>> >>> + iov->iov[iov->i].iov_base = (__force __user void *)addr; >>> >>> + iov->iov[iov->i].iov_len = desc.len; >>> >> >>> >> The following comment from the previous version still applies: >>> >> > This looks like it won't do the right thing if desc.len spans multiple >>> >> > ranges. I don't know if this happens in practice but this is something >>> >> > vhost supports ATM. >>> >> in otgher words, we might need to split a single desc to multiple >>> >> iov entries. >>> > >>> > Ah, separate offsets for consecutive ranges, right. I'd prefer to say >>> > "don't do that", but qemu is rarely sane. I'll fix it. >>> >>> Actually, you make the same assumption for vhost, with your use of >>> getuser and putuser for accessing the ring. >> >> There's no requirement that ring is mapped directly into guest >> memory. If a ring is not contigious qemu can allocate >> it's own virtuall contigious rings and copy data back and forth. > > True, but it's the guest which allocates the ring. If QEMU sets up a > guest with a offset-discontiguous mapping, vhost would be unreliable > today. My mistake: the ring addresses handed through the ioctl already translated, so you can't specify such a thing. I struck this when I tried to clean it up: this is an asymmetry between the toplevel descriptor table and any indirect ones. Cheers, Rusty.