Re: [Qemu-devel] [RFC] vhost: check if ring mapping is still valid when building memmap
* Igor Mammedov (imamm...@redhat.com) wrote: > On Mon, 11 Dec 2017 11:03:00 + > "Dr. David Alan Gilbert" wrote: > > > * Igor Mammedov (imamm...@redhat.com) wrote: > > > On Fri, 8 Dec 2017 17:51:56 + > > > "Dr. David Alan Gilbert" wrote: > > > > > > > * Igor Mammedov (imamm...@redhat.com) wrote: > > > > > On Thu, 7 Dec 2017 18:17:51 + > > > > > "Dr. David Alan Gilbert" wrote: > > > > > > > > > > > * Igor Mammedov (imamm...@redhat.com) wrote: > > > > > > > vhost_verify_ring_mappings() were used to verify that > > > > > > > rings are still accessible and related memory hasn't > > > > > > > been moved after flatview is updated. > > > > > > > > > > > > > > It were doing checks by mapping ring's GPA+len and > > > > > > > checking that HVA hasn't changed with new memory map. > > > > > > > To avoid maybe expensive mapping call, we were > > > > > > > identifying address range that changed and were doing > > > > > > > mapping only if ring were in changed range. > > > > > > > > > > > > > > However it's no neccessary to perform ringi's GPA > > > > > > > mapping as we already have it's current HVA and all > > > > > > > we need is to verify that ring's GPA translates to > > > > > > > the same HVA in updated flatview. > > > > > > > > > > > > > > That could be done during time when we are building > > > > > > > vhost memmap where vhost_update_mem_cb() already maps > > > > > > > every RAM MemoryRegionSection to get section HVA. This > > > > > > > fact can be used to check that ring belongs to the same > > > > > > > MemoryRegion in the same place, like this: > > > > > > > > > > > > > > hva_ring_offset = GPA(ring) - GPA(MemoryRegionSection) > > > > > > > ring_hva == HVA(MemoryRegionSection) + hva_ring_offset > > > > > > > > > > > > > > Doing this would allow us to drop ~100LOC of code which > > > > > > > figures out changed memory range and avoid calling not > > > > > > > needed reverse vhost_memory_map(is_write=true) which is > > > > > > > overkill for the task at hand. > > > > > > > > > > > > There are a few things about this I don't understand; however if > > > > > > it's right I agree that it means we can kill off my comparison > > > > > > code. > > > > > > > > > > > > > > > > > > First, can I check what constraints 'verify_ring' needs to check; > > > > > > if I'm understanding the original code it's checking that : > > > > > > a) If a queue falls within a region, that the whole queue can > > > > > >be mapped > > > > > see vhost_verify_ring_part_mapping(): > > > > > > > > > > p = vhost_memory_map(dev, part_addr, &l, 1); > > > > > > > > > > if (!p || l != part_size) > > > > > error_out > > > > > > > > > > 1st: (!p) requested part_addr must be mapped > > > > > i.e. be a part of MemorySection in flatview > > > > > AND > > > > > 2nd: (l != part_size) mapped range size must match what we > > > > > asked for > > > > > i.e. mapped as continuous range so that > > > > > [GPA, GPA + part_size) could directly correspond to > > > > > [HVA, HVA + part_size) > > > > > and that's is possible only withing 1 MemorySection && > > > > > 1 MeoryRegion > > > > > if I read address_space_map() correctly > > > > > flatview_translate() -> GPA's MemorySection > > > > > flatview_extend_translation() -> 1:1 GPA->HVA > > > > > range size > > > > > > > > > > So answer in case of RAM memory region that we are > > > > > interested in, would be: > > > > > queue falls within a MemorySection and whole queue fits in > > > > > to it > > > > > > > > Yes, OK. > > > > > > > > > > b) And the start of the queue corresponds to where we thought > > > > > >it used to be (in GPA?) > > > > > that cached at vq->desc queue HVA hasn't changed after > > > > > flatview change > > > > > if (p != part) > > > > >error_out > > > > > > > > OK, so it's the HVA that's not changed based on taking the part_addr > > > > which is GPA and checking the map? > > > Yes, I think so. > > > > > > > > >so that doesn't have any constraint on the ordering of the > > > > > > regions > > > > > >or whether the region is the same size or anything. > > > > > > Also I don't think it would spot if there was a qeueue that had no > > > > > > region associated with it at all. > > > > > > > > > > > > Now, comments on your code below: > > > > > > > > > > > > > > > > > > > Signed-off-by: Igor Mammedov > > > > > > > --- > > > > > > > PS: > > > > > > >should be applied on top of David's series > > > > > > > > > > > > > > --- > > > > > > > include/hw/virtio/vhost.h | 2 - > > > > > > > hw/virtio/vhost.c | 195 > > > > > > > ++--
Re: [Qemu-devel] [RFC] vhost: check if ring mapping is still valid when building memmap
On Mon, 11 Dec 2017 11:03:00 + "Dr. David Alan Gilbert" wrote: > * Igor Mammedov (imamm...@redhat.com) wrote: > > On Fri, 8 Dec 2017 17:51:56 + > > "Dr. David Alan Gilbert" wrote: > > > > > * Igor Mammedov (imamm...@redhat.com) wrote: > > > > On Thu, 7 Dec 2017 18:17:51 + > > > > "Dr. David Alan Gilbert" wrote: > > > > > > > > > * Igor Mammedov (imamm...@redhat.com) wrote: > > > > > > vhost_verify_ring_mappings() were used to verify that > > > > > > rings are still accessible and related memory hasn't > > > > > > been moved after flatview is updated. > > > > > > > > > > > > It were doing checks by mapping ring's GPA+len and > > > > > > checking that HVA hasn't changed with new memory map. > > > > > > To avoid maybe expensive mapping call, we were > > > > > > identifying address range that changed and were doing > > > > > > mapping only if ring were in changed range. > > > > > > > > > > > > However it's no neccessary to perform ringi's GPA > > > > > > mapping as we already have it's current HVA and all > > > > > > we need is to verify that ring's GPA translates to > > > > > > the same HVA in updated flatview. > > > > > > > > > > > > That could be done during time when we are building > > > > > > vhost memmap where vhost_update_mem_cb() already maps > > > > > > every RAM MemoryRegionSection to get section HVA. This > > > > > > fact can be used to check that ring belongs to the same > > > > > > MemoryRegion in the same place, like this: > > > > > > > > > > > > hva_ring_offset = GPA(ring) - GPA(MemoryRegionSection) > > > > > > ring_hva == HVA(MemoryRegionSection) + hva_ring_offset > > > > > > > > > > > > Doing this would allow us to drop ~100LOC of code which > > > > > > figures out changed memory range and avoid calling not > > > > > > needed reverse vhost_memory_map(is_write=true) which is > > > > > > overkill for the task at hand. > > > > > > > > > > There are a few things about this I don't understand; however if > > > > > it's right I agree that it means we can kill off my comparison > > > > > code. > > > > > > > > > > > > > > > First, can I check what constraints 'verify_ring' needs to check; > > > > > if I'm understanding the original code it's checking that : > > > > > a) If a queue falls within a region, that the whole queue can > > > > >be mapped > > > > see vhost_verify_ring_part_mapping(): > > > > > > > > p = vhost_memory_map(dev, part_addr, &l, 1); > > > > > > > > if (!p || l != part_size) > > > > error_out > > > > > > > > 1st: (!p) requested part_addr must be mapped > > > > i.e. be a part of MemorySection in flatview > > > > AND > > > > 2nd: (l != part_size) mapped range size must match what we > > > > asked for > > > > i.e. mapped as continuous range so that > > > > [GPA, GPA + part_size) could directly correspond to > > > > [HVA, HVA + part_size) > > > > and that's is possible only withing 1 MemorySection && 1 > > > > MeoryRegion > > > > if I read address_space_map() correctly > > > > flatview_translate() -> GPA's MemorySection > > > > flatview_extend_translation() -> 1:1 GPA->HVA > > > > range size > > > > > > > > So answer in case of RAM memory region that we are interested > > > > in, would be: > > > > queue falls within a MemorySection and whole queue fits in to > > > > it > > > > > > Yes, OK. > > > > > > > > b) And the start of the queue corresponds to where we thought > > > > >it used to be (in GPA?) > > > > that cached at vq->desc queue HVA hasn't changed after > > > > flatview change > > > > if (p != part) > > > >error_out > > > > > > OK, so it's the HVA that's not changed based on taking the part_addr > > > which is GPA and checking the map? > > Yes, I think so. > > > > > > >so that doesn't have any constraint on the ordering of the regions > > > > >or whether the region is the same size or anything. > > > > > Also I don't think it would spot if there was a qeueue that had no > > > > > region associated with it at all. > > > > > > > > > > Now, comments on your code below: > > > > > > > > > > > > > > > > Signed-off-by: Igor Mammedov > > > > > > --- > > > > > > PS: > > > > > >should be applied on top of David's series > > > > > > > > > > > > --- > > > > > > include/hw/virtio/vhost.h | 2 - > > > > > > hw/virtio/vhost.c | 195 > > > > > > ++ > > > > > > 2 files changed, 57 insertions(+), 140 deletions(-) > > > > > > > > > > > > diff --git a/include/hw/virtio/vhost.h b/include/hw/virtio/vhost.h > > > > > > index 467dc77..fc4af5c 100644 > > > > > > --- a/include/hw/virtio/vhost.h > > > > > > +++ b/
Re: [Qemu-devel] [RFC] vhost: check if ring mapping is still valid when building memmap
* Igor Mammedov (imamm...@redhat.com) wrote: > On Fri, 8 Dec 2017 17:51:56 + > "Dr. David Alan Gilbert" wrote: > > > * Igor Mammedov (imamm...@redhat.com) wrote: > > > On Thu, 7 Dec 2017 18:17:51 + > > > "Dr. David Alan Gilbert" wrote: > > > > > > > * Igor Mammedov (imamm...@redhat.com) wrote: > > > > > vhost_verify_ring_mappings() were used to verify that > > > > > rings are still accessible and related memory hasn't > > > > > been moved after flatview is updated. > > > > > > > > > > It were doing checks by mapping ring's GPA+len and > > > > > checking that HVA hasn't changed with new memory map. > > > > > To avoid maybe expensive mapping call, we were > > > > > identifying address range that changed and were doing > > > > > mapping only if ring were in changed range. > > > > > > > > > > However it's no neccessary to perform ringi's GPA > > > > > mapping as we already have it's current HVA and all > > > > > we need is to verify that ring's GPA translates to > > > > > the same HVA in updated flatview. > > > > > > > > > > That could be done during time when we are building > > > > > vhost memmap where vhost_update_mem_cb() already maps > > > > > every RAM MemoryRegionSection to get section HVA. This > > > > > fact can be used to check that ring belongs to the same > > > > > MemoryRegion in the same place, like this: > > > > > > > > > > hva_ring_offset = GPA(ring) - GPA(MemoryRegionSection) > > > > > ring_hva == HVA(MemoryRegionSection) + hva_ring_offset > > > > > > > > > > Doing this would allow us to drop ~100LOC of code which > > > > > figures out changed memory range and avoid calling not > > > > > needed reverse vhost_memory_map(is_write=true) which is > > > > > overkill for the task at hand. > > > > > > > > There are a few things about this I don't understand; however if > > > > it's right I agree that it means we can kill off my comparison > > > > code. > > > > > > > > > > > > First, can I check what constraints 'verify_ring' needs to check; > > > > if I'm understanding the original code it's checking that : > > > > a) If a queue falls within a region, that the whole queue can > > > >be mapped > > > see vhost_verify_ring_part_mapping(): > > > > > > p = vhost_memory_map(dev, part_addr, &l, 1); > > > > > > if (!p || l != part_size) > > > error_out > > > > > > 1st: (!p) requested part_addr must be mapped > > > i.e. be a part of MemorySection in flatview > > > AND > > > 2nd: (l != part_size) mapped range size must match what we asked > > > for > > > i.e. mapped as continuous range so that > > > [GPA, GPA + part_size) could directly correspond to > > > [HVA, HVA + part_size) > > > and that's is possible only withing 1 MemorySection && 1 > > > MeoryRegion > > > if I read address_space_map() correctly > > > flatview_translate() -> GPA's MemorySection > > > flatview_extend_translation() -> 1:1 GPA->HVA range > > > size > > > > > > So answer in case of RAM memory region that we are interested > > > in, would be: > > > queue falls within a MemorySection and whole queue fits in to it > > > > > > > Yes, OK. > > > > > > b) And the start of the queue corresponds to where we thought > > > >it used to be (in GPA?) > > > that cached at vq->desc queue HVA hasn't changed after flatview > > > change > > > if (p != part) > > >error_out > > > > OK, so it's the HVA that's not changed based on taking the part_addr > > which is GPA and checking the map? > Yes, I think so. > > > > >so that doesn't have any constraint on the ordering of the regions > > > >or whether the region is the same size or anything. > > > > Also I don't think it would spot if there was a qeueue that had no > > > > region associated with it at all. > > > > > > > > Now, comments on your code below: > > > > > > > > > > > > > Signed-off-by: Igor Mammedov > > > > > --- > > > > > PS: > > > > >should be applied on top of David's series > > > > > > > > > > --- > > > > > include/hw/virtio/vhost.h | 2 - > > > > > hw/virtio/vhost.c | 195 > > > > > ++ > > > > > 2 files changed, 57 insertions(+), 140 deletions(-) > > > > > > > > > > diff --git a/include/hw/virtio/vhost.h b/include/hw/virtio/vhost.h > > > > > index 467dc77..fc4af5c 100644 > > > > > --- a/include/hw/virtio/vhost.h > > > > > +++ b/include/hw/virtio/vhost.h > > > > > @@ -68,8 +68,6 @@ struct vhost_dev { > > > > > uint64_t log_size; > > > > > Error *migration_blocker; > > > > > bool memory_changed; > > > > > -hwaddr mem_changed_start_addr; > > > > > -hwaddr mem_changed_end_addr; > > > > > const VhostOps *vhost_ops;
Re: [Qemu-devel] [RFC] vhost: check if ring mapping is still valid when building memmap
On Fri, 8 Dec 2017 17:51:56 + "Dr. David Alan Gilbert" wrote: > * Igor Mammedov (imamm...@redhat.com) wrote: > > On Thu, 7 Dec 2017 18:17:51 + > > "Dr. David Alan Gilbert" wrote: > > > > > * Igor Mammedov (imamm...@redhat.com) wrote: > > > > vhost_verify_ring_mappings() were used to verify that > > > > rings are still accessible and related memory hasn't > > > > been moved after flatview is updated. > > > > > > > > It were doing checks by mapping ring's GPA+len and > > > > checking that HVA hasn't changed with new memory map. > > > > To avoid maybe expensive mapping call, we were > > > > identifying address range that changed and were doing > > > > mapping only if ring were in changed range. > > > > > > > > However it's no neccessary to perform ringi's GPA > > > > mapping as we already have it's current HVA and all > > > > we need is to verify that ring's GPA translates to > > > > the same HVA in updated flatview. > > > > > > > > That could be done during time when we are building > > > > vhost memmap where vhost_update_mem_cb() already maps > > > > every RAM MemoryRegionSection to get section HVA. This > > > > fact can be used to check that ring belongs to the same > > > > MemoryRegion in the same place, like this: > > > > > > > > hva_ring_offset = GPA(ring) - GPA(MemoryRegionSection) > > > > ring_hva == HVA(MemoryRegionSection) + hva_ring_offset > > > > > > > > Doing this would allow us to drop ~100LOC of code which > > > > figures out changed memory range and avoid calling not > > > > needed reverse vhost_memory_map(is_write=true) which is > > > > overkill for the task at hand. > > > > > > There are a few things about this I don't understand; however if > > > it's right I agree that it means we can kill off my comparison > > > code. > > > > > > > > > First, can I check what constraints 'verify_ring' needs to check; > > > if I'm understanding the original code it's checking that : > > > a) If a queue falls within a region, that the whole queue can > > >be mapped > > see vhost_verify_ring_part_mapping(): > > > > p = vhost_memory_map(dev, part_addr, &l, 1); > > > > if (!p || l != part_size) > > error_out > > > > 1st: (!p) requested part_addr must be mapped > > i.e. be a part of MemorySection in flatview > > AND > > 2nd: (l != part_size) mapped range size must match what we asked > > for > > i.e. mapped as continuous range so that > > [GPA, GPA + part_size) could directly correspond to [HVA, > > HVA + part_size) > > and that's is possible only withing 1 MemorySection && 1 > > MeoryRegion > > if I read address_space_map() correctly > > flatview_translate() -> GPA's MemorySection > > flatview_extend_translation() -> 1:1 GPA->HVA range > > size > > > > So answer in case of RAM memory region that we are interested in, > > would be: > > queue falls within a MemorySection and whole queue fits in to it > > Yes, OK. > > > > b) And the start of the queue corresponds to where we thought > > >it used to be (in GPA?) > > that cached at vq->desc queue HVA hasn't changed after flatview > > change > > if (p != part) > >error_out > > OK, so it's the HVA that's not changed based on taking the part_addr > which is GPA and checking the map? Yes, I think so. > > >so that doesn't have any constraint on the ordering of the regions > > >or whether the region is the same size or anything. > > > Also I don't think it would spot if there was a qeueue that had no > > > region associated with it at all. > > > > > > Now, comments on your code below: > > > > > > > > > > Signed-off-by: Igor Mammedov > > > > --- > > > > PS: > > > >should be applied on top of David's series > > > > > > > > --- > > > > include/hw/virtio/vhost.h | 2 - > > > > hw/virtio/vhost.c | 195 > > > > ++ > > > > 2 files changed, 57 insertions(+), 140 deletions(-) > > > > > > > > diff --git a/include/hw/virtio/vhost.h b/include/hw/virtio/vhost.h > > > > index 467dc77..fc4af5c 100644 > > > > --- a/include/hw/virtio/vhost.h > > > > +++ b/include/hw/virtio/vhost.h > > > > @@ -68,8 +68,6 @@ struct vhost_dev { > > > > uint64_t log_size; > > > > Error *migration_blocker; > > > > bool memory_changed; > > > > -hwaddr mem_changed_start_addr; > > > > -hwaddr mem_changed_end_addr; > > > > const VhostOps *vhost_ops; > > > > void *opaque; > > > > struct vhost_log *log; > > > > diff --git a/hw/virtio/vhost.c b/hw/virtio/vhost.c > > > > index 5b9a7d7..026bac3 100644 > > > > --- a/hw/virtio/vhost.c > > > > +++ b/hw/virtio/vhost.c > > > > @@ -296,35 +296,43 @@ static void vhost_memory_un
Re: [Qemu-devel] [RFC] vhost: check if ring mapping is still valid when building memmap
* Igor Mammedov (imamm...@redhat.com) wrote: > vhost_verify_ring_mappings() were used to verify that > rings are still accessible and related memory hasn't > been moved after flatview is updated. I think I've rolled the equivalent into my v2 I've just posted; please have a look. Dave > It were doing checks by mapping ring's GPA+len and > checking that HVA hasn't changed with new memory map. > To avoid maybe expensive mapping call, we were > identifying address range that changed and were doing > mapping only if ring were in changed range. > > However it's no neccessary to perform ringi's GPA > mapping as we already have it's current HVA and all > we need is to verify that ring's GPA translates to > the same HVA in updated flatview. > > That could be done during time when we are building > vhost memmap where vhost_update_mem_cb() already maps > every RAM MemoryRegionSection to get section HVA. This > fact can be used to check that ring belongs to the same > MemoryRegion in the same place, like this: > > hva_ring_offset = GPA(ring) - GPA(MemoryRegionSection) > ring_hva == HVA(MemoryRegionSection) + hva_ring_offset > > Doing this would allow us to drop ~100LOC of code which > figures out changed memory range and avoid calling not > needed reverse vhost_memory_map(is_write=true) which is > overkill for the task at hand. > > Signed-off-by: Igor Mammedov > --- > PS: >should be applied on top of David's series > > --- > include/hw/virtio/vhost.h | 2 - > hw/virtio/vhost.c | 195 > ++ > 2 files changed, 57 insertions(+), 140 deletions(-) > > diff --git a/include/hw/virtio/vhost.h b/include/hw/virtio/vhost.h > index 467dc77..fc4af5c 100644 > --- a/include/hw/virtio/vhost.h > +++ b/include/hw/virtio/vhost.h > @@ -68,8 +68,6 @@ struct vhost_dev { > uint64_t log_size; > Error *migration_blocker; > bool memory_changed; > -hwaddr mem_changed_start_addr; > -hwaddr mem_changed_end_addr; > const VhostOps *vhost_ops; > void *opaque; > struct vhost_log *log; > diff --git a/hw/virtio/vhost.c b/hw/virtio/vhost.c > index 5b9a7d7..026bac3 100644 > --- a/hw/virtio/vhost.c > +++ b/hw/virtio/vhost.c > @@ -296,35 +296,43 @@ static void vhost_memory_unmap(struct vhost_dev *dev, > void *buffer, > } > } > > -static int vhost_verify_ring_part_mapping(struct vhost_dev *dev, > - void *part, > - uint64_t part_addr, > - uint64_t part_size, > - uint64_t start_addr, > - uint64_t size) > +static int vhost_verify_ring_part_mapping(void *ring_hva, > + uint64_t ring_gpa, > + uint64_t ring_size, > + void *reg_hva, > + uint64_t reg_gpa, > + uint64_t reg_size) > { > -hwaddr l; > -void *p; > -int r = 0; > +uint64_t hva_ring_offset; > +uint64_t ring_last = range_get_last(ring_gpa, ring_size); > +uint64_t reg_last = range_get_last(reg_gpa, reg_size); > > -if (!ranges_overlap(start_addr, size, part_addr, part_size)) { > +/* start check from the end so that the rest of checks > + * are done when whole ring is in merged sections range > + */ > +if (ring_last < reg_last || ring_gpa > reg_last) { > return 0; > } > -l = part_size; > -p = vhost_memory_map(dev, part_addr, &l, 1); > -if (!p || l != part_size) { > -r = -ENOMEM; > + > +/* check that whole ring's is mapped */ > +if (range_get_last(ring_gpa, ring_size) > > +range_get_last(reg_gpa, reg_size)) { > +return -EBUSY; > } > -if (p != part) { > -r = -EBUSY; > + > +/* check that ring's MemoryRegion wasn't replaced */ > +hva_ring_offset = ring_gpa - reg_gpa; > +if (ring_hva != reg_hva + hva_ring_offset) { > +return -ENOMEM; > } > -vhost_memory_unmap(dev, p, l, 0, 0); > -return r; > + > +return 0; > } > > static int vhost_verify_ring_mappings(struct vhost_dev *dev, > - uint64_t start_addr, > - uint64_t size) > + void *reg_hva, > + uint64_t reg_gpa, > + uint64_t reg_size) > { > int i, j; > int r = 0; > @@ -338,23 +346,26 @@ static int vhost_verify_ring_mappings(struct vhost_dev > *dev, > struct vhost_virtqueue *vq = dev->vqs + i; > > j = 0; > -r = vhost_verify_ring_part_mapping(dev, vq->desc, vq->desc_phys, > - vq->desc_size, start_addr, size); > -if (!r) { >
Re: [Qemu-devel] [RFC] vhost: check if ring mapping is still valid when building memmap
* Igor Mammedov (imamm...@redhat.com) wrote: > On Thu, 7 Dec 2017 18:17:51 + > "Dr. David Alan Gilbert" wrote: > > > * Igor Mammedov (imamm...@redhat.com) wrote: > > > vhost_verify_ring_mappings() were used to verify that > > > rings are still accessible and related memory hasn't > > > been moved after flatview is updated. > > > > > > It were doing checks by mapping ring's GPA+len and > > > checking that HVA hasn't changed with new memory map. > > > To avoid maybe expensive mapping call, we were > > > identifying address range that changed and were doing > > > mapping only if ring were in changed range. > > > > > > However it's no neccessary to perform ringi's GPA > > > mapping as we already have it's current HVA and all > > > we need is to verify that ring's GPA translates to > > > the same HVA in updated flatview. > > > > > > That could be done during time when we are building > > > vhost memmap where vhost_update_mem_cb() already maps > > > every RAM MemoryRegionSection to get section HVA. This > > > fact can be used to check that ring belongs to the same > > > MemoryRegion in the same place, like this: > > > > > > hva_ring_offset = GPA(ring) - GPA(MemoryRegionSection) > > > ring_hva == HVA(MemoryRegionSection) + hva_ring_offset > > > > > > Doing this would allow us to drop ~100LOC of code which > > > figures out changed memory range and avoid calling not > > > needed reverse vhost_memory_map(is_write=true) which is > > > overkill for the task at hand. > > > > There are a few things about this I don't understand; however if > > it's right I agree that it means we can kill off my comparison > > code. > > > > > > First, can I check what constraints 'verify_ring' needs to check; > > if I'm understanding the original code it's checking that : > > a) If a queue falls within a region, that the whole queue can > >be mapped > see vhost_verify_ring_part_mapping(): > > p = vhost_memory_map(dev, part_addr, &l, 1); > > if (!p || l != part_size) > error_out > > 1st: (!p) requested part_addr must be mapped > i.e. be a part of MemorySection in flatview > AND > 2nd: (l != part_size) mapped range size must match what we asked for > i.e. mapped as continuous range so that > [GPA, GPA + part_size) could directly correspond to [HVA, > HVA + part_size) > and that's is possible only withing 1 MemorySection && 1 > MeoryRegion > if I read address_space_map() correctly > flatview_translate() -> GPA's MemorySection > flatview_extend_translation() -> 1:1 GPA->HVA range size > > So answer in case of RAM memory region that we are interested in, > would be: > queue falls within a MemorySection and whole queue fits in to it Yes, OK. > > b) And the start of the queue corresponds to where we thought > >it used to be (in GPA?) > that cached at vq->desc queue HVA hasn't changed after flatview > change > if (p != part) >error_out OK, so it's the HVA that's not changed based on taking the part_addr which is GPA and checking the map? > >so that doesn't have any constraint on the ordering of the regions > >or whether the region is the same size or anything. > > Also I don't think it would spot if there was a qeueue that had no > > region associated with it at all. > > > > Now, comments on your code below: > > > > > > > Signed-off-by: Igor Mammedov > > > --- > > > PS: > > >should be applied on top of David's series > > > > > > --- > > > include/hw/virtio/vhost.h | 2 - > > > hw/virtio/vhost.c | 195 > > > ++ > > > 2 files changed, 57 insertions(+), 140 deletions(-) > > > > > > diff --git a/include/hw/virtio/vhost.h b/include/hw/virtio/vhost.h > > > index 467dc77..fc4af5c 100644 > > > --- a/include/hw/virtio/vhost.h > > > +++ b/include/hw/virtio/vhost.h > > > @@ -68,8 +68,6 @@ struct vhost_dev { > > > uint64_t log_size; > > > Error *migration_blocker; > > > bool memory_changed; > > > -hwaddr mem_changed_start_addr; > > > -hwaddr mem_changed_end_addr; > > > const VhostOps *vhost_ops; > > > void *opaque; > > > struct vhost_log *log; > > > diff --git a/hw/virtio/vhost.c b/hw/virtio/vhost.c > > > index 5b9a7d7..026bac3 100644 > > > --- a/hw/virtio/vhost.c > > > +++ b/hw/virtio/vhost.c > > > @@ -296,35 +296,43 @@ static void vhost_memory_unmap(struct vhost_dev > > > *dev, void *buffer, > > > } > > > } > > > > > > -static int vhost_verify_ring_part_mapping(struct vhost_dev *dev, > > > - void *part, > > > - uint64_t part_addr, > > > - uint64_t par
Re: [Qemu-devel] [RFC] vhost: check if ring mapping is still valid when building memmap
On Thu, 7 Dec 2017 18:17:51 + "Dr. David Alan Gilbert" wrote: > * Igor Mammedov (imamm...@redhat.com) wrote: > > vhost_verify_ring_mappings() were used to verify that > > rings are still accessible and related memory hasn't > > been moved after flatview is updated. > > > > It were doing checks by mapping ring's GPA+len and > > checking that HVA hasn't changed with new memory map. > > To avoid maybe expensive mapping call, we were > > identifying address range that changed and were doing > > mapping only if ring were in changed range. > > > > However it's no neccessary to perform ringi's GPA > > mapping as we already have it's current HVA and all > > we need is to verify that ring's GPA translates to > > the same HVA in updated flatview. > > > > That could be done during time when we are building > > vhost memmap where vhost_update_mem_cb() already maps > > every RAM MemoryRegionSection to get section HVA. This > > fact can be used to check that ring belongs to the same > > MemoryRegion in the same place, like this: > > > > hva_ring_offset = GPA(ring) - GPA(MemoryRegionSection) > > ring_hva == HVA(MemoryRegionSection) + hva_ring_offset > > > > Doing this would allow us to drop ~100LOC of code which > > figures out changed memory range and avoid calling not > > needed reverse vhost_memory_map(is_write=true) which is > > overkill for the task at hand. > > There are a few things about this I don't understand; however if > it's right I agree that it means we can kill off my comparison > code. > > > First, can I check what constraints 'verify_ring' needs to check; > if I'm understanding the original code it's checking that : > a) If a queue falls within a region, that the whole queue can >be mapped see vhost_verify_ring_part_mapping(): p = vhost_memory_map(dev, part_addr, &l, 1); if (!p || l != part_size) error_out 1st: (!p) requested part_addr must be mapped i.e. be a part of MemorySection in flatview AND 2nd: (l != part_size) mapped range size must match what we asked for i.e. mapped as continuous range so that [GPA, GPA + part_size) could directly correspond to [HVA, HVA + part_size) and that's is possible only withing 1 MemorySection && 1 MeoryRegion if I read address_space_map() correctly flatview_translate() -> GPA's MemorySection flatview_extend_translation() -> 1:1 GPA->HVA range size So answer in case of RAM memory region that we are interested in, would be: queue falls within a MemorySection and whole queue fits in to it > b) And the start of the queue corresponds to where we thought >it used to be (in GPA?) that cached at vq->desc queue HVA hasn't changed after flatview change if (p != part) error_out > > >so that doesn't have any constraint on the ordering of the regions >or whether the region is the same size or anything. > Also I don't think it would spot if there was a qeueue that had no > region associated with it at all. > > Now, comments on your code below: > > > > Signed-off-by: Igor Mammedov > > --- > > PS: > >should be applied on top of David's series > > > > --- > > include/hw/virtio/vhost.h | 2 - > > hw/virtio/vhost.c | 195 > > ++ > > 2 files changed, 57 insertions(+), 140 deletions(-) > > > > diff --git a/include/hw/virtio/vhost.h b/include/hw/virtio/vhost.h > > index 467dc77..fc4af5c 100644 > > --- a/include/hw/virtio/vhost.h > > +++ b/include/hw/virtio/vhost.h > > @@ -68,8 +68,6 @@ struct vhost_dev { > > uint64_t log_size; > > Error *migration_blocker; > > bool memory_changed; > > -hwaddr mem_changed_start_addr; > > -hwaddr mem_changed_end_addr; > > const VhostOps *vhost_ops; > > void *opaque; > > struct vhost_log *log; > > diff --git a/hw/virtio/vhost.c b/hw/virtio/vhost.c > > index 5b9a7d7..026bac3 100644 > > --- a/hw/virtio/vhost.c > > +++ b/hw/virtio/vhost.c > > @@ -296,35 +296,43 @@ static void vhost_memory_unmap(struct vhost_dev *dev, > > void *buffer, > > } > > } > > > > -static int vhost_verify_ring_part_mapping(struct vhost_dev *dev, > > - void *part, > > - uint64_t part_addr, > > - uint64_t part_size, > > - uint64_t start_addr, > > - uint64_t size) > > +static int vhost_verify_ring_part_mapping(void *ring_hva, > > + uint64_t ring_gpa, > > + uint64_t ring_size, > > + void *r
Re: [Qemu-devel] [RFC] vhost: check if ring mapping is still valid when building memmap
* Igor Mammedov (imamm...@redhat.com) wrote: > vhost_verify_ring_mappings() were used to verify that > rings are still accessible and related memory hasn't > been moved after flatview is updated. > > It were doing checks by mapping ring's GPA+len and > checking that HVA hasn't changed with new memory map. > To avoid maybe expensive mapping call, we were > identifying address range that changed and were doing > mapping only if ring were in changed range. > > However it's no neccessary to perform ringi's GPA > mapping as we already have it's current HVA and all > we need is to verify that ring's GPA translates to > the same HVA in updated flatview. > > That could be done during time when we are building > vhost memmap where vhost_update_mem_cb() already maps > every RAM MemoryRegionSection to get section HVA. This > fact can be used to check that ring belongs to the same > MemoryRegion in the same place, like this: > > hva_ring_offset = GPA(ring) - GPA(MemoryRegionSection) > ring_hva == HVA(MemoryRegionSection) + hva_ring_offset > > Doing this would allow us to drop ~100LOC of code which > figures out changed memory range and avoid calling not > needed reverse vhost_memory_map(is_write=true) which is > overkill for the task at hand. There are a few things about this I don't understand; however if it's right I agree that it means we can kill off my comparison code. First, can I check what constraints 'verify_ring' needs to check; if I'm understanding the original code it's checking that : a) If a queue falls within a region, that the whole queue can be mapped b) And the start of the queue corresponds to where we thought it used to be (in GPA?) so that doesn't have any constraint on the ordering of the regions or whether the region is the same size or anything. Also I don't think it would spot if there was a qeueue that had no region associated with it at all. Now, comments on your code below: > Signed-off-by: Igor Mammedov > --- > PS: >should be applied on top of David's series > > --- > include/hw/virtio/vhost.h | 2 - > hw/virtio/vhost.c | 195 > ++ > 2 files changed, 57 insertions(+), 140 deletions(-) > > diff --git a/include/hw/virtio/vhost.h b/include/hw/virtio/vhost.h > index 467dc77..fc4af5c 100644 > --- a/include/hw/virtio/vhost.h > +++ b/include/hw/virtio/vhost.h > @@ -68,8 +68,6 @@ struct vhost_dev { > uint64_t log_size; > Error *migration_blocker; > bool memory_changed; > -hwaddr mem_changed_start_addr; > -hwaddr mem_changed_end_addr; > const VhostOps *vhost_ops; > void *opaque; > struct vhost_log *log; > diff --git a/hw/virtio/vhost.c b/hw/virtio/vhost.c > index 5b9a7d7..026bac3 100644 > --- a/hw/virtio/vhost.c > +++ b/hw/virtio/vhost.c > @@ -296,35 +296,43 @@ static void vhost_memory_unmap(struct vhost_dev *dev, > void *buffer, > } > } > > -static int vhost_verify_ring_part_mapping(struct vhost_dev *dev, > - void *part, > - uint64_t part_addr, > - uint64_t part_size, > - uint64_t start_addr, > - uint64_t size) > +static int vhost_verify_ring_part_mapping(void *ring_hva, > + uint64_t ring_gpa, > + uint64_t ring_size, > + void *reg_hva, > + uint64_t reg_gpa, > + uint64_t reg_size) > { > -hwaddr l; > -void *p; > -int r = 0; > +uint64_t hva_ring_offset; > +uint64_t ring_last = range_get_last(ring_gpa, ring_size); > +uint64_t reg_last = range_get_last(reg_gpa, reg_size); > > -if (!ranges_overlap(start_addr, size, part_addr, part_size)) { > +/* start check from the end so that the rest of checks > + * are done when whole ring is in merged sections range > + */ > +if (ring_last < reg_last || ring_gpa > reg_last) { > return 0; > } so does that mean if our region never grows to be as big as the ring we wont spot the problem? > -l = part_size; > -p = vhost_memory_map(dev, part_addr, &l, 1); > -if (!p || l != part_size) { > -r = -ENOMEM; > + > +/* check that whole ring's is mapped */ > +if (range_get_last(ring_gpa, ring_size) > > +range_get_last(reg_gpa, reg_size)) { > +return -EBUSY; > } can't that be: if (ring_last > reg_last) { return -EBUSY; } > -if (p != part) { > -r = -EBUSY; > + > +/* check that ring's MemoryRegion wasn't replaced */ > +hva_ring_offset = ring_gpa - reg_gpa; > +if (ring_hva != reg_hva + hva_ring_offset) { > +return -ENOMEM; > } Is that the same as:
[Qemu-devel] [RFC] vhost: check if ring mapping is still valid when building memmap
vhost_verify_ring_mappings() were used to verify that rings are still accessible and related memory hasn't been moved after flatview is updated. It were doing checks by mapping ring's GPA+len and checking that HVA hasn't changed with new memory map. To avoid maybe expensive mapping call, we were identifying address range that changed and were doing mapping only if ring were in changed range. However it's no neccessary to perform ringi's GPA mapping as we already have it's current HVA and all we need is to verify that ring's GPA translates to the same HVA in updated flatview. That could be done during time when we are building vhost memmap where vhost_update_mem_cb() already maps every RAM MemoryRegionSection to get section HVA. This fact can be used to check that ring belongs to the same MemoryRegion in the same place, like this: hva_ring_offset = GPA(ring) - GPA(MemoryRegionSection) ring_hva == HVA(MemoryRegionSection) + hva_ring_offset Doing this would allow us to drop ~100LOC of code which figures out changed memory range and avoid calling not needed reverse vhost_memory_map(is_write=true) which is overkill for the task at hand. Signed-off-by: Igor Mammedov --- PS: should be applied on top of David's series --- include/hw/virtio/vhost.h | 2 - hw/virtio/vhost.c | 195 ++ 2 files changed, 57 insertions(+), 140 deletions(-) diff --git a/include/hw/virtio/vhost.h b/include/hw/virtio/vhost.h index 467dc77..fc4af5c 100644 --- a/include/hw/virtio/vhost.h +++ b/include/hw/virtio/vhost.h @@ -68,8 +68,6 @@ struct vhost_dev { uint64_t log_size; Error *migration_blocker; bool memory_changed; -hwaddr mem_changed_start_addr; -hwaddr mem_changed_end_addr; const VhostOps *vhost_ops; void *opaque; struct vhost_log *log; diff --git a/hw/virtio/vhost.c b/hw/virtio/vhost.c index 5b9a7d7..026bac3 100644 --- a/hw/virtio/vhost.c +++ b/hw/virtio/vhost.c @@ -296,35 +296,43 @@ static void vhost_memory_unmap(struct vhost_dev *dev, void *buffer, } } -static int vhost_verify_ring_part_mapping(struct vhost_dev *dev, - void *part, - uint64_t part_addr, - uint64_t part_size, - uint64_t start_addr, - uint64_t size) +static int vhost_verify_ring_part_mapping(void *ring_hva, + uint64_t ring_gpa, + uint64_t ring_size, + void *reg_hva, + uint64_t reg_gpa, + uint64_t reg_size) { -hwaddr l; -void *p; -int r = 0; +uint64_t hva_ring_offset; +uint64_t ring_last = range_get_last(ring_gpa, ring_size); +uint64_t reg_last = range_get_last(reg_gpa, reg_size); -if (!ranges_overlap(start_addr, size, part_addr, part_size)) { +/* start check from the end so that the rest of checks + * are done when whole ring is in merged sections range + */ +if (ring_last < reg_last || ring_gpa > reg_last) { return 0; } -l = part_size; -p = vhost_memory_map(dev, part_addr, &l, 1); -if (!p || l != part_size) { -r = -ENOMEM; + +/* check that whole ring's is mapped */ +if (range_get_last(ring_gpa, ring_size) > +range_get_last(reg_gpa, reg_size)) { +return -EBUSY; } -if (p != part) { -r = -EBUSY; + +/* check that ring's MemoryRegion wasn't replaced */ +hva_ring_offset = ring_gpa - reg_gpa; +if (ring_hva != reg_hva + hva_ring_offset) { +return -ENOMEM; } -vhost_memory_unmap(dev, p, l, 0, 0); -return r; + +return 0; } static int vhost_verify_ring_mappings(struct vhost_dev *dev, - uint64_t start_addr, - uint64_t size) + void *reg_hva, + uint64_t reg_gpa, + uint64_t reg_size) { int i, j; int r = 0; @@ -338,23 +346,26 @@ static int vhost_verify_ring_mappings(struct vhost_dev *dev, struct vhost_virtqueue *vq = dev->vqs + i; j = 0; -r = vhost_verify_ring_part_mapping(dev, vq->desc, vq->desc_phys, - vq->desc_size, start_addr, size); -if (!r) { +r = vhost_verify_ring_part_mapping( +vq->desc, vq->desc_phys, vq->desc_size, +reg_hva, reg_gpa, reg_size); +if (r) { break; } j++; -r = vhost_verify_ring_part_mapping(dev, vq->avail, vq->avail_phys, - vq->avail_size, start_addr, size); -if (!r) { +